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-3463541-1307175404/watcher-3463541-1307175404 -o /tmp/evaluation-result-3463541-1307175404/solver-3463541-1307175404 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463541-1307175404.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.96 2.01 1.91 2/455 26212
/proc/meminfo: memFree=24545808/32951124 swapFree=60476376/67111528
[pid=26212] ppid=26210 vsize=12536 CPUtime=0.01 cores=1,3,5,7
/proc/26212/stat : 26212 (bsolo) R 26210 26212 23562 0 -1 4202496 502 0 0 0 1 0 0 0 25 0 1 0 809956344 12836864 457 33554432000 134512640 137138936 4289732560 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26212/statm: 3134 457 211 642 0 2227 0
[startup+0.0392849 s]
/proc/loadavg: 1.96 2.01 1.91 2/455 26212
/proc/meminfo: memFree=24545808/32951124 swapFree=60476376/67111528
[pid=26212] ppid=26210 vsize=13900 CPUtime=0.03 cores=1,3,5,7
/proc/26212/stat : 26212 (bsolo) R 26210 26212 23562 0 -1 4202496 921 0 0 0 3 0 0 0 25 0 1 0 809956344 14233600 876 33554432000 134512640 137138936 4289732560 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26212/statm: 3475 876 303 642 0 2568 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13900
[startup+0.100274 s]
/proc/loadavg: 1.96 2.01 1.91 2/455 26212
/proc/meminfo: memFree=24545808/32951124 swapFree=60476376/67111528
[pid=26212] ppid=26210 vsize=16504 CPUtime=0.09 cores=1,3,5,7
/proc/26212/stat : 26212 (bsolo) R 26210 26212 23562 0 -1 4202496 1968 0 0 0 9 0 0 0 25 0 1 0 809956344 16900096 1660 33554432000 134512640 137138936 4289732560 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26212/statm: 4126 1660 184 642 0 3482 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16504
[startup+0.30025 s]
/proc/loadavg: 1.96 2.01 1.91 2/455 26212
/proc/meminfo: memFree=24545808/32951124 swapFree=60476376/67111528
[pid=26212] ppid=26210 vsize=17336 CPUtime=0.29 cores=1,3,5,7
/proc/26212/stat : 26212 (bsolo) R 26210 26212 23562 0 -1 4202496 2934 0 0 0 25 4 0 0 25 0 1 0 809956344 17752064 1893 33554432000 134512640 137138936 4289732560 18446744073709551615 134601114 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26212/statm: 4334 1893 192 642 0 3690 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17336
[startup+0.700164 s]
/proc/loadavg: 1.96 2.01 1.91 2/455 26212
/proc/meminfo: memFree=24545808/32951124 swapFree=60476376/67111528
[pid=26212] ppid=26210 vsize=19548 CPUtime=0.69 cores=1,3,5,7
/proc/26212/stat : 26212 (bsolo) R 26210 26212 23562 0 -1 4202496 3508 0 0 0 65 4 0 0 25 0 1 0 809956344 20017152 2467 33554432000 134512640 137138936 4289732560 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26212/statm: 4887 2467 192 642 0 4243 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19548
[startup+1.50102 s]
/proc/loadavg: 1.96 2.01 1.91 3/456 26213
/proc/meminfo: memFree=24534144/32951124 swapFree=60476376/67111528
[pid=26212] ppid=26210 vsize=23716 CPUtime=1.49 cores=1,3,5,7
/proc/26212/stat : 26212 (bsolo) R 26210 26212 23562 0 -1 4202496 4538 0 0 0 144 5 0 0 25 0 1 0 809956344 24285184 3497 33554432000 134512640 137138936 4289732560 18446744073709551615 134600117 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26212/statm: 5929 3497 192 642 0 5285 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23716
[startup+3.10072 s]
/proc/loadavg: 1.96 2.01 1.91 3/456 26213
/proc/meminfo: memFree=24528464/32951124 swapFree=60476376/67111528
[pid=26212] ppid=26210 vsize=30416 CPUtime=3.09 cores=1,3,5,7
/proc/26212/stat : 26212 (bsolo) R 26210 26212 23562 0 -1 4202496 6213 0 0 0 303 6 0 0 25 0 1 0 809956344 31145984 5172 33554432000 134512640 137138936 4289732560 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26212/statm: 7604 5172 192 642 0 6960 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30416
[startup+6.30013 s]
/proc/loadavg: 1.96 2.01 1.91 3/456 26213
/proc/meminfo: memFree=24514892/32951124 swapFree=60476376/67111528
[pid=26212] ppid=26210 vsize=43560 CPUtime=6.29 cores=1,3,5,7
/proc/26212/stat : 26212 (bsolo) R 26210 26212 23562 0 -1 4202496 9481 0 0 0 621 8 0 0 25 0 1 0 809956344 44605440 8440 33554432000 134512640 137138936 4289732560 18446744073709551615 134572768 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26212/statm: 10890 8440 192 642 0 10246 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 43560
[startup+12.701 s]
/proc/loadavg: 1.97 2.01 1.91 3/456 26213
/proc/meminfo: memFree=24490544/32951124 swapFree=60476376/67111528
[pid=26212] ppid=26210 vsize=64876 CPUtime=12.69 cores=1,3,5,7
/proc/26212/stat : 26212 (bsolo) R 26210 26212 23562 0 -1 4202496 14833 0 0 0 1260 9 0 0 25 0 1 0 809956344 66433024 13792 33554432000 134512640 137138936 4289732560 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26212/statm: 16219 13792 192 642 0 15575 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 64876
[startup+25.5006 s]
/proc/loadavg: 1.97 2.01 1.91 3/456 26213
/proc/meminfo: memFree=24458316/32951124 swapFree=60476376/67111528
[pid=26212] ppid=26210 vsize=96052 CPUtime=25.49 cores=1,3,5,7
/proc/26212/stat : 26212 (bsolo) R 26210 26212 23562 0 -1 4202496 22628 0 0 0 2537 12 0 0 25 0 1 0 809956344 98357248 21587 33554432000 134512640 137138936 4289732560 18446744073709551615 134542495 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26212/statm: 24013 21587 192 642 0 23369 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 96052
[startup+51.1009 s]
/proc/loadavg: 1.98 2.00 1.91 3/456 26214
/proc/meminfo: memFree=24412272/32951124 swapFree=60476376/67111528
[pid=26212] ppid=26210 vsize=143120 CPUtime=51.09 cores=1,3,5,7
/proc/26212/stat : 26212 (bsolo) R 26210 26212 23562 0 -1 4202496 34399 0 0 0 5093 16 0 0 25 0 1 0 809956344 146554880 33358 33554432000 134512640 137138936 4289732560 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26212/statm: 35780 33358 192 642 0 35136 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 143120
[startup+102.317 s]
/proc/loadavg: 1.99 2.00 1.91 3/456 26216
/proc/meminfo: memFree=24296072/32951124 swapFree=60476376/67111528
[pid=26212] ppid=26210 vsize=257884 CPUtime=102.31 cores=1,3,5,7
/proc/26212/stat : 26212 (bsolo) R 26210 26212 23562 0 -1 4202496 63071 0 0 0 10207 24 0 0 25 0 1 0 809956344 264073216 62030 33554432000 134512640 137138936 4289732560 18446744073709551615 136521049 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26212/statm: 64471 62030 192 642 0 63827 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 257884
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.91 3/456 26217
/proc/meminfo: memFree=24243464/32951124 swapFree=60476376/67111528
[pid=26212] ppid=26210 vsize=308268 CPUtime=162.3 cores=1,3,5,7
/proc/26212/stat : 26212 (bsolo) R 26210 26212 23562 0 -1 4202496 75782 0 0 0 16198 32 0 0 25 0 1 0 809956344 315666432 74626 33554432000 134512640 137138936 4289732560 18446744073709551615 136504016 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26212/statm: 77067 74626 192 642 0 76423 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 308268
[startup+222.3 s]
/proc/loadavg: 1.99 2.00 1.91 3/456 26219
/proc/meminfo: memFree=24243420/32951124 swapFree=60476376/67111528
[pid=26212] ppid=26210 vsize=308268 CPUtime=222.29 cores=1,3,5,7
/proc/26212/stat : 26212 (bsolo) R 26210 26212 23562 0 -1 4202496 75782 0 0 0 22194 35 0 0 25 0 1 0 809956344 315666432 74626 33554432000 134512640 137138936 4289732560 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26212/statm: 77067 74626 192 642 0 76423 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 308268
[startup+282.3 s]
/proc/loadavg: 1.99 2.00 1.91 3/456 26220
/proc/meminfo: memFree=24216368/32951124 swapFree=60476376/67111528
[pid=26212] ppid=26210 vsize=335376 CPUtime=282.29 cores=1,3,5,7
/proc/26212/stat : 26212 (bsolo) R 26210 26212 23562 0 -1 4202496 82578 0 0 0 28188 41 0 0 25 0 1 0 809956344 343425024 81422 33554432000 134512640 137138936 4289732560 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26212/statm: 83844 81422 192 642 0 83200 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 335376
[startup+342.3 s]
/proc/loadavg: 1.99 2.00 1.91 3/456 26222
/proc/meminfo: memFree=24147156/32951124 swapFree=60476376/67111528
[pid=26212] ppid=26210 vsize=404972 CPUtime=342.3 cores=1,3,5,7
/proc/26212/stat : 26212 (bsolo) R 26210 26212 23562 0 -1 4202496 99972 0 0 0 34182 48 0 0 25 0 1 0 809956344 414691328 98816 33554432000 134512640 137138936 4289732560 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26212/statm: 101243 98816 192 642 0 100599 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 404972
[startup+402.301 s]
/proc/loadavg: 2.21 2.06 1.93 3/456 26251
/proc/meminfo: memFree=24136432/32951124 swapFree=60476376/67111528
[pid=26212] ppid=26210 vsize=420648 CPUtime=402.3 cores=1,3,5,7
/proc/26212/stat : 26212 (bsolo) R 26210 26212 23562 0 -1 4202496 104006 0 0 0 40178 52 0 0 25 0 1 0 809956344 430743552 102714 33554432000 134512640 137138936 4289732560 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26212/statm: 105162 102714 192 642 0 104518 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 420648
[startup+462.301 s]
/proc/loadavg: 2.12 2.06 1.94 3/456 26252
/proc/meminfo: memFree=24097648/32951124 swapFree=60476376/67111528
[pid=26212] ppid=26210 vsize=420648 CPUtime=462.3 cores=1,3,5,7
/proc/26212/stat : 26212 (bsolo) R 26210 26212 23562 0 -1 4202496 104006 0 0 0 46172 58 0 0 25 0 1 0 809956344 430743552 102714 33554432000 134512640 137138936 4289732560 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26212/statm: 105162 102714 192 642 0 104518 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 420648
[startup+522.301 s]
/proc/loadavg: 2.20 2.08 1.95 3/456 26257
/proc/meminfo: memFree=24097468/32951124 swapFree=60476376/67111528
[pid=26212] ppid=26210 vsize=420648 CPUtime=522.21 cores=1,3,5,7
/proc/26212/stat : 26212 (bsolo) R 26210 26212 23562 0 -1 4202496 104006 0 0 0 52158 63 0 0 25 0 1 0 809956344 430743552 102714 33554432000 134512640 137138936 4289732560 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26212/statm: 105162 102714 192 642 0 104518 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 420648
[startup+582.301 s]
/proc/loadavg: 2.07 2.06 1.95 3/456 26258
/proc/meminfo: memFree=24096852/32951124 swapFree=60476376/67111528
[pid=26212] ppid=26210 vsize=420648 CPUtime=582.21 cores=1,3,5,7
/proc/26212/stat : 26212 (bsolo) R 26210 26212 23562 0 -1 4202496 104006 0 0 0 58156 65 0 0 25 0 1 0 809956344 430743552 102714 33554432000 134512640 137138936 4289732560 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26212/statm: 105162 102714 192 642 0 104518 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 420648
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=24065868/32951124 swapFree=60476376/67111528
[pid=26212] ppid=26210 vsize=449044 CPUtime=1122.23 cores=1,3,5,7
/proc/26212/stat : 26212 (bsolo) R 26210 26212 23562 0 -1 4202496 111253 0 0 0 112132 91 0 0 25 0 1 0 809956344 459821056 109811 33554432000 134512640 137138936 4289732560 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26212/statm: 112261 109811 192 642 0 111617 0
Current children cumulated CPU time (s) 1122.23
Current children cumulated vsize (KiB) 449044
[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/456 26274
/proc/meminfo: memFree=24057896/32951124 swapFree=60476376/67111528
[pid=26212] ppid=26210 vsize=457988 CPUtime=1182.23 cores=1,3,5,7
/proc/26212/stat : 26212 (bsolo) R 26210 26212 23562 0 -1 4202496 113489 0 0 0 118130 93 0 0 25 0 1 0 809956344 468979712 112047 33554432000 134512640 137138936 4289732560 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26212/statm: 114497 112047 192 642 0 113853 0
Current children cumulated CPU time (s) 1182.23
Current children cumulated vsize (KiB) 457988
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/456 26276
/proc/meminfo: memFree=24019920/32951124 swapFree=60476376/67111528
[pid=26212] ppid=26210 vsize=495808 CPUtime=1242.23 cores=1,3,5,7
/proc/26212/stat : 26212 (bsolo) R 26210 26212 23562 0 -1 4202496 122956 0 0 0 124125 98 0 0 25 0 1 0 809956344 507707392 121514 33554432000 134512640 137138936 4289732560 18446744073709551615 134618140 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26212/statm: 123952 121514 192 642 0 123308 0
Current children cumulated CPU time (s) 1242.23
Current children cumulated vsize (KiB) 495808
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/456 26278
/proc/meminfo: memFree=24009232/32951124 swapFree=60476376/67111528
[pid=26212] ppid=26210 vsize=505776 CPUtime=1302.25 cores=1,3,5,7
/proc/26212/stat : 26212 (bsolo) R 26210 26212 23562 0 -1 4202496 125613 0 0 0 130124 101 0 0 25 0 1 0 809956344 517914624 124004 33554432000 134512640 137138936 4289732560 18446744073709551615 136502635 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26212/statm: 126444 124004 192 642 0 125800 0
Current children cumulated CPU time (s) 1302.25
Current children cumulated vsize (KiB) 505776
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/456 26279
/proc/meminfo: memFree=24009076/32951124 swapFree=60476376/67111528
[pid=26212] ppid=26210 vsize=505776 CPUtime=1362.23 cores=1,3,5,7
/proc/26212/stat : 26212 (bsolo) R 26210 26212 23562 0 -1 4202496 125613 0 0 0 136121 102 0 0 25 0 1 0 809956344 517914624 124004 33554432000 134512640 137138936 4289732560 18446744073709551615 134598928 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26212/statm: 126444 124004 192 642 0 125800 0
Current children cumulated CPU time (s) 1362.23
Current children cumulated vsize (KiB) 505776
[startup+1422.32 s]
/proc/loadavg: 2.00 2.00 1.96 3/456 26281
/proc/meminfo: memFree=24009304/32951124 swapFree=60476376/67111528
[pid=26212] ppid=26210 vsize=505776 CPUtime=1422.25 cores=1,3,5,7
/proc/26212/stat : 26212 (bsolo) R 26210 26212 23562 0 -1 4202496 125613 0 0 0 142120 105 0 0 25 0 1 0 809956344 517914624 124004 33554432000 134512640 137138936 4289732560 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26212/statm: 126444 124004 192 642 0 125800 0
Current children cumulated CPU time (s) 1422.25
Current children cumulated vsize (KiB) 505776
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/456 26282
/proc/meminfo: memFree=24009276/32951124 swapFree=60476376/67111528
[pid=26212] ppid=26210 vsize=505776 CPUtime=1482.24 cores=1,3,5,7
/proc/26212/stat : 26212 (bsolo) R 26210 26212 23562 0 -1 4202496 125614 0 0 0 148115 109 0 0 25 0 1 0 809956344 517914624 124005 33554432000 134512640 137138936 4289732560 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26212/statm: 126444 124005 192 642 0 125800 0
Current children cumulated CPU time (s) 1482.24
Current children cumulated vsize (KiB) 505776
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 1.97 3/456 26284
/proc/meminfo: memFree=24009372/32951124 swapFree=60476376/67111528
[pid=26212] ppid=26210 vsize=505776 CPUtime=1542.24 cores=1,3,5,7
/proc/26212/stat : 26212 (bsolo) R 26210 26212 23562 0 -1 4202496 125614 0 0 0 154113 111 0 0 25 0 1 0 809956344 517914624 124005 33554432000 134512640 137138936 4289732560 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26212/statm: 126444 124005 192 642 0 125800 0
Current children cumulated CPU time (s) 1542.24
Current children cumulated vsize (KiB) 505776
[startup+1602.3 s]
/proc/loadavg: 2.13 2.04 1.98 3/456 26286
/proc/meminfo: memFree=24009224/32951124 swapFree=60476376/67111528
[pid=26212] ppid=26210 vsize=505776 CPUtime=1602.24 cores=1,3,5,7
/proc/26212/stat : 26212 (bsolo) R 26210 26212 23562 0 -1 4202496 125614 0 0 0 160112 112 0 0 25 0 1 0 809956344 517914624 124005 33554432000 134512640 137138936 4289732560 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26212/statm: 126444 124005 192 642 0 125800 0
Current children cumulated CPU time (s) 1602.24
Current children cumulated vsize (KiB) 505776
[startup+1662.3 s]
/proc/loadavg: 2.10 2.04 1.98 3/456 26287
/proc/meminfo: memFree=24010068/32951124 swapFree=60476376/67111528
[pid=26212] ppid=26210 vsize=505776 CPUtime=1662.24 cores=1,3,5,7
/proc/26212/stat : 26212 (bsolo) R 26210 26212 23562 0 -1 4202496 125614 0 0 0 166111 113 0 0 25 0 1 0 809956344 517914624 124005 33554432000 134512640 137138936 4289732560 18446744073709551615 134542372 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26212/statm: 126444 124005 192 642 0 125800 0
Current children cumulated CPU time (s) 1662.24
Current children cumulated vsize (KiB) 505776
[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 1.98 3/456 26289
/proc/meminfo: memFree=24010168/32951124 swapFree=60476376/67111528
[pid=26212] ppid=26210 vsize=505776 CPUtime=1722.25 cores=1,3,5,7
/proc/26212/stat : 26212 (bsolo) R 26210 26212 23562 0 -1 4202496 125614 0 0 0 172107 118 0 0 25 0 1 0 809956344 517914624 124005 33554432000 134512640 137138936 4289732560 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26212/statm: 126444 124005 192 642 0 125800 0
Current children cumulated CPU time (s) 1722.25
Current children cumulated vsize (KiB) 505776
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 1.98 3/456 26290
/proc/meminfo: memFree=24009028/32951124 swapFree=60476376/67111528
[pid=26212] ppid=26210 vsize=505824 CPUtime=1782.24 cores=1,3,5,7
/proc/26212/stat : 26212 (bsolo) R 26210 26212 23562 0 -1 4202496 125626 0 0 0 178103 121 0 0 25 0 1 0 809956344 517963776 124017 33554432000 134512640 137138936 4289732560 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26212/statm: 126456 124017 192 642 0 125812 0
Current children cumulated CPU time (s) 1782.24
Current children cumulated vsize (KiB) 505824
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.01 2.02 1.98 3/456 26290
/proc/meminfo: memFree=24009028/32951124 swapFree=60476376/67111528
[pid=26212] ppid=26210 vsize=505828 CPUtime=1785.44 cores=1,3,5,7
/proc/26212/stat : 26212 (bsolo) R 26210 26212 23562 0 -1 4202496 125627 0 0 0 178423 121 0 0 25 0 1 0 809956344 517967872 124018 33554432000 134512640 137138936 4289732560 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26212/statm: 126457 124018 192 642 0 125813 0
Current children cumulated CPU time (s) 1785.44
Current children cumulated vsize (KiB) 505828
[startup+1791.92 s]
/proc/loadavg: 2.01 2.02 1.98 3/456 26291
/proc/meminfo: memFree=24009868/32951124 swapFree=60476376/67111528
[pid=26212] ppid=26210 vsize=505832 CPUtime=1791.85 cores=1,3,5,7
/proc/26212/stat : 26212 (bsolo) R 26210 26212 23562 0 -1 4202496 125628 0 0 0 179064 121 0 0 25 0 1 0 809956344 517971968 124019 33554432000 134512640 137138936 4289732560 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26212/statm: 126458 124019 192 642 0 125814 0
Current children cumulated CPU time (s) 1791.85
Current children cumulated vsize (KiB) 505832
[startup+1795.1 s]
/proc/loadavg: 2.01 2.02 1.98 3/456 26291
/proc/meminfo: memFree=24009868/32951124 swapFree=60476376/67111528
[pid=26212] ppid=26210 vsize=505832 CPUtime=1795.05 cores=1,3,5,7
/proc/26212/stat : 26212 (bsolo) R 26210 26212 23562 0 -1 4202496 125628 0 0 0 179384 121 0 0 25 0 1 0 809956344 517971968 124019 33554432000 134512640 137138936 4289732560 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26212/statm: 126458 124019 192 642 0 125814 0
Current children cumulated CPU time (s) 1795.05
Current children cumulated vsize (KiB) 505832
[startup+1796.7 s]
/proc/loadavg: 2.01 2.02 1.98 3/456 26291
/proc/meminfo: memFree=24009868/32951124 swapFree=60476376/67111528
[pid=26212] ppid=26210 vsize=505832 CPUtime=1796.64 cores=1,3,5,7
/proc/26212/stat : 26212 (bsolo) R 26210 26212 23562 0 -1 4202496 125628 0 0 0 179543 121 0 0 25 0 1 0 809956344 517971968 124019 33554432000 134512640 137138936 4289732560 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26212/statm: 126458 124019 192 642 0 125814 0
Current children cumulated CPU time (s) 1796.64
Current children cumulated vsize (KiB) 505832
[startup+1797.5 s]
/proc/loadavg: 2.01 2.02 1.98 3/456 26291
/proc/meminfo: memFree=24009620/32951124 swapFree=60476376/67111528
[pid=26212] ppid=26210 vsize=505832 CPUtime=1797.44 cores=1,3,5,7
/proc/26212/stat : 26212 (bsolo) R 26210 26212 23562 0 -1 4202496 125628 0 0 0 179623 121 0 0 25 0 1 0 809956344 517971968 124019 33554432000 134512640 137138936 4289732560 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26212/statm: 126458 124019 192 642 0 125814 0
Current children cumulated CPU time (s) 1797.44
Current children cumulated vsize (KiB) 505832
[startup+1797.9 s]
/proc/loadavg: 2.01 2.02 1.98 3/456 26291
/proc/meminfo: memFree=24009620/32951124 swapFree=60476376/67111528
[pid=26212] ppid=26210 vsize=505832 CPUtime=1797.85 cores=1,3,5,7
/proc/26212/stat : 26212 (bsolo) R 26210 26212 23562 0 -1 4202496 125628 0 0 0 179663 122 0 0 25 0 1 0 809956344 517971968 124019 33554432000 134512640 137138936 4289732560 18446744073709551615 134618140 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26212/statm: 126458 124019 192 642 0 125814 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 505832
[startup+1798 s]
/proc/loadavg: 2.01 2.02 1.98 3/456 26291
/proc/meminfo: memFree=24009620/32951124 swapFree=60476376/67111528
[pid=26212] ppid=26210 vsize=505832 CPUtime=1797.95 cores=1,3,5,7
/proc/26212/stat : 26212 (bsolo) R 26210 26212 23562 0 -1 4202496 125628 0 0 0 179673 122 0 0 25 0 1 0 809956344 517971968 124019 33554432000 134512640 137138936 4289732560 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26212/statm: 126458 124019 192 642 0 125814 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 505832
Child status: 0
Real time (s): 1798.07
CPU time (s): 1798.02
CPU user time (s): 1796.78
CPU system time (s): 1.24081
CPU usage (%): 99.9972
Max. virtual memory (cumulated for all children) (KiB): 506444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.78
system time used= 1.24081
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125628
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= 6
involuntary context switches= 2773
runsolver used 7.67883 second user time and 18.4782 second system time
The end