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-3697914-1338049812/watcher-3697914-1338049812 -o /tmp/evaluation-result-3697914-1338049812/solver-3697914-1338049812 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3697914-1338049812.opb 341681739 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: 1.01 1.34 1.69 3/178 1355
/proc/meminfo: memFree=29392636/32873844 swapFree=7384/7384
[pid=1355] ppid=1352 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1355/stat : 1355 (npSolver-pbo-It) S 1352 1355 31024 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271106659 9367552 274 33554432000 4194304 5064252 140734371310528 140734371309440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1355/statm: 2287 274 233 213 0 72 0
[startup+0.030843 s]
/proc/loadavg: 1.01 1.34 1.69 3/178 1355
/proc/meminfo: memFree=29392636/32873844 swapFree=7384/7384
[pid=1355] ppid=1352 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1355/stat : 1355 (npSolver-pbo-It) S 1352 1355 31024 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271106659 9367552 274 33554432000 4194304 5064252 140734371310528 140734371309440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1355/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100259 s]
/proc/loadavg: 1.01 1.34 1.69 3/178 1355
/proc/meminfo: memFree=29392636/32873844 swapFree=7384/7384
[pid=1355] ppid=1352 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1355/stat : 1355 (npSolver-pbo-It) S 1352 1355 31024 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271106659 9367552 274 33554432000 4194304 5064252 140734371310528 140734371309440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1355/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300225 s]
/proc/loadavg: 1.01 1.34 1.69 3/178 1355
/proc/meminfo: memFree=29392636/32873844 swapFree=7384/7384
[pid=1355] ppid=1352 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1355/stat : 1355 (npSolver-pbo-It) S 1352 1355 31024 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271106659 9367552 274 33554432000 4194304 5064252 140734371310528 140734371309440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1355/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700279 s]
/proc/loadavg: 1.01 1.34 1.69 3/178 1355
/proc/meminfo: memFree=29392636/32873844 swapFree=7384/7384
[pid=1355] ppid=1352 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1355/stat : 1355 (npSolver-pbo-It) S 1352 1355 31024 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271106659 9367552 274 33554432000 4194304 5064252 140734371310528 140734371309440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1355/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 1.09 1.35 1.69 3/181 1363
/proc/meminfo: memFree=29332488/32873844 swapFree=7384/7384
[pid=1355] ppid=1352 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1355/stat : 1355 (npSolver-pbo-It) S 1352 1355 31024 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271106659 9367552 274 33554432000 4194304 5064252 140734371310528 140734371309440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1355/statm: 2287 274 233 213 0 72 0
[pid=1356] ppid=1355 vsize=103288 CPUtime=1.49 cores=0,2,4,6
/proc/1356/stat : 1356 (npSolver-pbo) R 1355 1355 31024 0 -1 4202496 17761 0 0 0 145 4 0 0 20 0 1 0 271106659 105766912 17721 33554432000 4194304 5992684 140737372419584 140737372043672 4227699 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1356/statm: 25822 17721 164 440 0 25378 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 112436
[startup+3.10039 s]
/proc/loadavg: 1.09 1.35 1.69 3/183 1373
/proc/meminfo: memFree=29171560/32873844 swapFree=7384/7384
[pid=1355] ppid=1352 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1355/stat : 1355 (npSolver-pbo-It) S 1352 1355 31024 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271106659 9367552 274 33554432000 4194304 5064252 140734371310528 140734371309440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1355/statm: 2287 274 233 213 0 72 0
[pid=1356] ppid=1355 vsize=110552 CPUtime=1.76 cores=0,2,4,6
/proc/1356/stat : 1356 (npSolver-pbo) S 1355 1355 31024 0 -1 4202496 19386 0 0 0 165 11 0 0 20 0 1 0 271106659 113205248 22336 33554432000 4194304 5992684 140737372419584 140737372414032 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1356/statm: 27638 22336 171 440 0 27194 0
[pid=1370] ppid=1356 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1370/stat : 1370 (cp2_pre.sh) S 1356 1355 31024 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 271106836 9367552 277 33554432000 4194304 5064252 140733528531552 140733528530256 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1370/statm: 2287 277 234 213 0 72 0
[pid=1371] ppid=1370 vsize=482576 CPUtime=1.32 cores=0,2,4,6
/proc/1371/stat : 1371 (coprocessor) R 1370 1355 31024 0 -1 4202496 38132 0 0 0 121 11 0 0 20 0 1 0 271106836 494157824 103689 33554432000 4194304 6586260 140734727281248 140734727278008 5511711 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/1371/statm: 120644 103689 164 584 0 120056 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 611424
[startup+6.30039 s]
/proc/loadavg: 1.09 1.35 1.69 3/183 1383
/proc/meminfo: memFree=28670056/32873844 swapFree=7384/7384
[pid=1355] ppid=1352 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1355/stat : 1355 (npSolver-pbo-It) S 1352 1355 31024 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271106659 9367552 274 33554432000 4194304 5064252 140734371310528 140734371309440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1355/statm: 2287 274 233 213 0 72 0
[pid=1356] ppid=1355 vsize=110552 CPUtime=1.76 cores=0,2,4,6
/proc/1356/stat : 1356 (npSolver-pbo) S 1355 1355 31024 0 -1 4202496 19386 0 0 0 165 11 0 0 20 0 1 0 271106659 113205248 22336 33554432000 4194304 5992684 140737372419584 140737372414032 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1356/statm: 27638 22336 171 440 0 27194 0
[pid=1370] ppid=1356 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1370/stat : 1370 (cp2_pre.sh) S 1356 1355 31024 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 271106836 9367552 277 33554432000 4194304 5064252 140733528531552 140733528530256 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1370/statm: 2287 277 234 213 0 72 0
[pid=1371] ppid=1370 vsize=657944 CPUtime=4.52 cores=0,2,4,6
/proc/1371/stat : 1371 (coprocessor) R 1370 1355 31024 0 -1 4202496 64082 0 0 0 435 17 0 0 20 0 1 0 271106836 673734656 160299 33554432000 4194304 6586260 140734727281248 140734727277064 4683456 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/1371/statm: 164486 160299 189 584 0 163898 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 786792
[startup+12.7003 s]
/proc/loadavg: 1.23 1.37 1.70 3/182 1392
/proc/meminfo: memFree=28975584/32873844 swapFree=7384/7384
[pid=1355] ppid=1352 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1355/stat : 1355 (npSolver-pbo-It) S 1352 1355 31024 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271106659 9367552 274 33554432000 4194304 5064252 140734371310528 140734371309440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1355/statm: 2287 274 233 213 0 72 0
[pid=1356] ppid=1355 vsize=127064 CPUtime=11.19 cores=0,2,4,6
/proc/1356/stat : 1356 (npSolver-pbo) S 1355 1355 31024 0 -1 4204032 21486 67202 0 0 187 17 820 95 20 0 1 0 271106659 130113536 25940 33554432000 4194304 5992684 140737372419584 140737372414120 5240597 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1356/statm: 31766 25940 190 440 0 31322 0
[pid=1390] ppid=1356 vsize=301096 CPUtime=1.25 cores=0,2,4,6
/proc/1390/stat : 1390 (glucosInc) S 1356 1355 31024 0 -1 4202496 46487 0 0 0 114 11 0 0 20 0 1 0 271107752 308322304 62925 33554432000 4194304 5654031 140734777175936 140734777174248 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/1390/statm: 75274 62925 146 357 0 74914 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 437308
Solver just ended. Dumping a history of the last processes samples
[startup+14.3066 s]
/proc/loadavg: 1.23 1.37 1.70 2/183 1395
/proc/meminfo: memFree=28748544/32873844 swapFree=7384/7384
[pid=1355] ppid=1352 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1355/stat : 1355 (npSolver-pbo-It) S 1352 1355 31024 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271106659 9367552 274 33554432000 4194304 5064252 140734371310528 140734371309440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1355/statm: 2287 274 233 213 0 72 0
[pid=1356] ppid=1355 vsize=127064 CPUtime=11.21 cores=0,2,4,6
/proc/1356/stat : 1356 (npSolver-pbo) S 1355 1355 31024 0 -1 4204032 21487 67202 0 0 187 19 820 95 20 0 1 0 271106659 130113536 25941 33554432000 4194304 5992684 140737372419584 140737372414120 5240597 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1356/statm: 31766 25941 191 440 0 31322 0
[pid=1390] ppid=1356 vsize=301096 CPUtime=1.25 cores=0,2,4,6
/proc/1390/stat : 1390 (glucosInc) S 1356 1355 31024 0 -1 4202496 46487 0 0 0 114 11 0 0 20 0 1 0 271107752 308322304 62925 33554432000 4194304 5654031 140734777175936 140734777174248 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/1390/statm: 75274 62925 146 357 0 74914 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 437308
[startup+15.9003 s]
/proc/loadavg: 1.23 1.37 1.70 2/183 1395
/proc/meminfo: memFree=28748544/32873844 swapFree=7384/7384
[pid=1355] ppid=1352 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1355/stat : 1355 (npSolver-pbo-It) S 1352 1355 31024 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271106659 9367552 274 33554432000 4194304 5064252 140734371310528 140734371309440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1355/statm: 2287 274 233 213 0 72 0
[pid=1356] ppid=1355 vsize=127064 CPUtime=11.21 cores=0,2,4,6
/proc/1356/stat : 1356 (npSolver-pbo) S 1355 1355 31024 0 -1 4204032 21487 67202 0 0 187 19 820 95 20 0 1 0 271106659 130113536 25941 33554432000 4194304 5992684 140737372419584 140737372414120 5240597 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1356/statm: 31766 25941 191 440 0 31322 0
[pid=1390] ppid=1356 vsize=301096 CPUtime=1.25 cores=0,2,4,6
/proc/1390/stat : 1390 (glucosInc) S 1356 1355 31024 0 -1 4202496 46487 0 0 0 114 11 0 0 20 0 1 0 271107752 308322304 62925 33554432000 4194304 5654031 140734777175936 140734777174248 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/1390/statm: 75274 62925 146 357 0 74914 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 437308
[startup+16.3003 s]
/proc/loadavg: 1.23 1.37 1.70 2/183 1395
/proc/meminfo: memFree=28748544/32873844 swapFree=7384/7384
[pid=1355] ppid=1352 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1355/stat : 1355 (npSolver-pbo-It) S 1352 1355 31024 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271106659 9367552 274 33554432000 4194304 5064252 140734371310528 140734371309440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1355/statm: 2287 274 233 213 0 72 0
[pid=1356] ppid=1355 vsize=127064 CPUtime=11.21 cores=0,2,4,6
/proc/1356/stat : 1356 (npSolver-pbo) S 1355 1355 31024 0 -1 4204032 21487 67202 0 0 187 19 820 95 20 0 1 0 271106659 130113536 25941 33554432000 4194304 5992684 140737372419584 140737372414120 5240597 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1356/statm: 31766 25941 191 440 0 31322 0
[pid=1390] ppid=1356 vsize=301096 CPUtime=1.25 cores=0,2,4,6
/proc/1390/stat : 1390 (glucosInc) S 1356 1355 31024 0 -1 4202496 46487 0 0 0 114 11 0 0 20 0 1 0 271107752 308322304 62925 33554432000 4194304 5654031 140734777175936 140734777174248 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/1390/statm: 75274 62925 146 357 0 74914 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 437308
[startup+16.7003 s]
/proc/loadavg: 1.45 1.41 1.71 2/183 1395
/proc/meminfo: memFree=28751024/32873844 swapFree=7384/7384
[pid=1355] ppid=1352 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1355/stat : 1355 (npSolver-pbo-It) S 1352 1355 31024 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271106659 9367552 274 33554432000 4194304 5064252 140734371310528 140734371309440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1355/statm: 2287 274 233 213 0 72 0
[pid=1356] ppid=1355 vsize=127064 CPUtime=11.21 cores=0,2,4,6
/proc/1356/stat : 1356 (npSolver-pbo) S 1355 1355 31024 0 -1 4204032 21487 67202 0 0 187 19 820 95 20 0 1 0 271106659 130113536 25941 33554432000 4194304 5992684 140737372419584 140737372414120 5240597 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1356/statm: 31766 25941 191 440 0 31322 0
[pid=1390] ppid=1356 vsize=301096 CPUtime=1.25 cores=0,2,4,6
/proc/1390/stat : 1390 (glucosInc) S 1356 1355 31024 0 -1 4202496 46487 0 0 0 114 11 0 0 20 0 1 0 271107752 308322304 62925 33554432000 4194304 5654031 140734777175936 140734777174248 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/1390/statm: 75274 62925 146 357 0 74914 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 437308
[startup+16.8003 s]
/proc/loadavg: 1.45 1.41 1.71 2/183 1395
/proc/meminfo: memFree=28751024/32873844 swapFree=7384/7384
[pid=1355] ppid=1352 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1355/stat : 1355 (npSolver-pbo-It) S 1352 1355 31024 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271106659 9367552 274 33554432000 4194304 5064252 140734371310528 140734371309440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1355/statm: 2287 274 233 213 0 72 0
[pid=1356] ppid=1355 vsize=127064 CPUtime=11.21 cores=0,2,4,6
/proc/1356/stat : 1356 (npSolver-pbo) S 1355 1355 31024 0 -1 4204032 21487 67202 0 0 187 19 820 95 20 0 1 0 271106659 130113536 25941 33554432000 4194304 5992684 140737372419584 140737372414120 5240597 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1356/statm: 31766 25941 191 440 0 31322 0
[pid=1390] ppid=1356 vsize=301096 CPUtime=1.25 cores=0,2,4,6
/proc/1390/stat : 1390 (glucosInc) S 1356 1355 31024 0 -1 4202496 46487 0 0 0 114 11 0 0 20 0 1 0 271107752 308322304 62925 33554432000 4194304 5654031 140734777175936 140734777174248 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/1390/statm: 75274 62925 146 357 0 74914 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 437308
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1355 and gives
# childrusage.ru_utime.tv_sec=10
# childrusage.ru_utime.tv_usec=71468
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=162823
# CPU time returned by wait4() is 11.2343
# while last known CPU time is 12.46
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 16.8442
CPU time (s): 12.46
CPU user time (s): 11.21
CPU system time (s): 1.25
CPU usage (%): 73.9723
Max. virtual memory (cumulated for all children) (KiB): 827472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.0715
system time used= 1.16282
maximum resident set size= 703152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89063
page faults= 0
swaps= 0
block input operations= 0
block output operations= 179256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33497
involuntary context switches= 28
runsolver used 0.030995 second user time and 0.081987 second system time
The end