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-3732705-1338705717/watcher-3732705-1338705717 -o /tmp/evaluation-result-3732705-1338705717/solver-3732705-1338705717 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3732705-1338705717.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.04 2.05 2.00 3/176 22582
/proc/meminfo: memFree=28339092/32873844 swapFree=6872/6872
[pid=22582] ppid=22580 vsize=11156 CPUtime=0 cores=1,3,5,7
/proc/22582/stat : 22582 (bsolo) R 22580 22582 8274 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 336700239 11423744 310 33554432000 134512640 137136520 4288364048 4288362248 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22582/statm: 2789 310 189 641 0 2122 0
[startup+0.0977589 s]
/proc/loadavg: 2.04 2.05 2.00 3/176 22582
/proc/meminfo: memFree=28339092/32873844 swapFree=6872/6872
[pid=22582] ppid=22580 vsize=12000 CPUtime=0.09 cores=1,3,5,7
/proc/22582/stat : 22582 (bsolo) R 22580 22582 8274 0 -1 4202496 641 0 0 0 9 0 0 0 20 0 1 0 336700239 12288000 572 33554432000 134512640 137136520 4288364048 4288362328 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22582/statm: 3000 572 196 641 0 2356 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12000
[startup+0.100242 s]
/proc/loadavg: 2.04 2.05 2.00 3/176 22582
/proc/meminfo: memFree=28339092/32873844 swapFree=6872/6872
[pid=22582] ppid=22580 vsize=12000 CPUtime=0.09 cores=1,3,5,7
/proc/22582/stat : 22582 (bsolo) R 22580 22582 8274 0 -1 4202496 647 0 0 0 9 0 0 0 20 0 1 0 336700239 12288000 578 33554432000 134512640 137136520 4288364048 4288362328 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22582/statm: 3000 578 196 641 0 2356 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12000
[startup+0.300208 s]
/proc/loadavg: 2.04 2.05 2.00 3/176 22582
/proc/meminfo: memFree=28339092/32873844 swapFree=6872/6872
[pid=22582] ppid=22580 vsize=13724 CPUtime=0.29 cores=1,3,5,7
/proc/22582/stat : 22582 (bsolo) R 22580 22582 8274 0 -1 4202496 1067 0 0 0 29 0 0 0 20 0 1 0 336700239 14053376 998 33554432000 134512640 137136520 4288364048 4288362672 134554431 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22582/statm: 3431 998 196 641 0 2787 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13724
[startup+0.700206 s]
/proc/loadavg: 2.04 2.05 2.00 3/176 22582
/proc/meminfo: memFree=28339092/32873844 swapFree=6872/6872
[pid=22582] ppid=22580 vsize=17132 CPUtime=0.69 cores=1,3,5,7
/proc/22582/stat : 22582 (bsolo) R 22580 22582 8274 0 -1 4202496 1912 0 0 0 69 0 0 0 20 0 1 0 336700239 17543168 1843 33554432000 134512640 137136520 4288364048 4288362672 134554224 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22582/statm: 4283 1843 197 641 0 3639 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17132
[startup+1.50021 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 22583
/proc/meminfo: memFree=28326196/32873844 swapFree=6872/6872
[pid=22582] ppid=22580 vsize=22700 CPUtime=1.49 cores=1,3,5,7
/proc/22582/stat : 22582 (bsolo) R 22580 22582 8274 0 -1 4202496 3324 0 0 0 149 0 0 0 20 0 1 0 336700239 23244800 3255 33554432000 134512640 137136520 4288364048 4288363164 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22582/statm: 5675 3255 197 641 0 5031 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22700
[startup+3.10021 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 22583
/proc/meminfo: memFree=28317500/32873844 swapFree=6872/6872
[pid=22582] ppid=22580 vsize=25608 CPUtime=3.09 cores=1,3,5,7
/proc/22582/stat : 22582 (bsolo) R 22580 22582 8274 0 -1 4202496 4028 0 0 0 308 1 0 0 20 0 1 0 336700239 26222592 3959 33554432000 134512640 137136520 4288364048 4288362816 134574414 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22582/statm: 6402 3959 197 641 0 5758 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25608
[startup+6.30021 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 22583
/proc/meminfo: memFree=28300892/32873844 swapFree=6872/6872
[pid=22582] ppid=22580 vsize=28320 CPUtime=6.29 cores=1,3,5,7
/proc/22582/stat : 22582 (bsolo) R 22580 22582 8274 0 -1 4202496 4723 0 0 0 628 1 0 0 20 0 1 0 336700239 28999680 4654 33554432000 134512640 137136520 4288364048 4288362640 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22582/statm: 7080 4654 197 641 0 6436 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28320
[startup+12.7003 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 22583
/proc/meminfo: memFree=28296344/32873844 swapFree=6872/6872
[pid=22582] ppid=22580 vsize=31224 CPUtime=12.69 cores=1,3,5,7
/proc/22582/stat : 22582 (bsolo) R 22580 22582 8274 0 -1 4202496 5454 0 0 0 1267 2 0 0 20 0 1 0 336700239 31973376 5385 33554432000 134512640 137136520 4288364048 4288362976 134544145 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22582/statm: 7806 5385 197 641 0 7162 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31224
[startup+25.5002 s]
/proc/loadavg: 2.03 2.04 2.00 3/176 22583
/proc/meminfo: memFree=28293992/32873844 swapFree=6872/6872
[pid=22582] ppid=22580 vsize=33664 CPUtime=25.48 cores=1,3,5,7
/proc/22582/stat : 22582 (bsolo) R 22580 22582 8274 0 -1 4202496 6069 0 0 0 2545 3 0 0 20 0 1 0 336700239 34471936 5990 33554432000 134512640 137136520 4288364048 4288362976 134543965 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22582/statm: 8416 5990 197 641 0 7772 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 33664
[startup+51.1002 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 22584
/proc/meminfo: memFree=28291752/32873844 swapFree=6872/6872
[pid=22582] ppid=22580 vsize=35560 CPUtime=51.08 cores=1,3,5,7
/proc/22582/stat : 22582 (bsolo) R 22580 22582 8274 0 -1 4202496 6685 0 0 0 5101 7 0 0 20 0 1 0 336700239 36413440 6470 33554432000 134512640 137136520 4288364048 4288363164 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22582/statm: 8890 6470 197 641 0 8246 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 35560
[startup+102.307 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 22584
/proc/meminfo: memFree=28285552/32873844 swapFree=6872/6872
[pid=22582] ppid=22580 vsize=36208 CPUtime=102.27 cores=1,3,5,7
/proc/22582/stat : 22582 (bsolo) R 22580 22582 8274 0 -1 4202496 7329 0 0 0 10213 14 0 0 20 0 1 0 336700239 37076992 6632 33554432000 134512640 137136520 4288364048 4288363164 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22582/statm: 9052 6632 197 641 0 8408 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 36208
[startup+162.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 22584
/proc/meminfo: memFree=28270424/32873844 swapFree=6872/6872
[pid=22582] ppid=22580 vsize=41900 CPUtime=162.26 cores=1,3,5,7
/proc/22582/stat : 22582 (bsolo) R 22580 22582 8274 0 -1 4202496 8826 0 0 0 16204 22 0 0 20 0 1 0 336700239 42905600 8036 33554432000 134512640 137136520 4288364048 4288362976 134543971 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22582/statm: 10475 8036 197 641 0 9831 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 41900
[startup+222.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 22584
/proc/meminfo: memFree=28273152/32873844 swapFree=6872/6872
[pid=22582] ppid=22580 vsize=37884 CPUtime=222.25 cores=1,3,5,7
/proc/22582/stat : 22582 (bsolo) R 22580 22582 8274 0 -1 4202496 8826 0 0 0 22197 28 0 0 20 0 1 0 336700239 38793216 7050 33554432000 134512640 137136520 4288364048 4288362640 134616680 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22582/statm: 9471 7050 197 641 0 8827 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 37884
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 22584
/proc/meminfo: memFree=28232232/32873844 swapFree=6872/6872
[pid=22582] ppid=22580 vsize=40900 CPUtime=282.24 cores=1,3,5,7
/proc/22582/stat : 22582 (bsolo) R 22580 22582 8274 0 -1 4202496 9773 0 0 0 28191 33 0 0 20 0 1 0 336700239 41881600 7797 33554432000 134512640 137136520 4288364048 4288362736 134607060 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22582/statm: 10225 7797 197 641 0 9581 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 40900
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 22585
/proc/meminfo: memFree=28230468/32873844 swapFree=6872/6872
[pid=22582] ppid=22580 vsize=43292 CPUtime=342.23 cores=1,3,5,7
/proc/22582/stat : 22582 (bsolo) R 22580 22582 8274 0 -1 4202496 11133 0 0 0 34184 39 0 0 20 0 1 0 336700239 44331008 8403 33554432000 134512640 137136520 4288364048 4288362976 134544145 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22582/statm: 10823 8403 197 641 0 10179 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 43292
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 22585
/proc/meminfo: memFree=28243128/32873844 swapFree=6872/6872
[pid=22582] ppid=22580 vsize=46252 CPUtime=402.21 cores=1,3,5,7
/proc/22582/stat : 22582 (bsolo) R 22580 22582 8274 0 -1 4202496 12675 0 0 0 40177 44 0 0 20 0 1 0 336700239 47362048 9143 33554432000 134512640 137136520 4288364048 4288363164 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22582/statm: 11563 9143 197 641 0 10919 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 46252
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22585
/proc/meminfo: memFree=28224776/32873844 swapFree=6872/6872
[pid=22582] ppid=22580 vsize=47004 CPUtime=462.21 cores=1,3,5,7
/proc/22582/stat : 22582 (bsolo) R 22580 22582 8274 0 -1 4202496 13190 0 0 0 46169 52 0 0 20 0 1 0 336700239 48132096 9330 33554432000 134512640 137136520 4288364048 4288354184 134598527 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22582/statm: 11751 9330 197 641 0 11107 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 47004
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 22588
/proc/meminfo: memFree=28224520/32873844 swapFree=6872/6872
[pid=22582] ppid=22580 vsize=43984 CPUtime=522.2 cores=1,3,5,7
/proc/22582/stat : 22582 (bsolo) R 22580 22582 8274 0 -1 4202496 13190 0 0 0 52163 57 0 0 20 0 1 0 336700239 45039616 8575 33554432000 134512640 137136520 4288364048 4288362748 136518982 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22582/statm: 10996 8575 197 641 0 10352 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 43984
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22588
/proc/meminfo: memFree=28224900/32873844 swapFree=6872/6872
[pid=22582] ppid=22580 vsize=43984 CPUtime=582.19 cores=1,3,5,7
/proc/22582/stat : 22582 (bsolo) R 22580 22582 8274 0 -1 4202496 13190 0 0 0 58159 60 0 0 20 0 1 0 336700239 45039616 8575 33554432000 134512640 137136520 4288364048 4288362976 134544402 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22582/statm: 10996 8575 197 641 0 10352 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 43984
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28157216/32873844 swapFree=6872/6872
[pid=22582] ppid=22580 vsize=58868 CPUtime=1122.1 cores=1,3,5,7
/proc/22582/stat : 22582 (bsolo) R 22580 22582 8274 0 -1 4202496 18070 0 0 0 112113 97 0 0 20 0 1 0 336700239 60280832 12297 33554432000 134512640 137136520 4288364048 4288362976 134543948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22582/statm: 14717 12297 197 641 0 14073 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 58868
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22616
/proc/meminfo: memFree=28124192/32873844 swapFree=6872/6872
[pid=22582] ppid=22580 vsize=58868 CPUtime=1182.09 cores=1,3,5,7
/proc/22582/stat : 22582 (bsolo) R 22580 22582 8274 0 -1 4202496 18070 0 0 0 118108 101 0 0 20 0 1 0 336700239 60280832 12297 33554432000 134512640 137136520 4288364048 4288362976 134544245 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22582/statm: 14717 12297 197 641 0 14073 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 58868
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 22616
/proc/meminfo: memFree=28124684/32873844 swapFree=6872/6872
[pid=22582] ppid=22580 vsize=58868 CPUtime=1242.08 cores=1,3,5,7
/proc/22582/stat : 22582 (bsolo) R 22580 22582 8274 0 -1 4202496 18076 0 0 0 124103 105 0 0 20 0 1 0 336700239 60280832 12297 33554432000 134512640 137136520 4288364048 4288362816 134574444 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22582/statm: 14717 12297 197 641 0 14073 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 58868
[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 22617
/proc/meminfo: memFree=28124312/32873844 swapFree=6872/6872
[pid=22582] ppid=22580 vsize=58868 CPUtime=1302.07 cores=1,3,5,7
/proc/22582/stat : 22582 (bsolo) R 22580 22582 8274 0 -1 4202496 18076 0 0 0 130099 108 0 0 20 0 1 0 336700239 60280832 12297 33554432000 134512640 137136520 4288364048 4288362976 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22582/statm: 14717 12297 197 641 0 14073 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 58868
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 22809
/proc/meminfo: memFree=28647880/32873844 swapFree=6872/6872
[pid=22582] ppid=22580 vsize=58868 CPUtime=1362.07 cores=1,3,5,7
/proc/22582/stat : 22582 (bsolo) R 22580 22582 8274 0 -1 4202496 18076 0 0 0 136095 112 0 0 20 0 1 0 336700239 60280832 12297 33554432000 134512640 137136520 4288364048 4288362976 134543965 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22582/statm: 14717 12297 197 641 0 14073 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 58868
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22809
/proc/meminfo: memFree=28406980/32873844 swapFree=6872/6872
[pid=22582] ppid=22580 vsize=58868 CPUtime=1422.06 cores=1,3,5,7
/proc/22582/stat : 22582 (bsolo) R 22580 22582 8274 0 -1 4202496 18076 0 0 0 142091 115 0 0 20 0 1 0 336700239 60280832 12297 33554432000 134512640 137136520 4288364048 4288362976 134543948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22582/statm: 14717 12297 197 641 0 14073 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 58868
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22809
/proc/meminfo: memFree=28201416/32873844 swapFree=6872/6872
[pid=22582] ppid=22580 vsize=58868 CPUtime=1482.04 cores=1,3,5,7
/proc/22582/stat : 22582 (bsolo) R 22580 22582 8274 0 -1 4202496 18076 0 0 0 148085 119 0 0 20 0 1 0 336700239 60280832 12297 33554432000 134512640 137136520 4288364048 4288362976 134543819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22582/statm: 14717 12297 197 641 0 14073 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 58868
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22809
/proc/meminfo: memFree=27994240/32873844 swapFree=6872/6872
[pid=22582] ppid=22580 vsize=60120 CPUtime=1542.03 cores=1,3,5,7
/proc/22582/stat : 22582 (bsolo) R 22580 22582 8274 0 -1 4202496 18406 0 0 0 154080 123 0 0 20 0 1 0 336700239 61562880 12610 33554432000 134512640 137136520 4288364048 4288363164 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22582/statm: 15030 12610 197 641 0 14386 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 60120
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22810
/proc/meminfo: memFree=27794380/32873844 swapFree=6872/6872
[pid=22582] ppid=22580 vsize=59904 CPUtime=1602.03 cores=1,3,5,7
/proc/22582/stat : 22582 (bsolo) R 22580 22582 8274 0 -1 4202496 18406 0 0 0 160076 127 0 0 20 0 1 0 336700239 61341696 12556 33554432000 134512640 137136520 4288364048 4288362976 134543957 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22582/statm: 14976 12556 197 641 0 14332 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 59904
[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 22810
/proc/meminfo: memFree=27612624/32873844 swapFree=6872/6872
[pid=22582] ppid=22580 vsize=59904 CPUtime=1662.02 cores=1,3,5,7
/proc/22582/stat : 22582 (bsolo) R 22580 22582 8274 0 -1 4202496 18406 0 0 0 166071 131 0 0 20 0 1 0 336700239 61341696 12556 33554432000 134512640 137136520 4288364048 4288362976 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22582/statm: 14976 12556 197 641 0 14332 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 59904
[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 22813
/proc/meminfo: memFree=27574204/32873844 swapFree=6872/6872
[pid=22582] ppid=22580 vsize=59904 CPUtime=1722.01 cores=1,3,5,7
/proc/22582/stat : 22582 (bsolo) R 22580 22582 8274 0 -1 4202496 18406 0 0 0 172066 135 0 0 20 0 1 0 336700239 61341696 12556 33554432000 134512640 137136520 4288364048 4288362968 135982497 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22582/statm: 14976 12556 197 641 0 14332 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 59904
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 22813
/proc/meminfo: memFree=27574364/32873844 swapFree=6872/6872
[pid=22582] ppid=22580 vsize=59904 CPUtime=1781.99 cores=1,3,5,7
/proc/22582/stat : 22582 (bsolo) R 22580 22582 8274 0 -1 4202496 18406 0 0 0 178059 140 0 0 20 0 1 0 336700239 61341696 12556 33554432000 134512640 137136520 4288364048 4288362976 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22582/statm: 14976 12556 197 641 0 14332 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 59904
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 22813
/proc/meminfo: memFree=27574224/32873844 swapFree=6872/6872
[pid=22582] ppid=22580 vsize=59904 CPUtime=1791.6 cores=1,3,5,7
/proc/22582/stat : 22582 (bsolo) R 22580 22582 8274 0 -1 4202496 18406 0 0 0 179019 141 0 0 20 0 1 0 336700239 61341696 12556 33554432000 134512640 137136520 4288364048 4288362976 134544135 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22582/statm: 14976 12556 197 641 0 14332 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 59904
[startup+1795.1 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 22813
/proc/meminfo: memFree=27574332/32873844 swapFree=6872/6872
[pid=22582] ppid=22580 vsize=59904 CPUtime=1794.8 cores=1,3,5,7
/proc/22582/stat : 22582 (bsolo) R 22580 22582 8274 0 -1 4202496 18406 0 0 0 179339 141 0 0 20 0 1 0 336700239 61341696 12556 33554432000 134512640 137136520 4288364048 4288362976 134544714 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22582/statm: 14976 12556 197 641 0 14332 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 59904
[startup+1796.7 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 22813
/proc/meminfo: memFree=27574332/32873844 swapFree=6872/6872
[pid=22582] ppid=22580 vsize=59904 CPUtime=1796.39 cores=1,3,5,7
/proc/22582/stat : 22582 (bsolo) R 22580 22582 8274 0 -1 4202496 18406 0 0 0 179498 141 0 0 20 0 1 0 336700239 61341696 12556 33554432000 134512640 137136520 4288364048 4288362976 134543948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22582/statm: 14976 12556 197 641 0 14332 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 59904
[startup+1797.5 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 22813
/proc/meminfo: memFree=27574332/32873844 swapFree=6872/6872
[pid=22582] ppid=22580 vsize=59904 CPUtime=1797.2 cores=1,3,5,7
/proc/22582/stat : 22582 (bsolo) R 22580 22582 8274 0 -1 4202496 18406 0 0 0 179578 142 0 0 20 0 1 0 336700239 61341696 12556 33554432000 134512640 137136520 4288364048 4288362976 134543957 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22582/statm: 14976 12556 197 641 0 14332 0
Current children cumulated CPU time (s) 1797.2
Current children cumulated vsize (KiB) 59904
[startup+1797.9 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 22813
/proc/meminfo: memFree=27574332/32873844 swapFree=6872/6872
[pid=22582] ppid=22580 vsize=59904 CPUtime=1797.6 cores=1,3,5,7
/proc/22582/stat : 22582 (bsolo) R 22580 22582 8274 0 -1 4202496 18406 0 0 0 179618 142 0 0 20 0 1 0 336700239 61341696 12556 33554432000 134512640 137136520 4288364048 4288362976 134543948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22582/statm: 14976 12556 197 641 0 14332 0
Current children cumulated CPU time (s) 1797.6
Current children cumulated vsize (KiB) 59904
[startup+1798.1 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 22813
/proc/meminfo: memFree=27574332/32873844 swapFree=6872/6872
[pid=22582] ppid=22580 vsize=59904 CPUtime=1797.8 cores=1,3,5,7
/proc/22582/stat : 22582 (bsolo) R 22580 22582 8274 0 -1 4202496 18406 0 0 0 179638 142 0 0 20 0 1 0 336700239 61341696 12556 33554432000 134512640 137136520 4288364048 4288362976 134544112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22582/statm: 14976 12556 197 641 0 14332 0
Current children cumulated CPU time (s) 1797.8
Current children cumulated vsize (KiB) 59904
[startup+1798.2 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 22813
/proc/meminfo: memFree=27574332/32873844 swapFree=6872/6872
[pid=22582] ppid=22580 vsize=59904 CPUtime=1797.9 cores=1,3,5,7
/proc/22582/stat : 22582 (bsolo) R 22580 22582 8274 0 -1 4202496 18406 0 0 0 179648 142 0 0 20 0 1 0 336700239 61341696 12556 33554432000 134512640 137136520 4288364048 4288362976 134544402 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22582/statm: 14976 12556 197 641 0 14332 0
Current children cumulated CPU time (s) 1797.9
Current children cumulated vsize (KiB) 59904
Child status: 0
Real time (s): 1798.3
CPU time (s): 1798
CPU user time (s): 1796.58
CPU system time (s): 1.42278
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 60192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.58
system time used= 1.42278
maximum resident set size= 50508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18408
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= 26
involuntary context switches= 1852
runsolver used 3.06153 second user time and 7.63684 second system time
The end