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-3741920-1338778407/watcher-3741920-1338778407 -o /tmp/evaluation-result-3741920-1338778407/solver-3741920-1338778407 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3741920-1338778407.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.10 2.05 2.00 3/173 31416
/proc/meminfo: memFree=26192748/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=19252 CPUtime=0 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 343966100 19714048 313 33554432000 134512640 137136520 4289125136 4289123488 136575102 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 4813 313 181 641 0 4078 0
[startup+0.104642 s]
/proc/loadavg: 2.10 2.05 2.00 3/173 31416
/proc/meminfo: memFree=26192748/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=12888 CPUtime=0.1 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 898 0 0 0 10 0 0 0 20 0 1 0 343966100 13197312 760 33554432000 134512640 137136520 4289125136 4289054476 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 3222 760 189 641 0 2578 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 12888
[startup+0.200253 s]
/proc/loadavg: 2.10 2.05 2.00 3/173 31416
/proc/meminfo: memFree=26192748/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=12888 CPUtime=0.19 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 899 0 0 0 19 0 0 0 20 0 1 0 343966100 13197312 761 33554432000 134512640 137136520 4289125136 4289054512 134562883 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 3222 761 189 641 0 2578 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12888
[startup+0.300252 s]
/proc/loadavg: 2.10 2.05 2.00 3/173 31416
/proc/meminfo: memFree=26192748/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=12888 CPUtime=0.29 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 899 0 0 0 29 0 0 0 20 0 1 0 343966100 13197312 761 33554432000 134512640 137136520 4289125136 4289054072 136502016 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 3222 761 189 641 0 2578 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12888
[startup+0.700225 s]
/proc/loadavg: 2.10 2.05 2.00 3/173 31416
/proc/meminfo: memFree=26192748/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=12888 CPUtime=0.69 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 899 0 0 0 69 0 0 0 20 0 1 0 343966100 13197312 761 33554432000 134512640 137136520 4289125136 4289054476 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 3222 761 189 641 0 2578 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12888
[startup+1.50017 s]
/proc/loadavg: 2.10 2.05 2.00 3/174 31417
/proc/meminfo: memFree=26190136/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=13848 CPUtime=1.49 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 1257 0 0 0 147 2 0 0 20 0 1 0 343966100 14180352 1031 33554432000 134512640 137136520 4289125136 4289124252 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 3462 1031 198 641 0 2818 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13848
[startup+3.10023 s]
/proc/loadavg: 2.09 2.05 2.00 3/174 31417
/proc/meminfo: memFree=26187160/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=18644 CPUtime=3.09 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 2464 0 0 0 303 6 0 0 20 0 1 0 343966100 19091456 2238 33554432000 134512640 137136520 4289125136 4289124252 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 4661 2238 198 641 0 4017 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18644
[startup+6.3002 s]
/proc/loadavg: 2.09 2.05 2.00 3/177 31458
/proc/meminfo: memFree=26203868/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=28676 CPUtime=6.28 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 4951 0 0 0 617 11 0 0 20 0 1 0 343966100 29364224 4735 33554432000 134512640 137136520 4289125136 4289124252 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 7169 4735 198 641 0 6525 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 28676
[startup+12.7003 s]
/proc/loadavg: 2.08 2.05 2.00 3/177 31458
/proc/meminfo: memFree=26174564/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=42924 CPUtime=12.69 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 8524 0 0 0 1247 22 0 0 20 0 1 0 343966100 43954176 8308 33554432000 134512640 137136520 4289125136 4289123512 136502216 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 10731 8308 198 641 0 10087 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42924
[startup+25.5002 s]
/proc/loadavg: 2.14 2.06 2.01 3/177 31458
/proc/meminfo: memFree=26103604/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=79656 CPUtime=25.48 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 17714 0 0 0 2519 29 0 0 20 0 1 0 343966100 81567744 17988 33554432000 134512640 137136520 4289125136 4289124064 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 19914 17988 198 641 0 19270 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 79656
[startup+51.1003 s]
/proc/loadavg: 2.16 2.07 2.01 3/177 31458
/proc/meminfo: memFree=26005572/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=135444 CPUtime=51.08 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 31656 0 0 0 5070 38 0 0 20 0 1 0 343966100 138694656 31930 33554432000 134512640 137136520 4289125136 4289124064 134544148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 33861 31930 198 641 0 33217 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 135444
[startup+102.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/177 31458
/proc/meminfo: memFree=25846152/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=209996 CPUtime=102.27 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 50291 0 0 0 10172 55 0 0 20 0 1 0 343966100 215035904 50565 33554432000 134512640 137136520 4289125136 4289124064 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 52499 50565 198 641 0 51855 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 209996
[startup+162.3 s]
/proc/loadavg: 2.04 2.06 2.00 3/177 31458
/proc/meminfo: memFree=25642820/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=295548 CPUtime=162.26 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 71672 0 0 0 16159 67 0 0 20 0 1 0 343966100 302641152 71946 33554432000 134512640 137136520 4289125136 4289123776 134606731 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 73887 71946 198 641 0 73243 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 295548
[startup+222.306 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 31458
/proc/meminfo: memFree=25449656/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=367704 CPUtime=222.26 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 89731 0 0 0 22151 75 0 0 20 0 1 0 343966100 376528896 89984 33554432000 134512640 137136520 4289125136 4289123776 134606731 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 91926 89984 198 641 0 91282 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 367704
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 31459
/proc/meminfo: memFree=25266168/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=449736 CPUtime=282.24 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 110476 0 0 0 28141 83 0 0 20 0 1 0 343966100 460529664 110511 33554432000 134512640 137136520 4289125136 4289124064 134543918 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 112434 110511 198 641 0 111790 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 449736
[startup+342.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 31459
/proc/meminfo: memFree=25084540/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=519244 CPUtime=342.23 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 127914 0 0 0 34131 92 0 0 20 0 1 0 343966100 531705856 127882 33554432000 134512640 137136520 4289125136 4289123688 136502143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 129811 127882 198 641 0 129167 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 519244
[startup+402.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 31462
/proc/meminfo: memFree=24921948/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=595584 CPUtime=402.22 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 147022 0 0 0 40122 100 0 0 20 0 1 0 343966100 609878016 146960 33554432000 134512640 137136520 4289125136 4289124064 134544140 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 148896 146960 198 641 0 148252 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 595584
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 31485
/proc/meminfo: memFree=24770228/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=665740 CPUtime=462.21 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 164572 0 0 0 46113 108 0 0 20 0 1 0 343966100 681717760 164510 33554432000 134512640 137136520 4289125136 4289123728 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 166435 164510 198 641 0 165791 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 665740
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 31485
/proc/meminfo: memFree=24636520/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=726184 CPUtime=522.2 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 179680 0 0 0 52107 113 0 0 20 0 1 0 343966100 743612416 179618 33554432000 134512640 137136520 4289125136 4289124056 135982492 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 181546 179618 198 641 0 180902 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 726184
[startup+582.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 31486
/proc/meminfo: memFree=24527572/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=770296 CPUtime=582.19 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 190734 0 0 0 58102 117 0 0 20 0 1 0 343966100 788783104 190651 33554432000 134512640 137136520 4289125136 4289124064 134543986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 192574 190651 198 641 0 191930 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 770296
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=23737120/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=1126824 CPUtime=1061.88 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 281037 0 0 0 106024 164 0 0 20 0 1 0 343966100 1153867776 279756 33554432000 134512640 137136520 4289125136 4289124064 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 281706 279756 198 641 0 281062 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 1126824
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31490
/proc/meminfo: memFree=23654692/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=1173856 CPUtime=1121.84 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 292990 0 0 0 112016 168 0 0 20 0 1 0 343966100 1202028544 291538 33554432000 134512640 137136520 4289125136 4289124064 134544245 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 293464 291538 198 641 0 292820 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 1173856
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31539
/proc/meminfo: memFree=25005776/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=1221632 CPUtime=1181.8 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 305450 0 0 0 118008 172 0 0 20 0 1 0 343966100 1250951168 303455 33554432000 134512640 137136520 4289125136 4289123664 134600223 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 305408 303456 198 641 0 304764 0
Current children cumulated CPU time (s) 1181.8
Current children cumulated vsize (KiB) 1221632
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31539
/proc/meminfo: memFree=24819112/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=1267292 CPUtime=1241.76 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 317245 0 0 0 123999 177 0 0 20 0 1 0 343966100 1297707008 314900 33554432000 134512640 137136520 4289125136 4289124064 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 316823 314900 198 641 0 316179 0
Current children cumulated CPU time (s) 1241.76
Current children cumulated vsize (KiB) 1267292
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31539
/proc/meminfo: memFree=24643060/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=1306984 CPUtime=1301.73 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 327473 0 0 0 129992 181 0 0 20 0 1 0 343966100 1338351616 324823 33554432000 134512640 137136520 4289125136 4289124064 134543948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 326746 324823 198 641 0 326102 0
Current children cumulated CPU time (s) 1301.73
Current children cumulated vsize (KiB) 1306984
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31539
/proc/meminfo: memFree=24519460/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=1345604 CPUtime=1361.69 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 337302 0 0 0 135985 184 0 0 20 0 1 0 343966100 1377898496 334456 33554432000 134512640 137136520 4289125136 4289124032 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 336401 334456 198 641 0 335757 0
Current children cumulated CPU time (s) 1361.69
Current children cumulated vsize (KiB) 1345604
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31539
/proc/meminfo: memFree=24409008/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=1390412 CPUtime=1421.67 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 348835 0 0 0 141979 188 0 0 20 0 1 0 343966100 1423781888 345676 33554432000 134512640 137136520 4289125136 4289124064 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 347603 345676 198 641 0 346959 0
Current children cumulated CPU time (s) 1421.67
Current children cumulated vsize (KiB) 1390412
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31540
/proc/meminfo: memFree=24313740/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=1427708 CPUtime=1481.65 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 358238 0 0 0 147973 192 0 0 20 0 1 0 343966100 1461972992 355000 33554432000 134512640 137136520 4289125136 4289124064 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 356927 355000 198 641 0 356283 0
Current children cumulated CPU time (s) 1481.65
Current children cumulated vsize (KiB) 1427708
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31540
/proc/meminfo: memFree=24219904/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=1463684 CPUtime=1541.65 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 367690 0 0 0 153969 196 0 0 20 0 1 0 343966100 1498812416 363990 33554432000 134512640 137136520 4289125136 4289124064 134543954 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 365921 363990 198 641 0 365277 0
Current children cumulated CPU time (s) 1541.65
Current children cumulated vsize (KiB) 1463684
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31543
/proc/meminfo: memFree=24133696/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=1492284 CPUtime=1601.63 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 374903 0 0 0 159964 199 0 0 20 0 1 0 343966100 1528098816 371141 33554432000 134512640 137136520 4289125136 4289124252 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 373071 371141 198 641 0 372427 0
Current children cumulated CPU time (s) 1601.63
Current children cumulated vsize (KiB) 1492284
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31543
/proc/meminfo: memFree=24045616/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=1517416 CPUtime=1661.62 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 381166 0 0 0 165959 203 0 0 20 0 1 0 343966100 1553833984 377403 33554432000 134512640 137136520 4289125136 4289124064 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 379354 377403 198 641 0 378710 0
Current children cumulated CPU time (s) 1661.62
Current children cumulated vsize (KiB) 1517416
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31543
/proc/meminfo: memFree=23956116/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=1546844 CPUtime=1721.61 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 388675 0 0 0 171956 205 0 0 20 0 1 0 343966100 1583968256 384788 33554432000 134512640 137136520 4289125136 4289124064 134544402 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 386711 384788 198 641 0 386067 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 1546844
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31544
/proc/meminfo: memFree=23869840/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=1574684 CPUtime=1781.6 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 395737 0 0 0 177951 209 0 0 20 0 1 0 343966100 1612476416 391741 33554432000 134512640 137136520 4289125136 4289124064 134544402 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 393671 391741 198 641 0 393027 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (KiB) 1574684
Solver just ended. Dumping a history of the last processes samples
[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31544
/proc/meminfo: memFree=23860152/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=1580488 CPUtime=1791.31 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 397208 0 0 0 178921 210 0 0 20 0 1 0 343966100 1618419712 393193 33554432000 134512640 137136520 4289125136 4289124064 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 395122 393193 198 641 0 394478 0
Current children cumulated CPU time (s) 1791.31
Current children cumulated vsize (KiB) 1580488
[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31544
/proc/meminfo: memFree=23856308/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=1581648 CPUtime=1794.51 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 397502 0 0 0 179241 210 0 0 20 0 1 0 343966100 1619607552 393485 33554432000 134512640 137136520 4289125136 4289124064 134543927 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 395412 393485 198 641 0 394768 0
Current children cumulated CPU time (s) 1794.51
Current children cumulated vsize (KiB) 1581648
[startup+1796.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31544
/proc/meminfo: memFree=23855068/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=1582264 CPUtime=1796.1 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 397649 0 0 0 179400 210 0 0 20 0 1 0 343966100 1620238336 393631 33554432000 134512640 137136520 4289125136 4289124064 134543933 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 395566 393631 198 641 0 394922 0
Current children cumulated CPU time (s) 1796.1
Current children cumulated vsize (KiB) 1582264
[startup+1797.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31544
/proc/meminfo: memFree=23853812/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=1582668 CPUtime=1796.9 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 397737 0 0 0 179480 210 0 0 20 0 1 0 343966100 1620652032 393717 33554432000 134512640 137136520 4289125136 4289124064 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 395667 393717 198 641 0 395023 0
Current children cumulated CPU time (s) 1796.9
Current children cumulated vsize (KiB) 1582668
[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31544
/proc/meminfo: memFree=23853812/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=1582740 CPUtime=1797.7 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 397782 0 0 0 179560 210 0 0 20 0 1 0 343966100 1620725760 393762 33554432000 134512640 137136520 4289125136 4289124064 134543927 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 395685 393762 198 641 0 395041 0
Current children cumulated CPU time (s) 1797.7
Current children cumulated vsize (KiB) 1582740
[startup+1798.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31544
/proc/meminfo: memFree=23852572/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=1582976 CPUtime=1798.1 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 397842 0 0 0 179600 210 0 0 20 0 1 0 343966100 1620967424 393821 33554432000 134512640 137136520 4289125136 4289124064 134543948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 395744 393821 198 641 0 395100 0
Current children cumulated CPU time (s) 1798.1
Current children cumulated vsize (KiB) 1582976
Child status: 0
Real time (s): 1798.84
CPU time (s): 1798.15
CPU user time (s): 1796.03
CPU system time (s): 2.12368
CPU usage (%): 99.9617
Max. virtual memory (cumulated for all children) (KiB): 1582976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.03
system time used= 2.12368
maximum resident set size= 1575284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 397843
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= 608
involuntary context switches= 1863
runsolver used 6.10707 second user time and 15.6966 second system time
The end