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/rand359ca0.cudf.easy.log.runsolver ./inesct-1.0 /home/misc2010/data/2010/easy//rand359ca0.cudf /home/misc2010/tmp/201007050905/inesct-1.0/rand359ca0.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.16 1.13 0.67 3/38 26068 /proc/meminfo: memFree=456540/1048576 swapFree=2095456/2097144 [pid=26067] ppid=26066 vsize=2384 CPUtime=0 /proc/26067/stat : 26067 (inesct-1.0) R 26066 26067 24102 769 24102 4194304 346 0 0 0 0 0 0 0 25 0 1 0 525000307 2441216 260 1283457024 134512640 135191968 4292806928 18446744073709551615 4159435168 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/26067/statm: 596 260 221 166 0 28 0 [pid=26068] ppid=26067 vsize=2384 CPUtime=0 /proc/26068/stat : 26068 (inesct-1.0) R 26067 26067 24102 769 24102 4194368 0 0 0 0 0 0 0 0 25 0 1 0 525000307 2441216 39 1283457024 134512640 135191968 4292806928 18446744073709551615 4159435168 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/26068/statm: 596 39 0 166 0 28 0 [startup+0.14965 s] /proc/loadavg: 1.16 1.13 0.67 3/38 26068 /proc/meminfo: memFree=456540/1048576 swapFree=2095456/2097144 [pid=26067] ppid=26066 vsize=2384 CPUtime=0 /proc/26067/stat : 26067 (inesct-1.0) S 26066 26067 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525000307 2441216 261 1283457024 134512640 135191968 4292806928 18446744073709551615 4159433118 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26067/statm: 596 261 222 166 0 28 0 [pid=26068] ppid=26067 vsize=4000 CPUtime=0.01 /proc/26068/stat : 26068 (cudf-solver.py) S 26067 26067 24102 769 24102 4202496 748 0 0 0 0 1 0 0 25 0 1 0 525000307 4096000 643 1283457024 134512640 135539072 4292821280 18446744073709551615 4159060382 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/26068/statm: 1000 643 348 251 0 301 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6384 [startup+0.209637 s] /proc/loadavg: 1.16 1.13 0.67 3/38 26068 /proc/meminfo: memFree=456540/1048576 swapFree=2095456/2097144 [pid=26067] ppid=26066 vsize=2384 CPUtime=0 /proc/26067/stat : 26067 (inesct-1.0) S 26066 26067 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525000307 2441216 261 1283457024 134512640 135191968 4292806928 18446744073709551615 4159433118 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26067/statm: 596 261 222 166 0 28 0 [pid=26068] ppid=26067 vsize=4000 CPUtime=0.01 /proc/26068/stat : 26068 (cudf-solver.py) S 26067 26067 24102 769 24102 4202496 748 0 0 0 0 1 0 0 25 0 1 0 525000307 4096000 643 1283457024 134512640 135539072 4292821280 18446744073709551615 4159060382 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/26068/statm: 1000 643 348 251 0 301 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6384 [startup+0.309649 s] /proc/loadavg: 1.16 1.13 0.67 3/38 26068 /proc/meminfo: memFree=456540/1048576 swapFree=2095456/2097144 [pid=26067] ppid=26066 vsize=2384 CPUtime=0 /proc/26067/stat : 26067 (inesct-1.0) S 26066 26067 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525000307 2441216 261 1283457024 134512640 135191968 4292806928 18446744073709551615 4159433118 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26067/statm: 596 261 222 166 0 28 0 [pid=26068] ppid=26067 vsize=4000 CPUtime=0.01 /proc/26068/stat : 26068 (cudf-solver.py) S 26067 26067 24102 769 24102 4202496 748 0 0 0 0 1 0 0 25 0 1 0 525000307 4096000 643 1283457024 134512640 135539072 4292821280 18446744073709551615 4159060382 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/26068/statm: 1000 643 348 251 0 301 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6384 [startup+0.709687 s] /proc/loadavg: 1.16 1.13 0.67 3/38 26068 /proc/meminfo: memFree=456540/1048576 swapFree=2095456/2097144 [pid=26067] ppid=26066 vsize=2384 CPUtime=0 /proc/26067/stat : 26067 (inesct-1.0) S 26066 26067 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525000307 2441216 261 1283457024 134512640 135191968 4292806928 18446744073709551615 4159433118 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26067/statm: 596 261 222 166 0 28 0 [pid=26068] ppid=26067 vsize=4000 CPUtime=0.01 /proc/26068/stat : 26068 (cudf-solver.py) S 26067 26067 24102 769 24102 4202496 748 0 0 0 0 1 0 0 25 0 1 0 525000307 4096000 643 1283457024 134512640 135539072 4292821280 18446744073709551615 4159060382 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/26068/statm: 1000 643 348 251 0 301 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6384 [startup+1.51008 s] /proc/loadavg: 1.23 1.14 0.68 2/48 26078 /proc/meminfo: memFree=416524/1048576 swapFree=2095456/2097144 [pid=26067] ppid=26066 vsize=2384 CPUtime=0 /proc/26067/stat : 26067 (inesct-1.0) S 26066 26067 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525000307 2441216 261 1283457024 134512640 135191968 4292806928 18446744073709551615 4159433118 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26067/statm: 596 261 222 166 0 28 0 [pid=26068] ppid=26067 vsize=4000 CPUtime=0.01 /proc/26068/stat : 26068 (cudf-solver.py) S 26067 26067 24102 769 24102 4202496 748 0 0 0 0 1 0 0 25 0 1 0 525000307 4096000 643 1283457024 134512640 135539072 4292821280 18446744073709551615 4159060382 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/26068/statm: 1000 643 348 251 0 301 0 [pid=26070] ppid=26068 vsize=865004 CPUtime=1.46 /proc/26070/stat : 26070 (java) S 26068 26067 24102 769 24102 4202496 15953 0 1 0 141 5 0 0 25 0 9 0 525000308 885764096 14080 1283457024 134512640 134550932 4291792736 18446744073709551615 4159915154 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26070/statm: 216251 14080 2715 10 0 210589 0 [pid=26070/tid=26071] ppid=26068 vsize=865004 CPUtime=0.95 /proc/26070/task/26071/stat : 26071 (java) R 26068 26067 24102 769 24102 4202560 3229 0 1 0 93 2 0 0 25 0 9 0 525000309 885764096 14080 1283457024 134512640 134550932 4291792736 18446744073709551615 4124793707 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26070/tid=26072] ppid=26068 vsize=865004 CPUtime=0.47 /proc/26070/task/26072/stat : 26072 (java) S 26068 26067 24102 769 24102 4202560 11176 0 0 0 44 3 0 0 17 0 9 0 525000309 885764096 14080 1283457024 134512640 134550932 4291792736 18446744073709551615 4159929352 0 0 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=26070/tid=26073] ppid=26068 vsize=865004 CPUtime=0 /proc/26070/task/26073/stat : 26073 (java) S 26068 26067 24102 769 24102 4202560 15 0 0 0 0 0 0 0 15 0 9 0 525000309 885764096 14080 1283457024 134512640 134550932 4291792736 18446744073709551615 4159928560 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=26070/tid=26074] ppid=26068 vsize=865004 CPUtime=0 /proc/26070/task/26074/stat : 26074 (java) S 26068 26067 24102 769 24102 4202560 8 0 0 0 0 0 0 0 16 0 9 0 525000309 885764096 14080 1283457024 134512640 134550932 4291792736 18446744073709551615 4159928560 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=26070/tid=26075] ppid=26068 vsize=865004 CPUtime=0 /proc/26070/task/26075/stat : 26075 (java) S 26068 26067 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 9 0 525000310 885764096 14080 1283457024 134512640 134550932 4291792736 18446744073709551615 4159936848 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=26070/tid=26076] ppid=26068 vsize=865004 CPUtime=0.04 /proc/26070/task/26076/stat : 26076 (java) S 26068 26067 24102 769 24102 4202560 435 0 0 0 4 0 0 0 16 0 9 0 525000310 885764096 14080 1283457024 134512640 134550932 4291792736 18446744073709551615 4159928560 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=26070/tid=26077] ppid=26068 vsize=865004 CPUtime=0 /proc/26070/task/26077/stat : 26077 (java) S 26068 26067 24102 769 24102 4202560 0 0 0 0 0 0 0 0 25 0 9 0 525000310 885764096 14080 1283457024 134512640 134550932 4291792736 18446744073709551615 4159928560 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=26070/tid=26078] ppid=26068 vsize=865004 CPUtime=0 /proc/26070/task/26078/stat : 26078 (java) S 26068 26067 24102 769 24102 4202560 0 0 0 0 0 0 0 0 15 0 9 0 525000310 885764096 14080 1283457024 134512640 134550932 4291792736 18446744073709551615 4159929352 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 871388 [startup+3.1101 s] /proc/loadavg: 1.23 1.14 0.68 2/41 26081 /proc/meminfo: memFree=440876/1048576 swapFree=2095456/2097144 [pid=26067] ppid=26066 vsize=2384 CPUtime=0 /proc/26067/stat : 26067 (inesct-1.0) S 26066 26067 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525000307 2441216 261 1283457024 134512640 135191968 4292806928 18446744073709551615 4159433118 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26067/statm: 596 261 222 166 0 28 0 [pid=26068] ppid=26067 vsize=4000 CPUtime=2.35 /proc/26068/stat : 26068 (cudf-solver.py) S 26067 26067 24102 769 24102 4202496 804 19528 0 1 0 1 213 21 16 0 1 0 525000307 4096000 643 1283457024 134512640 135539072 4292821280 18446744073709551615 4159060382 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/26068/statm: 1000 643 348 251 0 301 0 Current children cumulated CPU time (s) 2.35 Current children cumulated vsize (KiB) 6384 heavy processes: [startup+6.31079 s] /proc/loadavg: 1.21 1.14 0.68 2/41 26083 /proc/meminfo: memFree=408016/1048576 swapFree=2095456/2097144 [pid=26067] ppid=26066 vsize=2384 CPUtime=0 /proc/26067/stat : 26067 (inesct-1.0) S 26066 26067 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525000307 2441216 261 1283457024 134512640 135191968 4292806928 18446744073709551615 4159433118 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26067/statm: 596 261 222 166 0 28 0 [pid=26068] ppid=26067 vsize=4000 CPUtime=2.35 /proc/26068/stat : 26068 (cudf-solver.py) S 26067 26067 24102 769 24102 4202496 804 19528 0 1 0 1 213 21 16 0 1 0 525000307 4096000 643 1283457024 134512640 135539072 4292821280 18446744073709551615 4159060382 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/26068/statm: 1000 643 348 251 0 301 0 [pid=26082] ppid=26068 vsize=2896 CPUtime=0 /proc/26082/stat : 26082 (sh) S 26068 26067 24102 769 24102 4194304 362 0 0 0 0 0 0 0 16 0 1 0 525000552 2965504 325 1283457024 134512640 135191968 4288587104 18446744073709551615 4158818718 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26082/statm: 724 325 221 166 0 156 0 [pid=26083] ppid=26082 vsize=30872 CPUtime=3.84 /proc/26083/stat : 26083 (msuncore) R 26082 26067 24102 769 24102 4202496 8048 0 0 0 382 2 0 0 25 0 1 0 525000552 31612928 7504 1283457024 134512640 135858300 4289638032 18446744073709551615 134664370 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/26083/statm: 7718 7504 137 329 0 7387 0 Current children cumulated CPU time (s) 6.19 Current children cumulated vsize (KiB) 40152 [startup+12.7124 s] /proc/loadavg: 1.19 1.14 0.68 2/41 26083 /proc/meminfo: memFree=397848/1048576 swapFree=2095456/2097144 [pid=26067] ppid=26066 vsize=2384 CPUtime=0 /proc/26067/stat : 26067 (inesct-1.0) S 26066 26067 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525000307 2441216 261 1283457024 134512640 135191968 4292806928 18446744073709551615 4159433118 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26067/statm: 596 261 222 166 0 28 0 [pid=26068] ppid=26067 vsize=4000 CPUtime=2.35 /proc/26068/stat : 26068 (cudf-solver.py) S 26067 26067 24102 769 24102 4202496 804 19528 0 1 0 1 213 21 16 0 1 0 525000307 4096000 643 1283457024 134512640 135539072 4292821280 18446744073709551615 4159060382 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/26068/statm: 1000 643 348 251 0 301 0 [pid=26082] ppid=26068 vsize=2896 CPUtime=0 /proc/26082/stat : 26082 (sh) S 26068 26067 24102 769 24102 4194304 362 0 0 0 0 0 0 0 16 0 1 0 525000552 2965504 325 1283457024 134512640 135191968 4288587104 18446744073709551615 4158818718 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26082/statm: 724 325 221 166 0 156 0 [pid=26083] ppid=26082 vsize=30872 CPUtime=10.21 /proc/26083/stat : 26083 (msuncore) R 26082 26067 24102 769 24102 4202496 8048 0 0 0 1018 3 0 0 25 0 1 0 525000552 31612928 7504 1283457024 134512640 135858300 4289638032 18446744073709551615 134626128 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/26083/statm: 7718 7504 137 329 0 7387 0 Current children cumulated CPU time (s) 12.56 Current children cumulated vsize (KiB) 40152 Solver just ended. Dumping a history of the last processes samples [startup+12.8124 s] /proc/loadavg: 1.19 1.14 0.68 2/41 26083 /proc/meminfo: memFree=397848/1048576 swapFree=2095456/2097144 [pid=26067] ppid=26066 vsize=2384 CPUtime=0 /proc/26067/stat : 26067 (inesct-1.0) S 26066 26067 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525000307 2441216 261 1283457024 134512640 135191968 4292806928 18446744073709551615 4159433118 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26067/statm: 596 261 222 166 0 28 0 [pid=26068] ppid=26067 vsize=4000 CPUtime=2.35 /proc/26068/stat : 26068 (cudf-solver.py) S 26067 26067 24102 769 24102 4202496 804 19528 0 1 0 1 213 21 16 0 1 0 525000307 4096000 643 1283457024 134512640 135539072 4292821280 18446744073709551615 4159060382 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/26068/statm: 1000 643 348 251 0 301 0 [pid=26082] ppid=26068 vsize=2896 CPUtime=0 /proc/26082/stat : 26082 (sh) S 26068 26067 24102 769 24102 4194304 362 0 0 0 0 0 0 0 16 0 1 0 525000552 2965504 325 1283457024 134512640 135191968 4288587104 18446744073709551615 4158818718 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26082/statm: 724 325 221 166 0 156 0 [pid=26083] ppid=26082 vsize=30872 CPUtime=10.31 /proc/26083/stat : 26083 (msuncore) R 26082 26067 24102 769 24102 4202496 8048 0 0 0 1028 3 0 0 25 0 1 0 525000552 31612928 7504 1283457024 134512640 135858300 4289638032 18446744073709551615 134658582 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/26083/statm: 7718 7504 137 329 0 7387 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 40152 [startup+13.2125 s] /proc/loadavg: 1.19 1.14 0.68 2/40 26083 /proc/meminfo: memFree=396616/1048576 swapFree=2095456/2097144 [pid=26067] ppid=26066 vsize=2384 CPUtime=0 /proc/26067/stat : 26067 (inesct-1.0) S 26066 26067 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525000307 2441216 261 1283457024 134512640 135191968 4292806928 18446744073709551615 4159433118 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26067/statm: 596 261 222 166 0 28 0 [pid=26068] ppid=26067 vsize=4000 CPUtime=2.35 /proc/26068/stat : 26068 (cudf-solver.py) S 26067 26067 24102 769 24102 4202496 804 19528 0 1 0 1 213 21 16 0 1 0 525000307 4096000 643 1283457024 134512640 135539072 4292821280 18446744073709551615 4159060382 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/26068/statm: 1000 643 348 251 0 301 0 [pid=26082] ppid=26068 vsize=2896 CPUtime=0 /proc/26082/stat : 26082 (sh) S 26068 26067 24102 769 24102 4194304 362 0 0 0 0 0 0 0 16 0 1 0 525000552 2965504 325 1283457024 134512640 135191968 4288587104 18446744073709551615 4158818718 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26082/statm: 724 325 221 166 0 156 0 [pid=26083] ppid=26082 vsize=30872 CPUtime=10.71 /proc/26083/stat : 26083 (msuncore) R 26082 26067 24102 769 24102 4202496 8048 0 0 0 1068 3 0 0 25 0 1 0 525000552 31612928 7504 1283457024 134512640 135858300 4289638032 18446744073709551615 134625762 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/26083/statm: 7718 7504 137 329 0 7387 0 Current children cumulated CPU time (s) 13.06 Current children cumulated vsize (KiB) 40152 [startup+13.442 s] /proc/loadavg: 1.19 1.14 0.68 2/40 26083 /proc/meminfo: memFree=396616/1048576 swapFree=2095456/2097144 [pid=26067] ppid=26066 vsize=2384 CPUtime=0 /proc/26067/stat : 26067 (inesct-1.0) R 26066 26067 24102 769 24102 4194304 362 0 0 0 0 0 0 0 18 0 1 0 525000307 2441216 261 1283457024 134512640 135191968 4292806928 18446744073709551615 4159433118 0 65536 4 65538 0 0 0 17 0 0 0 0 /proc/26067/statm: 596 261 222 166 0 28 0 [pid=26068] ppid=26067 vsize=0 CPUtime=13.28 /proc/26068/stat : 26068 (cudf-solver.py) Z 26067 26067 24102 769 24102 4202508 2629 28431 0 1 6 4 1292 26 15 0 1 0 525000307 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/26068/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 13.28 Current children cumulated vsize (KiB) 2384 Child status: 0 Real time (s): 13.4432 CPU time (s): 13.3008 CPU user time (s): 12.9968 CPU system time (s): 0.304019 CPU usage (%): 98.9408 Max. virtual memory (cumulated for all children) (KiB): 872392 getrusage(RUSAGE_CHILDREN,...) data: user time used= 12.9968 system time used= 0.304019 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31433 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= 1231 involuntary context switches= 1783 runsolver used 0 second user time and 0.008 second system time The end