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-3478885-1307441391/watcher-3478885-1307441391 -o /tmp/evaluation-result-3478885-1307441391/solver-3478885-1307441391 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3478885-1307441391.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: 2.08 2.05 2.01 2/517 11403
/proc/meminfo: memFree=20618928/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=16108 CPUtime=0 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 415 0 0 0 0 0 0 0 25 0 1 0 855735839 16494592 369 33554432000 134512640 137138936 4293495600 18446744073709551615 134538746 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 4027 369 203 642 0 2157 0
[startup+0.0801929 s]
/proc/loadavg: 2.08 2.05 2.01 2/517 11403
/proc/meminfo: memFree=20618928/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=19652 CPUtime=0.07 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 1570 0 0 0 7 0 0 0 25 0 1 0 855735839 20123648 1524 33554432000 134512640 137138936 4293495600 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 4913 1526 480 642 0 3043 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 19652
[startup+0.101188 s]
/proc/loadavg: 2.08 2.05 2.01 2/517 11403
/proc/meminfo: memFree=20618928/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=20612 CPUtime=0.09 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 1909 0 0 0 9 0 0 0 25 0 1 0 855735839 21106688 1863 33554432000 134512640 137138936 4293495600 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 5153 1863 564 642 0 3283 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20612
[startup+0.301149 s]
/proc/loadavg: 2.08 2.05 2.01 2/517 11403
/proc/meminfo: memFree=20618928/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=29884 CPUtime=0.29 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 4975 0 0 0 29 0 0 0 25 0 1 0 855735839 30601216 4929 33554432000 134512640 137138936 4293495600 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 7471 4929 1330 642 0 5601 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29884
[startup+0.701068 s]
/proc/loadavg: 2.08 2.05 2.01 2/517 11403
/proc/meminfo: memFree=20618928/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=39648 CPUtime=0.69 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 8720 0 0 0 68 1 0 0 25 0 1 0 855735839 40599552 7448 33554432000 134512640 137138936 4293495600 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 9912 7448 185 642 0 9268 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39648
[startup+1.50091 s]
/proc/loadavg: 2.08 2.05 2.01 3/518 11404
/proc/meminfo: memFree=20589036/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=39648 CPUtime=1.49 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 8722 0 0 0 146 3 0 0 25 0 1 0 855735839 40599552 7450 33554432000 134512640 137138936 4293495600 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 9912 7450 185 642 0 9268 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39648
[startup+3.10059 s]
/proc/loadavg: 2.08 2.05 2.01 3/518 11404
/proc/meminfo: memFree=20587548/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=39648 CPUtime=3.09 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 8725 0 0 0 304 5 0 0 25 0 1 0 855735839 40599552 7453 33554432000 134512640 137138936 4293495600 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 9912 7453 185 642 0 9268 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39648
[startup+6.30095 s]
/proc/loadavg: 2.08 2.05 2.01 3/518 11404
/proc/meminfo: memFree=20592128/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=36316 CPUtime=6.29 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 11417 0 0 0 618 11 0 0 25 0 1 0 855735839 37187584 6634 33554432000 134512640 137138936 4293495600 18446744073709551615 134578520 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 9079 6634 192 642 0 8435 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36316
[startup+12.7007 s]
/proc/loadavg: 2.07 2.05 2.01 3/518 11405
/proc/meminfo: memFree=20580396/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=45244 CPUtime=12.69 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 13663 0 0 0 1253 16 0 0 25 0 1 0 855735839 46329856 8880 33554432000 134512640 137138936 4293495600 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 11311 8880 192 642 0 10667 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45244
[startup+25.5011 s]
/proc/loadavg: 2.21 2.08 2.02 3/518 11405
/proc/meminfo: memFree=20562792/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=59592 CPUtime=25.49 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 17250 0 0 0 2527 22 0 0 25 0 1 0 855735839 61022208 12467 33554432000 134512640 137138936 4293495600 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 14898 12467 192 642 0 14254 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 59592
[startup+51.101 s]
/proc/loadavg: 2.14 2.07 2.01 3/518 11406
/proc/meminfo: memFree=20539176/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=73464 CPUtime=51.09 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 20719 0 0 0 5084 25 0 0 25 0 1 0 855735839 75227136 15936 33554432000 134512640 137138936 4293495600 18446744073709551615 136504021 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 18366 15936 192 642 0 17722 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 73464
[startup+102.32 s]
/proc/loadavg: 2.12 2.08 2.01 3/518 11407
/proc/meminfo: memFree=20478892/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=111852 CPUtime=102.32 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 30302 0 0 0 10196 36 0 0 25 0 1 0 855735839 114536448 25519 33554432000 134512640 137138936 4293495600 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 27963 25519 192 642 0 27319 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 111852
[startup+162.301 s]
/proc/loadavg: 2.04 2.06 2.01 3/518 11409
/proc/meminfo: memFree=20429256/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=135700 CPUtime=162.3 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 36275 0 0 0 16184 46 0 0 25 0 1 0 855735839 138956800 31492 33554432000 134512640 137138936 4293495600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 33925 31492 192 642 0 33281 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 135700
[startup+222.301 s]
/proc/loadavg: 2.01 2.05 2.00 3/518 11410
/proc/meminfo: memFree=20382100/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=161788 CPUtime=222.3 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 42802 0 0 0 22176 54 0 0 25 0 1 0 855735839 165670912 38019 33554432000 134512640 137138936 4293495600 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 40447 38019 192 642 0 39803 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 161788
[startup+282.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/518 11412
/proc/meminfo: memFree=20324772/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=198856 CPUtime=282.31 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 52067 0 0 0 28167 64 0 0 25 0 1 0 855735839 203628544 47284 33554432000 134512640 137138936 4293495600 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 49714 47284 192 642 0 49070 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 198856
[startup+342.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/518 11413
/proc/meminfo: memFree=20268192/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=232976 CPUtime=342.3 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 60598 0 0 0 34162 68 0 0 25 0 1 0 855735839 238567424 55815 33554432000 134512640 137138936 4293495600 18446744073709551615 134542868 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 58244 55815 192 642 0 57600 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 232976
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 11415
/proc/meminfo: memFree=20223140/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=255952 CPUtime=402.31 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 66341 0 0 0 40157 74 0 0 25 0 1 0 855735839 262094848 61558 33554432000 134512640 137138936 4293495600 18446744073709551615 134542351 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 63988 61558 192 642 0 63344 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 255952
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/518 11417
/proc/meminfo: memFree=20169416/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=281992 CPUtime=462.31 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 72851 0 0 0 46149 82 0 0 25 0 1 0 855735839 288759808 68068 33554432000 134512640 137138936 4293495600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 70498 68068 192 642 0 69854 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 281992
[startup+522.301 s]
/proc/loadavg: 2.09 2.04 2.01 3/518 11418
/proc/meminfo: memFree=20105520/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=322332 CPUtime=522.32 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 82917 0 0 0 52138 94 0 0 25 0 1 0 855735839 330067968 78134 33554432000 134512640 137138936 4293495600 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 80583 78134 192 642 0 79939 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 322332
[startup+582.301 s]
/proc/loadavg: 2.10 2.06 2.01 3/518 11420
/proc/meminfo: memFree=20045588/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=360164 CPUtime=582.32 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 92373 0 0 0 58127 105 0 0 25 0 1 0 855735839 368807936 87590 33554432000 134512640 137138936 4293495600 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 90041 87590 192 642 0 89397 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 360164
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=20700328/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=579728 CPUtime=1062.34 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 147288 0 0 0 106093 141 0 0 25 0 1 0 855735839 593641472 142505 33554432000 134512640 137138936 4293495600 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 144932 142505 192 642 0 144288 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 579728
[startup+1122.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/518 11461
/proc/meminfo: memFree=20667316/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=602184 CPUtime=1122.34 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 152897 0 0 0 112091 143 0 0 25 0 1 0 855735839 616636416 148114 33554432000 134512640 137138936 4293495600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 150546 148114 192 642 0 149902 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 602184
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 11463
/proc/meminfo: memFree=20629836/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=630236 CPUtime=1182.35 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 159894 0 0 0 118087 148 0 0 25 0 1 0 855735839 645361664 155111 33554432000 134512640 137138936 4293495600 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 157559 155111 192 642 0 156915 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 630236
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 11464
/proc/meminfo: memFree=20593592/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=658268 CPUtime=1242.35 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 166928 0 0 0 124083 152 0 0 25 0 1 0 855735839 674066432 162145 33554432000 134512640 137138936 4293495600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 164567 162145 192 642 0 163923 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 658268
[startup+1302.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/518 11466
/proc/meminfo: memFree=20553376/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=687040 CPUtime=1302.36 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 174102 0 0 0 130079 157 0 0 25 0 1 0 855735839 703528960 169319 33554432000 134512640 137138936 4293495600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 171760 169319 192 642 0 171116 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 687040
[startup+1362.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/518 11468
/proc/meminfo: memFree=20515280/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=716668 CPUtime=1362.35 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 181499 0 0 0 136074 161 0 0 25 0 1 0 855735839 733868032 176716 33554432000 134512640 137138936 4293495600 18446744073709551615 134599652 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 179167 176716 192 642 0 178523 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 716668
[startup+1422.32 s]
/proc/loadavg: 2.01 2.02 2.00 3/518 11469
/proc/meminfo: memFree=20454496/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=742180 CPUtime=1422.38 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 187886 0 0 0 142072 166 0 0 25 0 1 0 855735839 759992320 183103 33554432000 134512640 137138936 4293495600 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 185545 183103 192 642 0 184901 0
Current children cumulated CPU time (s) 1422.38
Current children cumulated vsize (KiB) 742180
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 11471
/proc/meminfo: memFree=20380060/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=757296 CPUtime=1482.36 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 191665 0 0 0 148067 169 0 0 25 0 1 0 855735839 775471104 186882 33554432000 134512640 137138936 4293495600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 189324 186882 192 642 0 188680 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 757296
[startup+1542.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/518 11472
/proc/meminfo: memFree=20311476/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=770168 CPUtime=1542.36 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 194883 0 0 0 154064 172 0 0 25 0 1 0 855735839 788652032 190100 33554432000 134512640 137138936 4293495600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 192542 190100 192 642 0 191898 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 770168
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/518 11474
/proc/meminfo: memFree=20242860/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=788292 CPUtime=1602.36 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 199406 0 0 0 160061 175 0 0 25 0 1 0 855735839 807211008 194623 33554432000 134512640 137138936 4293495600 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 197073 194623 192 642 0 196429 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 788292
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/518 11476
/proc/meminfo: memFree=20191612/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=795152 CPUtime=1662.37 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 201130 0 0 0 166059 178 0 0 25 0 1 0 855735839 814235648 196347 33554432000 134512640 137138936 4293495600 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 198788 196347 192 642 0 198144 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 795152
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/518 11477
/proc/meminfo: memFree=20144832/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=807732 CPUtime=1722.37 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 204265 0 0 0 172056 181 0 0 25 0 1 0 855735839 827117568 199482 33554432000 134512640 137138936 4293495600 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 201933 199482 192 642 0 201289 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 807732
[startup+1782.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/518 11479
/proc/meminfo: memFree=20076480/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=830104 CPUtime=1782.37 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 209867 0 0 0 178051 186 0 0 25 0 1 0 855735839 850026496 205084 33554432000 134512640 137138936 4293495600 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 207526 205084 192 642 0 206882 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 830104
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.09 2.03 2.01 3/518 11479
/proc/meminfo: memFree=20074868/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=831244 CPUtime=1785.58 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 210170 0 0 0 178371 187 0 0 25 0 1 0 855735839 851193856 205387 33554432000 134512640 137138936 4293495600 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 207811 205387 192 642 0 207167 0
Current children cumulated CPU time (s) 1785.58
Current children cumulated vsize (KiB) 831244
[startup+1791.92 s]
/proc/loadavg: 2.08 2.03 2.01 3/518 11479
/proc/meminfo: memFree=20066660/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=832652 CPUtime=1792 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 210517 0 0 0 179013 187 0 0 25 0 1 0 855735839 852635648 205734 33554432000 134512640 137138936 4293495600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 208163 205734 192 642 0 207519 0
Current children cumulated CPU time (s) 1792
Current children cumulated vsize (KiB) 832652
[startup+1795.1 s]
/proc/loadavg: 2.07 2.03 2.01 3/518 11479
/proc/meminfo: memFree=20062196/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=832752 CPUtime=1795.19 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 210542 0 0 0 179332 187 0 0 25 0 1 0 855735839 852738048 205759 33554432000 134512640 137138936 4293495600 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 208188 205759 192 642 0 207544 0
Current children cumulated CPU time (s) 1795.19
Current children cumulated vsize (KiB) 832752
[startup+1796.7 s]
/proc/loadavg: 2.07 2.03 2.01 3/518 11479
/proc/meminfo: memFree=20061700/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=833080 CPUtime=1796.78 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 210611 0 0 0 179491 187 0 0 25 0 1 0 855735839 853073920 205828 33554432000 134512640 137138936 4293495600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 208270 205828 192 642 0 207626 0
Current children cumulated CPU time (s) 1796.78
Current children cumulated vsize (KiB) 833080
[startup+1797.5 s]
/proc/loadavg: 2.07 2.03 2.01 3/518 11479
/proc/meminfo: memFree=20060832/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=833180 CPUtime=1797.58 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 210648 0 0 0 179571 187 0 0 25 0 1 0 855735839 853176320 205865 33554432000 134512640 137138936 4293495600 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 208295 205865 192 642 0 207651 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (KiB) 833180
[startup+1797.9 s]
/proc/loadavg: 2.07 2.03 2.01 3/518 11479
/proc/meminfo: memFree=20060832/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=833280 CPUtime=1797.97 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 210674 0 0 0 179610 187 0 0 25 0 1 0 855735839 853278720 205891 33554432000 134512640 137138936 4293495600 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 208320 205891 192 642 0 207676 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 833280
Child status: 0
Real time (s): 1797.98
CPU time (s): 1798.06
CPU user time (s): 1796.15
CPU system time (s): 1.90971
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 833280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.15
system time used= 1.90971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 210674
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= 1024
runsolver used 9.70552 second user time and 20.5789 second system time
The end