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-3463148-1307176434/watcher-3463148-1307176434 -o /tmp/evaluation-result-3463148-1307176434/solver-3463148-1307176434 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463148-1307176434.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.00 2.01 2.00 2/535 18270
/proc/meminfo: memFree=24962188/32951124 swapFree=46970528/67111528
[pid=18270] ppid=18268 vsize=11416 CPUtime=0.01 cores=1,3,5,7
/proc/18270/stat : 18270 (bsolo) R 18268 18270 16282 0 -1 4202496 407 0 0 0 1 0 0 0 25 0 1 0 810059669 11689984 361 33554432000 134512640 137138936 4292069984 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18270/statm: 2854 361 211 642 0 2121 0
[startup+0.108468 s]
/proc/loadavg: 2.00 2.01 2.00 2/535 18270
/proc/meminfo: memFree=24962188/32951124 swapFree=46970528/67111528
[pid=18270] ppid=18268 vsize=13972 CPUtime=0.1 cores=1,3,5,7
/proc/18270/stat : 18270 (bsolo) R 18268 18270 16282 0 -1 4202496 2493 0 0 0 10 0 0 0 25 0 1 0 810059669 14307328 886 33554432000 134512640 137138936 4292069984 18446744073709551615 135450378 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18270/statm: 3493 886 275 642 0 2849 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13972
[startup+0.200454 s]
/proc/loadavg: 2.00 2.01 2.00 2/535 18270
/proc/meminfo: memFree=24962188/32951124 swapFree=46970528/67111528
[pid=18270] ppid=18268 vsize=13860 CPUtime=0.19 cores=1,3,5,7
/proc/18270/stat : 18270 (bsolo) R 18268 18270 16282 0 -1 4202496 5646 0 0 0 18 1 0 0 25 0 1 0 810059669 14192640 863 33554432000 134512640 137138936 4292069984 18446744073709551615 135382822 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18270/statm: 3465 867 287 642 0 2821 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13860
[startup+0.300437 s]
/proc/loadavg: 2.00 2.01 2.00 2/535 18270
/proc/meminfo: memFree=24962188/32951124 swapFree=46970528/67111528
[pid=18270] ppid=18268 vsize=14312 CPUtime=0.29 cores=1,3,5,7
/proc/18270/stat : 18270 (bsolo) R 18268 18270 16282 0 -1 4202496 9849 0 0 0 28 1 0 0 25 0 1 0 810059669 14655488 879 33554432000 134512640 137138936 4292069984 18446744073709551615 134730901 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18270/statm: 3614 886 287 642 0 2970 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14312
[startup+0.700376 s]
/proc/loadavg: 2.00 2.01 2.00 2/535 18270
/proc/meminfo: memFree=24962188/32951124 swapFree=46970528/67111528
[pid=18270] ppid=18268 vsize=12460 CPUtime=0.69 cores=1,3,5,7
/proc/18270/stat : 18270 (bsolo) R 18268 18270 16282 0 -1 4202496 28580 0 0 0 67 2 0 0 25 0 1 0 810059669 12759040 789 33554432000 134512640 137138936 4292069984 18446744073709551615 134913443 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18270/statm: 3148 803 287 642 0 2504 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12460
[startup+1.50022 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 18271
/proc/meminfo: memFree=24958584/32951124 swapFree=46970528/67111528
[pid=18270] ppid=18268 vsize=14296 CPUtime=1.49 cores=1,3,5,7
/proc/18270/stat : 18270 (bsolo) R 18268 18270 16282 0 -1 4202496 62896 0 0 0 142 7 0 0 25 0 1 0 810059669 14639104 872 33554432000 134512640 137138936 4292069984 18446744073709551615 135447553 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18270/statm: 3574 872 287 642 0 2930 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14296
[startup+3.10093 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 18271
/proc/meminfo: memFree=24957344/32951124 swapFree=46970528/67111528
[pid=18270] ppid=18268 vsize=12460 CPUtime=3.1 cores=1,3,5,7
/proc/18270/stat : 18270 (bsolo) R 18268 18270 16282 0 -1 4202496 144891 0 0 0 294 16 0 0 25 0 1 0 810059669 12759040 790 33554432000 134512640 137138936 4292069984 18446744073709551615 135783815 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18270/statm: 3115 790 288 642 0 2471 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 12460
[startup+6.30036 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 18271
/proc/meminfo: memFree=24956784/32951124 swapFree=46970528/67111528
[pid=18270] ppid=18268 vsize=15512 CPUtime=6.3 cores=1,3,5,7
/proc/18270/stat : 18270 (bsolo) R 18268 18270 16282 0 -1 4202496 327057 0 0 0 594 36 0 0 25 0 1 0 810059669 15884288 1160 33554432000 134512640 137138936 4292069984 18446744073709551615 135358749 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18270/statm: 3878 1160 288 642 0 3234 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 15512
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.00 4/536 18271
/proc/meminfo: memFree=24952316/32951124 swapFree=46970528/67111528
[pid=18270] ppid=18268 vsize=18580 CPUtime=12.69 cores=1,3,5,7
/proc/18270/stat : 18270 (bsolo) R 18268 18270 16282 0 -1 4202496 813234 0 0 0 1183 86 0 0 25 0 1 0 810059669 19025920 2017 33554432000 134512640 137138936 4292069984 18446744073709551615 135389681 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18270/statm: 4698 2023 288 642 0 4054 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18580
[startup+25.5009 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 18271
/proc/meminfo: memFree=24941460/32951124 swapFree=46970528/67111528
[pid=18270] ppid=18268 vsize=28964 CPUtime=25.5 cores=1,3,5,7
/proc/18270/stat : 18270 (bsolo) R 18268 18270 16282 0 -1 4202496 1500431 0 0 0 2384 166 0 0 25 0 1 0 810059669 29659136 4602 33554432000 134512640 137138936 4292069984 18446744073709551615 134730901 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18270/statm: 7241 4602 288 642 0 6597 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 28964
[startup+51.1004 s]
/proc/loadavg: 2.16 2.03 2.01 3/536 18272
/proc/meminfo: memFree=24936736/32951124 swapFree=46970528/67111528
[pid=18270] ppid=18268 vsize=33884 CPUtime=51.09 cores=1,3,5,7
/proc/18270/stat : 18270 (bsolo) R 18268 18270 16282 0 -1 4202496 2030882 0 0 0 4870 239 0 0 25 0 1 0 810059669 34697216 5811 33554432000 134512640 137138936 4292069984 18446744073709551615 134851549 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18270/statm: 8471 5811 288 642 0 7827 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 33884
[startup+102.301 s]
/proc/loadavg: 2.11 2.04 2.01 3/536 18274
/proc/meminfo: memFree=24934476/32951124 swapFree=46970528/67111528
[pid=18270] ppid=18268 vsize=35144 CPUtime=102.31 cores=1,3,5,7
/proc/18270/stat : 18270 (bsolo) R 18268 18270 16282 0 -1 4202496 2533078 0 0 0 9910 321 0 0 25 0 1 0 810059669 35987456 6119 33554432000 134512640 137138936 4292069984 18446744073709551615 135473167 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18270/statm: 8786 6119 288 642 0 8142 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 35144
[startup+162.3 s]
/proc/loadavg: 2.11 2.06 2.02 3/536 18275
/proc/meminfo: memFree=24933572/32951124 swapFree=46970528/67111528
[pid=18270] ppid=18268 vsize=34380 CPUtime=162.3 cores=1,3,5,7
/proc/18270/stat : 18270 (bsolo) R 18268 18270 16282 0 -1 4202496 3070369 0 0 0 15818 412 0 0 25 0 1 0 810059669 35205120 6104 33554432000 134512640 137138936 4292069984 18446744073709551615 134832096 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18270/statm: 8595 6104 288 642 0 7951 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 34380
[startup+222.32 s]
/proc/loadavg: 2.04 2.05 2.01 3/536 18277
/proc/meminfo: memFree=24900556/32951124 swapFree=46970528/67111528
[pid=18270] ppid=18268 vsize=35596 CPUtime=222.32 cores=1,3,5,7
/proc/18270/stat : 18270 (bsolo) R 18268 18270 16282 0 -1 4202496 3824207 0 0 0 21707 525 0 0 25 0 1 0 810059669 36450304 6574 33554432000 134512640 137138936 4292069984 18446744073709551615 136700814 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18270/statm: 8899 6574 288 642 0 8255 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 35596
[startup+282.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/536 18278
/proc/meminfo: memFree=24901768/32951124 swapFree=46970528/67111528
[pid=18270] ppid=18268 vsize=37556 CPUtime=282.3 cores=1,3,5,7
/proc/18270/stat : 18270 (bsolo) R 18268 18270 16282 0 -1 4202496 4868295 0 0 0 27550 680 0 0 25 0 1 0 810059669 38457344 6717 33554432000 134512640 137138936 4292069984 18446744073709551615 135089153 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18270/statm: 9389 6717 288 642 0 8745 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 37556
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 18280
/proc/meminfo: memFree=24898880/32951124 swapFree=46970528/67111528
[pid=18270] ppid=18268 vsize=39256 CPUtime=342.3 cores=1,3,5,7
/proc/18270/stat : 18270 (bsolo) R 18268 18270 16282 0 -1 4202496 5795029 0 0 0 33412 818 0 0 25 0 1 0 810059669 40198144 7489 33554432000 134512640 137138936 4292069984 18446744073709551615 134587697 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18270/statm: 9814 7489 288 642 0 9170 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 39256
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18281
/proc/meminfo: memFree=24894496/32951124 swapFree=46970528/67111528
[pid=18270] ppid=18268 vsize=43920 CPUtime=402.3 cores=1,3,5,7
/proc/18270/stat : 18270 (bsolo) R 18268 18270 16282 0 -1 4202496 6623144 0 0 0 39281 949 0 0 25 0 1 0 810059669 44974080 8507 33554432000 134512640 137138936 4292069984 18446744073709551615 135456746 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18270/statm: 10980 8507 288 642 0 10336 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 43920
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 18283
/proc/meminfo: memFree=24893696/32951124 swapFree=46970528/67111528
[pid=18270] ppid=18268 vsize=43120 CPUtime=462.3 cores=1,3,5,7
/proc/18270/stat : 18270 (bsolo) R 18268 18270 16282 0 -1 4202496 6625108 0 0 0 45280 950 0 0 25 0 1 0 810059669 44154880 8455 33554432000 134512640 137138936 4292069984 18446744073709551615 134730892 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18270/statm: 10780 8455 288 642 0 10136 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 43120
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 18285
/proc/meminfo: memFree=24893908/32951124 swapFree=46970528/67111528
[pid=18270] ppid=18268 vsize=43120 CPUtime=522.31 cores=1,3,5,7
/proc/18270/stat : 18270 (bsolo) R 18268 18270 16282 0 -1 4202496 6625108 0 0 0 51279 952 0 0 25 0 1 0 810059669 44154880 8455 33554432000 134512640 137138936 4292069984 18446744073709551615 135251734 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18270/statm: 10780 8455 288 642 0 10136 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 43120
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 18286
/proc/meminfo: memFree=24893992/32951124 swapFree=46970528/67111528
[pid=18270] ppid=18268 vsize=43120 CPUtime=582.31 cores=1,3,5,7
/proc/18270/stat : 18270 (bsolo) R 18268 18270 16282 0 -1 4202496 6625108 0 0 0 57278 953 0 0 25 0 1 0 810059669 44154880 8455 33554432000 134512640 137138936 4292069984 18446744073709551615 135783815 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18270/statm: 10780 8455 288 642 0 10136 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 43120
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=25037032/32951124 swapFree=46970528/67111528
[pid=18270] ppid=18268 vsize=48632 CPUtime=1062.32 cores=1,3,5,7
/proc/18270/stat : 18270 (bsolo) R 18268 18270 16282 0 -1 4202496 8740098 0 0 0 104948 1284 0 0 25 0 1 0 810059669 49799168 9656 33554432000 134512640 137138936 4292069984 18446744073709551615 135389531 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18270/statm: 12203 9657 288 642 0 11559 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 48632
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 5/536 18409
/proc/meminfo: memFree=25035272/32951124 swapFree=46970528/67111528
[pid=18270] ppid=18268 vsize=48648 CPUtime=1122.32 cores=1,3,5,7
/proc/18270/stat : 18270 (bsolo) R 18268 18270 16282 0 -1 4202496 8750261 0 0 0 110946 1286 0 0 25 0 1 0 810059669 49815552 9687 33554432000 134512640 137138936 4292069984 18446744073709551615 135782927 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18270/statm: 12162 9687 288 642 0 11518 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 48648
[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 2.00 4/536 18410
/proc/meminfo: memFree=25033604/32951124 swapFree=46970528/67111528
[pid=18270] ppid=18268 vsize=47872 CPUtime=1182.32 cores=1,3,5,7
/proc/18270/stat : 18270 (bsolo) R 18268 18270 16282 0 -1 4202496 8750261 0 0 0 116944 1288 0 0 25 0 1 0 810059669 49020928 9643 33554432000 134512640 137138936 4292069984 18446744073709551615 136505797 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18270/statm: 11968 9643 288 642 0 11324 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 47872
[startup+1242.3 s]
/proc/loadavg: 2.21 2.06 2.01 4/536 18412
/proc/meminfo: memFree=25031468/32951124 swapFree=46970528/67111528
[pid=18270] ppid=18268 vsize=51832 CPUtime=1242.32 cores=1,3,5,7
/proc/18270/stat : 18270 (bsolo) R 18268 18270 16282 0 -1 4202496 9522950 0 0 0 122826 1406 0 0 25 0 1 0 810059669 53075968 10344 33554432000 134512640 137138936 4292069984 18446744073709551615 135470688 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18270/statm: 12958 10344 288 642 0 12314 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 51832
[startup+1302.3 s]
/proc/loadavg: 2.13 2.06 2.01 4/536 18413
/proc/meminfo: memFree=25029800/32951124 swapFree=46970528/67111528
[pid=18270] ppid=18268 vsize=51312 CPUtime=1302.33 cores=1,3,5,7
/proc/18270/stat : 18270 (bsolo) R 18268 18270 16282 0 -1 4202496 9766176 0 0 0 128775 1458 0 0 25 0 1 0 810059669 52543488 10345 33554432000 134512640 137138936 4292069984 18446744073709551615 135387937 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18270/statm: 12828 10345 288 642 0 12184 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 51312
[startup+1362.3 s]
/proc/loadavg: 2.05 2.05 2.01 4/536 18415
/proc/meminfo: memFree=25029292/32951124 swapFree=46970528/67111528
[pid=18270] ppid=18268 vsize=51364 CPUtime=1362.33 cores=1,3,5,7
/proc/18270/stat : 18270 (bsolo) R 18268 18270 16282 0 -1 4202496 9768271 0 0 0 134774 1459 0 0 25 0 1 0 810059669 52596736 10356 33554432000 134512640 137138936 4292069984 18446744073709551615 134730892 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18270/statm: 12841 10356 288 642 0 12197 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 51364
[startup+1422.3 s]
/proc/loadavg: 2.02 2.04 2.00 4/536 18417
/proc/meminfo: memFree=25029260/32951124 swapFree=46970528/67111528
[pid=18270] ppid=18268 vsize=50956 CPUtime=1422.34 cores=1,3,5,7
/proc/18270/stat : 18270 (bsolo) R 18268 18270 16282 0 -1 4202496 9768273 0 0 0 140773 1461 0 0 25 0 1 0 810059669 52178944 10323 33554432000 134512640 137138936 4292069984 18446744073709551615 134848314 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18270/statm: 12739 10324 288 642 0 12095 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 50956
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 4/536 18418
/proc/meminfo: memFree=25025620/32951124 swapFree=46970528/67111528
[pid=18270] ppid=18268 vsize=50956 CPUtime=1482.33 cores=1,3,5,7
/proc/18270/stat : 18270 (bsolo) R 18268 18270 16282 0 -1 4202496 9768277 0 0 0 146771 1462 0 0 25 0 1 0 810059669 52178944 10327 33554432000 134512640 137138936 4292069984 18446744073709551615 135253327 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18270/statm: 12739 10327 288 642 0 12095 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 50956
[startup+1542.32 s]
/proc/loadavg: 2.00 2.02 2.00 4/536 18420
/proc/meminfo: memFree=25025576/32951124 swapFree=46970528/67111528
[pid=18270] ppid=18268 vsize=50956 CPUtime=1542.36 cores=1,3,5,7
/proc/18270/stat : 18270 (bsolo) R 18268 18270 16282 0 -1 4202496 9768277 0 0 0 152772 1464 0 0 25 0 1 0 810059669 52178944 10327 33554432000 134512640 137138936 4292069984 18446744073709551615 134730894 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18270/statm: 12739 10327 288 642 0 12095 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 50956
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/536 18421
/proc/meminfo: memFree=25024288/32951124 swapFree=46970528/67111528
[pid=18270] ppid=18268 vsize=50956 CPUtime=1602.33 cores=1,3,5,7
/proc/18270/stat : 18270 (bsolo) R 18268 18270 16282 0 -1 4202496 9768277 0 0 0 158769 1464 0 0 25 0 1 0 810059669 52178944 10327 33554432000 134512640 137138936 4292069984 18446744073709551615 135440696 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18270/statm: 12739 10327 288 642 0 12095 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 50956
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/536 18432
/proc/meminfo: memFree=25021036/32951124 swapFree=46970528/67111528
[pid=18270] ppid=18268 vsize=55692 CPUtime=1662.33 cores=1,3,5,7
/proc/18270/stat : 18270 (bsolo) R 18268 18270 16282 0 -1 4202496 10640915 0 0 0 164655 1578 0 0 25 0 1 0 810059669 57028608 11291 33554432000 134512640 137138936 4292069984 18446744073709551615 134849500 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18270/statm: 13923 11291 288 642 0 13279 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 55692
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/536 18434
/proc/meminfo: memFree=25021368/32951124 swapFree=46970528/67111528
[pid=18270] ppid=18268 vsize=55004 CPUtime=1722.33 cores=1,3,5,7
/proc/18270/stat : 18270 (bsolo) R 18268 18270 16282 0 -1 4202496 10995871 0 0 0 170586 1647 0 0 25 0 1 0 810059669 56324096 11299 33554432000 134512640 137138936 4292069984 18446744073709551615 134750986 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18270/statm: 13751 11299 288 642 0 13107 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 55004
[startup+1782.3 s]
/proc/loadavg: 2.07 2.03 2.01 4/536 18435
/proc/meminfo: memFree=25021576/32951124 swapFree=46970528/67111528
[pid=18270] ppid=18268 vsize=54840 CPUtime=1782.34 cores=1,3,5,7
/proc/18270/stat : 18270 (bsolo) R 18268 18270 16282 0 -1 4202496 10996097 0 0 0 176585 1649 0 0 25 0 1 0 810059669 56156160 11258 33554432000 134512640 137138936 4292069984 18446744073709551615 136504129 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18270/statm: 13710 11258 288 642 0 13066 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 54840
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.30 2.08 2.02 4/536 18435
/proc/meminfo: memFree=25021576/32951124 swapFree=46970528/67111528
[pid=18270] ppid=18268 vsize=54840 CPUtime=1785.64 cores=1,3,5,7
/proc/18270/stat : 18270 (bsolo) R 18268 18270 16282 0 -1 4202496 10996099 0 0 0 176915 1649 0 0 25 0 1 0 810059669 56156160 11260 33554432000 134512640 137138936 4292069984 18446744073709551615 135251030 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18270/statm: 13710 11260 288 642 0 13066 0
Current children cumulated CPU time (s) 1785.64
Current children cumulated vsize (KiB) 54840
[startup+1792.02 s]
/proc/loadavg: 2.28 2.08 2.02 4/536 18436
/proc/meminfo: memFree=25022808/32951124 swapFree=46970528/67111528
[pid=18270] ppid=18268 vsize=54840 CPUtime=1792.06 cores=1,3,5,7
/proc/18270/stat : 18270 (bsolo) R 18268 18270 16282 0 -1 4202496 10996105 0 0 0 177556 1650 0 0 25 0 1 0 810059669 56156160 11266 33554432000 134512640 137138936 4292069984 18446744073709551615 135375438 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18270/statm: 13710 11266 288 642 0 13066 0
Current children cumulated CPU time (s) 1792.06
Current children cumulated vsize (KiB) 54840
[startup+1795.2 s]
/proc/loadavg: 2.25 2.07 2.02 4/536 18436
/proc/meminfo: memFree=25022804/32951124 swapFree=46970528/67111528
[pid=18270] ppid=18268 vsize=54840 CPUtime=1795.25 cores=1,3,5,7
/proc/18270/stat : 18270 (bsolo) R 18268 18270 16282 0 -1 4202496 10996105 0 0 0 177875 1650 0 0 25 0 1 0 810059669 56156160 11266 33554432000 134512640 137138936 4292069984 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18270/statm: 13710 11266 288 642 0 13066 0
Current children cumulated CPU time (s) 1795.25
Current children cumulated vsize (KiB) 54840
[startup+1796.8 s]
/proc/loadavg: 2.25 2.07 2.02 4/536 18436
/proc/meminfo: memFree=25022804/32951124 swapFree=46970528/67111528
[pid=18270] ppid=18268 vsize=54840 CPUtime=1796.84 cores=1,3,5,7
/proc/18270/stat : 18270 (bsolo) R 18268 18270 16282 0 -1 4202496 10996105 0 0 0 178034 1650 0 0 25 0 1 0 810059669 56156160 11266 33554432000 134512640 137138936 4292069984 18446744073709551615 134849373 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18270/statm: 13710 11266 288 642 0 13066 0
Current children cumulated CPU time (s) 1796.84
Current children cumulated vsize (KiB) 54840
[startup+1797.6 s]
/proc/loadavg: 2.25 2.07 2.02 4/536 18436
/proc/meminfo: memFree=25022308/32951124 swapFree=46970528/67111528
[pid=18270] ppid=18268 vsize=54840 CPUtime=1797.64 cores=1,3,5,7
/proc/18270/stat : 18270 (bsolo) R 18268 18270 16282 0 -1 4202496 10996105 0 0 0 178114 1650 0 0 25 0 1 0 810059669 56156160 11266 33554432000 134512640 137138936 4292069984 18446744073709551615 135379586 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18270/statm: 13710 11266 288 642 0 13066 0
Current children cumulated CPU time (s) 1797.64
Current children cumulated vsize (KiB) 54840
[startup+1798 s]
/proc/loadavg: 2.25 2.07 2.02 4/536 18436
/proc/meminfo: memFree=25022308/32951124 swapFree=46970528/67111528
[pid=18270] ppid=18268 vsize=54840 CPUtime=1798.04 cores=1,3,5,7
/proc/18270/stat : 18270 (bsolo) R 18268 18270 16282 0 -1 4202496 10996105 0 0 0 178154 1650 0 0 25 0 1 0 810059669 56156160 11266 33554432000 134512640 137138936 4292069984 18446744073709551615 134713132 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18270/statm: 13710 11266 288 642 0 13066 0
Current children cumulated CPU time (s) 1798.04
Current children cumulated vsize (KiB) 54840
Child status: 0
Real time (s): 1798.03
CPU time (s): 1798.08
CPU user time (s): 1781.58
CPU system time (s): 16.5055
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 56148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.58
system time used= 16.5055
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10996105
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= 4003
runsolver used 9.02263 second user time and 22.0237 second system time
The end