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-3463196-1307177310/watcher-3463196-1307177310 -o /tmp/evaluation-result-3463196-1307177310/solver-3463196-1307177310 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463196-1307177310.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.01 2.03 2.00 3/473 1882
/proc/meminfo: memFree=20210964/32950928 swapFree=61858088/67111528
[pid=1882] ppid=1880 vsize=10896 CPUtime=0 cores=0,2,4,6
/proc/1882/stat : 1882 (bsolo) R 1880 1882 678 0 -1 4202496 272 0 0 0 0 0 0 0 25 0 1 0 829330642 11157504 226 33554432000 134512640 137138936 4294481296 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1882/statm: 2724 226 168 642 0 2055 0
[startup+0.052873 s]
/proc/loadavg: 2.01 2.03 2.00 3/473 1882
/proc/meminfo: memFree=20210964/32950928 swapFree=61858088/67111528
[pid=1882] ppid=1880 vsize=11672 CPUtime=0.04 cores=0,2,4,6
/proc/1882/stat : 1882 (bsolo) R 1880 1882 678 0 -1 4202496 561 0 0 0 4 0 0 0 25 0 1 0 829330642 11952128 490 33554432000 134512640 137138936 4294481296 18446744073709551615 134607006 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1882/statm: 2918 490 192 642 0 2274 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11672
[startup+0.100872 s]
/proc/loadavg: 2.01 2.03 2.00 3/473 1882
/proc/meminfo: memFree=20210964/32950928 swapFree=61858088/67111528
[pid=1882] ppid=1880 vsize=12200 CPUtime=0.09 cores=0,2,4,6
/proc/1882/stat : 1882 (bsolo) R 1880 1882 678 0 -1 4202496 677 0 0 0 9 0 0 0 25 0 1 0 829330642 12492800 606 33554432000 134512640 137138936 4294481296 18446744073709551615 134606982 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1882/statm: 3050 606 192 642 0 2406 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12200
[startup+0.300844 s]
/proc/loadavg: 2.01 2.03 2.00 3/473 1882
/proc/meminfo: memFree=20210964/32950928 swapFree=61858088/67111528
[pid=1882] ppid=1880 vsize=12804 CPUtime=0.29 cores=0,2,4,6
/proc/1882/stat : 1882 (bsolo) R 1880 1882 678 0 -1 4202496 826 0 0 0 29 0 0 0 25 0 1 0 829330642 13111296 755 33554432000 134512640 137138936 4294481296 18446744073709551615 134606660 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1882/statm: 3201 755 192 642 0 2557 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12804
[startup+0.700767 s]
/proc/loadavg: 2.01 2.03 2.00 3/473 1882
/proc/meminfo: memFree=20210964/32950928 swapFree=61858088/67111528
[pid=1882] ppid=1880 vsize=13932 CPUtime=0.69 cores=0,2,4,6
/proc/1882/stat : 1882 (bsolo) R 1880 1882 678 0 -1 4202496 1119 0 0 0 69 0 0 0 25 0 1 0 829330642 14266368 1048 33554432000 134512640 137138936 4294481296 18446744073709551615 134606703 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1882/statm: 3483 1048 192 642 0 2839 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13932
[startup+1.50063 s]
/proc/loadavg: 2.01 2.03 2.00 3/474 1883
/proc/meminfo: memFree=20205500/32950928 swapFree=61858088/67111528
[pid=1882] ppid=1880 vsize=16040 CPUtime=1.49 cores=0,2,4,6
/proc/1882/stat : 1882 (bsolo) R 1880 1882 678 0 -1 4202496 1641 0 0 0 149 0 0 0 25 0 1 0 829330642 16424960 1570 33554432000 134512640 137138936 4294481296 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1882/statm: 4010 1570 192 642 0 3366 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16040
[startup+3.10022 s]
/proc/loadavg: 2.01 2.03 2.00 3/474 1883
/proc/meminfo: memFree=20202144/32950928 swapFree=61858088/67111528
[pid=1882] ppid=1880 vsize=19768 CPUtime=3.09 cores=0,2,4,6
/proc/1882/stat : 1882 (bsolo) R 1880 1882 678 0 -1 4202496 2586 0 0 0 309 0 0 0 25 0 1 0 829330642 20242432 2515 33554432000 134512640 137138936 4294481296 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1882/statm: 4942 2515 192 642 0 4298 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19768
[startup+6.30079 s]
/proc/loadavg: 2.01 2.03 2.00 3/474 1883
/proc/meminfo: memFree=20194544/32950928 swapFree=61858088/67111528
[pid=1882] ppid=1880 vsize=26200 CPUtime=6.29 cores=0,2,4,6
/proc/1882/stat : 1882 (bsolo) R 1880 1882 678 0 -1 4202496 4181 0 0 0 628 1 0 0 25 0 1 0 829330642 26828800 4110 33554432000 134512640 137138936 4294481296 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1882/statm: 6550 4110 192 642 0 5906 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26200
[startup+12.7006 s]
/proc/loadavg: 2.01 2.03 2.00 3/474 1883
/proc/meminfo: memFree=20187136/32950928 swapFree=61858088/67111528
[pid=1882] ppid=1880 vsize=31320 CPUtime=12.69 cores=0,2,4,6
/proc/1882/stat : 1882 (bsolo) R 1880 1882 678 0 -1 4202496 5462 0 0 0 1267 2 0 0 25 0 1 0 829330642 32071680 5391 33554432000 134512640 137138936 4294481296 18446744073709551615 134607560 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1882/statm: 7830 5391 192 642 0 7186 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31320
[startup+25.5004 s]
/proc/loadavg: 2.01 2.03 2.00 3/474 1884
/proc/meminfo: memFree=20176324/32950928 swapFree=61858088/67111528
[pid=1882] ppid=1880 vsize=32776 CPUtime=25.48 cores=0,2,4,6
/proc/1882/stat : 1882 (bsolo) R 1880 1882 678 0 -1 4202496 5826 0 0 0 2545 3 0 0 25 0 1 0 829330642 33562624 5755 33554432000 134512640 137138936 4294481296 18446744073709551615 134575602 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1882/statm: 8194 5755 192 642 0 7550 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 32776
[startup+51.1009 s]
/proc/loadavg: 2.00 2.03 2.00 3/474 1884
/proc/meminfo: memFree=20171776/32950928 swapFree=61858088/67111528
[pid=1882] ppid=1880 vsize=36800 CPUtime=51.09 cores=0,2,4,6
/proc/1882/stat : 1882 (bsolo) R 1880 1882 678 0 -1 4202496 6843 0 0 0 5103 6 0 0 25 0 1 0 829330642 37683200 6772 33554432000 134512640 137138936 4294481296 18446744073709551615 134607606 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1882/statm: 9200 6772 192 642 0 8556 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 36800
[startup+102.318 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 1913
/proc/meminfo: memFree=20314112/32950928 swapFree=61858088/67111528
[pid=1882] ppid=1880 vsize=42192 CPUtime=102.31 cores=0,2,4,6
/proc/1882/stat : 1882 (bsolo) R 1880 1882 678 0 -1 4202496 8184 0 0 0 10221 10 0 0 25 0 1 0 829330642 43204608 8113 33554432000 134512640 137138936 4294481296 18446744073709551615 134606653 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1882/statm: 10548 8113 192 642 0 9904 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 42192
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 1914
/proc/meminfo: memFree=20303776/32950928 swapFree=61858088/67111528
[pid=1882] ppid=1880 vsize=45512 CPUtime=162.29 cores=0,2,4,6
/proc/1882/stat : 1882 (bsolo) R 1880 1882 678 0 -1 4202496 9024 0 0 0 16215 14 0 0 25 0 1 0 829330642 46604288 8953 33554432000 134512640 137138936 4294481296 18446744073709551615 134618200 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1882/statm: 11378 8953 192 642 0 10734 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 45512
[startup+222.301 s]
/proc/loadavg: 2.13 2.04 2.01 3/474 1916
/proc/meminfo: memFree=20300528/32950928 swapFree=61858088/67111528
[pid=1882] ppid=1880 vsize=46860 CPUtime=222.29 cores=0,2,4,6
/proc/1882/stat : 1882 (bsolo) R 1880 1882 678 0 -1 4202496 9557 0 0 0 22208 21 0 0 25 0 1 0 829330642 47984640 9270 33554432000 134512640 137138936 4294481296 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1882/statm: 11715 9270 192 642 0 11071 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 46860
[startup+282.301 s]
/proc/loadavg: 2.11 2.05 2.01 3/474 1918
/proc/meminfo: memFree=20295672/32950928 swapFree=61858088/67111528
[pid=1882] ppid=1880 vsize=48296 CPUtime=282.29 cores=0,2,4,6
/proc/1882/stat : 1882 (bsolo) R 1880 1882 678 0 -1 4202496 9984 0 0 0 28202 27 0 0 25 0 1 0 829330642 49455104 9647 33554432000 134512640 137138936 4294481296 18446744073709551615 134600389 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1882/statm: 12074 9647 192 642 0 11430 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 48296
[startup+342.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/474 1919
/proc/meminfo: memFree=20291536/32950928 swapFree=61858088/67111528
[pid=1882] ppid=1880 vsize=51556 CPUtime=342.29 cores=0,2,4,6
/proc/1882/stat : 1882 (bsolo) R 1880 1882 678 0 -1 4202496 10794 0 0 0 34196 33 0 0 25 0 1 0 829330642 52793344 10444 33554432000 134512640 137138936 4294481296 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1882/statm: 12889 10444 192 642 0 12245 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 51556
[startup+402.301 s]
/proc/loadavg: 2.13 2.06 2.01 3/474 1921
/proc/meminfo: memFree=20290532/32950928 swapFree=61858088/67111528
[pid=1882] ppid=1880 vsize=51584 CPUtime=402.3 cores=0,2,4,6
/proc/1882/stat : 1882 (bsolo) R 1880 1882 678 0 -1 4202496 10865 0 0 0 40192 38 0 0 25 0 1 0 829330642 52822016 10472 33554432000 134512640 137138936 4294481296 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1882/statm: 12896 10472 192 642 0 12252 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 51584
[startup+462.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/474 1922
/proc/meminfo: memFree=20288904/32950928 swapFree=61858088/67111528
[pid=1882] ppid=1880 vsize=51528 CPUtime=462.3 cores=0,2,4,6
/proc/1882/stat : 1882 (bsolo) R 1880 1882 678 0 -1 4202496 10865 0 0 0 46188 42 0 0 25 0 1 0 829330642 52764672 10458 33554432000 134512640 137138936 4294481296 18446744073709551615 134551741 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1882/statm: 12882 10458 192 642 0 12238 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 51528
[startup+522.301 s]
/proc/loadavg: 2.03 2.05 2.00 3/474 1924
/proc/meminfo: memFree=20289744/32950928 swapFree=61858088/67111528
[pid=1882] ppid=1880 vsize=51528 CPUtime=522.3 cores=0,2,4,6
/proc/1882/stat : 1882 (bsolo) R 1880 1882 678 0 -1 4202496 10865 0 0 0 52185 45 0 0 25 0 1 0 829330642 52764672 10458 33554432000 134512640 137138936 4294481296 18446744073709551615 134603271 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1882/statm: 12882 10458 192 642 0 12238 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 51528
[startup+582.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/474 1926
/proc/meminfo: memFree=20286496/32950928 swapFree=61858088/67111528
[pid=1882] ppid=1880 vsize=54884 CPUtime=582.3 cores=0,2,4,6
/proc/1882/stat : 1882 (bsolo) R 1880 1882 678 0 -1 4202496 11691 0 0 0 58180 50 0 0 25 0 1 0 829330642 56201216 11284 33554432000 134512640 137138936 4294481296 18446744073709551615 134573444 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1882/statm: 13721 11284 192 642 0 13077 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 54884
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=20272416/32950928 swapFree=61858088/67111528
[pid=1882] ppid=1880 vsize=61156 CPUtime=1062.31 cores=0,2,4,6
/proc/1882/stat : 1882 (bsolo) R 1880 1882 678 0 -1 4202496 13427 0 0 0 106143 88 0 0 25 0 1 0 829330642 62623744 12861 33554432000 134512640 137138936 4294481296 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1882/statm: 15289 12861 192 642 0 14645 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 61156
[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/474 1952
/proc/meminfo: memFree=20272268/32950928 swapFree=61858088/67111528
[pid=1882] ppid=1880 vsize=61144 CPUtime=1122.31 cores=0,2,4,6
/proc/1882/stat : 1882 (bsolo) R 1880 1882 678 0 -1 4202496 13427 0 0 0 112139 92 0 0 25 0 1 0 829330642 62611456 12861 33554432000 134512640 137138936 4294481296 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1882/statm: 15286 12861 192 642 0 14642 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 61144
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 1954
/proc/meminfo: memFree=20271980/32950928 swapFree=61858088/67111528
[pid=1882] ppid=1880 vsize=61100 CPUtime=1182.32 cores=0,2,4,6
/proc/1882/stat : 1882 (bsolo) R 1880 1882 678 0 -1 4202496 13427 0 0 0 118135 97 0 0 25 0 1 0 829330642 62566400 12850 33554432000 134512640 137138936 4294481296 18446744073709551615 134609401 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1882/statm: 15275 12850 192 642 0 14631 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 61100
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 1955
/proc/meminfo: memFree=20271820/32950928 swapFree=61858088/67111528
[pid=1882] ppid=1880 vsize=61068 CPUtime=1242.32 cores=0,2,4,6
/proc/1882/stat : 1882 (bsolo) R 1880 1882 678 0 -1 4202496 13427 0 0 0 124128 104 0 0 25 0 1 0 829330642 62533632 12842 33554432000 134512640 137138936 4294481296 18446744073709551615 134606670 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1882/statm: 15267 12842 192 642 0 14623 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 61068
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 1957
/proc/meminfo: memFree=20270420/32950928 swapFree=61858088/67111528
[pid=1882] ppid=1880 vsize=61044 CPUtime=1302.32 cores=0,2,4,6
/proc/1882/stat : 1882 (bsolo) R 1880 1882 678 0 -1 4202496 13428 0 0 0 130123 109 0 0 25 0 1 0 829330642 62509056 12837 33554432000 134512640 137138936 4294481296 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1882/statm: 15261 12837 192 642 0 14617 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 61044
[startup+1362.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/474 1958
/proc/meminfo: memFree=20267540/32950928 swapFree=61858088/67111528
[pid=1882] ppid=1880 vsize=63812 CPUtime=1362.32 cores=0,2,4,6
/proc/1882/stat : 1882 (bsolo) R 1880 1882 678 0 -1 4202496 14112 0 0 0 136119 113 0 0 25 0 1 0 829330642 65343488 13521 33554432000 134512640 137138936 4294481296 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1882/statm: 15953 13521 192 642 0 15309 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 63812
[startup+1422.32 s]
/proc/loadavg: 2.08 2.04 2.01 3/474 1960
/proc/meminfo: memFree=20268620/32950928 swapFree=61858088/67111528
[pid=1882] ppid=1880 vsize=63800 CPUtime=1422.34 cores=0,2,4,6
/proc/1882/stat : 1882 (bsolo) R 1880 1882 678 0 -1 4202496 14112 0 0 0 142116 118 0 0 25 0 1 0 829330642 65331200 13521 33554432000 134512640 137138936 4294481296 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1882/statm: 15950 13521 192 642 0 15306 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 63800
[startup+1482.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/474 1962
/proc/meminfo: memFree=20264252/32950928 swapFree=61858088/67111528
[pid=1882] ppid=1880 vsize=64044 CPUtime=1482.32 cores=0,2,4,6
/proc/1882/stat : 1882 (bsolo) R 1880 1882 678 0 -1 4202496 14185 0 0 0 148109 123 0 0 25 0 1 0 829330642 65581056 13587 33554432000 134512640 137138936 4294481296 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1882/statm: 16011 13587 192 642 0 15367 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 64044
[startup+1542.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/474 1963
/proc/meminfo: memFree=20265200/32950928 swapFree=61858088/67111528
[pid=1882] ppid=1880 vsize=64012 CPUtime=1542.33 cores=0,2,4,6
/proc/1882/stat : 1882 (bsolo) R 1880 1882 678 0 -1 4202496 14185 0 0 0 154106 127 0 0 25 0 1 0 829330642 65548288 13579 33554432000 134512640 137138936 4294481296 18446744073709551615 136502594 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1882/statm: 16003 13579 192 642 0 15359 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 64012
[startup+1602.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/474 1965
/proc/meminfo: memFree=20262696/32950928 swapFree=61858088/67111528
[pid=1882] ppid=1880 vsize=66148 CPUtime=1602.32 cores=0,2,4,6
/proc/1882/stat : 1882 (bsolo) R 1880 1882 678 0 -1 4202496 14717 0 0 0 160102 130 0 0 25 0 1 0 829330642 67735552 14111 33554432000 134512640 137138936 4294481296 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1882/statm: 16537 14111 192 642 0 15893 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 66148
[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/474 1966
/proc/meminfo: memFree=20262152/32950928 swapFree=61858088/67111528
[pid=1882] ppid=1880 vsize=67292 CPUtime=1662.33 cores=0,2,4,6
/proc/1882/stat : 1882 (bsolo) R 1880 1882 678 0 -1 4202496 15066 0 0 0 166098 135 0 0 25 0 1 0 829330642 68907008 14399 33554432000 134512640 137138936 4294481296 18446744073709551615 134607604 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1882/statm: 16823 14399 192 642 0 16179 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 67292
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/474 1968
/proc/meminfo: memFree=20261756/32950928 swapFree=61858088/67111528
[pid=1882] ppid=1880 vsize=67244 CPUtime=1722.32 cores=0,2,4,6
/proc/1882/stat : 1882 (bsolo) R 1880 1882 678 0 -1 4202496 15066 0 0 0 172093 139 0 0 25 0 1 0 829330642 68857856 14387 33554432000 134512640 137138936 4294481296 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1882/statm: 16811 14387 192 642 0 16167 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 67244
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 1970
/proc/meminfo: memFree=20262576/32950928 swapFree=61858088/67111528
[pid=1882] ppid=1880 vsize=65384 CPUtime=1782.33 cores=0,2,4,6
/proc/1882/stat : 1882 (bsolo) R 1880 1882 678 0 -1 4202496 15256 0 0 0 178087 146 0 0 25 0 1 0 829330642 66953216 13919 33554432000 134512640 137138936 4294481296 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1882/statm: 16346 13919 192 642 0 15702 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 65384
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 1970
/proc/meminfo: memFree=20262576/32950928 swapFree=61858088/67111528
[pid=1882] ppid=1880 vsize=65384 CPUtime=1785.53 cores=0,2,4,6
/proc/1882/stat : 1882 (bsolo) R 1880 1882 678 0 -1 4202496 15256 0 0 0 178407 146 0 0 25 0 1 0 829330642 66953216 13919 33554432000 134512640 137138936 4294481296 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1882/statm: 16346 13919 192 642 0 15702 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 65384
[startup+1791.92 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 1970
/proc/meminfo: memFree=20262576/32950928 swapFree=61858088/67111528
[pid=1882] ppid=1880 vsize=65384 CPUtime=1791.94 cores=0,2,4,6
/proc/1882/stat : 1882 (bsolo) R 1880 1882 678 0 -1 4202496 15256 0 0 0 179047 147 0 0 25 0 1 0 829330642 66953216 13919 33554432000 134512640 137138936 4294481296 18446744073709551615 134606680 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1882/statm: 16346 13919 192 642 0 15702 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 65384
[startup+1795.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 1970
/proc/meminfo: memFree=20262824/32950928 swapFree=61858088/67111528
[pid=1882] ppid=1880 vsize=65176 CPUtime=1795.14 cores=0,2,4,6
/proc/1882/stat : 1882 (bsolo) R 1880 1882 678 0 -1 4202496 15256 0 0 0 179366 148 0 0 25 0 1 0 829330642 66740224 13870 33554432000 134512640 137138936 4294481296 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1882/statm: 16294 13870 192 642 0 15650 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 65176
[startup+1796.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 1970
/proc/meminfo: memFree=20262824/32950928 swapFree=61858088/67111528
[pid=1882] ppid=1880 vsize=65176 CPUtime=1796.73 cores=0,2,4,6
/proc/1882/stat : 1882 (bsolo) R 1880 1882 678 0 -1 4202496 15256 0 0 0 179525 148 0 0 25 0 1 0 829330642 66740224 13870 33554432000 134512640 137138936 4294481296 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1882/statm: 16294 13870 192 642 0 15650 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 65176
[startup+1797.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 1970
/proc/meminfo: memFree=20262824/32950928 swapFree=61858088/67111528
[pid=1882] ppid=1880 vsize=65176 CPUtime=1797.53 cores=0,2,4,6
/proc/1882/stat : 1882 (bsolo) R 1880 1882 678 0 -1 4202496 15256 0 0 0 179605 148 0 0 25 0 1 0 829330642 66740224 13870 33554432000 134512640 137138936 4294481296 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1882/statm: 16294 13870 192 642 0 15650 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 65176
[startup+1797.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 1970
/proc/meminfo: memFree=20262824/32950928 swapFree=61858088/67111528
[pid=1882] ppid=1880 vsize=65176 CPUtime=1797.93 cores=0,2,4,6
/proc/1882/stat : 1882 (bsolo) R 1880 1882 678 0 -1 4202496 15256 0 0 0 179645 148 0 0 25 0 1 0 829330642 66740224 13870 33554432000 134512640 137138936 4294481296 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1882/statm: 16294 13870 192 642 0 15650 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 65176
Child status: 0
Real time (s): 1797.97
CPU time (s): 1798.01
CPU user time (s): 1796.52
CPU system time (s): 1.48577
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 67616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.52
system time used= 1.48577
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15257
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= 4051
runsolver used 8.90664 second user time and 18.7681 second system time
The end