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-3462801-1307183037/watcher-3462801-1307183037 -o /tmp/evaluation-result-3462801-1307183037/solver-3462801-1307183037 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462801-1307183037.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.10 2.06 2.01 2/521 32239
/proc/meminfo: memFree=20817832/32951124 swapFree=58800704/67111528
[pid=32239] ppid=32237 vsize=13456 CPUtime=0.01 cores=1,3,5,7
/proc/32239/stat : 32239 (bsolo) R 32237 32239 30263 0 -1 4202496 925 0 0 0 1 0 0 0 25 0 1 0 810719178 13778944 880 33554432000 134512640 137138936 4293582784 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32239/statm: 3364 880 197 642 0 2670 0
[startup+0.0306681 s]
/proc/loadavg: 2.10 2.06 2.01 2/521 32239
/proc/meminfo: memFree=20817832/32951124 swapFree=58800704/67111528
[pid=32239] ppid=32237 vsize=15084 CPUtime=0.02 cores=1,3,5,7
/proc/32239/stat : 32239 (bsolo) R 32237 32239 30263 0 -1 4202496 1333 0 0 0 2 0 0 0 25 0 1 0 810719178 15446016 1288 33554432000 134512640 137138936 4293582784 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32239/statm: 3771 1290 212 642 0 3077 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 15084
[startup+0.100656 s]
/proc/loadavg: 2.10 2.06 2.01 2/521 32239
/proc/meminfo: memFree=20817832/32951124 swapFree=58800704/67111528
[pid=32239] ppid=32237 vsize=19656 CPUtime=0.09 cores=1,3,5,7
/proc/32239/stat : 32239 (bsolo) R 32237 32239 30263 0 -1 4202496 2508 0 0 0 9 0 0 0 25 0 1 0 810719178 20127744 2413 33554432000 134512640 137138936 4293582784 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32239/statm: 4914 2413 185 642 0 4270 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19656
[startup+0.300619 s]
/proc/loadavg: 2.10 2.06 2.01 2/521 32239
/proc/meminfo: memFree=20817832/32951124 swapFree=58800704/67111528
[pid=32239] ppid=32237 vsize=20860 CPUtime=0.29 cores=1,3,5,7
/proc/32239/stat : 32239 (bsolo) R 32237 32239 30263 0 -1 4202496 2947 0 0 0 27 2 0 0 25 0 1 0 810719178 21360640 2724 33554432000 134512640 137138936 4293582784 18446744073709551615 134544821 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32239/statm: 5215 2724 192 642 0 4571 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20860
[startup+0.700542 s]
/proc/loadavg: 2.10 2.06 2.01 2/521 32239
/proc/meminfo: memFree=20817832/32951124 swapFree=58800704/67111528
[pid=32239] ppid=32237 vsize=24316 CPUtime=0.69 cores=1,3,5,7
/proc/32239/stat : 32239 (bsolo) R 32237 32239 30263 0 -1 4202496 3830 0 0 0 67 2 0 0 25 0 1 0 810719178 24899584 3607 33554432000 134512640 137138936 4293582784 18446744073709551615 134572783 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32239/statm: 6079 3607 192 642 0 5435 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24316
[startup+1.5004 s]
/proc/loadavg: 2.10 2.06 2.01 3/522 32240
/proc/meminfo: memFree=20799348/32951124 swapFree=58800704/67111528
[pid=32239] ppid=32237 vsize=31436 CPUtime=1.49 cores=1,3,5,7
/proc/32239/stat : 32239 (bsolo) R 32237 32239 30263 0 -1 4202496 5588 0 0 0 147 2 0 0 25 0 1 0 810719178 32190464 5365 33554432000 134512640 137138936 4293582784 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32239/statm: 7859 5365 192 642 0 7215 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31436
[startup+3.1011 s]
/proc/loadavg: 2.10 2.06 2.01 3/522 32240
/proc/meminfo: memFree=20788560/32951124 swapFree=58800704/67111528
[pid=32239] ppid=32237 vsize=43512 CPUtime=3.09 cores=1,3,5,7
/proc/32239/stat : 32239 (bsolo) R 32237 32239 30263 0 -1 4202496 8624 0 0 0 306 3 0 0 25 0 1 0 810719178 44556288 8401 33554432000 134512640 137138936 4293582784 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32239/statm: 10878 8401 192 642 0 10234 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 43512
[startup+6.30052 s]
/proc/loadavg: 2.09 2.06 2.01 3/522 32240
/proc/meminfo: memFree=20762536/32951124 swapFree=58800704/67111528
[pid=32239] ppid=32237 vsize=67172 CPUtime=6.3 cores=1,3,5,7
/proc/32239/stat : 32239 (bsolo) R 32237 32239 30263 0 -1 4202496 14540 0 0 0 625 5 0 0 25 0 1 0 810719178 68784128 14317 33554432000 134512640 137138936 4293582784 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32239/statm: 16793 14317 192 642 0 16149 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 67172
[startup+12.7003 s]
/proc/loadavg: 2.09 2.06 2.01 3/522 32240
/proc/meminfo: memFree=20708948/32951124 swapFree=58800704/67111528
[pid=32239] ppid=32237 vsize=113888 CPUtime=12.69 cores=1,3,5,7
/proc/32239/stat : 32239 (bsolo) R 32237 32239 30263 0 -1 4202496 26209 0 0 0 1262 7 0 0 25 0 1 0 810719178 116621312 25986 33554432000 134512640 137138936 4293582784 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32239/statm: 28472 25986 192 642 0 27828 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 113888
[startup+25.501 s]
/proc/loadavg: 2.07 2.05 2.01 3/522 32241
/proc/meminfo: memFree=20657100/32951124 swapFree=58800704/67111528
[pid=32239] ppid=32237 vsize=151732 CPUtime=25.49 cores=1,3,5,7
/proc/32239/stat : 32239 (bsolo) R 32237 32239 30263 0 -1 4202496 35669 0 0 0 2538 11 0 0 25 0 1 0 810719178 155373568 35446 33554432000 134512640 137138936 4293582784 18446744073709551615 134572783 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32239/statm: 37933 35446 192 642 0 37289 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 151732
[startup+51.1003 s]
/proc/loadavg: 2.04 2.05 2.01 3/522 32241
/proc/meminfo: memFree=20634376/32951124 swapFree=58800704/67111528
[pid=32239] ppid=32237 vsize=160792 CPUtime=51.09 cores=1,3,5,7
/proc/32239/stat : 32239 (bsolo) R 32237 32239 30263 0 -1 4202496 37930 0 0 0 5096 13 0 0 25 0 1 0 810719178 164651008 37707 33554432000 134512640 137138936 4293582784 18446744073709551615 134601123 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32239/statm: 40198 37707 192 642 0 39554 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 160792
[startup+102.32 s]
/proc/loadavg: 2.02 2.04 2.00 3/522 32246
/proc/meminfo: memFree=20590736/32951124 swapFree=58800704/67111528
[pid=32239] ppid=32237 vsize=165352 CPUtime=102.32 cores=1,3,5,7
/proc/32239/stat : 32239 (bsolo) R 32237 32239 30263 0 -1 4202496 39085 0 0 0 10212 20 0 0 25 0 1 0 810719178 169320448 38862 33554432000 134512640 137138936 4293582784 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32239/statm: 41338 38862 192 642 0 40694 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 165352
[startup+162.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/522 32247
/proc/meminfo: memFree=20547332/32951124 swapFree=58800704/67111528
[pid=32239] ppid=32237 vsize=170152 CPUtime=162.29 cores=1,3,5,7
/proc/32239/stat : 32239 (bsolo) R 32237 32239 30263 0 -1 4202496 40780 0 0 0 16205 24 0 0 25 0 1 0 810719178 174235648 40073 33554432000 134512640 137138936 4293582784 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32239/statm: 42538 40073 192 642 0 41894 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 170152
[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 32249
/proc/meminfo: memFree=20518916/32951124 swapFree=58800704/67111528
[pid=32239] ppid=32237 vsize=176492 CPUtime=222.3 cores=1,3,5,7
/proc/32239/stat : 32239 (bsolo) R 32237 32239 30263 0 -1 4202496 42337 0 0 0 22202 28 0 0 25 0 1 0 810719178 180727808 41630 33554432000 134512640 137138936 4293582784 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32239/statm: 44123 41630 192 642 0 43479 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 176492
[startup+282.301 s]
/proc/loadavg: 2.10 2.05 2.01 3/522 32250
/proc/meminfo: memFree=20494332/32951124 swapFree=58800704/67111528
[pid=32239] ppid=32237 vsize=175036 CPUtime=282.3 cores=1,3,5,7
/proc/32239/stat : 32239 (bsolo) R 32237 32239 30263 0 -1 4202496 42338 0 0 0 28197 33 0 0 25 0 1 0 810719178 179236864 41295 33554432000 134512640 137138936 4293582784 18446744073709551615 134607615 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32239/statm: 43759 41295 192 642 0 43115 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 175036
[startup+342.301 s]
/proc/loadavg: 2.08 2.05 2.01 3/522 32252
/proc/meminfo: memFree=20454380/32951124 swapFree=58800704/67111528
[pid=32239] ppid=32237 vsize=185388 CPUtime=342.3 cores=1,3,5,7
/proc/32239/stat : 32239 (bsolo) R 32237 32239 30263 0 -1 4202496 44924 0 0 0 34193 37 0 0 25 0 1 0 810719178 189837312 43881 33554432000 134512640 137138936 4293582784 18446744073709551615 134572768 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32239/statm: 46347 43881 192 642 0 45703 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 185388
[startup+402.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/522 32254
/proc/meminfo: memFree=20421604/32951124 swapFree=58800704/67111528
[pid=32239] ppid=32237 vsize=184932 CPUtime=402.3 cores=1,3,5,7
/proc/32239/stat : 32239 (bsolo) R 32237 32239 30263 0 -1 4202496 44924 0 0 0 40188 42 0 0 25 0 1 0 810719178 189370368 43768 33554432000 134512640 137138936 4293582784 18446744073709551615 134542319 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32239/statm: 46233 43768 192 642 0 45589 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 184932
[startup+462.301 s]
/proc/loadavg: 2.17 2.06 2.01 3/522 32255
/proc/meminfo: memFree=20386856/32951124 swapFree=58800704/67111528
[pid=32239] ppid=32237 vsize=192328 CPUtime=462.3 cores=1,3,5,7
/proc/32239/stat : 32239 (bsolo) R 32237 32239 30263 0 -1 4202496 46758 0 0 0 46183 47 0 0 25 0 1 0 810719178 196943872 45602 33554432000 134512640 137138936 4293582784 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32239/statm: 48082 45602 192 642 0 47438 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 192328
[startup+522.301 s]
/proc/loadavg: 2.13 2.06 2.01 3/522 32257
/proc/meminfo: memFree=20358672/32951124 swapFree=58800704/67111528
[pid=32239] ppid=32237 vsize=192328 CPUtime=522.3 cores=1,3,5,7
/proc/32239/stat : 32239 (bsolo) R 32237 32239 30263 0 -1 4202496 46758 0 0 0 52179 51 0 0 25 0 1 0 810719178 196943872 45602 33554432000 134512640 137138936 4293582784 18446744073709551615 134609379 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32239/statm: 48082 45602 192 642 0 47438 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 192328
[startup+582.301 s]
/proc/loadavg: 2.05 2.05 2.00 3/522 32258
/proc/meminfo: memFree=20323812/32951124 swapFree=58800704/67111528
[pid=32239] ppid=32237 vsize=191940 CPUtime=582.3 cores=1,3,5,7
/proc/32239/stat : 32239 (bsolo) R 32237 32239 30263 0 -1 4202496 46758 0 0 0 58175 55 0 0 25 0 1 0 810719178 196546560 45521 33554432000 134512640 137138936 4293582784 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32239/statm: 47985 45521 192 642 0 47341 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 191940
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=21304024/32951124 swapFree=58800704/67111528
[pid=32239] ppid=32237 vsize=208936 CPUtime=1062.32 cores=1,3,5,7
/proc/32239/stat : 32239 (bsolo) R 32237 32239 30263 0 -1 4202496 51187 0 0 0 106140 92 0 0 25 0 1 0 810719178 213950464 49748 33554432000 134512640 137138936 4293582784 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32239/statm: 52234 49748 192 642 0 51590 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 208936
[startup+1122.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/522 32300
/proc/meminfo: memFree=21294564/32951124 swapFree=58800704/67111528
[pid=32239] ppid=32237 vsize=208936 CPUtime=1122.33 cores=1,3,5,7
/proc/32239/stat : 32239 (bsolo) R 32237 32239 30263 0 -1 4202496 51187 0 0 0 112136 97 0 0 25 0 1 0 810719178 213950464 49748 33554432000 134512640 137138936 4293582784 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32239/statm: 52234 49748 192 642 0 51590 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 208936
[startup+1182.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/522 32301
/proc/meminfo: memFree=21288600/32951124 swapFree=58800704/67111528
[pid=32239] ppid=32237 vsize=210128 CPUtime=1182.32 cores=1,3,5,7
/proc/32239/stat : 32239 (bsolo) R 32237 32239 30263 0 -1 4202496 51480 0 0 0 118131 101 0 0 25 0 1 0 810719178 215171072 50041 33554432000 134512640 137138936 4293582784 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32239/statm: 52532 50041 192 642 0 51888 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 210128
[startup+1242.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/522 32303
/proc/meminfo: memFree=21289060/32951124 swapFree=58800704/67111528
[pid=32239] ppid=32237 vsize=210128 CPUtime=1242.33 cores=1,3,5,7
/proc/32239/stat : 32239 (bsolo) R 32237 32239 30263 0 -1 4202496 51480 0 0 0 124128 105 0 0 25 0 1 0 810719178 215171072 50041 33554432000 134512640 137138936 4293582784 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32239/statm: 52532 50041 192 642 0 51888 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 210128
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/522 32305
/proc/meminfo: memFree=21288636/32951124 swapFree=58800704/67111528
[pid=32239] ppid=32237 vsize=209580 CPUtime=1302.35 cores=1,3,5,7
/proc/32239/stat : 32239 (bsolo) R 32237 32239 30263 0 -1 4202496 51480 0 0 0 130125 110 0 0 25 0 1 0 810719178 214609920 49931 33554432000 134512640 137138936 4293582784 18446744073709551615 134542511 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32239/statm: 52395 49931 192 642 0 51751 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 209580
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 32306
/proc/meminfo: memFree=21288476/32951124 swapFree=58800704/67111528
[pid=32239] ppid=32237 vsize=210108 CPUtime=1362.34 cores=1,3,5,7
/proc/32239/stat : 32239 (bsolo) R 32237 32239 30263 0 -1 4202496 51588 0 0 0 136120 114 0 0 25 0 1 0 810719178 215150592 50039 33554432000 134512640 137138936 4293582784 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32239/statm: 52527 50039 192 642 0 51883 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 210108
[startup+1422.32 s]
/proc/loadavg: 2.04 2.03 2.00 3/522 32308
/proc/meminfo: memFree=21288444/32951124 swapFree=58800704/67111528
[pid=32239] ppid=32237 vsize=210108 CPUtime=1422.36 cores=1,3,5,7
/proc/32239/stat : 32239 (bsolo) R 32237 32239 30263 0 -1 4202496 51588 0 0 0 142118 118 0 0 25 0 1 0 810719178 215150592 50039 33554432000 134512640 137138936 4293582784 18446744073709551615 136504035 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32239/statm: 52527 50039 192 642 0 51883 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 210108
[startup+1482.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/522 32309
/proc/meminfo: memFree=21287864/32951124 swapFree=58800704/67111528
[pid=32239] ppid=32237 vsize=209464 CPUtime=1482.34 cores=1,3,5,7
/proc/32239/stat : 32239 (bsolo) R 32237 32239 30263 0 -1 4202496 51588 0 0 0 148111 123 0 0 25 0 1 0 810719178 214491136 49902 33554432000 134512640 137138936 4293582784 18446744073709551615 134552092 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32239/statm: 52366 49902 192 642 0 51722 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 209464
[startup+1542.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/522 32311
/proc/meminfo: memFree=21288308/32951124 swapFree=58800704/67111528
[pid=32239] ppid=32237 vsize=208964 CPUtime=1542.34 cores=1,3,5,7
/proc/32239/stat : 32239 (bsolo) R 32237 32239 30263 0 -1 4202496 51588 0 0 0 154106 128 0 0 25 0 1 0 810719178 213979136 49777 33554432000 134512640 137138936 4293582784 18446744073709551615 134606614 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32239/statm: 52241 49777 192 642 0 51597 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 208964
[startup+1602.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/522 32313
/proc/meminfo: memFree=21288028/32951124 swapFree=58800704/67111528
[pid=32239] ppid=32237 vsize=208964 CPUtime=1602.34 cores=1,3,5,7
/proc/32239/stat : 32239 (bsolo) R 32237 32239 30263 0 -1 4202496 51588 0 0 0 160102 132 0 0 25 0 1 0 810719178 213979136 49777 33554432000 134512640 137138936 4293582784 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32239/statm: 52241 49777 192 642 0 51597 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 208964
[startup+1662.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/522 32314
/proc/meminfo: memFree=21282420/32951124 swapFree=58800704/67111528
[pid=32239] ppid=32237 vsize=208432 CPUtime=1662.35 cores=1,3,5,7
/proc/32239/stat : 32239 (bsolo) R 32237 32239 30263 0 -1 4202496 51588 0 0 0 166098 137 0 0 25 0 1 0 810719178 213434368 49644 33554432000 134512640 137138936 4293582784 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32239/statm: 52108 49644 192 642 0 51464 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 208432
[startup+1722.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/522 32316
/proc/meminfo: memFree=21282368/32951124 swapFree=58800704/67111528
[pid=32239] ppid=32237 vsize=208432 CPUtime=1722.34 cores=1,3,5,7
/proc/32239/stat : 32239 (bsolo) R 32237 32239 30263 0 -1 4202496 51588 0 0 0 172094 140 0 0 25 0 1 0 810719178 213434368 49644 33554432000 134512640 137138936 4293582784 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32239/statm: 52108 49644 192 642 0 51464 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 208432
[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/522 32317
/proc/meminfo: memFree=21280732/32951124 swapFree=58800704/67111528
[pid=32239] ppid=32237 vsize=208432 CPUtime=1782.35 cores=1,3,5,7
/proc/32239/stat : 32239 (bsolo) R 32237 32239 30263 0 -1 4202496 51588 0 0 0 178090 145 0 0 25 0 1 0 810719178 213434368 49644 33554432000 134512640 137138936 4293582784 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32239/statm: 52108 49644 192 642 0 51464 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 208432
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.01 2.04 2.00 3/522 32317
/proc/meminfo: memFree=21281840/32951124 swapFree=58800704/67111528
[pid=32239] ppid=32237 vsize=208432 CPUtime=1785.55 cores=1,3,5,7
/proc/32239/stat : 32239 (bsolo) R 32237 32239 30263 0 -1 4202496 51588 0 0 0 178410 145 0 0 25 0 1 0 810719178 213434368 49644 33554432000 134512640 137138936 4293582784 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32239/statm: 52108 49644 192 642 0 51464 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 208432
[startup+1791.92 s]
/proc/loadavg: 2.01 2.04 2.00 3/522 32318
/proc/meminfo: memFree=21281952/32951124 swapFree=58800704/67111528
[pid=32239] ppid=32237 vsize=208432 CPUtime=1791.97 cores=1,3,5,7
/proc/32239/stat : 32239 (bsolo) R 32237 32239 30263 0 -1 4202496 51588 0 0 0 179052 145 0 0 25 0 1 0 810719178 213434368 49644 33554432000 134512640 137138936 4293582784 18446744073709551615 134542327 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32239/statm: 52108 49644 192 642 0 51464 0
Current children cumulated CPU time (s) 1791.97
Current children cumulated vsize (KiB) 208432
[startup+1795.1 s]
/proc/loadavg: 2.01 2.04 2.00 3/522 32318
/proc/meminfo: memFree=21281952/32951124 swapFree=58800704/67111528
[pid=32239] ppid=32237 vsize=208432 CPUtime=1795.16 cores=1,3,5,7
/proc/32239/stat : 32239 (bsolo) R 32237 32239 30263 0 -1 4202496 51588 0 0 0 179371 145 0 0 25 0 1 0 810719178 213434368 49644 33554432000 134512640 137138936 4293582784 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32239/statm: 52108 49644 192 642 0 51464 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 208432
[startup+1796.7 s]
/proc/loadavg: 2.01 2.04 2.00 3/522 32318
/proc/meminfo: memFree=21281952/32951124 swapFree=58800704/67111528
[pid=32239] ppid=32237 vsize=208432 CPUtime=1796.75 cores=1,3,5,7
/proc/32239/stat : 32239 (bsolo) R 32237 32239 30263 0 -1 4202496 51588 0 0 0 179530 145 0 0 25 0 1 0 810719178 213434368 49644 33554432000 134512640 137138936 4293582784 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32239/statm: 52108 49644 192 642 0 51464 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 208432
[startup+1797.5 s]
/proc/loadavg: 2.01 2.04 2.00 3/522 32318
/proc/meminfo: memFree=21281580/32951124 swapFree=58800704/67111528
[pid=32239] ppid=32237 vsize=208432 CPUtime=1797.54 cores=1,3,5,7
/proc/32239/stat : 32239 (bsolo) R 32237 32239 30263 0 -1 4202496 51588 0 0 0 179609 145 0 0 25 0 1 0 810719178 213434368 49644 33554432000 134512640 137138936 4293582784 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32239/statm: 52108 49644 192 642 0 51464 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 208432
[startup+1797.9 s]
/proc/loadavg: 2.01 2.04 2.00 3/522 32318
/proc/meminfo: memFree=21281580/32951124 swapFree=58800704/67111528
[pid=32239] ppid=32237 vsize=208432 CPUtime=1797.94 cores=1,3,5,7
/proc/32239/stat : 32239 (bsolo) R 32237 32239 30263 0 -1 4202496 51588 0 0 0 179649 145 0 0 25 0 1 0 810719178 213434368 49644 33554432000 134512640 137138936 4293582784 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32239/statm: 52108 49644 192 642 0 51464 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 208432
Child status: 0
Real time (s): 1797.96
CPU time (s): 1798.01
CPU user time (s): 1796.55
CPU system time (s): 1.46678
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 210128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.55
system time used= 1.46678
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51589
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= 5
involuntary context switches= 2657
runsolver used 8.83466 second user time and 22.2206 second system time
The end