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-3463338-1307174452/watcher-3463338-1307174452 -o /tmp/evaluation-result-3463338-1307174452/solver-3463338-1307174452 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463338-1307174452.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 1.67 1.74 2/455 26015
/proc/meminfo: memFree=24555032/32951124 swapFree=60476376/67111528
[pid=26015] ppid=26013 vsize=11328 CPUtime=0 cores=1,3,5,7
/proc/26015/stat : 26015 (bsolo) R 26013 26015 23562 0 -1 4202496 447 0 0 0 0 0 0 0 25 0 1 0 809861157 11599872 381 33554432000 134512640 137138936 4288018784 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26015/statm: 2832 381 192 642 0 2188 0
[startup+0.0620211 s]
/proc/loadavg: 1.94 1.67 1.74 2/455 26015
/proc/meminfo: memFree=24555032/32951124 swapFree=60476376/67111528
[pid=26015] ppid=26013 vsize=11452 CPUtime=0.05 cores=1,3,5,7
/proc/26015/stat : 26015 (bsolo) R 26013 26015 23562 0 -1 4202496 497 0 0 0 5 0 0 0 25 0 1 0 809861157 11726848 431 33554432000 134512640 137138936 4288018784 18446744073709551615 136511114 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26015/statm: 2863 431 192 642 0 2219 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11452
[startup+0.101017 s]
/proc/loadavg: 1.94 1.67 1.74 2/455 26015
/proc/meminfo: memFree=24555032/32951124 swapFree=60476376/67111528
[pid=26015] ppid=26013 vsize=11576 CPUtime=0.09 cores=1,3,5,7
/proc/26015/stat : 26015 (bsolo) R 26013 26015 23562 0 -1 4202496 532 0 0 0 9 0 0 0 25 0 1 0 809861157 11853824 466 33554432000 134512640 137138936 4288018784 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26015/statm: 2894 466 192 642 0 2250 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11576
[startup+0.300988 s]
/proc/loadavg: 1.94 1.67 1.74 2/455 26015
/proc/meminfo: memFree=24555032/32951124 swapFree=60476376/67111528
[pid=26015] ppid=26013 vsize=12196 CPUtime=0.29 cores=1,3,5,7
/proc/26015/stat : 26015 (bsolo) R 26013 26015 23562 0 -1 4202496 673 0 0 0 29 0 0 0 25 0 1 0 809861157 12488704 607 33554432000 134512640 137138936 4288018784 18446744073709551615 134542799 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26015/statm: 3049 607 192 642 0 2405 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12196
[startup+0.7009 s]
/proc/loadavg: 1.94 1.67 1.74 2/455 26015
/proc/meminfo: memFree=24555032/32951124 swapFree=60476376/67111528
[pid=26015] ppid=26013 vsize=13064 CPUtime=0.69 cores=1,3,5,7
/proc/26015/stat : 26015 (bsolo) R 26013 26015 23562 0 -1 4202496 895 0 0 0 69 0 0 0 25 0 1 0 809861157 13377536 829 33554432000 134512640 137138936 4288018784 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26015/statm: 3266 829 192 642 0 2622 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13064
[startup+1.50075 s]
/proc/loadavg: 1.95 1.67 1.74 3/456 26016
/proc/meminfo: memFree=24551428/32951124 swapFree=60476376/67111528
[pid=26015] ppid=26013 vsize=13188 CPUtime=1.49 cores=1,3,5,7
/proc/26015/stat : 26015 (bsolo) R 26013 26015 23562 0 -1 4202496 924 0 0 0 148 1 0 0 25 0 1 0 809861157 13504512 858 33554432000 134512640 137138936 4288018784 18446744073709551615 134600091 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26015/statm: 3297 858 192 642 0 2653 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13188
[startup+3.10046 s]
/proc/loadavg: 1.95 1.67 1.74 3/456 26016
/proc/meminfo: memFree=24550384/32951124 swapFree=60476376/67111528
[pid=26015] ppid=26013 vsize=14052 CPUtime=3.09 cores=1,3,5,7
/proc/26015/stat : 26015 (bsolo) R 26013 26015 23562 0 -1 4202496 1130 0 0 0 307 2 0 0 25 0 1 0 809861157 14389248 1064 33554432000 134512640 137138936 4288018784 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26015/statm: 3513 1064 192 642 0 2869 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14052
[startup+6.30087 s]
/proc/loadavg: 1.95 1.68 1.74 3/456 26017
/proc/meminfo: memFree=24548772/32951124 swapFree=60476376/67111528
[pid=26015] ppid=26013 vsize=14672 CPUtime=6.29 cores=1,3,5,7
/proc/26015/stat : 26015 (bsolo) R 26013 26015 23562 0 -1 4202496 1295 0 0 0 625 4 0 0 25 0 1 0 809861157 15024128 1229 33554432000 134512640 137138936 4288018784 18446744073709551615 134609268 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26015/statm: 3668 1229 192 642 0 3024 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14672
[startup+12.7007 s]
/proc/loadavg: 1.95 1.68 1.75 3/456 26053
/proc/meminfo: memFree=24550036/32951124 swapFree=60476376/67111528
[pid=26015] ppid=26013 vsize=15532 CPUtime=12.69 cores=1,3,5,7
/proc/26015/stat : 26015 (bsolo) R 26013 26015 23562 0 -1 4202496 1507 0 0 0 1262 7 0 0 25 0 1 0 809861157 15904768 1441 33554432000 134512640 137138936 4288018784 18446744073709551615 136504179 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26015/statm: 3883 1441 192 642 0 3239 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15532
[startup+25.5003 s]
/proc/loadavg: 1.96 1.70 1.75 3/456 26053
/proc/meminfo: memFree=24548548/32951124 swapFree=60476376/67111528
[pid=26015] ppid=26013 vsize=16156 CPUtime=25.5 cores=1,3,5,7
/proc/26015/stat : 26015 (bsolo) R 26013 26015 23562 0 -1 4202496 1659 0 0 0 2540 10 0 0 25 0 1 0 809861157 16543744 1593 33554432000 134512640 137138936 4288018784 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26015/statm: 4039 1593 192 642 0 3395 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 16156
[startup+51.1006 s]
/proc/loadavg: 1.98 1.72 1.75 3/456 26054
/proc/meminfo: memFree=24546504/32951124 swapFree=60476376/67111528
[pid=26015] ppid=26013 vsize=16780 CPUtime=51.1 cores=1,3,5,7
/proc/26015/stat : 26015 (bsolo) R 26013 26015 23562 0 -1 4202496 1832 0 0 0 5092 18 0 0 25 0 1 0 809861157 17182720 1766 33554432000 134512640 137138936 4288018784 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26015/statm: 4195 1766 192 642 0 3551 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 16780
[startup+102.316 s]
/proc/loadavg: 2.15 1.80 1.77 3/456 26055
/proc/meminfo: memFree=24545252/32951124 swapFree=60476376/67111528
[pid=26015] ppid=26013 vsize=16888 CPUtime=102.31 cores=1,3,5,7
/proc/26015/stat : 26015 (bsolo) R 26013 26015 23562 0 -1 4202496 1859 0 0 0 10195 36 0 0 25 0 1 0 809861157 17293312 1793 33554432000 134512640 137138936 4288018784 18446744073709551615 136501673 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26015/statm: 4222 1793 192 642 0 3578 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 16888
[startup+162.3 s]
/proc/loadavg: 2.13 1.85 1.79 3/456 26084
/proc/meminfo: memFree=24545552/32951124 swapFree=60476376/67111528
[pid=26015] ppid=26013 vsize=17228 CPUtime=162.3 cores=1,3,5,7
/proc/26015/stat : 26015 (bsolo) R 26013 26015 23562 0 -1 4202496 1948 0 0 0 16178 52 0 0 25 0 1 0 809861157 17641472 1882 33554432000 134512640 137138936 4288018784 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26015/statm: 4307 1882 192 642 0 3663 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 17228
[startup+222.301 s]
/proc/loadavg: 2.04 1.87 1.80 3/456 26085
/proc/meminfo: memFree=24544440/32951124 swapFree=60476376/67111528
[pid=26015] ppid=26013 vsize=17964 CPUtime=222.29 cores=1,3,5,7
/proc/26015/stat : 26015 (bsolo) R 26013 26015 23562 0 -1 4202496 2114 0 0 0 22165 64 0 0 25 0 1 0 809861157 18395136 2048 33554432000 134512640 137138936 4288018784 18446744073709551615 134542214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26015/statm: 4491 2048 192 642 0 3847 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 17964
[startup+282.301 s]
/proc/loadavg: 2.01 1.89 1.81 3/456 26087
/proc/meminfo: memFree=24540828/32951124 swapFree=60476376/67111528
[pid=26015] ppid=26013 vsize=19452 CPUtime=282.3 cores=1,3,5,7
/proc/26015/stat : 26015 (bsolo) R 26013 26015 23562 0 -1 4202496 2484 0 0 0 28152 78 0 0 25 0 1 0 809861157 19918848 2418 33554432000 134512640 137138936 4288018784 18446744073709551615 134618096 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26015/statm: 4863 2418 192 642 0 4219 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 19452
[startup+342.301 s]
/proc/loadavg: 2.05 1.92 1.83 3/456 26089
/proc/meminfo: memFree=24539444/32951124 swapFree=60476376/67111528
[pid=26015] ppid=26013 vsize=20412 CPUtime=342.3 cores=1,3,5,7
/proc/26015/stat : 26015 (bsolo) R 26013 26015 23562 0 -1 4202496 2726 0 0 0 34142 88 0 0 25 0 1 0 809861157 20901888 2660 33554432000 134512640 137138936 4288018784 18446744073709551615 134542758 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26015/statm: 5103 2660 192 642 0 4459 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 20412
[startup+402.301 s]
/proc/loadavg: 2.02 1.93 1.83 3/456 26090
/proc/meminfo: memFree=24539060/32951124 swapFree=60476376/67111528
[pid=26015] ppid=26013 vsize=20404 CPUtime=402.3 cores=1,3,5,7
/proc/26015/stat : 26015 (bsolo) R 26013 26015 23562 0 -1 4202496 2726 0 0 0 40132 98 0 0 25 0 1 0 809861157 20893696 2660 33554432000 134512640 137138936 4288018784 18446744073709551615 134606976 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26015/statm: 5101 2660 192 642 0 4457 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 20404
[startup+462.301 s]
/proc/loadavg: 2.00 1.94 1.84 3/456 26092
/proc/meminfo: memFree=24539036/32951124 swapFree=60476376/67111528
[pid=26015] ppid=26013 vsize=20400 CPUtime=462.31 cores=1,3,5,7
/proc/26015/stat : 26015 (bsolo) R 26013 26015 23562 0 -1 4202496 2727 0 0 0 46123 108 0 0 25 0 1 0 809861157 20889600 2661 33554432000 134512640 137138936 4288018784 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26015/statm: 5100 2661 192 642 0 4456 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 20400
[startup+522.301 s]
/proc/loadavg: 2.00 1.95 1.85 3/456 26093
/proc/meminfo: memFree=24538896/32951124 swapFree=60476376/67111528
[pid=26015] ppid=26013 vsize=20400 CPUtime=522.3 cores=1,3,5,7
/proc/26015/stat : 26015 (bsolo) R 26013 26015 23562 0 -1 4202496 2727 0 0 0 52113 117 0 0 25 0 1 0 809861157 20889600 2661 33554432000 134512640 137138936 4288018784 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26015/statm: 5100 2661 192 642 0 4456 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 20400
[startup+582.301 s]
/proc/loadavg: 2.00 1.96 1.85 3/456 26149
/proc/meminfo: memFree=24543316/32951124 swapFree=60476376/67111528
[pid=26015] ppid=26013 vsize=20768 CPUtime=582.31 cores=1,3,5,7
/proc/26015/stat : 26015 (bsolo) R 26013 26015 23562 0 -1 4202496 2829 0 0 0 58104 127 0 0 25 0 1 0 809861157 21266432 2763 33554432000 134512640 137138936 4288018784 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26015/statm: 5192 2763 192 642 0 4548 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 20768
[startup+642.301 s]
/proc/loadavg: 2.00 1.96 1.86 3/456 26151
/proc/meminfo: memFree=24540912/32951124 swapFree=60476376/67111528
[pid=26015] ppid=26013 vsize=21020 CPUtime=642.32 cores=1,3,5,7
/proc/26015/stat : 26015 (bsolo) R 26013 26015 23562 0 -1 4202496 2884 0 0 0 64096 136 0 0 25 0 1 0 809861157 21524480 2818 33554432000 134512640 137138936 4288018784 18446744073709551615 136511136 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26015/statm: 5255 2818 192 642 0 4611 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 21020
[startup+702.301 s]
/proc/loadavg: 2.08 2.00 1.87 3/456 26152
/proc/meminfo: memFree=24540640/32951124 swapFree=60476376/67111528
[pid=26015] ppid=26013 vsize=21020 CPUtime=702.31 cores=1,3,5,7
/proc/26015/stat : 26015 (bsolo) R 26013 26015 23562 0 -1 4202496 2884 0 0 0 70086 145 0 0 25 0 1 0 809861157 21524480 2818 33554432000 134512640 137138936 4288018784 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26015/statm: 5255 2818 192 642 0 4611 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 21020
Solver just ended. Dumping a history of the last processes samples
[startup+716.701 s]
/proc/loadavg: 2.14 2.01 1.88 3/456 26153
/proc/meminfo: memFree=24539520/32951124 swapFree=60476376/67111528
[pid=26015] ppid=26013 vsize=21020 CPUtime=716.71 cores=1,3,5,7
/proc/26015/stat : 26015 (bsolo) R 26013 26015 23562 0 -1 4202496 2884 0 0 0 71523 148 0 0 25 0 1 0 809861157 21524480 2818 33554432000 134512640 137138936 4288018784 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26015/statm: 5255 2818 192 642 0 4611 0
Current children cumulated CPU time (s) 716.71
Current children cumulated vsize (KiB) 21020
[startup+729.501 s]
/proc/loadavg: 2.12 2.01 1.88 3/456 26153
/proc/meminfo: memFree=24539272/32951124 swapFree=60476376/67111528
[pid=26015] ppid=26013 vsize=21020 CPUtime=729.51 cores=1,3,5,7
/proc/26015/stat : 26015 (bsolo) R 26013 26015 23562 0 -1 4202496 2884 0 0 0 72802 149 0 0 25 0 1 0 809861157 21524480 2818 33554432000 134512640 137138936 4288018784 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26015/statm: 5255 2818 192 642 0 4611 0
Current children cumulated CPU time (s) 729.51
Current children cumulated vsize (KiB) 21020
[startup+735.916 s]
/proc/loadavg: 2.10 2.01 1.88 3/456 26153
/proc/meminfo: memFree=24539384/32951124 swapFree=60476376/67111528
[pid=26015] ppid=26013 vsize=21020 CPUtime=735.93 cores=1,3,5,7
/proc/26015/stat : 26015 (bsolo) R 26013 26015 23562 0 -1 4202496 2884 0 0 0 73443 150 0 0 25 0 1 0 809861157 21524480 2818 33554432000 134512640 137138936 4288018784 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26015/statm: 5255 2818 192 642 0 4611 0
Current children cumulated CPU time (s) 735.93
Current children cumulated vsize (KiB) 21020
[startup+739.101 s]
/proc/loadavg: 2.10 2.01 1.88 3/456 26153
/proc/meminfo: memFree=24539012/32951124 swapFree=60476376/67111528
[pid=26015] ppid=26013 vsize=21020 CPUtime=739.12 cores=1,3,5,7
/proc/26015/stat : 26015 (bsolo) R 26013 26015 23562 0 -1 4202496 2884 0 0 0 73762 150 0 0 25 0 1 0 809861157 21524480 2818 33554432000 134512640 137138936 4288018784 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26015/statm: 5255 2818 192 642 0 4611 0
Current children cumulated CPU time (s) 739.12
Current children cumulated vsize (KiB) 21020
[startup+739.901 s]
/proc/loadavg: 2.10 2.01 1.88 3/456 26153
/proc/meminfo: memFree=24539012/32951124 swapFree=60476376/67111528
[pid=26015] ppid=26013 vsize=21020 CPUtime=739.92 cores=1,3,5,7
/proc/26015/stat : 26015 (bsolo) R 26013 26015 23562 0 -1 4202496 2884 0 0 0 73841 151 0 0 25 0 1 0 809861157 21524480 2818 33554432000 134512640 137138936 4288018784 18446744073709551615 134575826 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26015/statm: 5255 2818 192 642 0 4611 0
Current children cumulated CPU time (s) 739.92
Current children cumulated vsize (KiB) 21020
[startup+740.701 s]
/proc/loadavg: 2.09 2.01 1.88 3/456 26153
/proc/meminfo: memFree=24539260/32951124 swapFree=60476376/67111528
[pid=26015] ppid=26013 vsize=21020 CPUtime=740.72 cores=1,3,5,7
/proc/26015/stat : 26015 (bsolo) R 26013 26015 23562 0 -1 4202496 2884 0 0 0 73921 151 0 0 25 0 1 0 809861157 21524480 2818 33554432000 134512640 137138936 4288018784 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26015/statm: 5255 2818 192 642 0 4611 0
Current children cumulated CPU time (s) 740.72
Current children cumulated vsize (KiB) 21020
[startup+741.1 s]
/proc/loadavg: 2.09 2.01 1.88 3/456 26153
/proc/meminfo: memFree=24539260/32951124 swapFree=60476376/67111528
[pid=26015] ppid=26013 vsize=21020 CPUtime=741.12 cores=1,3,5,7
/proc/26015/stat : 26015 (bsolo) R 26013 26015 23562 0 -1 4202496 2884 0 0 0 73961 151 0 0 25 0 1 0 809861157 21524480 2818 33554432000 134512640 137138936 4288018784 18446744073709551615 134542369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26015/statm: 5255 2818 192 642 0 4611 0
Current children cumulated CPU time (s) 741.12
Current children cumulated vsize (KiB) 21020
Child status: 0
Real time (s): 741.167
CPU time (s): 741.187
CPU user time (s): 739.677
CPU system time (s): 1.51077
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 21020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 739.677
system time used= 1.51077
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2884
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= 1241
runsolver used 3.22351 second user time and 7.55785 second system time
The end