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-3463156-1307177383/watcher-3463156-1307177383 -o /tmp/evaluation-result-3463156-1307177383/solver-3463156-1307177383 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463156-1307177383.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.02 2.00 2/473 1911
/proc/meminfo: memFree=20339384/32950928 swapFree=61858088/67111528
[pid=1911] ppid=1909 vsize=10916 CPUtime=0 cores=1,3,5,7
/proc/1911/stat : 1911 (bsolo) R 1909 1911 678 0 -1 4202496 291 0 0 0 0 0 0 0 25 0 1 0 829337955 11177984 246 33554432000 134512640 137138936 4287947504 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/1911/statm: 2729 247 178 642 0 2054 0
[startup+0.0870759 s]
/proc/loadavg: 2.00 2.02 2.00 2/473 1911
/proc/meminfo: memFree=20339384/32950928 swapFree=61858088/67111528
[pid=1911] ppid=1909 vsize=11724 CPUtime=0.08 cores=1,3,5,7
/proc/1911/stat : 1911 (bsolo) R 1909 1911 678 0 -1 4202496 569 0 0 0 8 0 0 0 25 0 1 0 829337955 12005376 493 33554432000 134512640 137138936 4287947504 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/1911/statm: 2931 493 192 642 0 2287 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11724
[startup+0.101072 s]
/proc/loadavg: 2.00 2.02 2.00 2/473 1911
/proc/meminfo: memFree=20339384/32950928 swapFree=61858088/67111528
[pid=1911] ppid=1909 vsize=11848 CPUtime=0.09 cores=1,3,5,7
/proc/1911/stat : 1911 (bsolo) R 1909 1911 678 0 -1 4202496 594 0 0 0 9 0 0 0 25 0 1 0 829337955 12132352 518 33554432000 134512640 137138936 4287947504 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/1911/statm: 2962 518 192 642 0 2318 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11848
[startup+0.301038 s]
/proc/loadavg: 2.00 2.02 2.00 2/473 1911
/proc/meminfo: memFree=20339384/32950928 swapFree=61858088/67111528
[pid=1911] ppid=1909 vsize=12852 CPUtime=0.29 cores=1,3,5,7
/proc/1911/stat : 1911 (bsolo) R 1909 1911 678 0 -1 4202496 849 0 0 0 29 0 0 0 25 0 1 0 829337955 13160448 773 33554432000 134512640 137138936 4287947504 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/1911/statm: 3213 773 192 642 0 2569 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12852
[startup+0.700968 s]
/proc/loadavg: 2.00 2.02 2.00 2/473 1911
/proc/meminfo: memFree=20339384/32950928 swapFree=61858088/67111528
[pid=1911] ppid=1909 vsize=14476 CPUtime=0.69 cores=1,3,5,7
/proc/1911/stat : 1911 (bsolo) R 1909 1911 678 0 -1 4202496 1255 0 0 0 68 1 0 0 25 0 1 0 829337955 14823424 1179 33554432000 134512640 137138936 4287947504 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/1911/statm: 3619 1179 192 642 0 2975 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14476
[startup+1.50076 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 1912
/proc/meminfo: memFree=20334668/32950928 swapFree=61858088/67111528
[pid=1911] ppid=1909 vsize=14712 CPUtime=1.49 cores=1,3,5,7
/proc/1911/stat : 1911 (bsolo) R 1909 1911 678 0 -1 4202496 1306 0 0 0 148 1 0 0 25 0 1 0 829337955 15065088 1230 33554432000 134512640 137138936 4287947504 18446744073709551615 136297655 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/1911/statm: 3678 1230 192 642 0 3034 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14712
[startup+3.10048 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 1912
/proc/meminfo: memFree=20331196/32950928 swapFree=61858088/67111528
[pid=1911] ppid=1909 vsize=19024 CPUtime=3.09 cores=1,3,5,7
/proc/1911/stat : 1911 (bsolo) R 1909 1911 678 0 -1 4202496 2391 0 0 0 307 2 0 0 25 0 1 0 829337955 19480576 2315 33554432000 134512640 137138936 4287947504 18446744073709551615 134542930 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/1911/statm: 4756 2315 192 642 0 4112 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19024
[startup+6.30092 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 1912
/proc/meminfo: memFree=20327776/32950928 swapFree=61858088/67111528
[pid=1911] ppid=1909 vsize=23152 CPUtime=6.29 cores=1,3,5,7
/proc/1911/stat : 1911 (bsolo) R 1909 1911 678 0 -1 4202496 3435 0 0 0 626 3 0 0 25 0 1 0 829337955 23707648 3359 33554432000 134512640 137138936 4287947504 18446744073709551615 134606670 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/1911/statm: 5788 3359 192 642 0 5144 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23152
[startup+12.7008 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 1912
/proc/meminfo: memFree=20319440/32950928 swapFree=61858088/67111528
[pid=1911] ppid=1909 vsize=26356 CPUtime=12.69 cores=1,3,5,7
/proc/1911/stat : 1911 (bsolo) R 1909 1911 678 0 -1 4202496 4232 0 0 0 1264 5 0 0 25 0 1 0 829337955 26988544 4156 33554432000 134512640 137138936 4287947504 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/1911/statm: 6589 4156 192 642 0 5945 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26356
[startup+25.5005 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 1913
/proc/meminfo: memFree=20314608/32950928 swapFree=61858088/67111528
[pid=1911] ppid=1909 vsize=30156 CPUtime=25.49 cores=1,3,5,7
/proc/1911/stat : 1911 (bsolo) R 1909 1911 678 0 -1 4202496 5613 0 0 0 2540 9 0 0 25 0 1 0 829337955 30879744 5109 33554432000 134512640 137138936 4287947504 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/1911/statm: 7539 5109 192 642 0 6895 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 30156
[startup+51.101 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 1913
/proc/meminfo: memFree=20311484/32950928 swapFree=61858088/67111528
[pid=1911] ppid=1909 vsize=33224 CPUtime=51.09 cores=1,3,5,7
/proc/1911/stat : 1911 (bsolo) R 1909 1911 678 0 -1 4202496 6612 0 0 0 5094 15 0 0 25 0 1 0 829337955 34021376 5870 33554432000 134512640 137138936 4287947504 18446744073709551615 136511078 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/1911/statm: 8306 5870 192 642 0 7662 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 33224
[startup+102.318 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 1915
/proc/meminfo: memFree=20304768/32950928 swapFree=61858088/67111528
[pid=1911] ppid=1909 vsize=35468 CPUtime=102.3 cores=1,3,5,7
/proc/1911/stat : 1911 (bsolo) R 1909 1911 678 0 -1 4202496 7201 0 0 0 10203 27 0 0 25 0 1 0 829337955 36319232 6439 33554432000 134512640 137138936 4287947504 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/1911/statm: 8867 6439 192 642 0 8223 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 35468
[startup+162.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/474 1916
/proc/meminfo: memFree=20298292/32950928 swapFree=61858088/67111528
[pid=1911] ppid=1909 vsize=38400 CPUtime=162.29 cores=1,3,5,7
/proc/1911/stat : 1911 (bsolo) R 1909 1911 678 0 -1 4202496 7931 0 0 0 16188 41 0 0 25 0 1 0 829337955 39321600 7169 33554432000 134512640 137138936 4287947504 18446744073709551615 136501718 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/1911/statm: 9600 7169 192 642 0 8956 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 38400
[startup+222.301 s]
/proc/loadavg: 2.08 2.04 2.01 3/474 1918
/proc/meminfo: memFree=20295668/32950928 swapFree=61858088/67111528
[pid=1911] ppid=1909 vsize=40716 CPUtime=222.29 cores=1,3,5,7
/proc/1911/stat : 1911 (bsolo) R 1909 1911 678 0 -1 4202496 8581 0 0 0 22158 71 0 0 25 0 1 0 829337955 41693184 7748 33554432000 134512640 137138936 4287947504 18446744073709551615 136504259 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/1911/statm: 10179 7748 192 642 0 9535 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 40716
[startup+282.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/474 1920
/proc/meminfo: memFree=20290792/32950928 swapFree=61858088/67111528
[pid=1911] ppid=1909 vsize=43288 CPUtime=282.29 cores=1,3,5,7
/proc/1911/stat : 1911 (bsolo) R 1909 1911 678 0 -1 4202496 9522 0 0 0 28136 93 0 0 25 0 1 0 829337955 44326912 8379 33554432000 134512640 137138936 4287947504 18446744073709551615 136504452 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1911/statm: 10822 8379 192 642 0 10178 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 43288
[startup+342.301 s]
/proc/loadavg: 2.10 2.05 2.01 3/474 1921
/proc/meminfo: memFree=20290532/32950928 swapFree=61858088/67111528
[pid=1911] ppid=1909 vsize=43068 CPUtime=342.29 cores=1,3,5,7
/proc/1911/stat : 1911 (bsolo) R 1909 1911 678 0 -1 4202496 9588 0 0 0 34124 105 0 0 25 0 1 0 829337955 44101632 8342 33554432000 134512640 137138936 4287947504 18446744073709551615 134551379 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1911/statm: 10767 8342 192 642 0 10123 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 43068
[startup+402.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/474 1923
/proc/meminfo: memFree=20288904/32950928 swapFree=61858088/67111528
[pid=1911] ppid=1909 vsize=46012 CPUtime=402.29 cores=1,3,5,7
/proc/1911/stat : 1911 (bsolo) R 1909 1911 678 0 -1 4202496 10465 0 0 0 40111 118 0 0 25 0 1 0 829337955 47116288 9070 33554432000 134512640 137138936 4287947504 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1911/statm: 11503 9070 192 642 0 10859 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 46012
[startup+462.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/474 1924
/proc/meminfo: memFree=20289744/32950928 swapFree=61858088/67111528
[pid=1911] ppid=1909 vsize=45912 CPUtime=462.29 cores=1,3,5,7
/proc/1911/stat : 1911 (bsolo) R 1909 1911 678 0 -1 4202496 10465 0 0 0 46101 128 0 0 25 0 1 0 829337955 47013888 9053 33554432000 134512640 137138936 4287947504 18446744073709551615 136504083 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1911/statm: 11478 9053 192 642 0 10834 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 45912
[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/474 1926
/proc/meminfo: memFree=20286248/32950928 swapFree=61858088/67111528
[pid=1911] ppid=1909 vsize=46056 CPUtime=522.3 cores=1,3,5,7
/proc/1911/stat : 1911 (bsolo) R 1909 1911 678 0 -1 4202496 10569 0 0 0 52082 148 0 0 25 0 1 0 829337955 47161344 9089 33554432000 134512640 137138936 4287947504 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1911/statm: 11514 9089 192 642 0 10870 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 46056
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 1928
/proc/meminfo: memFree=20281884/32950928 swapFree=61858088/67111528
[pid=1911] ppid=1909 vsize=49288 CPUtime=582.29 cores=1,3,5,7
/proc/1911/stat : 1911 (bsolo) R 1909 1911 678 0 -1 4202496 11404 0 0 0 58063 166 0 0 25 0 1 0 829337955 50470912 9877 33554432000 134512640 137138936 4287947504 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1911/statm: 12322 9877 192 642 0 11678 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 49288
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=20272268/32950928 swapFree=61858088/67111528
[pid=1911] ppid=1909 vsize=52708 CPUtime=1062.31 cores=1,3,5,7
/proc/1911/stat : 1911 (bsolo) R 1909 1911 678 0 -1 4202496 13184 0 0 0 105977 254 0 0 25 0 1 0 829337955 53972992 10752 33554432000 134512640 137138936 4287947504 18446744073709551615 134599804 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1911/statm: 13177 10752 192 642 0 12533 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 52708
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 1954
/proc/meminfo: memFree=20272348/32950928 swapFree=61858088/67111528
[pid=1911] ppid=1909 vsize=53028 CPUtime=1122.31 cores=1,3,5,7
/proc/1911/stat : 1911 (bsolo) R 1909 1911 678 0 -1 4202496 13486 0 0 0 111964 267 0 0 25 0 1 0 829337955 54300672 10815 33554432000 134512640 137138936 4287947504 18446744073709551615 134607253 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1911/statm: 13257 10815 192 642 0 12613 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 53028
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 1956
/proc/meminfo: memFree=20271696/32950928 swapFree=61858088/67111528
[pid=1911] ppid=1909 vsize=53176 CPUtime=1182.31 cores=1,3,5,7
/proc/1911/stat : 1911 (bsolo) R 1909 1911 678 0 -1 4202496 13603 0 0 0 117937 294 0 0 25 0 1 0 829337955 54452224 10851 33554432000 134512640 137138936 4287947504 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1911/statm: 13294 10851 192 642 0 12650 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 53176
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 1957
/proc/meminfo: memFree=20270292/32950928 swapFree=61858088/67111528
[pid=1911] ppid=1909 vsize=53244 CPUtime=1242.31 cores=1,3,5,7
/proc/1911/stat : 1911 (bsolo) R 1909 1911 678 0 -1 4202496 13625 0 0 0 123912 319 0 0 25 0 1 0 829337955 54521856 10873 33554432000 134512640 137138936 4287947504 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1911/statm: 13311 10873 192 642 0 12667 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 53244
[startup+1302.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/474 1959
/proc/meminfo: memFree=20267540/32950928 swapFree=61858088/67111528
[pid=1911] ppid=1909 vsize=53428 CPUtime=1302.31 cores=1,3,5,7
/proc/1911/stat : 1911 (bsolo) R 1909 1911 678 0 -1 4202496 13713 0 0 0 129882 349 0 0 25 0 1 0 829337955 54710272 10932 33554432000 134512640 137138936 4287947504 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1911/statm: 13357 10932 192 642 0 12713 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 53428
[startup+1362.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/474 1960
/proc/meminfo: memFree=20267256/32950928 swapFree=61858088/67111528
[pid=1911] ppid=1909 vsize=55920 CPUtime=1362.31 cores=1,3,5,7
/proc/1911/stat : 1911 (bsolo) R 1909 1911 678 0 -1 4202496 14327 0 0 0 135851 380 0 0 25 0 1 0 829337955 57262080 11545 33554432000 134512640 137138936 4287947504 18446744073709551615 134543508 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1911/statm: 13980 11545 192 642 0 13336 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 55920
[startup+1422.32 s]
/proc/loadavg: 2.02 2.03 2.00 3/474 1962
/proc/meminfo: memFree=20264128/32950928 swapFree=61858088/67111528
[pid=1911] ppid=1909 vsize=57888 CPUtime=1422.33 cores=1,3,5,7
/proc/1911/stat : 1911 (bsolo) R 1909 1911 678 0 -1 4202496 15050 0 0 0 141843 390 0 0 25 0 1 0 829337955 59277312 12047 33554432000 134512640 137138936 4287947504 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1911/statm: 14472 12047 192 642 0 13828 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 57888
[startup+1482.3 s]
/proc/loadavg: 2.15 2.07 2.01 3/474 1964
/proc/meminfo: memFree=20265076/32950928 swapFree=61858088/67111528
[pid=1911] ppid=1909 vsize=56968 CPUtime=1482.32 cores=1,3,5,7
/proc/1911/stat : 1911 (bsolo) R 1909 1911 678 0 -1 4202496 15244 0 0 0 147828 404 0 0 25 0 1 0 829337955 58335232 11798 33554432000 134512640 137138936 4287947504 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1911/statm: 14242 11798 192 642 0 13598 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 56968
[startup+1542.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/474 1965
/proc/meminfo: memFree=20262196/32950928 swapFree=61858088/67111528
[pid=1911] ppid=1909 vsize=56896 CPUtime=1542.32 cores=1,3,5,7
/proc/1911/stat : 1911 (bsolo) R 1909 1911 678 0 -1 4202496 15380 0 0 0 153812 420 0 0 25 0 1 0 829337955 58261504 11799 33554432000 134512640 137138936 4287947504 18446744073709551615 134599804 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1911/statm: 14224 11799 192 642 0 13580 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 56896
[startup+1602.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/474 1967
/proc/meminfo: memFree=20262152/32950928 swapFree=61858088/67111528
[pid=1911] ppid=1909 vsize=57468 CPUtime=1602.32 cores=1,3,5,7
/proc/1911/stat : 1911 (bsolo) R 1909 1911 678 0 -1 4202496 15593 0 0 0 159796 436 0 0 25 0 1 0 829337955 58847232 11942 33554432000 134512640 137138936 4287947504 18446744073709551615 134618200 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1911/statm: 14367 11942 192 642 0 13723 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 57468
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/474 1968
/proc/meminfo: memFree=20261380/32950928 swapFree=61858088/67111528
[pid=1911] ppid=1909 vsize=57484 CPUtime=1662.32 cores=1,3,5,7
/proc/1911/stat : 1911 (bsolo) R 1909 1911 678 0 -1 4202496 15674 0 0 0 165786 446 0 0 25 0 1 0 829337955 58863616 11946 33554432000 134512640 137138936 4287947504 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1911/statm: 14371 11946 192 642 0 13727 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 57484
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 1970
/proc/meminfo: memFree=20262824/32950928 swapFree=61858088/67111528
[pid=1911] ppid=1909 vsize=57464 CPUtime=1722.32 cores=1,3,5,7
/proc/1911/stat : 1911 (bsolo) R 1909 1911 678 0 -1 4202496 15674 0 0 0 171769 463 0 0 25 0 1 0 829337955 58843136 11941 33554432000 134512640 137138936 4287947504 18446744073709551615 134599777 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1911/statm: 14366 11941 192 642 0 13722 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 57464
[startup+1782.3 s]
/proc/loadavg: 1.97 2.00 1.99 3/474 2026
/proc/meminfo: memFree=20316368/32950928 swapFree=61858088/67111528
[pid=1911] ppid=1909 vsize=57456 CPUtime=1782.32 cores=1,3,5,7
/proc/1911/stat : 1911 (bsolo) R 1909 1911 678 0 -1 4202496 15674 0 0 0 177747 485 0 0 25 0 1 0 829337955 58834944 11939 33554432000 134512640 137138936 4287947504 18446744073709551615 134551063 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1911/statm: 14364 11939 192 642 0 13720 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 57456
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.97 2.00 1.99 3/474 2026
/proc/meminfo: memFree=20317744/32950928 swapFree=61858088/67111528
[pid=1911] ppid=1909 vsize=57456 CPUtime=1785.53 cores=1,3,5,7
/proc/1911/stat : 1911 (bsolo) R 1909 1911 678 0 -1 4202496 15674 0 0 0 178067 486 0 0 25 0 1 0 829337955 58834944 11939 33554432000 134512640 137138936 4287947504 18446744073709551615 136504535 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1911/statm: 14364 11939 192 642 0 13720 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 57456
[startup+1791.92 s]
/proc/loadavg: 1.97 2.00 1.99 3/474 2026
/proc/meminfo: memFree=20317484/32950928 swapFree=61858088/67111528
[pid=1911] ppid=1909 vsize=57548 CPUtime=1791.95 cores=1,3,5,7
/proc/1911/stat : 1911 (bsolo) R 1909 1911 678 0 -1 4202496 15679 0 0 0 178707 488 0 0 25 0 1 0 829337955 58929152 11944 33554432000 134512640 137138936 4287947504 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1911/statm: 14387 11944 192 642 0 13743 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 57548
[startup+1795.1 s]
/proc/loadavg: 1.97 2.00 1.99 3/474 2026
/proc/meminfo: memFree=20317484/32950928 swapFree=61858088/67111528
[pid=1911] ppid=1909 vsize=57544 CPUtime=1795.13 cores=1,3,5,7
/proc/1911/stat : 1911 (bsolo) R 1909 1911 678 0 -1 4202496 15679 0 0 0 179025 488 0 0 25 0 1 0 829337955 58925056 11944 33554432000 134512640 137138936 4287947504 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1911/statm: 14386 11944 192 642 0 13742 0
Current children cumulated CPU time (s) 1795.13
Current children cumulated vsize (KiB) 57544
[startup+1796.7 s]
/proc/loadavg: 1.97 2.00 1.99 3/474 2026
/proc/meminfo: memFree=20317484/32950928 swapFree=61858088/67111528
[pid=1911] ppid=1909 vsize=57544 CPUtime=1796.73 cores=1,3,5,7
/proc/1911/stat : 1911 (bsolo) R 1909 1911 678 0 -1 4202496 15679 0 0 0 179184 489 0 0 25 0 1 0 829337955 58925056 11944 33554432000 134512640 137138936 4287947504 18446744073709551615 134598928 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1911/statm: 14386 11944 192 642 0 13742 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 57544
[startup+1797.5 s]
/proc/loadavg: 1.97 2.00 1.99 3/474 2026
/proc/meminfo: memFree=20317236/32950928 swapFree=61858088/67111528
[pid=1911] ppid=1909 vsize=57648 CPUtime=1797.53 cores=1,3,5,7
/proc/1911/stat : 1911 (bsolo) R 1909 1911 678 0 -1 4202496 15704 0 0 0 179264 489 0 0 25 0 1 0 829337955 59031552 11969 33554432000 134512640 137138936 4287947504 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1911/statm: 14412 11969 192 642 0 13768 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 57648
[startup+1797.9 s]
/proc/loadavg: 1.97 2.00 1.99 3/474 2026
/proc/meminfo: memFree=20317236/32950928 swapFree=61858088/67111528
[pid=1911] ppid=1909 vsize=57648 CPUtime=1797.92 cores=1,3,5,7
/proc/1911/stat : 1911 (bsolo) R 1909 1911 678 0 -1 4202496 15704 0 0 0 179303 489 0 0 25 0 1 0 829337955 59031552 11969 33554432000 134512640 137138936 4287947504 18446744073709551615 134552384 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1911/statm: 14412 11969 192 642 0 13768 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 57648
Child status: 0
Real time (s): 1797.97
CPU time (s): 1798
CPU user time (s): 1793.11
CPU system time (s): 4.89725
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 57996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.11
system time used= 4.89725
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15705
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= 21393
runsolver used 8.28774 second user time and 19.503 second system time
The end