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-3743453-1338798760/watcher-3743453-1338798760 -o /tmp/evaluation-result-3743453-1338798760/solver-3743453-1338798760 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3743453-1338798760.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1342
/proc/meminfo: memFree=26288640/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=38640 CPUtime=0 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 346004625 39567360 313 33554432000 134512640 137136520 4293129712 4293127928 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 9660 314 184 641 0 2125 0
[startup+0.0272069 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1342
/proc/meminfo: memFree=26288640/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=39912 CPUtime=0.02 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 765 0 0 0 2 0 0 0 20 0 1 0 346004625 40869888 718 33554432000 134512640 137136520 4293129712 4293127912 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 9978 718 254 641 0 2443 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 39912
[startup+0.100219 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1342
/proc/meminfo: memFree=26288640/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=43036 CPUtime=0.09 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 1791 0 0 0 9 0 0 0 20 0 1 0 346004625 44068864 1704 33554432000 134512640 137136520 4293129712 4293127912 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 10759 1704 455 641 0 3224 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43036
[startup+0.300216 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1342
/proc/meminfo: memFree=26288640/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=49732 CPUtime=0.29 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 4074 0 0 0 29 0 0 0 20 0 1 0 346004625 50925568 3859 33554432000 134512640 137136520 4293129712 4293128420 136523248 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 12433 3859 978 641 0 4898 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49732
[startup+0.700302 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1342
/proc/meminfo: memFree=26288640/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=62580 CPUtime=0.69 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 8450 0 0 0 68 1 0 0 20 0 1 0 346004625 64081920 7981 33554432000 134512640 137136520 4293129712 4293128432 134516226 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 15645 7982 1930 641 0 8110 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 62580
[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1343
/proc/meminfo: memFree=26254424/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=87712 CPUtime=1.49 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 16763 0 0 0 147 2 0 0 20 0 1 0 346004625 89817088 15788 33554432000 134512640 137136520 4293129712 4293128240 134517643 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 21928 15788 3497 641 0 14393 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 87712
[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1343
/proc/meminfo: memFree=26223088/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=120580 CPUtime=3.09 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 27332 0 0 0 306 3 0 0 20 0 1 0 346004625 123473920 26368 33554432000 134512640 137136520 4293129712 4293128132 136523260 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 30145 26368 6063 641 0 22610 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 120580
[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1343
/proc/meminfo: memFree=26128520/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=175396 CPUtime=6.29 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 43992 0 0 0 623 6 0 0 20 0 1 0 346004625 179605504 40111 33554432000 134512640 137136520 4293129712 4288317396 136509014 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 43849 40111 189 641 0 43205 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 175396
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1343
/proc/meminfo: memFree=26128528/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=175396 CPUtime=12.69 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 43995 0 0 0 1262 7 0 0 20 0 1 0 346004625 179605504 40114 33554432000 134512640 137136520 4293129712 4288317172 136498219 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 43849 40114 189 641 0 43205 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 175396
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1343
/proc/meminfo: memFree=26128660/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=175396 CPUtime=25.49 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 43995 0 0 0 2542 7 0 0 20 0 1 0 346004625 179605504 40114 33554432000 134512640 137136520 4293129712 4288317472 134543603 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 43849 40114 189 641 0 43205 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 175396
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1343
/proc/meminfo: memFree=26128536/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=175396 CPUtime=51.08 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 43995 0 0 0 5100 8 0 0 20 0 1 0 346004625 179605504 40114 33554432000 134512640 137136520 4293129712 4288317172 136498219 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 43849 40114 189 641 0 43205 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 175396
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1398
/proc/meminfo: memFree=26242480/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=175528 CPUtime=102.25 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 44031 0 0 0 10217 8 0 0 20 0 1 0 346004625 179740672 40122 33554432000 134512640 137136520 4293129712 4288317472 134543918 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 43882 40122 189 641 0 43238 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 175528
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1456
/proc/meminfo: memFree=26212760/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=175528 CPUtime=162.23 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 44044 0 0 0 16214 9 0 0 20 0 1 0 346004625 179740672 41439 33554432000 134512640 137136520 4293129712 4288317172 136498219 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 43882 41439 189 641 0 43238 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 175528
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1456
/proc/meminfo: memFree=26201520/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=183848 CPUtime=222.22 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 446268 0 0 0 22076 146 0 0 20 0 1 0 346004625 188260352 43527 33554432000 134512640 137136520 4293129712 4293128304 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 45962 43527 198 641 0 45318 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 183848
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1456
/proc/meminfo: memFree=26181296/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=180268 CPUtime=282.22 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 886419 0 0 0 27985 237 0 0 20 0 1 0 346004625 184594432 42663 33554432000 134512640 137136520 4293129712 4293128208 136498219 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 45067 42663 198 641 0 44423 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 180268
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1456
/proc/meminfo: memFree=26152644/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=183404 CPUtime=342.21 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 1547777 0 0 0 33855 366 0 0 20 0 1 0 346004625 187805696 43447 33554432000 134512640 137136520 4293129712 4293128304 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 45851 43447 198 641 0 45207 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 183404
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1458
/proc/meminfo: memFree=26137756/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=183532 CPUtime=402.2 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 2112042 0 0 0 39739 481 0 0 20 0 1 0 346004625 187936768 43479 33554432000 134512640 137136520 4293129712 4293128304 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 45883 43479 198 641 0 45239 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 183532
[startup+462.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/178 1461
/proc/meminfo: memFree=26085972/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=184832 CPUtime=462.18 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 2834472 0 0 0 45589 629 0 0 20 0 1 0 346004625 189267968 43804 33554432000 134512640 137136520 4293129712 4293128304 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 46208 43804 198 641 0 45564 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 184832
[startup+522.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 1461
/proc/meminfo: memFree=26054484/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=185516 CPUtime=522.17 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 3389497 0 0 0 51470 747 0 0 20 0 1 0 346004625 189968384 43975 33554432000 134512640 137136520 4293129712 4293128304 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 46379 43975 198 641 0 45735 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 185516
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 1461
/proc/meminfo: memFree=26048284/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=184384 CPUtime=582.16 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 4030156 0 0 0 57342 874 0 0 20 0 1 0 346004625 188809216 43692 33554432000 134512640 137136520 4293129712 4293128640 134543735 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 46096 43692 198 641 0 45452 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 184384
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=25809212/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=201956 CPUtime=1062.09 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 8158724 0 0 0 104505 1704 0 0 20 0 1 0 346004625 206802944 48085 33554432000 134512640 137136520 4293129712 4293128400 134607060 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 50489 48085 198 641 0 49845 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 201956
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1466
/proc/meminfo: memFree=25746848/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=203024 CPUtime=1122.08 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 8431234 0 0 0 110453 1755 0 0 20 0 1 0 346004625 207896576 48352 33554432000 134512640 137136520 4293129712 4293128272 134615365 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 50756 48352 198 641 0 50112 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 203024
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1466
/proc/meminfo: memFree=25697868/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=203156 CPUtime=1182.07 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 8889563 0 0 0 116363 1844 0 0 20 0 1 0 346004625 208031744 48384 33554432000 134512640 137136520 4293129712 4293128480 134573706 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 50789 48384 198 641 0 50145 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 203156
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1466
/proc/meminfo: memFree=25646200/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=206920 CPUtime=1242.06 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 9616170 0 0 0 122213 1993 0 0 20 0 1 0 346004625 211886080 49326 33554432000 134512640 137136520 4293129712 4293128304 134616586 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 51730 49326 198 641 0 51086 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 206920
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1467
/proc/meminfo: memFree=25617336/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=211448 CPUtime=1302.06 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 10270309 0 0 0 128078 2128 0 0 20 0 1 0 346004625 216522752 50458 33554432000 134512640 137136520 4293129712 4293128304 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 52862 50458 198 641 0 52218 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 211448
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1467
/proc/meminfo: memFree=25590084/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=212052 CPUtime=1362.04 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 10845382 0 0 0 133962 2242 0 0 20 0 1 0 346004625 217141248 50600 33554432000 134512640 137136520 4293129712 4293128304 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 53013 50600 198 641 0 52369 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 212052
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1467
/proc/meminfo: memFree=25556644/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=215384 CPUtime=1422.04 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 11448041 0 0 0 139839 2365 0 0 20 0 1 0 346004625 220553216 51442 33554432000 134512640 137136520 4293129712 4293128304 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 53846 51442 198 641 0 53202 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 215384
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1467
/proc/meminfo: memFree=25526636/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=218048 CPUtime=1482.02 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 11843647 0 0 0 145758 2444 0 0 20 0 1 0 346004625 223281152 52108 33554432000 134512640 137136520 4293129712 4293128304 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 54512 52108 198 641 0 53868 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 218048
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1467
/proc/meminfo: memFree=25496728/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=223784 CPUtime=1542.01 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 12187390 0 0 0 151687 2514 0 0 20 0 1 0 346004625 229154816 53510 33554432000 134512640 137136520 4293129712 4293128304 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 55946 53510 198 641 0 55302 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 223784
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1467
/proc/meminfo: memFree=25474412/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=227936 CPUtime=1602 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 12516279 0 0 0 157618 2582 0 0 20 0 1 0 346004625 233406464 54548 33554432000 134512640 137136520 4293129712 4293128304 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 56984 54548 198 641 0 56340 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 227936
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1471
/proc/meminfo: memFree=25447116/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=232452 CPUtime=1661.99 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 13158095 0 0 0 163496 2703 0 0 20 0 1 0 346004625 238030848 55677 33554432000 134512640 137136520 4293129712 4293128304 134616822 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 58113 55677 198 641 0 57469 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 232452
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1493
/proc/meminfo: memFree=25431244/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=232160 CPUtime=1721.98 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 13479025 0 0 0 169433 2765 0 0 20 0 1 0 346004625 237731840 55635 33554432000 134512640 137136520 4293129712 4293128304 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 58040 55635 198 641 0 57396 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 232160
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1493
/proc/meminfo: memFree=25410916/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=234092 CPUtime=1781.97 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 13918894 0 0 0 175350 2847 0 0 20 0 1 0 346004625 239710208 56119 33554432000 134512640 137136520 4293129712 4293128304 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 58523 56119 198 641 0 57879 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 234092
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 1493
/proc/meminfo: memFree=25410668/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=234544 CPUtime=1791.58 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 14008893 0 0 0 176292 2866 0 0 20 0 1 0 346004625 240173056 56200 33554432000 134512640 137136520 4293129712 4293128412 136518894 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 58636 56200 198 641 0 57992 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (KiB) 234544
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1493
/proc/meminfo: memFree=25405832/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=235652 CPUtime=1794.78 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 14052933 0 0 0 176604 2874 0 0 20 0 1 0 346004625 241307648 56477 33554432000 134512640 137136520 4293129712 4293128244 134551698 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 58913 56477 198 641 0 58269 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 235652
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1493
/proc/meminfo: memFree=25407072/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=234972 CPUtime=1796.37 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 14068150 0 0 0 176760 2877 0 0 20 0 1 0 346004625 240611328 56307 33554432000 134512640 137136520 4293129712 4293128304 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 58743 56307 198 641 0 58099 0
Current children cumulated CPU time (s) 1796.37
Current children cumulated vsize (KiB) 234972
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1493
/proc/meminfo: memFree=25406824/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=234972 CPUtime=1797.18 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 14077513 0 0 0 176839 2879 0 0 20 0 1 0 346004625 240611328 56307 33554432000 134512640 137136520 4293129712 4293128304 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 58743 56307 198 641 0 58099 0
Current children cumulated CPU time (s) 1797.18
Current children cumulated vsize (KiB) 234972
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1493
/proc/meminfo: memFree=25406824/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=231832 CPUtime=1797.58 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 14078152 0 0 0 176879 2879 0 0 20 0 1 0 346004625 237395968 55522 33554432000 134512640 137136520 4293129712 4293128376 136502385 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 57958 55522 198 641 0 57314 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (KiB) 231832
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1493
/proc/meminfo: memFree=25406824/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=231836 CPUtime=1797.97 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 14088307 0 0 0 176917 2880 0 0 20 0 1 0 346004625 237400064 55523 33554432000 134512640 137136520 4293129712 4293128376 136502385 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 57959 55523 198 641 0 57315 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 231836
Child status: 0
Real time (s): 1798.33
CPU time (s): 1798.01
CPU user time (s): 1769.2
CPU system time (s): 28.8076
CPU usage (%): 99.9823
Max. virtual memory (cumulated for all children) (KiB): 236808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1769.2
system time used= 28.8076
maximum resident set size= 227600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14089092
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= 57
involuntary context switches= 1847
runsolver used 5.75512 second user time and 15.4057 second system time
The end