runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007050905/inesct-1.0/rand7fec8c.cudf.easy.log.runsolver ./inesct-1.0 /home/misc2010/data/2010/easy//rand7fec8c.cudf /home/misc2010/tmp/201007050905/inesct-1.0/rand7fec8c.cudf.easy.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.49 1.26 0.97 4/37 27701 /proc/meminfo: memFree=453328/1048576 swapFree=2095456/2097144 [pid=27700] ppid=27699 vsize=2380 CPUtime=0 /proc/27700/stat : 27700 (inesct-1.0) S 27699 27700 24102 769 24102 4194304 361 0 0 0 0 0 0 0 18 0 1 0 525082095 2437120 259 1283457024 134512640 135191968 4293886496 18446744073709551615 4158695838 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27700/statm: 595 259 222 166 0 27 0 [pid=27701] ppid=27700 vsize=3872 CPUtime=0 /proc/27701/stat : 27701 (cudf-solver.py) R 27700 27700 24102 769 24102 4202496 735 0 0 0 0 0 0 0 25 0 1 0 525082096 3964928 632 1283457024 134512640 135539072 4292081776 18446744073709551615 134799765 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/27701/statm: 968 632 341 251 0 269 0 [startup+0.138852 s] /proc/loadavg: 1.49 1.26 0.97 4/37 27701 /proc/meminfo: memFree=453328/1048576 swapFree=2095456/2097144 [pid=27700] ppid=27699 vsize=2380 CPUtime=0 /proc/27700/stat : 27700 (inesct-1.0) S 27699 27700 24102 769 24102 4194304 361 0 0 0 0 0 0 0 18 0 1 0 525082095 2437120 259 1283457024 134512640 135191968 4293886496 18446744073709551615 4158695838 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27700/statm: 595 259 222 166 0 27 0 [pid=27701] ppid=27700 vsize=4004 CPUtime=0 /proc/27701/stat : 27701 (cudf-solver.py) S 27700 27700 24102 769 24102 4202496 749 0 0 0 0 0 0 0 25 0 1 0 525082096 4100096 644 1283457024 134512640 135539072 4292081776 18446744073709551615 4158601630 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/27701/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6384 [startup+0.208853 s] /proc/loadavg: 1.49 1.26 0.97 4/37 27701 /proc/meminfo: memFree=453328/1048576 swapFree=2095456/2097144 [pid=27700] ppid=27699 vsize=2380 CPUtime=0 /proc/27700/stat : 27700 (inesct-1.0) S 27699 27700 24102 769 24102 4194304 361 0 0 0 0 0 0 0 18 0 1 0 525082095 2437120 259 1283457024 134512640 135191968 4293886496 18446744073709551615 4158695838 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27700/statm: 595 259 222 166 0 27 0 [pid=27701] ppid=27700 vsize=4004 CPUtime=0 /proc/27701/stat : 27701 (cudf-solver.py) S 27700 27700 24102 769 24102 4202496 749 0 0 0 0 0 0 0 25 0 1 0 525082096 4100096 644 1283457024 134512640 135539072 4292081776 18446744073709551615 4158601630 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/27701/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6384 [startup+0.308877 s] /proc/loadavg: 1.49 1.26 0.97 4/37 27701 /proc/meminfo: memFree=453328/1048576 swapFree=2095456/2097144 [pid=27700] ppid=27699 vsize=2380 CPUtime=0 /proc/27700/stat : 27700 (inesct-1.0) S 27699 27700 24102 769 24102 4194304 361 0 0 0 0 0 0 0 18 0 1 0 525082095 2437120 259 1283457024 134512640 135191968 4293886496 18446744073709551615 4158695838 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27700/statm: 595 259 222 166 0 27 0 [pid=27701] ppid=27700 vsize=4004 CPUtime=0 /proc/27701/stat : 27701 (cudf-solver.py) S 27700 27700 24102 769 24102 4202496 749 0 0 0 0 0 0 0 25 0 1 0 525082096 4100096 644 1283457024 134512640 135539072 4292081776 18446744073709551615 4158601630 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/27701/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6384 [startup+0.70905 s] /proc/loadavg: 1.49 1.26 0.97 4/37 27701 /proc/meminfo: memFree=453328/1048576 swapFree=2095456/2097144 [pid=27700] ppid=27699 vsize=2380 CPUtime=0 /proc/27700/stat : 27700 (inesct-1.0) S 27699 27700 24102 769 24102 4194304 361 0 0 0 0 0 0 0 18 0 1 0 525082095 2437120 259 1283457024 134512640 135191968 4293886496 18446744073709551615 4158695838 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27700/statm: 595 259 222 166 0 27 0 [pid=27701] ppid=27700 vsize=4004 CPUtime=0 /proc/27701/stat : 27701 (cudf-solver.py) S 27700 27700 24102 769 24102 4202496 749 0 0 0 0 0 0 0 25 0 1 0 525082096 4100096 644 1283457024 134512640 135539072 4292081776 18446744073709551615 4158601630 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/27701/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6384 [startup+1.50912 s] /proc/loadavg: 1.49 1.26 0.97 3/47 27711 /proc/meminfo: memFree=417880/1048576 swapFree=2095456/2097144 [pid=27700] ppid=27699 vsize=2380 CPUtime=0 /proc/27700/stat : 27700 (inesct-1.0) S 27699 27700 24102 769 24102 4194304 361 0 0 0 0 0 0 0 18 0 1 0 525082095 2437120 259 1283457024 134512640 135191968 4293886496 18446744073709551615 4158695838 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27700/statm: 595 259 222 166 0 27 0 [pid=27701] ppid=27700 vsize=4004 CPUtime=0 /proc/27701/stat : 27701 (cudf-solver.py) S 27700 27700 24102 769 24102 4202496 749 0 0 0 0 0 0 0 25 0 1 0 525082096 4100096 644 1283457024 134512640 135539072 4292081776 18446744073709551615 4158601630 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/27701/statm: 1001 644 348 251 0 302 0 [pid=27703] ppid=27701 vsize=865492 CPUtime=1.48 /proc/27703/stat : 27703 (java) S 27701 27700 24102 769 24102 4202496 15539 0 1 0 143 5 0 0 25 0 9 0 525082097 886263808 14128 1283457024 134512640 134550932 4291016352 18446744073709551615 4159583378 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27703/statm: 216373 14128 2715 10 0 210711 0 [pid=27703/tid=27704] ppid=27701 vsize=865492 CPUtime=0.91 /proc/27703/task/27704/stat : 27704 (java) R 27701 27700 24102 769 24102 4202560 3228 0 1 0 91 0 0 0 25 0 9 0 525082097 886263808 14128 1283457024 134512640 134550932 4291016352 18446744073709551615 4159607495 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=27703/tid=27705] ppid=27701 vsize=865492 CPUtime=0.52 /proc/27703/task/27705/stat : 27705 (java) R 27701 27700 24102 769 24102 4202560 10792 0 0 0 49 3 0 0 17 0 9 0 525082098 886263808 14128 1283457024 134512640 134550932 4291016352 18446744073709551615 102768136 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=27703/tid=27706] ppid=27701 vsize=865492 CPUtime=0 /proc/27703/task/27706/stat : 27706 (java) S 27701 27700 24102 769 24102 4202560 15 0 0 0 0 0 0 0 15 0 9 0 525082098 886263808 14128 1283457024 134512640 134550932 4291016352 18446744073709551615 4159596784 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=27703/tid=27707] ppid=27701 vsize=865492 CPUtime=0 /proc/27703/task/27707/stat : 27707 (java) S 27701 27700 24102 769 24102 4202560 8 0 0 0 0 0 0 0 18 0 9 0 525082098 886263808 14128 1283457024 134512640 134550932 4291016352 18446744073709551615 4159596784 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=27703/tid=27708] ppid=27701 vsize=865492 CPUtime=0 /proc/27703/task/27708/stat : 27708 (java) S 27701 27700 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 9 0 525082099 886263808 14128 1283457024 134512640 134550932 4291016352 18446744073709551615 4159605072 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=27703/tid=27709] ppid=27701 vsize=865492 CPUtime=0.02 /proc/27703/task/27709/stat : 27709 (java) S 27701 27700 24102 769 24102 4202560 403 0 0 0 2 0 0 0 18 0 9 0 525082099 886263808 14128 1283457024 134512640 134550932 4291016352 18446744073709551615 4159596784 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=27703/tid=27710] ppid=27701 vsize=865492 CPUtime=0 /proc/27703/task/27710/stat : 27710 (java) S 27701 27700 24102 769 24102 4202560 0 0 0 0 0 0 0 0 25 0 9 0 525082099 886263808 14128 1283457024 134512640 134550932 4291016352 18446744073709551615 4159596784 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=27703/tid=27711] ppid=27701 vsize=865492 CPUtime=0 /proc/27703/task/27711/stat : 27711 (java) S 27701 27700 24102 769 24102 4202560 0 0 0 0 0 0 0 0 15 0 9 0 525082099 886263808 14128 1283457024 134512640 134550932 4291016352 18446744073709551615 4159597576 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 871876 [startup+3.11316 s] /proc/loadavg: 1.45 1.25 0.97 2/40 27714 /proc/meminfo: memFree=440868/1048576 swapFree=2095456/2097144 [pid=27700] ppid=27699 vsize=2380 CPUtime=0 /proc/27700/stat : 27700 (inesct-1.0) S 27699 27700 24102 769 24102 4194304 361 0 0 0 0 0 0 0 18 0 1 0 525082095 2437120 259 1283457024 134512640 135191968 4293886496 18446744073709551615 4158695838 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27700/statm: 595 259 222 166 0 27 0 [pid=27701] ppid=27700 vsize=4004 CPUtime=2.34 /proc/27701/stat : 27701 (cudf-solver.py) S 27700 27700 24102 769 24102 4202496 807 19143 0 1 0 0 212 22 16 0 1 0 525082096 4100096 644 1283457024 134512640 135539072 4292081776 18446744073709551615 4158601630 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/27701/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 2.34 Current children cumulated vsize (KiB) 6384 heavy processes: [startup+6.31427 s] /proc/loadavg: 1.45 1.25 0.97 2/40 27716 /proc/meminfo: memFree=401436/1048576 swapFree=2095456/2097144 [pid=27700] ppid=27699 vsize=2380 CPUtime=0 /proc/27700/stat : 27700 (inesct-1.0) S 27699 27700 24102 769 24102 4194304 361 0 0 0 0 0 0 0 18 0 1 0 525082095 2437120 259 1283457024 134512640 135191968 4293886496 18446744073709551615 4158695838 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27700/statm: 595 259 222 166 0 27 0 [pid=27701] ppid=27700 vsize=4004 CPUtime=2.34 /proc/27701/stat : 27701 (cudf-solver.py) S 27700 27700 24102 769 24102 4202496 807 19143 0 1 0 0 212 22 16 0 1 0 525082096 4100096 644 1283457024 134512640 135539072 4292081776 18446744073709551615 4158601630 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/27701/statm: 1001 644 348 251 0 302 0 [pid=27715] ppid=27701 vsize=2892 CPUtime=0 /proc/27715/stat : 27715 (sh) S 27701 27700 24102 769 24102 4194304 359 0 0 0 0 0 0 0 16 0 1 0 525082334 2961408 323 1283457024 134512640 135191968 4290354960 18446744073709551615 4159039902 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27715/statm: 723 323 221 166 0 155 0 [pid=27716] ppid=27715 vsize=29492 CPUtime=3.89 /proc/27716/stat : 27716 (msuncore) R 27715 27700 24102 769 24102 4202496 7915 0 0 0 382 7 0 0 25 0 1 0 525082335 30199808 7160 1283457024 134512640 135858300 4293819024 18446744073709551615 134626480 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/27716/statm: 7373 7160 137 329 0 7042 0 Current children cumulated CPU time (s) 6.23 Current children cumulated vsize (KiB) 38768 [startup+12.7158 s] /proc/loadavg: 1.42 1.25 0.97 2/40 27716 /proc/meminfo: memFree=392632/1048576 swapFree=2095456/2097144 [pid=27700] ppid=27699 vsize=2380 CPUtime=0 /proc/27700/stat : 27700 (inesct-1.0) S 27699 27700 24102 769 24102 4194304 361 0 0 0 0 0 0 0 18 0 1 0 525082095 2437120 259 1283457024 134512640 135191968 4293886496 18446744073709551615 4158695838 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27700/statm: 595 259 222 166 0 27 0 [pid=27701] ppid=27700 vsize=4004 CPUtime=2.34 /proc/27701/stat : 27701 (cudf-solver.py) S 27700 27700 24102 769 24102 4202496 807 19143 0 1 0 0 212 22 16 0 1 0 525082096 4100096 644 1283457024 134512640 135539072 4292081776 18446744073709551615 4158601630 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/27701/statm: 1001 644 348 251 0 302 0 [pid=27715] ppid=27701 vsize=2892 CPUtime=0 /proc/27715/stat : 27715 (sh) S 27701 27700 24102 769 24102 4194304 359 0 0 0 0 0 0 0 16 0 1 0 525082334 2961408 323 1283457024 134512640 135191968 4290354960 18446744073709551615 4159039902 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27715/statm: 723 323 221 166 0 155 0 [pid=27716] ppid=27715 vsize=30548 CPUtime=10.27 /proc/27716/stat : 27716 (msuncore) R 27715 27700 24102 769 24102 4202496 8187 0 0 0 1018 9 0 0 25 0 1 0 525082335 31281152 7432 1283457024 134512640 135858300 4293819024 18446744073709551615 134620075 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/27716/statm: 7637 7432 137 329 0 7306 0 Current children cumulated CPU time (s) 12.61 Current children cumulated vsize (KiB) 39824 Solver just ended. Dumping a history of the last processes samples [startup+13.5159 s] /proc/loadavg: 1.38 1.24 0.97 2/40 27716 /proc/meminfo: memFree=388540/1048576 swapFree=2095456/2097144 [pid=27700] ppid=27699 vsize=2380 CPUtime=0 /proc/27700/stat : 27700 (inesct-1.0) S 27699 27700 24102 769 24102 4194304 361 0 0 0 0 0 0 0 18 0 1 0 525082095 2437120 259 1283457024 134512640 135191968 4293886496 18446744073709551615 4158695838 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27700/statm: 595 259 222 166 0 27 0 [pid=27701] ppid=27700 vsize=4004 CPUtime=2.34 /proc/27701/stat : 27701 (cudf-solver.py) S 27700 27700 24102 769 24102 4202496 807 19143 0 1 0 0 212 22 16 0 1 0 525082096 4100096 644 1283457024 134512640 135539072 4292081776 18446744073709551615 4158601630 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/27701/statm: 1001 644 348 251 0 302 0 [pid=27715] ppid=27701 vsize=2892 CPUtime=0 /proc/27715/stat : 27715 (sh) S 27701 27700 24102 769 24102 4194304 359 0 0 0 0 0 0 0 16 0 1 0 525082334 2961408 323 1283457024 134512640 135191968 4290354960 18446744073709551615 4159039902 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27715/statm: 723 323 221 166 0 155 0 [pid=27716] ppid=27715 vsize=30548 CPUtime=11.07 /proc/27716/stat : 27716 (msuncore) R 27715 27700 24102 769 24102 4202496 8187 0 0 0 1097 10 0 0 25 0 1 0 525082335 31281152 7432 1283457024 134512640 135858300 4293819024 18446744073709551615 134626870 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/27716/statm: 7637 7432 137 329 0 7306 0 Current children cumulated CPU time (s) 13.41 Current children cumulated vsize (KiB) 39824 [startup+13.9159 s] /proc/loadavg: 1.38 1.24 0.97 2/40 27716 /proc/meminfo: memFree=388540/1048576 swapFree=2095456/2097144 [pid=27700] ppid=27699 vsize=2380 CPUtime=0 /proc/27700/stat : 27700 (inesct-1.0) S 27699 27700 24102 769 24102 4194304 361 0 0 0 0 0 0 0 18 0 1 0 525082095 2437120 259 1283457024 134512640 135191968 4293886496 18446744073709551615 4158695838 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27700/statm: 595 259 222 166 0 27 0 [pid=27701] ppid=27700 vsize=4004 CPUtime=2.34 /proc/27701/stat : 27701 (cudf-solver.py) S 27700 27700 24102 769 24102 4202496 807 19143 0 1 0 0 212 22 16 0 1 0 525082096 4100096 644 1283457024 134512640 135539072 4292081776 18446744073709551615 4158601630 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/27701/statm: 1001 644 348 251 0 302 0 [pid=27715] ppid=27701 vsize=2892 CPUtime=0 /proc/27715/stat : 27715 (sh) S 27701 27700 24102 769 24102 4194304 359 0 0 0 0 0 0 0 16 0 1 0 525082334 2961408 323 1283457024 134512640 135191968 4290354960 18446744073709551615 4159039902 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27715/statm: 723 323 221 166 0 155 0 [pid=27716] ppid=27715 vsize=30548 CPUtime=11.47 /proc/27716/stat : 27716 (msuncore) R 27715 27700 24102 769 24102 4202496 8187 0 0 0 1137 10 0 0 25 0 1 0 525082335 31281152 7432 1283457024 134512640 135858300 4293819024 18446744073709551615 134658415 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/27716/statm: 7637 7432 137 329 0 7306 0 Current children cumulated CPU time (s) 13.81 Current children cumulated vsize (KiB) 39824 [startup+14.3253 s] /proc/loadavg: 1.38 1.24 0.97 2/40 27716 /proc/meminfo: memFree=384944/1048576 swapFree=2095456/2097144 [pid=27700] ppid=27699 vsize=2380 CPUtime=0 /proc/27700/stat : 27700 (inesct-1.0) R 27699 27700 24102 769 24102 4194304 361 0 0 0 0 0 0 0 18 0 1 0 525082095 2437120 259 1283457024 134512640 135191968 4293886496 18446744073709551615 4158695838 0 65536 4 65538 0 0 0 17 0 0 0 0 /proc/27700/statm: 595 259 222 166 0 27 0 [pid=27701] ppid=27700 vsize=0 CPUtime=14.22 /proc/27701/stat : 27701 (cudf-solver.py) Z 27700 27700 24102 769 24102 4202508 2639 28181 0 1 9 0 1379 34 15 0 1 0 525082096 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/27701/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 14.22 Current children cumulated vsize (KiB) 2380 Child status: 0 Real time (s): 14.3258 CPU time (s): 14.2369 CPU user time (s): 13.8889 CPU system time (s): 0.348021 CPU usage (%): 99.3791 Max. virtual memory (cumulated for all children) (KiB): 872196 getrusage(RUSAGE_CHILDREN,...) data: user time used= 13.8889 system time used= 0.348021 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31192 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1216 involuntary context switches= 1841 runsolver used 0 second user time and 0.012 second system time The end