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-3733002-1338708100/watcher-3733002-1338708100 -o /tmp/evaluation-result-3733002-1338708100/solver-3733002-1338708100 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3733002-1338708100.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.14 2.11 2.04 3/174 20821
/proc/meminfo: memFree=25691784/32873624 swapFree=7112/7112
[pid=20821] ppid=20819 vsize=11484 CPUtime=0 cores=0,2,4,6
/proc/20821/stat : 20821 (bsolo) R 20819 20821 5438 0 -1 4202496 351 0 0 0 0 0 0 0 20 0 1 0 336935482 11759616 304 33554432000 134512640 137136520 4291550832 4291549456 134538970 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/20821/statm: 2871 304 186 641 0 2123 0
[startup+0.0099869 s]
/proc/loadavg: 2.14 2.11 2.04 3/174 20821
/proc/meminfo: memFree=25691784/32873624 swapFree=7112/7112
[pid=20821] ppid=20819 vsize=11624 CPUtime=0 cores=0,2,4,6
/proc/20821/stat : 20821 (bsolo) R 20819 20821 5438 0 -1 4202496 430 0 0 0 0 0 0 0 20 0 1 0 336935482 11902976 383 33554432000 134512640 137136520 4291550832 4291547348 136493520 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/20821/statm: 2906 384 201 641 0 2158 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11624
[startup+0.100201 s]
/proc/loadavg: 2.14 2.11 2.04 3/174 20821
/proc/meminfo: memFree=25691784/32873624 swapFree=7112/7112
[pid=20821] ppid=20819 vsize=13896 CPUtime=0.09 cores=0,2,4,6
/proc/20821/stat : 20821 (bsolo) R 20819 20821 5438 0 -1 4202496 1181 0 0 0 9 0 0 0 20 0 1 0 336935482 14229504 1030 33554432000 134512640 137136520 4291550832 4291543780 136500562 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/20821/statm: 3474 1030 190 641 0 2830 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13896
[startup+0.300177 s]
/proc/loadavg: 2.14 2.11 2.04 3/174 20821
/proc/meminfo: memFree=25691784/32873624 swapFree=7112/7112
[pid=20821] ppid=20819 vsize=16332 CPUtime=0.29 cores=0,2,4,6
/proc/20821/stat : 20821 (bsolo) R 20819 20821 5438 0 -1 4202496 1903 0 0 0 29 0 0 0 20 0 1 0 336935482 16723968 1644 33554432000 134512640 137136520 4291550832 4291549504 134616736 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/20821/statm: 4083 1644 196 641 0 3439 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16332
[startup+0.700171 s]
/proc/loadavg: 2.14 2.11 2.04 3/174 20821
/proc/meminfo: memFree=25691784/32873624 swapFree=7112/7112
[pid=20821] ppid=20819 vsize=21976 CPUtime=0.69 cores=0,2,4,6
/proc/20821/stat : 20821 (bsolo) R 20819 20821 5438 0 -1 4202496 3312 0 0 0 69 0 0 0 20 0 1 0 336935482 22503424 3053 33554432000 134512640 137136520 4291550832 4291549364 134551328 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/20821/statm: 5494 3053 197 641 0 4850 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21976
[startup+1.50018 s]
/proc/loadavg: 2.14 2.11 2.04 3/175 20822
/proc/meminfo: memFree=25674168/32873624 swapFree=7112/7112
[pid=20821] ppid=20819 vsize=32584 CPUtime=1.49 cores=0,2,4,6
/proc/20821/stat : 20821 (bsolo) R 20819 20821 5438 0 -1 4202496 5979 0 0 0 148 1 0 0 20 0 1 0 336935482 33366016 5720 33554432000 134512640 137136520 4291550832 4291549948 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20821/statm: 8146 5720 197 641 0 7502 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32584
[startup+3.1002 s]
/proc/loadavg: 2.14 2.11 2.04 3/175 20822
/proc/meminfo: memFree=25656560/32873624 swapFree=7112/7112
[pid=20821] ppid=20819 vsize=50052 CPUtime=3.08 cores=0,2,4,6
/proc/20821/stat : 20821 (bsolo) R 20819 20821 5438 0 -1 4202496 10325 0 0 0 306 2 0 0 20 0 1 0 336935482 51253248 10066 33554432000 134512640 137136520 4291550832 4291549728 134544402 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20821/statm: 12513 10066 197 641 0 11869 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 50052
[startup+6.30014 s]
/proc/loadavg: 2.13 2.11 2.03 3/175 20822
/proc/meminfo: memFree=25614896/32873624 swapFree=7112/7112
[pid=20821] ppid=20819 vsize=78476 CPUtime=6.29 cores=0,2,4,6
/proc/20821/stat : 20821 (bsolo) R 20819 20821 5438 0 -1 4202496 17436 0 0 0 625 4 0 0 20 0 1 0 336935482 80359424 17177 33554432000 134512640 137136520 4291550832 4291549760 134543933 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20821/statm: 19619 17177 197 641 0 18975 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 78476
[startup+12.7001 s]
/proc/loadavg: 2.12 2.11 2.03 3/175 20822
/proc/meminfo: memFree=25577964/32873624 swapFree=7112/7112
[pid=20821] ppid=20819 vsize=89508 CPUtime=12.69 cores=0,2,4,6
/proc/20821/stat : 20821 (bsolo) R 20819 20821 5438 0 -1 4202496 20209 0 0 0 1264 5 0 0 20 0 1 0 336935482 91656192 19950 33554432000 134512640 137136520 4291550832 4291549284 136499609 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20821/statm: 22377 19950 197 641 0 21733 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 89508
[startup+25.5002 s]
/proc/loadavg: 2.09 2.10 2.03 3/175 20822
/proc/meminfo: memFree=25552280/32873624 swapFree=7112/7112
[pid=20821] ppid=20819 vsize=104328 CPUtime=25.49 cores=0,2,4,6
/proc/20821/stat : 20821 (bsolo) R 20819 20821 5438 0 -1 4202496 23912 0 0 0 2541 8 0 0 20 0 1 0 336935482 106831872 23653 33554432000 134512640 137136520 4291550832 4291549728 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20821/statm: 26082 23653 197 641 0 25438 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 104328
[startup+51.1002 s]
/proc/loadavg: 2.06 2.09 2.03 3/175 20822
/proc/meminfo: memFree=25470736/32873624 swapFree=7112/7112
[pid=20821] ppid=20819 vsize=114228 CPUtime=51.08 cores=0,2,4,6
/proc/20821/stat : 20821 (bsolo) R 20819 20821 5438 0 -1 4202496 26382 0 0 0 5098 10 0 0 20 0 1 0 336935482 116969472 26123 33554432000 134512640 137136520 4291550832 4291549760 134544518 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20821/statm: 28557 26123 197 641 0 27913 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 114228
[startup+102.306 s]
/proc/loadavg: 2.02 2.08 2.03 3/175 20823
/proc/meminfo: memFree=25309084/32873624 swapFree=7112/7112
[pid=20821] ppid=20819 vsize=135016 CPUtime=102.28 cores=0,2,4,6
/proc/20821/stat : 20821 (bsolo) R 20819 20821 5438 0 -1 4202496 31593 0 0 0 10214 14 0 0 20 0 1 0 336935482 138256384 31334 33554432000 134512640 137136520 4291550832 4291549728 134544122 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20821/statm: 33754 31334 197 641 0 33110 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 135016
[startup+162.3 s]
/proc/loadavg: 2.01 2.06 2.02 3/175 20823
/proc/meminfo: memFree=25142516/32873624 swapFree=7112/7112
[pid=20821] ppid=20819 vsize=146692 CPUtime=162.27 cores=0,2,4,6
/proc/20821/stat : 20821 (bsolo) R 20819 20821 5438 0 -1 4202496 34503 0 0 0 16210 17 0 0 20 0 1 0 336935482 150212608 34244 33554432000 134512640 137136520 4291550832 4291549384 136502032 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20821/statm: 36673 34244 197 641 0 36029 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 146692
[startup+222.3 s]
/proc/loadavg: 2.05 2.06 2.02 3/175 20823
/proc/meminfo: memFree=25009244/32873624 swapFree=7112/7112
[pid=20821] ppid=20819 vsize=146912 CPUtime=222.26 cores=0,2,4,6
/proc/20821/stat : 20821 (bsolo) R 20819 20821 5438 0 -1 4202496 34567 0 0 0 22207 19 0 0 20 0 1 0 336935482 150437888 34308 33554432000 134512640 137136520 4291550832 4291549948 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20821/statm: 36728 34308 197 641 0 36084 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 146912
[startup+282.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/175 20823
/proc/meminfo: memFree=24854284/32873624 swapFree=7112/7112
[pid=20821] ppid=20819 vsize=159952 CPUtime=282.25 cores=0,2,4,6
/proc/20821/stat : 20821 (bsolo) R 20819 20821 5438 0 -1 4202496 37821 0 0 0 28203 22 0 0 20 0 1 0 336935482 163790848 37562 33554432000 134512640 137136520 4291550832 4291549760 134544431 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20821/statm: 39988 37562 197 641 0 39344 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 159952
[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/176 20824
/proc/meminfo: memFree=24765644/32873624 swapFree=7112/7112
[pid=20821] ppid=20819 vsize=159936 CPUtime=342.24 cores=0,2,4,6
/proc/20821/stat : 20821 (bsolo) R 20819 20821 5438 0 -1 4202496 37821 0 0 0 34200 24 0 0 20 0 1 0 336935482 163774464 37562 33554432000 134512640 137136520 4291550832 4291549760 134543948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20821/statm: 39984 37562 197 641 0 39340 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 159936
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/175 20825
/proc/meminfo: memFree=24684212/32873624 swapFree=7112/7112
[pid=20821] ppid=20819 vsize=159944 CPUtime=402.23 cores=0,2,4,6
/proc/20821/stat : 20821 (bsolo) R 20819 20821 5438 0 -1 4202496 37823 0 0 0 40197 26 0 0 20 0 1 0 336935482 163782656 37560 33554432000 134512640 137136520 4291550832 4291543956 136498324 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20821/statm: 39986 37560 197 641 0 39342 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 159944
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 20825
/proc/meminfo: memFree=24590124/32873624 swapFree=7112/7112
[pid=20821] ppid=20819 vsize=174272 CPUtime=462.22 cores=0,2,4,6
/proc/20821/stat : 20821 (bsolo) R 20819 20821 5438 0 -1 4202496 41409 0 0 0 46194 28 0 0 20 0 1 0 336935482 178454528 41146 33554432000 134512640 137136520 4291550832 4291549760 134543948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20821/statm: 43568 41146 197 641 0 42924 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 174272
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 20828
/proc/meminfo: memFree=24422808/32873624 swapFree=7112/7112
[pid=20821] ppid=20819 vsize=174260 CPUtime=522.21 cores=0,2,4,6
/proc/20821/stat : 20821 (bsolo) R 20819 20821 5438 0 -1 4202496 41409 0 0 0 52191 30 0 0 20 0 1 0 336935482 178442240 41145 33554432000 134512640 137136520 4291550832 4291549728 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20821/statm: 43565 41145 197 641 0 42921 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 174260
[startup+582.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/175 20828
/proc/meminfo: memFree=24266356/32873624 swapFree=7112/7112
[pid=20821] ppid=20819 vsize=174248 CPUtime=582.2 cores=0,2,4,6
/proc/20821/stat : 20821 (bsolo) R 20819 20821 5438 0 -1 4202496 41409 0 0 0 58187 33 0 0 20 0 1 0 336935482 178429952 41142 33554432000 134512640 137136520 4291550832 4291549760 134544148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20821/statm: 43562 41142 197 641 0 42918 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 174248
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=23243872/32873624 swapFree=7112/7112
[pid=20821] ppid=20819 vsize=207068 CPUtime=1062.13 cores=0,2,4,6
/proc/20821/stat : 20821 (bsolo) R 20819 20821 5438 0 -1 4202496 49669 0 0 0 106161 52 0 0 20 0 1 0 336935482 212037632 49336 33554432000 134512640 137136520 4291550832 4291549760 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20821/statm: 51767 49336 197 641 0 51123 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 207068
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 20833
/proc/meminfo: memFree=23136860/32873624 swapFree=7112/7112
[pid=20821] ppid=20819 vsize=207068 CPUtime=1122.12 cores=0,2,4,6
/proc/20821/stat : 20821 (bsolo) R 20819 20821 5438 0 -1 4202496 49669 0 0 0 112158 54 0 0 20 0 1 0 336935482 212037632 49336 33554432000 134512640 137136520 4291550832 4291549760 134543881 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20821/statm: 51767 49336 197 641 0 51123 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 207068
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20833
/proc/meminfo: memFree=23033480/32873624 swapFree=7112/7112
[pid=20821] ppid=20819 vsize=207276 CPUtime=1182.11 cores=0,2,4,6
/proc/20821/stat : 20821 (bsolo) R 20819 20821 5438 0 -1 4202496 49700 0 0 0 118156 55 0 0 20 0 1 0 336935482 212250624 49367 33554432000 134512640 137136520 4291550832 4291549728 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20821/statm: 51819 49367 197 641 0 51175 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 207276
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20833
/proc/meminfo: memFree=22926136/32873624 swapFree=7112/7112
[pid=20821] ppid=20819 vsize=206600 CPUtime=1242.1 cores=0,2,4,6
/proc/20821/stat : 20821 (bsolo) R 20819 20821 5438 0 -1 4202496 49700 0 0 0 124152 58 0 0 20 0 1 0 336935482 211558400 49230 33554432000 134512640 137136520 4291550832 4291549948 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20821/statm: 51650 49230 197 641 0 51006 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 206600
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20881
/proc/meminfo: memFree=26405028/32873624 swapFree=7112/7112
[pid=20821] ppid=20819 vsize=206600 CPUtime=1302.08 cores=0,2,4,6
/proc/20821/stat : 20821 (bsolo) R 20819 20821 5438 0 -1 4202496 49724 0 0 0 130147 61 0 0 20 0 1 0 336935482 211558400 49230 33554432000 134512640 137136520 4291550832 4291549948 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20821/statm: 51650 49230 197 641 0 51006 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 206600
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20882
/proc/meminfo: memFree=26092244/32873624 swapFree=7112/7112
[pid=20821] ppid=20819 vsize=206600 CPUtime=1362.03 cores=0,2,4,6
/proc/20821/stat : 20821 (bsolo) R 20819 20821 5438 0 -1 4202496 49772 0 0 0 136140 63 0 0 20 0 1 0 336935482 211558400 49230 33554432000 134512640 137136520 4291550832 4291549588 136499620 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20821/statm: 51650 49230 197 641 0 51006 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 206600
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20882
/proc/meminfo: memFree=25803188/32873624 swapFree=7112/7112
[pid=20821] ppid=20819 vsize=206600 CPUtime=1422 cores=0,2,4,6
/proc/20821/stat : 20821 (bsolo) R 20819 20821 5438 0 -1 4202496 49794 0 0 0 142135 65 0 0 20 0 1 0 336935482 211558400 49230 33554432000 134512640 137136520 4291550832 4291549760 134544148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20821/statm: 51650 49230 197 641 0 51006 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 206600
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 20882
/proc/meminfo: memFree=25553496/32873624 swapFree=7112/7112
[pid=20821] ppid=20819 vsize=206600 CPUtime=1481.99 cores=0,2,4,6
/proc/20821/stat : 20821 (bsolo) R 20819 20821 5438 0 -1 4202496 49794 0 0 0 148132 67 0 0 20 0 1 0 336935482 211558400 49230 33554432000 134512640 137136520 4291550832 4291549948 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20821/statm: 51650 49230 197 641 0 51006 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 206600
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 20882
/proc/meminfo: memFree=25365808/32873624 swapFree=7112/7112
[pid=20821] ppid=20819 vsize=206600 CPUtime=1541.98 cores=0,2,4,6
/proc/20821/stat : 20821 (bsolo) R 20819 20821 5438 0 -1 4202496 49794 0 0 0 154129 69 0 0 20 0 1 0 336935482 211558400 49230 33554432000 134512640 137136520 4291550832 4291549760 134543965 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20821/statm: 51650 49230 197 641 0 51006 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 206600
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20882
/proc/meminfo: memFree=25200300/32873624 swapFree=7112/7112
[pid=20821] ppid=20819 vsize=206600 CPUtime=1601.97 cores=0,2,4,6
/proc/20821/stat : 20821 (bsolo) R 20819 20821 5438 0 -1 4202496 49794 0 0 0 160126 71 0 0 20 0 1 0 336935482 211558400 49230 33554432000 134512640 137136520 4291550832 4291549760 134543971 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20821/statm: 51650 49230 197 641 0 51006 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 206600
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20883
/proc/meminfo: memFree=25023008/32873624 swapFree=7112/7112
[pid=20821] ppid=20819 vsize=206444 CPUtime=1661.96 cores=0,2,4,6
/proc/20821/stat : 20821 (bsolo) R 20819 20821 5438 0 -1 4202496 49794 0 0 0 166121 75 0 0 20 0 1 0 336935482 211398656 49191 33554432000 134512640 137136520 4291550832 4291549728 134544148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20821/statm: 51611 49191 197 641 0 50967 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 206444
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 20886
/proc/meminfo: memFree=24904700/32873624 swapFree=7112/7112
[pid=20821] ppid=20819 vsize=206444 CPUtime=1721.96 cores=0,2,4,6
/proc/20821/stat : 20821 (bsolo) R 20819 20821 5438 0 -1 4202496 49794 0 0 0 172117 79 0 0 20 0 1 0 336935482 211398656 49191 33554432000 134512640 137136520 4291550832 4291549760 134544148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20821/statm: 51611 49191 197 641 0 50967 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 206444
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20886
/proc/meminfo: memFree=24790408/32873624 swapFree=7112/7112
[pid=20821] ppid=20819 vsize=206444 CPUtime=1781.95 cores=0,2,4,6
/proc/20821/stat : 20821 (bsolo) R 20819 20821 5438 0 -1 4202496 49794 0 0 0 178113 82 0 0 20 0 1 0 336935482 211398656 49191 33554432000 134512640 137136520 4291550832 4291549760 134544016 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20821/statm: 51611 49191 197 641 0 50967 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 206444
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20886
/proc/meminfo: memFree=24770428/32873624 swapFree=7112/7112
[pid=20821] ppid=20819 vsize=206444 CPUtime=1791.55 cores=0,2,4,6
/proc/20821/stat : 20821 (bsolo) R 20819 20821 5438 0 -1 4202496 49794 0 0 0 179073 82 0 0 20 0 1 0 336935482 211398656 49191 33554432000 134512640 137136520 4291550832 4291549760 134544245 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20821/statm: 51611 49191 197 641 0 50967 0
Current children cumulated CPU time (s) 1791.55
Current children cumulated vsize (KiB) 206444
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20886
/proc/meminfo: memFree=24764228/32873624 swapFree=7112/7112
[pid=20821] ppid=20819 vsize=206444 CPUtime=1794.75 cores=0,2,4,6
/proc/20821/stat : 20821 (bsolo) R 20819 20821 5438 0 -1 4202496 49794 0 0 0 179393 82 0 0 20 0 1 0 336935482 211398656 49191 33554432000 134512640 137136520 4291550832 4291549692 136518854 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20821/statm: 51611 49191 197 641 0 50967 0
Current children cumulated CPU time (s) 1794.75
Current children cumulated vsize (KiB) 206444
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20886
/proc/meminfo: memFree=24761376/32873624 swapFree=7112/7112
[pid=20821] ppid=20819 vsize=206444 CPUtime=1796.34 cores=0,2,4,6
/proc/20821/stat : 20821 (bsolo) R 20819 20821 5438 0 -1 4202496 49794 0 0 0 179552 82 0 0 20 0 1 0 336935482 211398656 49191 33554432000 134512640 137136520 4291550832 4291549544 136502038 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20821/statm: 51611 49191 197 641 0 50967 0
Current children cumulated CPU time (s) 1796.34
Current children cumulated vsize (KiB) 206444
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20886
/proc/meminfo: memFree=24758896/32873624 swapFree=7112/7112
[pid=20821] ppid=20819 vsize=206444 CPUtime=1797.14 cores=0,2,4,6
/proc/20821/stat : 20821 (bsolo) R 20819 20821 5438 0 -1 4202496 49794 0 0 0 179632 82 0 0 20 0 1 0 336935482 211398656 49191 33554432000 134512640 137136520 4291550832 4291549760 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20821/statm: 51611 49191 197 641 0 50967 0
Current children cumulated CPU time (s) 1797.14
Current children cumulated vsize (KiB) 206444
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20886
/proc/meminfo: memFree=24758896/32873624 swapFree=7112/7112
[pid=20821] ppid=20819 vsize=206444 CPUtime=1797.55 cores=0,2,4,6
/proc/20821/stat : 20821 (bsolo) R 20819 20821 5438 0 -1 4202496 49794 0 0 0 179672 83 0 0 20 0 1 0 336935482 211398656 49191 33554432000 134512640 137136520 4291550832 4291549760 134544148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20821/statm: 51611 49191 197 641 0 50967 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 206444
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20886
/proc/meminfo: memFree=24758896/32873624 swapFree=7112/7112
[pid=20821] ppid=20819 vsize=206444 CPUtime=1797.95 cores=0,2,4,6
/proc/20821/stat : 20821 (bsolo) R 20819 20821 5438 0 -1 4202496 49794 0 0 0 179712 83 0 0 20 0 1 0 336935482 211398656 49191 33554432000 134512640 137136520 4291550832 4291549364 134551107 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20821/statm: 51611 49191 197 641 0 50967 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 206444
Child status: 0
Real time (s): 1798.35
CPU time (s): 1798
CPU user time (s): 1797.17
CPU system time (s): 0.831873
CPU usage (%): 99.9808
Max. virtual memory (cumulated for all children) (KiB): 207276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.17
system time used= 0.831873
maximum resident set size= 197484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49796
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= 95
involuntary context switches= 1881
runsolver used 3.22251 second user time and 7.45986 second system time
The end