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-3463228-1307173959/watcher-3463228-1307173959 -o /tmp/evaluation-result-3463228-1307173959/solver-3463228-1307173959 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463228-1307173959.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: 1.43 1.88 1.96 2/488 19112
/proc/meminfo: memFree=21389028/32951124 swapFree=46575304/67111528
[pid=19112] ppid=19110 vsize=10924 CPUtime=0 cores=0,2,4,6
/proc/19112/stat : 19112 (bsolo) R 19110 19112 17058 0 -1 4202496 321 0 0 0 0 0 0 0 25 0 1 0 561587166 11186176 270 33554432000 134512640 137138936 4291015712 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19112/statm: 2731 270 186 642 0 2087 0
[startup+0.0602449 s]
/proc/loadavg: 1.43 1.88 1.96 2/488 19112
/proc/meminfo: memFree=21389028/32951124 swapFree=46575304/67111528
[pid=19112] ppid=19110 vsize=11424 CPUtime=0.05 cores=0,2,4,6
/proc/19112/stat : 19112 (bsolo) R 19110 19112 17058 0 -1 4202496 463 0 0 0 5 0 0 0 25 0 1 0 561587166 11698176 412 33554432000 134512640 137138936 4291015712 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19112/statm: 2856 412 192 642 0 2212 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11424
[startup+0.100246 s]
/proc/loadavg: 1.43 1.88 1.96 2/488 19112
/proc/meminfo: memFree=21389028/32951124 swapFree=46575304/67111528
[pid=19112] ppid=19110 vsize=11812 CPUtime=0.09 cores=0,2,4,6
/proc/19112/stat : 19112 (bsolo) R 19110 19112 17058 0 -1 4202496 564 0 0 0 9 0 0 0 25 0 1 0 561587166 12095488 513 33554432000 134512640 137138936 4291015712 18446744073709551615 136504259 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19112/statm: 2953 513 192 642 0 2309 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11812
[startup+0.300216 s]
/proc/loadavg: 1.43 1.88 1.96 2/488 19112
/proc/meminfo: memFree=21389028/32951124 swapFree=46575304/67111528
[pid=19112] ppid=19110 vsize=13312 CPUtime=0.29 cores=0,2,4,6
/proc/19112/stat : 19112 (bsolo) R 19110 19112 17058 0 -1 4202496 949 0 0 0 29 0 0 0 25 0 1 0 561587166 13631488 898 33554432000 134512640 137138936 4291015712 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19112/statm: 3328 898 192 642 0 2684 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13312
[startup+0.701135 s]
/proc/loadavg: 1.43 1.88 1.96 2/488 19112
/proc/meminfo: memFree=21389028/32951124 swapFree=46575304/67111528
[pid=19112] ppid=19110 vsize=16172 CPUtime=0.69 cores=0,2,4,6
/proc/19112/stat : 19112 (bsolo) R 19110 19112 17058 0 -1 4202496 1670 0 0 0 69 0 0 0 25 0 1 0 561587166 16560128 1619 33554432000 134512640 137138936 4291015712 18446744073709551615 134606670 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19112/statm: 4043 1619 192 642 0 3399 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16172
[startup+1.50099 s]
/proc/loadavg: 1.43 1.88 1.96 3/489 19113
/proc/meminfo: memFree=21374512/32951124 swapFree=46575304/67111528
[pid=19112] ppid=19110 vsize=20680 CPUtime=1.49 cores=0,2,4,6
/proc/19112/stat : 19112 (bsolo) R 19110 19112 17058 0 -1 4202496 2791 0 0 0 149 0 0 0 25 0 1 0 561587166 21176320 2740 33554432000 134512640 137138936 4291015712 18446744073709551615 134542327 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19112/statm: 5170 2740 192 642 0 4526 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20680
[startup+3.10068 s]
/proc/loadavg: 1.43 1.88 1.96 3/489 19113
/proc/meminfo: memFree=21364592/32951124 swapFree=46575304/67111528
[pid=19112] ppid=19110 vsize=23088 CPUtime=3.09 cores=0,2,4,6
/proc/19112/stat : 19112 (bsolo) R 19110 19112 17058 0 -1 4202496 3386 0 0 0 308 1 0 0 25 0 1 0 561587166 23642112 3335 33554432000 134512640 137138936 4291015712 18446744073709551615 134599706 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19112/statm: 5772 3335 192 642 0 5128 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23088
[startup+6.30113 s]
/proc/loadavg: 1.48 1.88 1.96 3/489 19114
/proc/meminfo: memFree=21356296/32951124 swapFree=46575304/67111528
[pid=19112] ppid=19110 vsize=25916 CPUtime=6.29 cores=0,2,4,6
/proc/19112/stat : 19112 (bsolo) R 19110 19112 17058 0 -1 4202496 4088 0 0 0 628 1 0 0 25 0 1 0 561587166 26537984 4037 33554432000 134512640 137138936 4291015712 18446744073709551615 134599709 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19112/statm: 6479 4037 192 642 0 5835 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25916
[startup+12.701 s]
/proc/loadavg: 1.52 1.88 1.96 3/489 19114
/proc/meminfo: memFree=21349292/32951124 swapFree=46575304/67111528
[pid=19112] ppid=19110 vsize=26928 CPUtime=12.69 cores=0,2,4,6
/proc/19112/stat : 19112 (bsolo) R 19110 19112 17058 0 -1 4202496 4335 0 0 0 1267 2 0 0 25 0 1 0 561587166 27574272 4284 33554432000 134512640 137138936 4291015712 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19112/statm: 6732 4284 192 642 0 6088 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26928
[startup+25.5007 s]
/proc/loadavg: 1.62 1.89 1.96 3/489 19114
/proc/meminfo: memFree=21342208/32951124 swapFree=46575304/67111528
[pid=19112] ppid=19110 vsize=29808 CPUtime=25.49 cores=0,2,4,6
/proc/19112/stat : 19112 (bsolo) R 19110 19112 17058 0 -1 4202496 5064 0 0 0 2545 4 0 0 25 0 1 0 561587166 30523392 5013 33554432000 134512640 137138936 4291015712 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19112/statm: 7452 5013 192 642 0 6808 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 29808
[startup+51.1002 s]
/proc/loadavg: 1.75 1.90 1.96 3/489 19115
/proc/meminfo: memFree=21332816/32951124 swapFree=46575304/67111528
[pid=19112] ppid=19110 vsize=32400 CPUtime=51.09 cores=0,2,4,6
/proc/19112/stat : 19112 (bsolo) R 19110 19112 17058 0 -1 4202496 5712 0 0 0 5101 8 0 0 25 0 1 0 561587166 33177600 5661 33554432000 134512640 137138936 4291015712 18446744073709551615 134542725 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19112/statm: 8100 5661 192 642 0 7456 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 32400
[startup+102.318 s]
/proc/loadavg: 1.89 1.91 1.96 3/489 19116
/proc/meminfo: memFree=21324492/32951124 swapFree=46575304/67111528
[pid=19112] ppid=19110 vsize=36132 CPUtime=102.31 cores=0,2,4,6
/proc/19112/stat : 19112 (bsolo) R 19110 19112 17058 0 -1 4202496 6651 0 0 0 10216 15 0 0 25 0 1 0 561587166 36999168 6600 33554432000 134512640 137138936 4291015712 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19112/statm: 9033 6600 192 642 0 8389 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 36132
[startup+162.301 s]
/proc/loadavg: 1.96 1.92 1.96 3/489 19118
/proc/meminfo: memFree=21316052/32951124 swapFree=46575304/67111528
[pid=19112] ppid=19110 vsize=38616 CPUtime=162.3 cores=0,2,4,6
/proc/19112/stat : 19112 (bsolo) R 19110 19112 17058 0 -1 4202496 7270 0 0 0 16208 22 0 0 25 0 1 0 561587166 39542784 7219 33554432000 134512640 137138936 4291015712 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19112/statm: 9654 7219 192 642 0 9010 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 38616
[startup+222.301 s]
/proc/loadavg: 1.98 1.93 1.96 3/489 19123
/proc/meminfo: memFree=21314084/32951124 swapFree=46575304/67111528
[pid=19112] ppid=19110 vsize=39864 CPUtime=222.3 cores=0,2,4,6
/proc/19112/stat : 19112 (bsolo) R 19110 19112 17058 0 -1 4202496 7576 0 0 0 22202 28 0 0 25 0 1 0 561587166 40820736 7525 33554432000 134512640 137138936 4291015712 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19112/statm: 9966 7525 192 642 0 9322 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 39864
[startup+282.301 s]
/proc/loadavg: 1.99 1.94 1.96 3/489 19125
/proc/meminfo: memFree=21311668/32951124 swapFree=46575304/67111528
[pid=19112] ppid=19110 vsize=42584 CPUtime=282.29 cores=0,2,4,6
/proc/19112/stat : 19112 (bsolo) R 19110 19112 17058 0 -1 4202496 8268 0 0 0 28197 32 0 0 25 0 1 0 561587166 43606016 8217 33554432000 134512640 137138936 4291015712 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19112/statm: 10646 8217 192 642 0 10002 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 42584
[startup+342.301 s]
/proc/loadavg: 2.11 1.98 1.97 3/489 19127
/proc/meminfo: memFree=21307188/32951124 swapFree=46575304/67111528
[pid=19112] ppid=19110 vsize=43188 CPUtime=342.3 cores=0,2,4,6
/proc/19112/stat : 19112 (bsolo) R 19110 19112 17058 0 -1 4202496 8437 0 0 0 34193 37 0 0 25 0 1 0 561587166 44224512 8373 33554432000 134512640 137138936 4291015712 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19112/statm: 10797 8373 192 642 0 10153 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 43188
Solver just ended. Dumping a history of the last processes samples
[startup+358.301 s]
/proc/loadavg: 2.08 1.98 1.97 3/489 19127
/proc/meminfo: memFree=21306072/32951124 swapFree=46575304/67111528
[pid=19112] ppid=19110 vsize=43188 CPUtime=358.3 cores=0,2,4,6
/proc/19112/stat : 19112 (bsolo) R 19110 19112 17058 0 -1 4202496 8437 0 0 0 35791 39 0 0 25 0 1 0 561587166 44224512 8373 33554432000 134512640 137138936 4291015712 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19112/statm: 10797 8373 192 642 0 10153 0
Current children cumulated CPU time (s) 358.3
Current children cumulated vsize (KiB) 43188
[startup+383.919 s]
/proc/loadavg: 2.05 1.98 1.97 3/489 19128
/proc/meminfo: memFree=21306660/32951124 swapFree=46575304/67111528
[pid=19112] ppid=19110 vsize=43188 CPUtime=383.91 cores=0,2,4,6
/proc/19112/stat : 19112 (bsolo) R 19110 19112 17058 0 -1 4202496 8437 0 0 0 38350 41 0 0 25 0 1 0 561587166 44224512 8373 33554432000 134512640 137138936 4291015712 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19112/statm: 10797 8373 192 642 0 10153 0
Current children cumulated CPU time (s) 383.91
Current children cumulated vsize (KiB) 43188
[startup+390.3 s]
/proc/loadavg: 2.04 1.98 1.97 3/489 19128
/proc/meminfo: memFree=21304924/32951124 swapFree=46575304/67111528
[pid=19112] ppid=19110 vsize=43188 CPUtime=390.3 cores=0,2,4,6
/proc/19112/stat : 19112 (bsolo) R 19110 19112 17058 0 -1 4202496 8437 0 0 0 38988 42 0 0 25 0 1 0 561587166 44224512 8373 33554432000 134512640 137138936 4291015712 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19112/statm: 10797 8373 192 642 0 10153 0
Current children cumulated CPU time (s) 390.3
Current children cumulated vsize (KiB) 43188
[startup+396.7 s]
/proc/loadavg: 2.04 1.98 1.97 3/489 19128
/proc/meminfo: memFree=21304924/32951124 swapFree=46575304/67111528
[pid=19112] ppid=19110 vsize=44312 CPUtime=396.7 cores=0,2,4,6
/proc/19112/stat : 19112 (bsolo) R 19110 19112 17058 0 -1 4202496 8718 0 0 0 39627 43 0 0 25 0 1 0 561587166 45375488 8654 33554432000 134512640 137138936 4291015712 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19112/statm: 11078 8654 192 642 0 10434 0
Current children cumulated CPU time (s) 396.7
Current children cumulated vsize (KiB) 44312
[startup+398.301 s]
/proc/loadavg: 2.04 1.98 1.97 3/489 19128
/proc/meminfo: memFree=21303808/32951124 swapFree=46575304/67111528
[pid=19112] ppid=19110 vsize=44436 CPUtime=398.3 cores=0,2,4,6
/proc/19112/stat : 19112 (bsolo) R 19110 19112 17058 0 -1 4202496 8737 0 0 0 39787 43 0 0 25 0 1 0 561587166 45502464 8673 33554432000 134512640 137138936 4291015712 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19112/statm: 11109 8673 192 642 0 10465 0
Current children cumulated CPU time (s) 398.3
Current children cumulated vsize (KiB) 44436
[startup+399.101 s]
/proc/loadavg: 2.04 1.98 1.97 3/489 19128
/proc/meminfo: memFree=21303808/32951124 swapFree=46575304/67111528
[pid=19112] ppid=19110 vsize=44436 CPUtime=399.1 cores=0,2,4,6
/proc/19112/stat : 19112 (bsolo) R 19110 19112 17058 0 -1 4202496 8737 0 0 0 39867 43 0 0 25 0 1 0 561587166 45502464 8673 33554432000 134512640 137138936 4291015712 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19112/statm: 11109 8673 192 642 0 10465 0
Current children cumulated CPU time (s) 399.1
Current children cumulated vsize (KiB) 44436
[startup+399.501 s]
/proc/loadavg: 2.04 1.98 1.97 3/489 19128
/proc/meminfo: memFree=21303808/32951124 swapFree=46575304/67111528
[pid=19112] ppid=19110 vsize=44436 CPUtime=399.5 cores=0,2,4,6
/proc/19112/stat : 19112 (bsolo) R 19110 19112 17058 0 -1 4202496 8737 0 0 0 39907 43 0 0 25 0 1 0 561587166 45502464 8673 33554432000 134512640 137138936 4291015712 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19112/statm: 11109 8673 192 642 0 10465 0
Current children cumulated CPU time (s) 399.5
Current children cumulated vsize (KiB) 44436
[startup+399.901 s]
/proc/loadavg: 2.04 1.98 1.97 3/489 19128
/proc/meminfo: memFree=21303808/32951124 swapFree=46575304/67111528
[pid=19112] ppid=19110 vsize=44436 CPUtime=399.9 cores=0,2,4,6
/proc/19112/stat : 19112 (bsolo) R 19110 19112 17058 0 -1 4202496 8737 0 0 0 39946 44 0 0 25 0 1 0 561587166 45502464 8673 33554432000 134512640 137138936 4291015712 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19112/statm: 11109 8673 192 642 0 10465 0
Current children cumulated CPU time (s) 399.9
Current children cumulated vsize (KiB) 44436
[startup+400.001 s]
/proc/loadavg: 2.04 1.98 1.97 3/489 19128
/proc/meminfo: memFree=21303808/32951124 swapFree=46575304/67111528
[pid=19112] ppid=19110 vsize=44436 CPUtime=400 cores=0,2,4,6
/proc/19112/stat : 19112 (bsolo) R 19110 19112 17058 0 -1 4202496 8737 0 0 0 39956 44 0 0 25 0 1 0 561587166 45502464 8673 33554432000 134512640 137138936 4291015712 18446744073709551615 134606601 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19112/statm: 11109 8673 192 642 0 10465 0
Current children cumulated CPU time (s) 400
Current children cumulated vsize (KiB) 44436
Child status: 0
Real time (s): 400.034
CPU time (s): 400.043
CPU user time (s): 399.6
CPU system time (s): 0.442932
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 44436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 399.6
system time used= 0.442932
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8738
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= 570
runsolver used 2.03369 second user time and 4.17936 second system time
The end