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-3742128-1338781524/watcher-3742128-1338781524 -o /tmp/evaluation-result-3742128-1338781524/solver-3742128-1338781524 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3742128-1338781524.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28177
/proc/meminfo: memFree=28037040/32873844 swapFree=7620/7620
[pid=28177] ppid=28175 vsize=11620 CPUtime=0 cores=1,3,5,7
/proc/28177/stat : 28177 (bsolo) R 28175 28177 27119 0 -1 4202496 391 0 0 0 0 0 0 0 20 0 1 0 344277230 11898880 344 33554432000 134512640 137136520 4291328656 4291326840 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28177/statm: 2905 344 186 641 0 2160 0
[startup+0.01756 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28177
/proc/meminfo: memFree=28037040/32873844 swapFree=7620/7620
[pid=28177] ppid=28175 vsize=12032 CPUtime=0.01 cores=1,3,5,7
/proc/28177/stat : 28177 (bsolo) R 28175 28177 27119 0 -1 4202496 548 0 0 0 1 0 0 0 20 0 1 0 344277230 12320768 501 33554432000 134512640 137136520 4291328656 4291327136 136575102 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28177/statm: 3008 502 223 641 0 2263 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12032
[startup+0.100245 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28177
/proc/meminfo: memFree=28037040/32873844 swapFree=7620/7620
[pid=28177] ppid=28175 vsize=13064 CPUtime=0.09 cores=1,3,5,7
/proc/28177/stat : 28177 (bsolo) R 28175 28177 27119 0 -1 4202496 977 0 0 0 9 0 0 0 20 0 1 0 344277230 13377536 829 33554432000 134512640 137136520 4291328656 4291249836 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28177/statm: 3266 829 189 641 0 2622 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13064
[startup+0.30021 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28177
/proc/meminfo: memFree=28037040/32873844 swapFree=7620/7620
[pid=28177] ppid=28175 vsize=13064 CPUtime=0.29 cores=1,3,5,7
/proc/28177/stat : 28177 (bsolo) R 28175 28177 27119 0 -1 4202496 978 0 0 0 29 0 0 0 20 0 1 0 344277230 13377536 830 33554432000 134512640 137136520 4291328656 4291249836 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28177/statm: 3266 830 189 641 0 2622 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13064
[startup+0.70021 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28177
/proc/meminfo: memFree=28037040/32873844 swapFree=7620/7620
[pid=28177] ppid=28175 vsize=13064 CPUtime=0.69 cores=1,3,5,7
/proc/28177/stat : 28177 (bsolo) R 28175 28177 27119 0 -1 4202496 978 0 0 0 69 0 0 0 20 0 1 0 344277230 13377536 830 33554432000 134512640 137136520 4291328656 4291249836 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28177/statm: 3266 830 189 641 0 2622 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13064
[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28178
/proc/meminfo: memFree=28033932/32873844 swapFree=7620/7620
[pid=28177] ppid=28175 vsize=13648 CPUtime=1.49 cores=1,3,5,7
/proc/28177/stat : 28177 (bsolo) R 28175 28177 27119 0 -1 4202496 1246 0 0 0 147 2 0 0 20 0 1 0 344277230 13975552 992 33554432000 134512640 137136520 4291328656 4291327772 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28177/statm: 3412 992 198 641 0 2768 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13648
[startup+3.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28178
/proc/meminfo: memFree=28031164/32873844 swapFree=7620/7620
[pid=28177] ppid=28175 vsize=18456 CPUtime=3.09 cores=1,3,5,7
/proc/28177/stat : 28177 (bsolo) R 28175 28177 27119 0 -1 4202496 2450 0 0 0 302 7 0 0 20 0 1 0 344277230 18898944 2196 33554432000 134512640 137136520 4291328656 4291326936 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28177/statm: 4614 2196 198 641 0 3970 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18456
[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28178
/proc/meminfo: memFree=28016168/32873844 swapFree=7620/7620
[pid=28177] ppid=28175 vsize=30396 CPUtime=6.29 cores=1,3,5,7
/proc/28177/stat : 28177 (bsolo) R 28175 28177 27119 0 -1 4202496 5438 0 0 0 618 11 0 0 20 0 1 0 344277230 31125504 5178 33554432000 134512640 137136520 4291328656 4291327296 134606755 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28177/statm: 7599 5178 198 641 0 6955 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30396
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28178
/proc/meminfo: memFree=27987424/32873844 swapFree=7620/7620
[pid=28177] ppid=28175 vsize=52756 CPUtime=12.69 cores=1,3,5,7
/proc/28177/stat : 28177 (bsolo) R 28175 28177 27119 0 -1 4202496 11039 0 0 0 1254 15 0 0 20 0 1 0 344277230 54022144 10757 33554432000 134512640 137136520 4291328656 4291327772 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28177/statm: 13189 10757 198 641 0 12545 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52756
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28178
/proc/meminfo: memFree=27945156/32873844 swapFree=7620/7620
[pid=28177] ppid=28175 vsize=83784 CPUtime=25.49 cores=1,3,5,7
/proc/28177/stat : 28177 (bsolo) R 28175 28177 27119 0 -1 4202496 18813 0 0 0 2525 24 0 0 20 0 1 0 344277230 85794816 18527 33554432000 134512640 137136520 4291328656 4291326936 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28177/statm: 20946 18527 198 641 0 20302 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 83784
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28178
/proc/meminfo: memFree=27853148/32873844 swapFree=7620/7620
[pid=28177] ppid=28175 vsize=151404 CPUtime=51.09 cores=1,3,5,7
/proc/28177/stat : 28177 (bsolo) R 28175 28177 27119 0 -1 4202496 36525 0 0 0 5071 38 0 0 20 0 1 0 344277230 155037696 35438 33554432000 134512640 137136520 4291328656 4291327328 134616620 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28177/statm: 37851 35438 198 641 0 37207 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 151404
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28178
/proc/meminfo: memFree=27692072/32873844 swapFree=7620/7620
[pid=28177] ppid=28175 vsize=259740 CPUtime=102.28 cores=1,3,5,7
/proc/28177/stat : 28177 (bsolo) R 28175 28177 27119 0 -1 4202496 66691 0 0 0 10178 50 0 0 20 0 1 0 344277230 265973760 62516 33554432000 134512640 137136520 4291328656 4291327584 134543948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28177/statm: 64935 62516 198 641 0 64291 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 259740
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28178
/proc/meminfo: memFree=27548232/32873844 swapFree=7620/7620
[pid=28177] ppid=28175 vsize=359676 CPUtime=162.27 cores=1,3,5,7
/proc/28177/stat : 28177 (bsolo) R 28175 28177 27119 0 -1 4202496 95903 0 0 0 16167 60 0 0 20 0 1 0 344277230 368308224 87499 33554432000 134512640 137136520 4291328656 4291327584 134544145 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28177/statm: 89919 87499 198 641 0 89275 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 359676
[startup+222.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 28179
/proc/meminfo: memFree=27405880/32873844 swapFree=7620/7620
[pid=28177] ppid=28175 vsize=452296 CPUtime=222.26 cores=1,3,5,7
/proc/28177/stat : 28177 (bsolo) R 28175 28177 27119 0 -1 4202496 121815 0 0 0 22157 69 0 0 20 0 1 0 344277230 463151104 110661 33554432000 134512640 137136520 4291328656 4291327332 136501957 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28177/statm: 113074 110661 198 641 0 112430 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 452296
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 28182
/proc/meminfo: memFree=27279732/32873844 swapFree=7620/7620
[pid=28177] ppid=28175 vsize=527844 CPUtime=282.25 cores=1,3,5,7
/proc/28177/stat : 28177 (bsolo) R 28175 28177 27119 0 -1 4202496 145150 0 0 0 28149 76 0 0 20 0 1 0 344277230 540512256 129548 33554432000 134512640 137136520 4291328656 4291327772 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28177/statm: 131961 129548 198 641 0 131317 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 527844
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 28182
/proc/meminfo: memFree=27163080/32873844 swapFree=7620/7620
[pid=28177] ppid=28175 vsize=593816 CPUtime=342.24 cores=1,3,5,7
/proc/28177/stat : 28177 (bsolo) R 28175 28177 27119 0 -1 4202496 165421 0 0 0 34141 83 0 0 20 0 1 0 344277230 608067584 146040 33554432000 134512640 137136520 4291328656 4291327772 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28177/statm: 148454 146040 198 641 0 147810 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 593816
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28182
/proc/meminfo: memFree=27061940/32873844 swapFree=7620/7620
[pid=28177] ppid=28175 vsize=639688 CPUtime=402.23 cores=1,3,5,7
/proc/28177/stat : 28177 (bsolo) R 28175 28177 27119 0 -1 4202496 179158 0 0 0 40134 89 0 0 20 0 1 0 344277230 655040512 157497 33554432000 134512640 137136520 4291328656 4291327248 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28177/statm: 159922 157497 198 641 0 159278 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 639688
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28182
/proc/meminfo: memFree=26960784/32873844 swapFree=7620/7620
[pid=28177] ppid=28175 vsize=692836 CPUtime=462.22 cores=1,3,5,7
/proc/28177/stat : 28177 (bsolo) R 28175 28177 27119 0 -1 4202496 197035 0 0 0 46126 96 0 0 20 0 1 0 344277230 709464064 170796 33554432000 134512640 137136520 4291328656 4291327584 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28177/statm: 173209 170796 198 641 0 172565 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 692836
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28183
/proc/meminfo: memFree=26859752/32873844 swapFree=7620/7620
[pid=28177] ppid=28175 vsize=747072 CPUtime=522.21 cores=1,3,5,7
/proc/28177/stat : 28177 (bsolo) R 28175 28177 27119 0 -1 4202496 214378 0 0 0 52118 103 0 0 20 0 1 0 344277230 765001728 184329 33554432000 134512640 137136520 4291328656 4291327584 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28177/statm: 186768 184329 198 641 0 186124 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 747072
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28183
/proc/meminfo: memFree=26767028/32873844 swapFree=7620/7620
[pid=28177] ppid=28175 vsize=801024 CPUtime=582.2 cores=1,3,5,7
/proc/28177/stat : 28177 (bsolo) R 28175 28177 27119 0 -1 4202496 232548 0 0 0 58110 110 0 0 20 0 1 0 344277230 820248576 197813 33554432000 134512640 137136520 4291328656 4291327584 134544396 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28177/statm: 200256 197813 198 641 0 199612 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 801024
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=25956528/32873844 swapFree=7620/7620
[pid=28177] ppid=28175 vsize=1177008 CPUtime=1122.09 cores=1,3,5,7
/proc/28177/stat : 28177 (bsolo) R 28175 28177 27119 0 -1 4202496 356943 0 0 0 112054 155 0 0 20 0 1 0 344277230 1205256192 291849 33554432000 134512640 137136520 4291328656 4291327584 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28177/statm: 294252 291849 198 641 0 293608 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 1177008
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28258
/proc/meminfo: memFree=27631964/32873844 swapFree=7620/7620
[pid=28177] ppid=28175 vsize=1232332 CPUtime=1182.04 cores=1,3,5,7
/proc/28177/stat : 28177 (bsolo) R 28175 28177 27119 0 -1 4202496 372334 0 0 0 118043 161 0 0 20 0 1 0 344277230 1261907968 305671 33554432000 134512640 137136520 4291328656 4291327584 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28177/statm: 308083 305671 198 641 0 307439 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 1232332
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28259
/proc/meminfo: memFree=27455532/32873844 swapFree=7620/7620
[pid=28177] ppid=28175 vsize=1281364 CPUtime=1242.01 cores=1,3,5,7
/proc/28177/stat : 28177 (bsolo) R 28175 28177 27119 0 -1 4202496 385706 0 0 0 124033 168 0 0 20 0 1 0 344277230 1312116736 317931 33554432000 134512640 137136520 4291328656 4291327584 134543971 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28177/statm: 320341 317931 198 641 0 319697 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 1281364
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28259
/proc/meminfo: memFree=27320524/32873844 swapFree=7620/7620
[pid=28177] ppid=28175 vsize=1322476 CPUtime=1301.97 cores=1,3,5,7
/proc/28177/stat : 28177 (bsolo) R 28175 28177 27119 0 -1 4202496 397353 0 0 0 130026 171 0 0 20 0 1 0 344277230 1354215424 328206 33554432000 134512640 137136520 4291328656 4291327184 134600223 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28177/statm: 330619 328206 198 641 0 329975 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1322476
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28259
/proc/meminfo: memFree=27226436/32873844 swapFree=7620/7620
[pid=28177] ppid=28175 vsize=1363732 CPUtime=1361.93 cores=1,3,5,7
/proc/28177/stat : 28177 (bsolo) R 28175 28177 27119 0 -1 4202496 409267 0 0 0 136018 175 0 0 20 0 1 0 344277230 1396461568 338529 33554432000 134512640 137136520 4291328656 4291327584 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28177/statm: 340933 338529 198 641 0 340289 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1363732
[startup+1422.31 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 28260
/proc/meminfo: memFree=27099488/32873844 swapFree=7620/7620
[pid=28177] ppid=28175 vsize=1409072 CPUtime=1421.91 cores=1,3,5,7
/proc/28177/stat : 28177 (bsolo) R 28175 28177 27119 0 -1 4202496 422996 0 0 0 142012 179 0 0 20 0 1 0 344277230 1442889728 349865 33554432000 134512640 137136520 4291328656 4291327584 134544384 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28177/statm: 352268 349865 198 641 0 351624 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1409072
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 28263
/proc/meminfo: memFree=26940624/32873844 swapFree=7620/7620
[pid=28177] ppid=28175 vsize=1447464 CPUtime=1481.87 cores=1,3,5,7
/proc/28177/stat : 28177 (bsolo) R 28175 28177 27119 0 -1 4202496 434602 0 0 0 148003 184 0 0 20 0 1 0 344277230 1482203136 359459 33554432000 134512640 137136520 4291328656 4291327584 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28177/statm: 361866 359459 198 641 0 361222 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1447464
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28263
/proc/meminfo: memFree=26782228/32873844 swapFree=7620/7620
[pid=28177] ppid=28175 vsize=1507988 CPUtime=1541.83 cores=1,3,5,7
/proc/28177/stat : 28177 (bsolo) R 28175 28177 27119 0 -1 4202496 451508 0 0 0 153993 190 0 0 20 0 1 0 344277230 1544179712 374594 33554432000 134512640 137136520 4291328656 4291327584 134543948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28177/statm: 376997 374594 198 641 0 376353 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1507988
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28263
/proc/meminfo: memFree=26658380/32873844 swapFree=7620/7620
[pid=28177] ppid=28175 vsize=1573916 CPUtime=1601.81 cores=1,3,5,7
/proc/28177/stat : 28177 (bsolo) R 28175 28177 27119 0 -1 4202496 469636 0 0 0 159984 197 0 0 20 0 1 0 344277230 1611689984 391070 33554432000 134512640 137136520 4291328656 4291327584 134543918 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28177/statm: 393479 391070 198 641 0 392835 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1573916
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28263
/proc/meminfo: memFree=26546436/32873844 swapFree=7620/7620
[pid=28177] ppid=28175 vsize=1632576 CPUtime=1661.77 cores=1,3,5,7
/proc/28177/stat : 28177 (bsolo) R 28175 28177 27119 0 -1 4202496 485672 0 0 0 165974 203 0 0 20 0 1 0 344277230 1671757824 405716 33554432000 134512640 137136520 4291328656 4291327584 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28177/statm: 408144 405716 198 641 0 407500 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1632576
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28264
/proc/meminfo: memFree=26441436/32873844 swapFree=7620/7620
[pid=28177] ppid=28175 vsize=1673204 CPUtime=1721.75 cores=1,3,5,7
/proc/28177/stat : 28177 (bsolo) R 28175 28177 27119 0 -1 4202496 497146 0 0 0 171967 208 0 0 20 0 1 0 344277230 1713360896 415884 33554432000 134512640 137136520 4291328656 4291327284 134616436 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28177/statm: 418301 415884 198 641 0 417657 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1673204
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28264
/proc/meminfo: memFree=26346108/32873844 swapFree=7620/7620
[pid=28177] ppid=28175 vsize=1703796 CPUtime=1781.71 cores=1,3,5,7
/proc/28177/stat : 28177 (bsolo) R 28175 28177 27119 0 -1 4202496 505678 0 0 0 177959 212 0 0 20 0 1 0 344277230 1744687104 423521 33554432000 134512640 137136520 4291328656 4291327296 134606731 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28177/statm: 425949 423521 198 641 0 425305 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 1703796
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28264
/proc/meminfo: memFree=26331584/32873844 swapFree=7620/7620
[pid=28177] ppid=28175 vsize=1709912 CPUtime=1791.31 cores=1,3,5,7
/proc/28177/stat : 28177 (bsolo) R 28175 28177 27119 0 -1 4202496 507463 0 0 0 178919 212 0 0 20 0 1 0 344277230 1750949888 425068 33554432000 134512640 137136520 4291328656 4291327584 134544112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28177/statm: 427478 425068 198 641 0 426834 0
Current children cumulated CPU time (s) 1791.31
Current children cumulated vsize (KiB) 1709912
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28264
/proc/meminfo: memFree=26323772/32873844 swapFree=7620/7620
[pid=28177] ppid=28175 vsize=1714780 CPUtime=1794.5 cores=1,3,5,7
/proc/28177/stat : 28177 (bsolo) R 28175 28177 27119 0 -1 4202496 508744 0 0 0 179238 212 0 0 20 0 1 0 344277230 1755934720 426284 33554432000 134512640 137136520 4291328656 4291327584 134544145 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28177/statm: 428695 426284 198 641 0 428051 0
Current children cumulated CPU time (s) 1794.5
Current children cumulated vsize (KiB) 1714780
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28264
/proc/meminfo: memFree=26321416/32873844 swapFree=7620/7620
[pid=28177] ppid=28175 vsize=1715700 CPUtime=1796.1 cores=1,3,5,7
/proc/28177/stat : 28177 (bsolo) R 28175 28177 27119 0 -1 4202496 508999 0 0 0 179397 213 0 0 20 0 1 0 344277230 1756876800 426522 33554432000 134512640 137136520 4291328656 4291327584 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28177/statm: 428925 426522 198 641 0 428281 0
Current children cumulated CPU time (s) 1796.1
Current children cumulated vsize (KiB) 1715700
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28264
/proc/meminfo: memFree=26318564/32873844 swapFree=7620/7620
[pid=28177] ppid=28175 vsize=1715996 CPUtime=1796.9 cores=1,3,5,7
/proc/28177/stat : 28177 (bsolo) R 28175 28177 27119 0 -1 4202496 509071 0 0 0 179477 213 0 0 20 0 1 0 344277230 1757179904 426594 33554432000 134512640 137136520 4291328656 4291327584 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28177/statm: 428999 426594 198 641 0 428355 0
Current children cumulated CPU time (s) 1796.9
Current children cumulated vsize (KiB) 1715996
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28264
/proc/meminfo: memFree=26318564/32873844 swapFree=7620/7620
[pid=28177] ppid=28175 vsize=1716192 CPUtime=1797.7 cores=1,3,5,7
/proc/28177/stat : 28177 (bsolo) R 28175 28177 27119 0 -1 4202496 509138 0 0 0 179557 213 0 0 20 0 1 0 344277230 1757380608 426645 33554432000 134512640 137136520 4291328656 4291327584 134543957 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28177/statm: 429048 426645 198 641 0 428404 0
Current children cumulated CPU time (s) 1797.7
Current children cumulated vsize (KiB) 1716192
[startup+1798.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28264
/proc/meminfo: memFree=26317324/32873844 swapFree=7620/7620
[pid=28177] ppid=28175 vsize=1716192 CPUtime=1797.91 cores=1,3,5,7
/proc/28177/stat : 28177 (bsolo) R 28175 28177 27119 0 -1 4202496 509138 0 0 0 179578 213 0 0 20 0 1 0 344277230 1757380608 426645 33554432000 134512640 137136520 4291328656 4291327584 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28177/statm: 429048 426645 198 641 0 428404 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 1716192
[startup+1798.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28264
/proc/meminfo: memFree=26317324/32873844 swapFree=7620/7620
[pid=28177] ppid=28175 vsize=1716192 CPUtime=1798 cores=1,3,5,7
/proc/28177/stat : 28177 (bsolo) R 28175 28177 27119 0 -1 4202496 509138 0 0 0 179587 213 0 0 20 0 1 0 344277230 1757380608 426645 33554432000 134512640 137136520 4291328656 4291327584 134544256 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28177/statm: 429048 426645 198 641 0 428404 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 1716192
Child status: 0
Real time (s): 1798.65
CPU time (s): 1798.06
CPU user time (s): 1795.89
CPU system time (s): 2.17567
CPU usage (%): 99.9672
Max. virtual memory (cumulated for all children) (KiB): 1716192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.89
system time used= 2.17567
maximum resident set size= 1706608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509139
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= 464
involuntary context switches= 1831
runsolver used 3.18751 second user time and 8.40372 second system time
The end