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-3463375-1307174917/watcher-3463375-1307174917 -o /tmp/evaluation-result-3463375-1307174917/solver-3463375-1307174917 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463375-1307174917.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: 1.94 2.04 2.01 4/472 1682
/proc/meminfo: memFree=20371008/32950928 swapFree=61858088/67111528
[pid=1680] ppid=1677 vsize=10880 CPUtime=0 cores=1,3,5,7
/proc/1680/stat : 1680 (bsolo) R 1677 1680 678 0 -1 4202496 295 0 0 0 0 0 0 0 20 0 1 0 829091364 11141120 249 33554432000 134512640 137138936 4289001568 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1680/statm: 2720 249 174 642 0 2055 0
[startup+0.0789311 s]
/proc/loadavg: 1.94 2.04 2.01 4/472 1682
/proc/meminfo: memFree=20371008/32950928 swapFree=61858088/67111528
[pid=1680] ppid=1677 vsize=11572 CPUtime=0.07 cores=1,3,5,7
/proc/1680/stat : 1680 (bsolo) R 1677 1680 678 0 -1 4202496 506 0 0 0 7 0 0 0 20 0 1 0 829091364 11849728 439 33554432000 134512640 137138936 4289001568 18446744073709551615 134618242 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1680/statm: 2893 439 192 642 0 2249 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11572
[startup+0.100926 s]
/proc/loadavg: 1.94 2.04 2.01 4/472 1682
/proc/meminfo: memFree=20371008/32950928 swapFree=61858088/67111528
[pid=1680] ppid=1677 vsize=11696 CPUtime=0.09 cores=1,3,5,7
/proc/1680/stat : 1680 (bsolo) R 1677 1680 678 0 -1 4202496 538 0 0 0 9 0 0 0 20 0 1 0 829091364 11976704 471 33554432000 134512640 137138936 4289001568 18446744073709551615 134618479 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1680/statm: 2924 471 192 642 0 2280 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11696
[startup+0.30089 s]
/proc/loadavg: 1.94 2.04 2.01 4/472 1682
/proc/meminfo: memFree=20371008/32950928 swapFree=61858088/67111528
[pid=1680] ppid=1677 vsize=12320 CPUtime=0.29 cores=1,3,5,7
/proc/1680/stat : 1680 (bsolo) R 1677 1680 678 0 -1 4202496 711 0 0 0 29 0 0 0 21 0 1 0 829091364 12615680 644 33554432000 134512640 137138936 4289001568 18446744073709551615 134618072 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1680/statm: 3080 644 192 642 0 2436 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12320
[startup+0.70082 s]
/proc/loadavg: 1.94 2.04 2.01 4/472 1682
/proc/meminfo: memFree=20371008/32950928 swapFree=61858088/67111528
[pid=1680] ppid=1677 vsize=13316 CPUtime=0.69 cores=1,3,5,7
/proc/1680/stat : 1680 (bsolo) R 1677 1680 678 0 -1 4202496 953 0 0 0 69 0 0 0 22 0 1 0 829091364 13635584 886 33554432000 134512640 137138936 4289001568 18446744073709551615 136504268 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1680/statm: 3329 886 192 642 0 2685 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13316
[startup+1.50068 s]
/proc/loadavg: 1.94 2.04 2.01 4/474 1684
/proc/meminfo: memFree=20363428/32950928 swapFree=61858088/67111528
[pid=1680] ppid=1677 vsize=13444 CPUtime=1.49 cores=1,3,5,7
/proc/1680/stat : 1680 (bsolo) R 1677 1680 678 0 -1 4202496 1003 0 0 0 148 1 0 0 25 0 1 0 829091364 13766656 936 33554432000 134512640 137138936 4289001568 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1680/statm: 3361 936 192 642 0 2717 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13444
[startup+3.1004 s]
/proc/loadavg: 1.94 2.04 2.00 4/474 1684
/proc/meminfo: memFree=20360700/32950928 swapFree=61858088/67111528
[pid=1680] ppid=1677 vsize=14192 CPUtime=3.09 cores=1,3,5,7
/proc/1680/stat : 1680 (bsolo) R 1677 1680 678 0 -1 4202496 1161 0 0 0 308 1 0 0 25 0 1 0 829091364 14532608 1094 33554432000 134512640 137138936 4289001568 18446744073709551615 134542894 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1680/statm: 3548 1094 192 642 0 2904 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14192
[startup+6.30083 s]
/proc/loadavg: 1.94 2.04 2.00 3/474 1711
/proc/meminfo: memFree=20360728/32950928 swapFree=61858088/67111528
[pid=1680] ppid=1677 vsize=14560 CPUtime=6.29 cores=1,3,5,7
/proc/1680/stat : 1680 (bsolo) R 1677 1680 678 0 -1 4202496 1276 0 0 0 626 3 0 0 25 0 1 0 829091364 14909440 1209 33554432000 134512640 137138936 4289001568 18446744073709551615 134542273 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1680/statm: 3640 1209 192 642 0 2996 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14560
[startup+12.7008 s]
/proc/loadavg: 1.95 2.03 2.00 3/474 1712
/proc/meminfo: memFree=20357860/32950928 swapFree=61858088/67111528
[pid=1680] ppid=1677 vsize=14920 CPUtime=12.69 cores=1,3,5,7
/proc/1680/stat : 1680 (bsolo) R 1677 1680 678 0 -1 4202496 1369 0 0 0 1263 6 0 0 25 0 1 0 829091364 15278080 1302 33554432000 134512640 137138936 4289001568 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1680/statm: 3730 1302 192 642 0 3086 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14920
[startup+25.5005 s]
/proc/loadavg: 1.96 2.03 2.00 3/474 1712
/proc/meminfo: memFree=20355624/32950928 swapFree=61858088/67111528
[pid=1680] ppid=1677 vsize=15912 CPUtime=25.49 cores=1,3,5,7
/proc/1680/stat : 1680 (bsolo) R 1677 1680 678 0 -1 4202496 1613 0 0 0 2539 10 0 0 25 0 1 0 829091364 16293888 1546 33554432000 134512640 137138936 4289001568 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1680/statm: 3978 1546 192 642 0 3334 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15912
[startup+51.101 s]
/proc/loadavg: 1.97 2.03 2.00 3/474 1713
/proc/meminfo: memFree=20355388/32950928 swapFree=61858088/67111528
[pid=1680] ppid=1677 vsize=16388 CPUtime=51.09 cores=1,3,5,7
/proc/1680/stat : 1680 (bsolo) R 1677 1680 678 0 -1 4202496 1736 0 0 0 5090 19 0 0 25 0 1 0 829091364 16781312 1669 33554432000 134512640 137138936 4289001568 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1680/statm: 4097 1669 192 642 0 3453 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 16388
[startup+102.318 s]
/proc/loadavg: 1.99 2.02 2.00 3/474 1714
/proc/meminfo: memFree=20352396/32950928 swapFree=61858088/67111528
[pid=1680] ppid=1677 vsize=17312 CPUtime=102.31 cores=1,3,5,7
/proc/1680/stat : 1680 (bsolo) R 1677 1680 678 0 -1 4202496 1965 0 0 0 10196 35 0 0 25 0 1 0 829091364 17727488 1898 33554432000 134512640 137138936 4289001568 18446744073709551615 134542363 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1680/statm: 4328 1898 192 642 0 3684 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 17312
[startup+162.3 s]
/proc/loadavg: 1.99 2.02 2.00 3/474 1716
/proc/meminfo: memFree=20350004/32950928 swapFree=61858088/67111528
[pid=1680] ppid=1677 vsize=18448 CPUtime=162.29 cores=1,3,5,7
/proc/1680/stat : 1680 (bsolo) R 1677 1680 678 0 -1 4202496 2235 0 0 0 16179 50 0 0 25 0 1 0 829091364 18890752 2168 33554432000 134512640 137138936 4289001568 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1680/statm: 4612 2168 192 642 0 3968 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 18448
[startup+222.301 s]
/proc/loadavg: 1.99 2.01 2.00 3/474 1717
/proc/meminfo: memFree=20348248/32950928 swapFree=61858088/67111528
[pid=1680] ppid=1677 vsize=19372 CPUtime=222.3 cores=1,3,5,7
/proc/1680/stat : 1680 (bsolo) R 1677 1680 678 0 -1 4202496 2466 0 0 0 22165 65 0 0 25 0 1 0 829091364 19836928 2399 33554432000 134512640 137138936 4289001568 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1680/statm: 4843 2399 192 642 0 4199 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 19372
[startup+282.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/474 1719
/proc/meminfo: memFree=20347976/32950928 swapFree=61858088/67111528
[pid=1680] ppid=1677 vsize=19372 CPUtime=282.29 cores=1,3,5,7
/proc/1680/stat : 1680 (bsolo) R 1677 1680 678 0 -1 4202496 2466 0 0 0 28152 77 0 0 25 0 1 0 829091364 19836928 2399 33554432000 134512640 137138936 4289001568 18446744073709551615 134542965 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1680/statm: 4843 2399 192 642 0 4199 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 19372
[startup+342.301 s]
/proc/loadavg: 2.07 2.04 2.01 3/474 1720
/proc/meminfo: memFree=20347712/32950928 swapFree=61858088/67111528
[pid=1680] ppid=1677 vsize=19324 CPUtime=342.3 cores=1,3,5,7
/proc/1680/stat : 1680 (bsolo) R 1677 1680 678 0 -1 4202496 2468 0 0 0 34136 94 0 0 25 0 1 0 829091364 19787776 2401 33554432000 134512640 137138936 4289001568 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1680/statm: 4831 2401 192 642 0 4187 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 19324
[startup+402.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/474 1722
/proc/meminfo: memFree=20346944/32950928 swapFree=61858088/67111528
[pid=1680] ppid=1677 vsize=20036 CPUtime=402.3 cores=1,3,5,7
/proc/1680/stat : 1680 (bsolo) R 1677 1680 678 0 -1 4202496 2651 0 0 0 40120 110 0 0 25 0 1 0 829091364 20516864 2584 33554432000 134512640 137138936 4289001568 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1680/statm: 5009 2584 192 642 0 4365 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 20036
[startup+462.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/474 1724
/proc/meminfo: memFree=20348284/32950928 swapFree=61858088/67111528
[pid=1680] ppid=1677 vsize=20036 CPUtime=462.3 cores=1,3,5,7
/proc/1680/stat : 1680 (bsolo) R 1677 1680 678 0 -1 4202496 2651 0 0 0 46106 124 0 0 25 0 1 0 829091364 20516864 2584 33554432000 134512640 137138936 4289001568 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1680/statm: 5009 2584 192 642 0 4365 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 20036
[startup+522.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/474 1725
/proc/meminfo: memFree=20347136/32950928 swapFree=61858088/67111528
[pid=1680] ppid=1677 vsize=20752 CPUtime=522.3 cores=1,3,5,7
/proc/1680/stat : 1680 (bsolo) R 1677 1680 678 0 -1 4202496 2813 0 0 0 52091 139 0 0 25 0 1 0 829091364 21250048 2746 33554432000 134512640 137138936 4289001568 18446744073709551615 136511087 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1680/statm: 5188 2746 192 642 0 4544 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 20752
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 1727
/proc/meminfo: memFree=20347100/32950928 swapFree=61858088/67111528
[pid=1680] ppid=1677 vsize=20748 CPUtime=582.3 cores=1,3,5,7
/proc/1680/stat : 1680 (bsolo) R 1677 1680 678 0 -1 4202496 2813 0 0 0 58078 152 0 0 25 0 1 0 829091364 21245952 2746 33554432000 134512640 137138936 4289001568 18446744073709551615 134542424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1680/statm: 5187 2746 192 642 0 4543 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 20748
[startup+642.301 s]
/proc/loadavg: 1.96 2.00 1.99 3/474 1755
/proc/meminfo: memFree=20305260/32950928 swapFree=61858088/67111528
[pid=1680] ppid=1677 vsize=21360 CPUtime=642.31 cores=1,3,5,7
/proc/1680/stat : 1680 (bsolo) R 1677 1680 678 0 -1 4202496 2973 0 0 0 64066 165 0 0 25 0 1 0 829091364 21872640 2906 33554432000 134512640 137138936 4289001568 18446744073709551615 134542620 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1680/statm: 5340 2906 192 642 0 4696 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 21360
Solver just ended. Dumping a history of the last processes samples
[startup+652.701 s]
/proc/loadavg: 1.97 2.00 1.99 3/474 1756
/proc/meminfo: memFree=20304392/32950928 swapFree=61858088/67111528
[pid=1680] ppid=1677 vsize=21360 CPUtime=652.7 cores=1,3,5,7
/proc/1680/stat : 1680 (bsolo) R 1677 1680 678 0 -1 4202496 2973 0 0 0 65102 168 0 0 25 0 1 0 829091364 21872640 2906 33554432000 134512640 137138936 4289001568 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1680/statm: 5340 2906 192 642 0 4696 0
Current children cumulated CPU time (s) 652.7
Current children cumulated vsize (KiB) 21360
[startup+659.101 s]
/proc/loadavg: 1.97 2.00 1.99 3/474 1756
/proc/meminfo: memFree=20304392/32950928 swapFree=61858088/67111528
[pid=1680] ppid=1677 vsize=21360 CPUtime=659.1 cores=1,3,5,7
/proc/1680/stat : 1680 (bsolo) R 1677 1680 678 0 -1 4202496 2973 0 0 0 65741 169 0 0 25 0 1 0 829091364 21872640 2906 33554432000 134512640 137138936 4289001568 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1680/statm: 5340 2906 192 642 0 4696 0
Current children cumulated CPU time (s) 659.1
Current children cumulated vsize (KiB) 21360
[startup+662.3 s]
/proc/loadavg: 1.97 2.00 1.99 3/474 1756
/proc/meminfo: memFree=20304392/32950928 swapFree=61858088/67111528
[pid=1680] ppid=1677 vsize=21360 CPUtime=662.3 cores=1,3,5,7
/proc/1680/stat : 1680 (bsolo) R 1677 1680 678 0 -1 4202496 2973 0 0 0 66060 170 0 0 25 0 1 0 829091364 21872640 2906 33554432000 134512640 137138936 4289001568 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1680/statm: 5340 2906 192 642 0 4696 0
Current children cumulated CPU time (s) 662.3
Current children cumulated vsize (KiB) 21360
[startup+665.518 s]
/proc/loadavg: 1.97 2.00 1.99 3/474 1756
/proc/meminfo: memFree=20303896/32950928 swapFree=61858088/67111528
[pid=1680] ppid=1677 vsize=21360 CPUtime=665.53 cores=1,3,5,7
/proc/1680/stat : 1680 (bsolo) R 1677 1680 678 0 -1 4202496 2973 0 0 0 66381 172 0 0 25 0 1 0 829091364 21872640 2906 33554432000 134512640 137138936 4289001568 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1680/statm: 5340 2906 192 642 0 4696 0
Current children cumulated CPU time (s) 665.53
Current children cumulated vsize (KiB) 21360
[startup+666.301 s]
/proc/loadavg: 1.97 2.00 1.99 3/474 1756
/proc/meminfo: memFree=20303896/32950928 swapFree=61858088/67111528
[pid=1680] ppid=1677 vsize=21360 CPUtime=666.3 cores=1,3,5,7
/proc/1680/stat : 1680 (bsolo) R 1677 1680 678 0 -1 4202496 2973 0 0 0 66458 172 0 0 25 0 1 0 829091364 21872640 2906 33554432000 134512640 137138936 4289001568 18446744073709551615 134607589 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1680/statm: 5340 2906 192 642 0 4696 0
Current children cumulated CPU time (s) 666.3
Current children cumulated vsize (KiB) 21360
[startup+666.701 s]
/proc/loadavg: 1.98 2.00 1.99 3/474 1756
/proc/meminfo: memFree=20303896/32950928 swapFree=61858088/67111528
[pid=1680] ppid=1677 vsize=21360 CPUtime=666.7 cores=1,3,5,7
/proc/1680/stat : 1680 (bsolo) R 1677 1680 678 0 -1 4202496 2973 0 0 0 66498 172 0 0 25 0 1 0 829091364 21872640 2906 33554432000 134512640 137138936 4289001568 18446744073709551615 134551589 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1680/statm: 5340 2906 192 642 0 4696 0
Current children cumulated CPU time (s) 666.7
Current children cumulated vsize (KiB) 21360
[startup+667.101 s]
/proc/loadavg: 1.98 2.00 1.99 3/474 1756
/proc/meminfo: memFree=20303896/32950928 swapFree=61858088/67111528
[pid=1680] ppid=1677 vsize=21360 CPUtime=667.1 cores=1,3,5,7
/proc/1680/stat : 1680 (bsolo) R 1677 1680 678 0 -1 4202496 2973 0 0 0 66538 172 0 0 25 0 1 0 829091364 21872640 2906 33554432000 134512640 137138936 4289001568 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1680/statm: 5340 2906 192 642 0 4696 0
Current children cumulated CPU time (s) 667.1
Current children cumulated vsize (KiB) 21360
Child status: 0
Real time (s): 667.187
CPU time (s): 667.201
CPU user time (s): 665.472
CPU system time (s): 1.72874
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 21360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 665.472
system time used= 1.72874
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2973
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= 1198
runsolver used 2.98055 second user time and 7.31389 second system time
The end