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-3463009-1307175509/watcher-3463009-1307175509 -o /tmp/evaluation-result-3463009-1307175509/solver-3463009-1307175509 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463009-1307175509.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: 1.92 2.00 1.99 2/473 1753
/proc/meminfo: memFree=20357932/32950928 swapFree=61858088/67111528
[pid=1753] ppid=1751 vsize=10920 CPUtime=0 cores=0,2,4,6
/proc/1753/stat : 1753 (bsolo) R 1751 1753 678 0 -1 4202496 326 0 0 0 0 0 0 0 25 0 1 0 829150518 11182080 269 33554432000 134512640 137138936 4289576208 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1753/statm: 2730 270 184 642 0 2086 0
[startup+0.116704 s]
/proc/loadavg: 1.92 2.00 1.99 2/473 1753
/proc/meminfo: memFree=20357932/32950928 swapFree=61858088/67111528
[pid=1753] ppid=1751 vsize=12584 CPUtime=0.11 cores=0,2,4,6
/proc/1753/stat : 1753 (bsolo) R 1751 1753 678 0 -1 4202496 799 0 0 0 11 0 0 0 25 0 1 0 829150518 12886016 666 33554432000 134512640 137138936 4289576208 18446744073709551615 135463632 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1753/statm: 3146 666 278 642 0 2502 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 12584
[startup+0.200722 s]
/proc/loadavg: 1.92 2.00 1.99 2/473 1753
/proc/meminfo: memFree=20357932/32950928 swapFree=61858088/67111528
[pid=1753] ppid=1751 vsize=12508 CPUtime=0.19 cores=0,2,4,6
/proc/1753/stat : 1753 (bsolo) R 1751 1753 678 0 -1 4202496 943 0 0 0 19 0 0 0 25 0 1 0 829150518 12808192 694 33554432000 134512640 137138936 4289576208 18446744073709551615 135433543 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1753/statm: 3127 695 278 642 0 2483 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12508
[startup+0.300672 s]
/proc/loadavg: 1.92 2.00 1.99 2/473 1753
/proc/meminfo: memFree=20357932/32950928 swapFree=61858088/67111528
[pid=1753] ppid=1751 vsize=13264 CPUtime=0.29 cores=0,2,4,6
/proc/1753/stat : 1753 (bsolo) R 1751 1753 678 0 -1 4202496 1169 0 0 0 29 0 0 0 25 0 1 0 829150518 13582336 767 33554432000 134512640 137138936 4289576208 18446744073709551615 134768836 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1753/statm: 3316 767 278 642 0 2672 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13264
[startup+0.700602 s]
/proc/loadavg: 1.92 2.00 1.99 2/473 1753
/proc/meminfo: memFree=20357932/32950928 swapFree=61858088/67111528
[pid=1753] ppid=1751 vsize=13296 CPUtime=0.69 cores=0,2,4,6
/proc/1753/stat : 1753 (bsolo) R 1751 1753 678 0 -1 4202496 3079 0 0 0 69 0 0 0 25 0 1 0 829150518 13615104 593 33554432000 134512640 137138936 4289576208 18446744073709551615 134768886 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1753/statm: 3324 593 287 642 0 2680 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13296
[startup+1.50057 s]
/proc/loadavg: 1.92 2.00 1.99 3/474 1754
/proc/meminfo: memFree=20355444/32950928 swapFree=61858088/67111528
[pid=1753] ppid=1751 vsize=13372 CPUtime=1.49 cores=0,2,4,6
/proc/1753/stat : 1753 (bsolo) R 1751 1753 678 0 -1 4202496 8257 0 0 0 148 1 0 0 25 0 1 0 829150518 13692928 557 33554432000 134512640 137138936 4289576208 18446744073709551615 135081114 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1753/statm: 3343 557 287 642 0 2699 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13372
[startup+3.10029 s]
/proc/loadavg: 1.92 2.00 1.99 3/474 1754
/proc/meminfo: memFree=20355196/32950928 swapFree=61858088/67111528
[pid=1753] ppid=1751 vsize=13752 CPUtime=3.09 cores=0,2,4,6
/proc/1753/stat : 1753 (bsolo) R 1751 1753 678 0 -1 4202496 31295 0 0 0 305 4 0 0 25 0 1 0 829150518 14082048 729 33554432000 134512640 137138936 4289576208 18446744073709551615 135212608 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1753/statm: 3438 729 292 642 0 2794 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13752
[startup+6.30061 s]
/proc/loadavg: 1.93 2.00 1.99 3/474 1754
/proc/meminfo: memFree=20354820/32950928 swapFree=61858088/67111528
[pid=1753] ppid=1751 vsize=13700 CPUtime=6.29 cores=0,2,4,6
/proc/1753/stat : 1753 (bsolo) R 1751 1753 678 0 -1 4202496 56363 0 0 0 623 6 0 0 25 0 1 0 829150518 14028800 655 33554432000 134512640 137138936 4289576208 18446744073709551615 135466081 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1753/statm: 3425 655 292 642 0 2781 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13700
[startup+12.7005 s]
/proc/loadavg: 1.93 2.00 1.99 3/474 1754
/proc/meminfo: memFree=20352216/32950928 swapFree=61858088/67111528
[pid=1753] ppid=1751 vsize=15248 CPUtime=12.69 cores=0,2,4,6
/proc/1753/stat : 1753 (bsolo) R 1751 1753 678 0 -1 4202496 117575 0 0 0 1256 13 0 0 25 0 1 0 829150518 15613952 939 33554432000 134512640 137138936 4289576208 18446744073709551615 134734496 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1753/statm: 3812 939 292 642 0 3168 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15248
[startup+25.5004 s]
/proc/loadavg: 1.95 2.00 1.99 3/474 1755
/proc/meminfo: memFree=20339196/32950928 swapFree=61858088/67111528
[pid=1753] ppid=1751 vsize=29812 CPUtime=25.49 cores=0,2,4,6
/proc/1753/stat : 1753 (bsolo) R 1751 1753 678 0 -1 4202496 387952 0 0 0 2508 41 0 0 25 0 1 0 829150518 30527488 4522 33554432000 134512640 137138936 4289576208 18446744073709551615 135445316 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1753/statm: 7453 4522 292 642 0 6809 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 29812
[startup+51.1008 s]
/proc/loadavg: 1.96 2.00 1.99 3/474 1755
/proc/meminfo: memFree=20305260/32950928 swapFree=61858088/67111528
[pid=1753] ppid=1751 vsize=60592 CPUtime=51.1 cores=0,2,4,6
/proc/1753/stat : 1753 (bsolo) R 1751 1753 678 0 -1 4202496 978624 0 0 0 5002 108 0 0 25 0 1 0 829150518 62046208 12822 33554432000 134512640 137138936 4289576208 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1753/statm: 15148 12822 292 642 0 14504 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 60592
[startup+102.301 s]
/proc/loadavg: 1.98 2.00 1.99 3/474 1784
/proc/meminfo: memFree=20300612/32950928 swapFree=61858088/67111528
[pid=1753] ppid=1751 vsize=74644 CPUtime=102.3 cores=0,2,4,6
/proc/1753/stat : 1753 (bsolo) R 1751 1753 678 0 -1 4202496 1485199 0 0 0 10032 198 0 0 25 0 1 0 829150518 76435456 15646 33554432000 134512640 137138936 4289576208 18446744073709551615 135445280 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1753/statm: 18661 15646 292 642 0 18017 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 74644
[startup+162.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/474 1785
/proc/meminfo: memFree=20211792/32950928 swapFree=61858088/67111528
[pid=1753] ppid=1751 vsize=88968 CPUtime=162.29 cores=0,2,4,6
/proc/1753/stat : 1753 (bsolo) R 1751 1753 678 0 -1 4202496 2275120 0 0 0 15879 350 0 0 25 0 1 0 829150518 91103232 19918 33554432000 134512640 137138936 4289576208 18446744073709551615 136504045 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1753/statm: 22242 19918 292 642 0 21598 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 88968
[startup+222.318 s]
/proc/loadavg: 2.05 2.02 2.00 3/474 1787
/proc/meminfo: memFree=20211760/32950928 swapFree=61858088/67111528
[pid=1753] ppid=1751 vsize=89312 CPUtime=222.31 cores=0,2,4,6
/proc/1753/stat : 1753 (bsolo) R 1751 1753 678 0 -1 4202496 2618821 0 0 0 21807 424 0 0 25 0 1 0 829150518 91455488 19923 33554432000 134512640 137138936 4289576208 18446744073709551615 135260711 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1753/statm: 22328 19923 292 642 0 21684 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 89312
[startup+282.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/474 1789
/proc/meminfo: memFree=20208104/32950928 swapFree=61858088/67111528
[pid=1753] ppid=1751 vsize=94720 CPUtime=282.29 cores=0,2,4,6
/proc/1753/stat : 1753 (bsolo) R 1751 1753 678 0 -1 4202496 2879559 0 0 0 27750 479 0 0 25 0 1 0 829150518 96993280 20762 33554432000 134512640 137138936 4289576208 18446744073709551615 135250225 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1753/statm: 23680 20762 292 642 0 23036 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 94720
[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 1790
/proc/meminfo: memFree=20192712/32950928 swapFree=61858088/67111528
[pid=1753] ppid=1751 vsize=107552 CPUtime=342.29 cores=0,2,4,6
/proc/1753/stat : 1753 (bsolo) R 1751 1753 678 0 -1 4202496 3760438 0 0 0 33573 656 0 0 25 0 1 0 829150518 110133248 24563 33554432000 134512640 137138936 4289576208 18446744073709551615 134828908 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1753/statm: 26888 24563 292 642 0 26244 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 107552
[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 1792
/proc/meminfo: memFree=20188352/32950928 swapFree=61858088/67111528
[pid=1753] ppid=1751 vsize=114196 CPUtime=402.3 cores=0,2,4,6
/proc/1753/stat : 1753 (bsolo) R 1751 1753 678 0 -1 4202496 4547829 0 0 0 39409 821 0 0 25 0 1 0 829150518 116936704 26225 33554432000 134512640 137138936 4289576208 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1753/statm: 28549 26225 292 642 0 27905 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 114196
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/474 1793
/proc/meminfo: memFree=20170356/32950928 swapFree=61858088/67111528
[pid=1753] ppid=1751 vsize=122540 CPUtime=462.3 cores=0,2,4,6
/proc/1753/stat : 1753 (bsolo) R 1751 1753 678 0 -1 4202496 5390306 0 0 0 45232 998 0 0 25 0 1 0 829150518 125480960 27715 33554432000 134512640 137138936 4289576208 18446744073709551615 135456742 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1753/statm: 30635 27715 292 642 0 29991 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 122540
[startup+522.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/474 1795
/proc/meminfo: memFree=20163016/32950928 swapFree=61858088/67111528
[pid=1753] ppid=1751 vsize=121760 CPUtime=522.3 cores=0,2,4,6
/proc/1753/stat : 1753 (bsolo) R 1751 1753 678 0 -1 4202496 6115702 0 0 0 51075 1155 0 0 25 0 1 0 829150518 124682240 28116 33554432000 134512640 137138936 4289576208 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1753/statm: 30440 28116 292 642 0 29796 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 121760
[startup+582.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/474 1797
/proc/meminfo: memFree=20143660/32950928 swapFree=61858088/67111528
[pid=1753] ppid=1751 vsize=121740 CPUtime=582.3 cores=0,2,4,6
/proc/1753/stat : 1753 (bsolo) R 1751 1753 678 0 -1 4202496 6794364 0 0 0 56918 1312 0 0 25 0 1 0 829150518 124661760 28111 33554432000 134512640 137138936 4289576208 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1753/statm: 30435 28111 292 642 0 29791 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 121740
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=20078388/32950928 swapFree=61858088/67111528
[pid=1753] ppid=1751 vsize=156352 CPUtime=1122.32 cores=0,2,4,6
/proc/1753/stat : 1753 (bsolo) R 1751 1753 678 0 -1 4202496 13562391 0 0 0 109406 2826 0 0 25 0 1 0 829150518 160104448 36168 33554432000 134512640 137138936 4289576208 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1753/statm: 39088 36168 292 642 0 38444 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 156352
[startup+1182.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/474 1813
/proc/meminfo: memFree=20077988/32950928 swapFree=61858088/67111528
[pid=1753] ppid=1751 vsize=153924 CPUtime=1182.32 cores=0,2,4,6
/proc/1753/stat : 1753 (bsolo) R 1751 1753 678 0 -1 4202496 14181770 0 0 0 115262 2970 0 0 25 0 1 0 829150518 157618176 36157 33554432000 134512640 137138936 4289576208 18446744073709551615 134599652 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1753/statm: 38481 36157 292 642 0 37837 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 153924
[startup+1242.3 s]
/proc/loadavg: 2.17 2.06 2.01 3/474 1814
/proc/meminfo: memFree=20076856/32950928 swapFree=61858088/67111528
[pid=1753] ppid=1751 vsize=153924 CPUtime=1242.32 cores=0,2,4,6
/proc/1753/stat : 1753 (bsolo) R 1751 1753 678 0 -1 4202496 14767343 0 0 0 121129 3103 0 0 25 0 1 0 829150518 157618176 36157 33554432000 134512640 137138936 4289576208 18446744073709551615 135783846 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1753/statm: 38900 36163 292 642 0 38256 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 153924
[startup+1302.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/474 1816
/proc/meminfo: memFree=20073480/32950928 swapFree=61858088/67111528
[pid=1753] ppid=1751 vsize=156012 CPUtime=1302.32 cores=0,2,4,6
/proc/1753/stat : 1753 (bsolo) R 1751 1753 678 0 -1 4202496 15305241 0 0 0 126992 3240 0 0 25 0 1 0 829150518 159756288 36163 33554432000 134512640 137138936 4289576208 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1753/statm: 39003 36163 292 642 0 38359 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 156012
[startup+1362.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/474 1817
/proc/meminfo: memFree=20069860/32950928 swapFree=61858088/67111528
[pid=1753] ppid=1751 vsize=156040 CPUtime=1362.32 cores=0,2,4,6
/proc/1753/stat : 1753 (bsolo) R 1751 1753 678 0 -1 4202496 15747041 0 0 0 132873 3359 0 0 25 0 1 0 829150518 159784960 36163 33554432000 134512640 137138936 4289576208 18446744073709551615 134849496 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1753/statm: 39010 36163 292 642 0 38366 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 156040
[startup+1422.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/474 1819
/proc/meminfo: memFree=20070224/32950928 swapFree=61858088/67111528
[pid=1753] ppid=1751 vsize=153904 CPUtime=1422.33 cores=0,2,4,6
/proc/1753/stat : 1753 (bsolo) R 1751 1753 678 0 -1 4202496 16222555 0 0 0 138749 3484 0 0 25 0 1 0 829150518 157597696 36152 33554432000 134512640 137138936 4289576208 18446744073709551615 134603132 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1753/statm: 38476 36152 292 642 0 37832 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 153904
[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/474 1821
/proc/meminfo: memFree=20070204/32950928 swapFree=61858088/67111528
[pid=1753] ppid=1751 vsize=155852 CPUtime=1482.33 cores=0,2,4,6
/proc/1753/stat : 1753 (bsolo) R 1751 1753 678 0 -1 4202496 16698179 0 0 0 144626 3607 0 0 25 0 1 0 829150518 159592448 36157 33554432000 134512640 137138936 4289576208 18446744073709551615 135471517 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1753/statm: 38963 36157 292 642 0 38319 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 155852
[startup+1542.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/474 1822
/proc/meminfo: memFree=20070940/32950928 swapFree=61858088/67111528
[pid=1753] ppid=1751 vsize=153892 CPUtime=1542.34 cores=0,2,4,6
/proc/1753/stat : 1753 (bsolo) R 1751 1753 678 0 -1 4202496 17161120 0 0 0 150500 3734 0 0 25 0 1 0 829150518 157585408 36149 33554432000 134512640 137138936 4289576208 18446744073709551615 136700814 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1753/statm: 38473 36149 292 642 0 37829 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 153892
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 1824
/proc/meminfo: memFree=20070804/32950928 swapFree=61858088/67111528
[pid=1753] ppid=1751 vsize=153892 CPUtime=1602.33 cores=0,2,4,6
/proc/1753/stat : 1753 (bsolo) R 1751 1753 678 0 -1 4202496 17559603 0 0 0 156384 3849 0 0 25 0 1 0 829150518 157585408 36149 33554432000 134512640 137138936 4289576208 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1753/statm: 38473 36149 292 642 0 37829 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 153892
[startup+1662.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/474 1825
/proc/meminfo: memFree=20066456/32950928 swapFree=61858088/67111528
[pid=1753] ppid=1751 vsize=160424 CPUtime=1662.32 cores=0,2,4,6
/proc/1753/stat : 1753 (bsolo) R 1751 1753 678 0 -1 4202496 18018029 0 0 0 162273 3959 0 0 25 0 1 0 829150518 164274176 37530 33554432000 134512640 137138936 4289576208 18446744073709551615 136700814 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1753/statm: 40292 37539 292 642 0 39648 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 160424
[startup+1722.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/474 1827
/proc/meminfo: memFree=20062460/32950928 swapFree=61858088/67111528
[pid=1753] ppid=1751 vsize=163408 CPUtime=1722.33 cores=0,2,4,6
/proc/1753/stat : 1753 (bsolo) R 1751 1753 678 0 -1 4202496 18656170 0 0 0 168136 4097 0 0 25 0 1 0 829150518 167329792 38528 33554432000 134512640 137138936 4289576208 18446744073709551615 134750971 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1753/statm: 40852 38528 292 642 0 40208 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 163408
[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/474 1829
/proc/meminfo: memFree=20061332/32950928 swapFree=61858088/67111528
[pid=1753] ppid=1751 vsize=163404 CPUtime=1782.33 cores=0,2,4,6
/proc/1753/stat : 1753 (bsolo) R 1751 1753 678 0 -1 4202496 19209993 0 0 0 174016 4217 0 0 25 0 1 0 829150518 167325696 38527 33554432000 134512640 137138936 4289576208 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1753/statm: 40851 38527 292 642 0 40207 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 163404
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.02 2.04 2.00 3/474 1829
/proc/meminfo: memFree=20061952/32950928 swapFree=61858088/67111528
[pid=1753] ppid=1751 vsize=163404 CPUtime=1785.63 cores=0,2,4,6
/proc/1753/stat : 1753 (bsolo) R 1751 1753 678 0 -1 4202496 19239517 0 0 0 174340 4223 0 0 25 0 1 0 829150518 167325696 38527 33554432000 134512640 137138936 4289576208 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1753/statm: 40851 38527 292 642 0 40207 0
Current children cumulated CPU time (s) 1785.63
Current children cumulated vsize (KiB) 163404
[startup+1792.02 s]
/proc/loadavg: 2.01 2.03 2.00 3/474 1829
/proc/meminfo: memFree=20055372/32950928 swapFree=61858088/67111528
[pid=1753] ppid=1751 vsize=163696 CPUtime=1792.05 cores=0,2,4,6
/proc/1753/stat : 1753 (bsolo) R 1751 1753 678 0 -1 4202496 19283824 0 0 0 174971 4234 0 0 25 0 1 0 829150518 167624704 38600 33554432000 134512640 137138936 4289576208 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1753/statm: 40924 38600 292 642 0 40280 0
Current children cumulated CPU time (s) 1792.05
Current children cumulated vsize (KiB) 163696
[startup+1795.2 s]
/proc/loadavg: 2.01 2.03 2.00 3/474 1829
/proc/meminfo: memFree=20055372/32950928 swapFree=61858088/67111528
[pid=1753] ppid=1751 vsize=163696 CPUtime=1795.23 cores=0,2,4,6
/proc/1753/stat : 1753 (bsolo) R 1751 1753 678 0 -1 4202496 19318333 0 0 0 175281 4242 0 0 25 0 1 0 829150518 167624704 38600 33554432000 134512640 137138936 4289576208 18446744073709551615 136700814 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1753/statm: 40924 38600 292 642 0 40280 0
Current children cumulated CPU time (s) 1795.23
Current children cumulated vsize (KiB) 163696
[startup+1796.8 s]
/proc/loadavg: 2.01 2.03 2.00 3/474 1829
/proc/meminfo: memFree=20055372/32950928 swapFree=61858088/67111528
[pid=1753] ppid=1751 vsize=163696 CPUtime=1796.83 cores=0,2,4,6
/proc/1753/stat : 1753 (bsolo) R 1751 1753 678 0 -1 4202496 19334582 0 0 0 175437 4246 0 0 25 0 1 0 829150518 167624704 38600 33554432000 134512640 137138936 4289576208 18446744073709551615 135783819 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1753/statm: 41342 38605 292 642 0 40698 0
Current children cumulated CPU time (s) 1796.83
Current children cumulated vsize (KiB) 163696
[startup+1797.6 s]
/proc/loadavg: 2.01 2.03 2.00 3/474 1829
/proc/meminfo: memFree=20055124/32950928 swapFree=61858088/67111528
[pid=1753] ppid=1751 vsize=166100 CPUtime=1797.64 cores=0,2,4,6
/proc/1753/stat : 1753 (bsolo) R 1751 1753 678 0 -1 4202496 19342259 0 0 0 175516 4248 0 0 25 0 1 0 829150518 170086400 38610 33554432000 134512640 137138936 4289576208 18446744073709551615 134851457 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1753/statm: 41525 38610 292 642 0 40881 0
Current children cumulated CPU time (s) 1797.64
Current children cumulated vsize (KiB) 166100
[startup+1797.8 s]
/proc/loadavg: 2.01 2.03 2.00 3/474 1829
/proc/meminfo: memFree=20055124/32950928 swapFree=61858088/67111528
[pid=1753] ppid=1751 vsize=166104 CPUtime=1797.83 cores=0,2,4,6
/proc/1753/stat : 1753 (bsolo) R 1751 1753 678 0 -1 4202496 19344270 0 0 0 175535 4248 0 0 25 0 1 0 829150518 170090496 38610 33554432000 134512640 137138936 4289576208 18446744073709551615 134730676 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1753/statm: 41526 38610 292 642 0 40882 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 166104
[startup+1797.9 s]
/proc/loadavg: 2.01 2.03 2.00 3/474 1829
/proc/meminfo: memFree=20055124/32950928 swapFree=61858088/67111528
[pid=1753] ppid=1751 vsize=166108 CPUtime=1797.93 cores=0,2,4,6
/proc/1753/stat : 1753 (bsolo) R 1751 1753 678 0 -1 4202496 19345418 0 0 0 175545 4248 0 0 25 0 1 0 829150518 170094592 38609 33554432000 134512640 137138936 4289576208 18446744073709551615 135251822 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1753/statm: 41527 38609 292 642 0 40883 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 166108
Child status: 0
Real time (s): 1797.97
CPU time (s): 1798.01
CPU user time (s): 1755.52
CPU system time (s): 42.4975
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 166144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1755.52
system time used= 42.4975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19346150
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= 6
involuntary context switches= 1473
runsolver used 8.83666 second user time and 18.4702 second system time
The end