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-3741881-1338777322/watcher-3741881-1338777322 -o /tmp/evaluation-result-3741881-1338777322/solver-3741881-1338777322 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3741881-1338777322.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 6747
/proc/meminfo: memFree=27742516/32873648 swapFree=7116/7116
[pid=6747] ppid=6745 vsize=11416 CPUtime=0 cores=0,2,4,6
/proc/6747/stat : 6747 (bsolo) R 6745 6747 5461 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 343857712 11689984 328 33554432000 134512640 137136520 4292171088 4292169320 136502052 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6747/statm: 2854 328 186 641 0 2125 0
[startup+0.0848401 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 6747
/proc/meminfo: memFree=27742516/32873648 swapFree=7116/7116
[pid=6747] ppid=6745 vsize=12668 CPUtime=0.08 cores=0,2,4,6
/proc/6747/stat : 6747 (bsolo) R 6745 6747 5461 0 -1 4202496 861 0 0 0 8 0 0 0 20 0 1 0 343857712 12972032 730 33554432000 134512640 137136520 4292171088 4292104320 134544743 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6747/statm: 3167 730 189 641 0 2523 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12668
[startup+0.1476 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 6747
/proc/meminfo: memFree=27742516/32873648 swapFree=7116/7116
[pid=6747] ppid=6745 vsize=12668 CPUtime=0.14 cores=0,2,4,6
/proc/6747/stat : 6747 (bsolo) R 6745 6747 5461 0 -1 4202496 861 0 0 0 14 0 0 0 20 0 1 0 343857712 12972032 730 33554432000 134512640 137136520 4292171088 4292104508 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6747/statm: 3167 730 189 641 0 2523 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 12668
[startup+0.300109 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 6747
/proc/meminfo: memFree=27742516/32873648 swapFree=7116/7116
[pid=6747] ppid=6745 vsize=12668 CPUtime=0.29 cores=0,2,4,6
/proc/6747/stat : 6747 (bsolo) R 6745 6747 5461 0 -1 4202496 862 0 0 0 29 0 0 0 20 0 1 0 343857712 12972032 731 33554432000 134512640 137136520 4292171088 4292104508 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6747/statm: 3167 731 189 641 0 2523 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12668
[startup+0.700177 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 6747
/proc/meminfo: memFree=27742516/32873648 swapFree=7116/7116
[pid=6747] ppid=6745 vsize=12668 CPUtime=0.69 cores=0,2,4,6
/proc/6747/stat : 6747 (bsolo) R 6745 6747 5461 0 -1 4202496 862 0 0 0 69 0 0 0 20 0 1 0 343857712 12972032 731 33554432000 134512640 137136520 4292171088 4292104020 136498241 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6747/statm: 3167 731 189 641 0 2523 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12668
[startup+1.50017 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6748
/proc/meminfo: memFree=27738300/32873648 swapFree=7116/7116
[pid=6747] ppid=6745 vsize=14196 CPUtime=1.49 cores=0,2,4,6
/proc/6747/stat : 6747 (bsolo) R 6745 6747 5461 0 -1 4202496 1323 0 0 0 148 1 0 0 20 0 1 0 343857712 14536704 1114 33554432000 134512640 137136520 4292171088 4292167624 134599185 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6747/statm: 3549 1114 198 641 0 2905 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14196
[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6748
/proc/meminfo: memFree=27730496/32873648 swapFree=7116/7116
[pid=6747] ppid=6745 vsize=19436 CPUtime=3.09 cores=0,2,4,6
/proc/6747/stat : 6747 (bsolo) R 6745 6747 5461 0 -1 4202496 2646 0 0 0 304 5 0 0 20 0 1 0 343857712 19902464 2437 33554432000 134512640 137136520 4292171088 4292170016 134543831 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6747/statm: 4859 2437 198 641 0 4215 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19436
[startup+6.30014 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6748
/proc/meminfo: memFree=27707912/32873648 swapFree=7116/7116
[pid=6747] ppid=6745 vsize=31500 CPUtime=6.29 cores=0,2,4,6
/proc/6747/stat : 6747 (bsolo) R 6745 6747 5461 0 -1 4202496 5654 0 0 0 621 8 0 0 20 0 1 0 343857712 32256000 5445 33554432000 134512640 137136520 4292171088 4292170204 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6747/statm: 7875 5445 198 641 0 7231 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31500
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6748
/proc/meminfo: memFree=27679408/32873648 swapFree=7116/7116
[pid=6747] ppid=6745 vsize=50692 CPUtime=12.69 cores=0,2,4,6
/proc/6747/stat : 6747 (bsolo) R 6745 6747 5461 0 -1 4202496 10460 0 0 0 1256 13 0 0 20 0 1 0 343857712 51908608 10251 33554432000 134512640 137136520 4292171088 4292169680 134616694 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6747/statm: 12673 10251 198 641 0 12029 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 50692
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6748
/proc/meminfo: memFree=27624452/32873648 swapFree=7116/7116
[pid=6747] ppid=6745 vsize=87844 CPUtime=25.49 cores=0,2,4,6
/proc/6747/stat : 6747 (bsolo) R 6745 6747 5461 0 -1 4202496 19732 0 0 0 2527 22 0 0 20 0 1 0 343857712 89952256 19521 33554432000 134512640 137136520 4292171088 4292151528 136502385 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6747/statm: 21961 19521 198 641 0 21317 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 87844
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6748
/proc/meminfo: memFree=27528444/32873648 swapFree=7116/7116
[pid=6747] ppid=6745 vsize=157456 CPUtime=51.08 cores=0,2,4,6
/proc/6747/stat : 6747 (bsolo) R 6745 6747 5461 0 -1 4202496 37209 0 0 0 5079 29 0 0 20 0 1 0 343857712 161234944 36937 33554432000 134512640 137136520 4292171088 4292169940 136509091 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6747/statm: 39364 36937 198 641 0 38720 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 157456
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 6748
/proc/meminfo: memFree=27363576/32873648 swapFree=7116/7116
[pid=6747] ppid=6745 vsize=255244 CPUtime=102.28 cores=0,2,4,6
/proc/6747/stat : 6747 (bsolo) R 6745 6747 5461 0 -1 4202496 61645 0 0 0 10188 40 0 0 20 0 1 0 343857712 261369856 61372 33554432000 134512640 137136520 4292171088 4292169728 134606772 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6747/statm: 63811 61372 198 641 0 63167 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 255244
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6749
/proc/meminfo: memFree=27199296/32873648 swapFree=7116/7116
[pid=6747] ppid=6745 vsize=347512 CPUtime=162.27 cores=0,2,4,6
/proc/6747/stat : 6747 (bsolo) R 6745 6747 5461 0 -1 4202496 84767 0 0 0 16177 50 0 0 20 0 1 0 343857712 355852288 84461 33554432000 134512640 137136520 4292171088 4292170016 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6747/statm: 86878 84461 198 641 0 86234 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 347512
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6749
/proc/meminfo: memFree=27053772/32873648 swapFree=7116/7116
[pid=6747] ppid=6745 vsize=429280 CPUtime=222.25 cores=0,2,4,6
/proc/6747/stat : 6747 (bsolo) R 6745 6747 5461 0 -1 4202496 105380 0 0 0 22167 58 0 0 20 0 1 0 343857712 439582720 104896 33554432000 134512640 137136520 4292171088 4292170016 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6747/statm: 107320 104896 198 641 0 106676 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 429280
[startup+282.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 6752
/proc/meminfo: memFree=26895304/32873648 swapFree=7116/7116
[pid=6747] ppid=6745 vsize=511332 CPUtime=282.2 cores=0,2,4,6
/proc/6747/stat : 6747 (bsolo) R 6745 6747 5461 0 -1 4202496 126818 0 0 0 28153 67 0 0 20 0 1 0 343857712 523603968 125407 33554432000 134512640 137136520 4292171088 4292169728 134606731 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6747/statm: 127833 125407 198 641 0 127189 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 511332
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6752
/proc/meminfo: memFree=26755108/32873648 swapFree=7116/7116
[pid=6747] ppid=6745 vsize=586680 CPUtime=342.15 cores=0,2,4,6
/proc/6747/stat : 6747 (bsolo) R 6745 6747 5461 0 -1 4202496 146192 0 0 0 34141 74 0 0 20 0 1 0 343857712 600760320 144258 33554432000 134512640 137136520 4292171088 4292170016 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6747/statm: 146670 144258 198 641 0 146026 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 586680
[startup+402.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 6752
/proc/meminfo: memFree=26619852/32873648 swapFree=7116/7116
[pid=6747] ppid=6745 vsize=654484 CPUtime=402.1 cores=0,2,4,6
/proc/6747/stat : 6747 (bsolo) R 6745 6747 5461 0 -1 4202496 163698 0 0 0 40129 81 0 0 20 0 1 0 343857712 670191616 161180 33554432000 134512640 137136520 4292171088 4292169680 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6747/statm: 163621 161180 198 641 0 162977 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 654484
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6753
/proc/meminfo: memFree=26476764/32873648 swapFree=7116/7116
[pid=6747] ppid=6745 vsize=729496 CPUtime=462.07 cores=0,2,4,6
/proc/6747/stat : 6747 (bsolo) R 6745 6747 5461 0 -1 4202496 183049 0 0 0 46119 88 0 0 20 0 1 0 343857712 747003904 179962 33554432000 134512640 137136520 4292171088 4292169680 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6747/statm: 182374 179962 198 641 0 181730 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 729496
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6753
/proc/meminfo: memFree=26342376/32873648 swapFree=7116/7116
[pid=6747] ppid=6745 vsize=791800 CPUtime=522.03 cores=0,2,4,6
/proc/6747/stat : 6747 (bsolo) R 6745 6747 5461 0 -1 4202496 199081 0 0 0 52109 94 0 0 20 0 1 0 343857712 810803200 195508 33554432000 134512640 137136520 4292171088 4292169996 136518848 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6747/statm: 197950 195508 198 641 0 197306 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 791800
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6753
/proc/meminfo: memFree=26175460/32873648 swapFree=7116/7116
[pid=6747] ppid=6745 vsize=849064 CPUtime=581.99 cores=0,2,4,6
/proc/6747/stat : 6747 (bsolo) R 6745 6747 5461 0 -1 4202496 213863 0 0 0 58101 98 0 0 20 0 1 0 343857712 869441536 209852 33554432000 134512640 137136520 4292171088 4292170016 134544157 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6747/statm: 212266 209852 198 641 0 211622 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 849064
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26405508/32873648 swapFree=7116/7116
[pid=6747] ppid=6745 vsize=1274088 CPUtime=1061.77 cores=0,2,4,6
/proc/6747/stat : 6747 (bsolo) R 6745 6747 5461 0 -1 4202496 322623 0 0 0 106037 140 0 0 20 0 1 0 343857712 1304666112 316110 33554432000 134512640 137136520 4292171088 4292170016 134544148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6747/statm: 318522 316110 198 641 0 317878 0
Current children cumulated CPU time (s) 1061.77
Current children cumulated vsize (KiB) 1274088
[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 6806
/proc/meminfo: memFree=26290560/32873648 swapFree=7116/7116
[pid=6747] ppid=6745 vsize=1314260 CPUtime=1121.76 cores=0,2,4,6
/proc/6747/stat : 6747 (bsolo) R 6745 6747 5461 0 -1 4202496 332784 0 0 0 112033 143 0 0 20 0 1 0 343857712 1345802240 326143 33554432000 134512640 137136520 4292171088 4292169640 136501971 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6747/statm: 328565 326143 198 641 0 327921 0
Current children cumulated CPU time (s) 1121.76
Current children cumulated vsize (KiB) 1314260
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 6806
/proc/meminfo: memFree=26159616/32873648 swapFree=7116/7116
[pid=6747] ppid=6745 vsize=1359484 CPUtime=1181.74 cores=0,2,4,6
/proc/6747/stat : 6747 (bsolo) R 6745 6747 5461 0 -1 4202496 344334 0 0 0 118026 148 0 0 20 0 1 0 343857712 1392111616 337446 33554432000 134512640 137136520 4292171088 4292170016 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6747/statm: 339871 337446 198 641 0 339227 0
Current children cumulated CPU time (s) 1181.74
Current children cumulated vsize (KiB) 1359484
[startup+1242.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 6806
/proc/meminfo: memFree=25990608/32873648 swapFree=7116/7116
[pid=6747] ppid=6745 vsize=1402704 CPUtime=1241.74 cores=0,2,4,6
/proc/6747/stat : 6747 (bsolo) R 6745 6747 5461 0 -1 4202496 355623 0 0 0 124022 152 0 0 20 0 1 0 343857712 1436368896 348238 33554432000 134512640 137136520 4292171088 4292170016 134543927 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6747/statm: 350676 348238 198 641 0 350032 0
Current children cumulated CPU time (s) 1241.74
Current children cumulated vsize (KiB) 1402704
[startup+1302.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/177 6806
/proc/meminfo: memFree=25853716/32873648 swapFree=7116/7116
[pid=6747] ppid=6745 vsize=1442040 CPUtime=1301.74 cores=0,2,4,6
/proc/6747/stat : 6747 (bsolo) R 6745 6747 5461 0 -1 4202496 365712 0 0 0 130017 157 0 0 20 0 1 0 343857712 1476648960 358092 33554432000 134512640 137136520 4292171088 4292170016 134544402 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6747/statm: 360510 358092 198 641 0 359866 0
Current children cumulated CPU time (s) 1301.74
Current children cumulated vsize (KiB) 1442040
[startup+1362.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 6807
/proc/meminfo: memFree=25720292/32873648 swapFree=7116/7116
[pid=6747] ppid=6745 vsize=1480320 CPUtime=1361.72 cores=0,2,4,6
/proc/6747/stat : 6747 (bsolo) R 6745 6747 5461 0 -1 4202496 375455 0 0 0 136012 160 0 0 20 0 1 0 343857712 1515847680 367663 33554432000 134512640 137136520 4292171088 4292170016 134544245 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6747/statm: 370080 367663 198 641 0 369436 0
Current children cumulated CPU time (s) 1361.72
Current children cumulated vsize (KiB) 1480320
[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 6807
/proc/meminfo: memFree=25597656/32873648 swapFree=7116/7116
[pid=6747] ppid=6745 vsize=1519076 CPUtime=1421.72 cores=0,2,4,6
/proc/6747/stat : 6747 (bsolo) R 6745 6747 5461 0 -1 4202496 385248 0 0 0 142009 163 0 0 20 0 1 0 343857712 1555533824 377350 33554432000 134512640 137136520 4292171088 4292170016 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6747/statm: 379769 377350 198 641 0 379125 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 1519076
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 6810
/proc/meminfo: memFree=25477700/32873648 swapFree=7116/7116
[pid=6747] ppid=6745 vsize=1568572 CPUtime=1481.7 cores=0,2,4,6
/proc/6747/stat : 6747 (bsolo) R 6745 6747 5461 0 -1 4202496 397910 0 0 0 148003 167 0 0 20 0 1 0 343857712 1606217728 389723 33554432000 134512640 137136520 4292171088 4292170016 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6747/statm: 392143 389723 198 641 0 391499 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 1568572
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 6833
/proc/meminfo: memFree=25410984/32873648 swapFree=7116/7116
[pid=6747] ppid=6745 vsize=1606724 CPUtime=1541.69 cores=0,2,4,6
/proc/6747/stat : 6747 (bsolo) R 6745 6747 5461 0 -1 4202496 408267 0 0 0 153999 170 0 0 20 0 1 0 343857712 1645285376 399269 33554432000 134512640 137136520 4292171088 4292170016 134543948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6747/statm: 401681 399269 198 641 0 401037 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 1606724
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6833
/proc/meminfo: memFree=25337676/32873648 swapFree=7116/7116
[pid=6747] ppid=6745 vsize=1636732 CPUtime=1601.69 cores=0,2,4,6
/proc/6747/stat : 6747 (bsolo) R 6745 6747 5461 0 -1 4202496 416745 0 0 0 159996 173 0 0 20 0 1 0 343857712 1676013568 406759 33554432000 134512640 137136520 4292171088 4292169984 134544402 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6747/statm: 409183 406759 198 641 0 408539 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 1636732
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6834
/proc/meminfo: memFree=25175984/32873648 swapFree=7116/7116
[pid=6747] ppid=6745 vsize=1675648 CPUtime=1661.68 cores=0,2,4,6
/proc/6747/stat : 6747 (bsolo) R 6745 6747 5461 0 -1 4202496 427019 0 0 0 165992 176 0 0 20 0 1 0 343857712 1715863552 416489 33554432000 134512640 137136520 4292171088 4292169856 134576272 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6747/statm: 418912 416489 198 641 0 418268 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 1675648
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 6834
/proc/meminfo: memFree=25032668/32873648 swapFree=7116/7116
[pid=6747] ppid=6745 vsize=1710964 CPUtime=1721.65 cores=0,2,4,6
/proc/6747/stat : 6747 (bsolo) R 6745 6747 5461 0 -1 4202496 436165 0 0 0 171985 180 0 0 20 0 1 0 343857712 1752027136 425326 33554432000 134512640 137136520 4292171088 4292170016 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6747/statm: 427741 425326 198 641 0 427097 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 1710964
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 6834
/proc/meminfo: memFree=24916384/32873648 swapFree=7116/7116
[pid=6747] ppid=6745 vsize=1742412 CPUtime=1781.62 cores=0,2,4,6
/proc/6747/stat : 6747 (bsolo) R 6745 6747 5461 0 -1 4202496 444394 0 0 0 177979 183 0 0 20 0 1 0 343857712 1784229888 433176 33554432000 134512640 137136520 4292171088 4292170016 134544164 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6747/statm: 435603 433176 198 641 0 434959 0
Current children cumulated CPU time (s) 1781.62
Current children cumulated vsize (KiB) 1742412
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 6834
/proc/meminfo: memFree=24898140/32873648 swapFree=7116/7116
[pid=6747] ppid=6745 vsize=1749584 CPUtime=1791.21 cores=0,2,4,6
/proc/6747/stat : 6747 (bsolo) R 6745 6747 5461 0 -1 4202496 446207 0 0 0 178938 183 0 0 20 0 1 0 343857712 1791574016 434978 33554432000 134512640 137136520 4292171088 4292169668 136498324 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6747/statm: 437396 434978 198 641 0 436752 0
Current children cumulated CPU time (s) 1791.21
Current children cumulated vsize (KiB) 1749584
[startup+1795.1 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 6834
/proc/meminfo: memFree=24893660/32873648 swapFree=7116/7116
[pid=6747] ppid=6745 vsize=1750316 CPUtime=1794.41 cores=0,2,4,6
/proc/6747/stat : 6747 (bsolo) R 6745 6747 5461 0 -1 4202496 446409 0 0 0 179258 183 0 0 20 0 1 0 343857712 1792323584 435166 33554432000 134512640 137136520 4292171088 4292170016 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6747/statm: 437579 435166 198 641 0 436935 0
Current children cumulated CPU time (s) 1794.41
Current children cumulated vsize (KiB) 1750316
[startup+1796.7 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 6834
/proc/meminfo: memFree=24891800/32873648 swapFree=7116/7116
[pid=6747] ppid=6745 vsize=1750980 CPUtime=1796 cores=0,2,4,6
/proc/6747/stat : 6747 (bsolo) R 6745 6747 5461 0 -1 4202496 446583 0 0 0 179417 183 0 0 20 0 1 0 343857712 1793003520 435333 33554432000 134512640 137136520 4292171088 4292170016 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6747/statm: 437745 435333 198 641 0 437101 0
Current children cumulated CPU time (s) 1796
Current children cumulated vsize (KiB) 1750980
[startup+1797.5 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 6834
/proc/meminfo: memFree=24889568/32873648 swapFree=7116/7116
[pid=6747] ppid=6745 vsize=1751820 CPUtime=1796.8 cores=0,2,4,6
/proc/6747/stat : 6747 (bsolo) R 6745 6747 5461 0 -1 4202496 446797 0 0 0 179497 183 0 0 20 0 1 0 343857712 1793863680 435515 33554432000 134512640 137136520 4292171088 4292170016 134544402 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6747/statm: 437955 435515 198 641 0 437311 0
Current children cumulated CPU time (s) 1796.8
Current children cumulated vsize (KiB) 1751820
[startup+1798.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 6834
/proc/meminfo: memFree=24889568/32873648 swapFree=7116/7116
[pid=6747] ppid=6745 vsize=1752276 CPUtime=1797.6 cores=0,2,4,6
/proc/6747/stat : 6747 (bsolo) R 6745 6747 5461 0 -1 4202496 446937 0 0 0 179577 183 0 0 20 0 1 0 343857712 1794330624 435652 33554432000 134512640 137136520 4292171088 4292170016 134544135 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6747/statm: 438069 435652 198 641 0 437425 0
Current children cumulated CPU time (s) 1797.6
Current children cumulated vsize (KiB) 1752276
[startup+1798.7 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 6834
/proc/meminfo: memFree=24887956/32873648 swapFree=7116/7116
[pid=6747] ppid=6745 vsize=1752484 CPUtime=1798 cores=0,2,4,6
/proc/6747/stat : 6747 (bsolo) R 6745 6747 5461 0 -1 4202496 446987 0 0 0 179617 183 0 0 20 0 1 0 343857712 1794543616 435702 33554432000 134512640 137136520 4292171088 4292169772 136501953 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6747/statm: 438121 435702 198 641 0 437477 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 1752484
Child status: 0
Real time (s): 1798.78
CPU time (s): 1798.1
CPU user time (s): 1796.23
CPU system time (s): 1.86772
CPU usage (%): 99.962
Max. virtual memory (cumulated for all children) (KiB): 1752484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.23
system time used= 1.86772
maximum resident set size= 1742880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 447006
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= 595
involuntary context switches= 1901
runsolver used 2.5926 second user time and 7.2229 second system time
The end