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-3463778-1307185885/watcher-3463778-1307185885 -o /tmp/evaluation-result-3463778-1307185885/solver-3463778-1307185885 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463778-1307185885.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.15 2.04 2.01 2/473 2565
/proc/meminfo: memFree=20317992/32950928 swapFree=61858088/67111528
[pid=2565] ppid=2563 vsize=14336 CPUtime=0 cores=1,3,5,7
/proc/2565/stat : 2565 (bsolo) R 2563 2565 678 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 830188207 14680064 314 33554432000 134512640 137138936 4292003536 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2565/statm: 3584 315 181 642 0 2124 0
[startup+0.100064 s]
/proc/loadavg: 2.15 2.04 2.01 2/473 2565
/proc/meminfo: memFree=20317992/32950928 swapFree=61858088/67111528
[pid=2565] ppid=2563 vsize=20456 CPUtime=0.09 cores=1,3,5,7
/proc/2565/stat : 2565 (bsolo) R 2563 2565 678 0 -1 4202496 2243 0 0 0 9 0 0 0 25 0 1 0 830188207 20946944 2197 33554432000 134512640 137138936 4292003536 18446744073709551615 136736928 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2565/statm: 5114 2197 522 642 0 3654 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20456
[startup+0.201047 s]
/proc/loadavg: 2.15 2.04 2.01 2/473 2565
/proc/meminfo: memFree=20317992/32950928 swapFree=61858088/67111528
[pid=2565] ppid=2563 vsize=26604 CPUtime=0.19 cores=1,3,5,7
/proc/2565/stat : 2565 (bsolo) R 2563 2565 678 0 -1 4202496 4160 0 0 0 19 0 0 0 25 0 1 0 830188207 27242496 4074 33554432000 134512640 137138936 4292003536 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2565/statm: 6651 4074 876 642 0 5191 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26604
[startup+0.30103 s]
/proc/loadavg: 2.15 2.04 2.01 2/473 2565
/proc/meminfo: memFree=20317992/32950928 swapFree=61858088/67111528
[pid=2565] ppid=2563 vsize=33736 CPUtime=0.29 cores=1,3,5,7
/proc/2565/stat : 2565 (bsolo) R 2563 2565 678 0 -1 4202496 6794 0 0 0 29 0 0 0 25 0 1 0 830188207 34545664 5892 33554432000 134512640 137138936 4292003536 18446744073709551615 134567156 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2565/statm: 8434 5892 184 642 0 7790 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33736
[startup+0.700958 s]
/proc/loadavg: 2.15 2.04 2.01 2/473 2565
/proc/meminfo: memFree=20317992/32950928 swapFree=61858088/67111528
[pid=2565] ppid=2563 vsize=34000 CPUtime=0.7 cores=1,3,5,7
/proc/2565/stat : 2565 (bsolo) R 2563 2565 678 0 -1 4202496 6846 0 0 0 69 1 0 0 25 0 1 0 830188207 34816000 5944 33554432000 134512640 137138936 4292003536 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2565/statm: 8500 5944 184 642 0 7856 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 34000
[startup+1.50082 s]
/proc/loadavg: 2.15 2.04 2.01 3/474 2566
/proc/meminfo: memFree=20294560/32950928 swapFree=61858088/67111528
[pid=2565] ppid=2563 vsize=34000 CPUtime=1.5 cores=1,3,5,7
/proc/2565/stat : 2565 (bsolo) R 2563 2565 678 0 -1 4202496 6848 0 0 0 149 1 0 0 25 0 1 0 830188207 34816000 5946 33554432000 134512640 137138936 4292003536 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2565/statm: 8500 5946 184 642 0 7856 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 34000
[startup+3.10053 s]
/proc/loadavg: 2.13 2.04 2.01 3/474 2566
/proc/meminfo: memFree=20293568/32950928 swapFree=61858088/67111528
[pid=2565] ppid=2563 vsize=34000 CPUtime=3.09 cores=1,3,5,7
/proc/2565/stat : 2565 (bsolo) R 2563 2565 678 0 -1 4202496 6848 0 0 0 308 1 0 0 25 0 1 0 830188207 34816000 5946 33554432000 134512640 137138936 4292003536 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2565/statm: 8500 5946 184 642 0 7856 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34000
[startup+6.30097 s]
/proc/loadavg: 2.13 2.04 2.01 3/474 2566
/proc/meminfo: memFree=20294456/32950928 swapFree=61858088/67111528
[pid=2565] ppid=2563 vsize=34000 CPUtime=6.3 cores=1,3,5,7
/proc/2565/stat : 2565 (bsolo) R 2563 2565 678 0 -1 4202496 6864 0 0 0 628 2 0 0 25 0 1 0 830188207 34816000 5962 33554432000 134512640 137138936 4292003536 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2565/statm: 8500 5962 184 642 0 7856 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 34000
[startup+12.7008 s]
/proc/loadavg: 2.11 2.04 2.01 3/474 2566
/proc/meminfo: memFree=20293608/32950928 swapFree=61858088/67111528
[pid=2565] ppid=2563 vsize=34388 CPUtime=12.69 cores=1,3,5,7
/proc/2565/stat : 2565 (bsolo) R 2563 2565 678 0 -1 4202496 7400 0 0 0 1262 7 0 0 25 0 1 0 830188207 35213312 6046 33554432000 134512640 137138936 4292003536 18446744073709551615 134576176 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2565/statm: 8597 6046 192 642 0 7953 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34388
[startup+25.5006 s]
/proc/loadavg: 2.10 2.04 2.01 3/474 2566
/proc/meminfo: memFree=20287664/32950928 swapFree=61858088/67111528
[pid=2565] ppid=2563 vsize=36936 CPUtime=25.49 cores=1,3,5,7
/proc/2565/stat : 2565 (bsolo) R 2563 2565 678 0 -1 4202496 8038 0 0 0 2540 9 0 0 25 0 1 0 830188207 37822464 6684 33554432000 134512640 137138936 4292003536 18446744073709551615 134542128 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2565/statm: 9234 6684 192 642 0 8590 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 36936
[startup+51.1011 s]
/proc/loadavg: 2.34 2.10 2.03 3/474 2567
/proc/meminfo: memFree=20262612/32950928 swapFree=61858088/67111528
[pid=2565] ppid=2563 vsize=62040 CPUtime=51.04 cores=1,3,5,7
/proc/2565/stat : 2565 (bsolo) R 2563 2565 678 0 -1 4202496 14314 0 0 0 5091 13 0 0 25 0 1 0 830188207 63528960 12960 33554432000 134512640 137138936 4292003536 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2565/statm: 15510 12960 192 642 0 14866 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 62040
[startup+102.301 s]
/proc/loadavg: 2.27 2.11 2.03 3/474 2568
/proc/meminfo: memFree=20208824/32950928 swapFree=61858088/67111528
[pid=2565] ppid=2563 vsize=113484 CPUtime=102.24 cores=1,3,5,7
/proc/2565/stat : 2565 (bsolo) R 2563 2565 678 0 -1 4202496 27267 0 0 0 10205 19 0 0 25 0 1 0 830188207 116207616 25822 33554432000 134512640 137138936 4292003536 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2565/statm: 28371 25822 192 642 0 27727 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 113484
[startup+162.301 s]
/proc/loadavg: 2.10 2.09 2.03 3/474 2570
/proc/meminfo: memFree=20144556/32950928 swapFree=61858088/67111528
[pid=2565] ppid=2563 vsize=178120 CPUtime=162.23 cores=1,3,5,7
/proc/2565/stat : 2565 (bsolo) R 2563 2565 678 0 -1 4202496 43427 0 0 0 16199 24 0 0 25 0 1 0 830188207 182394880 41982 33554432000 134512640 137138936 4292003536 18446744073709551615 134606982 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2565/statm: 44530 41982 192 642 0 43886 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 178120
[startup+222.318 s]
/proc/loadavg: 2.03 2.07 2.02 3/474 2572
/proc/meminfo: memFree=20076448/32950928 swapFree=61858088/67111528
[pid=2565] ppid=2563 vsize=244300 CPUtime=222.25 cores=1,3,5,7
/proc/2565/stat : 2565 (bsolo) R 2563 2565 678 0 -1 4202496 59972 0 0 0 22196 29 0 0 25 0 1 0 830188207 250163200 58527 33554432000 134512640 137138936 4292003536 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2565/statm: 61075 58527 192 642 0 60431 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 244300
[startup+282.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/474 2573
/proc/meminfo: memFree=20022476/32950928 swapFree=61858088/67111528
[pid=2565] ppid=2563 vsize=302820 CPUtime=282.23 cores=1,3,5,7
/proc/2565/stat : 2565 (bsolo) R 2563 2565 678 0 -1 4202496 74602 0 0 0 28189 34 0 0 25 0 1 0 830188207 310087680 73157 33554432000 134512640 137138936 4292003536 18446744073709551615 136504212 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2565/statm: 75705 73157 192 642 0 75061 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 302820
[startup+342.301 s]
/proc/loadavg: 2.00 2.04 2.01 3/474 2575
/proc/meminfo: memFree=19975700/32950928 swapFree=61858088/67111528
[pid=2565] ppid=2563 vsize=347564 CPUtime=342.23 cores=1,3,5,7
/proc/2565/stat : 2565 (bsolo) R 2563 2565 678 0 -1 4202496 85788 0 0 0 34184 39 0 0 25 0 1 0 830188207 355905536 84343 33554432000 134512640 137138936 4292003536 18446744073709551615 134542372 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2565/statm: 86891 84343 192 642 0 86247 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 347564
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/474 2576
/proc/meminfo: memFree=19950492/32950928 swapFree=61858088/67111528
[pid=2565] ppid=2563 vsize=374904 CPUtime=402.23 cores=1,3,5,7
/proc/2565/stat : 2565 (bsolo) R 2563 2565 678 0 -1 4202496 92623 0 0 0 40181 42 0 0 25 0 1 0 830188207 383901696 91178 33554432000 134512640 137138936 4292003536 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2565/statm: 93726 91178 192 642 0 93082 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 374904
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 2578
/proc/meminfo: memFree=19923544/32950928 swapFree=61858088/67111528
[pid=2565] ppid=2563 vsize=401096 CPUtime=462.23 cores=1,3,5,7
/proc/2565/stat : 2565 (bsolo) R 2563 2565 678 0 -1 4202496 99171 0 0 0 46178 45 0 0 25 0 1 0 830188207 410722304 97726 33554432000 134512640 137138936 4292003536 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2565/statm: 100274 97726 192 642 0 99630 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 401096
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 2580
/proc/meminfo: memFree=19888412/32950928 swapFree=61858088/67111528
[pid=2565] ppid=2563 vsize=433500 CPUtime=522.22 cores=1,3,5,7
/proc/2565/stat : 2565 (bsolo) R 2563 2565 678 0 -1 4202496 107272 0 0 0 52174 48 0 0 25 0 1 0 830188207 443904000 105827 33554432000 134512640 137138936 4292003536 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2565/statm: 108375 105827 192 642 0 107731 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 433500
[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 2581
/proc/meminfo: memFree=19859232/32950928 swapFree=61858088/67111528
[pid=2565] ppid=2563 vsize=461812 CPUtime=582.22 cores=1,3,5,7
/proc/2565/stat : 2565 (bsolo) R 2563 2565 678 0 -1 4202496 114350 0 0 0 58170 52 0 0 25 0 1 0 830188207 472895488 112905 33554432000 134512640 137138936 4292003536 18446744073709551615 134542817 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2565/statm: 115453 112905 192 642 0 114809 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 461812
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=19655156/32950928 swapFree=61858088/67111528
[pid=2565] ppid=2563 vsize=651428 CPUtime=1122.21 cores=1,3,5,7
/proc/2565/stat : 2565 (bsolo) R 2563 2565 678 0 -1 4202496 161981 0 0 0 112139 82 0 0 25 0 1 0 830188207 667062272 160309 33554432000 134512640 137138936 4292003536 18446744073709551615 134572775 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2565/statm: 162857 160309 192 642 0 162213 0
Current children cumulated CPU time (s) 1122.21
Current children cumulated vsize (KiB) 651428
[startup+1182.3 s]
/proc/loadavg: 1.85 1.97 1.99 2/468 2614
/proc/meminfo: memFree=19725012/32950928 swapFree=61858088/67111528
[pid=2565] ppid=2563 vsize=651428 CPUtime=1182.21 cores=1,3,5,7
/proc/2565/stat : 2565 (bsolo) R 2563 2565 678 0 -1 4202496 161981 0 0 0 118136 85 0 0 25 0 1 0 830188207 667062272 160309 33554432000 134512640 137138936 4292003536 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2565/statm: 162857 160309 192 642 0 162213 0
Current children cumulated CPU time (s) 1182.21
Current children cumulated vsize (KiB) 651428
[startup+1242.3 s]
/proc/loadavg: 1.42 1.82 1.94 2/468 2616
/proc/meminfo: memFree=19724392/32950928 swapFree=61858088/67111528
[pid=2565] ppid=2563 vsize=651428 CPUtime=1242.21 cores=1,3,5,7
/proc/2565/stat : 2565 (bsolo) R 2563 2565 678 0 -1 4202496 161982 0 0 0 124133 88 0 0 25 0 1 0 830188207 667062272 160310 33554432000 134512640 137138936 4292003536 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2565/statm: 162857 160310 192 642 0 162213 0
Current children cumulated CPU time (s) 1242.21
Current children cumulated vsize (KiB) 651428
[startup+1302.3 s]
/proc/loadavg: 1.15 1.67 1.87 2/468 2617
/proc/meminfo: memFree=19724620/32950928 swapFree=61858088/67111528
[pid=2565] ppid=2563 vsize=651428 CPUtime=1302.21 cores=1,3,5,7
/proc/2565/stat : 2565 (bsolo) R 2563 2565 678 0 -1 4202496 161982 0 0 0 130130 91 0 0 25 0 1 0 830188207 667062272 160310 33554432000 134512640 137138936 4292003536 18446744073709551615 134542713 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2565/statm: 162857 160310 192 642 0 162213 0
Current children cumulated CPU time (s) 1302.21
Current children cumulated vsize (KiB) 651428
[startup+1362.3 s]
/proc/loadavg: 1.06 1.54 1.82 2/468 2619
/proc/meminfo: memFree=19725836/32950928 swapFree=61858088/67111528
[pid=2565] ppid=2563 vsize=651428 CPUtime=1362.21 cores=1,3,5,7
/proc/2565/stat : 2565 (bsolo) R 2563 2565 678 0 -1 4202496 161982 0 0 0 136127 94 0 0 25 0 1 0 830188207 667062272 160310 33554432000 134512640 137138936 4292003536 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2565/statm: 162857 160310 192 642 0 162213 0
Current children cumulated CPU time (s) 1362.21
Current children cumulated vsize (KiB) 651428
[startup+1422.3 s]
/proc/loadavg: 1.02 1.44 1.76 2/468 2621
/proc/meminfo: memFree=19725804/32950928 swapFree=61858088/67111528
[pid=2565] ppid=2563 vsize=651428 CPUtime=1422.21 cores=1,3,5,7
/proc/2565/stat : 2565 (bsolo) R 2563 2565 678 0 -1 4202496 161982 0 0 0 142124 97 0 0 25 0 1 0 830188207 667062272 160310 33554432000 134512640 137138936 4292003536 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2565/statm: 162857 160310 192 642 0 162213 0
Current children cumulated CPU time (s) 1422.21
Current children cumulated vsize (KiB) 651428
[startup+1482.3 s]
/proc/loadavg: 1.00 1.36 1.71 2/468 2622
/proc/meminfo: memFree=19725652/32950928 swapFree=61858088/67111528
[pid=2565] ppid=2563 vsize=651428 CPUtime=1482.2 cores=1,3,5,7
/proc/2565/stat : 2565 (bsolo) R 2563 2565 678 0 -1 4202496 161982 0 0 0 148121 99 0 0 25 0 1 0 830188207 667062272 160310 33554432000 134512640 137138936 4292003536 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2565/statm: 162857 160310 192 642 0 162213 0
Current children cumulated CPU time (s) 1482.2
Current children cumulated vsize (KiB) 651428
[startup+1542.32 s]
/proc/loadavg: 1.00 1.29 1.66 2/468 2624
/proc/meminfo: memFree=19725880/32950928 swapFree=61858088/67111528
[pid=2565] ppid=2563 vsize=651428 CPUtime=1542.21 cores=1,3,5,7
/proc/2565/stat : 2565 (bsolo) R 2563 2565 678 0 -1 4202496 161982 0 0 0 154119 102 0 0 25 0 1 0 830188207 667062272 160310 33554432000 134512640 137138936 4292003536 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2565/statm: 162857 160310 192 642 0 162213 0
Current children cumulated CPU time (s) 1542.21
Current children cumulated vsize (KiB) 651428
[startup+1602.3 s]
/proc/loadavg: 1.00 1.24 1.62 2/468 2625
/proc/meminfo: memFree=19726104/32950928 swapFree=61858088/67111528
[pid=2565] ppid=2563 vsize=651428 CPUtime=1602.19 cores=1,3,5,7
/proc/2565/stat : 2565 (bsolo) R 2563 2565 678 0 -1 4202496 161982 0 0 0 160115 104 0 0 25 0 1 0 830188207 667062272 160310 33554432000 134512640 137138936 4292003536 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2565/statm: 162857 160310 192 642 0 162213 0
Current children cumulated CPU time (s) 1602.19
Current children cumulated vsize (KiB) 651428
[startup+1662.3 s]
/proc/loadavg: 1.00 1.19 1.58 2/468 2627
/proc/meminfo: memFree=19726208/32950928 swapFree=61858088/67111528
[pid=2565] ppid=2563 vsize=651428 CPUtime=1662.2 cores=1,3,5,7
/proc/2565/stat : 2565 (bsolo) R 2563 2565 678 0 -1 4202496 161982 0 0 0 166114 106 0 0 25 0 1 0 830188207 667062272 160310 33554432000 134512640 137138936 4292003536 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2565/statm: 162857 160310 192 642 0 162213 0
Current children cumulated CPU time (s) 1662.2
Current children cumulated vsize (KiB) 651428
[startup+1722.3 s]
/proc/loadavg: 1.00 1.15 1.54 2/468 2629
/proc/meminfo: memFree=19723080/32950928 swapFree=61858088/67111528
[pid=2565] ppid=2563 vsize=654640 CPUtime=1722.19 cores=1,3,5,7
/proc/2565/stat : 2565 (bsolo) R 2563 2565 678 0 -1 4202496 162785 0 0 0 172112 107 0 0 25 0 1 0 830188207 670351360 161113 33554432000 134512640 137138936 4292003536 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2565/statm: 163660 161113 192 642 0 163016 0
Current children cumulated CPU time (s) 1722.19
Current children cumulated vsize (KiB) 654640
[startup+1782.3 s]
/proc/loadavg: 1.08 1.14 1.51 2/468 2630
/proc/meminfo: memFree=19693544/32950928 swapFree=61858088/67111528
[pid=2565] ppid=2563 vsize=683028 CPUtime=1782.19 cores=1,3,5,7
/proc/2565/stat : 2565 (bsolo) R 2563 2565 678 0 -1 4202496 169882 0 0 0 178109 110 0 0 25 0 1 0 830188207 699420672 168210 33554432000 134512640 137138936 4292003536 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2565/statm: 170757 168210 192 642 0 170113 0
Current children cumulated CPU time (s) 1782.19
Current children cumulated vsize (KiB) 683028
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 1.08 1.14 1.51 2/468 2630
/proc/meminfo: memFree=19692176/32950928 swapFree=61858088/67111528
[pid=2565] ppid=2563 vsize=684444 CPUtime=1785.5 cores=1,3,5,7
/proc/2565/stat : 2565 (bsolo) R 2563 2565 678 0 -1 4202496 170236 0 0 0 178439 111 0 0 25 0 1 0 830188207 700870656 168564 33554432000 134512640 137138936 4292003536 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2565/statm: 171111 168564 192 642 0 170467 0
Current children cumulated CPU time (s) 1785.5
Current children cumulated vsize (KiB) 684444
[startup+1792.02 s]
/proc/loadavg: 1.07 1.13 1.50 2/468 2631
/proc/meminfo: memFree=19689448/32950928 swapFree=61858088/67111528
[pid=2565] ppid=2563 vsize=688188 CPUtime=1791.91 cores=1,3,5,7
/proc/2565/stat : 2565 (bsolo) R 2563 2565 678 0 -1 4202496 171172 0 0 0 179080 111 0 0 25 0 1 0 830188207 704704512 169500 33554432000 134512640 137138936 4292003536 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2565/statm: 172047 169500 192 642 0 171403 0
Current children cumulated CPU time (s) 1791.91
Current children cumulated vsize (KiB) 688188
[startup+1795.2 s]
/proc/loadavg: 1.07 1.13 1.50 2/468 2631
/proc/meminfo: memFree=19687340/32950928 swapFree=61858088/67111528
[pid=2565] ppid=2563 vsize=690232 CPUtime=1795.1 cores=1,3,5,7
/proc/2565/stat : 2565 (bsolo) R 2563 2565 678 0 -1 4202496 171683 0 0 0 179399 111 0 0 25 0 1 0 830188207 706797568 170011 33554432000 134512640 137138936 4292003536 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2565/statm: 172558 170011 192 642 0 171914 0
Current children cumulated CPU time (s) 1795.1
Current children cumulated vsize (KiB) 690232
[startup+1796.8 s]
/proc/loadavg: 1.06 1.13 1.50 2/468 2631
/proc/meminfo: memFree=19686720/32950928 swapFree=61858088/67111528
[pid=2565] ppid=2563 vsize=691148 CPUtime=1796.69 cores=1,3,5,7
/proc/2565/stat : 2565 (bsolo) R 2563 2565 678 0 -1 4202496 171912 0 0 0 179558 111 0 0 25 0 1 0 830188207 707735552 170240 33554432000 134512640 137138936 4292003536 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2565/statm: 172787 170240 192 642 0 172143 0
Current children cumulated CPU time (s) 1796.69
Current children cumulated vsize (KiB) 691148
[startup+1797.6 s]
/proc/loadavg: 1.06 1.13 1.50 2/468 2631
/proc/meminfo: memFree=19685976/32950928 swapFree=61858088/67111528
[pid=2565] ppid=2563 vsize=691692 CPUtime=1797.49 cores=1,3,5,7
/proc/2565/stat : 2565 (bsolo) R 2563 2565 678 0 -1 4202496 172048 0 0 0 179638 111 0 0 25 0 1 0 830188207 708292608 170376 33554432000 134512640 137138936 4292003536 18446744073709551615 134542513 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2565/statm: 172923 170376 192 642 0 172279 0
Current children cumulated CPU time (s) 1797.49
Current children cumulated vsize (KiB) 691692
[startup+1798 s]
/proc/loadavg: 1.06 1.13 1.50 2/468 2631
/proc/meminfo: memFree=19685976/32950928 swapFree=61858088/67111528
[pid=2565] ppid=2563 vsize=691692 CPUtime=1797.89 cores=1,3,5,7
/proc/2565/stat : 2565 (bsolo) R 2563 2565 678 0 -1 4202496 172048 0 0 0 179678 111 0 0 25 0 1 0 830188207 708292608 170376 33554432000 134512640 137138936 4292003536 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2565/statm: 172923 170376 192 642 0 172279 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 691692
[startup+1798.1 s]
/proc/loadavg: 1.06 1.13 1.50 2/468 2631
/proc/meminfo: memFree=19685976/32950928 swapFree=61858088/67111528
[pid=2565] ppid=2563 vsize=691692 CPUtime=1797.99 cores=1,3,5,7
/proc/2565/stat : 2565 (bsolo) R 2563 2565 678 0 -1 4202496 172048 0 0 0 179688 111 0 0 25 0 1 0 830188207 708292608 170376 33554432000 134512640 137138936 4292003536 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2565/statm: 172923 170376 192 642 0 172279 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 691692
Child status: 0
Real time (s): 1798.13
CPU time (s): 1798.03
CPU user time (s): 1796.89
CPU system time (s): 1.14682
CPU usage (%): 99.9944
Max. virtual memory (cumulated for all children) (KiB): 691692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.89
system time used= 1.14682
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172048
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= 2245
runsolver used 7.8878 second user time and 19.905 second system time
The end