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-3704334-1338095261/watcher-3704334-1338095261 -o /tmp/evaluation-result-3704334-1338095261/solver-3704334-1338095261 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3704334-1338095261.opb
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: 2.01 2.01 2.00 5/177 6591
/proc/meminfo: memFree=28422012/32873648 swapFree=6844/6844
[pid=6591] ppid=6589 vsize=6856 CPUtime=0 cores=0,2,4,6
/proc/6591/stat : 6591 (pwbo2.0) R 6589 6591 5668 0 -1 4202496 420 0 0 0 0 0 0 0 20 0 1 0 275652872 7020544 374 33554432000 4194304 5965102 140735950164976 140735560750488 5180279 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/6591/statm: 1714 387 167 433 0 483 0
[startup+0.0594779 s]
/proc/loadavg: 2.01 2.01 2.00 5/177 6591
/proc/meminfo: memFree=28422012/32873648 swapFree=6844/6844
[pid=6591] ppid=6589 vsize=13308 CPUtime=0.05 cores=0,2,4,6
/proc/6591/stat : 6591 (pwbo2.0) R 6589 6591 5668 0 -1 4202496 2126 0 0 0 5 0 0 0 20 0 1 0 275652872 13627392 2046 33554432000 4194304 5965102 140735950164976 140735560750488 5137146 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/6591/statm: 3327 2047 343 433 0 2096 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13308
[startup+0.100321 s]
/proc/loadavg: 2.01 2.01 2.00 5/177 6591
/proc/meminfo: memFree=28422012/32873648 swapFree=6844/6844
[pid=6591] ppid=6589 vsize=14916 CPUtime=0.09 cores=0,2,4,6
/proc/6591/stat : 6591 (pwbo2.0) R 6589 6591 5668 0 -1 4202496 2676 0 0 0 9 0 0 0 20 0 1 0 275652872 15273984 2596 33554432000 4194304 5965102 140735950164976 140735560750488 5137146 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/6591/statm: 3729 2596 491 433 0 2498 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14916
[startup+0.300114 s]
/proc/loadavg: 2.01 2.01 2.00 5/177 6591
/proc/meminfo: memFree=28422012/32873648 swapFree=6844/6844
[pid=6591] ppid=6589 vsize=106164 CPUtime=0.29 cores=0,2,4,6
/proc/6591/stat : 6591 (pwbo2.0) S 6589 6591 5668 0 -1 4202496 9749 0 0 0 28 1 0 0 20 0 2 0 275652872 108711936 8695 33554432000 4194304 5965102 140735950164976 140735950164496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6591/statm: 26541 8695 178 433 0 26105 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 106164
[startup+0.700114 s]
/proc/loadavg: 2.01 2.01 2.00 5/177 6591
/proc/meminfo: memFree=28422012/32873648 swapFree=6844/6844
[pid=6591] ppid=6589 vsize=104936 CPUtime=0.69 cores=0,2,4,6
/proc/6591/stat : 6591 (pwbo2.0) S 6589 6591 5668 0 -1 4202496 12345 0 0 0 67 2 0 0 20 0 2 0 275652872 107454464 10253 33554432000 4194304 5965102 140735950164976 140735950164496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6591/statm: 26234 10253 191 433 0 25798 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 104936
[startup+1.50022 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 6593
/proc/meminfo: memFree=28381308/32873648 swapFree=6844/6844
[pid=6591] ppid=6589 vsize=104936 CPUtime=1.49 cores=0,2,4,6
/proc/6591/stat : 6591 (pwbo2.0) S 6589 6591 5668 0 -1 4202496 12462 0 0 0 147 2 0 0 20 0 2 0 275652872 107454464 10370 33554432000 4194304 5965102 140735950164976 140735950164496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6591/statm: 26234 10370 191 433 0 25798 0
[pid=6591/tid=6593] ppid=6589 vsize=104936 CPUtime=1.23 cores=0,2,4,6
/proc/6591/task/6593/stat : 6593 (pwbo2.0) R 6589 6591 5668 0 -1 4202560 6380 0 0 0 122 1 0 0 20 0 2 0 275652897 107454464 10370 33554432000 4194304 5965102 140735950164976 140050622449656 4401050 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 104936
[startup+3.10023 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 6593
/proc/meminfo: memFree=28379532/32873648 swapFree=6844/6844
[pid=6591] ppid=6589 vsize=104936 CPUtime=3.09 cores=0,2,4,6
/proc/6591/stat : 6591 (pwbo2.0) S 6589 6591 5668 0 -1 4202496 12893 0 0 0 307 2 0 0 20 0 2 0 275652872 107454464 10801 33554432000 4194304 5965102 140735950164976 140735950164496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6591/statm: 26234 10801 191 433 0 25798 0
[pid=6591/tid=6593] ppid=6589 vsize=104936 CPUtime=2.84 cores=0,2,4,6
/proc/6591/task/6593/stat : 6593 (pwbo2.0) R 6589 6591 5668 0 -1 4202560 6811 0 0 0 282 2 0 0 20 0 2 0 275652897 107454464 10801 33554432000 4194304 5965102 140735950164976 140050622449656 4222304 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 104936
[startup+6.30023 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 6593
/proc/meminfo: memFree=28374696/32873648 swapFree=6844/6844
[pid=6591] ppid=6589 vsize=104936 CPUtime=6.28 cores=0,2,4,6
/proc/6591/stat : 6591 (pwbo2.0) S 6589 6591 5668 0 -1 4202496 13603 0 0 0 626 2 0 0 20 0 2 0 275652872 107454464 11511 33554432000 4194304 5965102 140735950164976 140735950164496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6591/statm: 26234 11511 191 433 0 25798 0
[pid=6591/tid=6593] ppid=6589 vsize=104936 CPUtime=6.04 cores=0,2,4,6
/proc/6591/task/6593/stat : 6593 (pwbo2.0) R 6589 6591 5668 0 -1 4202560 7521 0 0 0 602 2 0 0 20 0 2 0 275652897 107454464 11511 33554432000 4194304 5965102 140735950164976 140050622449656 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 104936
[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 6593
/proc/meminfo: memFree=28366356/32873648 swapFree=6844/6844
[pid=6591] ppid=6589 vsize=104936 CPUtime=12.69 cores=0,2,4,6
/proc/6591/stat : 6591 (pwbo2.0) S 6589 6591 5668 0 -1 4202496 14824 0 0 0 1266 3 0 0 20 0 2 0 275652872 107454464 12732 33554432000 4194304 5965102 140735950164976 140735950164496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6591/statm: 26234 12732 191 433 0 25798 0
[pid=6591/tid=6593] ppid=6589 vsize=104936 CPUtime=12.43 cores=0,2,4,6
/proc/6591/task/6593/stat : 6593 (pwbo2.0) R 6589 6591 5668 0 -1 4202560 8742 0 0 0 1241 2 0 0 20 0 2 0 275652897 107454464 12732 33554432000 4194304 5965102 140735950164976 140050622449464 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 104936
[startup+25.5003 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 6593
/proc/meminfo: memFree=28352088/32873648 swapFree=6844/6844
[pid=6591] ppid=6589 vsize=104936 CPUtime=25.48 cores=0,2,4,6
/proc/6591/stat : 6591 (pwbo2.0) S 6589 6591 5668 0 -1 4202496 16661 0 0 0 2544 4 0 0 20 0 2 0 275652872 107454464 14569 33554432000 4194304 5965102 140735950164976 140735950164496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6591/statm: 26234 14569 191 433 0 25798 0
[pid=6591/tid=6593] ppid=6589 vsize=104936 CPUtime=25.24 cores=0,2,4,6
/proc/6591/task/6593/stat : 6593 (pwbo2.0) R 6589 6591 5668 0 -1 4202560 10579 0 0 0 2520 4 0 0 20 0 2 0 275652897 107454464 14569 33554432000 4194304 5965102 140735950164976 140050622449464 4390187 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 104936
Solver just ended. Dumping a history of the last processes samples
[startup+31.9066 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 6593
/proc/meminfo: memFree=28345004/32873648 swapFree=6844/6844
[pid=6591] ppid=6589 vsize=104936 CPUtime=31.89 cores=0,2,4,6
/proc/6591/stat : 6591 (pwbo2.0) S 6589 6591 5668 0 -1 4202496 17397 0 0 0 3184 5 0 0 20 0 2 0 275652872 107454464 15305 33554432000 4194304 5965102 140735950164976 140735950164496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6591/statm: 26234 15305 191 433 0 25798 0
[pid=6591/tid=6593] ppid=6589 vsize=104936 CPUtime=31.64 cores=0,2,4,6
/proc/6591/task/6593/stat : 6593 (pwbo2.0) R 6589 6591 5668 0 -1 4202560 11315 0 0 0 3159 5 0 0 20 0 2 0 275652897 107454464 15305 33554432000 4194304 5965102 140735950164976 140050622449656 4400981 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 31.89
Current children cumulated vsize (KiB) 104936
[startup+35.1003 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 6593
/proc/meminfo: memFree=28342276/32873648 swapFree=6844/6844
[pid=6591] ppid=6589 vsize=104936 CPUtime=35.09 cores=0,2,4,6
/proc/6591/stat : 6591 (pwbo2.0) S 6589 6591 5668 0 -1 4202496 17726 0 0 0 3504 5 0 0 20 0 2 0 275652872 107454464 15634 33554432000 4194304 5965102 140735950164976 140735950164496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6591/statm: 26234 15634 191 433 0 25798 0
[pid=6591/tid=6593] ppid=6589 vsize=104936 CPUtime=34.84 cores=0,2,4,6
/proc/6591/task/6593/stat : 6593 (pwbo2.0) R 6589 6591 5668 0 -1 4202560 11644 0 0 0 3479 5 0 0 20 0 2 0 275652897 107454464 15634 33554432000 4194304 5965102 140735950164976 140050622449704 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 35.09
Current children cumulated vsize (KiB) 104936
[startup+38.3003 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 6593
/proc/meminfo: memFree=28340416/32873648 swapFree=6844/6844
[pid=6591] ppid=6589 vsize=104936 CPUtime=38.28 cores=0,2,4,6
/proc/6591/stat : 6591 (pwbo2.0) S 6589 6591 5668 0 -1 4202496 18024 0 0 0 3823 5 0 0 20 0 2 0 275652872 107454464 15932 33554432000 4194304 5965102 140735950164976 140735950164496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6591/statm: 26234 15932 191 433 0 25798 0
[pid=6591/tid=6593] ppid=6589 vsize=104936 CPUtime=38.03 cores=0,2,4,6
/proc/6591/task/6593/stat : 6593 (pwbo2.0) R 6589 6591 5668 0 -1 4202560 11942 0 0 0 3798 5 0 0 20 0 2 0 275652897 107454464 15932 33554432000 4194304 5965102 140735950164976 140050622449464 4400955 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 38.28
Current children cumulated vsize (KiB) 104936
[startup+39.1003 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 6593
/proc/meminfo: memFree=28339796/32873648 swapFree=6844/6844
[pid=6591] ppid=6589 vsize=104936 CPUtime=39.08 cores=0,2,4,6
/proc/6591/stat : 6591 (pwbo2.0) S 6589 6591 5668 0 -1 4202496 18093 0 0 0 3903 5 0 0 20 0 2 0 275652872 107454464 16001 33554432000 4194304 5965102 140735950164976 140735950164496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6591/statm: 26234 16001 191 433 0 25798 0
[pid=6591/tid=6593] ppid=6589 vsize=104936 CPUtime=38.83 cores=0,2,4,6
/proc/6591/task/6593/stat : 6593 (pwbo2.0) R 6589 6591 5668 0 -1 4202560 12011 0 0 0 3878 5 0 0 20 0 2 0 275652897 107454464 16001 33554432000 4194304 5965102 140735950164976 140050622449704 4400978 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 39.08
Current children cumulated vsize (KiB) 104936
[startup+39.9003 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 6593
/proc/meminfo: memFree=28338680/32873648 swapFree=6844/6844
[pid=6591] ppid=6589 vsize=104936 CPUtime=39.88 cores=0,2,4,6
/proc/6591/stat : 6591 (pwbo2.0) S 6589 6591 5668 0 -1 4202496 18158 0 0 0 3983 5 0 0 20 0 2 0 275652872 107454464 16066 33554432000 4194304 5965102 140735950164976 140735950164496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6591/statm: 26234 16066 191 433 0 25798 0
[pid=6591/tid=6593] ppid=6589 vsize=104936 CPUtime=39.63 cores=0,2,4,6
/proc/6591/task/6593/stat : 6593 (pwbo2.0) R 6589 6591 5668 0 -1 4202560 12076 0 0 0 3958 5 0 0 20 0 2 0 275652897 107454464 16066 33554432000 4194304 5965102 140735950164976 140050622449704 4404650 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 39.88
Current children cumulated vsize (KiB) 104936
[startup+40.1003 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 6593
/proc/meminfo: memFree=28338680/32873648 swapFree=6844/6844
[pid=6591] ppid=6589 vsize=104936 CPUtime=40.08 cores=0,2,4,6
/proc/6591/stat : 6591 (pwbo2.0) S 6589 6591 5668 0 -1 4202496 18178 0 0 0 4003 5 0 0 20 0 2 0 275652872 107454464 16086 33554432000 4194304 5965102 140735950164976 140735950164496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6591/statm: 26234 16086 191 433 0 25798 0
[pid=6591/tid=6593] ppid=6589 vsize=104936 CPUtime=39.83 cores=0,2,4,6
/proc/6591/task/6593/stat : 6593 (pwbo2.0) R 6589 6591 5668 0 -1 4202560 12096 0 0 0 3978 5 0 0 20 0 2 0 275652897 107454464 16086 33554432000 4194304 5965102 140735950164976 140050622449656 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 40.08
Current children cumulated vsize (KiB) 104936
[startup+40.2003 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 6593
/proc/meminfo: memFree=28338680/32873648 swapFree=6844/6844
[pid=6591] ppid=6589 vsize=104936 CPUtime=40.18 cores=0,2,4,6
/proc/6591/stat : 6591 (pwbo2.0) S 6589 6591 5668 0 -1 4202496 18187 0 0 0 4013 5 0 0 20 0 2 0 275652872 107454464 16095 33554432000 4194304 5965102 140735950164976 140735950164496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6591/statm: 26234 16095 191 433 0 25798 0
[pid=6591/tid=6593] ppid=6589 vsize=104936 CPUtime=39.93 cores=0,2,4,6
/proc/6591/task/6593/stat : 6593 (pwbo2.0) R 6589 6591 5668 0 -1 4202560 12105 0 0 0 3988 5 0 0 20 0 2 0 275652897 107454464 16095 33554432000 4194304 5965102 140735950164976 140050622449656 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 40.18
Current children cumulated vsize (KiB) 104936
Child status: 255
Real time (s): 40.2141
CPU time (s): 40.2049
CPU user time (s): 40.1309
CPU system time (s): 0.073988
CPU usage (%): 99.977
Max. virtual memory (cumulated for all children) (KiB): 106164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 40.1309
system time used= 0.073988
maximum resident set size= 64432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18200
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 82
runsolver used 0.058991 second user time and 0.164974 second system time
The end