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-3742414-1338785225/watcher-3742414-1338785225 -o /tmp/evaluation-result-3742414-1338785225/solver-3742414-1338785225 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3742414-1338785225.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 1.86 4/175 11984
/proc/meminfo: memFree=31209752/32873844 swapFree=8656/8656
[pid=11984] ppid=11982 vsize=20444 CPUtime=0 cores=1,3,5,7
/proc/11984/stat : 11984 (bsolo) R 11982 11984 11815 0 -1 4202496 402 0 0 0 0 0 0 0 20 0 1 0 344651029 20934656 355 33554432000 134512640 137136520 4290997104 4290995384 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 5111 356 185 641 0 4111 0
[startup+0.0257941 s]
/proc/loadavg: 2.00 2.00 1.86 4/175 11984
/proc/meminfo: memFree=31209752/32873844 swapFree=8656/8656
[pid=11984] ppid=11982 vsize=14184 CPUtime=0.02 cores=1,3,5,7
/proc/11984/stat : 11984 (bsolo) R 11982 11984 11815 0 -1 4202496 854 0 0 0 2 0 0 0 20 0 1 0 344651029 14524416 767 33554432000 134512640 137136520 4290997104 4290995336 136504572 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 3547 768 247 641 0 2547 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 14184
[startup+0.10026 s]
/proc/loadavg: 2.00 2.00 1.86 4/175 11984
/proc/meminfo: memFree=31209752/32873844 swapFree=8656/8656
[pid=11984] ppid=11982 vsize=16500 CPUtime=0.09 cores=1,3,5,7
/proc/11984/stat : 11984 (bsolo) R 11982 11984 11815 0 -1 4202496 1683 0 0 0 9 0 0 0 20 0 1 0 344651029 16896000 1596 33554432000 134512640 137136520 4290997104 4290995632 134517511 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 4125 1596 475 641 0 3125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16500
[startup+0.300254 s]
/proc/loadavg: 2.00 2.00 1.86 4/175 11984
/proc/meminfo: memFree=31209752/32873844 swapFree=8656/8656
[pid=11984] ppid=11982 vsize=18988 CPUtime=0.29 cores=1,3,5,7
/proc/11984/stat : 11984 (bsolo) R 11982 11984 11815 0 -1 4202496 2656 0 0 0 29 0 0 0 20 0 1 0 344651029 19443712 2213 33554432000 134512640 137136520 4290997104 4290743036 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 4747 2213 189 641 0 4103 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18988
[startup+0.700235 s]
/proc/loadavg: 2.00 2.00 1.86 4/175 11984
/proc/meminfo: memFree=31209752/32873844 swapFree=8656/8656
[pid=11984] ppid=11982 vsize=18988 CPUtime=0.69 cores=1,3,5,7
/proc/11984/stat : 11984 (bsolo) R 11982 11984 11815 0 -1 4202496 2657 0 0 0 69 0 0 0 20 0 1 0 344651029 19443712 2214 33554432000 134512640 137136520 4290997104 4290743036 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 4747 2214 189 641 0 4103 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18988
[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 1.86 4/177 11986
/proc/meminfo: memFree=31194436/32873844 swapFree=8656/8656
[pid=11984] ppid=11982 vsize=18988 CPUtime=1.49 cores=1,3,5,7
/proc/11984/stat : 11984 (bsolo) R 11982 11984 11815 0 -1 4202496 2658 0 0 0 149 0 0 0 20 0 1 0 344651029 19443712 2215 33554432000 134512640 137136520 4290997104 4290743036 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 4747 2215 189 641 0 4103 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18988
[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 1.86 3/177 11986
/proc/meminfo: memFree=31193940/32873844 swapFree=8656/8656
[pid=11984] ppid=11982 vsize=18988 CPUtime=3.09 cores=1,3,5,7
/proc/11984/stat : 11984 (bsolo) R 11982 11984 11815 0 -1 4202496 2659 0 0 0 309 0 0 0 20 0 1 0 344651029 19443712 2216 33554432000 134512640 137136520 4290997104 4290743036 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 4747 2216 189 641 0 4103 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18988
[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 1.86 3/177 11986
/proc/meminfo: memFree=31193964/32873844 swapFree=8656/8656
[pid=11984] ppid=11982 vsize=18988 CPUtime=6.29 cores=1,3,5,7
/proc/11984/stat : 11984 (bsolo) R 11982 11984 11815 0 -1 4202496 2660 0 0 0 628 1 0 0 20 0 1 0 344651029 19443712 2217 33554432000 134512640 137136520 4290997104 4290743036 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 4747 2217 189 641 0 4103 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18988
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.86 4/177 11986
/proc/meminfo: memFree=31185244/32873844 swapFree=8656/8656
[pid=11984] ppid=11982 vsize=24124 CPUtime=12.69 cores=1,3,5,7
/proc/11984/stat : 11984 (bsolo) R 11982 11984 11815 0 -1 4202496 4176 0 0 0 1256 13 0 0 20 0 1 0 344651029 24702976 3525 33554432000 134512640 137136520 4290997104 4290996220 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 6031 3525 198 641 0 5387 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24124
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.86 4/177 11986
/proc/meminfo: memFree=31151356/32873844 swapFree=8656/8656
[pid=11984] ppid=11982 vsize=39548 CPUtime=25.48 cores=1,3,5,7
/proc/11984/stat : 11984 (bsolo) R 11982 11984 11815 0 -1 4202496 8047 0 0 0 2491 57 0 0 20 0 1 0 344651029 40497152 7393 33554432000 134512640 137136520 4290997104 4290996032 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 9887 7393 198 641 0 9243 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 39548
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.86 4/177 11986
/proc/meminfo: memFree=31101720/32873844 swapFree=8656/8656
[pid=11984] ppid=11982 vsize=63664 CPUtime=51.06 cores=1,3,5,7
/proc/11984/stat : 11984 (bsolo) R 11982 11984 11815 0 -1 4202496 14079 0 0 0 4984 122 0 0 20 0 1 0 344651029 65191936 13410 33554432000 134512640 137136520 4290997104 4290996220 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 15916 13410 198 641 0 15272 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 63664
[startup+102.306 s]
/proc/loadavg: 2.08 2.02 1.87 4/177 11986
/proc/meminfo: memFree=30991032/32873844 swapFree=8656/8656
[pid=11984] ppid=11982 vsize=106472 CPUtime=102.26 cores=1,3,5,7
/proc/11984/stat : 11984 (bsolo) R 11982 11984 11815 0 -1 4202496 24800 0 0 0 10027 199 0 0 20 0 1 0 344651029 109027328 24131 33554432000 134512640 137136520 4290997104 4290995384 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 26618 24131 198 641 0 25974 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 106472
[startup+162.3 s]
/proc/loadavg: 2.03 2.01 1.88 4/177 11987
/proc/meminfo: memFree=30897476/32873844 swapFree=8656/8656
[pid=11984] ppid=11982 vsize=149556 CPUtime=162.25 cores=1,3,5,7
/proc/11984/stat : 11984 (bsolo) R 11982 11984 11815 0 -1 4202496 35553 0 0 0 15960 265 0 0 20 0 1 0 344651029 153145344 34884 33554432000 134512640 137136520 4290997104 4290996220 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 37389 34884 198 641 0 36745 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 149556
[startup+222.3 s]
/proc/loadavg: 2.01 2.00 1.88 4/178 11990
/proc/meminfo: memFree=30805820/32873844 swapFree=8656/8656
[pid=11984] ppid=11982 vsize=190168 CPUtime=222.2 cores=1,3,5,7
/proc/11984/stat : 11984 (bsolo) R 11982 11984 11815 0 -1 4202496 45743 0 0 0 21915 305 0 0 20 0 1 0 344651029 194732032 45037 33554432000 134512640 137136520 4290997104 4290996220 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 47542 45037 198 641 0 46898 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 190168
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.89 4/177 11990
/proc/meminfo: memFree=30729908/32873844 swapFree=8656/8656
[pid=11984] ppid=11982 vsize=226416 CPUtime=282.15 cores=1,3,5,7
/proc/11984/stat : 11984 (bsolo) R 11982 11984 11815 0 -1 4202496 54859 0 0 0 27873 342 0 0 20 0 1 0 344651029 231849984 54107 33554432000 134512640 137136520 4290997104 4290995744 134606755 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 56604 54107 198 641 0 55960 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 226416
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.89 4/177 11990
/proc/meminfo: memFree=30636536/32873844 swapFree=8656/8656
[pid=11984] ppid=11982 vsize=278760 CPUtime=342.14 cores=1,3,5,7
/proc/11984/stat : 11984 (bsolo) R 11982 11984 11815 0 -1 4202496 67945 0 0 0 33846 368 0 0 20 0 1 0 344651029 285450240 67193 33554432000 134512640 137136520 4290997104 4290986376 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 69690 67193 198 641 0 69046 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 278760
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.90 4/177 11990
/proc/meminfo: memFree=30555404/32873844 swapFree=8656/8656
[pid=11984] ppid=11982 vsize=319420 CPUtime=402.13 cores=1,3,5,7
/proc/11984/stat : 11984 (bsolo) R 11982 11984 11815 0 -1 4202496 78106 0 0 0 39814 399 0 0 20 0 1 0 344651029 327086080 77354 33554432000 134512640 137136520 4290997104 4290996220 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 79855 77354 198 641 0 79211 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 319420
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/177 11991
/proc/meminfo: memFree=30467888/32873844 swapFree=8656/8656
[pid=11984] ppid=11982 vsize=358776 CPUtime=462.12 cores=1,3,5,7
/proc/11984/stat : 11984 (bsolo) R 11982 11984 11815 0 -1 4202496 87945 0 0 0 45784 428 0 0 20 0 1 0 344651029 367386624 87193 33554432000 134512640 137136520 4290997104 4290996032 134543948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 89694 87193 198 641 0 89050 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 358776
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/177 11991
/proc/meminfo: memFree=30389920/32873844 swapFree=8656/8656
[pid=11984] ppid=11982 vsize=378684 CPUtime=522.11 cores=1,3,5,7
/proc/11984/stat : 11984 (bsolo) R 11982 11984 11815 0 -1 4202496 92922 0 0 0 51748 463 0 0 20 0 1 0 344651029 387772416 92170 33554432000 134512640 137136520 4290997104 4290995632 134600553 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 94671 92170 198 641 0 94027 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 378684
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/177 11991
/proc/meminfo: memFree=30317036/32873844 swapFree=8656/8656
[pid=11984] ppid=11982 vsize=399564 CPUtime=582.11 cores=1,3,5,7
/proc/11984/stat : 11984 (bsolo) R 11982 11984 11815 0 -1 4202496 98142 0 0 0 57720 491 0 0 20 0 1 0 344651029 409153536 97390 33554432000 134512640 137136520 4290997104 4290996220 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 99891 97390 198 641 0 99247 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 399564
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29787872/32873844 swapFree=8656/8656
[pid=11984] ppid=11982 vsize=565124 CPUtime=1061.91 cores=1,3,5,7
/proc/11984/stat : 11984 (bsolo) R 11982 11984 11815 0 -1 4202496 139665 0 0 0 105505 686 0 0 20 0 1 0 344651029 578686976 138780 33554432000 134512640 137136520 4290997104 4290996032 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 141281 138780 198 641 0 140637 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 565124
[startup+1122.3 s]
/proc/loadavg: 2.03 2.01 1.92 4/177 12018
/proc/meminfo: memFree=29741612/32873844 swapFree=8656/8656
[pid=11984] ppid=11982 vsize=576612 CPUtime=1121.9 cores=1,3,5,7
/proc/11984/stat : 11984 (bsolo) R 11982 11984 11815 0 -1 4202496 142537 0 0 0 111480 710 0 0 20 0 1 0 344651029 590450688 141652 33554432000 134512640 137136520 4290997104 4290996032 134543819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 144153 141652 198 641 0 143509 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 576612
[startup+1182.3 s]
/proc/loadavg: 2.04 2.02 1.93 4/177 12018
/proc/meminfo: memFree=29659276/32873844 swapFree=8656/8656
[pid=11984] ppid=11982 vsize=594720 CPUtime=1181.9 cores=1,3,5,7
/proc/11984/stat : 11984 (bsolo) R 11982 11984 11815 0 -1 4202496 147065 0 0 0 117461 729 0 0 20 0 1 0 344651029 608993280 146180 33554432000 134512640 137136520 4290997104 4290996032 134543957 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 148680 146180 198 641 0 148036 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 594720
[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 1.93 4/177 12018
/proc/meminfo: memFree=29571228/32873844 swapFree=8656/8656
[pid=11984] ppid=11982 vsize=614192 CPUtime=1241.89 cores=1,3,5,7
/proc/11984/stat : 11984 (bsolo) R 11982 11984 11815 0 -1 4202496 151932 0 0 0 123439 750 0 0 20 0 1 0 344651029 628932608 151047 33554432000 134512640 137136520 4290997104 4290995696 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 153548 151047 198 641 0 152904 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 614192
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 1.93 4/177 12018
/proc/meminfo: memFree=29498220/32873844 swapFree=8656/8656
[pid=11984] ppid=11982 vsize=638424 CPUtime=1301.89 cores=1,3,5,7
/proc/11984/stat : 11984 (bsolo) R 11982 11984 11815 0 -1 4202496 157997 0 0 0 129423 766 0 0 20 0 1 0 344651029 653746176 157112 33554432000 134512640 137136520 4290997104 4290996032 134544384 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 159606 157112 198 641 0 158962 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 638424
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 12018
/proc/meminfo: memFree=29409968/32873844 swapFree=8656/8656
[pid=11984] ppid=11982 vsize=662124 CPUtime=1361.87 cores=1,3,5,7
/proc/11984/stat : 11984 (bsolo) R 11982 11984 11815 0 -1 4202496 163915 0 0 0 135404 783 0 0 20 0 1 0 344651029 678014976 163030 33554432000 134512640 137136520 4290997104 4290996188 134544749 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 165531 163030 198 641 0 164887 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 662124
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 4/178 12022
/proc/meminfo: memFree=29326404/32873844 swapFree=8656/8656
[pid=11984] ppid=11982 vsize=707772 CPUtime=1421.87 cores=1,3,5,7
/proc/11984/stat : 11984 (bsolo) R 11982 11984 11815 0 -1 4202496 175360 0 0 0 141392 795 0 0 20 0 1 0 344651029 724758528 174475 33554432000 134512640 137136520 4290997104 4290996032 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 176943 174475 198 641 0 176299 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 707772
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/177 12022
/proc/meminfo: memFree=29259480/32873844 swapFree=8656/8656
[pid=11984] ppid=11982 vsize=732920 CPUtime=1481.85 cores=1,3,5,7
/proc/11984/stat : 11984 (bsolo) R 11982 11984 11815 0 -1 4202496 181619 0 0 0 147375 810 0 0 20 0 1 0 344651029 750510080 180734 33554432000 134512640 137136520 4290997104 4290996032 134544145 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 183230 180734 198 641 0 182586 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 732920
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/177 12022
/proc/meminfo: memFree=29204452/32873844 swapFree=8656/8656
[pid=11984] ppid=11982 vsize=760696 CPUtime=1541.84 cores=1,3,5,7
/proc/11984/stat : 11984 (bsolo) R 11982 11984 11815 0 -1 4202496 188563 0 0 0 153360 824 0 0 20 0 1 0 344651029 778952704 187678 33554432000 134512640 137136520 4290997104 4290996032 134543965 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 190174 187678 198 641 0 189530 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 760696
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/177 12022
/proc/meminfo: memFree=29146324/32873844 swapFree=8656/8656
[pid=11984] ppid=11982 vsize=790336 CPUtime=1601.83 cores=1,3,5,7
/proc/11984/stat : 11984 (bsolo) R 11982 11984 11815 0 -1 4202496 195987 0 0 0 159348 835 0 0 20 0 1 0 344651029 809304064 195102 33554432000 134512640 137136520 4290997104 4290995636 134551431 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 197584 195102 198 641 0 196940 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 790336
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 1.93 4/177 12022
/proc/meminfo: memFree=29099976/32873844 swapFree=8656/8656
[pid=11984] ppid=11982 vsize=813232 CPUtime=1661.82 cores=1,3,5,7
/proc/11984/stat : 11984 (bsolo) R 11982 11984 11815 0 -1 4202496 201700 0 0 0 165334 848 0 0 20 0 1 0 344651029 832749568 200815 33554432000 134512640 137136520 4290997104 4290995816 136502148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 203308 200815 198 641 0 202664 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 813232
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.93 4/177 12023
/proc/meminfo: memFree=29062680/32873844 swapFree=8656/8656
[pid=11984] ppid=11982 vsize=837700 CPUtime=1721.81 cores=1,3,5,7
/proc/11984/stat : 11984 (bsolo) R 11982 11984 11815 0 -1 4202496 207814 0 0 0 171319 862 0 0 20 0 1 0 344651029 857804800 206929 33554432000 134512640 137136520 4290997104 4290996032 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 209425 206929 198 641 0 208781 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 837700
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/177 12023
/proc/meminfo: memFree=29000924/32873844 swapFree=8656/8656
[pid=11984] ppid=11982 vsize=867596 CPUtime=1781.81 cores=1,3,5,7
/proc/11984/stat : 11984 (bsolo) R 11982 11984 11815 0 -1 4202496 215288 0 0 0 177309 872 0 0 20 0 1 0 344651029 888418304 214403 33554432000 134512640 137136520 4290997104 4290996032 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 216899 214403 198 641 0 216255 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 867596
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.93 4/177 12023
/proc/meminfo: memFree=28995220/32873844 swapFree=8656/8656
[pid=11984] ppid=11982 vsize=871104 CPUtime=1791.41 cores=1,3,5,7
/proc/11984/stat : 11984 (bsolo) R 11982 11984 11815 0 -1 4202496 216164 0 0 0 178268 873 0 0 20 0 1 0 344651029 892010496 215279 33554432000 134512640 137136520 4290997104 4290996000 134543927 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 217776 215279 198 641 0 217132 0
Current children cumulated CPU time (s) 1791.41
Current children cumulated vsize (KiB) 871104
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.93 4/177 12023
/proc/meminfo: memFree=28990880/32873844 swapFree=8656/8656
[pid=11984] ppid=11982 vsize=874936 CPUtime=1794.61 cores=1,3,5,7
/proc/11984/stat : 11984 (bsolo) R 11982 11984 11815 0 -1 4202496 217123 0 0 0 178587 874 0 0 20 0 1 0 344651029 895934464 216238 33554432000 134512640 137136520 4290997104 4290996000 134544112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 218734 216238 198 641 0 218090 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (KiB) 874936
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.93 4/177 12023
/proc/meminfo: memFree=28990756/32873844 swapFree=8656/8656
[pid=11984] ppid=11982 vsize=875108 CPUtime=1796.2 cores=1,3,5,7
/proc/11984/stat : 11984 (bsolo) R 11982 11984 11815 0 -1 4202496 217166 0 0 0 178746 874 0 0 20 0 1 0 344651029 896110592 216281 33554432000 134512640 137136520 4290997104 4290996032 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 218777 216281 198 641 0 218133 0
Current children cumulated CPU time (s) 1796.2
Current children cumulated vsize (KiB) 875108
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 1.93 4/177 12023
/proc/meminfo: memFree=28990260/32873844 swapFree=8656/8656
[pid=11984] ppid=11982 vsize=875468 CPUtime=1797 cores=1,3,5,7
/proc/11984/stat : 11984 (bsolo) R 11982 11984 11815 0 -1 4202496 217277 0 0 0 178826 874 0 0 20 0 1 0 344651029 896479232 216392 33554432000 134512640 137136520 4290997104 4290996032 134543649 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 218867 216392 198 641 0 218223 0
Current children cumulated CPU time (s) 1797
Current children cumulated vsize (KiB) 875468
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/177 12023
/proc/meminfo: memFree=28990260/32873844 swapFree=8656/8656
[pid=11984] ppid=11982 vsize=875648 CPUtime=1797.8 cores=1,3,5,7
/proc/11984/stat : 11984 (bsolo) R 11982 11984 11815 0 -1 4202496 217301 0 0 0 178906 874 0 0 20 0 1 0 344651029 896663552 216416 33554432000 134512640 137136520 4290997104 4290996220 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 218912 216416 198 641 0 218268 0
Current children cumulated CPU time (s) 1797.8
Current children cumulated vsize (KiB) 875648
[startup+1798.51 s]
/proc/loadavg: 2.00 2.00 1.93 4/177 12023
/proc/meminfo: memFree=28989268/32873844 swapFree=8656/8656
[pid=11984] ppid=11982 vsize=0 CPUtime=1798.01 cores=1,3,5,7
/proc/11984/stat : 11984 (bsolo) R 11982 11984 11815 0 -1 4202500 217314 0 0 0 178925 876 0 0 20 0 1 0 344651029 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.01
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798.52
CPU time (s): 1798.03
CPU user time (s): 1789.25
CPU system time (s): 8.77867
CPU usage (%): 99.9729
Max. virtual memory (cumulated for all children) (KiB): 875648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.25
system time used= 8.77867
maximum resident set size= 865712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 217314
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= 236
involuntary context switches= 1842
runsolver used 3.49047 second user time and 8.50671 second system time
The end