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-3733288-1339017745/watcher-3733288-1339017745 -o /tmp/evaluation-result-3733288-1339017745/solver-3733288-1339017745 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3733288-1339017745.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: 0.00 0.00 0.00 2/171 30860
/proc/meminfo: memFree=25790836/32873844 swapFree=7628/7628
[pid=30860] ppid=30858 vsize=13964 CPUtime=0 cores=0,2,4,6
/proc/30860/stat : 30860 (bsolo) R 30858 30860 30821 0 -1 4202496 338 0 0 0 0 0 0 0 20 0 1 0 367899444 14299136 451 33554432000 134512640 137136520 4288987776 4288986184 136504651 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30860/statm: 3491 452 183 641 0 2089 0
[startup+0.10382 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 30860
/proc/meminfo: memFree=25790836/32873844 swapFree=7628/7628
[pid=30860] ppid=30858 vsize=19604 CPUtime=0.09 cores=0,2,4,6
/proc/30860/stat : 30860 (bsolo) R 30858 30860 30821 0 -1 4202496 2098 0 0 0 9 0 0 0 20 0 1 0 367899444 20074496 2211 33554432000 134512640 137136520 4288987776 4288986544 134520192 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30860/statm: 4901 2212 524 641 0 3499 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19604
[startup+0.200245 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 30860
/proc/meminfo: memFree=25790836/32873844 swapFree=7628/7628
[pid=30860] ppid=30858 vsize=25376 CPUtime=0.19 cores=0,2,4,6
/proc/30860/stat : 30860 (bsolo) R 30858 30860 30821 0 -1 4202496 3884 0 0 0 19 0 0 0 20 0 1 0 367899444 25985024 3997 33554432000 134512640 137136520 4288987776 4288986024 136504651 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30860/statm: 6345 3999 880 641 0 4943 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 25376
[startup+0.300242 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 30860
/proc/meminfo: memFree=25790836/32873844 swapFree=7628/7628
[pid=30860] ppid=30858 vsize=29108 CPUtime=0.28 cores=0,2,4,6
/proc/30860/stat : 30860 (bsolo) R 30858 30860 30821 0 -1 4202496 5641 0 0 0 28 0 0 0 20 0 1 0 367899444 29806592 4996 33554432000 134512640 137136520 4288987776 4288968044 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30860/statm: 7277 4996 188 641 0 6633 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 29108
[startup+0.700228 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 30860
/proc/meminfo: memFree=25790836/32873844 swapFree=7628/7628
[pid=30860] ppid=30858 vsize=33268 CPUtime=0.69 cores=0,2,4,6
/proc/30860/stat : 30860 (bsolo) R 30858 30860 30821 0 -1 4202496 6663 0 0 0 67 2 0 0 20 0 1 0 367899444 34066432 6018 33554432000 134512640 137136520 4288987776 4288967852 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30860/statm: 8317 6018 190 641 0 7673 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33268
[startup+1.50022 s]
/proc/loadavg: 0.00 0.00 0.00 3/177 30880
/proc/meminfo: memFree=25729512/32873844 swapFree=7628/7628
[pid=30860] ppid=30858 vsize=29776 CPUtime=1.49 cores=0,2,4,6
/proc/30860/stat : 30860 (bsolo) R 30858 30860 30821 0 -1 4202496 7738 0 0 0 144 5 0 0 20 0 1 0 367899444 30490624 5169 33554432000 134512640 137136520 4288987776 4288986304 134600687 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30860/statm: 7444 5169 196 641 0 6800 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29776
[startup+3.10018 s]
/proc/loadavg: 0.16 0.03 0.01 3/177 30880
/proc/meminfo: memFree=25690280/32873844 swapFree=7628/7628
[pid=30860] ppid=30858 vsize=52916 CPUtime=3.09 cores=0,2,4,6
/proc/30860/stat : 30860 (bsolo) R 30858 30860 30821 0 -1 4202496 13533 0 0 0 302 7 0 0 20 0 1 0 367899444 54185984 10964 33554432000 134512640 137136520 4288987776 4288986416 134606783 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30860/statm: 13229 10964 196 641 0 12585 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52916
[startup+6.30026 s]
/proc/loadavg: 0.16 0.03 0.01 3/177 30880
/proc/meminfo: memFree=25647872/32873844 swapFree=7628/7628
[pid=30860] ppid=30858 vsize=92376 CPUtime=6.28 cores=0,2,4,6
/proc/30860/stat : 30860 (bsolo) R 30858 30860 30821 0 -1 4202496 23402 0 0 0 619 9 0 0 20 0 1 0 367899444 94593024 20833 33554432000 134512640 137136520 4288987776 4288986892 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30860/statm: 23094 20833 197 641 0 22450 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 92376
[startup+12.7003 s]
/proc/loadavg: 0.44 0.10 0.03 3/176 30880
/proc/meminfo: memFree=25572156/32873844 swapFree=7628/7628
[pid=30860] ppid=30858 vsize=165568 CPUtime=12.69 cores=0,2,4,6
/proc/30860/stat : 30860 (bsolo) R 30858 30860 30821 0 -1 4202496 41701 0 0 0 1256 13 0 0 20 0 1 0 367899444 169541632 39132 33554432000 134512640 137136520 4288987776 4288986892 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30860/statm: 41392 39132 197 641 0 40748 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 165568
[startup+25.5003 s]
/proc/loadavg: 0.68 0.16 0.05 3/177 30881
/proc/meminfo: memFree=25446932/32873844 swapFree=7628/7628
[pid=30860] ppid=30858 vsize=285528 CPUtime=25.49 cores=0,2,4,6
/proc/30860/stat : 30860 (bsolo) R 30858 30860 30821 0 -1 4202496 71690 0 0 0 2528 21 0 0 20 0 1 0 367899444 292380672 69121 33554432000 134512640 137136520 4288987776 4288986328 136502032 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30860/statm: 71382 69121 197 641 0 70738 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 285528
[startup+51.1003 s]
/proc/loadavg: 1.13 0.31 0.10 3/177 30881
/proc/meminfo: memFree=25214016/32873844 swapFree=7628/7628
[pid=30860] ppid=30858 vsize=516916 CPUtime=51.06 cores=0,2,4,6
/proc/30860/stat : 30860 (bsolo) R 30858 30860 30821 0 -1 4202496 129531 0 0 0 5074 32 0 0 20 0 1 0 367899444 529321984 126958 33554432000 134512640 137136520 4288987776 4288986704 134543933 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30860/statm: 129229 126958 197 641 0 128585 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 516916
[startup+102.3 s]
/proc/loadavg: 1.65 0.59 0.21 3/177 30881
/proc/meminfo: memFree=24864752/32873844 swapFree=7628/7628
[pid=30860] ppid=30858 vsize=862140 CPUtime=102.22 cores=0,2,4,6
/proc/30860/stat : 30860 (bsolo) R 30858 30860 30821 0 -1 4202496 215887 0 0 0 10169 53 0 0 20 0 1 0 367899444 882831360 213274 33554432000 134512640 137136520 4288987776 4288986704 134544148 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30860/statm: 215535 213274 197 641 0 214891 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 862140
[startup+162.3 s]
/proc/loadavg: 1.95 0.86 0.32 3/177 30881
/proc/meminfo: memFree=24542008/32873844 swapFree=7628/7628
[pid=30860] ppid=30858 vsize=1187204 CPUtime=162.16 cores=0,2,4,6
/proc/30860/stat : 30860 (bsolo) R 30858 30860 30821 0 -1 4202496 297175 0 0 0 16143 73 0 0 20 0 1 0 367899444 1215696896 294515 33554432000 134512640 137136520 4288987776 4288986704 134543865 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30860/statm: 296801 294515 197 641 0 296157 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 1187204
[startup+222.306 s]
/proc/loadavg: 1.98 1.06 0.43 3/177 30881
/proc/meminfo: memFree=24226332/32873844 swapFree=7628/7628
[pid=30860] ppid=30858 vsize=1490200 CPUtime=222.1 cores=0,2,4,6
/proc/30860/stat : 30860 (bsolo) R 30858 30860 30821 0 -1 4202496 372992 0 0 0 22119 91 0 0 20 0 1 0 367899444 1525964800 370291 33554432000 134512640 137136520 4288987776 4288986892 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30860/statm: 372550 370291 197 641 0 371906 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 1490200
[startup+282.3 s]
/proc/loadavg: 2.03 1.25 0.53 3/177 30881
/proc/meminfo: memFree=23952940/32873844 swapFree=7628/7628
[pid=30860] ppid=30858 vsize=1720492 CPUtime=282.05 cores=0,2,4,6
/proc/30860/stat : 30860 (bsolo) R 30858 30860 30821 0 -1 4202496 430574 0 0 0 28098 107 0 0 20 0 1 0 367899444 1761783808 427837 33554432000 134512640 137136520 4288987776 4288986704 134544112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30860/statm: 430123 427837 197 641 0 429479 0
Current children cumulated CPU time (s) 282.05
Current children cumulated vsize (KiB) 1720492
[startup+342.3 s]
/proc/loadavg: 2.08 1.40 0.62 3/177 30882
/proc/meminfo: memFree=23694808/32873844 swapFree=7628/7628
[pid=30860] ppid=30858 vsize=1940184 CPUtime=342.01 cores=0,2,4,6
/proc/30860/stat : 30860 (bsolo) R 30858 30860 30821 0 -1 4202496 485539 0 0 0 34078 123 0 0 20 0 1 0 367899444 1986748416 482775 33554432000 134512640 137136520 4288987776 4288986892 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30860/statm: 485046 482775 197 641 0 484402 0
Current children cumulated CPU time (s) 342.01
Current children cumulated vsize (KiB) 1940184
[startup+402.3 s]
/proc/loadavg: 2.03 1.50 0.70 3/177 30882
/proc/meminfo: memFree=23415216/32873844 swapFree=7628/7628
[pid=30860] ppid=30858 vsize=2193480 CPUtime=401.96 cores=0,2,4,6
/proc/30860/stat : 30860 (bsolo) R 30858 30860 30821 0 -1 4202496 548892 0 0 0 40057 139 0 0 20 0 1 0 367899444 2246123520 546099 33554432000 134512640 137136520 4288987776 4288986544 134573386 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30860/statm: 548370 546099 197 641 0 547726 0
Current children cumulated CPU time (s) 401.96
Current children cumulated vsize (KiB) 2193480
[startup+462.3 s]
/proc/loadavg: 2.01 1.59 0.78 3/178 30885
/proc/meminfo: memFree=23205024/32873844 swapFree=7628/7628
[pid=30860] ppid=30858 vsize=2379564 CPUtime=461.93 cores=0,2,4,6
/proc/30860/stat : 30860 (bsolo) R 30858 30860 30821 0 -1 4202496 595431 0 0 0 46040 153 0 0 20 0 1 0 367899444 2436673536 592620 33554432000 134512640 137136520 4288987776 4288986704 134544419 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30860/statm: 594891 592620 197 641 0 594247 0
Current children cumulated CPU time (s) 461.93
Current children cumulated vsize (KiB) 2379564
[startup+522.3 s]
/proc/loadavg: 2.00 1.66 0.86 3/177 30885
/proc/meminfo: memFree=23003716/32873844 swapFree=7628/7628
[pid=30860] ppid=30858 vsize=2549960 CPUtime=521.88 cores=0,2,4,6
/proc/30860/stat : 30860 (bsolo) R 30858 30860 30821 0 -1 4202496 638076 0 0 0 52022 166 0 0 20 0 1 0 367899444 2611159040 635230 33554432000 134512640 137136520 4288987776 4288986892 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30860/statm: 637490 635230 197 641 0 636846 0
Current children cumulated CPU time (s) 521.88
Current children cumulated vsize (KiB) 2549960
[startup+582.3 s]
/proc/loadavg: 2.00 1.72 0.92 3/177 30885
/proc/meminfo: memFree=22898592/32873844 swapFree=7628/7628
[pid=30860] ppid=30858 vsize=2617912 CPUtime=581.85 cores=0,2,4,6
/proc/30860/stat : 30860 (bsolo) R 30858 30860 30821 0 -1 4202496 655196 0 0 0 58013 172 0 0 20 0 1 0 367899444 2680741888 652193 33554432000 134512640 137136520 4288987776 4288967636 136498219 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30860/statm: 654478 652193 197 641 0 653834 0
Current children cumulated CPU time (s) 581.85
Current children cumulated vsize (KiB) 2617912
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=22730948/32873844 swapFree=7628/7628
[pid=30860] ppid=30858 vsize=2617912 CPUtime=1121.66 cores=0,2,4,6
/proc/30860/stat : 30860 (bsolo) R 30858 30860 30821 0 -1 4202496 655312 0 0 0 111974 192 0 0 20 0 1 0 367899444 2680741888 652193 33554432000 134512640 137136520 4288987776 4288986704 134544148 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30860/statm: 654478 652193 197 641 0 653834 0
Current children cumulated CPU time (s) 1121.66
Current children cumulated vsize (KiB) 2617912
[startup+1182.3 s]
/proc/loadavg: 2.00 1.96 1.42 3/176 30890
/proc/meminfo: memFree=22708540/32873844 swapFree=7628/7628
[pid=30860] ppid=30858 vsize=2617912 CPUtime=1181.64 cores=0,2,4,6
/proc/30860/stat : 30860 (bsolo) R 30858 30860 30821 0 -1 4202496 655331 0 0 0 117970 194 0 0 20 0 1 0 367899444 2680741888 652193 33554432000 134512640 137136520 4288987776 4288986704 134544122 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30860/statm: 654478 652193 197 641 0 653834 0
Current children cumulated CPU time (s) 1181.64
Current children cumulated vsize (KiB) 2617912
[startup+1242.3 s]
/proc/loadavg: 2.00 1.96 1.46 3/177 30892
/proc/meminfo: memFree=22680412/32873844 swapFree=7628/7628
[pid=30860] ppid=30858 vsize=2617912 CPUtime=1241.59 cores=0,2,4,6
/proc/30860/stat : 30860 (bsolo) R 30858 30860 30821 0 -1 4202496 655372 0 0 0 123963 196 0 0 20 0 1 0 367899444 2680741888 652193 33554432000 134512640 137136520 4288987776 4288986704 134544148 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30860/statm: 654478 652193 197 641 0 653834 0
Current children cumulated CPU time (s) 1241.59
Current children cumulated vsize (KiB) 2617912
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.48 3/177 30892
/proc/meminfo: memFree=22561276/32873844 swapFree=7628/7628
[pid=30860] ppid=30858 vsize=2725596 CPUtime=1301.56 cores=0,2,4,6
/proc/30860/stat : 30860 (bsolo) R 30858 30860 30821 0 -1 4202496 682344 0 0 0 129950 206 0 0 20 0 1 0 367899444 2791010304 679140 33554432000 134512640 137136520 4288987776 4288986704 134543927 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30860/statm: 681399 679140 197 641 0 680755 0
Current children cumulated CPU time (s) 1301.56
Current children cumulated vsize (KiB) 2725596
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.52 3/177 30892
/proc/meminfo: memFree=22448712/32873844 swapFree=7628/7628
[pid=30860] ppid=30858 vsize=2822496 CPUtime=1361.53 cores=0,2,4,6
/proc/30860/stat : 30860 (bsolo) R 30858 30860 30821 0 -1 4202496 706573 0 0 0 135939 214 0 0 20 0 1 0 367899444 2890235904 703353 33554432000 134512640 137136520 4288987776 4288986704 134544148 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30860/statm: 705624 703353 197 641 0 704980 0
Current children cumulated CPU time (s) 1361.53
Current children cumulated vsize (KiB) 2822496
[startup+1422.3 s]
/proc/loadavg: 2.00 1.97 1.54 3/177 30892
/proc/meminfo: memFree=22319656/32873844 swapFree=7628/7628
[pid=30860] ppid=30858 vsize=2940312 CPUtime=1421.49 cores=0,2,4,6
/proc/30860/stat : 30860 (bsolo) R 30858 30860 30821 0 -1 4202496 736055 0 0 0 141927 222 0 0 20 0 1 0 367899444 3010879488 732804 33554432000 134512640 137136520 4288987776 4288986704 134544145 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30860/statm: 735078 732804 197 641 0 734434 0
Current children cumulated CPU time (s) 1421.49
Current children cumulated vsize (KiB) 2940312
[startup+1482.3 s]
/proc/loadavg: 2.04 1.99 1.57 3/177 30892
/proc/meminfo: memFree=22192832/32873844 swapFree=7628/7628
[pid=30860] ppid=30858 vsize=3058732 CPUtime=1481.47 cores=0,2,4,6
/proc/30860/stat : 30860 (bsolo) R 30858 30860 30821 0 -1 4202496 765665 0 0 0 147914 233 0 0 20 0 1 0 367899444 3132141568 762398 33554432000 134512640 137136520 4288987776 4288986704 134544148 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30860/statm: 764683 762398 197 641 0 764039 0
Current children cumulated CPU time (s) 1481.47
Current children cumulated vsize (KiB) 3058732
[startup+1542.31 s]
/proc/loadavg: 2.01 1.99 1.60 3/177 30893
/proc/meminfo: memFree=22082500/32873844 swapFree=7628/7628
[pid=30860] ppid=30858 vsize=3154872 CPUtime=1541.45 cores=0,2,4,6
/proc/30860/stat : 30860 (bsolo) R 30858 30860 30821 0 -1 4202496 789887 0 0 0 153904 241 0 0 20 0 1 0 367899444 3230588928 786432 33554432000 134512640 137136520 4288987776 4288986816 134540850 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30860/statm: 788718 786432 197 641 0 788074 0
Current children cumulated CPU time (s) 1541.45
Current children cumulated vsize (KiB) 3154872
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.62 3/177 30893
/proc/meminfo: memFree=22071740/32873844 swapFree=7628/7628
[pid=30860] ppid=30858 vsize=3154872 CPUtime=1601.43 cores=0,2,4,6
/proc/30860/stat : 30860 (bsolo) R 30858 30860 30821 0 -1 4202496 789898 0 0 0 159900 243 0 0 20 0 1 0 367899444 3230588928 786432 33554432000 134512640 137136520 4288987776 4288986704 134544384 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30860/statm: 788718 786432 197 641 0 788074 0
Current children cumulated CPU time (s) 1601.43
Current children cumulated vsize (KiB) 3154872
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.64 3/178 30896
/proc/meminfo: memFree=22063420/32873844 swapFree=7628/7628
[pid=30860] ppid=30858 vsize=3154872 CPUtime=1661.4 cores=0,2,4,6
/proc/30860/stat : 30860 (bsolo) R 30858 30860 30821 0 -1 4202496 789927 0 0 0 165894 246 0 0 20 0 1 0 367899444 3230588928 786432 33554432000 134512640 137136520 4288987776 4288986704 134544122 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30860/statm: 788718 786432 197 641 0 788074 0
Current children cumulated CPU time (s) 1661.4
Current children cumulated vsize (KiB) 3154872
[startup+1722.3 s]
/proc/loadavg: 2.04 2.00 1.66 3/177 30896
/proc/meminfo: memFree=22055924/32873844 swapFree=7628/7628
[pid=30860] ppid=30858 vsize=3154872 CPUtime=1721.37 cores=0,2,4,6
/proc/30860/stat : 30860 (bsolo) R 30858 30860 30821 0 -1 4202496 789967 0 0 0 171889 248 0 0 20 0 1 0 367899444 3230588928 786432 33554432000 134512640 137136520 4288987776 4288986892 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30860/statm: 788718 786432 197 641 0 788074 0
Current children cumulated CPU time (s) 1721.37
Current children cumulated vsize (KiB) 3154872
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.68 3/177 30896
/proc/meminfo: memFree=22048884/32873844 swapFree=7628/7628
[pid=30860] ppid=30858 vsize=3154872 CPUtime=1781.35 cores=0,2,4,6
/proc/30860/stat : 30860 (bsolo) R 30858 30860 30821 0 -1 4202496 790004 0 0 0 177884 251 0 0 20 0 1 0 367899444 3230588928 786432 33554432000 134512640 137136520 4288987776 4288986416 134606731 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30860/statm: 788718 786432 197 641 0 788074 0
Current children cumulated CPU time (s) 1781.35
Current children cumulated vsize (KiB) 3154872
Solver just ended. Dumping a history of the last processes samples
[startup+1792.01 s]
/proc/loadavg: 2.01 2.00 1.69 3/177 30896
/proc/meminfo: memFree=22048248/32873844 swapFree=7628/7628
[pid=30860] ppid=30858 vsize=3154872 CPUtime=1791.05 cores=0,2,4,6
/proc/30860/stat : 30860 (bsolo) R 30858 30860 30821 0 -1 4202496 790012 0 0 0 178854 251 0 0 20 0 1 0 367899444 3230588928 786432 33554432000 134512640 137136520 4288987776 4288986704 134544112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30860/statm: 788718 786432 197 641 0 788074 0
Current children cumulated CPU time (s) 1791.05
Current children cumulated vsize (KiB) 3154872
[startup+1795.2 s]
/proc/loadavg: 2.01 2.00 1.69 3/177 30896
/proc/meminfo: memFree=22047876/32873844 swapFree=7628/7628
[pid=30860] ppid=30858 vsize=3154872 CPUtime=1794.24 cores=0,2,4,6
/proc/30860/stat : 30860 (bsolo) R 30858 30860 30821 0 -1 4202496 790012 0 0 0 179173 251 0 0 20 0 1 0 367899444 3230588928 786432 33554432000 134512640 137136520 4288987776 4288986704 134544402 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30860/statm: 788718 786432 197 641 0 788074 0
Current children cumulated CPU time (s) 1794.24
Current children cumulated vsize (KiB) 3154872
[startup+1796.8 s]
/proc/loadavg: 2.01 2.00 1.69 3/177 30896
/proc/meminfo: memFree=22047628/32873844 swapFree=7628/7628
[pid=30860] ppid=30858 vsize=3154872 CPUtime=1795.84 cores=0,2,4,6
/proc/30860/stat : 30860 (bsolo) R 30858 30860 30821 0 -1 4202496 790012 0 0 0 179333 251 0 0 20 0 1 0 367899444 3230588928 786432 33554432000 134512640 137136520 4288987776 4288967848 134598609 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30860/statm: 788718 786432 197 641 0 788074 0
Current children cumulated CPU time (s) 1795.84
Current children cumulated vsize (KiB) 3154872
[startup+1797.6 s]
/proc/loadavg: 2.01 2.00 1.69 3/177 30896
/proc/meminfo: memFree=22047504/32873844 swapFree=7628/7628
[pid=30860] ppid=30858 vsize=3154872 CPUtime=1796.64 cores=0,2,4,6
/proc/30860/stat : 30860 (bsolo) R 30858 30860 30821 0 -1 4202496 790012 0 0 0 179413 251 0 0 20 0 1 0 367899444 3230588928 786432 33554432000 134512640 137136520 4288987776 4288968016 134600764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30860/statm: 788718 786432 197 641 0 788074 0
Current children cumulated CPU time (s) 1796.64
Current children cumulated vsize (KiB) 3154872
[startup+1798.4 s]
/proc/loadavg: 2.01 2.00 1.69 3/177 30896
/proc/meminfo: memFree=22047504/32873844 swapFree=7628/7628
[pid=30860] ppid=30858 vsize=3154872 CPUtime=1797.44 cores=0,2,4,6
/proc/30860/stat : 30860 (bsolo) R 30858 30860 30821 0 -1 4202496 790012 0 0 0 179493 251 0 0 20 0 1 0 367899444 3230588928 786432 33554432000 134512640 137136520 4288987776 4288968344 136502448 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30860/statm: 788718 786432 197 641 0 788074 0
Current children cumulated CPU time (s) 1797.44
Current children cumulated vsize (KiB) 3154872
[startup+1798.8 s]
/proc/loadavg: 2.01 2.00 1.69 3/177 30896
/proc/meminfo: memFree=22047256/32873844 swapFree=7628/7628
[pid=30860] ppid=30858 vsize=3154872 CPUtime=1797.84 cores=0,2,4,6
/proc/30860/stat : 30860 (bsolo) R 30858 30860 30821 0 -1 4202496 790012 0 0 0 179533 251 0 0 20 0 1 0 367899444 3230588928 786432 33554432000 134512640 137136520 4288987776 4288986672 134544402 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30860/statm: 788718 786432 197 641 0 788074 0
Current children cumulated CPU time (s) 1797.84
Current children cumulated vsize (KiB) 3154872
[startup+1798.9 s]
/proc/loadavg: 2.01 2.00 1.69 3/177 30896
/proc/meminfo: memFree=22047256/32873844 swapFree=7628/7628
[pid=30860] ppid=30858 vsize=3154872 CPUtime=1797.94 cores=0,2,4,6
/proc/30860/stat : 30860 (bsolo) R 30858 30860 30821 0 -1 4202496 790012 0 0 0 179543 251 0 0 20 0 1 0 367899444 3230588928 786432 33554432000 134512640 137136520 4288987776 4288986328 136502148 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30860/statm: 788718 786432 197 641 0 788074 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 3154872
Child status: 0
Real time (s): 1798.99
CPU time (s): 1798.03
CPU user time (s): 1795.49
CPU system time (s): 2.54461
CPU usage (%): 99.947
Max. virtual memory (cumulated for all children) (KiB): 3155520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.49
system time used= 2.54461
maximum resident set size= 3146376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 790014
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= 783
involuntary context switches= 2030
runsolver used 2.49162 second user time and 7.32489 second system time
The end