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-3707474-1338138725/watcher-3707474-1338138725 -o /tmp/evaluation-result-3707474-1338138725/solver-3707474-1338138725 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707474-1338138725.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.03 1.50 1.79 3/175 12039
/proc/meminfo: memFree=28276112/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=10928 CPUtime=0 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 331 0 0 0 0 0 0 0 20 0 1 0 280001003 11190272 275 33554432000 134512640 137138936 4294281360 4294275596 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12039/statm: 2732 275 184 642 0 2088 0
[startup+0.0310599 s]
/proc/loadavg: 1.03 1.50 1.79 3/175 12039
/proc/meminfo: memFree=28276112/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=11056 CPUtime=0.02 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 365 0 0 0 2 0 0 0 20 0 1 0 280001003 11321344 309 33554432000 134512640 137138936 4294281360 4294280288 134542286 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12039/statm: 2764 309 192 642 0 2120 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11056
[startup+0.100209 s]
/proc/loadavg: 1.03 1.50 1.79 3/175 12039
/proc/meminfo: memFree=28276112/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=11448 CPUtime=0.09 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 472 0 0 0 9 0 0 0 20 0 1 0 280001003 11722752 416 33554432000 134512640 137138936 4294281360 4294280100 134538980 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12039/statm: 2862 416 192 642 0 2218 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11448
[startup+0.300179 s]
/proc/loadavg: 1.03 1.50 1.79 3/175 12039
/proc/meminfo: memFree=28276112/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=12688 CPUtime=0.29 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 795 0 0 0 29 0 0 0 20 0 1 0 280001003 12992512 739 33554432000 134512640 137138936 4294281360 4294280288 134542544 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12039/statm: 3172 739 192 642 0 2528 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12688
[startup+0.700179 s]
/proc/loadavg: 1.03 1.50 1.79 3/175 12039
/proc/meminfo: memFree=28276112/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=14664 CPUtime=0.69 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 1281 0 0 0 69 0 0 0 20 0 1 0 280001003 15015936 1225 33554432000 134512640 137138936 4294281360 4294280288 134542439 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12039/statm: 3666 1225 192 642 0 3022 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14664
[startup+1.50018 s]
/proc/loadavg: 1.03 1.50 1.79 4/177 12041
/proc/meminfo: memFree=28267764/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=17644 CPUtime=1.49 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 2027 0 0 0 148 1 0 0 20 0 1 0 280001003 18067456 1971 33554432000 134512640 137138936 4294281360 4294280288 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12039/statm: 4411 1971 192 642 0 3767 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17644
[startup+3.10018 s]
/proc/loadavg: 1.03 1.50 1.79 4/177 12041
/proc/meminfo: memFree=28262672/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=22112 CPUtime=3.08 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 3157 0 0 0 307 1 0 0 20 0 1 0 280001003 22642688 3098 33554432000 134512640 137138936 4294281360 4294280288 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12039/statm: 5528 3098 192 642 0 4884 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 22112
[startup+6.30025 s]
/proc/loadavg: 1.11 1.50 1.79 3/177 12079
/proc/meminfo: memFree=28246108/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=25948 CPUtime=6.29 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 4101 0 0 0 626 3 0 0 20 0 1 0 280001003 26570752 4042 33554432000 134512640 137138936 4294281360 4294279640 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 6487 4042 192 642 0 5843 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25948
[startup+12.7003 s]
/proc/loadavg: 1.18 1.51 1.80 3/177 12079
/proc/meminfo: memFree=28229192/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=27792 CPUtime=12.68 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 4562 0 0 0 1265 3 0 0 20 0 1 0 280001003 28459008 4503 33554432000 134512640 137138936 4294281360 4294280288 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 6948 4503 192 642 0 6304 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 27792
[startup+25.5003 s]
/proc/loadavg: 1.36 1.54 1.80 3/177 12079
/proc/meminfo: memFree=28218432/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=29864 CPUtime=25.49 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 5098 0 0 0 2544 5 0 0 20 0 1 0 280001003 30580736 5039 33554432000 134512640 137138936 4294281360 4294280288 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 7466 5039 192 642 0 6822 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 29864
[startup+51.1003 s]
/proc/loadavg: 1.58 1.57 1.80 3/177 12079
/proc/meminfo: memFree=28208120/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=34016 CPUtime=51.08 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 6124 0 0 0 5100 8 0 0 20 0 1 0 280001003 34832384 6063 33554432000 134512640 137138936 4294281360 4294280476 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 8504 6063 192 642 0 7860 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 34016
[startup+102.306 s]
/proc/loadavg: 1.81 1.64 1.81 3/177 12079
/proc/meminfo: memFree=28195080/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=39700 CPUtime=102.27 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 7563 0 0 0 10214 13 0 0 20 0 1 0 280001003 40652800 7497 33554432000 134512640 137138936 4294281360 4294279640 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 9925 7497 192 642 0 9281 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 39700
[startup+162.3 s]
/proc/loadavg: 1.93 1.70 1.82 3/177 12079
/proc/meminfo: memFree=28188068/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=41668 CPUtime=162.26 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 8047 0 0 0 16208 18 0 0 20 0 1 0 280001003 42668032 7978 33554432000 134512640 137138936 4294281360 4294280288 134542752 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 10417 7978 192 642 0 9773 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 41668
[startup+222.3 s]
/proc/loadavg: 1.97 1.75 1.83 3/177 12079
/proc/meminfo: memFree=28181240/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=43668 CPUtime=222.25 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 8552 0 0 0 22200 25 0 0 20 0 1 0 280001003 44716032 8481 33554432000 134512640 137138936 4294281360 4294280288 134542624 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 10917 8481 192 642 0 10273 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 43668
[startup+282.3 s]
/proc/loadavg: 1.99 1.79 1.83 3/177 12080
/proc/meminfo: memFree=28179500/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=46136 CPUtime=282.24 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 9170 0 0 0 28195 29 0 0 20 0 1 0 280001003 47243264 9099 33554432000 134512640 137138936 4294281360 4294280476 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 11534 9099 192 642 0 10890 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 46136
[startup+342.3 s]
/proc/loadavg: 1.99 1.83 1.84 3/177 12080
/proc/meminfo: memFree=28171996/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=48184 CPUtime=342.24 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 9689 0 0 0 34189 35 0 0 20 0 1 0 280001003 49340416 9616 33554432000 134512640 137138936 4294281360 4294280476 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 12046 9616 192 642 0 11402 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 48184
[startup+402.3 s]
/proc/loadavg: 1.99 1.86 1.85 3/177 12080
/proc/meminfo: memFree=28166724/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=49336 CPUtime=402.22 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 9981 0 0 0 40183 39 0 0 20 0 1 0 280001003 50520064 9908 33554432000 134512640 137138936 4294281360 4294280288 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 12334 9908 192 642 0 11690 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 49336
[startup+462.3 s]
/proc/loadavg: 2.04 1.89 1.86 3/177 12080
/proc/meminfo: memFree=28162568/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=51376 CPUtime=462.22 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 10489 0 0 0 46177 45 0 0 20 0 1 0 280001003 52609024 10415 33554432000 134512640 137138936 4294281360 4294280288 134542972 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 12844 10415 192 642 0 12200 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 51376
[startup+522.3 s]
/proc/loadavg: 2.01 1.91 1.86 3/178 12083
/proc/meminfo: memFree=28160012/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=51528 CPUtime=522.2 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 10531 0 0 0 52171 49 0 0 20 0 1 0 280001003 52764672 10455 33554432000 134512640 137138936 4294281360 4294280476 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 12882 10455 192 642 0 12238 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 51528
[startup+582.3 s]
/proc/loadavg: 2.00 1.92 1.87 3/177 12084
/proc/meminfo: memFree=28159088/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=51528 CPUtime=582.2 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 10531 0 0 0 58166 54 0 0 20 0 1 0 280001003 52764672 10455 33554432000 134512640 137138936 4294281360 4294280072 136504089 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 12882 10455 192 642 0 12238 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 51528
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28135624/32873844 swapFree=7616/7616
[pid=12039] ppid=12035 vsize=64036 CPUtime=1122.11 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 13661 0 0 0 112112 99 0 0 20 0 1 0 280001003 65572864 13581 33554432000 134512640 137138936 4294281360 4294280288 134542202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 16009 13581 192 642 0 15365 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 64036
[startup+1182.3 s]
/proc/loadavg: 2.00 1.98 1.91 3/177 12089
/proc/meminfo: memFree=28134512/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=65276 CPUtime=1182.1 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 13973 0 0 0 118106 104 0 0 20 0 1 0 280001003 66842624 13891 33554432000 134512640 137138936 4294281360 4294280476 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 16319 13891 192 642 0 15675 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 65276
[startup+1242.3 s]
/proc/loadavg: 2.03 2.00 1.91 3/177 12089
/proc/meminfo: memFree=28133332/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=66072 CPUtime=1242.09 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 14174 0 0 0 124102 107 0 0 20 0 1 0 280001003 67657728 14091 33554432000 134512640 137138936 4294281360 4294280288 134542325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 16518 14091 192 642 0 15874 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 66072
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/177 12089
/proc/meminfo: memFree=28129116/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=66068 CPUtime=1302.09 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 14174 0 0 0 130097 112 0 0 20 0 1 0 280001003 67653632 14091 33554432000 134512640 137138936 4294281360 4294280280 135984582 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 16517 14091 192 642 0 15873 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 66068
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 12089
/proc/meminfo: memFree=28130112/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=65936 CPUtime=1362.08 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 14174 0 0 0 136091 117 0 0 20 0 1 0 280001003 67518464 14059 33554432000 134512640 137138936 4294281360 4294280288 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 16484 14059 192 642 0 15840 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 65936
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 12091
/proc/meminfo: memFree=28129724/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=65932 CPUtime=1422.08 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 14174 0 0 0 142087 121 0 0 20 0 1 0 280001003 67514368 14058 33554432000 134512640 137138936 4294281360 4294280280 135984589 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 16483 14058 192 642 0 15839 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 65932
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 12091
/proc/meminfo: memFree=28129616/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=65924 CPUtime=1482.06 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 14174 0 0 0 148082 124 0 0 20 0 1 0 280001003 67506176 14056 33554432000 134512640 137138936 4294281360 4294280112 134575640 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 16481 14056 192 642 0 15837 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 65924
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 12092
/proc/meminfo: memFree=28128244/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=65924 CPUtime=1542.05 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 14174 0 0 0 154077 128 0 0 20 0 1 0 280001003 67506176 14056 33554432000 134512640 137138936 4294281360 4294280288 134542640 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 16481 14056 192 642 0 15837 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 65924
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 12092
/proc/meminfo: memFree=28124772/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=65916 CPUtime=1602.04 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 14174 0 0 0 160072 132 0 0 20 0 1 0 280001003 67497984 14054 33554432000 134512640 137138936 4294281360 4294280288 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 16479 14054 192 642 0 15835 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 65916
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 12092
/proc/meminfo: memFree=28124892/32873844 swapFree=7616/7616
[pid=12039] ppid=12035 vsize=66004 CPUtime=1662.03 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 14197 0 0 0 166066 137 0 0 20 0 1 0 280001003 67588096 14076 33554432000 134512640 137138936 4294281360 4294280276 136297620 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 16501 14076 192 642 0 15857 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 66004
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 1.92 3/178 12095
/proc/meminfo: memFree=28124016/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=66804 CPUtime=1722.03 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 14401 0 0 0 172062 141 0 0 20 0 1 0 280001003 68407296 14276 33554432000 134512640 137138936 4294281360 4294280476 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 16701 14276 192 642 0 16057 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 66804
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/177 12095
/proc/meminfo: memFree=28123528/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=66768 CPUtime=1782.01 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 14401 0 0 0 178056 145 0 0 20 0 1 0 280001003 68370432 14267 33554432000 134512640 137138936 4294281360 4294280288 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 16692 14267 192 642 0 16048 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 66768
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.01 2.00 1.92 3/176 12095
/proc/meminfo: memFree=28124148/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=66768 CPUtime=1791.62 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 14401 0 0 0 179016 146 0 0 20 0 1 0 280001003 68370432 14267 33554432000 134512640 137138936 4294281360 4294280288 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 16692 14267 192 642 0 16048 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 66768
[startup+1795.1 s]
/proc/loadavg: 2.01 2.00 1.92 3/176 12095
/proc/meminfo: memFree=28124156/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=66768 CPUtime=1794.81 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 14401 0 0 0 179335 146 0 0 20 0 1 0 280001003 68370432 14267 33554432000 134512640 137138936 4294281360 4294280288 134542164 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 16692 14267 192 642 0 16048 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 66768
[startup+1796.7 s]
/proc/loadavg: 2.01 2.00 1.92 3/177 12096
/proc/meminfo: memFree=28124148/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=66768 CPUtime=1796.41 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 14401 0 0 0 179494 147 0 0 20 0 1 0 280001003 68370432 14267 33554432000 134512640 137138936 4294281360 4294280288 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 16692 14267 192 642 0 16048 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 66768
[startup+1797.5 s]
/proc/loadavg: 2.01 2.00 1.92 3/177 12096
/proc/meminfo: memFree=28124148/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=66768 CPUtime=1797.21 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 14401 0 0 0 179574 147 0 0 20 0 1 0 280001003 68370432 14267 33554432000 134512640 137138936 4294281360 4294280288 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 16692 14267 192 642 0 16048 0
Current children cumulated CPU time (s) 1797.21
Current children cumulated vsize (KiB) 66768
[startup+1797.9 s]
/proc/loadavg: 2.01 2.00 1.92 3/177 12096
/proc/meminfo: memFree=28124148/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=66768 CPUtime=1797.61 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 14401 0 0 0 179614 147 0 0 20 0 1 0 280001003 68370432 14267 33554432000 134512640 137138936 4294281360 4294280256 134542286 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 16692 14267 192 642 0 16048 0
Current children cumulated CPU time (s) 1797.61
Current children cumulated vsize (KiB) 66768
[startup+1798.1 s]
/proc/loadavg: 2.01 2.00 1.92 3/177 12096
/proc/meminfo: memFree=28124148/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=66768 CPUtime=1797.81 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 14401 0 0 0 179634 147 0 0 20 0 1 0 280001003 68370432 14267 33554432000 134512640 137138936 4294281360 4294280288 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 16692 14267 192 642 0 16048 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 66768
[startup+1798.2 s]
/proc/loadavg: 2.01 2.00 1.92 3/177 12096
/proc/meminfo: memFree=28124148/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=66768 CPUtime=1797.91 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 14401 0 0 0 179644 147 0 0 20 0 1 0 280001003 68370432 14267 33554432000 134512640 137138936 4294281360 4294280256 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 16692 14267 192 642 0 16048 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 66768
Child status: 0
Real time (s): 1798.28
CPU time (s): 1798
CPU user time (s): 1796.53
CPU system time (s): 1.47278
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 66932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.53
system time used= 1.47278
maximum resident set size= 57104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14401
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= 29
involuntary context switches= 1935
runsolver used 2.73358 second user time and 7.07592 second system time
The end