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-3463500-1307175320/watcher-3463500-1307175320 -o /tmp/evaluation-result-3463500-1307175320/solver-3463500-1307175320 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463500-1307175320.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.86 1.85 1.72 3/273 13057
/proc/meminfo: memFree=28432724/32951124 swapFree=55664332/67111528
[pid=13057] ppid=13055 vsize=14516 CPUtime=0 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo) R 13055 13057 10640 0 -1 4202496 328 0 0 0 0 0 0 0 24 0 1 0 829132779 14864384 282 33554432000 134512640 137138936 4288150048 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13057/statm: 3629 282 180 642 0 2089 0
[startup+0.0426379 s]
/proc/loadavg: 1.86 1.85 1.72 3/273 13057
/proc/meminfo: memFree=28432724/32951124 swapFree=55664332/67111528
[pid=13057] ppid=13055 vsize=16756 CPUtime=0.03 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo) R 13055 13057 10640 0 -1 4202496 1024 0 0 0 3 0 0 0 24 0 1 0 829132779 17158144 978 33554432000 134512640 137138936 4288150048 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13057/statm: 4189 978 307 642 0 2649 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 16756
[startup+0.100641 s]
/proc/loadavg: 1.86 1.85 1.72 3/273 13057
/proc/meminfo: memFree=28432724/32951124 swapFree=55664332/67111528
[pid=13057] ppid=13055 vsize=20288 CPUtime=0.09 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo) R 13055 13057 10640 0 -1 4202496 2109 0 0 0 9 0 0 0 24 0 1 0 829132779 20774912 2063 33554432000 134512640 137138936 4288150048 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13057/statm: 5072 2063 512 642 0 3532 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20288
[startup+0.300595 s]
/proc/loadavg: 1.86 1.85 1.72 3/273 13057
/proc/meminfo: memFree=28432724/32951124 swapFree=55664332/67111528
[pid=13057] ppid=13055 vsize=35476 CPUtime=0.29 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo) R 13055 13057 10640 0 -1 4202496 7298 0 0 0 29 0 0 0 25 0 1 0 829132779 36327424 6237 33554432000 134512640 137138936 4288150048 18446744073709551615 134543154 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13057/statm: 8869 6237 184 642 0 8225 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35476
[startup+0.700534 s]
/proc/loadavg: 1.86 1.85 1.72 3/273 13057
/proc/meminfo: memFree=28432724/32951124 swapFree=55664332/67111528
[pid=13057] ppid=13055 vsize=36400 CPUtime=0.69 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo) R 13055 13057 10640 0 -1 4202496 7547 0 0 0 69 0 0 0 25 0 1 0 829132779 37273600 6486 33554432000 134512640 137138936 4288150048 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13057/statm: 9100 6486 184 642 0 8456 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36400
[startup+1.50042 s]
/proc/loadavg: 1.86 1.85 1.72 3/274 13058
/proc/meminfo: memFree=28407420/32951124 swapFree=55664332/67111528
[pid=13057] ppid=13055 vsize=36400 CPUtime=1.49 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo) R 13055 13057 10640 0 -1 4202496 7549 0 0 0 149 0 0 0 25 0 1 0 829132779 37273600 6488 33554432000 134512640 137138936 4288150048 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13057/statm: 9100 6488 184 642 0 8456 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36400
[startup+3.10113 s]
/proc/loadavg: 1.86 1.85 1.72 3/274 13058
/proc/meminfo: memFree=28406668/32951124 swapFree=55664332/67111528
[pid=13057] ppid=13055 vsize=36400 CPUtime=3.09 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo) R 13055 13057 10640 0 -1 4202496 7555 0 0 0 309 0 0 0 25 0 1 0 829132779 37273600 6494 33554432000 134512640 137138936 4288150048 18446744073709551615 134566270 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13057/statm: 9100 6494 184 642 0 8456 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36400
[startup+6.30051 s]
/proc/loadavg: 1.87 1.85 1.72 3/274 13058
/proc/meminfo: memFree=28406668/32951124 swapFree=55664332/67111528
[pid=13057] ppid=13055 vsize=36400 CPUtime=6.28 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo) R 13055 13057 10640 0 -1 4202496 7562 0 0 0 628 0 0 0 25 0 1 0 829132779 37273600 6501 33554432000 134512640 137138936 4288150048 18446744073709551615 136501718 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13057/statm: 9100 6501 184 642 0 8456 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 36400
[startup+12.7003 s]
/proc/loadavg: 1.88 1.86 1.73 3/274 13059
/proc/meminfo: memFree=28406168/32951124 swapFree=55664332/67111528
[pid=13057] ppid=13055 vsize=36532 CPUtime=12.69 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo) R 13055 13057 10640 0 -1 4202496 7574 0 0 0 1268 1 0 0 25 0 1 0 829132779 37408768 6513 33554432000 134512640 137138936 4288150048 18446744073709551615 136504212 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13057/statm: 9133 6513 184 642 0 8489 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36532
[startup+25.501 s]
/proc/loadavg: 1.98 1.88 1.74 3/274 13059
/proc/meminfo: memFree=28406576/32951124 swapFree=55664332/67111528
[pid=13057] ppid=13055 vsize=36532 CPUtime=25.49 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo) R 13055 13057 10640 0 -1 4202496 7588 0 0 0 2547 2 0 0 25 0 1 0 829132779 37408768 6527 33554432000 134512640 137138936 4288150048 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13057/statm: 9133 6527 184 642 0 8489 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 36532
[startup+51.1003 s]
/proc/loadavg: 1.99 1.89 1.74 3/274 13060
/proc/meminfo: memFree=28405964/32951124 swapFree=55664332/67111528
[pid=13057] ppid=13055 vsize=36664 CPUtime=51.09 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo) R 13055 13057 10640 0 -1 4202496 7613 0 0 0 5106 3 0 0 25 0 1 0 829132779 37543936 6552 33554432000 134512640 137138936 4288150048 18446744073709551615 134543407 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13057/statm: 9166 6552 184 642 0 8522 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 36664
[startup+102.31 s]
/proc/loadavg: 1.99 1.90 1.75 3/274 13061
/proc/meminfo: memFree=28395044/32951124 swapFree=55664332/67111528
[pid=13057] ppid=13055 vsize=48716 CPUtime=102.3 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo) R 13055 13057 10640 0 -1 4202496 11185 0 0 0 10221 9 0 0 25 0 1 0 829132779 49885184 9567 33554432000 134512640 137138936 4288150048 18446744073709551615 134542776 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13057/statm: 12179 9567 192 642 0 11535 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 48716
[startup+162.301 s]
/proc/loadavg: 1.99 1.92 1.76 3/274 13063
/proc/meminfo: memFree=28353352/32951124 swapFree=55664332/67111528
[pid=13057] ppid=13055 vsize=90068 CPUtime=162.29 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo) R 13055 13057 10640 0 -1 4202496 21519 0 0 0 16217 12 0 0 25 0 1 0 829132779 92229632 19901 33554432000 134512640 137138936 4288150048 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13057/statm: 22517 19901 192 642 0 21873 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 90068
[startup+222.301 s]
/proc/loadavg: 2.03 1.94 1.78 3/274 13064
/proc/meminfo: memFree=28320608/32951124 swapFree=55664332/67111528
[pid=13057] ppid=13055 vsize=122748 CPUtime=222.29 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo) R 13055 13057 10640 0 -1 4202496 29690 0 0 0 22215 14 0 0 25 0 1 0 829132779 125693952 28072 33554432000 134512640 137138936 4288150048 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13057/statm: 30687 28072 192 642 0 30043 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 122748
[startup+282.301 s]
/proc/loadavg: 2.01 1.95 1.79 3/274 13066
/proc/meminfo: memFree=28291436/32951124 swapFree=55664332/67111528
[pid=13057] ppid=13055 vsize=152900 CPUtime=282.3 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo) R 13055 13057 10640 0 -1 4202496 37227 0 0 0 28213 17 0 0 25 0 1 0 829132779 156569600 35609 33554432000 134512640 137138936 4288150048 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13057/statm: 38225 35609 192 642 0 37581 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 152900
[startup+342.301 s]
/proc/loadavg: 2.00 1.96 1.80 3/274 13067
/proc/meminfo: memFree=28269600/32951124 swapFree=55664332/67111528
[pid=13057] ppid=13055 vsize=174352 CPUtime=342.3 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo) R 13055 13057 10640 0 -1 4202496 42589 0 0 0 34212 18 0 0 25 0 1 0 829132779 178536448 40971 33554432000 134512640 137138936 4288150048 18446744073709551615 134542128 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13057/statm: 43588 40971 192 642 0 42944 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 174352
[startup+402.301 s]
/proc/loadavg: 2.00 1.96 1.81 3/274 13069
/proc/meminfo: memFree=28245396/32951124 swapFree=55664332/67111528
[pid=13057] ppid=13055 vsize=198904 CPUtime=402.3 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo) R 13055 13057 10640 0 -1 4202496 48749 0 0 0 40210 20 0 0 25 0 1 0 829132779 203677696 47131 33554432000 134512640 137138936 4288150048 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13057/statm: 49726 47131 192 642 0 49082 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 198904
[startup+462.301 s]
/proc/loadavg: 2.00 1.97 1.82 3/274 13071
/proc/meminfo: memFree=28214384/32951124 swapFree=55664332/67111528
[pid=13057] ppid=13055 vsize=229284 CPUtime=462.3 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo) R 13055 13057 10640 0 -1 4202496 56323 0 0 0 46208 22 0 0 25 0 1 0 829132779 234786816 54705 33554432000 134512640 137138936 4288150048 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13057/statm: 57321 54705 192 642 0 56677 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 229284
[startup+522.301 s]
/proc/loadavg: 2.03 1.98 1.83 3/274 13072
/proc/meminfo: memFree=28188076/32951124 swapFree=55664332/67111528
[pid=13057] ppid=13055 vsize=255776 CPUtime=522.3 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo) R 13055 13057 10640 0 -1 4202496 62962 0 0 0 52206 24 0 0 25 0 1 0 829132779 261914624 61344 33554432000 134512640 137138936 4288150048 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13057/statm: 63944 61344 192 642 0 63300 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 255776
[startup+582.301 s]
/proc/loadavg: 2.01 1.98 1.84 3/274 13101
/proc/meminfo: memFree=28168320/32951124 swapFree=55664332/67111528
[pid=13057] ppid=13055 vsize=277276 CPUtime=582.31 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo) R 13055 13057 10640 0 -1 4202496 68321 0 0 0 58205 26 0 0 25 0 1 0 829132779 283930624 66703 33554432000 134512640 137138936 4288150048 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13057/statm: 69319 66703 192 642 0 68675 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 277276
[startup+642.301 s]
/proc/loadavg: 2.00 1.98 1.85 3/274 13102
/proc/meminfo: memFree=28131988/32951124 swapFree=55664332/67111528
[pid=13057] ppid=13055 vsize=296700 CPUtime=642.31 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo) R 13055 13057 10640 0 -1 4202496 73177 0 0 0 64203 28 0 0 25 0 1 0 829132779 303820800 71559 33554432000 134512640 137138936 4288150048 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13057/statm: 74175 71559 192 642 0 73531 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 296700
[startup+702.301 s]
/proc/loadavg: 2.00 1.98 1.85 3/274 13104
/proc/meminfo: memFree=28110644/32951124 swapFree=55664332/67111528
[pid=13057] ppid=13055 vsize=317908 CPUtime=702.31 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo) R 13055 13057 10640 0 -1 4202496 78480 0 0 0 70200 31 0 0 25 0 1 0 829132779 325537792 76862 33554432000 134512640 137138936 4288150048 18446744073709551615 134575200 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13057/statm: 79477 76862 192 642 0 78833 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 317908
Solver just ended. Dumping a history of the last processes samples
[startup+703.901 s]
/proc/loadavg: 2.00 1.98 1.85 3/274 13104
/proc/meminfo: memFree=28110396/32951124 swapFree=55664332/67111528
[pid=13057] ppid=13055 vsize=318176 CPUtime=703.92 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo) R 13055 13057 10640 0 -1 4202496 78552 0 0 0 70361 31 0 0 25 0 1 0 829132779 325812224 76934 33554432000 134512640 137138936 4288150048 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13057/statm: 79544 76934 192 642 0 78900 0
Current children cumulated CPU time (s) 703.92
Current children cumulated vsize (KiB) 318176
[startup+710.301 s]
/proc/loadavg: 2.00 1.98 1.85 3/274 13104
/proc/meminfo: memFree=28107296/32951124 swapFree=55664332/67111528
[pid=13057] ppid=13055 vsize=321984 CPUtime=710.31 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo) R 13055 13057 10640 0 -1 4202496 79498 0 0 0 71000 31 0 0 25 0 1 0 829132779 329711616 77880 33554432000 134512640 137138936 4288150048 18446744073709551615 136504048 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13057/statm: 80496 77880 192 642 0 79852 0
Current children cumulated CPU time (s) 710.31
Current children cumulated vsize (KiB) 321984
[startup+711.9 s]
/proc/loadavg: 2.00 1.98 1.85 3/274 13104
/proc/meminfo: memFree=28105932/32951124 swapFree=55664332/67111528
[pid=13057] ppid=13055 vsize=322712 CPUtime=711.91 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo) R 13055 13057 10640 0 -1 4202496 79681 0 0 0 71160 31 0 0 25 0 1 0 829132779 330457088 78063 33554432000 134512640 137138936 4288150048 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13057/statm: 80678 78063 192 642 0 80034 0
Current children cumulated CPU time (s) 711.91
Current children cumulated vsize (KiB) 322712
[startup+713.501 s]
/proc/loadavg: 2.08 2.00 1.86 3/274 13104
/proc/meminfo: memFree=28105808/32951124 swapFree=55664332/67111528
[pid=13057] ppid=13055 vsize=323132 CPUtime=713.51 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo) R 13055 13057 10640 0 -1 4202496 79786 0 0 0 71320 31 0 0 25 0 1 0 829132779 330887168 78168 33554432000 134512640 137138936 4288150048 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13057/statm: 80783 78168 192 642 0 80139 0
Current children cumulated CPU time (s) 713.51
Current children cumulated vsize (KiB) 323132
[startup+713.91 s]
/proc/loadavg: 2.08 2.00 1.86 3/274 13104
/proc/meminfo: memFree=28105436/32951124 swapFree=55664332/67111528
[pid=13057] ppid=13055 vsize=323132 CPUtime=713.92 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo) R 13055 13057 10640 0 -1 4202496 79792 0 0 0 71361 31 0 0 25 0 1 0 829132779 330887168 78174 33554432000 134512640 137138936 4288150048 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13057/statm: 80783 78174 192 642 0 80139 0
Current children cumulated CPU time (s) 713.92
Current children cumulated vsize (KiB) 323132
[startup+714.101 s]
/proc/loadavg: 2.08 2.00 1.86 3/274 13104
/proc/meminfo: memFree=28105436/32951124 swapFree=55664332/67111528
[pid=13057] ppid=13055 vsize=323508 CPUtime=714.11 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo) R 13055 13057 10640 0 -1 4202496 79880 0 0 0 71380 31 0 0 25 0 1 0 829132779 331272192 78262 33554432000 134512640 137138936 4288150048 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13057/statm: 80877 78262 192 642 0 80233 0
Current children cumulated CPU time (s) 714.11
Current children cumulated vsize (KiB) 323508
Child status: 0
Real time (s): 714.16
CPU time (s): 714.177
CPU user time (s): 713.847
CPU system time (s): 0.329949
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 323508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 713.847
system time used= 0.329949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79880
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= 593
runsolver used 1.86871 second user time and 3.98239 second system time
The end