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-3751091-1339111815/watcher-3751091-1339111815 -o /tmp/evaluation-result-3751091-1339111815/solver-3751091-1339111815 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751091-1339111815.opb 369030570 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: 1.88 1.42 1.51 3/179 21884
/proc/meminfo: memFree=31196488/32873844 swapFree=7632/7632
[pid=21884] ppid=21882 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21884/stat : 21884 (npSolver-pbo-It) S 21882 21884 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377307184 9367552 275 33554432000 4194304 5064252 140733569637664 140733569636576 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21884/statm: 2287 275 233 213 0 72 0
[startup+0.0117121 s]
/proc/loadavg: 1.88 1.42 1.51 3/179 21884
/proc/meminfo: memFree=31196488/32873844 swapFree=7632/7632
[pid=21884] ppid=21882 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21884/stat : 21884 (npSolver-pbo-It) S 21882 21884 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377307184 9367552 275 33554432000 4194304 5064252 140733569637664 140733569636576 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21884/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100263 s]
/proc/loadavg: 1.88 1.42 1.51 3/179 21884
/proc/meminfo: memFree=31196488/32873844 swapFree=7632/7632
[pid=21884] ppid=21882 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21884/stat : 21884 (npSolver-pbo-It) S 21882 21884 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377307184 9367552 275 33554432000 4194304 5064252 140733569637664 140733569636576 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21884/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300215 s]
/proc/loadavg: 1.88 1.42 1.51 3/179 21884
/proc/meminfo: memFree=31196488/32873844 swapFree=7632/7632
[pid=21884] ppid=21882 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21884/stat : 21884 (npSolver-pbo-It) S 21882 21884 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377307184 9367552 275 33554432000 4194304 5064252 140733569637664 140733569636576 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21884/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700224 s]
/proc/loadavg: 1.88 1.42 1.51 3/179 21884
/proc/meminfo: memFree=31196488/32873844 swapFree=7632/7632
[pid=21884] ppid=21882 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21884/stat : 21884 (npSolver-pbo-It) S 21882 21884 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377307184 9367552 275 33554432000 4194304 5064252 140733569637664 140733569636576 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21884/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 1.88 1.42 1.51 3/182 21890
/proc/meminfo: memFree=31189092/32873844 swapFree=7632/7632
[pid=21884] ppid=21882 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21884/stat : 21884 (npSolver-pbo-It) S 21882 21884 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377307184 9367552 275 33554432000 4194304 5064252 140733569637664 140733569636576 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21884/statm: 2287 275 233 213 0 72 0
[pid=21885] ppid=21884 vsize=2708 CPUtime=0.23 cores=1,3,5,7
/proc/21885/stat : 21885 (npSolver-pbo) S 21884 21884 19416 0 -1 4202496 1401 2729 0 0 0 0 23 0 20 0 1 0 377307184 2772992 327 33554432000 4194304 6004724 140733643535280 140733643521560 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/21885/statm: 677 327 152 442 0 231 0
[pid=21890] ppid=21885 vsize=9900 CPUtime=1.24 cores=1,3,5,7
/proc/21890/stat : 21890 (glucosInc) R 21885 21884 19416 0 -1 4202496 2101 0 0 0 124 0 0 0 20 0 1 0 377307209 10137600 1410 33554432000 4194304 5654031 140735303540768 140735303538664 4234964 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21890/statm: 2475 1410 132 357 0 2115 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 21756
[startup+3.1003 s]
/proc/loadavg: 1.88 1.42 1.51 3/182 21890
/proc/meminfo: memFree=31185884/32873844 swapFree=7632/7632
[pid=21884] ppid=21882 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21884/stat : 21884 (npSolver-pbo-It) S 21882 21884 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377307184 9367552 275 33554432000 4194304 5064252 140733569637664 140733569636576 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21884/statm: 2287 275 233 213 0 72 0
[pid=21885] ppid=21884 vsize=2708 CPUtime=0.23 cores=1,3,5,7
/proc/21885/stat : 21885 (npSolver-pbo) S 21884 21884 19416 0 -1 4202496 1401 2729 0 0 0 0 23 0 20 0 1 0 377307184 2772992 327 33554432000 4194304 6004724 140733643535280 140733643521560 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/21885/statm: 677 327 152 442 0 231 0
[pid=21890] ppid=21885 vsize=11600 CPUtime=2.84 cores=1,3,5,7
/proc/21890/stat : 21890 (glucosInc) R 21885 21884 19416 0 -1 4202496 3122 0 0 0 284 0 0 0 20 0 1 0 377307209 11878400 2386 33554432000 4194304 5654031 140735303540768 140735303538568 4232968 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21890/statm: 2900 2386 132 357 0 2540 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 23456
[startup+6.3003 s]
/proc/loadavg: 1.89 1.43 1.52 3/182 21890
/proc/meminfo: memFree=31181436/32873844 swapFree=7632/7632
[pid=21884] ppid=21882 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21884/stat : 21884 (npSolver-pbo-It) S 21882 21884 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377307184 9367552 275 33554432000 4194304 5064252 140733569637664 140733569636576 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21884/statm: 2287 275 233 213 0 72 0
[pid=21885] ppid=21884 vsize=2708 CPUtime=0.23 cores=1,3,5,7
/proc/21885/stat : 21885 (npSolver-pbo) S 21884 21884 19416 0 -1 4202496 1401 2729 0 0 0 0 23 0 20 0 1 0 377307184 2772992 327 33554432000 4194304 6004724 140733643535280 140733643521560 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/21885/statm: 677 327 152 442 0 231 0
[pid=21890] ppid=21885 vsize=14304 CPUtime=6.03 cores=1,3,5,7
/proc/21890/stat : 21890 (glucosInc) R 21885 21884 19416 0 -1 4202496 3742 0 0 0 603 0 0 0 20 0 1 0 377307209 14647296 2998 33554432000 4194304 5654031 140735303540768 140735303538648 4232963 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21890/statm: 3576 2998 132 357 0 3216 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 26160
Solver just ended. Dumping a history of the last processes samples
[startup+7.9003 s]
/proc/loadavg: 1.89 1.43 1.52 3/182 21890
/proc/meminfo: memFree=31180816/32873844 swapFree=7632/7632
[pid=21884] ppid=21882 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21884/stat : 21884 (npSolver-pbo-It) S 21882 21884 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377307184 9367552 275 33554432000 4194304 5064252 140733569637664 140733569636576 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21884/statm: 2287 275 233 213 0 72 0
[pid=21885] ppid=21884 vsize=2708 CPUtime=0.23 cores=1,3,5,7
/proc/21885/stat : 21885 (npSolver-pbo) S 21884 21884 19416 0 -1 4202496 1401 2729 0 0 0 0 23 0 20 0 1 0 377307184 2772992 327 33554432000 4194304 6004724 140733643535280 140733643521560 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/21885/statm: 677 327 152 442 0 231 0
[pid=21890] ppid=21885 vsize=14304 CPUtime=7.63 cores=1,3,5,7
/proc/21890/stat : 21890 (glucosInc) R 21885 21884 19416 0 -1 4202496 3796 0 0 0 763 0 0 0 20 0 1 0 377307209 14647296 3051 33554432000 4194304 5654031 140735303540768 140735303538648 4233232 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21890/statm: 3576 3051 132 357 0 3216 0
Current children cumulated CPU time (s) 7.86
Current children cumulated vsize (KiB) 26160
[startup+8.70031 s]
/proc/loadavg: 1.90 1.44 1.52 3/182 21890
/proc/meminfo: memFree=31178396/32873844 swapFree=7632/7632
[pid=21884] ppid=21882 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21884/stat : 21884 (npSolver-pbo-It) S 21882 21884 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377307184 9367552 275 33554432000 4194304 5064252 140733569637664 140733569636576 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21884/statm: 2287 275 233 213 0 72 0
[pid=21885] ppid=21884 vsize=2708 CPUtime=0.23 cores=1,3,5,7
/proc/21885/stat : 21885 (npSolver-pbo) S 21884 21884 19416 0 -1 4202496 1401 2729 0 0 0 0 23 0 20 0 1 0 377307184 2772992 327 33554432000 4194304 6004724 140733643535280 140733643521560 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/21885/statm: 677 327 152 442 0 231 0
[pid=21890] ppid=21885 vsize=18388 CPUtime=8.44 cores=1,3,5,7
/proc/21890/stat : 21890 (glucosInc) R 21885 21884 19416 0 -1 4202496 3950 0 0 0 844 0 0 0 20 0 1 0 377307209 18829312 3708 33554432000 4194304 5654031 140735303540768 140735303538648 4233236 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21890/statm: 4597 3708 132 357 0 4237 0
Current children cumulated CPU time (s) 8.67
Current children cumulated vsize (KiB) 30244
[startup+9.10029 s]
/proc/loadavg: 1.90 1.44 1.52 3/182 21890
/proc/meminfo: memFree=31178396/32873844 swapFree=7632/7632
[pid=21884] ppid=21882 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21884/stat : 21884 (npSolver-pbo-It) S 21882 21884 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377307184 9367552 275 33554432000 4194304 5064252 140733569637664 140733569636576 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21884/statm: 2287 275 233 213 0 72 0
[pid=21885] ppid=21884 vsize=2708 CPUtime=0.23 cores=1,3,5,7
/proc/21885/stat : 21885 (npSolver-pbo) S 21884 21884 19416 0 -1 4202496 1401 2729 0 0 0 0 23 0 20 0 1 0 377307184 2772992 327 33554432000 4194304 6004724 140733643535280 140733643521560 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/21885/statm: 677 327 152 442 0 231 0
[pid=21890] ppid=21885 vsize=18388 CPUtime=8.83 cores=1,3,5,7
/proc/21890/stat : 21890 (glucosInc) R 21885 21884 19416 0 -1 4202496 4010 0 0 0 883 0 0 0 20 0 1 0 377307209 18829312 3766 33554432000 4194304 5654031 140735303540768 140735303538552 4234964 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21890/statm: 4597 3766 132 357 0 4237 0
Current children cumulated CPU time (s) 9.06
Current children cumulated vsize (KiB) 30244
[startup+9.2003 s]
/proc/loadavg: 1.90 1.44 1.52 3/182 21890
/proc/meminfo: memFree=31178396/32873844 swapFree=7632/7632
[pid=21884] ppid=21882 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21884/stat : 21884 (npSolver-pbo-It) S 21882 21884 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377307184 9367552 275 33554432000 4194304 5064252 140733569637664 140733569636576 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21884/statm: 2287 275 233 213 0 72 0
[pid=21885] ppid=21884 vsize=2708 CPUtime=0.23 cores=1,3,5,7
/proc/21885/stat : 21885 (npSolver-pbo) S 21884 21884 19416 0 -1 4202496 1401 2729 0 0 0 0 23 0 20 0 1 0 377307184 2772992 327 33554432000 4194304 6004724 140733643535280 140733643521560 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/21885/statm: 677 327 152 442 0 231 0
[pid=21890] ppid=21885 vsize=18388 CPUtime=8.93 cores=1,3,5,7
/proc/21890/stat : 21890 (glucosInc) R 21885 21884 19416 0 -1 4202496 4022 0 0 0 893 0 0 0 20 0 1 0 377307209 18829312 3778 33554432000 4194304 5654031 140735303540768 140735303538552 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21890/statm: 4597 3778 132 357 0 4237 0
Current children cumulated CPU time (s) 9.16
Current children cumulated vsize (KiB) 30244
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21884 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=239963
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=15997
# CPU time returned by wait4() is 0.25596
# while last known CPU time is 9.16
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 9.2487
CPU time (s): 9.16
CPU user time (s): 9.16
CPU system time (s): 0
CPU usage (%): 99.0409
Max. virtual memory (cumulated for all children) (KiB): 30244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.239963
system time used= 0.015997
maximum resident set size= 29832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4527
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= 8
runsolver used 0.015997 second user time and 0.047992 second system time
The end