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-3463795-1307185887/watcher-3463795-1307185887 -o /tmp/evaluation-result-3463795-1307185887/solver-3463795-1307185887 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463795-1307185887.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: 2.12 2.05 2.01 3/489 31477
/proc/meminfo: memFree=26913692/32951124 swapFree=63649284/67111528
[pid=31477] ppid=31475 vsize=15764 CPUtime=0.01 cores=1,3,5,7
/proc/31477/stat : 31477 (bsolo) R 31475 31477 28154 0 -1 4202496 585 0 0 0 1 0 0 0 25 0 1 0 830187236 16142336 540 33554432000 134512640 137138936 4287748720 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31477/statm: 3941 540 211 642 0 2303 0
[startup+0.09476 s]
/proc/loadavg: 2.12 2.05 2.01 3/489 31477
/proc/meminfo: memFree=26913692/32951124 swapFree=63649284/67111528
[pid=31477] ppid=31475 vsize=20756 CPUtime=0.08 cores=1,3,5,7
/proc/31477/stat : 31477 (bsolo) R 31475 31477 28154 0 -1 4202496 2107 0 0 0 8 0 0 0 25 0 1 0 830187236 21254144 2062 33554432000 134512640 137138936 4287748720 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31477/statm: 5189 2063 491 642 0 3551 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 20756
[startup+0.100756 s]
/proc/loadavg: 2.12 2.05 2.01 3/489 31477
/proc/meminfo: memFree=26913692/32951124 swapFree=63649284/67111528
[pid=31477] ppid=31475 vsize=21168 CPUtime=0.09 cores=1,3,5,7
/proc/31477/stat : 31477 (bsolo) R 31475 31477 28154 0 -1 4202496 2215 0 0 0 9 0 0 0 25 0 1 0 830187236 21676032 2170 33554432000 134512640 137138936 4287748720 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31477/statm: 5292 2171 513 642 0 3654 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21168
[startup+0.300726 s]
/proc/loadavg: 2.12 2.05 2.01 3/489 31477
/proc/meminfo: memFree=26913692/32951124 swapFree=63649284/67111528
[pid=31477] ppid=31475 vsize=29768 CPUtime=0.29 cores=1,3,5,7
/proc/31477/stat : 31477 (bsolo) R 31475 31477 28154 0 -1 4202496 5006 0 0 0 29 0 0 0 25 0 1 0 830187236 30482432 4921 33554432000 134512640 137138936 4287748720 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31477/statm: 7442 4921 1111 642 0 5804 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29768
[startup+0.700657 s]
/proc/loadavg: 2.12 2.05 2.01 3/489 31477
/proc/meminfo: memFree=26913692/32951124 swapFree=63649284/67111528
[pid=31477] ppid=31475 vsize=37724 CPUtime=0.68 cores=1,3,5,7
/proc/31477/stat : 31477 (bsolo) R 31475 31477 28154 0 -1 4202496 7931 0 0 0 68 0 0 0 25 0 1 0 830187236 38629376 6852 33554432000 134512640 137138936 4287748720 18446744073709551615 134543407 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31477/statm: 9431 6852 184 642 0 8787 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 37724
[startup+1.50052 s]
/proc/loadavg: 2.12 2.05 2.01 3/490 31478
/proc/meminfo: memFree=26886280/32951124 swapFree=63649284/67111528
[pid=31477] ppid=31475 vsize=37724 CPUtime=1.48 cores=1,3,5,7
/proc/31477/stat : 31477 (bsolo) R 31475 31477 28154 0 -1 4202496 7932 0 0 0 148 0 0 0 25 0 1 0 830187236 38629376 6853 33554432000 134512640 137138936 4287748720 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31477/statm: 9431 6853 184 642 0 8787 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 37724
[startup+3.10026 s]
/proc/loadavg: 2.11 2.05 2.01 3/490 31478
/proc/meminfo: memFree=26885220/32951124 swapFree=63649284/67111528
[pid=31477] ppid=31475 vsize=37724 CPUtime=3.09 cores=1,3,5,7
/proc/31477/stat : 31477 (bsolo) R 31475 31477 28154 0 -1 4202496 7933 0 0 0 308 1 0 0 25 0 1 0 830187236 38629376 6854 33554432000 134512640 137138936 4287748720 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31477/statm: 9431 6854 184 642 0 8787 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37724
[startup+6.30071 s]
/proc/loadavg: 2.11 2.05 2.01 3/490 31478
/proc/meminfo: memFree=26884228/32951124 swapFree=63649284/67111528
[pid=31477] ppid=31475 vsize=37724 CPUtime=6.29 cores=1,3,5,7
/proc/31477/stat : 31477 (bsolo) R 31475 31477 28154 0 -1 4202496 7938 0 0 0 628 1 0 0 25 0 1 0 830187236 38629376 6859 33554432000 134512640 137138936 4287748720 18446744073709551615 136505051 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31477/statm: 9431 6859 184 642 0 8787 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37724
[startup+12.7006 s]
/proc/loadavg: 2.09 2.05 2.01 3/490 31478
/proc/meminfo: memFree=26883084/32951124 swapFree=63649284/67111528
[pid=31477] ppid=31475 vsize=37856 CPUtime=12.69 cores=1,3,5,7
/proc/31477/stat : 31477 (bsolo) R 31475 31477 28154 0 -1 4202496 7976 0 0 0 1266 3 0 0 25 0 1 0 830187236 38764544 6897 33554432000 134512640 137138936 4287748720 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31477/statm: 9464 6897 184 642 0 8820 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37856
[startup+25.5005 s]
/proc/loadavg: 2.08 2.05 2.01 3/490 31478
/proc/meminfo: memFree=26881856/32951124 swapFree=63649284/67111528
[pid=31477] ppid=31475 vsize=40184 CPUtime=25.49 cores=1,3,5,7
/proc/31477/stat : 31477 (bsolo) R 31475 31477 28154 0 -1 4202496 9062 0 0 0 2540 9 0 0 25 0 1 0 830187236 41148416 7496 33554432000 134512640 137138936 4287748720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31477/statm: 10046 7496 192 642 0 9402 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 40184
[startup+51.1012 s]
/proc/loadavg: 2.11 2.06 2.01 3/490 31479
/proc/meminfo: memFree=26843456/32951124 swapFree=63649284/67111528
[pid=31477] ppid=31475 vsize=79164 CPUtime=51.09 cores=1,3,5,7
/proc/31477/stat : 31477 (bsolo) R 31475 31477 28154 0 -1 4202496 18808 0 0 0 5096 13 0 0 25 0 1 0 830187236 81063936 17242 33554432000 134512640 137138936 4287748720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31477/statm: 19791 17242 192 642 0 19147 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 79164
[startup+102.319 s]
/proc/loadavg: 2.04 2.05 2.00 3/490 31480
/proc/meminfo: memFree=26768528/32951124 swapFree=63649284/67111528
[pid=31477] ppid=31475 vsize=153076 CPUtime=102.28 cores=1,3,5,7
/proc/31477/stat : 31477 (bsolo) R 31475 31477 28154 0 -1 4202496 37286 0 0 0 10209 19 0 0 25 0 1 0 830187236 156749824 35720 33554432000 134512640 137138936 4287748720 18446744073709551615 134542915 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31477/statm: 38269 35720 192 642 0 37625 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 153076
[startup+162.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/490 31482
/proc/meminfo: memFree=26665588/32951124 swapFree=63649284/67111528
[pid=31477] ppid=31475 vsize=239176 CPUtime=162.27 cores=1,3,5,7
/proc/31477/stat : 31477 (bsolo) R 31475 31477 28154 0 -1 4202496 58812 0 0 0 16199 28 0 0 25 0 1 0 830187236 244916224 57246 33554432000 134512640 137138936 4287748720 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31477/statm: 59794 57246 192 642 0 59150 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 239176
[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/490 31484
/proc/meminfo: memFree=26606012/32951124 swapFree=63649284/67111528
[pid=31477] ppid=31475 vsize=297692 CPUtime=222.26 cores=1,3,5,7
/proc/31477/stat : 31477 (bsolo) R 31475 31477 28154 0 -1 4202496 73441 0 0 0 22190 36 0 0 25 0 1 0 830187236 304836608 71875 33554432000 134512640 137138936 4287748720 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31477/statm: 74423 71875 192 642 0 73779 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 297692
[startup+282.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/490 31512
/proc/meminfo: memFree=26715220/32951124 swapFree=63649284/67111528
[pid=31477] ppid=31475 vsize=369752 CPUtime=282.27 cores=1,3,5,7
/proc/31477/stat : 31477 (bsolo) R 31475 31477 28154 0 -1 4202496 91456 0 0 0 28185 42 0 0 25 0 1 0 830187236 378626048 89890 33554432000 134512640 137138936 4287748720 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31477/statm: 92438 89890 192 642 0 91794 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 369752
[startup+342.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/490 31514
/proc/meminfo: memFree=26675884/32951124 swapFree=63649284/67111528
[pid=31477] ppid=31475 vsize=407768 CPUtime=342.26 cores=1,3,5,7
/proc/31477/stat : 31477 (bsolo) R 31475 31477 28154 0 -1 4202496 100960 0 0 0 34180 46 0 0 25 0 1 0 830187236 417554432 99394 33554432000 134512640 137138936 4287748720 18446744073709551615 134607584 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31477/statm: 101942 99394 192 642 0 101298 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 407768
[startup+402.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/490 31515
/proc/meminfo: memFree=26634436/32951124 swapFree=63649284/67111528
[pid=31477] ppid=31475 vsize=449432 CPUtime=402.25 cores=1,3,5,7
/proc/31477/stat : 31477 (bsolo) R 31475 31477 28154 0 -1 4202496 111376 0 0 0 40175 50 0 0 25 0 1 0 830187236 460218368 109810 33554432000 134512640 137138936 4287748720 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31477/statm: 112358 109810 192 642 0 111714 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 449432
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/490 31517
/proc/meminfo: memFree=26590624/32951124 swapFree=63649284/67111528
[pid=31477] ppid=31475 vsize=479680 CPUtime=462.26 cores=1,3,5,7
/proc/31477/stat : 31477 (bsolo) R 31475 31477 28154 0 -1 4202496 118938 0 0 0 46172 54 0 0 25 0 1 0 830187236 491192320 117372 33554432000 134512640 137138936 4287748720 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31477/statm: 119920 117372 192 642 0 119276 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 479680
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 31519
/proc/meminfo: memFree=26514316/32951124 swapFree=63649284/67111528
[pid=31477] ppid=31475 vsize=528972 CPUtime=522.26 cores=1,3,5,7
/proc/31477/stat : 31477 (bsolo) R 31475 31477 28154 0 -1 4202496 131261 0 0 0 52166 60 0 0 25 0 1 0 830187236 541667328 129695 33554432000 134512640 137138936 4287748720 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31477/statm: 132243 129695 192 642 0 131599 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 528972
[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/490 31520
/proc/meminfo: memFree=26431728/32951124 swapFree=63649284/67111528
[pid=31477] ppid=31475 vsize=580136 CPUtime=582.26 cores=1,3,5,7
/proc/31477/stat : 31477 (bsolo) R 31475 31477 28154 0 -1 4202496 144052 0 0 0 58161 65 0 0 25 0 1 0 830187236 594059264 142486 33554432000 134512640 137138936 4287748720 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31477/statm: 145034 142486 192 642 0 144390 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 580136
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=25898508/32951124 swapFree=63649284/67111528
[pid=31477] ppid=31475 vsize=834444 CPUtime=1122.25 cores=1,3,5,7
/proc/31477/stat : 31477 (bsolo) R 31475 31477 28154 0 -1 4202496 207629 0 0 0 112126 99 0 0 25 0 1 0 830187236 854470656 206063 33554432000 134512640 137138936 4287748720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31477/statm: 208611 206063 192 642 0 207967 0
Current children cumulated CPU time (s) 1122.25
Current children cumulated vsize (KiB) 834444
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 31536
/proc/meminfo: memFree=25832996/32951124 swapFree=63649284/67111528
[pid=31477] ppid=31475 vsize=861624 CPUtime=1182.24 cores=1,3,5,7
/proc/31477/stat : 31477 (bsolo) R 31475 31477 28154 0 -1 4202496 214424 0 0 0 118122 102 0 0 25 0 1 0 830187236 882302976 212858 33554432000 134512640 137138936 4287748720 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31477/statm: 215406 212858 192 642 0 214762 0
Current children cumulated CPU time (s) 1182.24
Current children cumulated vsize (KiB) 861624
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/490 31538
/proc/meminfo: memFree=25780252/32951124 swapFree=63649284/67111528
[pid=31477] ppid=31475 vsize=881880 CPUtime=1242.24 cores=1,3,5,7
/proc/31477/stat : 31477 (bsolo) R 31475 31477 28154 0 -1 4202496 219488 0 0 0 124117 107 0 0 25 0 1 0 830187236 903045120 217922 33554432000 134512640 137138936 4287748720 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31477/statm: 220470 217922 192 642 0 219826 0
Current children cumulated CPU time (s) 1242.24
Current children cumulated vsize (KiB) 881880
[startup+1302.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/490 31539
/proc/meminfo: memFree=25719572/32951124 swapFree=63649284/67111528
[pid=31477] ppid=31475 vsize=901944 CPUtime=1302.26 cores=1,3,5,7
/proc/31477/stat : 31477 (bsolo) R 31475 31477 28154 0 -1 4202496 224504 0 0 0 130117 109 0 0 25 0 1 0 830187236 923590656 222938 33554432000 134512640 137138936 4287748720 18446744073709551615 136297625 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31477/statm: 225486 222938 192 642 0 224842 0
Current children cumulated CPU time (s) 1302.26
Current children cumulated vsize (KiB) 901944
[startup+1362.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/490 31541
/proc/meminfo: memFree=25675888/32951124 swapFree=63649284/67111528
[pid=31477] ppid=31475 vsize=920740 CPUtime=1362.25 cores=1,3,5,7
/proc/31477/stat : 31477 (bsolo) R 31475 31477 28154 0 -1 4202496 229203 0 0 0 136114 111 0 0 25 0 1 0 830187236 942837760 227637 33554432000 134512640 137138936 4287748720 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31477/statm: 230185 227637 192 642 0 229541 0
Current children cumulated CPU time (s) 1362.25
Current children cumulated vsize (KiB) 920740
[startup+1422.32 s]
/proc/loadavg: 2.02 2.03 2.00 3/490 31543
/proc/meminfo: memFree=25645596/32951124 swapFree=63649284/67111528
[pid=31477] ppid=31475 vsize=923316 CPUtime=1422.26 cores=1,3,5,7
/proc/31477/stat : 31477 (bsolo) R 31475 31477 28154 0 -1 4202496 230311 0 0 0 142113 113 0 0 25 0 1 0 830187236 945475584 228281 33554432000 134512640 137138936 4287748720 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31477/statm: 230829 228281 192 642 0 230185 0
Current children cumulated CPU time (s) 1422.26
Current children cumulated vsize (KiB) 923316
[startup+1482.3 s]
/proc/loadavg: 2.07 2.05 2.01 4/490 31544
/proc/meminfo: memFree=25619564/32951124 swapFree=63649284/67111528
[pid=31477] ppid=31475 vsize=923316 CPUtime=1482.24 cores=1,3,5,7
/proc/31477/stat : 31477 (bsolo) R 31475 31477 28154 0 -1 4202496 230311 0 0 0 148107 117 0 0 25 0 1 0 830187236 945475584 228281 33554432000 134512640 137138936 4287748720 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31477/statm: 230829 228281 192 642 0 230185 0
Current children cumulated CPU time (s) 1482.24
Current children cumulated vsize (KiB) 923316
[startup+1542.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/490 31546
/proc/meminfo: memFree=25599948/32951124 swapFree=63649284/67111528
[pid=31477] ppid=31475 vsize=923316 CPUtime=1542.24 cores=1,3,5,7
/proc/31477/stat : 31477 (bsolo) R 31475 31477 28154 0 -1 4202496 230311 0 0 0 154104 120 0 0 25 0 1 0 830187236 945475584 228281 33554432000 134512640 137138936 4287748720 18446744073709551615 136504617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31477/statm: 230829 228281 192 642 0 230185 0
Current children cumulated CPU time (s) 1542.24
Current children cumulated vsize (KiB) 923316
[startup+1602.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/490 31547
/proc/meminfo: memFree=25579332/32951124 swapFree=63649284/67111528
[pid=31477] ppid=31475 vsize=923316 CPUtime=1602.23 cores=1,3,5,7
/proc/31477/stat : 31477 (bsolo) R 31475 31477 28154 0 -1 4202496 230311 0 0 0 160102 121 0 0 25 0 1 0 830187236 945475584 228281 33554432000 134512640 137138936 4287748720 18446744073709551615 136504378 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31477/statm: 230829 228281 192 642 0 230185 0
Current children cumulated CPU time (s) 1602.23
Current children cumulated vsize (KiB) 923316
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/490 31549
/proc/meminfo: memFree=25557592/32951124 swapFree=63649284/67111528
[pid=31477] ppid=31475 vsize=923316 CPUtime=1662.24 cores=1,3,5,7
/proc/31477/stat : 31477 (bsolo) R 31475 31477 28154 0 -1 4202496 230311 0 0 0 166100 124 0 0 25 0 1 0 830187236 945475584 228281 33554432000 134512640 137138936 4287748720 18446744073709551615 134606630 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31477/statm: 230829 228281 192 642 0 230185 0
Current children cumulated CPU time (s) 1662.24
Current children cumulated vsize (KiB) 923316
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 31551
/proc/meminfo: memFree=25534252/32951124 swapFree=63649284/67111528
[pid=31477] ppid=31475 vsize=923316 CPUtime=1722.24 cores=1,3,5,7
/proc/31477/stat : 31477 (bsolo) R 31475 31477 28154 0 -1 4202496 230311 0 0 0 172094 130 0 0 25 0 1 0 830187236 945475584 228281 33554432000 134512640 137138936 4287748720 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31477/statm: 230829 228281 192 642 0 230185 0
Current children cumulated CPU time (s) 1722.24
Current children cumulated vsize (KiB) 923316
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 31552
/proc/meminfo: memFree=25505936/32951124 swapFree=63649284/67111528
[pid=31477] ppid=31475 vsize=923316 CPUtime=1782.24 cores=1,3,5,7
/proc/31477/stat : 31477 (bsolo) R 31475 31477 28154 0 -1 4202496 230311 0 0 0 178090 134 0 0 25 0 1 0 830187236 945475584 228281 33554432000 134512640 137138936 4287748720 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31477/statm: 230829 228281 192 642 0 230185 0
Current children cumulated CPU time (s) 1782.24
Current children cumulated vsize (KiB) 923316
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 31552
/proc/meminfo: memFree=25504448/32951124 swapFree=63649284/67111528
[pid=31477] ppid=31475 vsize=923316 CPUtime=1785.44 cores=1,3,5,7
/proc/31477/stat : 31477 (bsolo) R 31475 31477 28154 0 -1 4202496 230311 0 0 0 178410 134 0 0 25 0 1 0 830187236 945475584 228281 33554432000 134512640 137138936 4287748720 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31477/statm: 230829 228281 192 642 0 230185 0
Current children cumulated CPU time (s) 1785.44
Current children cumulated vsize (KiB) 923316
[startup+1791.92 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 31553
/proc/meminfo: memFree=25502204/32951124 swapFree=63649284/67111528
[pid=31477] ppid=31475 vsize=923316 CPUtime=1791.86 cores=1,3,5,7
/proc/31477/stat : 31477 (bsolo) R 31475 31477 28154 0 -1 4202496 230311 0 0 0 179051 135 0 0 25 0 1 0 830187236 945475584 228281 33554432000 134512640 137138936 4287748720 18446744073709551615 134542713 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31477/statm: 230829 228281 192 642 0 230185 0
Current children cumulated CPU time (s) 1791.86
Current children cumulated vsize (KiB) 923316
[startup+1795.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 31553
/proc/meminfo: memFree=25500344/32951124 swapFree=63649284/67111528
[pid=31477] ppid=31475 vsize=923316 CPUtime=1795.06 cores=1,3,5,7
/proc/31477/stat : 31477 (bsolo) R 31475 31477 28154 0 -1 4202496 230311 0 0 0 179371 135 0 0 25 0 1 0 830187236 945475584 228281 33554432000 134512640 137138936 4287748720 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31477/statm: 230829 228281 192 642 0 230185 0
Current children cumulated CPU time (s) 1795.06
Current children cumulated vsize (KiB) 923316
[startup+1796.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 31553
/proc/meminfo: memFree=25499972/32951124 swapFree=63649284/67111528
[pid=31477] ppid=31475 vsize=923316 CPUtime=1796.64 cores=1,3,5,7
/proc/31477/stat : 31477 (bsolo) R 31475 31477 28154 0 -1 4202496 230311 0 0 0 179529 135 0 0 25 0 1 0 830187236 945475584 228281 33554432000 134512640 137138936 4287748720 18446744073709551615 134542214 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31477/statm: 230829 228281 192 642 0 230185 0
Current children cumulated CPU time (s) 1796.64
Current children cumulated vsize (KiB) 923316
[startup+1797.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 31553
/proc/meminfo: memFree=25499104/32951124 swapFree=63649284/67111528
[pid=31477] ppid=31475 vsize=923316 CPUtime=1797.44 cores=1,3,5,7
/proc/31477/stat : 31477 (bsolo) R 31475 31477 28154 0 -1 4202496 230311 0 0 0 179609 135 0 0 25 0 1 0 830187236 945475584 228281 33554432000 134512640 137138936 4287748720 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31477/statm: 230829 228281 192 642 0 230185 0
Current children cumulated CPU time (s) 1797.44
Current children cumulated vsize (KiB) 923316
[startup+1797.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 31553
/proc/meminfo: memFree=25499104/32951124 swapFree=63649284/67111528
[pid=31477] ppid=31475 vsize=923316 CPUtime=1797.84 cores=1,3,5,7
/proc/31477/stat : 31477 (bsolo) R 31475 31477 28154 0 -1 4202496 230311 0 0 0 179649 135 0 0 25 0 1 0 830187236 945475584 228281 33554432000 134512640 137138936 4287748720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31477/statm: 230829 228281 192 642 0 230185 0
Current children cumulated CPU time (s) 1797.84
Current children cumulated vsize (KiB) 923316
[startup+1798 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 31553
/proc/meminfo: memFree=25499104/32951124 swapFree=63649284/67111528
[pid=31477] ppid=31475 vsize=923316 CPUtime=1797.94 cores=1,3,5,7
/proc/31477/stat : 31477 (bsolo) R 31475 31477 28154 0 -1 4202496 230311 0 0 0 179659 135 0 0 25 0 1 0 830187236 945475584 228281 33554432000 134512640 137138936 4287748720 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31477/statm: 230829 228281 192 642 0 230185 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 923316
Child status: 0
Real time (s): 1798.09
CPU time (s): 1798.04
CPU user time (s): 1796.65
CPU system time (s): 1.39379
CPU usage (%): 99.9972
Max. virtual memory (cumulated for all children) (KiB): 925172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.65
system time used= 1.39379
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 230311
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= 5
involuntary context switches= 6355
runsolver used 8.21375 second user time and 21.2058 second system time
The end