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-3478940-1307442430/watcher-3478940-1307442430 -o /tmp/evaluation-result-3478940-1307442430/solver-3478940-1307442430 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3478940-1307442430.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.09 2.04 2.01 2/535 16818
/proc/meminfo: memFree=26537064/32951124 swapFree=58212616/67111528
[pid=16818] ppid=16816 vsize=385252 CPUtime=0 cores=1,3,5,7
/proc/16818/stat : 16818 (bsolo) R 16816 16818 16389 0 -1 4202496 405 0 0 0 0 0 0 0 23 0 1 0 855841886 394498048 359 33554432000 134512640 137138936 4292443552 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 96313 359 201 642 0 2156 0
[startup+0.0470191 s]
/proc/loadavg: 2.09 2.04 2.01 2/535 16818
/proc/meminfo: memFree=26537064/32951124 swapFree=58212616/67111528
[pid=16818] ppid=16816 vsize=387160 CPUtime=0.04 cores=1,3,5,7
/proc/16818/stat : 16818 (bsolo) R 16816 16818 16389 0 -1 4202496 1023 0 0 0 4 0 0 0 23 0 1 0 855841886 396451840 977 33554432000 134512640 137138936 4292443552 18446744073709551615 134520243 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 96790 977 343 642 0 2633 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 387160
[startup+0.10101 s]
/proc/loadavg: 2.09 2.04 2.01 2/535 16818
/proc/meminfo: memFree=26537064/32951124 swapFree=58212616/67111528
[pid=16818] ppid=16816 vsize=389756 CPUtime=0.09 cores=1,3,5,7
/proc/16818/stat : 16818 (bsolo) R 16816 16818 16389 0 -1 4202496 1917 0 0 0 9 0 0 0 23 0 1 0 855841886 399110144 1871 33554432000 134512640 137138936 4292443552 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 97439 1871 562 642 0 3282 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 389756
[startup+0.300988 s]
/proc/loadavg: 2.09 2.04 2.01 2/535 16818
/proc/meminfo: memFree=26537064/32951124 swapFree=58212616/67111528
[pid=16818] ppid=16816 vsize=399168 CPUtime=0.29 cores=1,3,5,7
/proc/16818/stat : 16818 (bsolo) R 16816 16818 16389 0 -1 4202496 5004 0 0 0 29 0 0 0 25 0 1 0 855841886 408748032 4958 33554432000 134512640 137138936 4292443552 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 99792 4959 1328 642 0 5635 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 399168
[startup+1.91669 s]
/proc/loadavg: 2.09 2.04 2.01 2/535 16818
/proc/meminfo: memFree=26537064/32951124 swapFree=58212616/67111528
[pid=16818] ppid=16816 vsize=467356 CPUtime=1.91 cores=1,3,5,7
/proc/16818/stat : 16818 (bsolo) R 16816 16818 16389 0 -1 4202496 28111 0 0 0 187 4 0 0 25 0 1 0 855841886 478572544 28025 33554432000 134512640 137138936 4292443552 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 116840 28025 7337 642 0 22683 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 467356
[startup+2.00115 s]
/proc/loadavg: 2.09 2.04 2.01 2/535 16818
/proc/meminfo: memFree=26537064/32951124 swapFree=58212616/67111528
[pid=16818] ppid=16816 vsize=470904 CPUtime=1.99 cores=1,3,5,7
/proc/16818/stat : 16818 (bsolo) R 16816 16818 16389 0 -1 4202496 29289 0 0 0 195 4 0 0 25 0 1 0 855841886 482205696 29203 33554432000 134512640 137138936 4292443552 18446744073709551615 134538746 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 117726 29205 7651 642 0 23569 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 470904
[startup+3.10049 s]
/proc/loadavg: 2.24 2.08 2.02 3/536 16819
/proc/meminfo: memFree=26428224/32951124 swapFree=58212616/67111528
[pid=16818] ppid=16816 vsize=513520 CPUtime=3.09 cores=1,3,5,7
/proc/16818/stat : 16818 (bsolo) R 16816 16818 16389 0 -1 4202496 43801 0 0 0 303 6 0 0 25 0 1 0 855841886 525844480 43636 33554432000 134512640 137138936 4292443552 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 128380 43637 11475 642 0 34223 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 513520
[startup+6.30093 s]
/proc/loadavg: 2.22 2.08 2.02 3/536 16819
/proc/meminfo: memFree=26304356/32951124 swapFree=58212616/67111528
[pid=16818] ppid=16816 vsize=638236 CPUtime=6.29 cores=1,3,5,7
/proc/16818/stat : 16818 (bsolo) R 16816 16818 16389 0 -1 4202496 86341 0 0 0 618 11 0 0 25 0 1 0 855841886 653553664 85970 33554432000 134512640 137138936 4292443552 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 159559 85971 22707 642 0 65402 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 638236
[startup+12.7008 s]
/proc/loadavg: 2.20 2.07 2.01 3/536 16819
/proc/meminfo: memFree=26075960/32951124 swapFree=58212616/67111528
[pid=16818] ppid=16816 vsize=871852 CPUtime=12.69 cores=1,3,5,7
/proc/16818/stat : 16818 (bsolo) R 16816 16818 16389 0 -1 4202496 167322 0 0 0 1248 21 0 0 25 0 1 0 855841886 892776448 166541 33554432000 134512640 137138936 4292443552 18446744073709551615 134523143 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 217963 166542 45028 642 0 123806 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 871852
[startup+25.5005 s]
/proc/loadavg: 2.17 2.07 2.01 3/536 16819
/proc/meminfo: memFree=25695032/32951124 swapFree=58212616/67111528
[pid=16818] ppid=16816 vsize=1274764 CPUtime=25.49 cores=1,3,5,7
/proc/16818/stat : 16818 (bsolo) R 16816 16818 16389 0 -1 4202496 307934 0 0 0 2509 40 0 0 25 0 1 0 855841886 1305358336 306960 33554432000 134512640 137138936 4292443552 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 318691 306960 84428 642 0 224534 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1274764
[startup+51.1011 s]
/proc/loadavg: 2.10 2.06 2.01 3/536 16820
/proc/meminfo: memFree=25145968/32951124 swapFree=58212616/67111528
[pid=16818] ppid=16816 vsize=1424592 CPUtime=51.09 cores=1,3,5,7
/proc/16818/stat : 16818 (bsolo) R 16816 16818 16389 0 -1 4202496 446946 0 0 0 5023 86 0 0 25 0 1 0 855841886 1458782208 351833 33554432000 134512640 137138936 4292443552 18446744073709551615 134540740 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 356148 351833 185 642 0 355504 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1424592
[startup+102.301 s]
/proc/loadavg: 2.04 2.05 2.01 3/536 16821
/proc/meminfo: memFree=24729488/32951124 swapFree=58212616/67111528
[pid=16818] ppid=16816 vsize=1840184 CPUtime=102.29 cores=1,3,5,7
/proc/16818/stat : 16818 (bsolo) R 16816 16818 16389 0 -1 4202496 551530 0 0 0 10120 109 0 0 25 0 1 0 855841886 1884348416 455763 33554432000 134512640 137138936 4292443552 18446744073709551615 134540051 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 460046 455763 186 642 0 459402 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1840184
[startup+162.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/536 16823
/proc/meminfo: memFree=24728260/32951124 swapFree=58212616/67111528
[pid=16818] ppid=16816 vsize=1840316 CPUtime=162.3 cores=1,3,5,7
/proc/16818/stat : 16818 (bsolo) R 16816 16818 16389 0 -1 4202496 551538 0 0 0 16107 123 0 0 25 0 1 0 855841886 1884483584 455771 33554432000 134512640 137138936 4292443552 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 460079 455771 186 642 0 459435 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1840316
[startup+222.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 16824
/proc/meminfo: memFree=24747200/32951124 swapFree=58212616/67111528
[pid=16818] ppid=16816 vsize=1822464 CPUtime=222.29 cores=1,3,5,7
/proc/16818/stat : 16818 (bsolo) R 16816 16818 16389 0 -1 4202496 551583 0 0 0 22086 143 0 0 25 0 1 0 855841886 1866203136 451353 33554432000 134512640 137138936 4292443552 18446744073709551615 134578233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 455616 451353 192 642 0 454972 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1822464
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 16826
/proc/meminfo: memFree=24747180/32951124 swapFree=58212616/67111528
[pid=16818] ppid=16816 vsize=1822464 CPUtime=282.3 cores=1,3,5,7
/proc/16818/stat : 16818 (bsolo) R 16816 16818 16389 0 -1 4202496 552237 0 0 0 28065 165 0 0 25 0 1 0 855841886 1866203136 451353 33554432000 134512640 137138936 4292443552 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 455616 451353 192 642 0 454972 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1822464
[startup+342.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/536 16828
/proc/meminfo: memFree=24746928/32951124 swapFree=58212616/67111528
[pid=16818] ppid=16816 vsize=1822464 CPUtime=342.3 cores=1,3,5,7
/proc/16818/stat : 16818 (bsolo) R 16816 16818 16389 0 -1 4202496 552237 0 0 0 34041 189 0 0 25 0 1 0 855841886 1866203136 451353 33554432000 134512640 137138936 4292443552 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 455616 451353 192 642 0 454972 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1822464
[startup+402.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/536 16829
/proc/meminfo: memFree=24746672/32951124 swapFree=58212616/67111528
[pid=16818] ppid=16816 vsize=1822464 CPUtime=402.3 cores=1,3,5,7
/proc/16818/stat : 16818 (bsolo) R 16816 16818 16389 0 -1 4202496 552237 0 0 0 40029 201 0 0 25 0 1 0 855841886 1866203136 451353 33554432000 134512640 137138936 4292443552 18446744073709551615 134578220 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 455616 451353 192 642 0 454972 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1822464
[startup+462.301 s]
/proc/loadavg: 2.10 2.07 2.01 3/536 16831
/proc/meminfo: memFree=24746896/32951124 swapFree=58212616/67111528
[pid=16818] ppid=16816 vsize=1822464 CPUtime=462.31 cores=1,3,5,7
/proc/16818/stat : 16818 (bsolo) R 16816 16818 16389 0 -1 4202496 552237 0 0 0 46006 225 0 0 25 0 1 0 855841886 1866203136 451353 33554432000 134512640 137138936 4292443552 18446744073709551615 134578224 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 455616 451353 192 642 0 454972 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1822464
[startup+522.3 s]
/proc/loadavg: 2.07 2.07 2.01 3/536 16832
/proc/meminfo: memFree=24747372/32951124 swapFree=58212616/67111528
[pid=16818] ppid=16816 vsize=1822464 CPUtime=522.3 cores=1,3,5,7
/proc/16818/stat : 16818 (bsolo) R 16816 16818 16389 0 -1 4202496 552240 0 0 0 51966 264 0 0 25 0 1 0 855841886 1866203136 451356 33554432000 134512640 137138936 4292443552 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 455616 451356 192 642 0 454972 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1822464
[startup+582.321 s]
/proc/loadavg: 2.02 2.05 2.00 3/536 16834
/proc/meminfo: memFree=24747608/32951124 swapFree=58212616/67111528
[pid=16818] ppid=16816 vsize=1822464 CPUtime=582.32 cores=1,3,5,7
/proc/16818/stat : 16818 (bsolo) R 16816 16818 16389 0 -1 4202496 552242 0 0 0 57960 272 0 0 25 0 1 0 855841886 1866203136 451358 33554432000 134512640 137138936 4292443552 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 455616 451358 192 642 0 454972 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 1822464
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=24748300/32951124 swapFree=58212616/67111528
[pid=16818] ppid=16816 vsize=1822464 CPUtime=1062.32 cores=1,3,5,7
/proc/16818/stat : 16818 (bsolo) R 16816 16818 16389 0 -1 4202496 556821 0 0 0 105818 414 0 0 25 0 1 0 855841886 1866203136 451359 33554432000 134512640 137138936 4292443552 18446744073709551615 136504212 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 455616 451359 192 642 0 454972 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1822464
[startup+1122.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/536 16848
/proc/meminfo: memFree=24746428/32951124 swapFree=58212616/67111528
[pid=16818] ppid=16816 vsize=1822464 CPUtime=1122.33 cores=1,3,5,7
/proc/16818/stat : 16818 (bsolo) R 16816 16818 16389 0 -1 4202496 556821 0 0 0 111802 431 0 0 25 0 1 0 855841886 1866203136 451359 33554432000 134512640 137138936 4292443552 18446744073709551615 134575200 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 455616 451359 192 642 0 454972 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1822464
[startup+1182.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/536 16850
/proc/meminfo: memFree=24747772/32951124 swapFree=58212616/67111528
[pid=16818] ppid=16816 vsize=1822464 CPUtime=1182.31 cores=1,3,5,7
/proc/16818/stat : 16818 (bsolo) R 16816 16818 16389 0 -1 4202496 556822 0 0 0 117763 468 0 0 25 0 1 0 855841886 1866203136 451360 33554432000 134512640 137138936 4292443552 18446744073709551615 134542205 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 455616 451360 192 642 0 454972 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 1822464
[startup+1242.32 s]
/proc/loadavg: 2.00 2.04 2.00 3/536 16852
/proc/meminfo: memFree=24747752/32951124 swapFree=58212616/67111528
[pid=16818] ppid=16816 vsize=1822464 CPUtime=1242.34 cores=1,3,5,7
/proc/16818/stat : 16818 (bsolo) R 16816 16818 16389 0 -1 4202496 556822 0 0 0 123632 602 0 0 25 0 1 0 855841886 1866203136 451360 33554432000 134512640 137138936 4292443552 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 455616 451360 192 642 0 454972 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 1822464
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 16853
/proc/meminfo: memFree=24746604/32951124 swapFree=58212616/67111528
[pid=16818] ppid=16816 vsize=1822464 CPUtime=1302.32 cores=1,3,5,7
/proc/16818/stat : 16818 (bsolo) R 16816 16818 16389 0 -1 4202496 556822 0 0 0 129611 621 0 0 25 0 1 0 855841886 1866203136 451360 33554432000 134512640 137138936 4292443552 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 455616 451360 192 642 0 454972 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 1822464
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 16855
/proc/meminfo: memFree=24747832/32951124 swapFree=58212616/67111528
[pid=16818] ppid=16816 vsize=1822464 CPUtime=1362.32 cores=1,3,5,7
/proc/16818/stat : 16818 (bsolo) R 16816 16818 16389 0 -1 4202496 556822 0 0 0 135504 728 0 0 25 0 1 0 855841886 1866203136 451360 33554432000 134512640 137138936 4292443552 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 455616 451360 192 642 0 454972 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1822464
[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 16856
/proc/meminfo: memFree=24747940/32951124 swapFree=58212616/67111528
[pid=16818] ppid=16816 vsize=1822464 CPUtime=1422.32 cores=1,3,5,7
/proc/16818/stat : 16818 (bsolo) R 16816 16818 16389 0 -1 4202496 556822 0 0 0 141393 839 0 0 25 0 1 0 855841886 1866203136 451360 33554432000 134512640 137138936 4292443552 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 455616 451360 192 642 0 454972 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 1822464
[startup+1482.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/536 16858
/proc/meminfo: memFree=24747416/32951124 swapFree=58212616/67111528
[pid=16818] ppid=16816 vsize=1822464 CPUtime=1482.33 cores=1,3,5,7
/proc/16818/stat : 16818 (bsolo) R 16816 16818 16389 0 -1 4202496 556822 0 0 0 147349 884 0 0 25 0 1 0 855841886 1866203136 451360 33554432000 134512640 137138936 4292443552 18446744073709551615 134542017 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 455616 451360 192 642 0 454972 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1822464
[startup+1542.3 s]
/proc/loadavg: 2.27 2.08 2.02 3/536 16860
/proc/meminfo: memFree=24747272/32951124 swapFree=58212616/67111528
[pid=16818] ppid=16816 vsize=1822464 CPUtime=1542.33 cores=1,3,5,7
/proc/16818/stat : 16818 (bsolo) R 16816 16818 16389 0 -1 4202496 556822 0 0 0 153348 885 0 0 25 0 1 0 855841886 1866203136 451360 33554432000 134512640 137138936 4292443552 18446744073709551615 134576176 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 455616 451360 192 642 0 454972 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1822464
[startup+1602.3 s]
/proc/loadavg: 2.24 2.10 2.02 3/536 16861
/proc/meminfo: memFree=24747868/32951124 swapFree=58212616/67111528
[pid=16818] ppid=16816 vsize=1822464 CPUtime=1602.32 cores=1,3,5,7
/proc/16818/stat : 16818 (bsolo) R 16816 16818 16389 0 -1 4202496 556822 0 0 0 159347 885 0 0 25 0 1 0 855841886 1866203136 451360 33554432000 134512640 137138936 4292443552 18446744073709551615 136504391 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 455616 451360 192 642 0 454972 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 1822464
[startup+1662.3 s]
/proc/loadavg: 2.37 2.16 2.05 3/536 16890
/proc/meminfo: memFree=24377172/32951124 swapFree=58212616/67111528
[pid=16818] ppid=16816 vsize=1822464 CPUtime=1662.33 cores=1,3,5,7
/proc/16818/stat : 16818 (bsolo) R 16816 16818 16389 0 -1 4202496 556822 0 0 0 165347 886 0 0 25 0 1 0 855841886 1866203136 451360 33554432000 134512640 137138936 4292443552 18446744073709551615 134543320 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 455616 451360 192 642 0 454972 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1822464
[startup+1722.3 s]
/proc/loadavg: 2.13 2.13 2.05 3/536 16891
/proc/meminfo: memFree=22657760/32951124 swapFree=58212616/67111528
[pid=16818] ppid=16816 vsize=1822464 CPUtime=1722.33 cores=1,3,5,7
/proc/16818/stat : 16818 (bsolo) R 16816 16818 16389 0 -1 4202496 556822 0 0 0 171346 887 0 0 25 0 1 0 855841886 1866203136 451360 33554432000 134512640 137138936 4292443552 18446744073709551615 134543413 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 455616 451360 192 642 0 454972 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1822464
[startup+1782.3 s]
/proc/loadavg: 2.91 2.34 2.12 3/536 16921
/proc/meminfo: memFree=26324012/32951124 swapFree=58212616/67111528
[pid=16818] ppid=16816 vsize=1822464 CPUtime=1782.35 cores=1,3,5,7
/proc/16818/stat : 16818 (bsolo) R 16816 16818 16389 0 -1 4202496 556822 0 0 0 177347 888 0 0 25 0 1 0 855841886 1866203136 451360 33554432000 134512640 137138936 4292443552 18446744073709551615 134543151 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 455616 451360 192 642 0 454972 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 1822464
Solver just ended. Dumping a history of the last processes samples
[startup+1787 s]
/proc/loadavg: 2.83 2.33 2.12 3/536 16921
/proc/meminfo: memFree=26325636/32951124 swapFree=58212616/67111528
[pid=16818] ppid=16816 vsize=1822464 CPUtime=1787.04 cores=1,3,5,7
/proc/16818/stat : 16818 (bsolo) R 16816 16818 16389 0 -1 4202496 556822 0 0 0 177816 888 0 0 25 0 1 0 855841886 1866203136 451360 33554432000 134512640 137138936 4292443552 18446744073709551615 134551136 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 455616 451360 192 642 0 454972 0
Current children cumulated CPU time (s) 1787.04
Current children cumulated vsize (KiB) 1822464
[startup+1793.42 s]
/proc/loadavg: 2.77 2.33 2.12 3/536 16921
/proc/meminfo: memFree=26338532/32951124 swapFree=58212616/67111528
[pid=16818] ppid=16816 vsize=1822464 CPUtime=1793.46 cores=1,3,5,7
/proc/16818/stat : 16818 (bsolo) R 16816 16818 16389 0 -1 4202496 556822 0 0 0 178458 888 0 0 25 0 1 0 855841886 1866203136 451360 33554432000 134512640 137138936 4292443552 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 455616 451360 192 642 0 454972 0
Current children cumulated CPU time (s) 1793.46
Current children cumulated vsize (KiB) 1822464
[startup+1796.6 s]
/proc/loadavg: 2.70 2.32 2.12 3/536 16921
/proc/meminfo: memFree=26334688/32951124 swapFree=58212616/67111528
[pid=16818] ppid=16816 vsize=1822464 CPUtime=1796.65 cores=1,3,5,7
/proc/16818/stat : 16818 (bsolo) R 16816 16818 16389 0 -1 4202496 556822 0 0 0 178777 888 0 0 25 0 1 0 855841886 1866203136 451360 33554432000 134512640 137138936 4292443552 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 455616 451360 192 642 0 454972 0
Current children cumulated CPU time (s) 1796.65
Current children cumulated vsize (KiB) 1822464
[startup+1797.4 s]
/proc/loadavg: 2.70 2.32 2.12 3/536 16921
/proc/meminfo: memFree=26334688/32951124 swapFree=58212616/67111528
[pid=16818] ppid=16816 vsize=1822464 CPUtime=1797.44 cores=1,3,5,7
/proc/16818/stat : 16818 (bsolo) R 16816 16818 16389 0 -1 4202496 556822 0 0 0 178856 888 0 0 25 0 1 0 855841886 1866203136 451360 33554432000 134512640 137138936 4292443552 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 455616 451360 192 642 0 454972 0
Current children cumulated CPU time (s) 1797.44
Current children cumulated vsize (KiB) 1822464
[startup+1797.82 s]
/proc/loadavg: 2.70 2.32 2.12 3/536 16921
/proc/meminfo: memFree=26333448/32951124 swapFree=58212616/67111528
[pid=16818] ppid=16816 vsize=1822464 CPUtime=1797.86 cores=1,3,5,7
/proc/16818/stat : 16818 (bsolo) R 16816 16818 16389 0 -1 4202496 556822 0 0 0 178898 888 0 0 25 0 1 0 855841886 1866203136 451360 33554432000 134512640 137138936 4292443552 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 455616 451360 192 642 0 454972 0
Current children cumulated CPU time (s) 1797.86
Current children cumulated vsize (KiB) 1822464
[startup+1798 s]
/proc/loadavg: 2.70 2.32 2.12 3/536 16921
/proc/meminfo: memFree=26333448/32951124 swapFree=58212616/67111528
[pid=16818] ppid=16816 vsize=0 CPUtime=1798.03 cores=1,3,5,7
/proc/16818/stat : 16818 (bsolo) R 16816 16818 16389 0 -1 4202500 556822 0 0 0 178913 890 0 0 25 0 1 0 855841886 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/16818/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.03
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798.05
CPU time (s): 1798.09
CPU user time (s): 1789.13
CPU system time (s): 8.95364
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1840316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.13
system time used= 8.95364
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 556822
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= 3
involuntary context switches= 3083
runsolver used 9.10462 second user time and 22.5946 second system time
The end