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-3729551-1338682226/watcher-3729551-1338682226 -o /tmp/evaluation-result-3729551-1338682226/solver-3729551-1338682226 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3729551-1338682226.opb
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: 2.00 2.00 1.89 3/177 18622
/proc/meminfo: memFree=28823684/32873844 swapFree=6872/6872
[pid=18622] ppid=18620 vsize=11016 CPUtime=0 cores=1,3,5,7
/proc/18622/stat : 18622 (bsolo) R 18620 18622 8274 0 -1 4202496 346 0 0 0 0 0 0 0 20 0 1 0 334351052 11280384 300 33554432000 134512640 137136520 4294889952 4294888344 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18622/statm: 2754 300 188 641 0 2089 0
[startup+0.0322341 s]
/proc/loadavg: 2.00 2.00 1.89 3/177 18622
/proc/meminfo: memFree=28823684/32873844 swapFree=6872/6872
[pid=18622] ppid=18620 vsize=11320 CPUtime=0.02 cores=1,3,5,7
/proc/18622/stat : 18622 (bsolo) R 18620 18622 8274 0 -1 4202496 456 0 0 0 2 0 0 0 20 0 1 0 334351052 11591680 389 33554432000 134512640 137136520 4294889952 4294889068 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18622/statm: 2830 389 196 641 0 2186 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11320
[startup+0.100258 s]
/proc/loadavg: 2.00 2.00 1.89 3/177 18622
/proc/meminfo: memFree=28823684/32873844 swapFree=6872/6872
[pid=18622] ppid=18620 vsize=11696 CPUtime=0.09 cores=1,3,5,7
/proc/18622/stat : 18622 (bsolo) R 18620 18622 8274 0 -1 4202496 546 0 0 0 9 0 0 0 20 0 1 0 334351052 11976704 479 33554432000 134512640 137136520 4294889952 4294889068 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18622/statm: 2924 479 196 641 0 2280 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11696
[startup+0.300229 s]
/proc/loadavg: 2.00 2.00 1.89 3/177 18622
/proc/meminfo: memFree=28823684/32873844 swapFree=6872/6872
[pid=18622] ppid=18620 vsize=12316 CPUtime=0.29 cores=1,3,5,7
/proc/18622/stat : 18622 (bsolo) R 18620 18622 8274 0 -1 4202496 704 0 0 0 29 0 0 0 20 0 1 0 334351052 12611584 637 33554432000 134512640 137136520 4294889952 4294889068 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18622/statm: 3079 637 196 641 0 2435 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12316
[startup+0.70023 s]
/proc/loadavg: 2.00 2.00 1.89 3/177 18622
/proc/meminfo: memFree=28823684/32873844 swapFree=6872/6872
[pid=18622] ppid=18620 vsize=13188 CPUtime=0.69 cores=1,3,5,7
/proc/18622/stat : 18622 (bsolo) R 18620 18622 8274 0 -1 4202496 926 0 0 0 69 0 0 0 20 0 1 0 334351052 13504512 859 33554432000 134512640 137136520 4294889952 4294889068 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18622/statm: 3297 859 196 641 0 2653 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13188
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 1.89 3/178 18623
/proc/meminfo: memFree=28821088/32873844 swapFree=6872/6872
[pid=18622] ppid=18620 vsize=13436 CPUtime=1.48 cores=1,3,5,7
/proc/18622/stat : 18622 (bsolo) R 18620 18622 8274 0 -1 4202496 983 0 0 0 148 0 0 0 20 0 1 0 334351052 13758464 916 33554432000 134512640 137136520 4294889952 4294889068 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18622/statm: 3359 916 196 641 0 2715 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13436
[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 1.89 3/178 18623
/proc/meminfo: memFree=28819972/32873844 swapFree=6872/6872
[pid=18622] ppid=18620 vsize=14064 CPUtime=3.09 cores=1,3,5,7
/proc/18622/stat : 18622 (bsolo) R 18620 18622 8274 0 -1 4202496 1157 0 0 0 308 1 0 0 20 0 1 0 334351052 14401536 1090 33554432000 134512640 137136520 4294889952 4294889068 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18622/statm: 3516 1090 196 641 0 2872 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14064
[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 1.89 3/178 18623
/proc/meminfo: memFree=28819608/32873844 swapFree=6872/6872
[pid=18622] ppid=18620 vsize=14556 CPUtime=6.29 cores=1,3,5,7
/proc/18622/stat : 18622 (bsolo) R 18620 18622 8274 0 -1 4202496 1262 0 0 0 627 2 0 0 20 0 1 0 334351052 14905344 1195 33554432000 134512640 137136520 4294889952 4294889068 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18622/statm: 3639 1195 196 641 0 2995 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14556
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.89 3/178 18623
/proc/meminfo: memFree=28818428/32873844 swapFree=6872/6872
[pid=18622] ppid=18620 vsize=14812 CPUtime=12.68 cores=1,3,5,7
/proc/18622/stat : 18622 (bsolo) R 18620 18622 8274 0 -1 4202496 1334 0 0 0 1265 3 0 0 20 0 1 0 334351052 15167488 1266 33554432000 134512640 137136520 4294889952 4294888880 134543983 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18622/statm: 3703 1266 196 641 0 3059 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 14812
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.90 3/178 18623
/proc/meminfo: memFree=28817204/32873844 swapFree=6872/6872
[pid=18622] ppid=18620 vsize=15412 CPUtime=25.49 cores=1,3,5,7
/proc/18622/stat : 18622 (bsolo) R 18620 18622 8274 0 -1 4202496 1489 0 0 0 2542 7 0 0 20 0 1 0 334351052 15781888 1421 33554432000 134512640 137136520 4294889952 4294889068 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18622/statm: 3853 1421 196 641 0 3209 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15412
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 18624
/proc/meminfo: memFree=28816340/32873844 swapFree=6872/6872
[pid=18622] ppid=18620 vsize=16508 CPUtime=51.08 cores=1,3,5,7
/proc/18622/stat : 18622 (bsolo) R 18620 18622 8274 0 -1 4202496 1752 0 0 0 5094 14 0 0 20 0 1 0 334351052 16904192 1683 33554432000 134512640 137136520 4294889952 4294889068 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18622/statm: 4127 1683 196 641 0 3483 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 16508
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 18624
/proc/meminfo: memFree=28815472/32873844 swapFree=6872/6872
[pid=18622] ppid=18620 vsize=17224 CPUtime=102.28 cores=1,3,5,7
/proc/18622/stat : 18622 (bsolo) R 18620 18622 8274 0 -1 4202496 1938 0 0 0 10203 25 0 0 20 0 1 0 334351052 17637376 1869 33554432000 134512640 137136520 4294889952 4294888880 134543942 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18622/statm: 4306 1869 197 641 0 3662 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 17224
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 18624
/proc/meminfo: memFree=28814852/32873844 swapFree=6872/6872
[pid=18622] ppid=18620 vsize=17700 CPUtime=162.26 cores=1,3,5,7
/proc/18622/stat : 18622 (bsolo) R 18620 18622 8274 0 -1 4202496 2072 0 0 0 16188 38 0 0 20 0 1 0 334351052 18124800 2003 33554432000 134512640 137136520 4294889952 4294888652 136518888 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18622/statm: 4425 2003 197 641 0 3781 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 17700
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 18624
/proc/meminfo: memFree=28814480/32873844 swapFree=6872/6872
[pid=18622] ppid=18620 vsize=18144 CPUtime=222.26 cores=1,3,5,7
/proc/18622/stat : 18622 (bsolo) R 18620 18622 8274 0 -1 4202496 2166 0 0 0 22177 49 0 0 20 0 1 0 334351052 18579456 2097 33554432000 134512640 137136520 4294889952 4294889068 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18622/statm: 4536 2097 197 641 0 3892 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 18144
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 18624
/proc/meminfo: memFree=28814416/32873844 swapFree=6872/6872
[pid=18622] ppid=18620 vsize=18364 CPUtime=282.25 cores=1,3,5,7
/proc/18622/stat : 18622 (bsolo) R 18620 18622 8274 0 -1 4202496 2222 0 0 0 28166 59 0 0 20 0 1 0 334351052 18804736 2152 33554432000 134512640 137136520 4294889952 4294889068 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18622/statm: 4591 2152 197 641 0 3947 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 18364
[startup+342.3 s]
/proc/loadavg: 2.03 2.01 1.91 3/176 18624
/proc/meminfo: memFree=28813680/32873844 swapFree=6872/6872
[pid=18622] ppid=18620 vsize=18956 CPUtime=342.23 cores=1,3,5,7
/proc/18622/stat : 18622 (bsolo) R 18620 18622 8274 0 -1 4202496 2389 0 0 0 34152 71 0 0 20 0 1 0 334351052 19410944 2319 33554432000 134512640 137136520 4294889952 4294889068 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18622/statm: 4739 2319 197 641 0 4095 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 18956
Solver just ended. Dumping a history of the last processes samples
[startup+358.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/177 18625
/proc/meminfo: memFree=28813672/32873844 swapFree=6872/6872
[pid=18622] ppid=18620 vsize=18956 CPUtime=358.23 cores=1,3,5,7
/proc/18622/stat : 18622 (bsolo) R 18620 18622 8274 0 -1 4202496 2389 0 0 0 35748 75 0 0 20 0 1 0 334351052 19410944 2319 33554432000 134512640 137136520 4294889952 4294889068 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18622/statm: 4739 2319 197 641 0 4095 0
Current children cumulated CPU time (s) 358.23
Current children cumulated vsize (KiB) 18956
[startup+371.1 s]
/proc/loadavg: 2.02 2.01 1.91 3/177 18625
/proc/meminfo: memFree=28813672/32873844 swapFree=6872/6872
[pid=18622] ppid=18620 vsize=18956 CPUtime=371.03 cores=1,3,5,7
/proc/18622/stat : 18622 (bsolo) R 18620 18622 8274 0 -1 4202496 2389 0 0 0 37026 77 0 0 20 0 1 0 334351052 19410944 2319 33554432000 134512640 137136520 4294889952 4294888880 134544074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18622/statm: 4739 2319 197 641 0 4095 0
Current children cumulated CPU time (s) 371.03
Current children cumulated vsize (KiB) 18956
[startup+374.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/177 18625
/proc/meminfo: memFree=28813672/32873844 swapFree=6872/6872
[pid=18622] ppid=18620 vsize=18956 CPUtime=374.23 cores=1,3,5,7
/proc/18622/stat : 18622 (bsolo) R 18620 18622 8274 0 -1 4202496 2389 0 0 0 37346 77 0 0 20 0 1 0 334351052 19410944 2319 33554432000 134512640 137136520 4294889952 4294889068 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18622/statm: 4739 2319 197 641 0 4095 0
Current children cumulated CPU time (s) 374.23
Current children cumulated vsize (KiB) 18956
[startup+377.5 s]
/proc/loadavg: 2.02 2.01 1.91 3/177 18625
/proc/meminfo: memFree=28813796/32873844 swapFree=6872/6872
[pid=18622] ppid=18620 vsize=18956 CPUtime=377.43 cores=1,3,5,7
/proc/18622/stat : 18622 (bsolo) R 18620 18622 8274 0 -1 4202496 2389 0 0 0 37665 78 0 0 20 0 1 0 334351052 19410944 2319 33554432000 134512640 137136520 4294889952 4294889068 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18622/statm: 4739 2319 197 641 0 4095 0
Current children cumulated CPU time (s) 377.43
Current children cumulated vsize (KiB) 18956
[startup+378.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/177 18625
/proc/meminfo: memFree=28813796/32873844 swapFree=6872/6872
[pid=18622] ppid=18620 vsize=18956 CPUtime=378.23 cores=1,3,5,7
/proc/18622/stat : 18622 (bsolo) R 18620 18622 8274 0 -1 4202496 2389 0 0 0 37745 78 0 0 20 0 1 0 334351052 19410944 2319 33554432000 134512640 137136520 4294889952 4294888484 134551445 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18622/statm: 4739 2319 197 641 0 4095 0
Current children cumulated CPU time (s) 378.23
Current children cumulated vsize (KiB) 18956
[startup+378.7 s]
/proc/loadavg: 2.02 2.01 1.91 3/177 18625
/proc/meminfo: memFree=28813796/32873844 swapFree=6872/6872
[pid=18622] ppid=18620 vsize=18956 CPUtime=378.63 cores=1,3,5,7
/proc/18622/stat : 18622 (bsolo) R 18620 18622 8274 0 -1 4202496 2389 0 0 0 37785 78 0 0 20 0 1 0 334351052 19410944 2319 33554432000 134512640 137136520 4294889952 4294888560 134552034 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18622/statm: 4739 2319 197 641 0 4095 0
Current children cumulated CPU time (s) 378.63
Current children cumulated vsize (KiB) 18956
[startup+378.9 s]
/proc/loadavg: 2.02 2.01 1.91 3/177 18625
/proc/meminfo: memFree=28813796/32873844 swapFree=6872/6872
[pid=18622] ppid=18620 vsize=18956 CPUtime=378.83 cores=1,3,5,7
/proc/18622/stat : 18622 (bsolo) R 18620 18622 8274 0 -1 4202496 2389 0 0 0 37805 78 0 0 20 0 1 0 334351052 19410944 2319 33554432000 134512640 137136520 4294889952 4294888880 134543933 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18622/statm: 4739 2319 197 641 0 4095 0
Current children cumulated CPU time (s) 378.83
Current children cumulated vsize (KiB) 18956
[startup+379 s]
/proc/loadavg: 2.02 2.01 1.91 3/177 18625
/proc/meminfo: memFree=28813796/32873844 swapFree=6872/6872
[pid=18622] ppid=18620 vsize=18956 CPUtime=378.93 cores=1,3,5,7
/proc/18622/stat : 18622 (bsolo) R 18620 18622 8274 0 -1 4202496 2389 0 0 0 37815 78 0 0 20 0 1 0 334351052 19410944 2319 33554432000 134512640 137136520 4294889952 4294889068 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18622/statm: 4739 2319 197 641 0 4095 0
Current children cumulated CPU time (s) 378.93
Current children cumulated vsize (KiB) 18956
Child status: 0
Real time (s): 379.018
CPU time (s): 378.958
CPU user time (s): 378.17
CPU system time (s): 0.78888
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 18956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 378.17
system time used= 0.78888
maximum resident set size= 9276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2390
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= 392
runsolver used 0.549916 second user time and 1.55476 second system time
The end