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-3741013-1338766302/watcher-3741013-1338766302 -o /tmp/evaluation-result-3741013-1338766302/solver-3741013-1338766302 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3741013-1338766302.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: 1.92 2.31 3.04 3/176 8813
/proc/meminfo: memFree=27993096/32873648 swapFree=6864/6864
[pid=8813] ppid=8811 vsize=122332 CPUtime=0 cores=1,3,5,7
/proc/8813/stat : 8813 (bsolo) R 8811 8813 3937 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 342756495 125267968 306 33554432000 134512640 137136520 4294200016 4294198528 136575102 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/8813/statm: 30583 306 190 641 0 2122 0
[startup+0.0727059 s]
/proc/loadavg: 1.92 2.31 3.04 3/176 8813
/proc/meminfo: memFree=27993096/32873648 swapFree=6864/6864
[pid=8813] ppid=8811 vsize=125472 CPUtime=0.06 cores=1,3,5,7
/proc/8813/stat : 8813 (bsolo) R 8811 8813 3937 0 -1 4202496 1402 0 0 0 6 0 0 0 20 0 1 0 342756495 128483328 1355 33554432000 134512640 137136520 4294200016 4294198528 136575102 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/8813/statm: 31368 1356 438 641 0 2907 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 125472
[startup+0.100158 s]
/proc/loadavg: 1.92 2.31 3.04 3/176 8813
/proc/meminfo: memFree=27993096/32873648 swapFree=6864/6864
[pid=8813] ppid=8811 vsize=126708 CPUtime=0.09 cores=1,3,5,7
/proc/8813/stat : 8813 (bsolo) R 8811 8813 3937 0 -1 4202496 1828 0 0 0 9 0 0 0 20 0 1 0 342756495 129748992 1781 33554432000 134512640 137136520 4294200016 4294198448 134531487 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/8813/statm: 31677 1781 541 641 0 3216 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 126708
[startup+0.300128 s]
/proc/loadavg: 1.92 2.31 3.04 3/176 8813
/proc/meminfo: memFree=27993096/32873648 swapFree=6864/6864
[pid=8813] ppid=8811 vsize=135848 CPUtime=0.28 cores=1,3,5,7
/proc/8813/stat : 8813 (bsolo) R 8811 8813 3937 0 -1 4202496 4822 0 0 0 28 0 0 0 20 0 1 0 342756495 139108352 4775 33554432000 134512640 137136520 4294200016 4294198528 136575102 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/8813/statm: 33962 4776 1270 641 0 5501 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 135848
[startup+0.700259 s]
/proc/loadavg: 1.92 2.31 3.04 3/176 8813
/proc/meminfo: memFree=27993096/32873648 swapFree=6864/6864
[pid=8813] ppid=8811 vsize=153072 CPUtime=0.69 cores=1,3,5,7
/proc/8813/stat : 8813 (bsolo) R 8811 8813 3937 0 -1 4202496 10567 0 0 0 68 1 0 0 20 0 1 0 342756495 156745728 10520 33554432000 134512640 137136520 4294200016 4294198216 136504651 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/8813/statm: 38268 10520 2691 641 0 9807 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 153072
[startup+1.50019 s]
/proc/loadavg: 2.00 2.32 3.04 3/177 8814
/proc/meminfo: memFree=27952272/32873648 swapFree=6864/6864
[pid=8813] ppid=8811 vsize=185292 CPUtime=1.49 cores=1,3,5,7
/proc/8813/stat : 8813 (bsolo) R 8811 8813 3937 0 -1 4202496 21487 0 0 0 146 3 0 0 20 0 1 0 342756495 189739008 21400 33554432000 134512640 137136520 4294200016 4294198496 136575102 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/8813/statm: 46323 21400 5541 641 0 17862 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 185292
[startup+3.10019 s]
/proc/loadavg: 2.00 2.32 3.04 3/177 8814
/proc/meminfo: memFree=27911104/32873648 swapFree=6864/6864
[pid=8813] ppid=8811 vsize=243796 CPUtime=3.09 cores=1,3,5,7
/proc/8813/stat : 8813 (bsolo) R 8811 8813 3937 0 -1 4202496 41356 0 0 0 303 6 0 0 20 0 1 0 342756495 249647104 41190 33554432000 134512640 137136520 4294200016 4294198216 136504651 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/8813/statm: 60949 41191 10752 641 0 32488 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 243796
[startup+6.30024 s]
/proc/loadavg: 2.00 2.32 3.04 3/177 8814
/proc/meminfo: memFree=27792740/32873648 swapFree=6864/6864
[pid=8813] ppid=8811 vsize=358824 CPUtime=6.29 cores=1,3,5,7
/proc/8813/stat : 8813 (bsolo) R 8811 8813 3937 0 -1 4202496 80519 0 0 0 617 12 0 0 20 0 1 0 342756495 367435776 80147 33554432000 134512640 137136520 4294200016 4294198368 136575102 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/8813/statm: 89706 80148 21035 641 0 61245 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 358824
[startup+12.7003 s]
/proc/loadavg: 2.00 2.31 3.03 3/177 8814
/proc/meminfo: memFree=27548928/32873648 swapFree=6864/6864
[pid=8813] ppid=8811 vsize=461448 CPUtime=12.69 cores=1,3,5,7
/proc/8813/stat : 8813 (bsolo) R 8811 8813 3937 0 -1 4202496 140729 0 0 0 1244 25 0 0 20 0 1 0 342756495 472522752 112443 33554432000 134512640 137136520 4294200016 4292924176 134540859 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/8813/statm: 115362 112443 192 641 0 114718 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 461448
[startup+25.5003 s]
/proc/loadavg: 2.00 2.30 3.01 3/177 8814
/proc/meminfo: memFree=27550904/32873648 swapFree=6864/6864
[pid=8813] ppid=8811 vsize=465540 CPUtime=25.49 cores=1,3,5,7
/proc/8813/stat : 8813 (bsolo) R 8811 8813 3937 0 -1 4202496 141961 0 0 0 2522 27 0 0 20 0 1 0 342756495 476712960 113467 33554432000 134512640 137136520 4294200016 4292924128 134540276 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/8813/statm: 116385 113467 193 641 0 115741 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 465540
[startup+51.1003 s]
/proc/loadavg: 2.00 2.27 2.98 3/177 8814
/proc/meminfo: memFree=27522764/32873648 swapFree=6864/6864
[pid=8813] ppid=8811 vsize=465540 CPUtime=51.08 cores=1,3,5,7
/proc/8813/stat : 8813 (bsolo) R 8811 8813 3937 0 -1 4202496 141967 0 0 0 5077 31 0 0 20 0 1 0 342756495 476712960 113467 33554432000 134512640 137136520 4294200016 4292924128 134540263 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/8813/statm: 116385 113467 193 641 0 115741 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 465540
[startup+102.306 s]
/proc/loadavg: 2.00 2.22 2.93 3/177 8814
/proc/meminfo: memFree=27490588/32873648 swapFree=6864/6864
[pid=8813] ppid=8811 vsize=465540 CPUtime=102.26 cores=1,3,5,7
/proc/8813/stat : 8813 (bsolo) R 8811 8813 3937 0 -1 4202496 142005 0 0 0 10186 40 0 0 20 0 1 0 342756495 476712960 113467 33554432000 134512640 137136520 4294200016 4292924128 134540451 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/8813/statm: 116385 113467 193 641 0 115741 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 465540
[startup+162.3 s]
/proc/loadavg: 2.00 2.18 2.87 3/177 8815
/proc/meminfo: memFree=27463832/32873648 swapFree=6864/6864
[pid=8813] ppid=8811 vsize=465540 CPUtime=162.22 cores=1,3,5,7
/proc/8813/stat : 8813 (bsolo) R 8811 8813 3937 0 -1 4202496 142046 0 0 0 16173 49 0 0 20 0 1 0 342756495 476712960 113467 33554432000 134512640 137136520 4294200016 4292924128 134540197 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/8813/statm: 116385 113467 193 641 0 115741 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 465540
[startup+222.3 s]
/proc/loadavg: 2.00 2.14 2.81 3/177 8815
/proc/meminfo: memFree=27453816/32873648 swapFree=6864/6864
[pid=8813] ppid=8811 vsize=460616 CPUtime=222.18 cores=1,3,5,7
/proc/8813/stat : 8813 (bsolo) R 8811 8813 3937 0 -1 4202496 1288612 0 0 0 21890 328 0 0 20 0 1 0 342756495 471670784 112261 33554432000 134512640 137136520 4294200016 4294198944 134543831 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/8813/statm: 115154 112261 198 641 0 114510 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 460616
[startup+282.3 s]
/proc/loadavg: 2.00 2.12 2.76 3/177 8815
/proc/meminfo: memFree=27443184/32873648 swapFree=6864/6864
[pid=8813] ppid=8811 vsize=460616 CPUtime=282.14 cores=1,3,5,7
/proc/8813/stat : 8813 (bsolo) R 8811 8813 3937 0 -1 4202496 2773980 0 0 0 27522 692 0 0 20 0 1 0 342756495 471670784 112261 33554432000 134512640 137136520 4294200016 4294199132 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/8813/statm: 115154 112261 198 641 0 114510 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 460616
[startup+342.3 s]
/proc/loadavg: 2.00 2.09 2.71 3/177 8815
/proc/meminfo: memFree=27430244/32873648 swapFree=6864/6864
[pid=8813] ppid=8811 vsize=461448 CPUtime=342.12 cores=1,3,5,7
/proc/8813/stat : 8813 (bsolo) R 8811 8813 3937 0 -1 4202496 4533193 0 0 0 33111 1101 0 0 20 0 1 0 342756495 472522752 112469 33554432000 134512640 137136520 4294200016 4294198784 134571152 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/8813/statm: 115362 112491 198 641 0 114718 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 461448
[startup+402.3 s]
/proc/loadavg: 2.12 2.10 2.67 3/177 8815
/proc/meminfo: memFree=27423060/32873648 swapFree=6864/6864
[pid=8813] ppid=8811 vsize=460616 CPUtime=402.11 cores=1,3,5,7
/proc/8813/stat : 8813 (bsolo) R 8811 8813 3937 0 -1 4202496 6120213 0 0 0 38804 1407 0 0 20 0 1 0 342756495 471670784 112448 33554432000 134512640 137136520 4294200016 4294198912 134544148 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/8813/statm: 115154 112448 198 641 0 114510 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 460616
[startup+462.3 s]
/proc/loadavg: 2.04 2.08 2.62 3/177 8816
/proc/meminfo: memFree=27415296/32873648 swapFree=6864/6864
[pid=8813] ppid=8811 vsize=460616 CPUtime=462.1 cores=1,3,5,7
/proc/8813/stat : 8813 (bsolo) R 8811 8813 3937 0 -1 4202496 8050039 0 0 0 44393 1817 0 0 20 0 1 0 342756495 471670784 112450 33554432000 134512640 137136520 4294200016 4294198944 134543831 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/8813/statm: 115154 112450 198 641 0 114510 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 460616
[startup+522.3 s]
/proc/loadavg: 2.01 2.06 2.58 3/178 8819
/proc/meminfo: memFree=27393968/32873648 swapFree=6864/6864
[pid=8813] ppid=8811 vsize=474488 CPUtime=522.09 cores=1,3,5,7
/proc/8813/stat : 8813 (bsolo) R 8811 8813 3937 0 -1 4202496 10373760 0 0 0 50024 2185 0 0 20 0 1 0 342756495 485875712 115931 33554432000 134512640 137136520 4294200016 4294198912 134544112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8813/statm: 118622 115931 198 641 0 117978 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 474488
[startup+582.3 s]
/proc/loadavg: 2.00 2.05 2.54 3/177 8819
/proc/meminfo: memFree=27370788/32873648 swapFree=6864/6864
[pid=8813] ppid=8811 vsize=491052 CPUtime=582.08 cores=1,3,5,7
/proc/8813/stat : 8813 (bsolo) R 8811 8813 3937 0 -1 4202496 12574360 0 0 0 55699 2509 0 0 20 0 1 0 342756495 502837248 120051 33554432000 134512640 137136520 4294200016 4294199120 134545045 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8813/statm: 122763 120051 198 641 0 122119 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 491052
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27243716/32873648 swapFree=6864/6864
[pid=8813] ppid=8811 vsize=558692 CPUtime=1062 cores=1,3,5,7
/proc/8813/stat : 8813 (bsolo) R 8811 8813 3937 0 -1 4202496 21870779 0 0 0 101994 4206 0 0 20 0 1 0 342756495 572100608 136961 33554432000 134512640 137136520 4294200016 4294198944 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8813/statm: 139673 136961 198 641 0 139029 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 558692
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.29 3/178 8824
/proc/meminfo: memFree=27210468/32873648 swapFree=6864/6864
[pid=8813] ppid=8811 vsize=587648 CPUtime=1121.99 cores=1,3,5,7
/proc/8813/stat : 8813 (bsolo) R 8811 8813 3937 0 -1 4202496 23478389 0 0 0 107699 4500 0 0 20 0 1 0 342756495 601751552 144219 33554432000 134512640 137136520 4294200016 4294198944 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8813/statm: 146912 144219 198 641 0 146268 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 587648
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.27 3/177 8824
/proc/meminfo: memFree=27182204/32873648 swapFree=6864/6864
[pid=8813] ppid=8811 vsize=611504 CPUtime=1181.99 cores=1,3,5,7
/proc/8813/stat : 8813 (bsolo) R 8811 8813 3937 0 -1 4202496 24907680 0 0 0 113448 4751 0 0 20 0 1 0 342756495 626180096 150166 33554432000 134512640 137136520 4294200016 4294198912 134543819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8813/statm: 152876 150166 198 641 0 152232 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 611504
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.25 3/177 8824
/proc/meminfo: memFree=27154592/32873648 swapFree=6864/6864
[pid=8813] ppid=8811 vsize=633272 CPUtime=1241.96 cores=1,3,5,7
/proc/8813/stat : 8813 (bsolo) R 8811 8813 3937 0 -1 4202496 26149693 0 0 0 119206 4990 0 0 20 0 1 0 342756495 648470528 155611 33554432000 134512640 137136520 4294200016 4294198824 136501956 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8813/statm: 158318 155611 198 641 0 157674 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 633272
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.23 3/177 8824
/proc/meminfo: memFree=27132176/32873648 swapFree=6864/6864
[pid=8813] ppid=8811 vsize=650260 CPUtime=1301.94 cores=1,3,5,7
/proc/8813/stat : 8813 (bsolo) R 8811 8813 3937 0 -1 4202496 27181886 0 0 0 124990 5204 0 0 20 0 1 0 342756495 665866240 159855 33554432000 134512640 137136520 4294200016 4294199132 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8813/statm: 162565 159855 198 641 0 161921 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 650260
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.21 3/177 8825
/proc/meminfo: memFree=27115472/32873648 swapFree=6864/6864
[pid=8813] ppid=8811 vsize=661412 CPUtime=1361.92 cores=1,3,5,7
/proc/8813/stat : 8813 (bsolo) R 8811 8813 3937 0 -1 4202496 28062438 0 0 0 130806 5386 0 0 20 0 1 0 342756495 677285888 162644 33554432000 134512640 137136520 4294200016 4294198944 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8813/statm: 165353 162644 198 641 0 164709 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 661412
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.20 3/177 8825
/proc/meminfo: memFree=27105420/32873648 swapFree=6864/6864
[pid=8813] ppid=8811 vsize=666164 CPUtime=1421.91 cores=1,3,5,7
/proc/8813/stat : 8813 (bsolo) R 8811 8813 3937 0 -1 4202496 28756705 0 0 0 136677 5514 0 0 20 0 1 0 342756495 682151936 163855 33554432000 134512640 137136520 4294200016 4294198944 134544530 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8813/statm: 166541 163855 198 641 0 165897 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 666164
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.18 3/177 8825
/proc/meminfo: memFree=27094508/32873648 swapFree=6864/6864
[pid=8813] ppid=8811 vsize=672540 CPUtime=1481.9 cores=1,3,5,7
/proc/8813/stat : 8813 (bsolo) R 8811 8813 3937 0 -1 4202496 29535379 0 0 0 142543 5647 0 0 20 0 1 0 342756495 688680960 165441 33554432000 134512640 137136520 4294200016 4294198784 134573959 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8813/statm: 168135 165441 198 641 0 167491 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 672540
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.17 3/177 8825
/proc/meminfo: memFree=27084288/32873648 swapFree=6864/6864
[pid=8813] ppid=8811 vsize=676064 CPUtime=1541.89 cores=1,3,5,7
/proc/8813/stat : 8813 (bsolo) R 8811 8813 3937 0 -1 4202496 30217254 0 0 0 148420 5769 0 0 20 0 1 0 342756495 692289536 166324 33554432000 134512640 137136520 4294200016 4294198944 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8813/statm: 169016 166324 198 641 0 168372 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 676064
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.16 3/177 8825
/proc/meminfo: memFree=27076284/32873648 swapFree=6864/6864
[pid=8813] ppid=8811 vsize=680328 CPUtime=1601.88 cores=1,3,5,7
/proc/8813/stat : 8813 (bsolo) R 8811 8813 3937 0 -1 4202496 30783235 0 0 0 154316 5872 0 0 20 0 1 0 342756495 696655872 167377 33554432000 134512640 137136520 4294200016 4294198340 136498324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8813/statm: 170082 167377 198 641 0 169438 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 680328
[startup+1662.3 s]
/proc/loadavg: 2.04 2.02 2.15 3/176 8825
/proc/meminfo: memFree=27067240/32873648 swapFree=6864/6864
[pid=8813] ppid=8811 vsize=682400 CPUtime=1661.87 cores=1,3,5,7
/proc/8813/stat : 8813 (bsolo) R 8811 8813 3937 0 -1 4202496 31270492 0 0 0 160222 5965 0 0 20 0 1 0 342756495 698777600 167914 33554432000 134512640 137136520 4294200016 4294198944 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8813/statm: 170600 167914 198 641 0 169956 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 682400
[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 2.15 3/178 8829
/proc/meminfo: memFree=27059176/32873648 swapFree=6864/6864
[pid=8813] ppid=8811 vsize=685304 CPUtime=1721.87 cores=1,3,5,7
/proc/8813/stat : 8813 (bsolo) R 8811 8813 3937 0 -1 4202496 31727976 0 0 0 166139 6048 0 0 20 0 1 0 342756495 701751296 168630 33554432000 134512640 137136520 4294200016 4294198944 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8813/statm: 171326 168630 198 641 0 170682 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 685304
[startup+1782.3 s]
/proc/loadavg: 2.10 2.05 2.15 3/178 8851
/proc/meminfo: memFree=27048208/32873648 swapFree=6864/6864
[pid=8813] ppid=8811 vsize=688076 CPUtime=1781.86 cores=1,3,5,7
/proc/8813/stat : 8813 (bsolo) R 8811 8813 3937 0 -1 4202496 32147158 0 0 0 172059 6127 0 0 20 0 1 0 342756495 704589824 169316 33554432000 134512640 137136520 4294200016 4294198944 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8813/statm: 172019 169316 198 641 0 171375 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 688076
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.09 2.05 2.15 3/178 8851
/proc/meminfo: memFree=27046936/32873648 swapFree=6864/6864
[pid=8813] ppid=8811 vsize=688472 CPUtime=1791.46 cores=1,3,5,7
/proc/8813/stat : 8813 (bsolo) R 8811 8813 3937 0 -1 4202496 32219870 0 0 0 173006 6140 0 0 20 0 1 0 342756495 704995328 169436 33554432000 134512640 137136520 4294200016 4294198944 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8813/statm: 172118 169436 198 641 0 171474 0
Current children cumulated CPU time (s) 1791.46
Current children cumulated vsize (KiB) 688472
[startup+1795.1 s]
/proc/loadavg: 2.09 2.05 2.15 3/178 8851
/proc/meminfo: memFree=27046564/32873648 swapFree=6864/6864
[pid=8813] ppid=8811 vsize=688604 CPUtime=1794.66 cores=1,3,5,7
/proc/8813/stat : 8813 (bsolo) R 8811 8813 3937 0 -1 4202496 32240283 0 0 0 173322 6144 0 0 20 0 1 0 342756495 705130496 169465 33554432000 134512640 137136520 4294200016 4294198944 134544245 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8813/statm: 172151 169465 198 641 0 171507 0
Current children cumulated CPU time (s) 1794.66
Current children cumulated vsize (KiB) 688604
[startup+1796.7 s]
/proc/loadavg: 2.08 2.05 2.14 2/176 8851
/proc/meminfo: memFree=27386812/32873648 swapFree=6864/6864
[pid=8813] ppid=8811 vsize=688736 CPUtime=1796.26 cores=1,3,5,7
/proc/8813/stat : 8813 (bsolo) R 8811 8813 3937 0 -1 4202496 32251129 0 0 0 173480 6146 0 0 20 0 1 0 342756495 705265664 169495 33554432000 134512640 137136520 4294200016 4294198944 134543819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8813/statm: 172184 169495 198 641 0 171540 0
Current children cumulated CPU time (s) 1796.26
Current children cumulated vsize (KiB) 688736
[startup+1797.5 s]
/proc/loadavg: 2.08 2.05 2.14 3/178 8899
/proc/meminfo: memFree=27387716/32873648 swapFree=6864/6864
[pid=8813] ppid=8811 vsize=688736 CPUtime=1797.05 cores=1,3,5,7
/proc/8813/stat : 8813 (bsolo) R 8811 8813 3937 0 -1 4202496 32256755 0 0 0 173558 6147 0 0 20 0 1 0 342756495 705265664 169505 33554432000 134512640 137136520 4294200016 4294198944 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8813/statm: 172184 169505 198 641 0 171540 0
Current children cumulated CPU time (s) 1797.05
Current children cumulated vsize (KiB) 688736
[startup+1798.3 s]
/proc/loadavg: 2.08 2.05 2.14 3/178 8899
/proc/meminfo: memFree=27387716/32873648 swapFree=6864/6864
[pid=8813] ppid=8811 vsize=689700 CPUtime=1797.86 cores=1,3,5,7
/proc/8813/stat : 8813 (bsolo) R 8811 8813 3937 0 -1 4202496 32261963 0 0 0 173638 6148 0 0 20 0 1 0 342756495 706252800 169721 33554432000 134512640 137136520 4294200016 4294198784 134573541 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8813/statm: 172425 169721 198 641 0 171781 0
Current children cumulated CPU time (s) 1797.86
Current children cumulated vsize (KiB) 689700
[startup+1798.51 s]
/proc/loadavg: 2.08 2.05 2.14 3/178 8899
/proc/meminfo: memFree=27383996/32873648 swapFree=6864/6864
[pid=8813] ppid=8811 vsize=688868 CPUtime=1798.06 cores=1,3,5,7
/proc/8813/stat : 8813 (bsolo) R 8811 8813 3937 0 -1 4202496 32262796 0 0 0 173658 6148 0 0 20 0 1 0 342756495 705400832 169514 33554432000 134512640 137136520 4294200016 4294198944 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8813/statm: 172217 169514 198 641 0 171573 0
Current children cumulated CPU time (s) 1798.06
Current children cumulated vsize (KiB) 688868
Child status: 0
Real time (s): 1798.54
CPU time (s): 1798.1
CPU user time (s): 1736.61
CPU system time (s): 61.4867
CPU usage (%): 99.9756
Max. virtual memory (cumulated for all children) (KiB): 689700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1736.61
system time used= 61.4867
maximum resident set size= 678888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32263005
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= 267
involuntary context switches= 1968
runsolver used 5.19521 second user time and 17.6763 second system time
The end