runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3462742-1307182620/watcher-3462742-1307182620 -o /tmp/evaluation-result-3462742-1307182620/solver-3462742-1307182620 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462742-1307182620.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.04 2.03 2.00 2/498 24553
/proc/meminfo: memFree=30277772/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=13816 CPUtime=0.01 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 1077 0 0 0 1 0 0 0 18 0 1 0 829862903 14147584 1011 33554432000 134512640 137138936 4287820880 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 3454 1011 185 642 0 2810 0
[startup+0.075728 s]
/proc/loadavg: 2.04 2.03 2.00 2/498 24553
/proc/meminfo: memFree=30277772/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=13816 CPUtime=0.06 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 1077 0 0 0 6 0 0 0 18 0 1 0 829862903 14147584 1011 33554432000 134512640 137138936 4287820880 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 3454 1011 185 642 0 2810 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13816
[startup+0.100724 s]
/proc/loadavg: 2.04 2.03 2.00 2/498 24553
/proc/meminfo: memFree=30277772/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=13816 CPUtime=0.09 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 1077 0 0 0 9 0 0 0 18 0 1 0 829862903 14147584 1011 33554432000 134512640 137138936 4287820880 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 3454 1011 185 642 0 2810 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13816
[startup+0.300693 s]
/proc/loadavg: 2.04 2.03 2.00 2/498 24553
/proc/meminfo: memFree=30277772/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=14052 CPUtime=0.29 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 1446 0 0 0 27 2 0 0 18 0 1 0 829862903 14389248 1074 33554432000 134512640 137138936 4287820880 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 3513 1074 188 642 0 2869 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14052
[startup+0.700618 s]
/proc/loadavg: 2.04 2.03 2.00 2/498 24553
/proc/meminfo: memFree=30277772/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=15348 CPUtime=0.69 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 1766 0 0 0 67 2 0 0 18 0 1 0 829862903 15716352 1394 33554432000 134512640 137138936 4287820880 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 3837 1394 192 642 0 3193 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15348
[startup+1.50048 s]
/proc/loadavg: 2.12 2.05 2.01 5/499 24554
/proc/meminfo: memFree=30268960/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=18188 CPUtime=1.49 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 2486 0 0 0 146 3 0 0 20 0 1 0 829862903 18624512 2114 33554432000 134512640 137138936 4287820880 18446744073709551615 136511078 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 4547 2114 192 642 0 3903 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18188
[startup+3.10021 s]
/proc/loadavg: 2.12 2.05 2.01 4/499 24554
/proc/meminfo: memFree=30261304/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=23120 CPUtime=3.09 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 3712 0 0 0 306 3 0 0 25 0 1 0 829862903 23674880 3340 33554432000 134512640 137138936 4287820880 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 5780 3340 192 642 0 5136 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23120
[startup+6.30063 s]
/proc/loadavg: 2.12 2.05 2.01 4/499 24554
/proc/meminfo: memFree=30246292/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=30320 CPUtime=6.3 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 5514 0 0 0 626 4 0 0 25 0 1 0 829862903 31047680 5142 33554432000 134512640 137138936 4287820880 18446744073709551615 134542273 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 7580 5142 192 642 0 6936 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 30320
[startup+12.7005 s]
/proc/loadavg: 2.10 2.05 2.01 5/499 24555
/proc/meminfo: memFree=30218276/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=45916 CPUtime=12.7 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 9412 0 0 0 1265 5 0 0 25 0 1 0 829862903 47017984 9040 33554432000 134512640 137138936 4287820880 18446744073709551615 134539671 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 11479 9040 192 642 0 10835 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 45916
[startup+25.5002 s]
/proc/loadavg: 2.08 2.04 2.01 5/499 24555
/proc/meminfo: memFree=30167312/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=73792 CPUtime=25.49 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 16381 0 0 0 2542 7 0 0 25 0 1 0 829862903 75563008 16009 33554432000 134512640 137138936 4287820880 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 18448 16009 192 642 0 17804 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 73792
[startup+51.1007 s]
/proc/loadavg: 2.05 2.04 2.00 5/499 24556
/proc/meminfo: memFree=30084384/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=120676 CPUtime=51.1 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 28114 0 0 0 5098 12 0 0 25 0 1 0 829862903 123572224 27742 33554432000 134512640 137138936 4287820880 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 30169 27742 192 642 0 29525 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 120676
[startup+102.319 s]
/proc/loadavg: 2.06 2.04 2.00 5/499 24557
/proc/meminfo: memFree=29954140/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=186364 CPUtime=102.31 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 44528 0 0 0 10214 17 0 0 25 0 1 0 829862903 190836736 44156 33554432000 134512640 137138936 4287820880 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 46591 44156 192 642 0 45947 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 186364
[startup+162.301 s]
/proc/loadavg: 2.02 2.03 2.00 4/499 24559
/proc/meminfo: memFree=29823296/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=257496 CPUtime=162.3 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 62317 0 0 0 16204 26 0 0 25 0 1 0 829862903 263675904 61945 33554432000 134512640 137138936 4287820880 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 64374 61945 192 642 0 63730 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 257496
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 5/499 24560
/proc/meminfo: memFree=29722948/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=308264 CPUtime=222.29 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 75014 0 0 0 22196 33 0 0 25 0 1 0 829862903 315662336 74642 33554432000 134512640 137138936 4287820880 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 77066 74642 192 642 0 76422 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 308264
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 4/499 24562
/proc/meminfo: memFree=29636872/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=349736 CPUtime=282.3 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 85377 0 0 0 28192 38 0 0 25 0 1 0 829862903 358129664 85005 33554432000 134512640 137138936 4287820880 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 87434 85005 192 642 0 86790 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 349736
[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 5/499 24563
/proc/meminfo: memFree=29539384/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=398236 CPUtime=342.3 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 97487 0 0 0 34187 43 0 0 25 0 1 0 829862903 407793664 97115 33554432000 134512640 137138936 4287820880 18446744073709551615 134618208 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 99559 97115 192 642 0 98915 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 398236
[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 5/499 24565
/proc/meminfo: memFree=29468064/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=433076 CPUtime=402.3 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 106203 0 0 0 40181 49 0 0 25 0 1 0 829862903 443469824 105831 33554432000 134512640 137138936 4287820880 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 108269 105831 192 642 0 107625 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 433076
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 5/499 24567
/proc/meminfo: memFree=29404404/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=465644 CPUtime=462.3 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 114333 0 0 0 46178 52 0 0 25 0 1 0 829862903 476819456 113961 33554432000 134512640 137138936 4287820880 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 116411 113961 192 642 0 115767 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 465644
[startup+522.3 s]
/proc/loadavg: 2.06 2.02 2.00 5/499 24568
/proc/meminfo: memFree=29350196/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=496920 CPUtime=522.3 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 122171 0 0 0 52175 55 0 0 25 0 1 0 829862903 508846080 121799 33554432000 134512640 137138936 4287820880 18446744073709551615 136504350 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 124230 121799 192 642 0 123586 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 496920
[startup+582.301 s]
/proc/loadavg: 2.13 2.04 2.01 5/499 24570
/proc/meminfo: memFree=29291504/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=525496 CPUtime=582.31 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 129318 0 0 0 58172 59 0 0 25 0 1 0 829862903 538107904 128946 33554432000 134512640 137138936 4287820880 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 131374 128946 192 642 0 130730 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 525496
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=28826000/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=756236 CPUtime=1122.32 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 187007 0 0 0 112143 89 0 0 25 0 1 0 829862903 774385664 186635 33554432000 134512640 137138936 4287820880 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 189059 186635 192 642 0 188415 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 756236
[startup+1182.3 s]
/proc/loadavg: 2.17 2.06 2.02 5/499 24586
/proc/meminfo: memFree=28784688/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=776644 CPUtime=1182.32 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 192094 0 0 0 118140 92 0 0 25 0 1 0 829862903 795283456 191722 33554432000 134512640 137138936 4287820880 18446744073709551615 134543123 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 194161 191722 192 642 0 193517 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 776644
[startup+1242.3 s]
/proc/loadavg: 2.06 2.05 2.01 5/499 24587
/proc/meminfo: memFree=28744844/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=798760 CPUtime=1242.32 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 197622 0 0 0 124137 95 0 0 25 0 1 0 829862903 817930240 197250 33554432000 134512640 137138936 4287820880 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 199690 197250 192 642 0 199046 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 798760
[startup+1302.3 s]
/proc/loadavg: 2.02 2.04 2.00 5/499 24589
/proc/meminfo: memFree=28705752/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=819624 CPUtime=1302.34 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 202842 0 0 0 130137 97 0 0 25 0 1 0 829862903 839294976 202470 33554432000 134512640 137138936 4287820880 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 204906 202470 192 642 0 204262 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 819624
[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 2.00 5/499 24591
/proc/meminfo: memFree=28686988/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=840688 CPUtime=1362.32 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 208120 0 0 0 136132 100 0 0 25 0 1 0 829862903 860864512 207748 33554432000 134512640 137138936 4287820880 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 210172 207748 192 642 0 209528 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 840688
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 5/499 24592
/proc/meminfo: memFree=28667616/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=859832 CPUtime=1422.34 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 212894 0 0 0 142130 104 0 0 25 0 1 0 829862903 880467968 212522 33554432000 134512640 137138936 4287820880 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 214958 212522 192 642 0 214314 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 859832
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 5/499 24594
/proc/meminfo: memFree=28646512/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=880612 CPUtime=1482.33 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 218088 0 0 0 148126 107 0 0 25 0 1 0 829862903 901746688 217716 33554432000 134512640 137138936 4287820880 18446744073709551615 134542214 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 220153 217716 192 642 0 219509 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 880612
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 5/499 24595
/proc/meminfo: memFree=28626028/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=901444 CPUtime=1542.33 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 223294 0 0 0 154123 110 0 0 25 0 1 0 829862903 923078656 222922 33554432000 134512640 137138936 4287820880 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 225361 222922 192 642 0 224717 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 901444
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 5/499 24597
/proc/meminfo: memFree=28605420/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=922076 CPUtime=1602.33 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 228456 0 0 0 160121 112 0 0 25 0 1 0 829862903 944205824 228084 33554432000 134512640 137138936 4287820880 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 230519 228084 192 642 0 229875 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 922076
[startup+1662.3 s]
/proc/loadavg: 2.04 2.02 2.00 5/499 24599
/proc/meminfo: memFree=28584304/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=942952 CPUtime=1662.33 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 233683 0 0 0 166118 115 0 0 25 0 1 0 829862903 965582848 233311 33554432000 134512640 137138936 4287820880 18446744073709551615 136511125 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 235738 233311 192 642 0 235094 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 942952
[startup+1722.3 s]
/proc/loadavg: 2.14 2.05 2.01 5/499 24600
/proc/meminfo: memFree=28563564/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=963800 CPUtime=1722.34 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 238879 0 0 0 172117 117 0 0 25 0 1 0 829862903 986931200 238507 33554432000 134512640 137138936 4287820880 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 240950 238507 192 642 0 240306 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 963800
[startup+1782.3 s]
/proc/loadavg: 2.09 2.06 2.01 4/499 24602
/proc/meminfo: memFree=28540464/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=984956 CPUtime=1782.34 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 244176 0 0 0 178115 119 0 0 25 0 1 0 829862903 1008594944 243804 33554432000 134512640 137138936 4287820880 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 246239 243804 192 642 0 245595 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 984956
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.09 2.06 2.01 5/499 24602
/proc/meminfo: memFree=28539348/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=986088 CPUtime=1785.53 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 244461 0 0 0 178434 119 0 0 25 0 1 0 829862903 1009754112 244089 33554432000 134512640 137138936 4287820880 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 246522 244089 192 642 0 245878 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 986088
[startup+1791.92 s]
/proc/loadavg: 1.99 2.04 2.01 3/499 24683
/proc/meminfo: memFree=29309332/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=988260 CPUtime=1791.96 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 244994 0 0 0 179076 120 0 0 25 0 1 0 829862903 1011978240 244622 33554432000 134512640 137138936 4287820880 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 247065 244622 192 642 0 246421 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 988260
[startup+1795.1 s]
/proc/loadavg: 1.99 2.04 2.01 3/499 24683
/proc/meminfo: memFree=29307472/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=989264 CPUtime=1795.15 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 245257 0 0 0 179395 120 0 0 25 0 1 0 829862903 1013006336 244885 33554432000 134512640 137138936 4287820880 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 247316 244885 192 642 0 246672 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 989264
[startup+1796.7 s]
/proc/loadavg: 1.99 2.04 2.00 3/499 24683
/proc/meminfo: memFree=29306600/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=989820 CPUtime=1796.74 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 245389 0 0 0 179554 120 0 0 25 0 1 0 829862903 1013575680 245017 33554432000 134512640 137138936 4287820880 18446744073709551615 135984550 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 247455 245017 192 642 0 246811 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 989820
[startup+1797.5 s]
/proc/loadavg: 1.99 2.04 2.00 3/499 24683
/proc/meminfo: memFree=29305856/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=990132 CPUtime=1797.53 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 245473 0 0 0 179633 120 0 0 25 0 1 0 829862903 1013895168 245101 33554432000 134512640 137138936 4287820880 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 247533 245101 192 642 0 246889 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 990132
[startup+1797.9 s]
/proc/loadavg: 1.99 2.04 2.00 3/499 24683
/proc/meminfo: memFree=29305856/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=990212 CPUtime=1797.93 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 245498 0 0 0 179673 120 0 0 25 0 1 0 829862903 1013977088 245126 33554432000 134512640 137138936 4287820880 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 247553 245126 192 642 0 246909 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 990212
[startup+1798 s]
/proc/loadavg: 1.99 2.04 2.00 3/499 24683
/proc/meminfo: memFree=29305856/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=0 CPUtime=1798.03 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202500 245499 0 0 0 179682 121 0 0 25 0 1 0 829862903 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0
/proc/24553/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.03
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798.03
CPU time (s): 1798.07
CPU user time (s): 1796.83
CPU system time (s): 1.24681
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 990212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.83
system time used= 1.24681
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 245499
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= 4
involuntary context switches= 19004
runsolver used 8.67668 second user time and 20.7208 second system time
The end