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 /var/tmp/evaluation-result-3500401-1307994773/watcher-3500401-1307994773 -o /var/tmp/evaluation-result-3500401-1307994773/solver-3500401-1307994773 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500401-1307994773.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: 3.85 3.97 3.90 3/179 12144
/proc/meminfo: memFree=12336124/32951124 swapFree=67055716/67111528
[pid=12144] ppid=12142 vsize=2052 CPUtime=0 cores=0,2,4,6
/proc/12144/stat : 12144 (pwbo1.1) R 12142 12144 11028 0 -1 4202496 294 0 0 0 0 0 0 0 25 0 1 0 643668550 2101248 246 33554432000 4194304 5714118 140737392162432 18446744073709551615 4228496 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12144/statm: 513 246 166 372 0 118 0
[startup+0.089512 s]
/proc/loadavg: 3.85 3.97 3.90 3/179 12144
/proc/meminfo: memFree=12336124/32951124 swapFree=67055716/67111528
[pid=12144] ppid=12142 vsize=135196 CPUtime=0.16 cores=0,2,4,6
/proc/12144/stat : 12144 (pwbo1.1) S 12142 12144 11028 0 -1 4202496 1011 0 0 0 15 1 0 0 25 0 3 0 643668550 138440704 943 33554432000 4194304 5714118 140737392162432 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/12144/statm: 33799 944 179 372 0 33424 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 135196
[startup+0.100507 s]
/proc/loadavg: 3.85 3.97 3.90 3/179 12144
/proc/meminfo: memFree=12336124/32951124 swapFree=67055716/67111528
[pid=12144] ppid=12142 vsize=135196 CPUtime=0.18 cores=0,2,4,6
/proc/12144/stat : 12144 (pwbo1.1) S 12142 12144 11028 0 -1 4202496 1055 0 0 0 17 1 0 0 25 0 3 0 643668550 138440704 987 33554432000 4194304 5714118 140737392162432 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/12144/statm: 33799 987 179 372 0 33424 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 135196
[startup+0.300475 s]
/proc/loadavg: 3.85 3.97 3.90 3/179 12144
/proc/meminfo: memFree=12336124/32951124 swapFree=67055716/67111528
[pid=12144] ppid=12142 vsize=135196 CPUtime=0.58 cores=0,2,4,6
/proc/12144/stat : 12144 (pwbo1.1) S 12142 12144 11028 0 -1 4202496 1648 0 0 0 55 3 0 0 25 0 3 0 643668550 138440704 1580 33554432000 4194304 5714118 140737392162432 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/12144/statm: 33799 1580 179 372 0 33424 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 135196
[startup+0.700417 s]
/proc/loadavg: 3.85 3.97 3.90 3/179 12144
/proc/meminfo: memFree=12336124/32951124 swapFree=67055716/67111528
[pid=12144] ppid=12142 vsize=135196 CPUtime=1.38 cores=0,2,4,6
/proc/12144/stat : 12144 (pwbo1.1) S 12142 12144 11028 0 -1 4202496 2633 0 0 0 133 5 0 0 25 0 3 0 643668550 138440704 2565 33554432000 4194304 5714118 140737392162432 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/12144/statm: 33799 2565 179 372 0 33424 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 135196
[startup+1.5003 s]
/proc/loadavg: 3.85 3.97 3.90 5/182 12147
/proc/meminfo: memFree=12321868/32951124 swapFree=67055716/67111528
[pid=12144] ppid=12142 vsize=135196 CPUtime=2.98 cores=0,2,4,6
/proc/12144/stat : 12144 (pwbo1.1) S 12142 12144 11028 0 -1 4202496 4963 0 0 0 288 10 0 0 25 0 3 0 643668550 138440704 4895 33554432000 4194304 5714118 140737392162432 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/12144/statm: 33799 4895 179 372 0 33424 0
[pid=12144/tid=12146] ppid=12142 vsize=135196 CPUtime=1.48 cores=0,2,4,6
/proc/12144/task/12146/stat : 12146 (pwbo1.1) R 12142 12144 11028 0 -1 4202560 2323 0 0 0 140 8 0 0 18 0 3 0 643668551 138440704 4895 33554432000 4194304 5714118 140737392162432 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=12144/tid=12147] ppid=12142 vsize=135196 CPUtime=1.48 cores=0,2,4,6
/proc/12144/task/12147/stat : 12147 (pwbo1.1) R 12142 12144 11028 0 -1 4202560 2263 0 0 0 147 1 0 0 25 0 3 0 643668551 138440704 4895 33554432000 4194304 5714118 140737392162432 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 135196
[startup+3.10103 s]
/proc/loadavg: 3.85 3.97 3.90 5/182 12147
/proc/meminfo: memFree=12305748/32951124 swapFree=67055716/67111528
[pid=12144] ppid=12142 vsize=135484 CPUtime=6.19 cores=0,2,4,6
/proc/12144/stat : 12144 (pwbo1.1) S 12142 12144 11028 0 -1 4202496 7792 0 0 0 603 16 0 0 25 0 3 0 643668550 138735616 7724 33554432000 4194304 5714118 140737392162432 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/12144/statm: 33871 7724 179 372 0 33496 0
[pid=12144/tid=12146] ppid=12142 vsize=135484 CPUtime=3.09 cores=0,2,4,6
/proc/12144/task/12146/stat : 12146 (pwbo1.1) R 12142 12144 11028 0 -1 4202560 3868 0 0 0 296 13 0 0 19 0 3 0 643668551 138735616 7724 33554432000 4194304 5714118 140737392162432 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=12144/tid=12147] ppid=12142 vsize=135484 CPUtime=3.09 cores=0,2,4,6
/proc/12144/task/12147/stat : 12147 (pwbo1.1) R 12142 12144 11028 0 -1 4202560 3547 0 0 0 306 3 0 0 25 0 3 0 643668551 138735616 7724 33554432000 4194304 5714118 140737392162432 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 135484
[startup+6.30042 s]
/proc/loadavg: 3.86 3.97 3.90 5/182 12147
/proc/meminfo: memFree=12285980/32951124 swapFree=67055716/67111528
[pid=12144] ppid=12142 vsize=135472 CPUtime=12.59 cores=0,2,4,6
/proc/12144/stat : 12144 (pwbo1.1) S 12142 12144 11028 0 -1 4202496 9511 0 0 0 1236 23 0 0 25 0 3 0 643668550 138723328 9065 33554432000 4194304 5714118 140737392162432 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/12144/statm: 33868 9065 179 372 0 33493 0
[pid=12144/tid=12146] ppid=12142 vsize=135472 CPUtime=6.28 cores=0,2,4,6
/proc/12144/task/12146/stat : 12146 (pwbo1.1) R 12142 12144 11028 0 -1 4202560 4715 0 0 0 610 18 0 0 25 0 3 0 643668551 138723328 9065 33554432000 4194304 5714118 140737392162432 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=12144/tid=12147] ppid=12142 vsize=135472 CPUtime=6.28 cores=0,2,4,6
/proc/12144/task/12147/stat : 12147 (pwbo1.1) R 12142 12144 11028 0 -1 4202560 4419 0 0 0 624 4 0 0 25 0 3 0 643668551 138723328 9065 33554432000 4194304 5714118 140737392162432 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 135472
Solver just ended. Dumping a history of the last processes samples
[startup+7.90116 s]
/proc/loadavg: 3.86 3.97 3.90 5/182 12147
/proc/meminfo: memFree=12281552/32951124 swapFree=67055716/67111528
[pid=12144] ppid=12142 vsize=135608 CPUtime=15.79 cores=0,2,4,6
/proc/12144/stat : 12144 (pwbo1.1) S 12142 12144 11028 0 -1 4202496 10359 0 0 0 1553 26 0 0 25 0 3 0 643668550 138862592 9913 33554432000 4194304 5714118 140737392162432 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/12144/statm: 33902 9914 180 372 0 33527 0
[pid=12144/tid=12146] ppid=12142 vsize=135608 CPUtime=7.88 cores=0,2,4,6
/proc/12144/task/12146/stat : 12146 (pwbo1.1) R 12142 12144 11028 0 -1 4202560 5165 0 0 0 768 20 0 0 25 0 3 0 643668551 138862592 9914 33554432000 4194304 5714118 140737392162432 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=12144/tid=12147] ppid=12142 vsize=135608 CPUtime=7.88 cores=0,2,4,6
/proc/12144/task/12147/stat : 12147 (pwbo1.1) R 12142 12144 11028 0 -1 4202560 4818 0 0 0 783 5 0 0 25 0 3 0 643668551 138862592 9914 33554432000 4194304 5714118 140737392162432 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.79
Current children cumulated vsize (KiB) 135608
[startup+8.70102 s]
/proc/loadavg: 3.86 3.97 3.90 5/182 12147
/proc/meminfo: memFree=12272772/32951124 swapFree=67055716/67111528
[pid=12144] ppid=12142 vsize=135608 CPUtime=17.4 cores=0,2,4,6
/proc/12144/stat : 12144 (pwbo1.1) S 12142 12144 11028 0 -1 4202496 11570 0 0 0 1711 29 0 0 25 0 3 0 643668550 138862592 11124 33554432000 4194304 5714118 140737392162432 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/12144/statm: 33902 11124 180 372 0 33527 0
[pid=12144/tid=12146] ppid=12142 vsize=135608 CPUtime=8.69 cores=0,2,4,6
/proc/12144/task/12146/stat : 12146 (pwbo1.1) R 12142 12144 11028 0 -1 4202560 5812 0 0 0 846 23 0 0 25 0 3 0 643668551 138862592 11124 33554432000 4194304 5714118 140737392162432 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=12144/tid=12147] ppid=12142 vsize=135608 CPUtime=8.68 cores=0,2,4,6
/proc/12144/task/12147/stat : 12147 (pwbo1.1) R 12142 12144 11028 0 -1 4202560 5381 0 0 0 863 5 0 0 25 0 3 0 643668551 138862592 11124 33554432000 4194304 5714118 140737392162432 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17.4
Current children cumulated vsize (KiB) 135608
[startup+9.50088 s]
/proc/loadavg: 3.86 3.97 3.90 5/182 12147
/proc/meminfo: memFree=12272772/32951124 swapFree=67055716/67111528
[pid=12144] ppid=12142 vsize=135608 CPUtime=18.98 cores=0,2,4,6
/proc/12144/stat : 12144 (pwbo1.1) S 12142 12144 11028 0 -1 4202496 11617 0 0 0 1868 30 0 0 25 0 3 0 643668550 138862592 11171 33554432000 4194304 5714118 140737392162432 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/12144/statm: 33902 11171 180 372 0 33527 0
[pid=12144/tid=12146] ppid=12142 vsize=135608 CPUtime=9.48 cores=0,2,4,6
/proc/12144/task/12146/stat : 12146 (pwbo1.1) R 12142 12144 11028 0 -1 4202560 5812 0 0 0 925 23 0 0 25 0 3 0 643668551 138862592 11171 33554432000 4194304 5714118 140737392162432 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=12144/tid=12147] ppid=12142 vsize=135608 CPUtime=9.48 cores=0,2,4,6
/proc/12144/task/12147/stat : 12147 (pwbo1.1) R 12142 12144 11028 0 -1 4202560 5428 0 0 0 942 6 0 0 25 0 3 0 643668551 138862592 11171 33554432000 4194304 5714118 140737392162432 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.98
Current children cumulated vsize (KiB) 135608
[startup+9.70084 s]
/proc/loadavg: 3.86 3.97 3.90 5/182 12147
/proc/meminfo: memFree=12272772/32951124 swapFree=67055716/67111528
[pid=12144] ppid=12142 vsize=135608 CPUtime=19.38 cores=0,2,4,6
/proc/12144/stat : 12144 (pwbo1.1) S 12142 12144 11028 0 -1 4202496 11618 0 0 0 1908 30 0 0 25 0 3 0 643668550 138862592 11172 33554432000 4194304 5714118 140737392162432 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/12144/statm: 33902 11172 180 372 0 33527 0
[pid=12144/tid=12146] ppid=12142 vsize=135608 CPUtime=9.68 cores=0,2,4,6
/proc/12144/task/12146/stat : 12146 (pwbo1.1) R 12142 12144 11028 0 -1 4202560 5813 0 0 0 945 23 0 0 25 0 3 0 643668551 138862592 11172 33554432000 4194304 5714118 140737392162432 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=12144/tid=12147] ppid=12142 vsize=135608 CPUtime=9.68 cores=0,2,4,6
/proc/12144/task/12147/stat : 12147 (pwbo1.1) R 12142 12144 11028 0 -1 4202560 5428 0 0 0 962 6 0 0 25 0 3 0 643668551 138862592 11172 33554432000 4194304 5714118 140737392162432 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.38
Current children cumulated vsize (KiB) 135608
Child status: 0
Real time (s): 9.72785
CPU time (s): 19.443
CPU user time (s): 19.1351
CPU system time (s): 0.307953
CPU usage (%): 199.87
Max. virtual memory (cumulated for all children) (KiB): 135616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.1351
system time used= 0.307953
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11623
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= 51
involuntary context switches= 47
runsolver used 0.013997 second user time and 0.038994 second system time
The end