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-3747927-1339111088/watcher-3747927-1339111088 -o /tmp/evaluation-result-3747927-1339111088/solver-3747927-1339111088 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3747927-1339111088.opb 969295890 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.28 1.77 1.92 3/177 31921
/proc/meminfo: memFree=29342412/32873844 swapFree=7628/7628
[pid=31921] ppid=31919 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31921/stat : 31921 (npSolver-pbo-I.) S 31919 31921 30697 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377233742 9367552 275 33554432000 4194304 5064252 140734432185840 140734432184752 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31921/statm: 2287 275 233 213 0 72 0
[startup+0.0285401 s]
/proc/loadavg: 1.28 1.77 1.92 3/177 31921
/proc/meminfo: memFree=29342412/32873844 swapFree=7628/7628
[pid=31921] ppid=31919 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31921/stat : 31921 (npSolver-pbo-I.) S 31919 31921 30697 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377233742 9367552 275 33554432000 4194304 5064252 140734432185840 140734432184752 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31921/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100185 s]
/proc/loadavg: 1.28 1.77 1.92 3/177 31921
/proc/meminfo: memFree=29342412/32873844 swapFree=7628/7628
[pid=31921] ppid=31919 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31921/stat : 31921 (npSolver-pbo-I.) S 31919 31921 30697 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377233742 9367552 275 33554432000 4194304 5064252 140734432185840 140734432184752 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31921/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300218 s]
/proc/loadavg: 1.28 1.77 1.92 3/177 31921
/proc/meminfo: memFree=29342412/32873844 swapFree=7628/7628
[pid=31921] ppid=31919 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31921/stat : 31921 (npSolver-pbo-I.) S 31919 31921 30697 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377233742 9367552 275 33554432000 4194304 5064252 140734432185840 140734432184752 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31921/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700232 s]
/proc/loadavg: 1.28 1.77 1.92 3/177 31921
/proc/meminfo: memFree=29342412/32873844 swapFree=7628/7628
[pid=31921] ppid=31919 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31921/stat : 31921 (npSolver-pbo-I.) S 31919 31921 30697 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377233742 9367552 275 33554432000 4194304 5064252 140734432185840 140734432184752 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31921/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50035 s]
/proc/loadavg: 1.28 1.77 1.92 3/182 31929
/proc/meminfo: memFree=29271020/32873844 swapFree=7628/7628
[pid=31921] ppid=31919 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31921/stat : 31921 (npSolver-pbo-I.) S 31919 31921 30697 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377233742 9367552 275 33554432000 4194304 5064252 140734432185840 140734432184752 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31921/statm: 2287 275 233 213 0 72 0
[pid=31922] ppid=31921 vsize=2736 CPUtime=0.22 cores=1,3,5,7
/proc/31922/stat : 31922 (npSolver-pbo) S 31921 31921 30697 0 -1 4202496 1438 2611 0 0 1 0 21 0 20 0 1 0 377233743 2801664 355 33554432000 4194304 6004724 140735843539680 140735843525960 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/31922/statm: 684 355 167 442 0 238 0
[pid=31929] ppid=31922 vsize=7000 CPUtime=1.25 cores=1,3,5,7
/proc/31929/stat : 31929 (glucosInc) R 31922 31921 30697 0 -1 4202496 1903 0 0 0 125 0 0 0 20 0 1 0 377233767 7168000 1185 33554432000 4194304 5654031 140733356776592 140733356774616 4232632 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31929/statm: 1750 1185 132 357 0 1390 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 18884
[startup+3.10035 s]
/proc/loadavg: 1.34 1.78 1.92 3/181 31931
/proc/meminfo: memFree=29295712/32873844 swapFree=7628/7628
[pid=31921] ppid=31919 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31921/stat : 31921 (npSolver-pbo-I.) S 31919 31921 30697 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377233742 9367552 275 33554432000 4194304 5064252 140734432185840 140734432184752 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31921/statm: 2287 275 233 213 0 72 0
[pid=31922] ppid=31921 vsize=2736 CPUtime=0.22 cores=1,3,5,7
/proc/31922/stat : 31922 (npSolver-pbo) S 31921 31921 30697 0 -1 4202496 1438 2611 0 0 1 0 21 0 20 0 1 0 377233743 2801664 355 33554432000 4194304 6004724 140735843539680 140735843525960 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/31922/statm: 684 355 167 442 0 238 0
[pid=31929] ppid=31922 vsize=9680 CPUtime=2.84 cores=1,3,5,7
/proc/31929/stat : 31929 (glucosInc) R 31922 31921 30697 0 -1 4202496 2632 0 0 0 284 0 0 0 20 0 1 0 377233767 9912320 1886 33554432000 4194304 5654031 140733356776592 140733356774472 4233232 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31929/statm: 2420 1886 132 357 0 2060 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 21564
[startup+6.30031 s]
/proc/loadavg: 1.34 1.78 1.92 3/180 31931
/proc/meminfo: memFree=29274552/32873844 swapFree=7628/7628
[pid=31921] ppid=31919 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31921/stat : 31921 (npSolver-pbo-I.) S 31919 31921 30697 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377233742 9367552 275 33554432000 4194304 5064252 140734432185840 140734432184752 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31921/statm: 2287 275 233 213 0 72 0
[pid=31922] ppid=31921 vsize=2736 CPUtime=0.22 cores=1,3,5,7
/proc/31922/stat : 31922 (npSolver-pbo) S 31921 31921 30697 0 -1 4202496 1438 2611 0 0 1 0 21 0 20 0 1 0 377233743 2801664 355 33554432000 4194304 6004724 140735843539680 140735843525960 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/31922/statm: 684 355 167 442 0 238 0
[pid=31929] ppid=31922 vsize=14144 CPUtime=6.04 cores=1,3,5,7
/proc/31929/stat : 31929 (glucosInc) R 31922 31921 30697 0 -1 4202496 3543 0 0 0 604 0 0 0 20 0 1 0 377233767 14483456 2783 33554432000 4194304 5654031 140733356776592 140733356774472 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31929/statm: 3536 2783 132 357 0 3176 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 26028
############
# WARNING:
# current cumulated CPU time (0 s) is less than in the last sample (10.76 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (10.76 s) to the 'lost time'.
[startup+10.8003 s]
/proc/loadavg: 1.39 1.78 1.92 3/180 31931
/proc/meminfo: memFree=29251240/32873844 swapFree=7628/7628
[pid=31921] ppid=31919 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31921/stat : 31921 (npSolver-pbo-I.) S 31919 31921 30697 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377233742 9367552 275 33554432000 4194304 5064252 140734432185840 140734432184752 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31921/statm: 2287 275 233 213 0 72 0
[pid=31922] ppid=31921 vsize=2736 CPUtime=0.22 cores=1,3,5,7
/proc/31922/stat : 31922 (npSolver-pbo) S 31921 31921 30697 0 -1 4202496 1438 2611 0 0 1 0 21 0 20 0 1 0 377233743 2801664 355 33554432000 4194304 6004724 140735843539680 140735843525960 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/31922/statm: 684 355 167 442 0 238 0
[pid=31929] ppid=31922 vsize=21220 CPUtime=10.54 cores=1,3,5,7
/proc/31929/stat : 31929 (glucosInc) R 31922 31921 30697 0 -1 4202496 4025 0 0 0 1054 0 0 0 20 0 1 0 377233767 21729280 4264 33554432000 4194304 5654031 140733356776592 140733356774472 4233216 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31929/statm: 5305 4264 132 357 0 4945 0
Current children cumulated CPU time (s) 10.76
Current children cumulated vsize (KiB) 33104
[startup+10.9003 s]
/proc/loadavg: 1.39 1.78 1.92 2/182 31933
/proc/meminfo: memFree=29227164/32873844 swapFree=7628/7628
[pid=31921] ppid=-1 vsize=0 CPUtime=0 cores=
/proc/31921/stat : -- couldn't open stat file --/proc/31921/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
#
############
Solver just ended. Dumping a history of the last processes samples
[startup+9.50034 s]
/proc/loadavg: 1.39 1.78 1.92 3/180 31931
/proc/meminfo: memFree=29256328/32873844 swapFree=7628/7628
[pid=31921] ppid=31919 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31921/stat : 31921 (npSolver-pbo-I.) S 31919 31921 30697 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377233742 9367552 275 33554432000 4194304 5064252 140734432185840 140734432184752 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31921/statm: 2287 275 233 213 0 72 0
[pid=31922] ppid=31921 vsize=2736 CPUtime=0.22 cores=1,3,5,7
/proc/31922/stat : 31922 (npSolver-pbo) S 31921 31921 30697 0 -1 4202496 1438 2611 0 0 1 0 21 0 20 0 1 0 377233743 2801664 355 33554432000 4194304 6004724 140735843539680 140735843525960 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/31922/statm: 684 355 167 442 0 238 0
[pid=31929] ppid=31922 vsize=21220 CPUtime=9.24 cores=1,3,5,7
/proc/31929/stat : 31929 (glucosInc) R 31922 31921 30697 0 -1 4202496 3996 0 0 0 924 0 0 0 20 0 1 0 377233767 21729280 4235 33554432000 4194304 5654031 140733356776592 140733356774472 4232800 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31929/statm: 5305 4235 132 357 0 4945 0
Current children cumulated CPU time (s) 9.46
Current children cumulated vsize (KiB) 33104
[startup+10.3003 s]
/proc/loadavg: 1.39 1.78 1.92 3/180 31931
/proc/meminfo: memFree=29251240/32873844 swapFree=7628/7628
[pid=31921] ppid=31919 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31921/stat : 31921 (npSolver-pbo-I.) S 31919 31921 30697 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377233742 9367552 275 33554432000 4194304 5064252 140734432185840 140734432184752 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31921/statm: 2287 275 233 213 0 72 0
[pid=31922] ppid=31921 vsize=2736 CPUtime=0.22 cores=1,3,5,7
/proc/31922/stat : 31922 (npSolver-pbo) S 31921 31921 30697 0 -1 4202496 1438 2611 0 0 1 0 21 0 20 0 1 0 377233743 2801664 355 33554432000 4194304 6004724 140735843539680 140735843525960 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/31922/statm: 684 355 167 442 0 238 0
[pid=31929] ppid=31922 vsize=21220 CPUtime=10.04 cores=1,3,5,7
/proc/31929/stat : 31929 (glucosInc) R 31922 31921 30697 0 -1 4202496 4025 0 0 0 1004 0 0 0 20 0 1 0 377233767 21729280 4264 33554432000 4194304 5654031 140733356776592 140733356774472 4232973 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31929/statm: 5305 4264 132 357 0 4945 0
Current children cumulated CPU time (s) 10.26
Current children cumulated vsize (KiB) 33104
[startup+10.7003 s]
/proc/loadavg: 1.39 1.78 1.92 3/180 31931
/proc/meminfo: memFree=29251240/32873844 swapFree=7628/7628
[pid=31921] ppid=31919 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31921/stat : 31921 (npSolver-pbo-I.) S 31919 31921 30697 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377233742 9367552 275 33554432000 4194304 5064252 140734432185840 140734432184752 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31921/statm: 2287 275 233 213 0 72 0
[pid=31922] ppid=31921 vsize=2736 CPUtime=0.22 cores=1,3,5,7
/proc/31922/stat : 31922 (npSolver-pbo) S 31921 31921 30697 0 -1 4202496 1438 2611 0 0 1 0 21 0 20 0 1 0 377233743 2801664 355 33554432000 4194304 6004724 140735843539680 140735843525960 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/31922/statm: 684 355 167 442 0 238 0
[pid=31929] ppid=31922 vsize=21220 CPUtime=10.44 cores=1,3,5,7
/proc/31929/stat : 31929 (glucosInc) R 31922 31921 30697 0 -1 4202496 4025 0 0 0 1044 0 0 0 20 0 1 0 377233767 21729280 4264 33554432000 4194304 5654031 140733356776592 140733356774472 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31929/statm: 5305 4264 132 357 0 4945 0
Current children cumulated CPU time (s) 10.66
Current children cumulated vsize (KiB) 33104
[startup+10.9003 s]
/proc/loadavg: 1.39 1.78 1.92 2/182 31933
/proc/meminfo: memFree=29227164/32873844 swapFree=7628/7628
[pid=31921] ppid=-1 vsize=0 CPUtime=0 cores=
/proc/31921/stat : -- couldn't open stat file --/proc/31921/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
Child status: 0
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 10.76
# lost CPU user time (s): 10.76
# lost CPU system time (s): 0
Real time (s): 10.908
CPU time (s): 11.009
CPU user time (s): 10.995
CPU system time (s): 0.013997
CPU usage (%): 100.925
Max. virtual memory (cumulated for all children) (KiB): 33104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.234964
system time used= 0.013997
maximum resident set size= 29896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4504
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 224
involuntary context switches= 10
runsolver used 0.044993 second user time and 0.086986 second system time
The end