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-3707697-1338226350/watcher-3707697-1338226350 -o /tmp/evaluation-result-3707697-1338226350/solver-3707697-1338226350 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707697-1338226350.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.00 2.00 2.00 3/176 24583
/proc/meminfo: memFree=31026240/32873844 swapFree=6080/6080
[pid=24583] ppid=24581 vsize=11420 CPUtime=0 cores=0,2,4,6
/proc/24583/stat : 24583 (bsolo) R 24581 24583 24091 0 -1 4202496 368 0 0 0 0 0 0 0 20 0 1 0 288759578 11694080 321 33554432000 134512640 137138936 4287258032 4287256280 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24583/statm: 2855 321 181 642 0 2126 0
[startup+0.0656189 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24583
/proc/meminfo: memFree=31026240/32873844 swapFree=6080/6080
[pid=24583] ppid=24581 vsize=12672 CPUtime=0.06 cores=0,2,4,6
/proc/24583/stat : 24583 (bsolo) R 24581 24583 24091 0 -1 4202496 859 0 0 0 6 0 0 0 20 0 1 0 288759578 12976128 727 33554432000 134512640 137138936 4287258032 4287191452 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24583/statm: 3168 727 184 642 0 2524 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 12672
[startup+0.100253 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24583
/proc/meminfo: memFree=31026240/32873844 swapFree=6080/6080
[pid=24583] ppid=24581 vsize=12672 CPUtime=0.09 cores=0,2,4,6
/proc/24583/stat : 24583 (bsolo) R 24581 24583 24091 0 -1 4202496 859 0 0 0 9 0 0 0 20 0 1 0 288759578 12976128 727 33554432000 134512640 137138936 4287258032 4287191452 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24583/statm: 3168 727 184 642 0 2524 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12672
[startup+0.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24583
/proc/meminfo: memFree=31026240/32873844 swapFree=6080/6080
[pid=24583] ppid=24581 vsize=12672 CPUtime=0.29 cores=0,2,4,6
/proc/24583/stat : 24583 (bsolo) R 24581 24583 24091 0 -1 4202496 860 0 0 0 29 0 0 0 20 0 1 0 288759578 12976128 728 33554432000 134512640 137138936 4287258032 4287191452 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24583/statm: 3168 728 184 642 0 2524 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12672
[startup+0.700221 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24583
/proc/meminfo: memFree=31026240/32873844 swapFree=6080/6080
[pid=24583] ppid=24581 vsize=12672 CPUtime=0.69 cores=0,2,4,6
/proc/24583/stat : 24583 (bsolo) R 24581 24583 24091 0 -1 4202496 860 0 0 0 69 0 0 0 20 0 1 0 288759578 12976128 728 33554432000 134512640 137138936 4287258032 4287191452 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24583/statm: 3168 728 184 642 0 2524 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12672
[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24584
/proc/meminfo: memFree=31020396/32873844 swapFree=6080/6080
[pid=24583] ppid=24581 vsize=13728 CPUtime=1.49 cores=0,2,4,6
/proc/24583/stat : 24583 (bsolo) R 24581 24583 24091 0 -1 4202496 1215 0 0 0 148 1 0 0 20 0 1 0 288759578 14057472 1005 33554432000 134512640 137138936 4287258032 4287256576 134607609 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24583/statm: 3432 1005 192 642 0 2788 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13728
[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24584
/proc/meminfo: memFree=31014568/32873844 swapFree=6080/6080
[pid=24583] ppid=24581 vsize=14948 CPUtime=3.09 cores=0,2,4,6
/proc/24583/stat : 24583 (bsolo) R 24581 24583 24091 0 -1 4202496 1515 0 0 0 307 2 0 0 20 0 1 0 288759578 15306752 1305 33554432000 134512640 137138936 4287258032 4287256528 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24583/statm: 3737 1305 192 642 0 3093 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14948
[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24584
/proc/meminfo: memFree=31000416/32873844 swapFree=6080/6080
[pid=24583] ppid=24581 vsize=21228 CPUtime=6.29 cores=0,2,4,6
/proc/24583/stat : 24583 (bsolo) R 24581 24583 24091 0 -1 4202496 3088 0 0 0 625 4 0 0 20 0 1 0 288759578 21737472 2878 33554432000 134512640 137138936 4287258032 4287256456 134607222 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24583/statm: 5307 2878 192 642 0 4663 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21228
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24584
/proc/meminfo: memFree=30960908/32873844 swapFree=6080/6080
[pid=24583] ppid=24581 vsize=45080 CPUtime=12.68 cores=0,2,4,6
/proc/24583/stat : 24583 (bsolo) R 24581 24583 24091 0 -1 4202496 9078 0 0 0 1260 8 0 0 20 0 1 0 288759578 46161920 8846 33554432000 134512640 137138936 4287258032 4287256548 134551250 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24583/statm: 11270 8846 192 642 0 10626 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 45080
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24585
/proc/meminfo: memFree=30887592/32873844 swapFree=6080/6080
[pid=24583] ppid=24581 vsize=81416 CPUtime=25.49 cores=0,2,4,6
/proc/24583/stat : 24583 (bsolo) R 24581 24583 24091 0 -1 4202496 18256 0 0 0 2535 14 0 0 20 0 1 0 288759578 83369984 17908 33554432000 134512640 137138936 4287258032 4287256548 134551158 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24583/statm: 20354 17908 192 642 0 19710 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 81416
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24585
/proc/meminfo: memFree=30779680/32873844 swapFree=6080/6080
[pid=24583] ppid=24581 vsize=130408 CPUtime=51.08 cores=0,2,4,6
/proc/24583/stat : 24583 (bsolo) R 24581 24583 24091 0 -1 4202496 30591 0 0 0 5091 17 0 0 20 0 1 0 288759578 133537792 30153 33554432000 134512640 137138936 4287258032 4287256456 134606663 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24583/statm: 32602 30153 192 642 0 31958 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 130408
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24585
/proc/meminfo: memFree=30588640/32873844 swapFree=6080/6080
[pid=24583] ppid=24581 vsize=217844 CPUtime=102.28 cores=0,2,4,6
/proc/24583/stat : 24583 (bsolo) R 24581 24583 24091 0 -1 4202496 52479 0 0 0 10202 26 0 0 20 0 1 0 288759578 223072256 52033 33554432000 134512640 137138936 4287258032 4287256960 134542249 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24583/statm: 54461 52033 192 642 0 53817 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 217844
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24586
/proc/meminfo: memFree=30395716/32873844 swapFree=6080/6080
[pid=24583] ppid=24581 vsize=320452 CPUtime=162.26 cores=0,2,4,6
/proc/24583/stat : 24583 (bsolo) R 24581 24583 24091 0 -1 4202496 81307 0 0 0 16190 36 0 0 20 0 1 0 288759578 328142848 77691 33554432000 134512640 137138936 4287258032 4287256960 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24583/statm: 80113 77691 192 642 0 79469 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 320452
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24586
/proc/meminfo: memFree=30226988/32873844 swapFree=6080/6080
[pid=24583] ppid=24581 vsize=398284 CPUtime=222.26 cores=0,2,4,6
/proc/24583/stat : 24583 (bsolo) R 24581 24583 24091 0 -1 4202496 101048 0 0 0 22180 46 0 0 20 0 1 0 288759578 407842816 97152 33554432000 134512640 137138936 4287258032 4287256960 134542613 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24583/statm: 99571 97152 192 642 0 98927 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 398284
[startup+282.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 24586
/proc/meminfo: memFree=30106860/32873844 swapFree=6080/6080
[pid=24583] ppid=24581 vsize=470724 CPUtime=282.25 cores=0,2,4,6
/proc/24583/stat : 24583 (bsolo) R 24581 24583 24091 0 -1 4202496 119191 0 0 0 28168 57 0 0 20 0 1 0 288759578 482021376 115250 33554432000 134512640 137138936 4287258032 4287256960 134542758 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24583/statm: 117681 115250 192 642 0 117037 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 470724
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 24587
/proc/meminfo: memFree=29974212/32873844 swapFree=6080/6080
[pid=24583] ppid=24581 vsize=550444 CPUtime=342.2 cores=0,2,4,6
/proc/24583/stat : 24583 (bsolo) R 24581 24583 24091 0 -1 4202496 139213 0 0 0 34155 65 0 0 20 0 1 0 288759578 563654656 135200 33554432000 134512640 137138936 4287258032 4287256960 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24583/statm: 137611 135200 192 642 0 136967 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 550444
[startup+402.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 24587
/proc/meminfo: memFree=29830896/32873844 swapFree=6080/6080
[pid=24583] ppid=24581 vsize=623820 CPUtime=402.15 cores=0,2,4,6
/proc/24583/stat : 24583 (bsolo) R 24581 24583 24091 0 -1 4202496 157844 0 0 0 40142 73 0 0 20 0 1 0 288759578 638791680 153522 33554432000 134512640 137138936 4287258032 4287256928 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24583/statm: 155955 153522 192 642 0 155311 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 623820
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 24590
/proc/meminfo: memFree=29702204/32873844 swapFree=6080/6080
[pid=24583] ppid=24581 vsize=689236 CPUtime=462.09 cores=0,2,4,6
/proc/24583/stat : 24583 (bsolo) R 24581 24583 24091 0 -1 4202496 174265 0 0 0 46127 82 0 0 20 0 1 0 288759578 705777664 169893 33554432000 134512640 137138936 4287258032 4287256960 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24583/statm: 172309 169893 192 642 0 171665 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 689236
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 24590
/proc/meminfo: memFree=29562120/32873844 swapFree=6080/6080
[pid=24583] ppid=24581 vsize=768828 CPUtime=522.03 cores=0,2,4,6
/proc/24583/stat : 24583 (bsolo) R 24581 24583 24091 0 -1 4202496 194221 0 0 0 52113 90 0 0 20 0 1 0 288759578 787279872 189790 33554432000 134512640 137138936 4287258032 4287256960 134542624 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24583/statm: 192207 189790 192 642 0 191563 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 768828
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24590
/proc/meminfo: memFree=29450796/32873844 swapFree=6080/6080
[pid=24583] ppid=24581 vsize=830680 CPUtime=581.99 cores=0,2,4,6
/proc/24583/stat : 24583 (bsolo) R 24581 24583 24091 0 -1 4202496 209732 0 0 0 58102 97 0 0 20 0 1 0 288759578 850616320 205250 33554432000 134512640 137138936 4287258032 4287256960 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24583/statm: 207670 205250 192 642 0 207026 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 830680
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28947920/32873844 swapFree=6080/6080
[pid=24583] ppid=24581 vsize=1045372 CPUtime=1061.66 cores=0,2,4,6
/proc/24583/stat : 24583 (bsolo) R 24581 24583 24091 0 -1 4202496 264570 0 0 0 106030 136 0 0 20 0 1 0 288759578 1070460928 258932 33554432000 134512640 137138936 4287258032 4287256456 134606663 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24583/statm: 261343 258932 192 642 0 260699 0
Current children cumulated CPU time (s) 1061.66
Current children cumulated vsize (KiB) 1045372
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24595
/proc/meminfo: memFree=28948052/32873844 swapFree=6080/6080
[pid=24583] ppid=24581 vsize=1045372 CPUtime=1121.64 cores=0,2,4,6
/proc/24583/stat : 24583 (bsolo) R 24581 24583 24091 0 -1 4202496 264570 0 0 0 112027 137 0 0 20 0 1 0 288759578 1070460928 258932 33554432000 134512640 137138936 4287258032 4287230888 134599915 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24583/statm: 261343 258932 192 642 0 260699 0
Current children cumulated CPU time (s) 1121.64
Current children cumulated vsize (KiB) 1045372
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24595
/proc/meminfo: memFree=28948052/32873844 swapFree=6080/6080
[pid=24583] ppid=24581 vsize=1045372 CPUtime=1181.64 cores=0,2,4,6
/proc/24583/stat : 24583 (bsolo) R 24581 24583 24091 0 -1 4202496 264570 0 0 0 118026 138 0 0 20 0 1 0 288759578 1070460928 258932 33554432000 134512640 137138936 4287258032 4287256960 134542725 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24583/statm: 261343 258932 192 642 0 260699 0
Current children cumulated CPU time (s) 1181.64
Current children cumulated vsize (KiB) 1045372
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24595
/proc/meminfo: memFree=28948020/32873844 swapFree=6080/6080
[pid=24583] ppid=24581 vsize=1045372 CPUtime=1241.63 cores=0,2,4,6
/proc/24583/stat : 24583 (bsolo) R 24581 24583 24091 0 -1 4202496 264570 0 0 0 124016 147 0 0 20 0 1 0 288759578 1070460928 258932 33554432000 134512640 137138936 4287258032 4287256960 134542737 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24583/statm: 261343 258932 192 642 0 260699 0
Current children cumulated CPU time (s) 1241.63
Current children cumulated vsize (KiB) 1045372
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24596
/proc/meminfo: memFree=28947552/32873844 swapFree=6080/6080
[pid=24583] ppid=24581 vsize=1045372 CPUtime=1301.63 cores=0,2,4,6
/proc/24583/stat : 24583 (bsolo) R 24581 24583 24091 0 -1 4202496 264570 0 0 0 130012 151 0 0 20 0 1 0 288759578 1070460928 258932 33554432000 134512640 137138936 4287258032 4287256528 134618411 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24583/statm: 261343 258932 192 642 0 260699 0
Current children cumulated CPU time (s) 1301.63
Current children cumulated vsize (KiB) 1045372
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24596
/proc/meminfo: memFree=28947828/32873844 swapFree=6080/6080
[pid=24583] ppid=24581 vsize=1045372 CPUtime=1361.61 cores=0,2,4,6
/proc/24583/stat : 24583 (bsolo) R 24581 24583 24091 0 -1 4202496 264570 0 0 0 136007 154 0 0 20 0 1 0 288759578 1070460928 258932 33554432000 134512640 137138936 4287258032 4287256960 134542495 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24583/statm: 261343 258932 192 642 0 260699 0
Current children cumulated CPU time (s) 1361.61
Current children cumulated vsize (KiB) 1045372
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24596
/proc/meminfo: memFree=28947980/32873844 swapFree=6080/6080
[pid=24583] ppid=24581 vsize=1045372 CPUtime=1421.61 cores=0,2,4,6
/proc/24583/stat : 24583 (bsolo) R 24581 24583 24091 0 -1 4202496 264570 0 0 0 142002 159 0 0 20 0 1 0 288759578 1070460928 258932 33554432000 134512640 137138936 4287258032 4287256960 134542740 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24583/statm: 261343 258932 192 642 0 260699 0
Current children cumulated CPU time (s) 1421.61
Current children cumulated vsize (KiB) 1045372
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24596
/proc/meminfo: memFree=28947884/32873844 swapFree=6080/6080
[pid=24583] ppid=24581 vsize=1045372 CPUtime=1481.6 cores=0,2,4,6
/proc/24583/stat : 24583 (bsolo) R 24581 24583 24091 0 -1 4202496 264570 0 0 0 147995 165 0 0 20 0 1 0 288759578 1070460928 258932 33554432000 134512640 137138936 4287258032 4287256576 134607615 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24583/statm: 261343 258932 192 642 0 260699 0
Current children cumulated CPU time (s) 1481.6
Current children cumulated vsize (KiB) 1045372
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24596
/proc/meminfo: memFree=28947912/32873844 swapFree=6080/6080
[pid=24583] ppid=24581 vsize=1045372 CPUtime=1541.59 cores=0,2,4,6
/proc/24583/stat : 24583 (bsolo) R 24581 24583 24091 0 -1 4202496 264570 0 0 0 153992 167 0 0 20 0 1 0 288759578 1070460928 258932 33554432000 134512640 137138936 4287258032 4287256960 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24583/statm: 261343 258932 192 642 0 260699 0
Current children cumulated CPU time (s) 1541.59
Current children cumulated vsize (KiB) 1045372
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24597
/proc/meminfo: memFree=28947924/32873844 swapFree=6080/6080
[pid=24583] ppid=24581 vsize=1045372 CPUtime=1601.57 cores=0,2,4,6
/proc/24583/stat : 24583 (bsolo) R 24581 24583 24091 0 -1 4202496 264570 0 0 0 159987 170 0 0 20 0 1 0 288759578 1070460928 258932 33554432000 134512640 137138936 4287258032 4287256456 134606964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24583/statm: 261343 258932 192 642 0 260699 0
Current children cumulated CPU time (s) 1601.57
Current children cumulated vsize (KiB) 1045372
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24600
/proc/meminfo: memFree=28947784/32873844 swapFree=6080/6080
[pid=24583] ppid=24581 vsize=1045372 CPUtime=1661.57 cores=0,2,4,6
/proc/24583/stat : 24583 (bsolo) R 24581 24583 24091 0 -1 4202496 264570 0 0 0 165980 177 0 0 20 0 1 0 288759578 1070460928 258932 33554432000 134512640 137138936 4287258032 4287256960 134542752 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24583/statm: 261343 258932 192 642 0 260699 0
Current children cumulated CPU time (s) 1661.57
Current children cumulated vsize (KiB) 1045372
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24623
/proc/meminfo: memFree=28948156/32873844 swapFree=6080/6080
[pid=24583] ppid=24581 vsize=1045372 CPUtime=1721.56 cores=0,2,4,6
/proc/24583/stat : 24583 (bsolo) R 24581 24583 24091 0 -1 4202496 264570 0 0 0 171974 182 0 0 20 0 1 0 288759578 1070460928 258932 33554432000 134512640 137138936 4287258032 4287256960 134542319 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24583/statm: 261343 258932 192 642 0 260699 0
Current children cumulated CPU time (s) 1721.56
Current children cumulated vsize (KiB) 1045372
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24623
/proc/meminfo: memFree=28947924/32873844 swapFree=6080/6080
[pid=24583] ppid=24581 vsize=1045372 CPUtime=1781.54 cores=0,2,4,6
/proc/24583/stat : 24583 (bsolo) R 24581 24583 24091 0 -1 4202496 264570 0 0 0 177970 184 0 0 20 0 1 0 288759578 1070460928 258932 33554432000 134512640 137138936 4287258032 4287256456 134606601 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24583/statm: 261343 258932 192 642 0 260699 0
Current children cumulated CPU time (s) 1781.54
Current children cumulated vsize (KiB) 1045372
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 24623
/proc/meminfo: memFree=28947924/32873844 swapFree=6080/6080
[pid=24583] ppid=24581 vsize=1045372 CPUtime=1791.15 cores=0,2,4,6
/proc/24583/stat : 24583 (bsolo) R 24581 24583 24091 0 -1 4202496 264570 0 0 0 178930 185 0 0 20 0 1 0 288759578 1070460928 258932 33554432000 134512640 137138936 4287258032 4287256576 134607574 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24583/statm: 261343 258932 192 642 0 260699 0
Current children cumulated CPU time (s) 1791.15
Current children cumulated vsize (KiB) 1045372
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24661
/proc/meminfo: memFree=29996876/32873844 swapFree=6080/6080
[pid=24583] ppid=24581 vsize=1045372 CPUtime=1794.35 cores=0,2,4,6
/proc/24583/stat : 24583 (bsolo) R 24581 24583 24091 0 -1 4202496 264570 0 0 0 179250 185 0 0 20 0 1 0 288759578 1070460928 258932 33554432000 134512640 137138936 4287258032 4287256960 134542333 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24583/statm: 261343 258932 192 642 0 260699 0
Current children cumulated CPU time (s) 1794.35
Current children cumulated vsize (KiB) 1045372
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24661
/proc/meminfo: memFree=29995744/32873844 swapFree=6080/6080
[pid=24583] ppid=24581 vsize=1045372 CPUtime=1795.94 cores=0,2,4,6
/proc/24583/stat : 24583 (bsolo) R 24581 24583 24091 0 -1 4202496 264570 0 0 0 179409 185 0 0 20 0 1 0 288759578 1070460928 258932 33554432000 134512640 137138936 4287258032 4287256960 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24583/statm: 261343 258932 192 642 0 260699 0
Current children cumulated CPU time (s) 1795.94
Current children cumulated vsize (KiB) 1045372
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24661
/proc/meminfo: memFree=29992520/32873844 swapFree=6080/6080
[pid=24583] ppid=24581 vsize=1045372 CPUtime=1796.74 cores=0,2,4,6
/proc/24583/stat : 24583 (bsolo) R 24581 24583 24091 0 -1 4202496 264570 0 0 0 179489 185 0 0 20 0 1 0 288759578 1070460928 258932 33554432000 134512640 137138936 4287258032 4287256960 134542301 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24583/statm: 261343 258932 192 642 0 260699 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 1045372
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24661
/proc/meminfo: memFree=29992520/32873844 swapFree=6080/6080
[pid=24583] ppid=24581 vsize=1045372 CPUtime=1797.54 cores=0,2,4,6
/proc/24583/stat : 24583 (bsolo) R 24581 24583 24091 0 -1 4202496 264570 0 0 0 179569 185 0 0 20 0 1 0 288759578 1070460928 258932 33554432000 134512640 137138936 4287258032 4287256780 136297616 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24583/statm: 261343 258932 192 642 0 260699 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 1045372
[startup+1798.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24661
/proc/meminfo: memFree=29990040/32873844 swapFree=6080/6080
[pid=24583] ppid=24581 vsize=1045372 CPUtime=1797.94 cores=0,2,4,6
/proc/24583/stat : 24583 (bsolo) R 24581 24583 24091 0 -1 4202496 264570 0 0 0 179609 185 0 0 20 0 1 0 288759578 1070460928 258932 33554432000 134512640 137138936 4287258032 4287256892 136521049 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24583/statm: 261343 258932 192 642 0 260699 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 1045372
Child status: 0
Real time (s): 1798.75
CPU time (s): 1798
CPU user time (s): 1796.14
CPU system time (s): 1.86172
CPU usage (%): 99.9586
Max. virtual memory (cumulated for all children) (KiB): 1045828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.14
system time used= 1.86172
maximum resident set size= 1036184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 264570
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= 490
involuntary context switches= 1880
runsolver used 2.74958 second user time and 7.06593 second system time
The end