runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3462492-1307181056/watcher-3462492-1307181056 -o /tmp/evaluation-result-3462492-1307181056/solver-3462492-1307181056 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462492-1307181056.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.08 2.07 2.02 3/535 26062
/proc/meminfo: memFree=28991876/32951124 swapFree=58212616/67111528
[pid=26062] ppid=26060 vsize=11060 CPUtime=0 cores=1,3,5,7
/proc/26062/stat : 26062 (bsolo) R 26060 26062 23781 0 -1 4202496 368 0 0 0 0 0 0 0 25 0 1 0 829703590 11325440 320 33554432000 134512640 137138936 4292652832 18446744073709551615 134575600 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26062/statm: 2765 320 192 642 0 2121 0
[startup+0.087834 s]
/proc/loadavg: 2.08 2.07 2.02 3/535 26062
/proc/meminfo: memFree=28991876/32951124 swapFree=58212616/67111528
[pid=26062] ppid=26060 vsize=11700 CPUtime=0.07 cores=1,3,5,7
/proc/26062/stat : 26062 (bsolo) R 26060 26062 23781 0 -1 4202496 529 0 0 0 7 0 0 0 25 0 1 0 829703590 11980800 481 33554432000 134512640 137138936 4292652832 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26062/statm: 2925 481 192 642 0 2281 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11700
[startup+0.100832 s]
/proc/loadavg: 2.08 2.07 2.02 3/535 26062
/proc/meminfo: memFree=28991876/32951124 swapFree=58212616/67111528
[pid=26062] ppid=26060 vsize=11828 CPUtime=0.09 cores=1,3,5,7
/proc/26062/stat : 26062 (bsolo) R 26060 26062 23781 0 -1 4202496 562 0 0 0 9 0 0 0 25 0 1 0 829703590 12111872 514 33554432000 134512640 137138936 4292652832 18446744073709551615 136296993 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26062/statm: 2957 514 192 642 0 2313 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11828
[startup+0.300797 s]
/proc/loadavg: 2.08 2.07 2.02 3/535 26062
/proc/meminfo: memFree=28991876/32951124 swapFree=58212616/67111528
[pid=26062] ppid=26060 vsize=13752 CPUtime=0.28 cores=1,3,5,7
/proc/26062/stat : 26062 (bsolo) R 26060 26062 23781 0 -1 4202496 1043 0 0 0 28 0 0 0 25 0 1 0 829703590 14082048 995 33554432000 134512640 137138936 4292652832 18446744073709551615 134618922 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26062/statm: 3438 995 192 642 0 2794 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 13752
[startup+0.700724 s]
/proc/loadavg: 2.08 2.07 2.02 3/535 26062
/proc/meminfo: memFree=28991876/32951124 swapFree=58212616/67111528
[pid=26062] ppid=26060 vsize=15944 CPUtime=0.68 cores=1,3,5,7
/proc/26062/stat : 26062 (bsolo) R 26060 26062 23781 0 -1 4202496 1596 0 0 0 68 0 0 0 25 0 1 0 829703590 16326656 1548 33554432000 134512640 137138936 4292652832 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26062/statm: 3986 1548 192 642 0 3342 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 15944
[startup+1.50058 s]
/proc/loadavg: 2.08 2.07 2.02 3/536 26063
/proc/meminfo: memFree=28984056/32951124 swapFree=58212616/67111528
[pid=26062] ppid=26060 vsize=20560 CPUtime=1.49 cores=1,3,5,7
/proc/26062/stat : 26062 (bsolo) R 26060 26062 23781 0 -1 4202496 2745 0 0 0 148 1 0 0 25 0 1 0 829703590 21053440 2697 33554432000 134512640 137138936 4292652832 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26062/statm: 5140 2697 192 642 0 4496 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20560
[startup+3.1003 s]
/proc/loadavg: 2.08 2.07 2.02 3/536 26063
/proc/meminfo: memFree=28979468/32951124 swapFree=58212616/67111528
[pid=26062] ppid=26060 vsize=22108 CPUtime=3.08 cores=1,3,5,7
/proc/26062/stat : 26062 (bsolo) R 26060 26062 23781 0 -1 4202496 3137 0 0 0 307 1 0 0 25 0 1 0 829703590 22638592 3089 33554432000 134512640 137138936 4292652832 18446744073709551615 134607606 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26062/statm: 5527 3089 192 642 0 4883 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 22108
[startup+6.30074 s]
/proc/loadavg: 2.07 2.07 2.02 3/536 26091
/proc/meminfo: memFree=28976444/32951124 swapFree=58212616/67111528
[pid=26062] ppid=26060 vsize=23648 CPUtime=6.28 cores=1,3,5,7
/proc/26062/stat : 26062 (bsolo) R 26060 26062 23781 0 -1 4202496 3534 0 0 0 626 2 0 0 25 0 1 0 829703590 24215552 3486 33554432000 134512640 137138936 4292652832 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26062/statm: 5912 3486 192 642 0 5268 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 23648
[startup+12.7006 s]
/proc/loadavg: 2.07 2.07 2.02 3/536 26091
/proc/meminfo: memFree=28972840/32951124 swapFree=58212616/67111528
[pid=26062] ppid=26060 vsize=23652 CPUtime=12.68 cores=1,3,5,7
/proc/26062/stat : 26062 (bsolo) R 26060 26062 23781 0 -1 4202496 3536 0 0 0 1265 3 0 0 25 0 1 0 829703590 24219648 3488 33554432000 134512640 137138936 4292652832 18446744073709551615 136504022 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26062/statm: 5913 3488 192 642 0 5269 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 23652
[startup+25.5004 s]
/proc/loadavg: 2.05 2.07 2.01 3/536 26091
/proc/meminfo: memFree=28965320/32951124 swapFree=58212616/67111528
[pid=26062] ppid=26060 vsize=29764 CPUtime=25.49 cores=1,3,5,7
/proc/26062/stat : 26062 (bsolo) R 26060 26062 23781 0 -1 4202496 5052 0 0 0 2543 6 0 0 25 0 1 0 829703590 30478336 5004 33554432000 134512640 137138936 4292652832 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26062/statm: 7441 5004 192 642 0 6797 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 29764
[startup+51.1009 s]
/proc/loadavg: 2.03 2.06 2.01 3/536 26092
/proc/meminfo: memFree=28965220/32951124 swapFree=58212616/67111528
[pid=26062] ppid=26060 vsize=29768 CPUtime=51.08 cores=1,3,5,7
/proc/26062/stat : 26062 (bsolo) R 26060 26062 23781 0 -1 4202496 5054 0 0 0 5098 10 0 0 25 0 1 0 829703590 30482432 5006 33554432000 134512640 137138936 4292652832 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26062/statm: 7442 5006 192 642 0 6798 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 29768
[startup+102.32 s]
/proc/loadavg: 2.16 2.08 2.02 3/536 26201
/proc/meminfo: memFree=28966300/32951124 swapFree=58212616/67111528
[pid=26062] ppid=26060 vsize=32224 CPUtime=102.31 cores=1,3,5,7
/proc/26062/stat : 26062 (bsolo) R 26060 26062 23781 0 -1 4202496 5673 0 0 0 10212 19 0 0 25 0 1 0 829703590 32997376 5625 33554432000 134512640 137138936 4292652832 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26062/statm: 8056 5625 192 642 0 7412 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 32224
[startup+162.3 s]
/proc/loadavg: 2.18 2.10 2.02 3/536 26392
/proc/meminfo: memFree=28962972/32951124 swapFree=58212616/67111528
[pid=26062] ppid=26060 vsize=34716 CPUtime=162.29 cores=1,3,5,7
/proc/26062/stat : 26062 (bsolo) R 26060 26062 23781 0 -1 4202496 6298 0 0 0 16204 25 0 0 25 0 1 0 829703590 35549184 6250 33554432000 134512640 137138936 4292652832 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26062/statm: 8679 6250 192 642 0 8035 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 34716
[startup+222.301 s]
/proc/loadavg: 2.21 2.11 2.03 3/536 26393
/proc/meminfo: memFree=28957164/32951124 swapFree=58212616/67111528
[pid=26062] ppid=26060 vsize=37288 CPUtime=222.29 cores=1,3,5,7
/proc/26062/stat : 26062 (bsolo) R 26060 26062 23781 0 -1 4202496 6943 0 0 0 22194 35 0 0 25 0 1 0 829703590 38182912 6895 33554432000 134512640 137138936 4292652832 18446744073709551615 134542866 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26062/statm: 9322 6895 192 642 0 8678 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 37288
[startup+282.3 s]
/proc/loadavg: 2.14 2.10 2.03 3/536 26395
/proc/meminfo: memFree=28955284/32951124 swapFree=58212616/67111528
[pid=26062] ppid=26060 vsize=37268 CPUtime=282.3 cores=1,3,5,7
/proc/26062/stat : 26062 (bsolo) R 26060 26062 23781 0 -1 4202496 6943 0 0 0 28189 41 0 0 25 0 1 0 829703590 38162432 6894 33554432000 134512640 137138936 4292652832 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26062/statm: 9317 6894 192 642 0 8673 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 37268
[startup+342.301 s]
/proc/loadavg: 2.05 2.08 2.02 3/536 26397
/proc/meminfo: memFree=28954392/32951124 swapFree=58212616/67111528
[pid=26062] ppid=26060 vsize=37232 CPUtime=342.29 cores=1,3,5,7
/proc/26062/stat : 26062 (bsolo) R 26060 26062 23781 0 -1 4202496 6943 0 0 0 34179 50 0 0 25 0 1 0 829703590 38125568 6885 33554432000 134512640 137138936 4292652832 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26062/statm: 9308 6885 192 642 0 8664 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 37232
Solver just ended. Dumping a history of the last processes samples
[startup+358.301 s]
/proc/loadavg: 2.04 2.08 2.02 3/536 26397
/proc/meminfo: memFree=28953140/32951124 swapFree=58212616/67111528
[pid=26062] ppid=26060 vsize=37232 CPUtime=358.29 cores=1,3,5,7
/proc/26062/stat : 26062 (bsolo) R 26060 26062 23781 0 -1 4202496 6943 0 0 0 35777 52 0 0 25 0 1 0 829703590 38125568 6885 33554432000 134512640 137138936 4292652832 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26062/statm: 9308 6885 192 642 0 8664 0
Current children cumulated CPU time (s) 358.29
Current children cumulated vsize (KiB) 37232
[startup+371.101 s]
/proc/loadavg: 2.03 2.07 2.02 3/536 26397
/proc/meminfo: memFree=28953636/32951124 swapFree=58212616/67111528
[pid=26062] ppid=26060 vsize=37232 CPUtime=371.1 cores=1,3,5,7
/proc/26062/stat : 26062 (bsolo) R 26060 26062 23781 0 -1 4202496 6943 0 0 0 37055 55 0 0 25 0 1 0 829703590 38125568 6885 33554432000 134512640 137138936 4292652832 18446744073709551615 134606673 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26062/statm: 9308 6885 192 642 0 8664 0
Current children cumulated CPU time (s) 371.1
Current children cumulated vsize (KiB) 37232
[startup+383.92 s]
/proc/loadavg: 2.02 2.07 2.02 3/536 26398
/proc/meminfo: memFree=28953504/32951124 swapFree=58212616/67111528
[pid=26062] ppid=26060 vsize=37232 CPUtime=383.91 cores=1,3,5,7
/proc/26062/stat : 26062 (bsolo) R 26060 26062 23781 0 -1 4202496 6943 0 0 0 38334 57 0 0 25 0 1 0 829703590 38125568 6885 33554432000 134512640 137138936 4292652832 18446744073709551615 136297655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26062/statm: 9308 6885 192 642 0 8664 0
Current children cumulated CPU time (s) 383.91
Current children cumulated vsize (KiB) 37232
[startup+390.3 s]
/proc/loadavg: 2.02 2.07 2.02 3/536 26398
/proc/meminfo: memFree=28953504/32951124 swapFree=58212616/67111528
[pid=26062] ppid=26060 vsize=37232 CPUtime=390.29 cores=1,3,5,7
/proc/26062/stat : 26062 (bsolo) R 26060 26062 23781 0 -1 4202496 6943 0 0 0 38971 58 0 0 25 0 1 0 829703590 38125568 6885 33554432000 134512640 137138936 4292652832 18446744073709551615 136521030 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26062/statm: 9308 6885 192 642 0 8664 0
Current children cumulated CPU time (s) 390.29
Current children cumulated vsize (KiB) 37232
[startup+391.901 s]
/proc/loadavg: 2.02 2.07 2.02 3/536 26398
/proc/meminfo: memFree=28953504/32951124 swapFree=58212616/67111528
[pid=26062] ppid=26060 vsize=37232 CPUtime=391.89 cores=1,3,5,7
/proc/26062/stat : 26062 (bsolo) R 26060 26062 23781 0 -1 4202496 6943 0 0 0 39131 58 0 0 25 0 1 0 829703590 38125568 6885 33554432000 134512640 137138936 4292652832 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26062/statm: 9308 6885 192 642 0 8664 0
Current children cumulated CPU time (s) 391.89
Current children cumulated vsize (KiB) 37232
[startup+392.72 s]
/proc/loadavg: 2.02 2.07 2.02 3/536 26398
/proc/meminfo: memFree=28953504/32951124 swapFree=58212616/67111528
[pid=26062] ppid=26060 vsize=37232 CPUtime=392.71 cores=1,3,5,7
/proc/26062/stat : 26062 (bsolo) R 26060 26062 23781 0 -1 4202496 6943 0 0 0 39213 58 0 0 25 0 1 0 829703590 38125568 6885 33554432000 134512640 137138936 4292652832 18446744073709551615 136297625 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26062/statm: 9308 6885 192 642 0 8664 0
Current children cumulated CPU time (s) 392.71
Current children cumulated vsize (KiB) 37232
[startup+393.101 s]
/proc/loadavg: 2.02 2.07 2.02 3/536 26398
/proc/meminfo: memFree=28953504/32951124 swapFree=58212616/67111528
[pid=26062] ppid=26060 vsize=37232 CPUtime=393.09 cores=1,3,5,7
/proc/26062/stat : 26062 (bsolo) R 26060 26062 23781 0 -1 4202496 6943 0 0 0 39251 58 0 0 25 0 1 0 829703590 38125568 6885 33554432000 134512640 137138936 4292652832 18446744073709551615 136502626 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26062/statm: 9308 6885 192 642 0 8664 0
Current children cumulated CPU time (s) 393.09
Current children cumulated vsize (KiB) 37232
[startup+393.501 s]
/proc/loadavg: 2.02 2.07 2.02 3/536 26398
/proc/meminfo: memFree=28953504/32951124 swapFree=58212616/67111528
[pid=26062] ppid=26060 vsize=37232 CPUtime=393.5 cores=1,3,5,7
/proc/26062/stat : 26062 (bsolo) R 26060 26062 23781 0 -1 4202496 6943 0 0 0 39291 59 0 0 25 0 1 0 829703590 38125568 6885 33554432000 134512640 137138936 4292652832 18446744073709551615 134575767 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26062/statm: 9308 6885 192 642 0 8664 0
Current children cumulated CPU time (s) 393.5
Current children cumulated vsize (KiB) 37232
[startup+393.601 s]
/proc/loadavg: 2.02 2.07 2.02 3/536 26398
/proc/meminfo: memFree=28953504/32951124 swapFree=58212616/67111528
[pid=26062] ppid=26060 vsize=37232 CPUtime=393.6 cores=1,3,5,7
/proc/26062/stat : 26062 (bsolo) R 26060 26062 23781 0 -1 4202496 6943 0 0 0 39301 59 0 0 25 0 1 0 829703590 38125568 6885 33554432000 134512640 137138936 4292652832 18446744073709551615 136502600 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26062/statm: 9308 6885 192 642 0 8664 0
Current children cumulated CPU time (s) 393.6
Current children cumulated vsize (KiB) 37232
Child status: 0
Real time (s): 393.679
CPU time (s): 393.683
CPU user time (s): 393.089
CPU system time (s): 0.593909
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 37288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 393.089
system time used= 0.593909
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6944
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= 604
runsolver used 1.81872 second user time and 5.00624 second system time
The end