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-3729549-1338678816/watcher-3729549-1338678816 -o /tmp/evaluation-result-3729549-1338678816/solver-3729549-1338678816 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3729549-1338678816.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.88 0.97 0.80 3/176 23832
/proc/meminfo: memFree=26832876/32873648 swapFree=7120/7120
[pid=23832] ppid=23830 vsize=4772 CPUtime=0 cores=1,3,5,7
/proc/23832/stat : 23832 (bsolo3.0.17) R 23830 23832 23594 0 -1 4202496 459 0 0 0 0 0 0 0 20 0 1 0 334008989 4886528 395 33554432000 134512640 135840783 4294494640 4294493456 8856871 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23832/statm: 1193 396 326 325 0 108 0
[startup+0.101871 s]
/proc/loadavg: 1.88 0.97 0.80 3/176 23832
/proc/meminfo: memFree=26832876/32873648 swapFree=7120/7120
[pid=23832] ppid=23830 vsize=5740 CPUtime=0.09 cores=1,3,5,7
/proc/23832/stat : 23832 (bsolo3.0.17) R 23830 23832 23594 0 -1 4202496 785 0 0 0 9 0 0 0 20 0 1 0 334008989 5877760 700 33554432000 134512640 135840783 4294494640 4294493728 8856871 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23832/statm: 1435 700 346 325 0 371 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5740
[startup+0.200258 s]
/proc/loadavg: 1.88 0.97 0.80 3/176 23832
/proc/meminfo: memFree=26832876/32873648 swapFree=7120/7120
[pid=23832] ppid=23830 vsize=6268 CPUtime=0.19 cores=1,3,5,7
/proc/23832/stat : 23832 (bsolo3.0.17) R 23830 23832 23594 0 -1 4202496 909 0 0 0 19 0 0 0 20 0 1 0 334008989 6418432 824 33554432000 134512640 135840783 4294494640 4294492720 8856871 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23832/statm: 1567 824 346 325 0 503 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 6268
[startup+0.30025 s]
/proc/loadavg: 1.88 0.97 0.80 3/176 23832
/proc/meminfo: memFree=26832876/32873648 swapFree=7120/7120
[pid=23832] ppid=23830 vsize=6656 CPUtime=0.29 cores=1,3,5,7
/proc/23832/stat : 23832 (bsolo3.0.17) R 23830 23832 23594 0 -1 4202496 1014 0 0 0 29 0 0 0 20 0 1 0 334008989 6815744 929 33554432000 134512640 135840783 4294494640 4294492816 8856871 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23832/statm: 1664 929 346 325 0 600 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6656
[startup+0.700223 s]
/proc/loadavg: 1.88 0.97 0.80 3/176 23832
/proc/meminfo: memFree=26832876/32873648 swapFree=7120/7120
[pid=23832] ppid=23830 vsize=7564 CPUtime=0.69 cores=1,3,5,7
/proc/23832/stat : 23832 (bsolo3.0.17) R 23830 23832 23594 0 -1 4202496 1220 0 0 0 69 0 0 0 20 0 1 0 334008989 7745536 1135 33554432000 134512640 135840783 4294494640 4294494000 134550779 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23832/statm: 1891 1135 346 325 0 827 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7564
[startup+1.50022 s]
/proc/loadavg: 1.88 0.97 0.80 3/177 23833
/proc/meminfo: memFree=26829264/32873648 swapFree=7120/7120
[pid=23832] ppid=23830 vsize=7952 CPUtime=1.49 cores=1,3,5,7
/proc/23832/stat : 23832 (bsolo3.0.17) R 23830 23832 23594 0 -1 4202496 1321 0 0 0 149 0 0 0 20 0 1 0 334008989 8142848 1236 33554432000 134512640 135840783 4294494640 4294494000 134550779 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23832/statm: 1988 1236 346 325 0 924 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7952
[startup+3.10022 s]
/proc/loadavg: 1.88 0.97 0.80 3/177 23833
/proc/meminfo: memFree=26827892/32873648 swapFree=7120/7120
[pid=23832] ppid=23830 vsize=8720 CPUtime=3.09 cores=1,3,5,7
/proc/23832/stat : 23832 (bsolo3.0.17) R 23830 23832 23594 0 -1 4202496 1520 0 0 0 309 0 0 0 20 0 1 0 334008989 8929280 1435 33554432000 134512640 135840783 4294494640 4294494000 134550779 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23832/statm: 2180 1435 346 325 0 1116 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8720
[startup+6.30023 s]
/proc/loadavg: 1.89 0.98 0.81 3/177 23833
/proc/meminfo: memFree=26827040/32873648 swapFree=7120/7120
[pid=23832] ppid=23830 vsize=8980 CPUtime=6.29 cores=1,3,5,7
/proc/23832/stat : 23832 (bsolo3.0.17) R 23830 23832 23594 0 -1 4202496 1588 0 0 0 629 0 0 0 20 0 1 0 334008989 9195520 1503 33554432000 134512640 135840783 4294494640 4294494000 134551186 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23832/statm: 2245 1503 346 325 0 1181 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8980
[startup+12.7002 s]
/proc/loadavg: 1.90 1.00 0.81 3/177 23833
/proc/meminfo: memFree=26824348/32873648 swapFree=7120/7120
[pid=23832] ppid=23830 vsize=9632 CPUtime=12.69 cores=1,3,5,7
/proc/23832/stat : 23832 (bsolo3.0.17) R 23830 23832 23594 0 -1 4202496 1765 0 0 0 1269 0 0 0 20 0 1 0 334008989 9863168 1680 33554432000 134512640 135840783 4294494640 4294493952 134550804 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23832/statm: 2408 1680 346 325 0 1344 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9632
[startup+25.5003 s]
/proc/loadavg: 1.92 1.05 0.83 3/177 23833
/proc/meminfo: memFree=26822072/32873648 swapFree=7120/7120
[pid=23832] ppid=23830 vsize=10388 CPUtime=25.48 cores=1,3,5,7
/proc/23832/stat : 23832 (bsolo3.0.17) R 23830 23832 23594 0 -1 4202496 1954 0 0 0 2548 0 0 0 20 0 1 0 334008989 10637312 1868 33554432000 134512640 135840783 4294494640 4294494000 134551048 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23832/statm: 2597 1868 346 325 0 1533 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 10388
[startup+51.1003 s]
/proc/loadavg: 2.01 1.14 0.87 3/177 23833
/proc/meminfo: memFree=26820276/32873648 swapFree=7120/7120
[pid=23832] ppid=23830 vsize=11524 CPUtime=51.08 cores=1,3,5,7
/proc/23832/stat : 23832 (bsolo3.0.17) R 23830 23832 23594 0 -1 4202496 2230 0 0 0 5108 0 0 0 20 0 1 0 334008989 11800576 2144 33554432000 134512640 135840783 4294494640 4294494000 134550924 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23832/statm: 2881 2144 346 325 0 1817 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 11524
[startup+102.3 s]
/proc/loadavg: 2.00 1.27 0.92 3/177 23834
/proc/meminfo: memFree=26819344/32873648 swapFree=7124/7124
[pid=23832] ppid=23830 vsize=12052 CPUtime=102.28 cores=1,3,5,7
/proc/23832/stat : 23832 (bsolo3.0.17) R 23830 23832 23594 0 -1 4202496 2370 0 0 0 10228 0 0 0 20 0 1 0 334008989 12341248 2283 33554432000 134512640 135840783 4294494640 4294494000 134551175 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23832/statm: 3013 2283 346 325 0 1949 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 12052
[startup+162.3 s]
/proc/loadavg: 2.00 1.40 0.99 3/177 23834
/proc/meminfo: memFree=26814132/32873648 swapFree=7120/7120
[pid=23832] ppid=23830 vsize=12952 CPUtime=162.26 cores=1,3,5,7
/proc/23832/stat : 23832 (bsolo3.0.17) R 23830 23832 23594 0 -1 4202496 2591 0 0 0 16226 0 0 0 20 0 1 0 334008989 13262848 2503 33554432000 134512640 135840783 4294494640 4294494000 134551098 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23832/statm: 3238 2503 346 325 0 2174 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 12952
[startup+222.307 s]
/proc/loadavg: 2.00 1.51 1.05 3/177 23834
/proc/meminfo: memFree=26813388/32873648 swapFree=7120/7120
[pid=23832] ppid=23830 vsize=13732 CPUtime=222.26 cores=1,3,5,7
/proc/23832/stat : 23832 (bsolo3.0.17) R 23830 23832 23594 0 -1 4202496 2781 0 0 0 22226 0 0 0 20 0 1 0 334008989 14061568 2693 33554432000 134512640 135840783 4294494640 4294494000 134551093 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23832/statm: 3433 2693 346 325 0 2369 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 13732
[startup+282.3 s]
/proc/loadavg: 2.00 1.59 1.10 3/177 23834
/proc/meminfo: memFree=26812772/32873648 swapFree=7120/7120
[pid=23832] ppid=23830 vsize=14348 CPUtime=282.24 cores=1,3,5,7
/proc/23832/stat : 23832 (bsolo3.0.17) R 23830 23832 23594 0 -1 4202496 2931 0 0 0 28224 0 0 0 20 0 1 0 334008989 14692352 2843 33554432000 134512640 135840783 4294494640 4294493936 134572603 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23832/statm: 3587 2843 346 325 0 2523 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 14348
[startup+342.3 s]
/proc/loadavg: 2.00 1.66 1.16 3/177 23834
/proc/meminfo: memFree=26805824/32873648 swapFree=7120/7120
[pid=23832] ppid=23830 vsize=14704 CPUtime=342.23 cores=1,3,5,7
/proc/23832/stat : 23832 (bsolo3.0.17) R 23830 23832 23594 0 -1 4202496 3025 0 0 0 34223 0 0 0 20 0 1 0 334008989 15056896 2936 33554432000 134512640 135840783 4294494640 4294494000 134551074 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23832/statm: 3676 2936 346 325 0 2612 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 14704
[startup+402.3 s]
/proc/loadavg: 2.00 1.72 1.21 3/178 23838
/proc/meminfo: memFree=26806080/32873648 swapFree=7120/7120
[pid=23832] ppid=23830 vsize=14696 CPUtime=402.22 cores=1,3,5,7
/proc/23832/stat : 23832 (bsolo3.0.17) R 23830 23832 23594 0 -1 4202496 3025 0 0 0 40222 0 0 0 20 0 1 0 334008989 15048704 2936 33554432000 134512640 135840783 4294494640 4294494000 134550761 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23832/statm: 3674 2936 346 325 0 2610 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 14696
[startup+462.3 s]
/proc/loadavg: 2.00 1.77 1.25 3/177 23838
/proc/meminfo: memFree=26805256/32873648 swapFree=7120/7120
[pid=23832] ppid=23830 vsize=15428 CPUtime=462.21 cores=1,3,5,7
/proc/23832/stat : 23832 (bsolo3.0.17) R 23830 23832 23594 0 -1 4202496 3208 0 0 0 46221 0 0 0 20 0 1 0 334008989 15798272 3119 33554432000 134512640 135840783 4294494640 4294494000 134550779 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23832/statm: 3857 3119 346 325 0 2793 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 15428
[startup+522.3 s]
/proc/loadavg: 2.08 1.83 1.30 3/177 23838
/proc/meminfo: memFree=26805132/32873648 swapFree=7120/7120
[pid=23832] ppid=23830 vsize=15428 CPUtime=522.2 cores=1,3,5,7
/proc/23832/stat : 23832 (bsolo3.0.17) R 23830 23832 23594 0 -1 4202496 3208 0 0 0 52220 0 0 0 20 0 1 0 334008989 15798272 3119 33554432000 134512640 135840783 4294494640 4294494000 134550779 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23832/statm: 3857 3119 346 325 0 2793 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 15428
[startup+582.3 s]
/proc/loadavg: 2.03 1.85 1.34 3/177 23838
/proc/meminfo: memFree=26805504/32873648 swapFree=7120/7120
[pid=23832] ppid=23830 vsize=15428 CPUtime=582.19 cores=1,3,5,7
/proc/23832/stat : 23832 (bsolo3.0.17) R 23830 23832 23594 0 -1 4202496 3208 0 0 0 58219 0 0 0 20 0 1 0 334008989 15798272 3119 33554432000 134512640 135840783 4294494640 4294494000 134551368 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23832/statm: 3857 3119 346 325 0 2793 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 15428
[startup+642.3 s]
/proc/loadavg: 2.01 1.88 1.38 3/177 23838
/proc/meminfo: memFree=26805380/32873648 swapFree=7120/7120
[pid=23832] ppid=23830 vsize=15428 CPUtime=642.18 cores=1,3,5,7
/proc/23832/stat : 23832 (bsolo3.0.17) R 23830 23832 23594 0 -1 4202496 3208 0 0 0 64218 0 0 0 20 0 1 0 334008989 15798272 3119 33554432000 134512640 135840783 4294494640 4294493968 14540780 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23832/statm: 3857 3119 346 325 0 2793 0
Current children cumulated CPU time (s) 642.18
Current children cumulated vsize (KiB) 15428
Solver just ended. Dumping a history of the last processes samples
[startup+646.4 s]
/proc/loadavg: 2.01 1.88 1.38 3/177 23838
/proc/meminfo: memFree=26805256/32873648 swapFree=7120/7120
[pid=23832] ppid=23830 vsize=15428 CPUtime=646.28 cores=1,3,5,7
/proc/23832/stat : 23832 (bsolo3.0.17) R 23830 23832 23594 0 -1 4202496 3208 0 0 0 64628 0 0 0 20 0 1 0 334008989 15798272 3119 33554432000 134512640 135840783 4294494640 4294493968 14540785 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23832/statm: 3857 3119 346 325 0 2793 0
Current children cumulated CPU time (s) 646.28
Current children cumulated vsize (KiB) 15428
[startup+649.6 s]
/proc/loadavg: 2.01 1.88 1.39 3/177 23838
/proc/meminfo: memFree=26805256/32873648 swapFree=7120/7120
[pid=23832] ppid=23830 vsize=15428 CPUtime=649.48 cores=1,3,5,7
/proc/23832/stat : 23832 (bsolo3.0.17) R 23830 23832 23594 0 -1 4202496 3208 0 0 0 64948 0 0 0 20 0 1 0 334008989 15798272 3119 33554432000 134512640 135840783 4294494640 4294494000 134550804 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23832/statm: 3857 3119 346 325 0 2793 0
Current children cumulated CPU time (s) 649.48
Current children cumulated vsize (KiB) 15428
[startup+651.2 s]
/proc/loadavg: 2.01 1.88 1.39 3/177 23838
/proc/meminfo: memFree=26805256/32873648 swapFree=7120/7120
[pid=23832] ppid=23830 vsize=15428 CPUtime=651.09 cores=1,3,5,7
/proc/23832/stat : 23832 (bsolo3.0.17) R 23830 23832 23594 0 -1 4202496 3208 0 0 0 65109 0 0 0 20 0 1 0 334008989 15798272 3119 33554432000 134512640 135840783 4294494640 4294493944 8859333 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23832/statm: 3857 3119 346 325 0 2793 0
Current children cumulated CPU time (s) 651.09
Current children cumulated vsize (KiB) 15428
[startup+652 s]
/proc/loadavg: 2.01 1.88 1.39 3/177 23838
/proc/meminfo: memFree=26805256/32873648 swapFree=7120/7120
[pid=23832] ppid=23830 vsize=15428 CPUtime=651.88 cores=1,3,5,7
/proc/23832/stat : 23832 (bsolo3.0.17) R 23830 23832 23594 0 -1 4202496 3208 0 0 0 65188 0 0 0 20 0 1 0 334008989 15798272 3119 33554432000 134512640 135840783 4294494640 4294493952 134551330 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23832/statm: 3857 3119 346 325 0 2793 0
Current children cumulated CPU time (s) 651.88
Current children cumulated vsize (KiB) 15428
[startup+652.8 s]
/proc/loadavg: 2.01 1.88 1.39 3/177 23838
/proc/meminfo: memFree=26805256/32873648 swapFree=7120/7120
[pid=23832] ppid=23830 vsize=15428 CPUtime=652.68 cores=1,3,5,7
/proc/23832/stat : 23832 (bsolo3.0.17) R 23830 23832 23594 0 -1 4202496 3208 0 0 0 65268 0 0 0 20 0 1 0 334008989 15798272 3119 33554432000 134512640 135840783 4294494640 4294494000 134551048 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23832/statm: 3857 3119 346 325 0 2793 0
Current children cumulated CPU time (s) 652.68
Current children cumulated vsize (KiB) 15428
[startup+653 s]
/proc/loadavg: 2.01 1.88 1.39 3/177 23838
/proc/meminfo: memFree=26805256/32873648 swapFree=7120/7120
[pid=23832] ppid=23830 vsize=15428 CPUtime=652.88 cores=1,3,5,7
/proc/23832/stat : 23832 (bsolo3.0.17) R 23830 23832 23594 0 -1 4202496 3208 0 0 0 65288 0 0 0 20 0 1 0 334008989 15798272 3119 33554432000 134512640 135840783 4294494640 4294494000 134550804 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23832/statm: 3857 3119 346 325 0 2793 0
Current children cumulated CPU time (s) 652.88
Current children cumulated vsize (KiB) 15428
Child status: 0
Real time (s): 653.071
CPU time (s): 652.963
CPU user time (s): 652.954
CPU system time (s): 0.008998
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 15428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 652.954
system time used= 0.008998
maximum resident set size= 12476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3211
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= 12
involuntary context switches= 2125
runsolver used 1.08083 second user time and 3.06853 second system time
The end