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-3746277-1339098182/watcher-3746277-1339098182 -o /tmp/evaluation-result-3746277-1339098182/solver-3746277-1339098182 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746277-1339098182.opb 2095530923 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: 0.24 0.05 0.02 1/171 26435
/proc/meminfo: memFree=29822120/32873844 swapFree=7116/7116
[pid=26435] ppid=26433 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26435/stat : 26435 (npSolver-pbo-It) S 26433 26435 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375945180 9367552 274 33554432000 4194304 5064252 140737225965648 140737225964560 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26435/statm: 2287 274 233 213 0 72 0
[startup+0.0354849 s]
/proc/loadavg: 0.24 0.05 0.02 1/171 26435
/proc/meminfo: memFree=29822120/32873844 swapFree=7116/7116
[pid=26435] ppid=26433 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26435/stat : 26435 (npSolver-pbo-It) S 26433 26435 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375945180 9367552 274 33554432000 4194304 5064252 140737225965648 140737225964560 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26435/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100314 s]
/proc/loadavg: 0.24 0.05 0.02 1/171 26435
/proc/meminfo: memFree=29822120/32873844 swapFree=7116/7116
[pid=26435] ppid=26433 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26435/stat : 26435 (npSolver-pbo-It) S 26433 26435 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375945180 9367552 274 33554432000 4194304 5064252 140737225965648 140737225964560 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26435/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300185 s]
/proc/loadavg: 0.24 0.05 0.02 1/171 26435
/proc/meminfo: memFree=29822120/32873844 swapFree=7116/7116
[pid=26435] ppid=26433 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26435/stat : 26435 (npSolver-pbo-It) S 26433 26435 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375945180 9367552 274 33554432000 4194304 5064252 140737225965648 140737225964560 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26435/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700179 s]
/proc/loadavg: 0.24 0.05 0.02 1/171 26435
/proc/meminfo: memFree=29822120/32873844 swapFree=7116/7116
[pid=26435] ppid=26433 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26435/stat : 26435 (npSolver-pbo-It) S 26433 26435 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375945180 9367552 274 33554432000 4194304 5064252 140737225965648 140737225964560 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26435/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50025 s]
/proc/loadavg: 0.24 0.05 0.02 2/174 26441
/proc/meminfo: memFree=29816640/32873844 swapFree=7116/7116
[pid=26435] ppid=26433 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26435/stat : 26435 (npSolver-pbo-It) S 26433 26435 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375945180 9367552 274 33554432000 4194304 5064252 140737225965648 140737225964560 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26435/statm: 2287 274 233 213 0 72 0
[pid=26436] ppid=26435 vsize=3116 CPUtime=0.08 cores=0,2,4,6
/proc/26436/stat : 26436 (npSolver-pbo) S 26435 26435 26405 0 -1 4202496 1655 1821 0 1 1 1 6 0 20 0 1 0 375945181 3190784 447 33554432000 4194304 6004724 140736370560848 140736370547128 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26436/statm: 779 447 152 442 0 333 0
[pid=26441] ppid=26436 vsize=8788 CPUtime=1.34 cores=0,2,4,6
/proc/26441/stat : 26441 (glucosInc) R 26436 26435 26405 0 -1 4202496 1813 0 0 0 134 0 0 0 20 0 1 0 375945195 8998912 1449 33554432000 4194304 5654031 140736510443872 140736510441752 4233204 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/26441/statm: 2197 1449 138 357 0 1837 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 21052
[startup+3.10025 s]
/proc/loadavg: 0.24 0.05 0.02 2/174 26441
/proc/meminfo: memFree=29814912/32873844 swapFree=7116/7116
[pid=26435] ppid=26433 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26435/stat : 26435 (npSolver-pbo-It) S 26433 26435 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375945180 9367552 274 33554432000 4194304 5064252 140737225965648 140737225964560 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26435/statm: 2287 274 233 213 0 72 0
[pid=26436] ppid=26435 vsize=3116 CPUtime=0.08 cores=0,2,4,6
/proc/26436/stat : 26436 (npSolver-pbo) S 26435 26435 26405 0 -1 4202496 1655 1821 0 1 1 1 6 0 20 0 1 0 375945181 3190784 447 33554432000 4194304 6004724 140736370560848 140736370547128 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26436/statm: 779 447 152 442 0 333 0
[pid=26441] ppid=26436 vsize=8976 CPUtime=2.94 cores=0,2,4,6
/proc/26441/stat : 26441 (glucosInc) R 26436 26435 26405 0 -1 4202496 1972 0 0 0 294 0 0 0 20 0 1 0 375945195 9191424 1606 33554432000 4194304 5654031 140736510443872 140736510431688 4233168 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/26441/statm: 2244 1606 138 357 0 1884 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 21240
Solver just ended. Dumping a history of the last processes samples
[startup+3.90025 s]
/proc/loadavg: 0.24 0.05 0.02 2/174 26441
/proc/meminfo: memFree=29814416/32873844 swapFree=7116/7116
[pid=26435] ppid=26433 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26435/stat : 26435 (npSolver-pbo-It) S 26433 26435 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375945180 9367552 274 33554432000 4194304 5064252 140737225965648 140737225964560 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26435/statm: 2287 274 233 213 0 72 0
[pid=26436] ppid=26435 vsize=3116 CPUtime=0.08 cores=0,2,4,6
/proc/26436/stat : 26436 (npSolver-pbo) S 26435 26435 26405 0 -1 4202496 1655 1821 0 1 1 1 6 0 20 0 1 0 375945181 3190784 447 33554432000 4194304 6004724 140736370560848 140736370547128 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26436/statm: 779 447 152 442 0 333 0
[pid=26441] ppid=26436 vsize=10624 CPUtime=3.74 cores=0,2,4,6
/proc/26441/stat : 26441 (glucosInc) R 26436 26435 26405 0 -1 4202496 2549 0 0 0 374 0 0 0 20 0 1 0 375945195 10878976 2143 33554432000 4194304 5654031 140736510443872 140736510441672 4226108 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/26441/statm: 2656 2143 138 357 0 2296 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 22888
[startup+4.70025 s]
/proc/loadavg: 0.24 0.05 0.02 2/174 26441
/proc/meminfo: memFree=29812184/32873844 swapFree=7116/7116
[pid=26435] ppid=26433 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26435/stat : 26435 (npSolver-pbo-It) S 26433 26435 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375945180 9367552 274 33554432000 4194304 5064252 140737225965648 140737225964560 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26435/statm: 2287 274 233 213 0 72 0
[pid=26436] ppid=26435 vsize=3116 CPUtime=0.08 cores=0,2,4,6
/proc/26436/stat : 26436 (npSolver-pbo) S 26435 26435 26405 0 -1 4202496 1655 1821 0 1 1 1 6 0 20 0 1 0 375945181 3190784 447 33554432000 4194304 6004724 140736370560848 140736370547128 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26436/statm: 779 447 152 442 0 333 0
[pid=26441] ppid=26436 vsize=10624 CPUtime=4.54 cores=0,2,4,6
/proc/26441/stat : 26441 (glucosInc) R 26436 26435 26405 0 -1 4202496 2549 0 0 0 454 0 0 0 20 0 1 0 375945195 10878976 2143 33554432000 4194304 5654031 140736510443872 140736510441672 4232939 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/26441/statm: 2656 2143 138 357 0 2296 0
Current children cumulated CPU time (s) 4.62
Current children cumulated vsize (KiB) 22888
[startup+4.90025 s]
/proc/loadavg: 0.24 0.05 0.02 2/174 26441
/proc/meminfo: memFree=29812184/32873844 swapFree=7116/7116
[pid=26435] ppid=26433 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26435/stat : 26435 (npSolver-pbo-It) S 26433 26435 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375945180 9367552 274 33554432000 4194304 5064252 140737225965648 140737225964560 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26435/statm: 2287 274 233 213 0 72 0
[pid=26436] ppid=26435 vsize=3116 CPUtime=0.08 cores=0,2,4,6
/proc/26436/stat : 26436 (npSolver-pbo) S 26435 26435 26405 0 -1 4202496 1655 1821 0 1 1 1 6 0 20 0 1 0 375945181 3190784 447 33554432000 4194304 6004724 140736370560848 140736370547128 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26436/statm: 779 447 152 442 0 333 0
[pid=26441] ppid=26436 vsize=10624 CPUtime=4.74 cores=0,2,4,6
/proc/26441/stat : 26441 (glucosInc) R 26436 26435 26405 0 -1 4202496 2550 0 0 0 474 0 0 0 20 0 1 0 375945195 10878976 2144 33554432000 4194304 5654031 140736510443872 140736510441672 4233144 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/26441/statm: 2656 2144 138 357 0 2296 0
Current children cumulated CPU time (s) 4.82
Current children cumulated vsize (KiB) 22888
[startup+5.00041 s]
/proc/loadavg: 0.24 0.05 0.02 2/174 26441
/proc/meminfo: memFree=29812184/32873844 swapFree=7116/7116
[pid=26435] ppid=26433 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26435/stat : 26435 (npSolver-pbo-It) S 26433 26435 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375945180 9367552 274 33554432000 4194304 5064252 140737225965648 140737225964560 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26435/statm: 2287 274 233 213 0 72 0
[pid=26436] ppid=26435 vsize=0 CPUtime=0.08 cores=0,2,4,6
/proc/26436/stat : 26436 (npSolver-pbo) D 26435 26435 26405 0 -1 4202500 1841 1821 0 1 1 1 6 0 20 0 1 0 375945181 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 1 0 0
/proc/26436/statm: 0 0 0 0 0 0 0
[pid=26441] ppid=26436 vsize=0 CPUtime=4.81 cores=0,2,4,6
/proc/26441/stat : 26441 (glucosInc) D 26436 26435 26405 0 -1 4202500 2555 0 0 0 481 0 0 0 20 0 1 0 375945195 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26441/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.89
Current children cumulated vsize (KiB) 9148
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26435 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=79987
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=17997
# CPU time returned by wait4() is 0.097984
# while last known CPU time is 4.89
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 5.02361
CPU time (s): 4.89
CPU user time (s): 4.88
CPU system time (s): 0.01
CPU usage (%): 97.3403
Max. virtual memory (cumulated for all children) (KiB): 22888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.079987
system time used= 0.017997
maximum resident set size= 30256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4032
page faults= 1
swaps= 0
block input operations= 232
block output operations= 360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21
involuntary context switches= 7
runsolver used 0.023996 second user time and 0.024996 second system time
The end