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-3732650-1338704871/watcher-3732650-1338704871 -o /tmp/evaluation-result-3732650-1338704871/solver-3732650-1338704871 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3732650-1338704871.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: 1.99 1.98 1.99 3/176 8928
/proc/meminfo: memFree=26698540/32873844 swapFree=7628/7628
[pid=8928] ppid=8926 vsize=11668 CPUtime=0 cores=0,2,4,6
/proc/8928/stat : 8928 (bsolo) R 8926 8928 8349 0 -1 4202496 406 0 0 0 0 0 0 0 20 0 1 0 336611509 11948032 359 33554432000 134512640 137136520 4288683712 4288682104 136504572 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8928/statm: 2917 359 186 641 0 2161 0
[startup+0.0589181 s]
/proc/loadavg: 1.99 1.98 1.99 3/176 8928
/proc/meminfo: memFree=26698540/32873844 swapFree=7628/7628
[pid=8928] ppid=8926 vsize=13652 CPUtime=0.05 cores=0,2,4,6
/proc/8928/stat : 8928 (bsolo) R 8926 8928 8349 0 -1 4202496 1145 0 0 0 5 0 0 0 20 0 1 0 336611509 13979648 986 33554432000 134512640 137136520 4288683712 4288606188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8928/statm: 3413 986 188 641 0 2769 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13652
[startup+0.100277 s]
/proc/loadavg: 1.99 1.98 1.99 3/176 8928
/proc/meminfo: memFree=26698540/32873844 swapFree=7628/7628
[pid=8928] ppid=8926 vsize=13768 CPUtime=0.09 cores=0,2,4,6
/proc/8928/stat : 8928 (bsolo) R 8926 8928 8349 0 -1 4202496 1203 0 0 0 9 0 0 0 20 0 1 0 336611509 14098432 1027 33554432000 134512640 137136520 4288683712 4288682828 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8928/statm: 3442 1027 197 641 0 2798 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13768
[startup+0.300238 s]
/proc/loadavg: 1.99 1.98 1.99 3/176 8928
/proc/meminfo: memFree=26698540/32873844 swapFree=7628/7628
[pid=8928] ppid=8926 vsize=13768 CPUtime=0.29 cores=0,2,4,6
/proc/8928/stat : 8928 (bsolo) R 8926 8928 8349 0 -1 4202496 1203 0 0 0 29 0 0 0 20 0 1 0 336611509 14098432 1027 33554432000 134512640 137136520 4288683712 4288682828 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8928/statm: 3442 1027 197 641 0 2798 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13768
[startup+0.700238 s]
/proc/loadavg: 1.99 1.98 1.99 3/176 8928
/proc/meminfo: memFree=26698540/32873844 swapFree=7628/7628
[pid=8928] ppid=8926 vsize=14220 CPUtime=0.69 cores=0,2,4,6
/proc/8928/stat : 8928 (bsolo) R 8926 8928 8349 0 -1 4202496 1296 0 0 0 69 0 0 0 20 0 1 0 336611509 14561280 1120 33554432000 134512640 137136520 4288683712 4288682220 136698750 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8928/statm: 3555 1120 197 641 0 2911 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14220
[startup+1.50024 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 8929
/proc/meminfo: memFree=26693828/32873844 swapFree=7628/7628
[pid=8928] ppid=8926 vsize=15832 CPUtime=1.48 cores=0,2,4,6
/proc/8928/stat : 8928 (bsolo) R 8926 8928 8349 0 -1 4202496 1699 0 0 0 148 0 0 0 20 0 1 0 336611509 16211968 1523 33554432000 134512640 137136520 4288683712 4288682828 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8928/statm: 3958 1523 197 641 0 3314 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 15832
[startup+3.10024 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 8929
/proc/meminfo: memFree=26691324/32873844 swapFree=7628/7628
[pid=8928] ppid=8926 vsize=17772 CPUtime=3.09 cores=0,2,4,6
/proc/8928/stat : 8928 (bsolo) R 8926 8928 8349 0 -1 4202496 2184 0 0 0 308 1 0 0 20 0 1 0 336611509 18198528 2008 33554432000 134512640 137136520 4288683712 4288682828 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8928/statm: 4443 2008 197 641 0 3799 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17772
[startup+6.30024 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 8929
/proc/meminfo: memFree=26689588/32873844 swapFree=7628/7628
[pid=8928] ppid=8926 vsize=18308 CPUtime=6.29 cores=0,2,4,6
/proc/8928/stat : 8928 (bsolo) R 8926 8928 8349 0 -1 4202496 2331 0 0 0 628 1 0 0 20 0 1 0 336611509 18747392 2155 33554432000 134512640 137136520 4288683712 4288682640 134543787 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8928/statm: 4577 2155 197 641 0 3933 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18308
[startup+12.7002 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 8929
/proc/meminfo: memFree=26688388/32873844 swapFree=7628/7628
[pid=8928] ppid=8926 vsize=19164 CPUtime=12.68 cores=0,2,4,6
/proc/8928/stat : 8928 (bsolo) R 8926 8928 8349 0 -1 4202496 2545 0 0 0 1267 1 0 0 20 0 1 0 336611509 19623936 2369 33554432000 134512640 137136520 4288683712 4288682816 134545151 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8928/statm: 4791 2369 197 641 0 4147 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 19164
[startup+25.5003 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 8929
/proc/meminfo: memFree=26687628/32873844 swapFree=7628/7628
[pid=8928] ppid=8926 vsize=19488 CPUtime=25.48 cores=0,2,4,6
/proc/8928/stat : 8928 (bsolo) R 8926 8928 8349 0 -1 4202496 2626 0 0 0 2545 3 0 0 20 0 1 0 336611509 19955712 2450 33554432000 134512640 137136520 4288683712 4288682828 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8928/statm: 4872 2450 197 641 0 4228 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19488
[startup+51.1002 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 8929
/proc/meminfo: memFree=26684888/32873844 swapFree=7628/7628
[pid=8928] ppid=8926 vsize=22084 CPUtime=51.08 cores=0,2,4,6
/proc/8928/stat : 8928 (bsolo) R 8926 8928 8349 0 -1 4202496 3270 0 0 0 5101 7 0 0 20 0 1 0 336611509 22614016 3102 33554432000 134512640 137136520 4288683712 4288682640 134543793 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8928/statm: 5521 3102 197 641 0 4877 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 22084
[startup+102.306 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 8929
/proc/meminfo: memFree=26682528/32873844 swapFree=7628/7628
[pid=8928] ppid=8926 vsize=24000 CPUtime=102.28 cores=0,2,4,6
/proc/8928/stat : 8928 (bsolo) R 8926 8928 8349 0 -1 4202496 3771 0 0 0 10215 13 0 0 20 0 1 0 336611509 24576000 3597 33554432000 134512640 137136520 4288683712 4288682640 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8928/statm: 6000 3597 197 641 0 5356 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 24000
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 8932
/proc/meminfo: memFree=26676684/32873844 swapFree=7628/7628
[pid=8928] ppid=8926 vsize=24336 CPUtime=162.26 cores=0,2,4,6
/proc/8928/stat : 8928 (bsolo) R 8926 8928 8349 0 -1 4202496 3836 0 0 0 16207 19 0 0 20 0 1 0 336611509 24920064 3661 33554432000 134512640 137136520 4288683712 4288682828 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8928/statm: 6084 3661 197 641 0 5440 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 24336
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 8932
/proc/meminfo: memFree=26672784/32873844 swapFree=7628/7628
[pid=8928] ppid=8926 vsize=25604 CPUtime=222.25 cores=0,2,4,6
/proc/8928/stat : 8928 (bsolo) R 8926 8928 8349 0 -1 4202496 4166 0 0 0 22203 22 0 0 20 0 1 0 336611509 26218496 3991 33554432000 134512640 137136520 4288683712 4288682036 136498324 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8928/statm: 6401 3991 197 641 0 5757 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 25604
[startup+282.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 8933
/proc/meminfo: memFree=26669800/32873844 swapFree=7628/7628
[pid=8928] ppid=8926 vsize=25716 CPUtime=282.24 cores=0,2,4,6
/proc/8928/stat : 8928 (bsolo) R 8926 8928 8349 0 -1 4202496 4185 0 0 0 28196 28 0 0 20 0 1 0 336611509 26333184 4009 33554432000 134512640 137136520 4288683712 4288682412 136518953 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8928/statm: 6429 4009 197 641 0 5785 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 25716
[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 8933
/proc/meminfo: memFree=26668312/32873844 swapFree=7628/7628
[pid=8928] ppid=8926 vsize=26852 CPUtime=342.23 cores=0,2,4,6
/proc/8928/stat : 8928 (bsolo) R 8926 8928 8349 0 -1 4202496 4483 0 0 0 34189 34 0 0 20 0 1 0 336611509 27496448 4307 33554432000 134512640 137136520 4288683712 4288682828 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8928/statm: 6713 4307 197 641 0 6069 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 26852
[startup+402.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 8933
/proc/meminfo: memFree=26668312/32873844 swapFree=7628/7628
[pid=8928] ppid=8926 vsize=26752 CPUtime=402.22 cores=0,2,4,6
/proc/8928/stat : 8928 (bsolo) R 8926 8928 8349 0 -1 4202496 4484 0 0 0 40182 40 0 0 20 0 1 0 336611509 27394048 4285 33554432000 134512640 137136520 4288683712 4288682828 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8928/statm: 6688 4285 197 641 0 6044 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 26752
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 8933
/proc/meminfo: memFree=26662980/32873844 swapFree=7628/7628
[pid=8928] ppid=8926 vsize=26736 CPUtime=462.22 cores=0,2,4,6
/proc/8928/stat : 8928 (bsolo) R 8926 8928 8349 0 -1 4202496 4484 0 0 0 46175 47 0 0 20 0 1 0 336611509 27377664 4281 33554432000 134512640 137136520 4288683712 4288682828 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8928/statm: 6684 4281 197 641 0 6040 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 26736
[startup+522.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 8934
/proc/meminfo: memFree=26661912/32873844 swapFree=7628/7628
[pid=8928] ppid=8926 vsize=26736 CPUtime=522.2 cores=0,2,4,6
/proc/8928/stat : 8928 (bsolo) R 8926 8928 8349 0 -1 4202496 4484 0 0 0 52168 52 0 0 20 0 1 0 336611509 27377664 4281 33554432000 134512640 137136520 4288683712 4288682828 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8928/statm: 6684 4281 197 641 0 6040 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 26736
[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 8935
/proc/meminfo: memFree=26661856/32873844 swapFree=7628/7628
[pid=8928] ppid=8926 vsize=26744 CPUtime=582.19 cores=0,2,4,6
/proc/8928/stat : 8928 (bsolo) R 8926 8928 8349 0 -1 4202496 4486 0 0 0 58161 58 0 0 20 0 1 0 336611509 27385856 4283 33554432000 134512640 137136520 4288683712 4288682828 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8928/statm: 6686 4283 197 641 0 6042 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 26744
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26653472/32873844 swapFree=7628/7628
[pid=8928] ppid=8926 vsize=27848 CPUtime=1122.12 cores=0,2,4,6
/proc/8928/stat : 8928 (bsolo) R 8926 8928 8349 0 -1 4202496 4787 0 0 0 112099 113 0 0 20 0 1 0 336611509 28516352 4559 33554432000 134512640 137136520 4288683712 4288682828 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8928/statm: 6962 4559 197 641 0 6318 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 27848
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8940
/proc/meminfo: memFree=26653348/32873844 swapFree=7628/7628
[pid=8928] ppid=8926 vsize=27848 CPUtime=1182.1 cores=0,2,4,6
/proc/8928/stat : 8928 (bsolo) R 8926 8928 8349 0 -1 4202496 4787 0 0 0 118091 119 0 0 20 0 1 0 336611509 28516352 4559 33554432000 134512640 137136520 4288683712 4288682640 134543933 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8928/statm: 6962 4559 197 641 0 6318 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 27848
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8940
/proc/meminfo: memFree=26653472/32873844 swapFree=7628/7628
[pid=8928] ppid=8926 vsize=27848 CPUtime=1242.09 cores=0,2,4,6
/proc/8928/stat : 8928 (bsolo) R 8926 8928 8349 0 -1 4202496 4787 0 0 0 124084 125 0 0 20 0 1 0 336611509 28516352 4559 33554432000 134512640 137136520 4288683712 4288682828 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8928/statm: 6962 4559 197 641 0 6318 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 27848
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8940
/proc/meminfo: memFree=26653224/32873844 swapFree=7628/7628
[pid=8928] ppid=8926 vsize=27852 CPUtime=1302.09 cores=0,2,4,6
/proc/8928/stat : 8928 (bsolo) R 8926 8928 8349 0 -1 4202496 4788 0 0 0 130077 132 0 0 20 0 1 0 336611509 28520448 4560 33554432000 134512640 137136520 4288683712 4288682640 134544604 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8928/statm: 6963 4560 197 641 0 6319 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 27852
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8943
/proc/meminfo: memFree=26653836/32873844 swapFree=7628/7628
[pid=8928] ppid=8926 vsize=27980 CPUtime=1362.07 cores=0,2,4,6
/proc/8928/stat : 8928 (bsolo) R 8926 8928 8349 0 -1 4202496 4808 0 0 0 136069 138 0 0 20 0 1 0 336611509 28651520 4580 33554432000 134512640 137136520 4288683712 4288682828 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8928/statm: 6995 4580 197 641 0 6351 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 27980
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8943
/proc/meminfo: memFree=26652852/32873844 swapFree=7628/7628
[pid=8928] ppid=8926 vsize=28888 CPUtime=1422.07 cores=0,2,4,6
/proc/8928/stat : 8928 (bsolo) R 8926 8928 8349 0 -1 4202496 5049 0 0 0 142063 144 0 0 20 0 1 0 336611509 29581312 4819 33554432000 134512640 137136520 4288683712 4288682828 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8928/statm: 7222 4819 197 641 0 6578 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 28888
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8943
/proc/meminfo: memFree=26645972/32873844 swapFree=7628/7628
[pid=8928] ppid=8926 vsize=28796 CPUtime=1482.05 cores=0,2,4,6
/proc/8928/stat : 8928 (bsolo) R 8926 8928 8349 0 -1 4202496 5049 0 0 0 148054 151 0 0 20 0 1 0 336611509 29487104 4796 33554432000 134512640 137136520 4288683712 4288682828 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8928/statm: 7199 4796 197 641 0 6555 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 28796
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8944
/proc/meminfo: memFree=26645280/32873844 swapFree=7628/7628
[pid=8928] ppid=8926 vsize=29528 CPUtime=1542.04 cores=0,2,4,6
/proc/8928/stat : 8928 (bsolo) R 8926 8928 8349 0 -1 4202496 5240 0 0 0 154047 157 0 0 20 0 1 0 336611509 30236672 4979 33554432000 134512640 137136520 4288683712 4288682828 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8928/statm: 7382 4979 197 641 0 6738 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 29528
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9040
/proc/meminfo: memFree=26616680/32873844 swapFree=7628/7628
[pid=8928] ppid=8926 vsize=29528 CPUtime=1602.04 cores=0,2,4,6
/proc/8928/stat : 8928 (bsolo) R 8926 8928 8349 0 -1 4202496 5240 0 0 0 160040 164 0 0 20 0 1 0 336611509 30236672 4979 33554432000 134512640 137136520 4288683712 4288682640 134544245 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8928/statm: 7382 4979 197 641 0 6738 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 29528
[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 9040
/proc/meminfo: memFree=26379496/32873844 swapFree=7628/7628
[pid=8928] ppid=8926 vsize=29528 CPUtime=1662.03 cores=0,2,4,6
/proc/8928/stat : 8928 (bsolo) R 8926 8928 8349 0 -1 4202496 5240 0 0 0 166033 170 0 0 20 0 1 0 336611509 30236672 4979 33554432000 134512640 137136520 4288683712 4288682640 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8928/statm: 7382 4979 197 641 0 6738 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 29528
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 9040
/proc/meminfo: memFree=26164508/32873844 swapFree=7628/7628
[pid=8928] ppid=8926 vsize=30508 CPUtime=1722.02 cores=0,2,4,6
/proc/8928/stat : 8928 (bsolo) R 8926 8928 8349 0 -1 4202496 5474 0 0 0 172027 175 0 0 20 0 1 0 336611509 31240192 5213 33554432000 134512640 137136520 4288683712 4288682752 134540859 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8928/statm: 7627 5213 197 641 0 6983 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 30508
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9040
/proc/meminfo: memFree=25951876/32873844 swapFree=7628/7628
[pid=8928] ppid=8926 vsize=31236 CPUtime=1782.01 cores=0,2,4,6
/proc/8928/stat : 8928 (bsolo) R 8926 8928 8349 0 -1 4202496 5662 0 0 0 178019 182 0 0 20 0 1 0 336611509 31985664 5396 33554432000 134512640 137136520 4288683712 4288682396 136518888 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8928/statm: 7809 5396 197 641 0 7165 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 31236
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9041
/proc/meminfo: memFree=25921604/32873844 swapFree=7628/7628
[pid=8928] ppid=8926 vsize=31232 CPUtime=1791.61 cores=0,2,4,6
/proc/8928/stat : 8928 (bsolo) R 8926 8928 8349 0 -1 4202496 5662 0 0 0 178979 182 0 0 20 0 1 0 336611509 31981568 5396 33554432000 134512640 137136520 4288683712 4288682828 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8928/statm: 7808 5396 197 641 0 7164 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 31232
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9041
/proc/meminfo: memFree=25913296/32873844 swapFree=7628/7628
[pid=8928] ppid=8926 vsize=31232 CPUtime=1794.81 cores=0,2,4,6
/proc/8928/stat : 8928 (bsolo) R 8926 8928 8349 0 -1 4202496 5662 0 0 0 179299 182 0 0 20 0 1 0 336611509 31981568 5396 33554432000 134512640 137136520 4288683712 4288682828 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8928/statm: 7808 5396 197 641 0 7164 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 31232
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9041
/proc/meminfo: memFree=25909700/32873844 swapFree=7628/7628
[pid=8928] ppid=8926 vsize=31232 CPUtime=1796.4 cores=0,2,4,6
/proc/8928/stat : 8928 (bsolo) R 8926 8928 8349 0 -1 4202496 5662 0 0 0 179458 182 0 0 20 0 1 0 336611509 31981568 5396 33554432000 134512640 137136520 4288683712 4288682828 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8928/statm: 7808 5396 197 641 0 7164 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 31232
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9041
/proc/meminfo: memFree=25905840/32873844 swapFree=7628/7628
[pid=8928] ppid=8926 vsize=31232 CPUtime=1797.21 cores=0,2,4,6
/proc/8928/stat : 8928 (bsolo) R 8926 8928 8349 0 -1 4202496 5662 0 0 0 179538 183 0 0 20 0 1 0 336611509 31981568 5396 33554432000 134512640 137136520 4288683712 4288682368 134597922 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8928/statm: 7808 5396 197 641 0 7164 0
Current children cumulated CPU time (s) 1797.21
Current children cumulated vsize (KiB) 31232
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9041
/proc/meminfo: memFree=25905840/32873844 swapFree=7628/7628
[pid=8928] ppid=8926 vsize=31232 CPUtime=1797.61 cores=0,2,4,6
/proc/8928/stat : 8928 (bsolo) R 8926 8928 8349 0 -1 4202496 5662 0 0 0 179578 183 0 0 20 0 1 0 336611509 31981568 5396 33554432000 134512640 137136520 4288683712 4288682828 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8928/statm: 7808 5396 197 641 0 7164 0
Current children cumulated CPU time (s) 1797.61
Current children cumulated vsize (KiB) 31232
[startup+1798.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9041
/proc/meminfo: memFree=25905840/32873844 swapFree=7628/7628
[pid=8928] ppid=8926 vsize=31232 CPUtime=1797.81 cores=0,2,4,6
/proc/8928/stat : 8928 (bsolo) R 8926 8928 8349 0 -1 4202496 5662 0 0 0 179598 183 0 0 20 0 1 0 336611509 31981568 5396 33554432000 134512640 137136520 4288683712 4288682828 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8928/statm: 7808 5396 197 641 0 7164 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 31232
[startup+1798.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9041
/proc/meminfo: memFree=25905840/32873844 swapFree=7628/7628
[pid=8928] ppid=8926 vsize=31232 CPUtime=1797.91 cores=0,2,4,6
/proc/8928/stat : 8928 (bsolo) R 8926 8928 8349 0 -1 4202496 5662 0 0 0 179608 183 0 0 20 0 1 0 336611509 31981568 5396 33554432000 134512640 137136520 4288683712 4288682308 136499609 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8928/statm: 7808 5396 197 641 0 7164 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 31232
Child status: 0
Real time (s): 1798.29
CPU time (s): 1798
CPU user time (s): 1796.17
CPU system time (s): 1.83272
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 31244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.17
system time used= 1.83272
maximum resident set size= 21584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5663
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= 10
involuntary context switches= 1898
runsolver used 2.5986 second user time and 7.2109 second system time
The end