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-3751393-1339147110/watcher-3751393-1339147110 -o /tmp/evaluation-result-3751393-1339147110/solver-3751393-1339147110 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751393-1339147110.opb 1956653843 HOME HOME
running on 4 cores: 1,3,5,7
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.00 2.00 2.00 3/181 15271
/proc/meminfo: memFree=31630264/32873844 swapFree=7632/7632
[pid=15271] ppid=15269 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15271/stat : 15271 (npSolver-pbo-It) S 15269 15271 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24677643 9367552 274 33554432000 4194304 5064252 140733510401376 140733510400288 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15271/statm: 2287 274 233 213 0 72 0
[startup+0.102048 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15271
/proc/meminfo: memFree=31630264/32873844 swapFree=7632/7632
[pid=15271] ppid=15269 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15271/stat : 15271 (npSolver-pbo-It) S 15269 15271 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24677643 9367552 274 33554432000 4194304 5064252 140733510401376 140733510400288 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15271/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.20031 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15271
/proc/meminfo: memFree=31630264/32873844 swapFree=7632/7632
[pid=15271] ppid=15269 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15271/stat : 15271 (npSolver-pbo-It) S 15269 15271 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24677643 9367552 274 33554432000 4194304 5064252 140733510401376 140733510400288 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15271/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300258 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15271
/proc/meminfo: memFree=31630264/32873844 swapFree=7632/7632
[pid=15271] ppid=15269 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15271/stat : 15271 (npSolver-pbo-It) S 15269 15271 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24677643 9367552 274 33554432000 4194304 5064252 140733510401376 140733510400288 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15271/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700208 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15271
/proc/meminfo: memFree=31630264/32873844 swapFree=7632/7632
[pid=15271] ppid=15269 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15271/stat : 15271 (npSolver-pbo-It) S 15269 15271 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24677643 9367552 274 33554432000 4194304 5064252 140733510401376 140733510400288 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15271/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 15277
/proc/meminfo: memFree=31626852/32873844 swapFree=7632/7632
[pid=15271] ppid=15269 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15271/stat : 15271 (npSolver-pbo-It) S 15269 15271 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24677643 9367552 274 33554432000 4194304 5064252 140733510401376 140733510400288 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15271/statm: 2287 274 233 213 0 72 0
[pid=15272] ppid=15271 vsize=3392 CPUtime=0.11 cores=1,3,5,7
/proc/15272/stat : 15272 (npSolver-pbo) S 15271 15271 13680 0 -1 4202496 1593 3452 0 0 1 0 8 2 20 0 1 0 24677644 3473408 470 33554432000 4194304 6004724 140733290673024 140733290659304 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15272/statm: 848 470 167 442 0 402 0
[pid=15277] ppid=15272 vsize=7824 CPUtime=1.35 cores=1,3,5,7
/proc/15277/stat : 15277 (glucosInc) R 15272 15271 13680 0 -1 4202496 2010 0 0 0 135 0 0 0 20 0 1 0 24677658 8011776 1456 33554432000 4194304 5654031 140734870670208 140734870658024 4208654 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15277/statm: 1956 1456 139 357 0 1596 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 20364
[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 15277
/proc/meminfo: memFree=31624752/32873844 swapFree=7632/7632
[pid=15271] ppid=15269 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15271/stat : 15271 (npSolver-pbo-It) S 15269 15271 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24677643 9367552 274 33554432000 4194304 5064252 140733510401376 140733510400288 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15271/statm: 2287 274 233 213 0 72 0
[pid=15272] ppid=15271 vsize=3392 CPUtime=0.11 cores=1,3,5,7
/proc/15272/stat : 15272 (npSolver-pbo) S 15271 15271 13680 0 -1 4202496 1593 3452 0 0 1 0 8 2 20 0 1 0 24677644 3473408 470 33554432000 4194304 6004724 140733290673024 140733290659304 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15272/statm: 848 470 167 442 0 402 0
[pid=15277] ppid=15272 vsize=9472 CPUtime=2.94 cores=1,3,5,7
/proc/15277/stat : 15277 (glucosInc) R 15272 15271 13680 0 -1 4202496 2475 0 0 0 294 0 0 0 20 0 1 0 24677658 9699328 1888 33554432000 4194304 5654031 140734870670208 140734870658024 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15277/statm: 2368 1888 139 357 0 2008 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 22012
[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 15277
/proc/meminfo: memFree=31618052/32873844 swapFree=7632/7632
[pid=15271] ppid=15269 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15271/stat : 15271 (npSolver-pbo-It) S 15269 15271 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24677643 9367552 274 33554432000 4194304 5064252 140733510401376 140733510400288 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15271/statm: 2287 274 233 213 0 72 0
[pid=15272] ppid=15271 vsize=3392 CPUtime=0.11 cores=1,3,5,7
/proc/15272/stat : 15272 (npSolver-pbo) S 15271 15271 13680 0 -1 4202496 1593 3452 0 0 1 0 8 2 20 0 1 0 24677644 3473408 470 33554432000 4194304 6004724 140733290673024 140733290659304 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15272/statm: 848 470 167 442 0 402 0
[pid=15277] ppid=15272 vsize=13840 CPUtime=6.14 cores=1,3,5,7
/proc/15277/stat : 15277 (glucosInc) R 15272 15271 13680 0 -1 4202496 3125 0 0 0 614 0 0 0 20 0 1 0 24677658 14172160 3003 33554432000 4194304 5654031 140734870670208 140734870658024 4232800 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15277/statm: 3460 3003 139 357 0 3100 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 26380
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 15277
/proc/meminfo: memFree=31613960/32873844 swapFree=7632/7632
[pid=15271] ppid=15269 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15271/stat : 15271 (npSolver-pbo-It) S 15269 15271 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24677643 9367552 274 33554432000 4194304 5064252 140733510401376 140733510400288 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15271/statm: 2287 274 233 213 0 72 0
[pid=15272] ppid=15271 vsize=3392 CPUtime=0.11 cores=1,3,5,7
/proc/15272/stat : 15272 (npSolver-pbo) S 15271 15271 13680 0 -1 4202496 1593 3452 0 0 1 0 8 2 20 0 1 0 24677644 3473408 470 33554432000 4194304 6004724 140733290673024 140733290659304 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15272/statm: 848 470 167 442 0 402 0
[pid=15277] ppid=15272 vsize=15512 CPUtime=12.54 cores=1,3,5,7
/proc/15277/stat : 15277 (glucosInc) R 15272 15271 13680 0 -1 4202496 3556 0 0 0 1254 0 0 0 20 0 1 0 24677658 15884288 3398 33554432000 4194304 5654031 140734870670208 140734870658024 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15277/statm: 3878 3398 139 357 0 3518 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 28052
Solver just ended. Dumping a history of the last processes samples
[startup+12.8004 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 15277
/proc/meminfo: memFree=31613960/32873844 swapFree=7632/7632
[pid=15271] ppid=15269 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15271/stat : 15271 (npSolver-pbo-It) S 15269 15271 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24677643 9367552 274 33554432000 4194304 5064252 140733510401376 140733510400288 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15271/statm: 2287 274 233 213 0 72 0
[pid=15272] ppid=15271 vsize=3392 CPUtime=0.11 cores=1,3,5,7
/proc/15272/stat : 15272 (npSolver-pbo) S 15271 15271 13680 0 -1 4202496 1593 3452 0 0 1 0 8 2 20 0 1 0 24677644 3473408 470 33554432000 4194304 6004724 140733290673024 140733290659304 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15272/statm: 848 470 167 442 0 402 0
[pid=15277] ppid=15272 vsize=15512 CPUtime=12.64 cores=1,3,5,7
/proc/15277/stat : 15277 (glucosInc) R 15272 15271 13680 0 -1 4202496 3556 0 0 0 1264 0 0 0 20 0 1 0 24677658 15884288 3398 33554432000 4194304 5654031 140734870670208 140734870658024 4232495 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15277/statm: 3878 3398 139 357 0 3518 0
Current children cumulated CPU time (s) 12.75
Current children cumulated vsize (KiB) 28052
[startup+19.2003 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 15277
/proc/meminfo: memFree=31610920/32873844 swapFree=7632/7632
[pid=15271] ppid=15269 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15271/stat : 15271 (npSolver-pbo-It) S 15269 15271 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24677643 9367552 274 33554432000 4194304 5064252 140733510401376 140733510400288 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15271/statm: 2287 274 233 213 0 72 0
[pid=15272] ppid=15271 vsize=3392 CPUtime=0.11 cores=1,3,5,7
/proc/15272/stat : 15272 (npSolver-pbo) S 15271 15271 13680 0 -1 4202496 1593 3452 0 0 1 0 8 2 20 0 1 0 24677644 3473408 470 33554432000 4194304 6004724 140733290673024 140733290659304 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15272/statm: 848 470 167 442 0 402 0
[pid=15277] ppid=15272 vsize=18640 CPUtime=19.05 cores=1,3,5,7
/proc/15277/stat : 15277 (glucosInc) R 15272 15271 13680 0 -1 4202496 4097 0 0 0 1904 1 0 0 20 0 1 0 24677658 19087360 3498 33554432000 4194304 5654031 140734870670208 140734870658024 4232817 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15277/statm: 4660 3498 139 357 0 4300 0
Current children cumulated CPU time (s) 19.16
Current children cumulated vsize (KiB) 31180
[startup+22.4003 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 15277
/proc/meminfo: memFree=31606584/32873844 swapFree=7632/7632
[pid=15271] ppid=15269 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15271/stat : 15271 (npSolver-pbo-It) S 15269 15271 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24677643 9367552 274 33554432000 4194304 5064252 140733510401376 140733510400288 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15271/statm: 2287 274 233 213 0 72 0
[pid=15272] ppid=15271 vsize=3392 CPUtime=0.11 cores=1,3,5,7
/proc/15272/stat : 15272 (npSolver-pbo) S 15271 15271 13680 0 -1 4202496 1593 3452 0 0 1 0 8 2 20 0 1 0 24677644 3473408 470 33554432000 4194304 6004724 140733290673024 140733290659304 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15272/statm: 848 470 167 442 0 402 0
[pid=15277] ppid=15272 vsize=21580 CPUtime=22.24 cores=1,3,5,7
/proc/15277/stat : 15277 (glucosInc) R 15272 15271 13680 0 -1 4202496 4442 0 0 0 2223 1 0 0 20 0 1 0 24677658 22097920 4350 33554432000 4194304 5654031 140734870670208 140734870658024 4232949 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15277/statm: 5395 4350 139 357 0 5035 0
Current children cumulated CPU time (s) 22.35
Current children cumulated vsize (KiB) 34120
[startup+23.207 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 15277
/proc/meminfo: memFree=31604164/32873844 swapFree=7632/7632
[pid=15271] ppid=15269 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15271/stat : 15271 (npSolver-pbo-It) S 15269 15271 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24677643 9367552 274 33554432000 4194304 5064252 140733510401376 140733510400288 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15271/statm: 2287 274 233 213 0 72 0
[pid=15272] ppid=15271 vsize=3392 CPUtime=0.11 cores=1,3,5,7
/proc/15272/stat : 15272 (npSolver-pbo) S 15271 15271 13680 0 -1 4202496 1593 3452 0 0 1 0 8 2 20 0 1 0 24677644 3473408 470 33554432000 4194304 6004724 140733290673024 140733290659304 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15272/statm: 848 470 167 442 0 402 0
[pid=15277] ppid=15272 vsize=21580 CPUtime=23.05 cores=1,3,5,7
/proc/15277/stat : 15277 (glucosInc) R 15272 15271 13680 0 -1 4202496 4442 0 0 0 2304 1 0 0 20 0 1 0 24677658 22097920 4350 33554432000 4194304 5654031 140734870670208 140734870658024 4232755 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15277/statm: 5395 4350 139 357 0 5035 0
Current children cumulated CPU time (s) 23.16
Current children cumulated vsize (KiB) 34120
[startup+24.0003 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 15277
/proc/meminfo: memFree=31604164/32873844 swapFree=7632/7632
[pid=15271] ppid=15269 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15271/stat : 15271 (npSolver-pbo-It) S 15269 15271 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24677643 9367552 274 33554432000 4194304 5064252 140733510401376 140733510400288 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15271/statm: 2287 274 233 213 0 72 0
[pid=15272] ppid=15271 vsize=3392 CPUtime=0.11 cores=1,3,5,7
/proc/15272/stat : 15272 (npSolver-pbo) S 15271 15271 13680 0 -1 4202496 1593 3452 0 0 1 0 8 2 20 0 1 0 24677644 3473408 470 33554432000 4194304 6004724 140733290673024 140733290659304 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15272/statm: 848 470 167 442 0 402 0
[pid=15277] ppid=15272 vsize=21580 CPUtime=23.84 cores=1,3,5,7
/proc/15277/stat : 15277 (glucosInc) R 15272 15271 13680 0 -1 4202496 4442 0 0 0 2383 1 0 0 20 0 1 0 24677658 22097920 4350 33554432000 4194304 5654031 140734870670208 140734870658024 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15277/statm: 5395 4350 139 357 0 5035 0
Current children cumulated CPU time (s) 23.95
Current children cumulated vsize (KiB) 34120
[startup+24.4003 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 15277
/proc/meminfo: memFree=31604412/32873844 swapFree=7632/7632
[pid=15271] ppid=15269 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15271/stat : 15271 (npSolver-pbo-It) S 15269 15271 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24677643 9367552 274 33554432000 4194304 5064252 140733510401376 140733510400288 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15271/statm: 2287 274 233 213 0 72 0
[pid=15272] ppid=15271 vsize=3392 CPUtime=0.11 cores=1,3,5,7
/proc/15272/stat : 15272 (npSolver-pbo) S 15271 15271 13680 0 -1 4202496 1593 3452 0 0 1 0 8 2 20 0 1 0 24677644 3473408 470 33554432000 4194304 6004724 140733290673024 140733290659304 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15272/statm: 848 470 167 442 0 402 0
[pid=15277] ppid=15272 vsize=21580 CPUtime=24.24 cores=1,3,5,7
/proc/15277/stat : 15277 (glucosInc) R 15272 15271 13680 0 -1 4202496 4442 0 0 0 2423 1 0 0 20 0 1 0 24677658 22097920 4350 33554432000 4194304 5654031 140734870670208 140734870658024 4232830 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15277/statm: 5395 4350 139 357 0 5035 0
Current children cumulated CPU time (s) 24.35
Current children cumulated vsize (KiB) 34120
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15271 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=107983
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=34994
# CPU time returned by wait4() is 0.142977
# while last known CPU time is 24.35
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 24.4757
CPU time (s): 24.35
CPU user time (s): 24.32
CPU system time (s): 0.03
CPU usage (%): 99.4865
Max. virtual memory (cumulated for all children) (KiB): 35128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.107983
system time used= 0.034994
maximum resident set size= 30252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5459
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 9
runsolver used 0.039993 second user time and 0.110983 second system time
The end