runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3462732-1307182478/watcher-3462732-1307182478 -o /tmp/evaluation-result-3462732-1307182478/solver-3462732-1307182478 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462732-1307182478.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.05 2.03 2.00 2/514 27056
/proc/meminfo: memFree=21668596/32951124 swapFree=62999000/67111528
[pid=27056] ppid=27054 vsize=13820 CPUtime=0.01 cores=0,2,4,6
/proc/27056/stat : 27056 (bsolo) R 27054 27056 24981 0 -1 4202496 1081 0 0 0 1 0 0 0 25 0 1 0 810663370 14151680 1014 33554432000 134512640 137138936 4290455264 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27056/statm: 3455 1014 185 642 0 2811 0
[startup+0.0311401 s]
/proc/loadavg: 2.05 2.03 2.00 2/514 27056
/proc/meminfo: memFree=21668596/32951124 swapFree=62999000/67111528
[pid=27056] ppid=27054 vsize=13820 CPUtime=0.02 cores=0,2,4,6
/proc/27056/stat : 27056 (bsolo) R 27054 27056 24981 0 -1 4202496 1081 0 0 0 2 0 0 0 25 0 1 0 810663370 14151680 1014 33554432000 134512640 137138936 4290455264 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27056/statm: 3455 1014 185 642 0 2811 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13820
[startup+0.101119 s]
/proc/loadavg: 2.05 2.03 2.00 2/514 27056
/proc/meminfo: memFree=21668596/32951124 swapFree=62999000/67111528
[pid=27056] ppid=27054 vsize=13820 CPUtime=0.09 cores=0,2,4,6
/proc/27056/stat : 27056 (bsolo) R 27054 27056 24981 0 -1 4202496 1081 0 0 0 9 0 0 0 25 0 1 0 810663370 14151680 1014 33554432000 134512640 137138936 4290455264 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27056/statm: 3455 1014 185 642 0 2811 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13820
[startup+0.301107 s]
/proc/loadavg: 2.05 2.03 2.00 2/514 27056
/proc/meminfo: memFree=21668596/32951124 swapFree=62999000/67111528
[pid=27056] ppid=27054 vsize=14056 CPUtime=0.29 cores=0,2,4,6
/proc/27056/stat : 27056 (bsolo) R 27054 27056 24981 0 -1 4202496 1451 0 0 0 28 1 0 0 25 0 1 0 810663370 14393344 1077 33554432000 134512640 137138936 4290455264 18446744073709551615 134580528 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27056/statm: 3514 1077 188 642 0 2870 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14056
[startup+0.701042 s]
/proc/loadavg: 2.05 2.03 2.00 2/514 27056
/proc/meminfo: memFree=21668596/32951124 swapFree=62999000/67111528
[pid=27056] ppid=27054 vsize=15528 CPUtime=0.69 cores=0,2,4,6
/proc/27056/stat : 27056 (bsolo) R 27054 27056 24981 0 -1 4202496 1811 0 0 0 68 1 0 0 25 0 1 0 810663370 15900672 1437 33554432000 134512640 137138936 4290455264 18446744073709551615 134573444 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27056/statm: 3882 1437 192 642 0 3238 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15528
[startup+1.50087 s]
/proc/loadavg: 2.05 2.03 2.00 3/515 27057
/proc/meminfo: memFree=21661396/32951124 swapFree=62999000/67111528
[pid=27056] ppid=27054 vsize=18052 CPUtime=1.49 cores=0,2,4,6
/proc/27056/stat : 27056 (bsolo) R 27054 27056 24981 0 -1 4202496 2444 0 0 0 147 2 0 0 25 0 1 0 810663370 18485248 2070 33554432000 134512640 137138936 4290455264 18446744073709551615 134542725 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27056/statm: 4513 2070 192 642 0 3869 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18052
[startup+3.10059 s]
/proc/loadavg: 2.05 2.03 2.00 3/515 27057
/proc/meminfo: memFree=21657304/32951124 swapFree=62999000/67111528
[pid=27056] ppid=27054 vsize=22304 CPUtime=3.09 cores=0,2,4,6
/proc/27056/stat : 27056 (bsolo) R 27054 27056 24981 0 -1 4202496 3526 0 0 0 307 2 0 0 25 0 1 0 810663370 22839296 3152 33554432000 134512640 137138936 4290455264 18446744073709551615 136520933 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27056/statm: 5576 3152 192 642 0 4932 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22304
[startup+6.30095 s]
/proc/loadavg: 2.04 2.03 2.00 3/515 27057
/proc/meminfo: memFree=21649308/32951124 swapFree=62999000/67111528
[pid=27056] ppid=27054 vsize=29328 CPUtime=6.29 cores=0,2,4,6
/proc/27056/stat : 27056 (bsolo) R 27054 27056 24981 0 -1 4202496 5269 0 0 0 626 3 0 0 25 0 1 0 810663370 30031872 4895 33554432000 134512640 137138936 4290455264 18446744073709551615 134575204 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27056/statm: 7332 4895 192 642 0 6688 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29328
[startup+12.7007 s]
/proc/loadavg: 2.04 2.03 2.00 3/515 27057
/proc/meminfo: memFree=21634712/32951124 swapFree=62999000/67111528
[pid=27056] ppid=27054 vsize=42868 CPUtime=12.69 cores=0,2,4,6
/proc/27056/stat : 27056 (bsolo) R 27054 27056 24981 0 -1 4202496 8649 0 0 0 1264 5 0 0 25 0 1 0 810663370 43896832 8275 33554432000 134512640 137138936 4290455264 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27056/statm: 10717 8275 192 642 0 10073 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42868
[startup+25.5003 s]
/proc/loadavg: 2.03 2.03 2.00 3/515 27058
/proc/meminfo: memFree=21612020/32951124 swapFree=62999000/67111528
[pid=27056] ppid=27054 vsize=65748 CPUtime=25.47 cores=0,2,4,6
/proc/27056/stat : 27056 (bsolo) R 27054 27056 24981 0 -1 4202496 14375 0 0 0 2541 6 0 0 25 0 1 0 810663370 67325952 14001 33554432000 134512640 137138936 4290455264 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27056/statm: 16437 14001 192 642 0 15793 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 65748
[startup+51.1005 s]
/proc/loadavg: 2.02 2.03 2.00 3/515 27058
/proc/meminfo: memFree=21566016/32951124 swapFree=62999000/67111528
[pid=27056] ppid=27054 vsize=111488 CPUtime=51.04 cores=0,2,4,6
/proc/27056/stat : 27056 (bsolo) R 27054 27056 24981 0 -1 4202496 25812 0 0 0 5094 10 0 0 25 0 1 0 810663370 114163712 25438 33554432000 134512640 137138936 4290455264 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27056/statm: 27872 25438 192 642 0 27228 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 111488
[startup+102.32 s]
/proc/loadavg: 2.01 2.02 2.00 3/515 27060
/proc/meminfo: memFree=21507340/32951124 swapFree=62999000/67111528
[pid=27056] ppid=27054 vsize=168732 CPUtime=102.25 cores=0,2,4,6
/proc/27056/stat : 27056 (bsolo) R 27054 27056 24981 0 -1 4202496 40105 0 0 0 10209 16 0 0 25 0 1 0 810663370 172781568 39731 33554432000 134512640 137138936 4290455264 18446744073709551615 136504021 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27056/statm: 42183 39731 192 642 0 41539 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 168732
[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 27061
/proc/meminfo: memFree=21452760/32951124 swapFree=62999000/67111528
[pid=27056] ppid=27054 vsize=222972 CPUtime=162.24 cores=0,2,4,6
/proc/27056/stat : 27056 (bsolo) R 27054 27056 24981 0 -1 4202496 53692 0 0 0 16202 22 0 0 25 0 1 0 810663370 228323328 53318 33554432000 134512640 137138936 4290455264 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27056/statm: 55743 53318 192 642 0 55099 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 222972
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 27063
/proc/meminfo: memFree=21408720/32951124 swapFree=62999000/67111528
[pid=27056] ppid=27054 vsize=266320 CPUtime=222.24 cores=0,2,4,6
/proc/27056/stat : 27056 (bsolo) R 27054 27056 24981 0 -1 4202496 64527 0 0 0 22197 27 0 0 25 0 1 0 810663370 272711680 64153 33554432000 134512640 137138936 4290455264 18446744073709551615 134607584 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27056/statm: 66580 64153 192 642 0 65936 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 266320
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/515 27065
/proc/meminfo: memFree=21365680/32951124 swapFree=62999000/67111528
[pid=27056] ppid=27054 vsize=309864 CPUtime=282.25 cores=0,2,4,6
/proc/27056/stat : 27056 (bsolo) R 27054 27056 24981 0 -1 4202496 75409 0 0 0 28192 33 0 0 25 0 1 0 810663370 317300736 75035 33554432000 134512640 137138936 4290455264 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27056/statm: 77466 75035 192 642 0 76822 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 309864
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/515 27066
/proc/meminfo: memFree=21322240/32951124 swapFree=62999000/67111528
[pid=27056] ppid=27054 vsize=352972 CPUtime=342.25 cores=0,2,4,6
/proc/27056/stat : 27056 (bsolo) R 27054 27056 24981 0 -1 4202496 86176 0 0 0 34188 37 0 0 25 0 1 0 810663370 361443328 85802 33554432000 134512640 137138936 4290455264 18446744073709551615 134542640 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27056/statm: 88243 85802 192 642 0 87599 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 352972
[startup+402.301 s]
/proc/loadavg: 2.20 2.06 2.02 3/515 27068
/proc/meminfo: memFree=21276220/32951124 swapFree=62999000/67111528
[pid=27056] ppid=27054 vsize=398032 CPUtime=402.25 cores=0,2,4,6
/proc/27056/stat : 27056 (bsolo) R 27054 27056 24981 0 -1 4202496 97457 0 0 0 40183 42 0 0 25 0 1 0 810663370 407584768 97083 33554432000 134512640 137138936 4290455264 18446744073709551615 134578233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27056/statm: 99508 97083 192 642 0 98864 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 398032
[startup+462.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/515 27096
/proc/meminfo: memFree=21292464/32951124 swapFree=62999000/67111528
[pid=27056] ppid=27054 vsize=436124 CPUtime=462.25 cores=0,2,4,6
/proc/27056/stat : 27056 (bsolo) R 27054 27056 24981 0 -1 4202496 106973 0 0 0 46178 47 0 0 25 0 1 0 810663370 446590976 106599 33554432000 134512640 137138936 4290455264 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27056/statm: 109031 106599 192 642 0 108387 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 436124
[startup+522.3 s]
/proc/loadavg: 2.02 2.03 2.01 3/515 27098
/proc/meminfo: memFree=21267752/32951124 swapFree=62999000/67111528
[pid=27056] ppid=27054 vsize=460540 CPUtime=522.25 cores=0,2,4,6
/proc/27056/stat : 27056 (bsolo) R 27054 27056 24981 0 -1 4202496 113084 0 0 0 52175 50 0 0 25 0 1 0 810663370 471592960 112710 33554432000 134512640 137138936 4290455264 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27056/statm: 115135 112710 192 642 0 114491 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 460540
[startup+582.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/515 27100
/proc/meminfo: memFree=21237952/32951124 swapFree=62999000/67111528
[pid=27056] ppid=27054 vsize=487184 CPUtime=582.25 cores=0,2,4,6
/proc/27056/stat : 27056 (bsolo) R 27054 27056 24981 0 -1 4202496 119728 0 0 0 58172 53 0 0 25 0 1 0 810663370 498876416 119354 33554432000 134512640 137138936 4290455264 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27056/statm: 121796 119354 192 642 0 121152 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 487184
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=21079048/32951124 swapFree=62999000/67111528
[pid=27056] ppid=27054 vsize=640896 CPUtime=1122.28 cores=0,2,4,6
/proc/27056/stat : 27056 (bsolo) R 27054 27056 24981 0 -1 4202496 158164 0 0 0 112157 71 0 0 25 0 1 0 810663370 656277504 157789 33554432000 134512640 137138936 4290455264 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27056/statm: 160224 157789 192 642 0 159580 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 640896
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/515 27119
/proc/meminfo: memFree=21066984/32951124 swapFree=62999000/67111528
[pid=27056] ppid=27054 vsize=653416 CPUtime=1182.28 cores=0,2,4,6
/proc/27056/stat : 27056 (bsolo) R 27054 27056 24981 0 -1 4202496 161305 0 0 0 118156 72 0 0 25 0 1 0 810663370 669097984 160930 33554432000 134512640 137138936 4290455264 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27056/statm: 163354 160930 192 642 0 162710 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 653416
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 27120
/proc/meminfo: memFree=21053928/32951124 swapFree=62999000/67111528
[pid=27056] ppid=27054 vsize=665692 CPUtime=1242.28 cores=0,2,4,6
/proc/27056/stat : 27056 (bsolo) R 27054 27056 24981 0 -1 4202496 164362 0 0 0 124154 74 0 0 25 0 1 0 810663370 681668608 163987 33554432000 134512640 137138936 4290455264 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27056/statm: 166423 163987 192 642 0 165779 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 665692
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 27122
/proc/meminfo: memFree=21037020/32951124 swapFree=62999000/67111528
[pid=27056] ppid=27054 vsize=682656 CPUtime=1302.31 cores=0,2,4,6
/proc/27056/stat : 27056 (bsolo) R 27054 27056 24981 0 -1 4202496 168612 0 0 0 130155 76 0 0 25 0 1 0 810663370 699039744 168237 33554432000 134512640 137138936 4290455264 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27056/statm: 170664 168237 192 642 0 170020 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 682656
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 27123
/proc/meminfo: memFree=21017016/32951124 swapFree=62999000/67111528
[pid=27056] ppid=27054 vsize=703448 CPUtime=1362.28 cores=0,2,4,6
/proc/27056/stat : 27056 (bsolo) R 27054 27056 24981 0 -1 4202496 173798 0 0 0 136149 79 0 0 25 0 1 0 810663370 720330752 173423 33554432000 134512640 137138936 4290455264 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27056/statm: 175862 173423 192 642 0 175218 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 703448
[startup+1422.32 s]
/proc/loadavg: 2.11 2.04 2.01 3/515 27125
/proc/meminfo: memFree=21000236/32951124 swapFree=62999000/67111528
[pid=27056] ppid=27054 vsize=723640 CPUtime=1422.3 cores=0,2,4,6
/proc/27056/stat : 27056 (bsolo) R 27054 27056 24981 0 -1 4202496 178861 0 0 0 142148 82 0 0 25 0 1 0 810663370 741007360 178486 33554432000 134512640 137138936 4290455264 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27056/statm: 180910 178486 192 642 0 180266 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 723640
[startup+1482.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/515 27127
/proc/meminfo: memFree=20977140/32951124 swapFree=62999000/67111528
[pid=27056] ppid=27054 vsize=746504 CPUtime=1482.29 cores=0,2,4,6
/proc/27056/stat : 27056 (bsolo) R 27054 27056 24981 0 -1 4202496 184574 0 0 0 148145 84 0 0 25 0 1 0 810663370 764420096 184199 33554432000 134512640 137138936 4290455264 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27056/statm: 186626 184199 192 642 0 185982 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 746504
[startup+1542.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/515 27128
/proc/meminfo: memFree=20957388/32951124 swapFree=62999000/67111528
[pid=27056] ppid=27054 vsize=767112 CPUtime=1542.29 cores=0,2,4,6
/proc/27056/stat : 27056 (bsolo) R 27054 27056 24981 0 -1 4202496 189717 0 0 0 154143 86 0 0 25 0 1 0 810663370 785522688 189342 33554432000 134512640 137138936 4290455264 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27056/statm: 191778 189342 192 642 0 191134 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 767112
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/515 27130
/proc/meminfo: memFree=20937148/32951124 swapFree=62999000/67111528
[pid=27056] ppid=27054 vsize=787284 CPUtime=1602.29 cores=0,2,4,6
/proc/27056/stat : 27056 (bsolo) R 27054 27056 24981 0 -1 4202496 194757 0 0 0 160141 88 0 0 25 0 1 0 810663370 806178816 194382 33554432000 134512640 137138936 4290455264 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27056/statm: 196821 194382 192 642 0 196177 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 787284
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 27131
/proc/meminfo: memFree=20915912/32951124 swapFree=62999000/67111528
[pid=27056] ppid=27054 vsize=808584 CPUtime=1662.29 cores=0,2,4,6
/proc/27056/stat : 27056 (bsolo) R 27054 27056 24981 0 -1 4202496 200079 0 0 0 166140 89 0 0 25 0 1 0 810663370 827990016 199704 33554432000 134512640 137138936 4290455264 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27056/statm: 202146 199704 192 642 0 201502 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 808584
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 27133
/proc/meminfo: memFree=20892692/32951124 swapFree=62999000/67111528
[pid=27056] ppid=27054 vsize=829616 CPUtime=1722.3 cores=0,2,4,6
/proc/27056/stat : 27056 (bsolo) R 27054 27056 24981 0 -1 4202496 205356 0 0 0 172139 91 0 0 25 0 1 0 810663370 849526784 204981 33554432000 134512640 137138936 4290455264 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27056/statm: 207404 204981 192 642 0 206760 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 829616
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 27135
/proc/meminfo: memFree=20871944/32951124 swapFree=62999000/67111528
[pid=27056] ppid=27054 vsize=849440 CPUtime=1782.3 cores=0,2,4,6
/proc/27056/stat : 27056 (bsolo) R 27054 27056 24981 0 -1 4202496 210300 0 0 0 178136 94 0 0 25 0 1 0 810663370 869826560 209925 33554432000 134512640 137138936 4290455264 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27056/statm: 212360 209925 192 642 0 211716 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 849440
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 27135
/proc/meminfo: memFree=20871820/32951124 swapFree=62999000/67111528
[pid=27056] ppid=27054 vsize=850336 CPUtime=1785.5 cores=0,2,4,6
/proc/27056/stat : 27056 (bsolo) R 27054 27056 24981 0 -1 4202496 210516 0 0 0 178456 94 0 0 25 0 1 0 810663370 870744064 210141 33554432000 134512640 137138936 4290455264 18446744073709551615 136504089 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27056/statm: 212584 210141 192 642 0 211940 0
Current children cumulated CPU time (s) 1785.5
Current children cumulated vsize (KiB) 850336
[startup+1791.92 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 27135
/proc/meminfo: memFree=20869340/32951124 swapFree=62999000/67111528
[pid=27056] ppid=27054 vsize=852800 CPUtime=1791.92 cores=0,2,4,6
/proc/27056/stat : 27056 (bsolo) R 27054 27056 24981 0 -1 4202496 211133 0 0 0 179098 94 0 0 25 0 1 0 810663370 873267200 210758 33554432000 134512640 137138936 4290455264 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27056/statm: 213200 210758 192 642 0 212556 0
Current children cumulated CPU time (s) 1791.92
Current children cumulated vsize (KiB) 852800
[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 27135
/proc/meminfo: memFree=20868844/32951124 swapFree=62999000/67111528
[pid=27056] ppid=27054 vsize=854204 CPUtime=1795.12 cores=0,2,4,6
/proc/27056/stat : 27056 (bsolo) R 27054 27056 24981 0 -1 4202496 211484 0 0 0 179418 94 0 0 25 0 1 0 810663370 874704896 211109 33554432000 134512640 137138936 4290455264 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27056/statm: 213551 211109 192 642 0 212907 0
Current children cumulated CPU time (s) 1795.12
Current children cumulated vsize (KiB) 854204
[startup+1796.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 27135
/proc/meminfo: memFree=20869216/32951124 swapFree=62999000/67111528
[pid=27056] ppid=27054 vsize=854820 CPUtime=1796.7 cores=0,2,4,6
/proc/27056/stat : 27056 (bsolo) R 27054 27056 24981 0 -1 4202496 211650 0 0 0 179576 94 0 0 25 0 1 0 810663370 875335680 211275 33554432000 134512640 137138936 4290455264 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27056/statm: 213705 211275 192 642 0 213061 0
Current children cumulated CPU time (s) 1796.7
Current children cumulated vsize (KiB) 854820
[startup+1797.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 27135
/proc/meminfo: memFree=20868596/32951124 swapFree=62999000/67111528
[pid=27056] ppid=27054 vsize=855196 CPUtime=1797.5 cores=0,2,4,6
/proc/27056/stat : 27056 (bsolo) R 27054 27056 24981 0 -1 4202496 211752 0 0 0 179656 94 0 0 25 0 1 0 810663370 875720704 211377 33554432000 134512640 137138936 4290455264 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27056/statm: 213799 211377 192 642 0 213155 0
Current children cumulated CPU time (s) 1797.5
Current children cumulated vsize (KiB) 855196
[startup+1797.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 27135
/proc/meminfo: memFree=20868596/32951124 swapFree=62999000/67111528
[pid=27056] ppid=27054 vsize=855380 CPUtime=1797.9 cores=0,2,4,6
/proc/27056/stat : 27056 (bsolo) R 27054 27056 24981 0 -1 4202496 211780 0 0 0 179696 94 0 0 25 0 1 0 810663370 875909120 211405 33554432000 134512640 137138936 4290455264 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27056/statm: 213845 211405 192 642 0 213201 0
Current children cumulated CPU time (s) 1797.9
Current children cumulated vsize (KiB) 855380
[startup+1798 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 27135
/proc/meminfo: memFree=20868596/32951124 swapFree=62999000/67111528
[pid=27056] ppid=27054 vsize=855380 CPUtime=1798 cores=0,2,4,6
/proc/27056/stat : 27056 (bsolo) R 27054 27056 24981 0 -1 4202496 211797 0 0 0 179706 94 0 0 25 0 1 0 810663370 875909120 211422 33554432000 134512640 137138936 4290455264 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27056/statm: 213845 211422 192 642 0 213201 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 855380
Child status: 0
Real time (s): 1798.05
CPU time (s): 1798.06
CPU user time (s): 1797.08
CPU system time (s): 0.98485
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 855380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.08
system time used= 0.98485
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 211798
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= 5
involuntary context switches= 1136
runsolver used 9.8285 second user time and 19.936 second system time
The end