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-3463787-1307185789/watcher-3463787-1307185789 -o /tmp/evaluation-result-3463787-1307185789/solver-3463787-1307185789 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463787-1307185789.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.04 2.03 2.00 3/458 17802
/proc/meminfo: memFree=25220528/32951124 swapFree=60688864/67111528
[pid=17802] ppid=17800 vsize=15664 CPUtime=0 cores=0,2,4,6
/proc/17802/stat : 17802 (bsolo) R 17800 17802 14960 0 -1 4202496 445 0 0 0 0 0 0 0 25 0 1 0 830177055 16039936 400 33554432000 134512640 137138936 4289190752 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17802/statm: 3916 401 193 642 0 2199 0
[startup+0.075194 s]
/proc/loadavg: 2.04 2.03 2.00 3/458 17802
/proc/meminfo: memFree=25220528/32951124 swapFree=60688864/67111528
[pid=17802] ppid=17800 vsize=20392 CPUtime=0.06 cores=0,2,4,6
/proc/17802/stat : 17802 (bsolo) R 17800 17802 14960 0 -1 4202496 1863 0 0 0 6 0 0 0 25 0 1 0 830177055 20881408 1818 33554432000 134512640 137138936 4289190752 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17802/statm: 5098 1819 436 642 0 3381 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 20392
[startup+0.10119 s]
/proc/loadavg: 2.04 2.03 2.00 3/458 17802
/proc/meminfo: memFree=25220528/32951124 swapFree=60688864/67111528
[pid=17802] ppid=17800 vsize=21768 CPUtime=0.09 cores=0,2,4,6
/proc/17802/stat : 17802 (bsolo) R 17800 17802 14960 0 -1 4202496 2303 0 0 0 9 0 0 0 25 0 1 0 830177055 22290432 2258 33554432000 134512640 137138936 4289190752 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17802/statm: 5442 2259 528 642 0 3725 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21768
[startup+0.301182 s]
/proc/loadavg: 2.04 2.03 2.00 3/458 17802
/proc/meminfo: memFree=25220528/32951124 swapFree=60688864/67111528
[pid=17802] ppid=17800 vsize=30928 CPUtime=0.29 cores=0,2,4,6
/proc/17802/stat : 17802 (bsolo) R 17800 17802 14960 0 -1 4202496 5263 0 0 0 28 1 0 0 25 0 1 0 830177055 31670272 5178 33554432000 134512640 137138936 4289190752 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17802/statm: 7732 5178 1147 642 0 6015 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30928
[startup+0.701111 s]
/proc/loadavg: 2.04 2.03 2.00 3/458 17802
/proc/meminfo: memFree=25220528/32951124 swapFree=60688864/67111528
[pid=17802] ppid=17800 vsize=39496 CPUtime=0.69 cores=0,2,4,6
/proc/17802/stat : 17802 (bsolo) R 17800 17802 14960 0 -1 4202496 8745 0 0 0 68 1 0 0 25 0 1 0 830177055 40443904 7302 33554432000 134512640 137138936 4289190752 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17802/statm: 9874 7303 184 642 0 9230 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39496
[startup+1.50097 s]
/proc/loadavg: 2.04 2.03 2.00 3/459 17803
/proc/meminfo: memFree=25191256/32951124 swapFree=60688864/67111528
[pid=17802] ppid=17800 vsize=39640 CPUtime=1.49 cores=0,2,4,6
/proc/17802/stat : 17802 (bsolo) R 17800 17802 14960 0 -1 4202496 9009 0 0 0 148 1 0 0 25 0 1 0 830177055 40591360 7333 33554432000 134512640 137138936 4289190752 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17802/statm: 9910 7333 184 642 0 9266 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39640
[startup+3.10066 s]
/proc/loadavg: 2.12 2.05 2.01 3/459 17803
/proc/meminfo: memFree=25190264/32951124 swapFree=60688864/67111528
[pid=17802] ppid=17800 vsize=39640 CPUtime=3.09 cores=0,2,4,6
/proc/17802/stat : 17802 (bsolo) R 17800 17802 14960 0 -1 4202496 9010 0 0 0 308 1 0 0 25 0 1 0 830177055 40591360 7334 33554432000 134512640 137138936 4289190752 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17802/statm: 9910 7334 184 642 0 9266 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39640
[startup+6.3011 s]
/proc/loadavg: 2.12 2.05 2.01 3/459 17803
/proc/meminfo: memFree=25189892/32951124 swapFree=60688864/67111528
[pid=17802] ppid=17800 vsize=39640 CPUtime=6.29 cores=0,2,4,6
/proc/17802/stat : 17802 (bsolo) R 17800 17802 14960 0 -1 4202496 9011 0 0 0 627 2 0 0 25 0 1 0 830177055 40591360 7335 33554432000 134512640 137138936 4289190752 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17802/statm: 9910 7335 184 642 0 9266 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39640
[startup+12.701 s]
/proc/loadavg: 2.11 2.05 2.01 3/459 17803
/proc/meminfo: memFree=25189292/32951124 swapFree=60688864/67111528
[pid=17802] ppid=17800 vsize=39640 CPUtime=12.69 cores=0,2,4,6
/proc/17802/stat : 17802 (bsolo) R 17800 17802 14960 0 -1 4202496 9019 0 0 0 1267 2 0 0 25 0 1 0 830177055 40591360 7343 33554432000 134512640 137138936 4289190752 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17802/statm: 9910 7343 184 642 0 9266 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39640
[startup+25.5007 s]
/proc/loadavg: 2.08 2.04 2.00 3/459 17803
/proc/meminfo: memFree=25189036/32951124 swapFree=60688864/67111528
[pid=17802] ppid=17800 vsize=39956 CPUtime=25.49 cores=0,2,4,6
/proc/17802/stat : 17802 (bsolo) R 17800 17802 14960 0 -1 4202496 9124 0 0 0 2546 3 0 0 25 0 1 0 830177055 40914944 7419 33554432000 134512640 137138936 4289190752 18446744073709551615 136506283 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17802/statm: 9989 7419 184 642 0 9345 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 39956
[startup+51.1012 s]
/proc/loadavg: 2.05 2.04 2.00 3/459 17804
/proc/meminfo: memFree=25177600/32951124 swapFree=60688864/67111528
[pid=17802] ppid=17800 vsize=51524 CPUtime=51.09 cores=0,2,4,6
/proc/17802/stat : 17802 (bsolo) R 17800 17802 14960 0 -1 4202496 12574 0 0 0 5101 8 0 0 25 0 1 0 830177055 52760576 10330 33554432000 134512640 137138936 4289190752 18446744073709551615 134606670 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17802/statm: 12881 10330 192 642 0 12237 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 51524
[startup+102.317 s]
/proc/loadavg: 2.07 2.05 2.00 3/459 17805
/proc/meminfo: memFree=25121892/32951124 swapFree=60688864/67111528
[pid=17802] ppid=17800 vsize=106200 CPUtime=102.3 cores=0,2,4,6
/proc/17802/stat : 17802 (bsolo) R 17800 17802 14960 0 -1 4202496 26244 0 0 0 10217 13 0 0 25 0 1 0 830177055 108748800 24000 33554432000 134512640 137138936 4289190752 18446744073709551615 136504355 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17802/statm: 26550 24000 192 642 0 25906 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 106200
[startup+162.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/459 17807
/proc/meminfo: memFree=25068904/32951124 swapFree=60688864/67111528
[pid=17802] ppid=17800 vsize=159780 CPUtime=162.29 cores=0,2,4,6
/proc/17802/stat : 17802 (bsolo) R 17800 17802 14960 0 -1 4202496 39639 0 0 0 16210 19 0 0 25 0 1 0 830177055 163614720 37395 33554432000 134512640 137138936 4289190752 18446744073709551615 134575317 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17802/statm: 39945 37395 192 642 0 39301 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 159780
[startup+222.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/459 17808
/proc/meminfo: memFree=25019516/32951124 swapFree=60688864/67111528
[pid=17802] ppid=17800 vsize=208012 CPUtime=222.28 cores=0,2,4,6
/proc/17802/stat : 17802 (bsolo) R 17800 17802 14960 0 -1 4202496 51932 0 0 0 22203 25 0 0 25 0 1 0 830177055 213004288 49453 33554432000 134512640 137138936 4289190752 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17802/statm: 52003 49453 192 642 0 51359 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 208012
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/459 17810
/proc/meminfo: memFree=24975564/32951124 swapFree=60688864/67111528
[pid=17802] ppid=17800 vsize=252624 CPUtime=282.29 cores=0,2,4,6
/proc/17802/stat : 17802 (bsolo) R 17800 17802 14960 0 -1 4202496 63085 0 0 0 28198 31 0 0 25 0 1 0 830177055 258686976 60606 33554432000 134512640 137138936 4289190752 18446744073709551615 134542544 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17802/statm: 63156 60606 192 642 0 62512 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 252624
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/459 17812
/proc/meminfo: memFree=24899024/32951124 swapFree=60688864/67111528
[pid=17802] ppid=17800 vsize=328716 CPUtime=342.29 cores=0,2,4,6
/proc/17802/stat : 17802 (bsolo) R 17800 17802 14960 0 -1 4202496 82109 0 0 0 34193 36 0 0 25 0 1 0 830177055 336605184 79630 33554432000 134512640 137138936 4289190752 18446744073709551615 134572783 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17802/statm: 82179 79630 192 642 0 81535 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 328716
[startup+402.301 s]
/proc/loadavg: 2.11 2.04 2.01 3/459 17813
/proc/meminfo: memFree=24849632/32951124 swapFree=60688864/67111528
[pid=17802] ppid=17800 vsize=378264 CPUtime=402.29 cores=0,2,4,6
/proc/17802/stat : 17802 (bsolo) R 17800 17802 14960 0 -1 4202496 94497 0 0 0 40189 40 0 0 25 0 1 0 830177055 387342336 92018 33554432000 134512640 137138936 4289190752 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17802/statm: 94566 92018 192 642 0 93922 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 378264
[startup+462.301 s]
/proc/loadavg: 2.11 2.06 2.01 3/459 17842
/proc/meminfo: memFree=25779140/32951124 swapFree=60688864/67111528
[pid=17802] ppid=17800 vsize=422572 CPUtime=462.29 cores=0,2,4,6
/proc/17802/stat : 17802 (bsolo) R 17800 17802 14960 0 -1 4202496 105574 0 0 0 46185 44 0 0 25 0 1 0 830177055 432713728 103095 33554432000 134512640 137138936 4289190752 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17802/statm: 105643 103095 192 642 0 104999 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 422572
[startup+522.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/459 17843
/proc/meminfo: memFree=25732360/32951124 swapFree=60688864/67111528
[pid=17802] ppid=17800 vsize=469568 CPUtime=522.28 cores=0,2,4,6
/proc/17802/stat : 17802 (bsolo) R 17800 17802 14960 0 -1 4202496 117323 0 0 0 52181 47 0 0 25 0 1 0 830177055 480837632 114844 33554432000 134512640 137138936 4289190752 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17802/statm: 117392 114844 192 642 0 116748 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 469568
[startup+582.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/459 17845
/proc/meminfo: memFree=25686324/32951124 swapFree=60688864/67111528
[pid=17802] ppid=17800 vsize=515488 CPUtime=582.29 cores=0,2,4,6
/proc/17802/stat : 17802 (bsolo) R 17800 17802 14960 0 -1 4202496 128803 0 0 0 58178 51 0 0 25 0 1 0 830177055 527859712 126324 33554432000 134512640 137138936 4289190752 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17802/statm: 128872 126324 192 642 0 128228 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 515488
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=25451136/32951124 swapFree=60688864/67111528
[pid=17802] ppid=17800 vsize=818816 CPUtime=1122.28 cores=0,2,4,6
/proc/17802/stat : 17802 (bsolo) R 17800 17802 14960 0 -1 4202496 204635 0 0 0 112145 83 0 0 25 0 1 0 830177055 838467584 202156 33554432000 134512640 137138936 4289190752 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17802/statm: 204704 202156 192 642 0 204060 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 818816
[startup+1182.3 s]
/proc/loadavg: 1.06 1.21 1.57 2/453 17878
/proc/meminfo: memFree=25429792/32951124 swapFree=60688864/67111528
[pid=17802] ppid=17800 vsize=839936 CPUtime=1182.28 cores=0,2,4,6
/proc/17802/stat : 17802 (bsolo) R 17800 17802 14960 0 -1 4202496 209915 0 0 0 118142 86 0 0 25 0 1 0 830177055 860094464 207436 33554432000 134512640 137138936 4289190752 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17802/statm: 209984 207436 192 642 0 209340 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 839936
[startup+1242.3 s]
/proc/loadavg: 1.02 1.17 1.53 2/453 17880
/proc/meminfo: memFree=25409424/32951124 swapFree=60688864/67111528
[pid=17802] ppid=17800 vsize=859848 CPUtime=1242.28 cores=0,2,4,6
/proc/17802/stat : 17802 (bsolo) R 17800 17802 14960 0 -1 4202496 214893 0 0 0 124140 88 0 0 25 0 1 0 830177055 880484352 212414 33554432000 134512640 137138936 4289190752 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17802/statm: 214962 212414 192 642 0 214318 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 859848
[startup+1302.3 s]
/proc/loadavg: 1.05 1.15 1.50 2/453 17881
/proc/meminfo: memFree=25388180/32951124 swapFree=60688864/67111528
[pid=17802] ppid=17800 vsize=880480 CPUtime=1302.28 cores=0,2,4,6
/proc/17802/stat : 17802 (bsolo) R 17800 17802 14960 0 -1 4202496 220051 0 0 0 130138 90 0 0 25 0 1 0 830177055 901611520 217572 33554432000 134512640 137138936 4289190752 18446744073709551615 136297742 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17802/statm: 220120 217572 192 642 0 219476 0
Current children cumulated CPU time (s) 1302.28
Current children cumulated vsize (KiB) 880480
[startup+1362.3 s]
/proc/loadavg: 1.14 1.15 1.48 2/453 17883
/proc/meminfo: memFree=25370028/32951124 swapFree=60688864/67111528
[pid=17802] ppid=17800 vsize=899628 CPUtime=1362.29 cores=0,2,4,6
/proc/17802/stat : 17802 (bsolo) R 17800 17802 14960 0 -1 4202496 224838 0 0 0 136136 93 0 0 25 0 1 0 830177055 921219072 222359 33554432000 134512640 137138936 4289190752 18446744073709551615 136520963 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17802/statm: 224907 222359 192 642 0 224263 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 899628
[startup+1422.32 s]
/proc/loadavg: 1.12 1.13 1.45 2/453 17884
/proc/meminfo: memFree=25351260/32951124 swapFree=60688864/67111528
[pid=17802] ppid=17800 vsize=918536 CPUtime=1422.29 cores=0,2,4,6
/proc/17802/stat : 17802 (bsolo) R 17800 17802 14960 0 -1 4202496 229565 0 0 0 142134 95 0 0 25 0 1 0 830177055 940580864 227086 33554432000 134512640 137138936 4289190752 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17802/statm: 229634 227086 192 642 0 228990 0
Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 918536
[startup+1482.3 s]
/proc/loadavg: 1.11 1.12 1.42 2/453 17886
/proc/meminfo: memFree=25334620/32951124 swapFree=60688864/67111528
[pid=17802] ppid=17800 vsize=935056 CPUtime=1482.27 cores=0,2,4,6
/proc/17802/stat : 17802 (bsolo) R 17800 17802 14960 0 -1 4202496 233695 0 0 0 148130 97 0 0 25 0 1 0 830177055 957497344 231216 33554432000 134512640 137138936 4289190752 18446744073709551615 134541956 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17802/statm: 233764 231216 192 642 0 233120 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 935056
[startup+1542.3 s]
/proc/loadavg: 1.12 1.13 1.40 2/453 17888
/proc/meminfo: memFree=25315360/32951124 swapFree=60688864/67111528
[pid=17802] ppid=17800 vsize=953912 CPUtime=1542.28 cores=0,2,4,6
/proc/17802/stat : 17802 (bsolo) R 17800 17802 14960 0 -1 4202496 238409 0 0 0 154128 100 0 0 25 0 1 0 830177055 976805888 235930 33554432000 134512640 137138936 4289190752 18446744073709551615 134542161 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17802/statm: 238478 235930 192 642 0 237834 0
Current children cumulated CPU time (s) 1542.28
Current children cumulated vsize (KiB) 953912
[startup+1602.3 s]
/proc/loadavg: 1.05 1.10 1.38 2/453 17889
/proc/meminfo: memFree=25296224/32951124 swapFree=60688864/67111528
[pid=17802] ppid=17800 vsize=973588 CPUtime=1602.28 cores=0,2,4,6
/proc/17802/stat : 17802 (bsolo) R 17800 17802 14960 0 -1 4202496 243328 0 0 0 160125 103 0 0 25 0 1 0 830177055 996954112 240849 33554432000 134512640 137138936 4289190752 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17802/statm: 243397 240849 192 642 0 242753 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 973588
[startup+1662.3 s]
/proc/loadavg: 1.01 1.08 1.35 2/453 17891
/proc/meminfo: memFree=25275732/32951124 swapFree=60688864/67111528
[pid=17802] ppid=17800 vsize=993584 CPUtime=1662.28 cores=0,2,4,6
/proc/17802/stat : 17802 (bsolo) R 17800 17802 14960 0 -1 4202496 248327 0 0 0 166122 106 0 0 25 0 1 0 830177055 1017430016 245848 33554432000 134512640 137138936 4289190752 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17802/statm: 248396 245848 192 642 0 247752 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 993584
[startup+1722.3 s]
/proc/loadavg: 1.00 1.06 1.33 2/453 17892
/proc/meminfo: memFree=25256728/32951124 swapFree=60688864/67111528
[pid=17802] ppid=17800 vsize=1013016 CPUtime=1722.28 cores=0,2,4,6
/proc/17802/stat : 17802 (bsolo) R 17800 17802 14960 0 -1 4202496 253185 0 0 0 172119 109 0 0 25 0 1 0 830177055 1037328384 250706 33554432000 134512640 137138936 4289190752 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17802/statm: 253254 250706 192 642 0 252610 0
Current children cumulated CPU time (s) 1722.28
Current children cumulated vsize (KiB) 1013016
[startup+1782.3 s]
/proc/loadavg: 1.00 1.05 1.30 2/453 17894
/proc/meminfo: memFree=25232532/32951124 swapFree=60688864/67111528
[pid=17802] ppid=17800 vsize=1036084 CPUtime=1782.27 cores=0,2,4,6
/proc/17802/stat : 17802 (bsolo) R 17800 17802 14960 0 -1 4202496 258952 0 0 0 178115 112 0 0 25 0 1 0 830177055 1060950016 256473 33554432000 134512640 137138936 4289190752 18446744073709551615 134542552 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17802/statm: 259021 256473 192 642 0 258377 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (KiB) 1036084
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.05 1.30 2/453 17894
/proc/meminfo: memFree=25232408/32951124 swapFree=60688864/67111528
[pid=17802] ppid=17800 vsize=1036724 CPUtime=1785.48 cores=0,2,4,6
/proc/17802/stat : 17802 (bsolo) R 17800 17802 14960 0 -1 4202496 259112 0 0 0 178435 113 0 0 25 0 1 0 830177055 1061605376 256633 33554432000 134512640 137138936 4289190752 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17802/statm: 259181 256633 192 642 0 258537 0
Current children cumulated CPU time (s) 1785.48
Current children cumulated vsize (KiB) 1036724
[startup+1791.92 s]
/proc/loadavg: 1.00 1.05 1.30 2/453 17894
/proc/meminfo: memFree=25230412/32951124 swapFree=60688864/67111528
[pid=17802] ppid=17800 vsize=1038652 CPUtime=1791.89 cores=0,2,4,6
/proc/17802/stat : 17802 (bsolo) R 17800 17802 14960 0 -1 4202496 259594 0 0 0 179076 113 0 0 25 0 1 0 830177055 1063579648 257115 33554432000 134512640 137138936 4289190752 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17802/statm: 259663 257115 192 642 0 259019 0
Current children cumulated CPU time (s) 1791.89
Current children cumulated vsize (KiB) 1038652
[startup+1795.1 s]
/proc/loadavg: 1.00 1.05 1.30 2/453 17894
/proc/meminfo: memFree=25229420/32951124 swapFree=60688864/67111528
[pid=17802] ppid=17800 vsize=1039920 CPUtime=1795.08 cores=0,2,4,6
/proc/17802/stat : 17802 (bsolo) R 17800 17802 14960 0 -1 4202496 259911 0 0 0 179395 113 0 0 25 0 1 0 830177055 1064878080 257432 33554432000 134512640 137138936 4289190752 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17802/statm: 259980 257432 192 642 0 259336 0
Current children cumulated CPU time (s) 1795.08
Current children cumulated vsize (KiB) 1039920
[startup+1796.7 s]
/proc/loadavg: 1.00 1.05 1.30 2/453 17894
/proc/meminfo: memFree=25229048/32951124 swapFree=60688864/67111528
[pid=17802] ppid=17800 vsize=1040572 CPUtime=1796.67 cores=0,2,4,6
/proc/17802/stat : 17802 (bsolo) R 17800 17802 14960 0 -1 4202496 260074 0 0 0 179554 113 0 0 25 0 1 0 830177055 1065545728 257595 33554432000 134512640 137138936 4289190752 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17802/statm: 260143 257595 192 642 0 259499 0
Current children cumulated CPU time (s) 1796.67
Current children cumulated vsize (KiB) 1040572
[startup+1797.5 s]
/proc/loadavg: 1.00 1.05 1.29 2/453 17894
/proc/meminfo: memFree=25228304/32951124 swapFree=60688864/67111528
[pid=17802] ppid=17800 vsize=1040884 CPUtime=1797.47 cores=0,2,4,6
/proc/17802/stat : 17802 (bsolo) R 17800 17802 14960 0 -1 4202496 260152 0 0 0 179634 113 0 0 25 0 1 0 830177055 1065865216 257673 33554432000 134512640 137138936 4289190752 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17802/statm: 260221 257673 192 642 0 259577 0
Current children cumulated CPU time (s) 1797.47
Current children cumulated vsize (KiB) 1040884
[startup+1797.9 s]
/proc/loadavg: 1.00 1.05 1.29 2/453 17894
/proc/meminfo: memFree=25228304/32951124 swapFree=60688864/67111528
[pid=17802] ppid=17800 vsize=1040884 CPUtime=1797.87 cores=0,2,4,6
/proc/17802/stat : 17802 (bsolo) R 17800 17802 14960 0 -1 4202496 260152 0 0 0 179674 113 0 0 25 0 1 0 830177055 1065865216 257673 33554432000 134512640 137138936 4289190752 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17802/statm: 260221 257673 192 642 0 259577 0
Current children cumulated CPU time (s) 1797.87
Current children cumulated vsize (KiB) 1040884
[startup+1798 s]
/proc/loadavg: 1.00 1.05 1.29 2/453 17894
/proc/meminfo: memFree=25228304/32951124 swapFree=60688864/67111528
[pid=17802] ppid=17800 vsize=1040884 CPUtime=1797.97 cores=0,2,4,6
/proc/17802/stat : 17802 (bsolo) R 17800 17802 14960 0 -1 4202496 260152 0 0 0 179684 113 0 0 25 0 1 0 830177055 1065865216 257673 33554432000 134512640 137138936 4289190752 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17802/statm: 260221 257673 192 642 0 259577 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 1040884
Child status: 0
Real time (s): 1798.07
CPU time (s): 1798.04
CPU user time (s): 1796.87
CPU system time (s): 1.17682
CPU usage (%): 99.9988
Max. virtual memory (cumulated for all children) (KiB): 1040884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.87
system time used= 1.17682
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 260152
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= 2186
runsolver used 8.38072 second user time and 17.9783 second system time
The end