runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3742440-1338785566/watcher-3742440-1338785566 -o /tmp/evaluation-result-3742440-1338785566/solver-3742440-1338785566 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3742440-1338785566.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.00 2.00 3/176 2846
/proc/meminfo: memFree=25602332/32873648 swapFree=6860/6860
[pid=2846] ppid=2844 vsize=20476 CPUtime=0 cores=1,3,5,7
/proc/2846/stat : 2846 (bsolo) R 2844 2846 2050 0 -1 4202496 402 0 0 0 0 0 0 0 20 0 1 0 344682644 20967424 355 33554432000 134512640 137136520 4287922768 4287918888 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2846/statm: 5119 356 186 641 0 4113 0
[startup+0.0519491 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2846
/proc/meminfo: memFree=25602332/32873648 swapFree=6860/6860
[pid=2846] ppid=2844 vsize=15140 CPUtime=0.04 cores=1,3,5,7
/proc/2846/stat : 2846 (bsolo) R 2844 2846 2050 0 -1 4202496 1203 0 0 0 4 0 0 0 20 0 1 0 344682644 15503360 1116 33554432000 134512640 137136520 4287922768 4287921296 134517511 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2846/statm: 3785 1116 332 641 0 2779 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 15140
[startup+0.100231 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2846
/proc/meminfo: memFree=25602332/32873648 swapFree=6860/6860
[pid=2846] ppid=2844 vsize=16632 CPUtime=0.09 cores=1,3,5,7
/proc/2846/stat : 2846 (bsolo) R 2844 2846 2050 0 -1 4202496 1696 0 0 0 9 0 0 0 20 0 1 0 344682644 17031168 1609 33554432000 134512640 137136520 4287922768 4287921188 136523248 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2846/statm: 4158 1609 476 641 0 3152 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16632
[startup+0.300223 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2846
/proc/meminfo: memFree=25602332/32873648 swapFree=6860/6860
[pid=2846] ppid=2844 vsize=19072 CPUtime=0.29 cores=1,3,5,7
/proc/2846/stat : 2846 (bsolo) R 2844 2846 2050 0 -1 4202496 2691 0 0 0 29 0 0 0 20 0 1 0 344682644 19529728 2242 33554432000 134512640 137136520 4287922768 4287664240 134543834 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2846/statm: 4768 2242 189 641 0 4124 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19072
[startup+0.700206 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2846
/proc/meminfo: memFree=25602332/32873648 swapFree=6860/6860
[pid=2846] ppid=2844 vsize=19072 CPUtime=0.69 cores=1,3,5,7
/proc/2846/stat : 2846 (bsolo) R 2844 2846 2050 0 -1 4202496 2692 0 0 0 69 0 0 0 20 0 1 0 344682644 19529728 2243 33554432000 134512640 137136520 4287922768 4287664240 134543760 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2846/statm: 4768 2243 189 641 0 4124 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19072
[startup+1.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2847
/proc/meminfo: memFree=25592388/32873648 swapFree=6860/6860
[pid=2846] ppid=2844 vsize=19072 CPUtime=1.49 cores=1,3,5,7
/proc/2846/stat : 2846 (bsolo) R 2844 2846 2050 0 -1 4202496 2693 0 0 0 149 0 0 0 20 0 1 0 344682644 19529728 2244 33554432000 134512640 137136520 4287922768 4287664240 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2846/statm: 4768 2244 189 641 0 4124 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19072
[startup+3.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2847
/proc/meminfo: memFree=25591232/32873648 swapFree=6860/6860
[pid=2846] ppid=2844 vsize=19072 CPUtime=3.09 cores=1,3,5,7
/proc/2846/stat : 2846 (bsolo) R 2844 2846 2050 0 -1 4202496 2693 0 0 0 309 0 0 0 20 0 1 0 344682644 19529728 2244 33554432000 134512640 137136520 4287922768 4287664240 134544838 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2846/statm: 4768 2244 189 641 0 4124 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19072
[startup+6.3002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2847
/proc/meminfo: memFree=25588164/32873648 swapFree=6860/6860
[pid=2846] ppid=2844 vsize=19072 CPUtime=6.29 cores=1,3,5,7
/proc/2846/stat : 2846 (bsolo) R 2844 2846 2050 0 -1 4202496 2694 0 0 0 628 1 0 0 20 0 1 0 344682644 19529728 2245 33554432000 134512640 137136520 4287922768 4287664428 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2846/statm: 4768 2245 189 641 0 4124 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19072
[startup+12.7001 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2847
/proc/meminfo: memFree=25579752/32873648 swapFree=6860/6860
[pid=2846] ppid=2844 vsize=22592 CPUtime=12.69 cores=1,3,5,7
/proc/2846/stat : 2846 (bsolo) R 2844 2846 2050 0 -1 4202496 3800 0 0 0 1252 17 0 0 20 0 1 0 344682644 23134208 3141 33554432000 134512640 137136520 4287922768 4287921884 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2846/statm: 5648 3141 198 641 0 5004 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22592
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2847
/proc/meminfo: memFree=25555696/32873648 swapFree=6860/6860
[pid=2846] ppid=2844 vsize=37748 CPUtime=25.48 cores=1,3,5,7
/proc/2846/stat : 2846 (bsolo) R 2844 2846 2050 0 -1 4202496 7591 0 0 0 2491 57 0 0 20 0 1 0 344682644 38653952 6932 33554432000 134512640 137136520 4287922768 4287921884 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2846/statm: 9437 6932 198 641 0 8793 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 37748
[startup+51.1002 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 2847
/proc/meminfo: memFree=25505924/32873648 swapFree=6860/6860
[pid=2846] ppid=2844 vsize=71084 CPUtime=51.08 cores=1,3,5,7
/proc/2846/stat : 2846 (bsolo) R 2844 2846 2050 0 -1 4202496 15925 0 0 0 4999 109 0 0 20 0 1 0 344682644 72790016 15266 33554432000 134512640 137136520 4287922768 4287916036 136498693 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2846/statm: 17771 15266 198 641 0 17127 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 71084
[startup+102.307 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 2896
/proc/meminfo: memFree=27034260/32873648 swapFree=6860/6860
[pid=2846] ppid=2844 vsize=125168 CPUtime=102.26 cores=1,3,5,7
/proc/2846/stat : 2846 (bsolo) R 2844 2846 2050 0 -1 4202496 29470 0 0 0 10051 175 0 0 20 0 1 0 344682644 128172032 28787 33554432000 134512640 137136520 4287922768 4287921884 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2846/statm: 31292 28787 198 641 0 30648 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 125168
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2896
/proc/meminfo: memFree=26948544/32873648 swapFree=6860/6860
[pid=2846] ppid=2844 vsize=158716 CPUtime=162.2 cores=1,3,5,7
/proc/2846/stat : 2846 (bsolo) R 2844 2846 2050 0 -1 4202496 37910 0 0 0 15971 249 0 0 20 0 1 0 344682644 162525184 37182 33554432000 134512640 137136520 4287922768 4287921696 134543951 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2846/statm: 39679 37182 198 641 0 39035 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 158716
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2896
/proc/meminfo: memFree=26857744/32873648 swapFree=6860/6860
[pid=2846] ppid=2844 vsize=189488 CPUtime=222.19 cores=1,3,5,7
/proc/2846/stat : 2846 (bsolo) R 2844 2846 2050 0 -1 4202496 45595 0 0 0 21905 314 0 0 20 0 1 0 344682644 194035712 44867 33554432000 134512640 137136520 4287922768 4287921664 134543933 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2846/statm: 47372 44867 198 641 0 46728 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 189488
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2896
/proc/meminfo: memFree=26775920/32873648 swapFree=6860/6860
[pid=2846] ppid=2844 vsize=224060 CPUtime=282.19 cores=1,3,5,7
/proc/2846/stat : 2846 (bsolo) R 2844 2846 2050 0 -1 4202496 54240 0 0 0 27855 364 0 0 20 0 1 0 344682644 229437440 53512 33554432000 134512640 137136520 4287922768 4287921536 134576268 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2846/statm: 56015 53512 198 641 0 55371 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 224060
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2896
/proc/meminfo: memFree=26705736/32873648 swapFree=6860/6860
[pid=2846] ppid=2844 vsize=259360 CPUtime=342.18 cores=1,3,5,7
/proc/2846/stat : 2846 (bsolo) R 2844 2846 2050 0 -1 4202496 63074 0 0 0 33806 412 0 0 20 0 1 0 344682644 265584640 62346 33554432000 134512640 137136520 4287922768 4287921884 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2846/statm: 64840 62346 198 641 0 64196 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 259360
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2897
/proc/meminfo: memFree=26647692/32873648 swapFree=6860/6860
[pid=2846] ppid=2844 vsize=294568 CPUtime=402.13 cores=1,3,5,7
/proc/2846/stat : 2846 (bsolo) R 2844 2846 2050 0 -1 4202496 71906 0 0 0 39762 451 0 0 20 0 1 0 344682644 301637632 71141 33554432000 134512640 137136520 4287922768 4287921092 136498324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2846/statm: 73642 71141 198 641 0 72998 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 294568
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2900
/proc/meminfo: memFree=26571644/32873648 swapFree=6860/6860
[pid=2846] ppid=2844 vsize=327424 CPUtime=462.09 cores=1,3,5,7
/proc/2846/stat : 2846 (bsolo) R 2844 2846 2050 0 -1 4202496 80163 0 0 0 45725 484 0 0 20 0 1 0 344682644 335282176 79355 33554432000 134512640 137136520 4287922768 4287921696 134543819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2846/statm: 81856 79355 198 641 0 81212 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 327424
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2923
/proc/meminfo: memFree=26508656/32873648 swapFree=6860/6860
[pid=2846] ppid=2844 vsize=352408 CPUtime=522.08 cores=1,3,5,7
/proc/2846/stat : 2846 (bsolo) R 2844 2846 2050 0 -1 4202496 86409 0 0 0 51692 516 0 0 20 0 1 0 344682644 360865792 85601 33554432000 134512640 137136520 4287922768 4287921884 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2846/statm: 88102 85601 198 641 0 87458 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 352408
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2923
/proc/meminfo: memFree=26456208/32873648 swapFree=6860/6860
[pid=2846] ppid=2844 vsize=373564 CPUtime=582.06 cores=1,3,5,7
/proc/2846/stat : 2846 (bsolo) R 2844 2846 2050 0 -1 4202496 91706 0 0 0 57662 544 0 0 20 0 1 0 344682644 382529536 90898 33554432000 134512640 137136520 4287922768 4287921696 134543965 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2846/statm: 93391 90898 198 641 0 92747 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 373564
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=25945744/32873648 swapFree=6860/6860
[pid=2846] ppid=2844 vsize=599060 CPUtime=1061.91 cores=1,3,5,7
/proc/2846/stat : 2846 (bsolo) R 2844 2846 2050 0 -1 4202496 148178 0 0 0 105444 747 0 0 20 0 1 0 344682644 613437440 147268 33554432000 134512640 137136520 4287922768 4287921696 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2846/statm: 149765 147268 198 641 0 149121 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 599060
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2928
/proc/meminfo: memFree=25899632/32873648 swapFree=6860/6860
[pid=2846] ppid=2844 vsize=624376 CPUtime=1121.87 cores=1,3,5,7
/proc/2846/stat : 2846 (bsolo) R 2844 2846 2050 0 -1 4202496 154540 0 0 0 111424 763 0 0 20 0 1 0 344682644 639361024 153596 33554432000 134512640 137136520 4287922768 4287921696 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2846/statm: 156094 153596 198 641 0 155450 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 624376
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2928
/proc/meminfo: memFree=25850296/32873648 swapFree=6860/6860
[pid=2846] ppid=2844 vsize=644756 CPUtime=1181.87 cores=1,3,5,7
/proc/2846/stat : 2846 (bsolo) R 2844 2846 2050 0 -1 4202496 159644 0 0 0 117403 784 0 0 20 0 1 0 344682644 660230144 158700 33554432000 134512640 137136520 4287922768 4287921884 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2846/statm: 161189 158700 198 641 0 160545 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 644756
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2928
/proc/meminfo: memFree=25796356/32873648 swapFree=6860/6860
[pid=2846] ppid=2844 vsize=674096 CPUtime=1241.85 cores=1,3,5,7
/proc/2846/stat : 2846 (bsolo) R 2844 2846 2050 0 -1 4202496 166967 0 0 0 123385 800 0 0 20 0 1 0 344682644 690274304 166023 33554432000 134512640 137136520 4287922768 4287921360 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2846/statm: 168524 166023 198 641 0 167880 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 674096
[startup+1302.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 2928
/proc/meminfo: memFree=25734852/32873648 swapFree=6860/6860
[pid=2846] ppid=2844 vsize=699408 CPUtime=1301.85 cores=1,3,5,7
/proc/2846/stat : 2846 (bsolo) R 2844 2846 2050 0 -1 4202496 173298 0 0 0 129368 817 0 0 20 0 1 0 344682644 716193792 172354 33554432000 134512640 137136520 4287922768 4287921664 134543948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2846/statm: 174852 172354 198 641 0 174208 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 699408
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 2929
/proc/meminfo: memFree=25676448/32873648 swapFree=6860/6860
[pid=2846] ppid=2844 vsize=731308 CPUtime=1361.83 cores=1,3,5,7
/proc/2846/stat : 2846 (bsolo) R 2844 2846 2050 0 -1 4202496 181292 0 0 0 135349 834 0 0 20 0 1 0 344682644 748859392 180348 33554432000 134512640 137136520 4287922768 4287921408 134606731 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2846/statm: 182827 180348 198 641 0 182183 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 731308
[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 2929
/proc/meminfo: memFree=25617736/32873648 swapFree=6860/6860
[pid=2846] ppid=2844 vsize=765104 CPUtime=1421.83 cores=1,3,5,7
/proc/2846/stat : 2846 (bsolo) R 2844 2846 2050 0 -1 4202496 189734 0 0 0 141336 847 0 0 20 0 1 0 344682644 783466496 188790 33554432000 134512640 137136520 4287922768 4287921696 134543948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2846/statm: 191276 188790 198 641 0 190632 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 765104
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2929
/proc/meminfo: memFree=25544356/32873648 swapFree=6860/6860
[pid=2846] ppid=2844 vsize=790028 CPUtime=1481.82 cores=1,3,5,7
/proc/2846/stat : 2846 (bsolo) R 2844 2846 2050 0 -1 4202496 195965 0 0 0 147317 865 0 0 20 0 1 0 344682644 808988672 195021 33554432000 134512640 137136520 4287922768 4287921884 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2846/statm: 197507 195021 198 641 0 196863 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 790028
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2929
/proc/meminfo: memFree=25496024/32873648 swapFree=6860/6860
[pid=2846] ppid=2844 vsize=804976 CPUtime=1541.81 cores=1,3,5,7
/proc/2846/stat : 2846 (bsolo) R 2844 2846 2050 0 -1 4202496 199701 0 0 0 153301 880 0 0 20 0 1 0 344682644 824295424 198757 33554432000 134512640 137136520 4287922768 4287921696 134544157 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2846/statm: 201244 198757 198 641 0 200600 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 804976
[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 2929
/proc/meminfo: memFree=25433808/32873648 swapFree=6860/6860
[pid=2846] ppid=2844 vsize=839380 CPUtime=1601.8 cores=1,3,5,7
/proc/2846/stat : 2846 (bsolo) R 2844 2846 2050 0 -1 4202496 208297 0 0 0 159284 896 0 0 20 0 1 0 344682644 859525120 207353 33554432000 134512640 137136520 4287922768 4287921884 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2846/statm: 209845 207353 198 641 0 209201 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 839380
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 2933
/proc/meminfo: memFree=25359188/32873648 swapFree=6860/6860
[pid=2846] ppid=2844 vsize=876272 CPUtime=1661.79 cores=1,3,5,7
/proc/2846/stat : 2846 (bsolo) R 2844 2846 2050 0 -1 4202496 217514 0 0 0 165269 910 0 0 20 0 1 0 344682644 897302528 216570 33554432000 134512640 137136520 4287922768 4287921696 134544116 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2846/statm: 219068 216570 198 641 0 218424 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 876272
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2933
/proc/meminfo: memFree=25266720/32873648 swapFree=6860/6860
[pid=2846] ppid=2844 vsize=913184 CPUtime=1721.78 cores=1,3,5,7
/proc/2846/stat : 2846 (bsolo) R 2844 2846 2050 0 -1 4202496 226742 0 0 0 171257 921 0 0 20 0 1 0 344682644 935100416 225798 33554432000 134512640 137136520 4287922768 4287921456 134607060 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2846/statm: 228296 225798 198 641 0 227652 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 913184
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2933
/proc/meminfo: memFree=25200812/32873648 swapFree=6860/6860
[pid=2846] ppid=2844 vsize=946524 CPUtime=1781.77 cores=1,3,5,7
/proc/2846/stat : 2846 (bsolo) R 2844 2846 2050 0 -1 4202496 235076 0 0 0 177246 931 0 0 20 0 1 0 344682644 969240576 234132 33554432000 134512640 137136520 4287922768 4287921696 134544256 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2846/statm: 236631 234132 198 641 0 235987 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 946524
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2933
/proc/meminfo: memFree=25193124/32873648 swapFree=6860/6860
[pid=2846] ppid=2844 vsize=951096 CPUtime=1791.38 cores=1,3,5,7
/proc/2846/stat : 2846 (bsolo) R 2844 2846 2050 0 -1 4202496 236246 0 0 0 178204 934 0 0 20 0 1 0 344682644 973922304 235302 33554432000 134512640 137136520 4287922768 4287921884 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2846/statm: 237774 235302 198 641 0 237130 0
Current children cumulated CPU time (s) 1791.38
Current children cumulated vsize (KiB) 951096
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2933
/proc/meminfo: memFree=25187048/32873648 swapFree=6860/6860
[pid=2846] ppid=2844 vsize=956852 CPUtime=1794.57 cores=1,3,5,7
/proc/2846/stat : 2846 (bsolo) R 2844 2846 2050 0 -1 4202496 237659 0 0 0 178522 935 0 0 20 0 1 0 344682644 979816448 236715 33554432000 134512640 137136520 4287922768 4287921696 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2846/statm: 239213 236715 198 641 0 238569 0
Current children cumulated CPU time (s) 1794.57
Current children cumulated vsize (KiB) 956852
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2933
/proc/meminfo: memFree=25186304/32873648 swapFree=6860/6860
[pid=2846] ppid=2844 vsize=957232 CPUtime=1796.17 cores=1,3,5,7
/proc/2846/stat : 2846 (bsolo) R 2844 2846 2050 0 -1 4202496 237754 0 0 0 178681 936 0 0 20 0 1 0 344682644 980205568 236810 33554432000 134512640 137136520 4287922768 4287921664 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2846/statm: 239308 236810 198 641 0 238664 0
Current children cumulated CPU time (s) 1796.17
Current children cumulated vsize (KiB) 957232
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2933
/proc/meminfo: memFree=25186180/32873648 swapFree=6860/6860
[pid=2846] ppid=2844 vsize=957232 CPUtime=1796.97 cores=1,3,5,7
/proc/2846/stat : 2846 (bsolo) R 2844 2846 2050 0 -1 4202496 237754 0 0 0 178761 936 0 0 20 0 1 0 344682644 980205568 236810 33554432000 134512640 137136520 4287922768 4287921656 135982492 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2846/statm: 239308 236810 198 641 0 238664 0
Current children cumulated CPU time (s) 1796.97
Current children cumulated vsize (KiB) 957232
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2933
/proc/meminfo: memFree=25186180/32873648 swapFree=6860/6860
[pid=2846] ppid=2844 vsize=957232 CPUtime=1797.77 cores=1,3,5,7
/proc/2846/stat : 2846 (bsolo) R 2844 2846 2050 0 -1 4202496 237755 0 0 0 178841 936 0 0 20 0 1 0 344682644 980205568 236811 33554432000 134512640 137136520 4287922768 4287921664 134544402 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2846/statm: 239308 236811 198 641 0 238664 0
Current children cumulated CPU time (s) 1797.77
Current children cumulated vsize (KiB) 957232
[startup+1798.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2933
/proc/meminfo: memFree=25185932/32873648 swapFree=6860/6860
[pid=2846] ppid=2844 vsize=957420 CPUtime=1797.97 cores=1,3,5,7
/proc/2846/stat : 2846 (bsolo) R 2844 2846 2050 0 -1 4202496 237801 0 0 0 178861 936 0 0 20 0 1 0 344682644 980398080 236857 33554432000 134512640 137136520 4287922768 4287921696 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2846/statm: 239355 236857 198 641 0 238711 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 957420
Child status: 0
Real time (s): 1798.58
CPU time (s): 1798.06
CPU user time (s): 1788.66
CPU system time (s): 9.39357
CPU usage (%): 99.9711
Max. virtual memory (cumulated for all children) (KiB): 957420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.66
system time used= 9.39357
maximum resident set size= 947428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 237802
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= 287
involuntary context switches= 1842
runsolver used 3.13752 second user time and 11.7952 second system time
The end