runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3754785-1339200447/watcher-3754785-1339200447 -o /tmp/evaluation-result-3754785-1339200447/solver-3754785-1339200447 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3754785-1339200447.wbo 1161365246 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 8389
/proc/meminfo: memFree=27744816/32873648 swapFree=7124/7124
[pid=8389] ppid=8387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8389/stat : 8389 (npSolver-wbo.sh) S 8387 8389 4391 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386172117 9367552 275 33554432000 4194304 5064252 140734390745216 140734390744128 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8389/statm: 2287 275 233 213 0 72 0
[startup+0.076618 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 8389
/proc/meminfo: memFree=27744816/32873648 swapFree=7124/7124
[pid=8389] ppid=8387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8389/stat : 8389 (npSolver-wbo.sh) S 8387 8389 4391 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386172117 9367552 275 33554432000 4194304 5064252 140734390745216 140734390744128 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8389/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100317 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 8389
/proc/meminfo: memFree=27744816/32873648 swapFree=7124/7124
[pid=8389] ppid=8387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8389/stat : 8389 (npSolver-wbo.sh) S 8387 8389 4391 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386172117 9367552 275 33554432000 4194304 5064252 140734390745216 140734390744128 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8389/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300266 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 8389
/proc/meminfo: memFree=27744816/32873648 swapFree=7124/7124
[pid=8389] ppid=8387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8389/stat : 8389 (npSolver-wbo.sh) S 8387 8389 4391 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386172117 9367552 275 33554432000 4194304 5064252 140734390745216 140734390744128 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8389/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700279 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 8389
/proc/meminfo: memFree=27744816/32873648 swapFree=7124/7124
[pid=8389] ppid=8387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8389/stat : 8389 (npSolver-wbo.sh) S 8387 8389 4391 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386172117 9367552 275 33554432000 4194304 5064252 140734390745216 140734390744128 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8389/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 8391
/proc/meminfo: memFree=27605512/32873648 swapFree=7124/7124
[pid=8389] ppid=8387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8389/stat : 8389 (npSolver-wbo.sh) S 8387 8389 4391 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386172117 9367552 275 33554432000 4194304 5064252 140734390745216 140734390744128 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8389/statm: 2287 275 233 213 0 72 0
[pid=8390] ppid=8389 vsize=143660 CPUtime=1.49 cores=0,2,4,6
/proc/8390/stat : 8390 (npSolver-wbo) R 8389 8389 4391 0 -1 4202496 21693 0 0 0 143 6 0 0 20 0 1 0 386172117 147107840 34436 33554432000 4194304 6006132 140736808299664 140736808294728 4495890 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8390/statm: 35915 34436 149 443 0 35468 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 152808
[startup+3.10025 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 8391
/proc/meminfo: memFree=27605016/32873648 swapFree=7124/7124
[pid=8389] ppid=8387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8389/stat : 8389 (npSolver-wbo.sh) S 8387 8389 4391 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386172117 9367552 275 33554432000 4194304 5064252 140734390745216 140734390744128 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8389/statm: 2287 275 233 213 0 72 0
[pid=8390] ppid=8389 vsize=172332 CPUtime=3.09 cores=0,2,4,6
/proc/8390/stat : 8390 (npSolver-wbo) R 8389 8389 4391 0 -1 4202496 23149 0 0 0 235 74 0 0 20 0 1 0 386172117 176467968 39469 33554432000 4194304 6006132 140736808299664 140736808292920 5192048 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8390/statm: 43083 39469 154 443 0 42636 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 181480
[startup+6.30028 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 8393
/proc/meminfo: memFree=27304248/32873648 swapFree=7124/7124
[pid=8389] ppid=8387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8389/stat : 8389 (npSolver-wbo.sh) S 8387 8389 4391 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386172117 9367552 275 33554432000 4194304 5064252 140734390745216 140734390744128 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8389/statm: 2287 275 233 213 0 72 0
[pid=8390] ppid=8389 vsize=172332 CPUtime=3.2 cores=0,2,4,6
/proc/8390/stat : 8390 (npSolver-wbo) S 8389 8389 4391 0 -1 4202496 23152 0 0 0 237 83 0 0 20 0 1 0 386172117 176467968 39471 33554432000 4194304 6006132 140736808299664 140736808292768 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8390/statm: 43083 39471 156 443 0 42636 0
[pid=8392] ppid=8390 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8392/stat : 8392 (cp2_pre.sh) S 8390 8389 4391 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 386172437 9367552 276 33554432000 4194304 5064252 140736466701120 140736466699824 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8392/statm: 2287 276 234 213 0 72 0
[pid=8393] ppid=8392 vsize=277340 CPUtime=3.09 cores=0,2,4,6
/proc/8393/stat : 8393 (coprocessor) R 8392 8389 4391 0 -1 4202496 29513 0 0 0 301 8 0 0 20 0 1 0 386172438 283996160 67454 33554432000 4194304 6586260 140734734982112 140734734977480 5599454 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/8393/statm: 69335 67454 190 584 0 68747 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 467968
[startup+12.7003 s]
/proc/loadavg: 2.09 2.02 2.00 3/182 8393
/proc/meminfo: memFree=27298020/32873648 swapFree=7124/7124
[pid=8389] ppid=8387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8389/stat : 8389 (npSolver-wbo.sh) S 8387 8389 4391 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386172117 9367552 275 33554432000 4194304 5064252 140734390745216 140734390744128 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8389/statm: 2287 275 233 213 0 72 0
[pid=8390] ppid=8389 vsize=172332 CPUtime=3.2 cores=0,2,4,6
/proc/8390/stat : 8390 (npSolver-wbo) S 8389 8389 4391 0 -1 4202496 23152 0 0 0 237 83 0 0 20 0 1 0 386172117 176467968 39471 33554432000 4194304 6006132 140736808299664 140736808292768 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8390/statm: 43083 39471 156 443 0 42636 0
[pid=8392] ppid=8390 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8392/stat : 8392 (cp2_pre.sh) S 8390 8389 4391 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 386172437 9367552 276 33554432000 4194304 5064252 140736466701120 140736466699824 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8392/statm: 2287 276 234 213 0 72 0
[pid=8393] ppid=8392 vsize=278396 CPUtime=9.48 cores=0,2,4,6
/proc/8393/stat : 8393 (coprocessor) R 8392 8389 4391 0 -1 4202496 29770 0 0 0 940 8 0 0 20 0 1 0 386172438 285077504 67711 33554432000 4194304 6586260 140734734982112 140734734977704 5599447 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/8393/statm: 69599 67711 190 584 0 69011 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 469024
[startup+25.5004 s]
/proc/loadavg: 2.08 2.02 2.00 2/183 8436
/proc/meminfo: memFree=30261088/32873648 swapFree=7124/7124
[pid=8389] ppid=8387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8389/stat : 8389 (npSolver-wbo.sh) S 8387 8389 4391 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386172117 9367552 275 33554432000 4194304 5064252 140734390745216 140734390744128 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8389/statm: 2287 275 233 213 0 72 0
[pid=8390] ppid=8389 vsize=172332 CPUtime=3.2 cores=0,2,4,6
/proc/8390/stat : 8390 (npSolver-wbo) S 8389 8389 4391 0 -1 4202496 23152 0 0 0 237 83 0 0 20 0 1 0 386172117 176467968 39471 33554432000 4194304 6006132 140736808299664 140736808292768 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8390/statm: 43083 39471 156 443 0 42636 0
[pid=8392] ppid=8390 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8392/stat : 8392 (cp2_pre.sh) S 8390 8389 4391 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 386172437 9367552 276 33554432000 4194304 5064252 140736466701120 140736466699824 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8392/statm: 2287 276 234 213 0 72 0
[pid=8393] ppid=8392 vsize=278796 CPUtime=22.03 cores=0,2,4,6
/proc/8393/stat : 8393 (coprocessor) R 8392 8389 4391 0 -1 4202496 30249 0 0 0 2195 8 0 0 20 0 1 0 386172438 285487104 67822 33554432000 4194304 6586260 140734734982112 140734734977736 5251010 0 0 4096 8404994 0 0 0 17 2 0 0 23 0 0
/proc/8393/statm: 69699 67822 199 584 0 69111 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 469424
[startup+51.1003 s]
/proc/loadavg: 2.11 2.04 2.01 3/179 8452
/proc/meminfo: memFree=26708748/32873648 swapFree=7124/7124
[pid=8389] ppid=8387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8389/stat : 8389 (npSolver-wbo.sh) S 8387 8389 4391 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386172117 9367552 275 33554432000 4194304 5064252 140734390745216 140734390744128 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8389/statm: 2287 275 233 213 0 72 0
[pid=8390] ppid=8389 vsize=2816044 CPUtime=50.83 cores=0,2,4,6
/proc/8390/stat : 8390 (npSolver-wbo) R 8389 8389 4391 0 -1 4202496 153940 54751 0 0 2586 192 2286 19 20 0 1 0 386172117 2883629056 599980 33554432000 4194304 6006132 140736808299664 140736808292024 4537479 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8390/statm: 704011 599980 177 443 0 703564 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 2825192
[startup+102.307 s]
/proc/loadavg: 2.53 2.18 2.06 3/181 8454
/proc/meminfo: memFree=17283968/32873648 swapFree=7124/7124
[pid=8389] ppid=8387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8389/stat : 8389 (npSolver-wbo.sh) S 8387 8389 4391 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386172117 9367552 275 33554432000 4194304 5064252 140734390745216 140734390744128 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8389/statm: 2287 275 233 213 0 72 0
[pid=8390] ppid=8389 vsize=9107500 CPUtime=102.03 cores=0,2,4,6
/proc/8390/stat : 8390 (npSolver-wbo) R 8389 8389 4391 0 -1 4202496 159985 54751 0 0 7547 351 2286 19 20 0 1 0 386172117 9326080000 1598892 33554432000 4194304 6006132 140736808299664 140736808292024 4535958 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8390/statm: 2276875 1598892 177 443 0 2276428 0
Current children cumulated CPU time (s) 102.03
Current children cumulated vsize (KiB) 9116648
[startup+162.3 s]
/proc/loadavg: 3.47 2.48 2.16 3/184 8459
/proc/meminfo: memFree=7591516/32873648 swapFree=7124/7124
[pid=8389] ppid=8387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8389/stat : 8389 (npSolver-wbo.sh) S 8387 8389 4391 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386172117 9367552 275 33554432000 4194304 5064252 140734390745216 140734390744128 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8389/statm: 2287 275 233 213 0 72 0
[pid=8390] ppid=8389 vsize=8560944 CPUtime=119.09 cores=0,2,4,6
/proc/8390/stat : 8390 (npSolver-wbo) S 8389 8389 4391 0 -1 4202496 200661 54751 0 0 8320 1284 2286 19 20 0 1 0 386172117 8766406656 1595512 33554432000 4194304 6006132 140736808299664 140736808291072 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 1251 0 0
/proc/8390/statm: 2140236 1595512 178 443 0 2139789 0
[pid=8455] ppid=8390 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8455/stat : 8455 (satsolver.sh) S 8390 8389 4391 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386185305 9367552 267 33554432000 4194304 5064252 140734745383632 140734745382544 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8455/statm: 2287 267 226 213 0 72 0
[pid=8456] ppid=8455 vsize=4175764 CPUtime=16.51 cores=0,2,4,6
/proc/8456/stat : 8456 (glucose) R 8455 8389 4391 0 -1 4202496 300742 0 1 0 1526 125 0 0 20 0 1 0 386185306 4275982336 856936 33554432000 4194304 5208918 140735921072704 140735920022104 4465602 0 0 4096 0 0 0 0 17 2 0 0 1387 0 0
/proc/8456/statm: 1043941 856936 70 248 0 1043690 0
Current children cumulated CPU time (s) 135.6
Current children cumulated vsize (KiB) 12755004
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+178.8 s]
/proc/loadavg: 3.43 2.52 2.18 3/184 8459
/proc/meminfo: memFree=4230340/32873648 swapFree=7124/7124
[pid=8389] ppid=8387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8389/stat : 8389 (npSolver-wbo.sh) S 8387 8389 4391 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386172117 9367552 275 33554432000 4194304 5064252 140734390745216 140734390744128 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8389/statm: 2287 275 233 213 0 72 0
[pid=8390] ppid=8389 vsize=8560944 CPUtime=119.09 cores=0,2,4,6
/proc/8390/stat : 8390 (npSolver-wbo) S 8389 8389 4391 0 -1 4202496 200661 54751 0 0 8320 1284 2286 19 20 0 1 0 386172117 8766406656 1595512 33554432000 4194304 6006132 140736808299664 140736808291072 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 1251 0 0
/proc/8390/statm: 2140236 1595512 178 443 0 2139789 0
[pid=8455] ppid=8390 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8455/stat : 8455 (satsolver.sh) S 8390 8389 4391 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386185305 9367552 267 33554432000 4194304 5064252 140734745383632 140734745382544 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8455/statm: 2287 267 226 213 0 72 0
[pid=8456] ppid=8455 vsize=7298380 CPUtime=33.01 cores=0,2,4,6
/proc/8456/stat : 8456 (glucose) R 8455 8389 4391 0 -1 4202496 529382 0 1 0 3054 247 0 0 20 0 1 0 386185306 7473541120 1659836 33554432000 4194304 5208918 140735921072704 140735920022104 4465602 0 0 4096 0 0 0 0 17 2 0 0 1387 0 0
/proc/8456/statm: 1824595 1659836 70 248 0 1824344 0
Current children cumulated CPU time (s) 152.1
Current children cumulated vsize (KiB) 15877620
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8389 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 152.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 178.821
CPU time (s): 152.1
CPU user time (s): 136.6
CPU system time (s): 15.5
CPU usage (%): 85.0571
Max. virtual memory (cumulated for all children) (KiB): 15877620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 2
runsolver used 0.370943 second user time and 0.98485 second system time
The end