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-3742193-1338782682/watcher-3742193-1338782682 -o /tmp/evaluation-result-3742193-1338782682/solver-3742193-1338782682 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3742193-1338782682.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/177 28257
/proc/meminfo: memFree=27710572/32873844 swapFree=7620/7620
[pid=28257] ppid=28255 vsize=11636 CPUtime=0 cores=0,2,4,6
/proc/28257/stat : 28257 (bsolo) R 28255 28257 27119 0 -1 4202496 394 0 0 0 0 0 0 0 20 0 1 0 344392952 11915264 348 33554432000 134512640 137136520 4293764560 4293762904 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28257/statm: 2909 348 186 641 0 2157 0
[startup+0.044007 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28257
/proc/meminfo: memFree=27710572/32873844 swapFree=7620/7620
[pid=28257] ppid=28255 vsize=13296 CPUtime=0.03 cores=0,2,4,6
/proc/28257/stat : 28257 (bsolo) R 28255 28257 27119 0 -1 4202496 1018 0 0 0 3 0 0 0 20 0 1 0 344392952 13615104 864 33554432000 134512640 137136520 4293764560 4293680844 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28257/statm: 3324 864 189 641 0 2680 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13296
[startup+0.10025 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28257
/proc/meminfo: memFree=27710572/32873844 swapFree=7620/7620
[pid=28257] ppid=28255 vsize=13296 CPUtime=0.09 cores=0,2,4,6
/proc/28257/stat : 28257 (bsolo) R 28255 28257 27119 0 -1 4202496 1019 0 0 0 9 0 0 0 20 0 1 0 344392952 13615104 865 33554432000 134512640 137136520 4293764560 4293680656 134544662 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28257/statm: 3324 865 189 641 0 2680 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13296
[startup+0.300251 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28257
/proc/meminfo: memFree=27710572/32873844 swapFree=7620/7620
[pid=28257] ppid=28255 vsize=13296 CPUtime=0.29 cores=0,2,4,6
/proc/28257/stat : 28257 (bsolo) R 28255 28257 27119 0 -1 4202496 1020 0 0 0 29 0 0 0 20 0 1 0 344392952 13615104 866 33554432000 134512640 137136520 4293764560 4293680656 134544573 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28257/statm: 3324 866 189 641 0 2680 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13296
[startup+0.700243 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28257
/proc/meminfo: memFree=27710572/32873844 swapFree=7620/7620
[pid=28257] ppid=28255 vsize=13296 CPUtime=0.69 cores=0,2,4,6
/proc/28257/stat : 28257 (bsolo) R 28255 28257 27119 0 -1 4202496 1020 0 0 0 69 0 0 0 20 0 1 0 344392952 13615104 866 33554432000 134512640 137136520 4293764560 4293680656 134543646 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28257/statm: 3324 866 189 641 0 2680 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13296
[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28258
/proc/meminfo: memFree=27706968/32873844 swapFree=7620/7620
[pid=28257] ppid=28255 vsize=13720 CPUtime=1.49 cores=0,2,4,6
/proc/28257/stat : 28257 (bsolo) R 28255 28257 27119 0 -1 4202496 1278 0 0 0 147 2 0 0 20 0 1 0 344392952 14049280 1006 33554432000 134512640 137136520 4293764560 4293763488 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28257/statm: 3430 1006 198 641 0 2786 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13720
[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28258
/proc/meminfo: memFree=27703496/32873844 swapFree=7620/7620
[pid=28257] ppid=28255 vsize=17392 CPUtime=3.09 cores=0,2,4,6
/proc/28257/stat : 28257 (bsolo) R 28255 28257 27119 0 -1 4202496 2207 0 0 0 301 8 0 0 20 0 1 0 344392952 17809408 1935 33554432000 134512640 137136520 4293764560 4293763676 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28257/statm: 4348 1935 198 641 0 3704 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17392
[startup+6.30015 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28258
/proc/meminfo: memFree=27692320/32873844 swapFree=7620/7620
[pid=28257] ppid=28255 vsize=23264 CPUtime=6.29 cores=0,2,4,6
/proc/28257/stat : 28257 (bsolo) R 28255 28257 27119 0 -1 4202496 3657 0 0 0 610 19 0 0 20 0 1 0 344392952 23822336 3385 33554432000 134512640 137136520 4293764560 4293763488 134544357 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28257/statm: 5816 3385 198 641 0 5172 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23264
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28258
/proc/meminfo: memFree=27668816/32873844 swapFree=7620/7620
[pid=28257] ppid=28255 vsize=38540 CPUtime=12.69 cores=0,2,4,6
/proc/28257/stat : 28257 (bsolo) R 28255 28257 27119 0 -1 4202496 7476 0 0 0 1237 32 0 0 20 0 1 0 344392952 39464960 7204 33554432000 134512640 137136520 4293764560 4293763488 134544148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28257/statm: 9635 7204 198 641 0 8991 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38540
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28258
/proc/meminfo: memFree=27627004/32873844 swapFree=7620/7620
[pid=28257] ppid=28255 vsize=63032 CPUtime=25.49 cores=0,2,4,6
/proc/28257/stat : 28257 (bsolo) R 28255 28257 27119 0 -1 4202496 13623 0 0 0 2502 47 0 0 20 0 1 0 344392952 64544768 13341 33554432000 134512640 137136520 4293764560 4293763676 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28257/statm: 15758 13341 198 641 0 15114 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 63032
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28259
/proc/meminfo: memFree=27539544/32873844 swapFree=7620/7620
[pid=28257] ppid=28255 vsize=125584 CPUtime=51.08 cores=0,2,4,6
/proc/28257/stat : 28257 (bsolo) R 28255 28257 27119 0 -1 4202496 29585 0 0 0 5048 60 0 0 20 0 1 0 344392952 128598016 28976 33554432000 134512640 137136520 4293764560 4293763092 134551227 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28257/statm: 31396 28976 198 641 0 30752 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 125584
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28259
/proc/meminfo: memFree=27407652/32873844 swapFree=7620/7620
[pid=28257] ppid=28255 vsize=215372 CPUtime=102.28 cores=0,2,4,6
/proc/28257/stat : 28257 (bsolo) R 28255 28257 27119 0 -1 4202496 52189 0 0 0 10142 86 0 0 20 0 1 0 344392952 220540928 51430 33554432000 134512640 137136520 4293764560 4293763676 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28257/statm: 53843 51430 198 641 0 53199 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 215372
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28259
/proc/meminfo: memFree=27296824/32873844 swapFree=7620/7620
[pid=28257] ppid=28255 vsize=289820 CPUtime=162.26 cores=0,2,4,6
/proc/28257/stat : 28257 (bsolo) R 28255 28257 27119 0 -1 4202496 71726 0 0 0 16119 107 0 0 20 0 1 0 344392952 296775680 70037 33554432000 134512640 137136520 4293764560 4293763152 134616680 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28257/statm: 72455 70037 198 641 0 71811 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 289820
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28259
/proc/meminfo: memFree=27202860/32873844 swapFree=7620/7620
[pid=28257] ppid=28255 vsize=341584 CPUtime=222.26 cores=0,2,4,6
/proc/28257/stat : 28257 (bsolo) R 28255 28257 27119 0 -1 4202496 84888 0 0 0 22100 126 0 0 20 0 1 0 344392952 349782016 82965 33554432000 134512640 137136520 4293764560 4293763488 134544135 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28257/statm: 85396 82965 198 641 0 84752 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 341584
[startup+282.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 28260
/proc/meminfo: memFree=27062024/32873844 swapFree=7620/7620
[pid=28257] ppid=28255 vsize=439428 CPUtime=282.25 cores=0,2,4,6
/proc/28257/stat : 28257 (bsolo) R 28255 28257 27119 0 -1 4202496 110187 0 0 0 28084 141 0 0 20 0 1 0 344392952 449974272 107421 33554432000 134512640 137136520 4293764560 4293763088 134600588 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28257/statm: 109857 107421 198 641 0 109213 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 439428
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 28263
/proc/meminfo: memFree=26890304/32873844 swapFree=7620/7620
[pid=28257] ppid=28255 vsize=566152 CPUtime=342.24 cores=0,2,4,6
/proc/28257/stat : 28257 (bsolo) R 28255 28257 27119 0 -1 4202496 147678 0 0 0 34072 152 0 0 20 0 1 0 344392952 579739648 139100 33554432000 134512640 137136520 4293764560 4293763488 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28257/statm: 141538 139100 198 641 0 140894 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 566152
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28263
/proc/meminfo: memFree=26755924/32873844 swapFree=7620/7620
[pid=28257] ppid=28255 vsize=639504 CPUtime=402.23 cores=0,2,4,6
/proc/28257/stat : 28257 (bsolo) R 28255 28257 27119 0 -1 4202496 169120 0 0 0 40060 163 0 0 20 0 1 0 344392952 654852096 157464 33554432000 134512640 137136520 4293764560 4293763328 134574412 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28257/statm: 159876 157464 198 641 0 159232 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 639504
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28263
/proc/meminfo: memFree=26626744/32873844 swapFree=7620/7620
[pid=28257] ppid=28255 vsize=706912 CPUtime=462.22 cores=0,2,4,6
/proc/28257/stat : 28257 (bsolo) R 28255 28257 27119 0 -1 4202496 186925 0 0 0 46046 176 0 0 20 0 1 0 344392952 723877888 174311 33554432000 134512640 137136520 4293764560 4293763488 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28257/statm: 176728 174311 198 641 0 176084 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 706912
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28263
/proc/meminfo: memFree=26522364/32873844 swapFree=7620/7620
[pid=28257] ppid=28255 vsize=752904 CPUtime=522.21 cores=0,2,4,6
/proc/28257/stat : 28257 (bsolo) R 28255 28257 27119 0 -1 4202496 198845 0 0 0 52035 186 0 0 20 0 1 0 344392952 770973696 185803 33554432000 134512640 137136520 4293764560 4293763488 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28257/statm: 188226 185803 198 641 0 187582 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 752904
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28264
/proc/meminfo: memFree=26412528/32873844 swapFree=7620/7620
[pid=28257] ppid=28255 vsize=822868 CPUtime=582.2 cores=0,2,4,6
/proc/28257/stat : 28257 (bsolo) R 28255 28257 27119 0 -1 4202496 217706 0 0 0 58027 193 0 0 20 0 1 0 344392952 842616832 203289 33554432000 134512640 137136520 4293764560 4293763480 135982505 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28257/statm: 205717 203289 198 641 0 205073 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 822868
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27381636/32873844 swapFree=7620/7620
[pid=28257] ppid=28255 vsize=1207560 CPUtime=1061.91 cores=0,2,4,6
/proc/28257/stat : 28257 (bsolo) R 28255 28257 27119 0 -1 4202496 319783 0 0 0 105940 251 0 0 20 0 1 0 344392952 1236541440 299478 33554432000 134512640 137136520 4293764560 4293763488 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28257/statm: 301890 299478 198 641 0 301246 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 1207560
[startup+1122.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/179 28316
/proc/meminfo: memFree=27310736/32873844 swapFree=7620/7620
[pid=28257] ppid=28255 vsize=1256904 CPUtime=1121.87 cores=0,2,4,6
/proc/28257/stat : 28257 (bsolo) R 28255 28257 27119 0 -1 4202496 334590 0 0 0 111928 259 0 0 20 0 1 0 344392952 1287069696 311807 33554432000 134512640 137136520 4293764560 4293763480 135982520 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28257/statm: 314226 311807 198 641 0 313582 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 1256904
[startup+1182.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/179 28317
/proc/meminfo: memFree=27247896/32873844 swapFree=7620/7620
[pid=28257] ppid=28255 vsize=1297288 CPUtime=1181.83 cores=0,2,4,6
/proc/28257/stat : 28257 (bsolo) R 28255 28257 27119 0 -1 4202496 344941 0 0 0 117915 268 0 0 20 0 1 0 344392952 1328422912 321902 33554432000 134512640 137136520 4293764560 4293763488 134544148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28257/statm: 324322 321902 198 641 0 323678 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 1297288
[startup+1242.3 s]
/proc/loadavg: 2.10 2.05 2.00 3/179 28317
/proc/meminfo: memFree=27147112/32873844 swapFree=7620/7620
[pid=28257] ppid=28255 vsize=1356268 CPUtime=1241.81 cores=0,2,4,6
/proc/28257/stat : 28257 (bsolo) R 28255 28257 27119 0 -1 4202496 361772 0 0 0 123903 278 0 0 20 0 1 0 344392952 1388818432 336648 33554432000 134512640 137136520 4293764560 4293763152 134616813 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28257/statm: 339067 336648 198 641 0 338423 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 1356268
[startup+1302.3 s]
/proc/loadavg: 2.10 2.05 2.00 3/179 28317
/proc/meminfo: memFree=27074228/32873844 swapFree=7620/7620
[pid=28257] ppid=28255 vsize=1401224 CPUtime=1301.78 cores=0,2,4,6
/proc/28257/stat : 28257 (bsolo) R 28255 28257 27119 0 -1 4202496 373843 0 0 0 129892 286 0 0 20 0 1 0 344392952 1434853376 347894 33554432000 134512640 137136520 4293764560 4293763488 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28257/statm: 350306 347894 198 641 0 349662 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 1401224
[startup+1362.3 s]
/proc/loadavg: 2.10 2.06 2.00 3/179 28317
/proc/meminfo: memFree=27003948/32873844 swapFree=7620/7620
[pid=28257] ppid=28255 vsize=1451292 CPUtime=1361.73 cores=0,2,4,6
/proc/28257/stat : 28257 (bsolo) R 28255 28257 27119 0 -1 4202496 388361 0 0 0 135881 292 0 0 20 0 1 0 344392952 1486123008 360402 33554432000 134512640 137136520 4293764560 4293763152 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28257/statm: 362823 360402 198 641 0 362179 0
Current children cumulated CPU time (s) 1361.73
Current children cumulated vsize (KiB) 1451292
[startup+1422.31 s]
/proc/loadavg: 2.14 2.07 2.01 3/179 28317
/proc/meminfo: memFree=26913084/32873844 swapFree=7620/7620
[pid=28257] ppid=28255 vsize=1520988 CPUtime=1421.7 cores=0,2,4,6
/proc/28257/stat : 28257 (bsolo) R 28255 28257 27119 0 -1 4202496 407472 0 0 0 141869 301 0 0 20 0 1 0 344392952 1557491712 377811 33554432000 134512640 137136520 4293764560 4293763488 134544402 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28257/statm: 380247 377811 198 641 0 379603 0
Current children cumulated CPU time (s) 1421.7
Current children cumulated vsize (KiB) 1520988
[startup+1482.3 s]
/proc/loadavg: 2.12 2.07 2.01 3/179 28318
/proc/meminfo: memFree=26842680/32873844 swapFree=7620/7620
[pid=28257] ppid=28255 vsize=1563256 CPUtime=1481.65 cores=0,2,4,6
/proc/28257/stat : 28257 (bsolo) R 28255 28257 27119 0 -1 4202496 418632 0 0 0 147858 307 0 0 20 0 1 0 344392952 1600774144 388401 33554432000 134512640 137136520 4293764560 4293763488 134544440 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28257/statm: 390814 388401 198 641 0 390170 0
Current children cumulated CPU time (s) 1481.65
Current children cumulated vsize (KiB) 1563256
[startup+1542.3 s]
/proc/loadavg: 2.04 2.06 2.00 3/180 28321
/proc/meminfo: memFree=26752676/32873844 swapFree=7620/7620
[pid=28257] ppid=28255 vsize=1618996 CPUtime=1541.62 cores=0,2,4,6
/proc/28257/stat : 28257 (bsolo) R 28255 28257 27119 0 -1 4202496 433594 0 0 0 153847 315 0 0 20 0 1 0 344392952 1657851904 402337 33554432000 134512640 137136520 4293764560 4293763676 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28257/statm: 404749 402337 198 641 0 404105 0
Current children cumulated CPU time (s) 1541.62
Current children cumulated vsize (KiB) 1618996
[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/179 28321
/proc/meminfo: memFree=26662564/32873844 swapFree=7620/7620
[pid=28257] ppid=28255 vsize=1676524 CPUtime=1601.59 cores=0,2,4,6
/proc/28257/stat : 28257 (bsolo) R 28255 28257 27119 0 -1 4202496 449367 0 0 0 159837 322 0 0 20 0 1 0 344392952 1716760576 416718 33554432000 134512640 137136520 4293764560 4293763488 134543927 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28257/statm: 419131 416718 198 641 0 418487 0
Current children cumulated CPU time (s) 1601.59
Current children cumulated vsize (KiB) 1676524
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 28321
/proc/meminfo: memFree=26584472/32873844 swapFree=7620/7620
[pid=28257] ppid=28255 vsize=1737472 CPUtime=1661.56 cores=0,2,4,6
/proc/28257/stat : 28257 (bsolo) R 28255 28257 27119 0 -1 4202496 468460 0 0 0 165825 331 0 0 20 0 1 0 344392952 1779171328 431938 33554432000 134512640 137136520 4293764560 4293763152 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28257/statm: 434368 431938 198 641 0 433724 0
Current children cumulated CPU time (s) 1661.56
Current children cumulated vsize (KiB) 1737472
[startup+1722.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/179 28321
/proc/meminfo: memFree=26492740/32873844 swapFree=7620/7620
[pid=28257] ppid=28255 vsize=1798596 CPUtime=1721.52 cores=0,2,4,6
/proc/28257/stat : 28257 (bsolo) R 28255 28257 27119 0 -1 4202496 486435 0 0 0 171815 337 0 0 20 0 1 0 344392952 1841762304 447234 33554432000 134512640 137136520 4293764560 4293763488 134543948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28257/statm: 449649 447234 198 641 0 449005 0
Current children cumulated CPU time (s) 1721.52
Current children cumulated vsize (KiB) 1798596
[startup+1782.3 s]
/proc/loadavg: 2.09 2.05 2.00 3/179 28322
/proc/meminfo: memFree=26409152/32873844 swapFree=7620/7620
[pid=28257] ppid=28255 vsize=1857756 CPUtime=1781.51 cores=0,2,4,6
/proc/28257/stat : 28257 (bsolo) R 28255 28257 27119 0 -1 4202496 502854 0 0 0 177808 343 0 0 20 0 1 0 344392952 1902342144 462008 33554432000 134512640 137136520 4293764560 4293763488 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28257/statm: 464439 462008 198 641 0 463795 0
Current children cumulated CPU time (s) 1781.51
Current children cumulated vsize (KiB) 1857756
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.08 2.04 2.00 3/179 28322
/proc/meminfo: memFree=26387188/32873844 swapFree=7620/7620
[pid=28257] ppid=28255 vsize=1862924 CPUtime=1791.11 cores=0,2,4,6
/proc/28257/stat : 28257 (bsolo) R 28255 28257 27119 0 -1 4202496 504302 0 0 0 178767 344 0 0 20 0 1 0 344392952 1907634176 463319 33554432000 134512640 137136520 4293764560 4293763488 134544127 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28257/statm: 465731 463319 198 641 0 465087 0
Current children cumulated CPU time (s) 1791.11
Current children cumulated vsize (KiB) 1862924
[startup+1795.1 s]
/proc/loadavg: 2.07 2.04 2.00 3/179 28322
/proc/meminfo: memFree=26380972/32873844 swapFree=7620/7620
[pid=28257] ppid=28255 vsize=1864928 CPUtime=1794.31 cores=0,2,4,6
/proc/28257/stat : 28257 (bsolo) R 28255 28257 27119 0 -1 4202496 504869 0 0 0 179087 344 0 0 20 0 1 0 344392952 1909686272 463816 33554432000 134512640 137136520 4293764560 4293763488 134544396 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28257/statm: 466232 463816 198 641 0 465588 0
Current children cumulated CPU time (s) 1794.31
Current children cumulated vsize (KiB) 1864928
[startup+1796.7 s]
/proc/loadavg: 2.07 2.04 2.00 3/179 28322
/proc/meminfo: memFree=26379112/32873844 swapFree=7620/7620
[pid=28257] ppid=28255 vsize=1866424 CPUtime=1795.9 cores=0,2,4,6
/proc/28257/stat : 28257 (bsolo) R 28255 28257 27119 0 -1 4202496 505288 0 0 0 179246 344 0 0 20 0 1 0 344392952 1911218176 464184 33554432000 134512640 137136520 4293764560 4293763488 134543884 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28257/statm: 466606 464184 198 641 0 465962 0
Current children cumulated CPU time (s) 1795.9
Current children cumulated vsize (KiB) 1866424
[startup+1797.5 s]
/proc/loadavg: 2.07 2.04 2.00 3/179 28322
/proc/meminfo: memFree=26378368/32873844 swapFree=7620/7620
[pid=28257] ppid=28255 vsize=1866916 CPUtime=1796.7 cores=0,2,4,6
/proc/28257/stat : 28257 (bsolo) R 28255 28257 27119 0 -1 4202496 505448 0 0 0 179326 344 0 0 20 0 1 0 344392952 1911721984 464317 33554432000 134512640 137136520 4293764560 4293763488 134543639 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28257/statm: 466729 464317 198 641 0 466085 0
Current children cumulated CPU time (s) 1796.7
Current children cumulated vsize (KiB) 1866916
[startup+1798.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/179 28322
/proc/meminfo: memFree=26378368/32873844 swapFree=7620/7620
[pid=28257] ppid=28255 vsize=1868000 CPUtime=1797.5 cores=0,2,4,6
/proc/28257/stat : 28257 (bsolo) R 28255 28257 27119 0 -1 4202496 505736 0 0 0 179406 344 0 0 20 0 1 0 344392952 1912832000 464573 33554432000 134512640 137136520 4293764560 4293763488 134544148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28257/statm: 467000 464573 198 641 0 466356 0
Current children cumulated CPU time (s) 1797.5
Current children cumulated vsize (KiB) 1868000
[startup+1798.7 s]
/proc/loadavg: 2.07 2.04 2.00 3/179 28322
/proc/meminfo: memFree=26377004/32873844 swapFree=7620/7620
[pid=28257] ppid=28255 vsize=1868048 CPUtime=1797.9 cores=0,2,4,6
/proc/28257/stat : 28257 (bsolo) R 28255 28257 27119 0 -1 4202496 505755 0 0 0 179446 344 0 0 20 0 1 0 344392952 1912881152 464592 33554432000 134512640 137136520 4293764560 4293763120 134615365 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28257/statm: 467012 464592 198 641 0 466368 0
Current children cumulated CPU time (s) 1797.9
Current children cumulated vsize (KiB) 1868048
Child status: 0
Real time (s): 1798.8
CPU time (s): 1798.01
CPU user time (s): 1794.55
CPU system time (s): 3.45847
CPU usage (%): 99.9563
Max. virtual memory (cumulated for all children) (KiB): 1868048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.55
system time used= 3.45847
maximum resident set size= 1858588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 505814
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= 755
involuntary context switches= 1820
runsolver used 6.38003 second user time and 11.0353 second system time
The end