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-3746320-1339098178/watcher-3746320-1339098178 -o /tmp/evaluation-result-3746320-1339098178/solver-3746320-1339098178 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746320-1339098178.opb 564150635 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: 0.00 0.00 0.00 3/175 9680
/proc/meminfo: memFree=23320676/32873844 swapFree=7628/7628
[pid=9680] ppid=9676 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9680/stat : 9680 (npSolver-pbo-It) S 9676 9680 9637 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375942250 9367552 274 33554432000 4194304 5064252 140735752436816 140735752435728 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9680/statm: 2287 274 233 213 0 72 0
[startup+0.0877881 s]
/proc/loadavg: 0.00 0.00 0.00 3/175 9680
/proc/meminfo: memFree=23320676/32873844 swapFree=7628/7628
[pid=9680] ppid=9676 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9680/stat : 9680 (npSolver-pbo-It) S 9676 9680 9637 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375942250 9367552 274 33554432000 4194304 5064252 140735752436816 140735752435728 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9680/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100185 s]
/proc/loadavg: 0.00 0.00 0.00 3/175 9680
/proc/meminfo: memFree=23320676/32873844 swapFree=7628/7628
[pid=9680] ppid=9676 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9680/stat : 9680 (npSolver-pbo-It) S 9676 9680 9637 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375942250 9367552 274 33554432000 4194304 5064252 140735752436816 140735752435728 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9680/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300218 s]
/proc/loadavg: 0.00 0.00 0.00 3/175 9680
/proc/meminfo: memFree=23320676/32873844 swapFree=7628/7628
[pid=9680] ppid=9676 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9680/stat : 9680 (npSolver-pbo-It) S 9676 9680 9637 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375942250 9367552 274 33554432000 4194304 5064252 140735752436816 140735752435728 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9680/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70023 s]
/proc/loadavg: 0.00 0.00 0.00 3/175 9680
/proc/meminfo: memFree=23320676/32873844 swapFree=7628/7628
[pid=9680] ppid=9676 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9680/stat : 9680 (npSolver-pbo-It) S 9676 9680 9637 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375942250 9367552 274 33554432000 4194304 5064252 140735752436816 140735752435728 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9680/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 0.00 0.00 0.00 4/181 9692
/proc/meminfo: memFree=23309388/32873844 swapFree=7628/7628
[pid=9680] ppid=9676 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9680/stat : 9680 (npSolver-pbo-It) S 9676 9680 9637 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375942250 9367552 274 33554432000 4194304 5064252 140735752436816 140735752435728 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9680/statm: 2287 274 233 213 0 72 0
[pid=9682] ppid=9680 vsize=2708 CPUtime=0.23 cores=1,3,5,7
/proc/9682/stat : 9682 (npSolver-pbo) S 9680 9680 9637 0 -1 4202496 1400 2737 0 0 0 1 22 0 20 0 1 0 375942251 2772992 327 33554432000 4194304 6004724 140735111997136 140735111983416 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9682/statm: 677 327 152 442 0 231 0
[pid=9692] ppid=9682 vsize=9952 CPUtime=1.24 cores=1,3,5,7
/proc/9692/stat : 9692 (glucosInc) R 9682 9680 9637 0 -1 4202496 2098 0 0 0 124 0 0 0 20 0 1 0 375942276 10190848 1449 33554432000 4194304 5654031 140734770735888 140734770733768 4233187 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9692/statm: 2488 1449 132 357 0 2128 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 21808
[startup+3.10031 s]
/proc/loadavg: 0.00 0.00 0.00 4/181 9692
/proc/meminfo: memFree=23303940/32873844 swapFree=7628/7628
[pid=9680] ppid=9676 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9680/stat : 9680 (npSolver-pbo-It) S 9676 9680 9637 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375942250 9367552 274 33554432000 4194304 5064252 140735752436816 140735752435728 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9680/statm: 2287 274 233 213 0 72 0
[pid=9682] ppid=9680 vsize=2708 CPUtime=0.23 cores=1,3,5,7
/proc/9682/stat : 9682 (npSolver-pbo) S 9680 9680 9637 0 -1 4202496 1400 2737 0 0 0 1 22 0 20 0 1 0 375942251 2772992 327 33554432000 4194304 6004724 140735111997136 140735111983416 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9682/statm: 677 327 152 442 0 231 0
[pid=9692] ppid=9682 vsize=12508 CPUtime=2.84 cores=1,3,5,7
/proc/9692/stat : 9692 (glucosInc) R 9682 9680 9637 0 -1 4202496 2976 0 0 0 284 0 0 0 20 0 1 0 375942276 12808192 2312 33554432000 4194304 5654031 140734770735888 140734770733768 4233168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9692/statm: 3127 2312 132 357 0 2767 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 24364
[startup+6.30031 s]
/proc/loadavg: 0.24 0.05 0.02 4/181 9692
/proc/meminfo: memFree=23298120/32873844 swapFree=7628/7628
[pid=9680] ppid=9676 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9680/stat : 9680 (npSolver-pbo-It) S 9676 9680 9637 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375942250 9367552 274 33554432000 4194304 5064252 140735752436816 140735752435728 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9680/statm: 2287 274 233 213 0 72 0
[pid=9682] ppid=9680 vsize=2708 CPUtime=0.23 cores=1,3,5,7
/proc/9682/stat : 9682 (npSolver-pbo) S 9680 9680 9637 0 -1 4202496 1400 2737 0 0 0 1 22 0 20 0 1 0 375942251 2772992 327 33554432000 4194304 6004724 140735111997136 140735111983416 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9682/statm: 677 327 152 442 0 231 0
[pid=9692] ppid=9682 vsize=12508 CPUtime=6.04 cores=1,3,5,7
/proc/9692/stat : 9692 (glucosInc) R 9682 9680 9637 0 -1 4202496 3283 0 0 0 604 0 0 0 20 0 1 0 375942276 12808192 2616 33554432000 4194304 5654031 140734770735888 140734770733768 4234032 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9692/statm: 3127 2616 132 357 0 2767 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 24364
Solver just ended. Dumping a history of the last processes samples
[startup+7.10034 s]
/proc/loadavg: 0.24 0.05 0.02 4/181 9692
/proc/meminfo: memFree=23291668/32873844 swapFree=7628/7628
[pid=9680] ppid=9676 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9680/stat : 9680 (npSolver-pbo-It) S 9676 9680 9637 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375942250 9367552 274 33554432000 4194304 5064252 140735752436816 140735752435728 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9680/statm: 2287 274 233 213 0 72 0
[pid=9682] ppid=9680 vsize=2708 CPUtime=0.23 cores=1,3,5,7
/proc/9682/stat : 9682 (npSolver-pbo) S 9680 9680 9637 0 -1 4202496 1400 2737 0 0 0 1 22 0 20 0 1 0 375942251 2772992 327 33554432000 4194304 6004724 140735111997136 140735111983416 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9682/statm: 677 327 152 442 0 231 0
[pid=9692] ppid=9682 vsize=15184 CPUtime=6.83 cores=1,3,5,7
/proc/9692/stat : 9692 (glucosInc) R 9682 9680 9637 0 -1 4202496 3447 0 0 0 683 0 0 0 20 0 1 0 375942276 15548416 3285 33554432000 4194304 5654031 140734770735888 140734770733768 4233168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9692/statm: 3796 3285 132 357 0 3436 0
Current children cumulated CPU time (s) 7.06
Current children cumulated vsize (KiB) 27040
[startup+7.50031 s]
/proc/loadavg: 0.24 0.05 0.02 4/181 9692
/proc/meminfo: memFree=23291668/32873844 swapFree=7628/7628
[pid=9680] ppid=9676 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9680/stat : 9680 (npSolver-pbo-It) S 9676 9680 9637 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375942250 9367552 274 33554432000 4194304 5064252 140735752436816 140735752435728 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9680/statm: 2287 274 233 213 0 72 0
[pid=9682] ppid=9680 vsize=2708 CPUtime=0.23 cores=1,3,5,7
/proc/9682/stat : 9682 (npSolver-pbo) S 9680 9680 9637 0 -1 4202496 1400 2737 0 0 0 1 22 0 20 0 1 0 375942251 2772992 327 33554432000 4194304 6004724 140735111997136 140735111983416 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9682/statm: 677 327 152 442 0 231 0
[pid=9692] ppid=9682 vsize=15184 CPUtime=7.23 cores=1,3,5,7
/proc/9692/stat : 9692 (glucosInc) R 9682 9680 9637 0 -1 4202496 3447 0 0 0 723 0 0 0 20 0 1 0 375942276 15548416 3285 33554432000 4194304 5654031 140734770735888 140734770733688 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9692/statm: 3796 3285 132 357 0 3436 0
Current children cumulated CPU time (s) 7.46
Current children cumulated vsize (KiB) 27040
[startup+7.90031 s]
/proc/loadavg: 0.24 0.05 0.02 4/181 9692
/proc/meminfo: memFree=23291668/32873844 swapFree=7628/7628
[pid=9680] ppid=9676 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9680/stat : 9680 (npSolver-pbo-It) S 9676 9680 9637 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375942250 9367552 274 33554432000 4194304 5064252 140735752436816 140735752435728 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9680/statm: 2287 274 233 213 0 72 0
[pid=9682] ppid=9680 vsize=2708 CPUtime=0.23 cores=1,3,5,7
/proc/9682/stat : 9682 (npSolver-pbo) S 9680 9680 9637 0 -1 4202496 1400 2737 0 0 0 1 22 0 20 0 1 0 375942251 2772992 327 33554432000 4194304 6004724 140735111997136 140735111983416 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9682/statm: 677 327 152 442 0 231 0
[pid=9692] ppid=9682 vsize=15184 CPUtime=7.63 cores=1,3,5,7
/proc/9692/stat : 9692 (glucosInc) R 9682 9680 9637 0 -1 4202496 3447 0 0 0 763 0 0 0 20 0 1 0 375942276 15548416 3285 33554432000 4194304 5654031 140734770735888 140734770733688 4232939 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9692/statm: 3796 3285 132 357 0 3436 0
Current children cumulated CPU time (s) 7.86
Current children cumulated vsize (KiB) 27040
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9680 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=229965
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=20996
# CPU time returned by wait4() is 0.250961
# while last known CPU time is 7.86
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 7.99775
CPU time (s): 7.86
CPU user time (s): 7.85
CPU system time (s): 0.01
CPU usage (%): 98.2776
Max. virtual memory (cumulated for all children) (KiB): 27040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.229965
system time used= 0.020996
maximum resident set size= 29832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4533
page faults= 0
swaps= 0
block input operations= 0
block output operations= 552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 11
runsolver used 0.016997 second user time and 0.038994 second system time
The end