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-3479006-1307444774/watcher-3479006-1307444774 -o /tmp/evaluation-result-3479006-1307444774/solver-3479006-1307444774 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3479006-1307444774.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: 0.00 0.02 0.00 1/448 16729
/proc/meminfo: memFree=31605364/32951124 swapFree=55639044/67111528
[pid=16729] ppid=16727 vsize=11056 CPUtime=0 cores=1,3,5,7
/proc/16729/stat : 16729 (bsolo) R 16727 16729 16701 0 -1 4202496 361 0 0 0 0 0 0 0 24 0 1 0 856075243 11321344 308 33554432000 134512640 137138936 4294369536 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16729/statm: 2764 308 192 642 0 2120 0
[startup+0.0703651 s]
/proc/loadavg: 0.00 0.02 0.00 1/448 16729
/proc/meminfo: memFree=31605364/32951124 swapFree=55639044/67111528
[pid=16729] ppid=16727 vsize=11440 CPUtime=0.06 cores=1,3,5,7
/proc/16729/stat : 16729 (bsolo) R 16727 16729 16701 0 -1 4202496 488 0 0 0 6 0 0 0 24 0 1 0 856075243 11714560 435 33554432000 134512640 137138936 4294369536 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16729/statm: 2860 435 192 642 0 2216 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11440
[startup+0.100365 s]
/proc/loadavg: 0.00 0.02 0.00 1/448 16729
/proc/meminfo: memFree=31605364/32951124 swapFree=55639044/67111528
[pid=16729] ppid=16727 vsize=11696 CPUtime=0.09 cores=1,3,5,7
/proc/16729/stat : 16729 (bsolo) R 16727 16729 16701 0 -1 4202496 530 0 0 0 9 0 0 0 24 0 1 0 856075243 11976704 477 33554432000 134512640 137138936 4294369536 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16729/statm: 2924 477 192 642 0 2280 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11696
[startup+0.30033 s]
/proc/loadavg: 0.00 0.02 0.00 1/448 16729
/proc/meminfo: memFree=31605364/32951124 swapFree=55639044/67111528
[pid=16729] ppid=16727 vsize=12548 CPUtime=0.29 cores=1,3,5,7
/proc/16729/stat : 16729 (bsolo) R 16727 16729 16701 0 -1 4202496 735 0 0 0 29 0 0 0 25 0 1 0 856075243 12849152 682 33554432000 134512640 137138936 4294369536 18446744073709551615 134617968 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16729/statm: 3137 682 192 642 0 2493 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12548
[startup+0.700233 s]
/proc/loadavg: 0.00 0.02 0.00 1/448 16729
/proc/meminfo: memFree=31605364/32951124 swapFree=55639044/67111528
[pid=16729] ppid=16727 vsize=13292 CPUtime=0.69 cores=1,3,5,7
/proc/16729/stat : 16729 (bsolo) R 16727 16729 16701 0 -1 4202496 946 0 0 0 69 0 0 0 25 0 1 0 856075243 13611008 893 33554432000 134512640 137138936 4294369536 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16729/statm: 3323 893 192 642 0 2679 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13292
[startup+1.50108 s]
/proc/loadavg: 0.00 0.02 0.00 3/454 16740
/proc/meminfo: memFree=31592636/32951124 swapFree=55639044/67111528
[pid=16729] ppid=16727 vsize=14168 CPUtime=1.49 cores=1,3,5,7
/proc/16729/stat : 16729 (bsolo) R 16727 16729 16701 0 -1 4202496 1163 0 0 0 148 1 0 0 25 0 1 0 856075243 14508032 1110 33554432000 134512640 137138936 4294369536 18446744073709551615 134607581 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16729/statm: 3542 1110 192 642 0 2898 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14168
[startup+3.1008 s]
/proc/loadavg: 0.00 0.02 0.00 3/454 16740
/proc/meminfo: memFree=31586560/32951124 swapFree=55639044/67111528
[pid=16729] ppid=16727 vsize=15028 CPUtime=3.09 cores=1,3,5,7
/proc/16729/stat : 16729 (bsolo) R 16727 16729 16701 0 -1 4202496 1380 0 0 0 307 2 0 0 25 0 1 0 856075243 15388672 1327 33554432000 134512640 137138936 4294369536 18446744073709551615 136511143 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16729/statm: 3757 1327 192 642 0 3113 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15028
[startup+6.30021 s]
/proc/loadavg: 0.16 0.05 0.01 3/454 16740
/proc/meminfo: memFree=31581632/32951124 swapFree=55639044/67111528
[pid=16729] ppid=16727 vsize=16400 CPUtime=6.29 cores=1,3,5,7
/proc/16729/stat : 16729 (bsolo) R 16727 16729 16701 0 -1 4202496 1727 0 0 0 626 3 0 0 25 0 1 0 856075243 16793600 1674 33554432000 134512640 137138936 4294369536 18446744073709551615 134542779 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16729/statm: 4100 1674 192 642 0 3456 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16400
[startup+12.701 s]
/proc/loadavg: 0.31 0.09 0.02 3/454 16741
/proc/meminfo: memFree=31578480/32951124 swapFree=55639044/67111528
[pid=16729] ppid=16727 vsize=17484 CPUtime=12.69 cores=1,3,5,7
/proc/16729/stat : 16729 (bsolo) R 16727 16729 16701 0 -1 4202496 1975 0 0 0 1263 6 0 0 25 0 1 0 856075243 17903616 1922 33554432000 134512640 137138936 4294369536 18446744073709551615 136506039 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16729/statm: 4371 1922 192 642 0 3727 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17484
[startup+25.5007 s]
/proc/loadavg: 0.68 0.18 0.05 3/454 16741
/proc/meminfo: memFree=31573440/32951124 swapFree=55639044/67111528
[pid=16729] ppid=16727 vsize=18444 CPUtime=25.49 cores=1,3,5,7
/proc/16729/stat : 16729 (bsolo) R 16727 16729 16701 0 -1 4202496 2222 0 0 0 2540 9 0 0 25 0 1 0 856075243 18886656 2169 33554432000 134512640 137138936 4294369536 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16729/statm: 4611 2169 192 642 0 3967 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18444
[startup+51.1011 s]
/proc/loadavg: 1.13 0.32 0.10 3/454 16742
/proc/meminfo: memFree=31570736/32951124 swapFree=55639044/67111528
[pid=16729] ppid=16727 vsize=20148 CPUtime=51.09 cores=1,3,5,7
/proc/16729/stat : 16729 (bsolo) R 16727 16729 16701 0 -1 4202496 2643 0 0 0 5095 14 0 0 25 0 1 0 856075243 20631552 2590 33554432000 134512640 137138936 4294369536 18446744073709551615 134551477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16729/statm: 5037 2590 192 642 0 4393 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 20148
[startup+102.317 s]
/proc/loadavg: 1.62 0.58 0.20 3/454 16743
/proc/meminfo: memFree=31562164/32951124 swapFree=55639044/67111528
[pid=16729] ppid=16727 vsize=21484 CPUtime=102.31 cores=1,3,5,7
/proc/16729/stat : 16729 (bsolo) R 16727 16729 16701 0 -1 4202496 2981 0 0 0 10205 26 0 0 25 0 1 0 856075243 21999616 2928 33554432000 134512640 137138936 4294369536 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16729/statm: 5371 2928 192 642 0 4727 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 21484
[startup+162.301 s]
/proc/loadavg: 1.86 0.84 0.31 3/454 16745
/proc/meminfo: memFree=31555452/32951124 swapFree=55639044/67111528
[pid=16729] ppid=16727 vsize=22248 CPUtime=162.29 cores=1,3,5,7
/proc/16729/stat : 16729 (bsolo) R 16727 16729 16701 0 -1 4202496 3188 0 0 0 16193 36 0 0 25 0 1 0 856075243 22781952 3135 33554432000 134512640 137138936 4294369536 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16729/statm: 5562 3135 192 642 0 4918 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 22248
[startup+222.301 s]
/proc/loadavg: 2.02 1.07 0.42 3/454 16746
/proc/meminfo: memFree=31550460/32951124 swapFree=55639044/67111528
[pid=16729] ppid=16727 vsize=24820 CPUtime=222.3 cores=1,3,5,7
/proc/16729/stat : 16729 (bsolo) R 16727 16729 16701 0 -1 4202496 3834 0 0 0 22184 46 0 0 25 0 1 0 856075243 25415680 3781 33554432000 134512640 137138936 4294369536 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16729/statm: 6205 3781 192 642 0 5561 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 24820
[startup+282.301 s]
/proc/loadavg: 2.04 1.25 0.52 3/454 16748
/proc/meminfo: memFree=31550052/32951124 swapFree=55639044/67111528
[pid=16729] ppid=16727 vsize=24820 CPUtime=282.3 cores=1,3,5,7
/proc/16729/stat : 16729 (bsolo) R 16727 16729 16701 0 -1 4202496 3834 0 0 0 28174 56 0 0 25 0 1 0 856075243 25415680 3781 33554432000 134512640 137138936 4294369536 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16729/statm: 6205 3781 192 642 0 5561 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 24820
[startup+342.301 s]
/proc/loadavg: 2.01 1.39 0.61 3/454 16749
/proc/meminfo: memFree=31544328/32951124 swapFree=55639044/67111528
[pid=16729] ppid=16727 vsize=24824 CPUtime=342.3 cores=1,3,5,7
/proc/16729/stat : 16729 (bsolo) R 16727 16729 16701 0 -1 4202496 3835 0 0 0 34163 67 0 0 25 0 1 0 856075243 25419776 3782 33554432000 134512640 137138936 4294369536 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16729/statm: 6206 3782 192 642 0 5562 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 24824
[startup+402.3 s]
/proc/loadavg: 2.00 1.50 0.70 3/454 16751
/proc/meminfo: memFree=31544424/32951124 swapFree=55639044/67111528
[pid=16729] ppid=16727 vsize=24824 CPUtime=402.3 cores=1,3,5,7
/proc/16729/stat : 16729 (bsolo) R 16727 16729 16701 0 -1 4202496 3835 0 0 0 40152 78 0 0 25 0 1 0 856075243 25419776 3782 33554432000 134512640 137138936 4294369536 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16729/statm: 6206 3782 192 642 0 5562 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 24824
[startup+462.3 s]
/proc/loadavg: 2.00 1.58 0.77 3/454 16753
/proc/meminfo: memFree=31544520/32951124 swapFree=55639044/67111528
[pid=16729] ppid=16727 vsize=24828 CPUtime=462.3 cores=1,3,5,7
/proc/16729/stat : 16729 (bsolo) R 16727 16729 16701 0 -1 4202496 3836 0 0 0 46141 89 0 0 25 0 1 0 856075243 25423872 3783 33554432000 134512640 137138936 4294369536 18446744073709551615 134542868 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16729/statm: 6207 3783 192 642 0 5563 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 24828
[startup+522.3 s]
/proc/loadavg: 2.00 1.66 0.85 3/454 16754
/proc/meminfo: memFree=31544604/32951124 swapFree=55639044/67111528
[pid=16729] ppid=16727 vsize=24908 CPUtime=522.3 cores=1,3,5,7
/proc/16729/stat : 16729 (bsolo) R 16727 16729 16701 0 -1 4202496 3840 0 0 0 52132 98 0 0 25 0 1 0 856075243 25505792 3787 33554432000 134512640 137138936 4294369536 18446744073709551615 134618093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16729/statm: 6227 3787 192 642 0 5583 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 24908
[startup+582.3 s]
/proc/loadavg: 2.03 1.73 0.92 3/454 16756
/proc/meminfo: memFree=31543952/32951124 swapFree=55639044/67111528
[pid=16729] ppid=16727 vsize=25516 CPUtime=582.31 cores=1,3,5,7
/proc/16729/stat : 16729 (bsolo) R 16727 16729 16701 0 -1 4202496 3998 0 0 0 58123 108 0 0 25 0 1 0 856075243 26128384 3945 33554432000 134512640 137138936 4294369536 18446744073709551615 134607231 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16729/statm: 6379 3945 192 642 0 5735 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 25516
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=31536924/32951124 swapFree=55639044/67111528
[pid=16729] ppid=16727 vsize=28236 CPUtime=1062.33 cores=1,3,5,7
/proc/16729/stat : 16729 (bsolo) R 16727 16729 16701 0 -1 4202496 4672 0 0 0 106048 185 0 0 25 0 1 0 856075243 28913664 4619 33554432000 134512640 137138936 4294369536 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16729/statm: 7059 4619 192 642 0 6415 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 28236
[startup+1122.3 s]
/proc/loadavg: 2.08 2.01 1.42 3/454 16770
/proc/meminfo: memFree=31537028/32951124 swapFree=55639044/67111528
[pid=16729] ppid=16727 vsize=28228 CPUtime=1122.32 cores=1,3,5,7
/proc/16729/stat : 16729 (bsolo) R 16727 16729 16701 0 -1 4202496 4672 0 0 0 112037 195 0 0 25 0 1 0 856075243 28905472 4619 33554432000 134512640 137138936 4294369536 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16729/statm: 7057 4619 192 642 0 6413 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 28228
[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 1.45 3/454 16772
/proc/meminfo: memFree=31535644/32951124 swapFree=55639044/67111528
[pid=16729] ppid=16727 vsize=28604 CPUtime=1182.33 cores=1,3,5,7
/proc/16729/stat : 16729 (bsolo) R 16727 16729 16701 0 -1 4202496 4779 0 0 0 118028 205 0 0 25 0 1 0 856075243 29290496 4726 33554432000 134512640 137138936 4294369536 18446744073709551615 136295499 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16729/statm: 7151 4726 192 642 0 6507 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 28604
[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 1.48 3/454 16773
/proc/meminfo: memFree=31534756/32951124 swapFree=55639044/67111528
[pid=16729] ppid=16727 vsize=29564 CPUtime=1242.32 cores=1,3,5,7
/proc/16729/stat : 16729 (bsolo) R 16727 16729 16701 0 -1 4202496 5010 0 0 0 124019 213 0 0 25 0 1 0 856075243 30273536 4957 33554432000 134512640 137138936 4294369536 18446744073709551615 136504108 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16729/statm: 7391 4957 192 642 0 6747 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 29564
[startup+1302.3 s]
/proc/loadavg: 2.15 2.03 1.52 3/454 16775
/proc/meminfo: memFree=31533236/32951124 swapFree=55639044/67111528
[pid=16729] ppid=16727 vsize=29660 CPUtime=1302.34 cores=1,3,5,7
/proc/16729/stat : 16729 (bsolo) R 16727 16729 16701 0 -1 4202496 5031 0 0 0 130012 222 0 0 25 0 1 0 856075243 30371840 4978 33554432000 134512640 137138936 4294369536 18446744073709551615 134575390 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16729/statm: 7415 4978 192 642 0 6771 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 29660
[startup+1362.3 s]
/proc/loadavg: 2.05 2.02 1.55 3/454 16777
/proc/meminfo: memFree=31533472/32951124 swapFree=55639044/67111528
[pid=16729] ppid=16727 vsize=30392 CPUtime=1362.33 cores=1,3,5,7
/proc/16729/stat : 16729 (bsolo) R 16727 16729 16701 0 -1 4202496 5213 0 0 0 136002 231 0 0 25 0 1 0 856075243 31121408 5160 33554432000 134512640 137138936 4294369536 18446744073709551615 134542725 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16729/statm: 7598 5160 192 642 0 6954 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 30392
[startup+1422.32 s]
/proc/loadavg: 2.02 2.02 1.57 3/454 16778
/proc/meminfo: memFree=31534444/32951124 swapFree=55639044/67111528
[pid=16729] ppid=16727 vsize=30388 CPUtime=1422.35 cores=1,3,5,7
/proc/16729/stat : 16729 (bsolo) R 16727 16729 16701 0 -1 4202496 5213 0 0 0 141994 241 0 0 25 0 1 0 856075243 31117312 5160 33554432000 134512640 137138936 4294369536 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16729/statm: 7597 5160 192 642 0 6953 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 30388
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.60 3/454 16780
/proc/meminfo: memFree=31533920/32951124 swapFree=55639044/67111528
[pid=16729] ppid=16727 vsize=30380 CPUtime=1482.34 cores=1,3,5,7
/proc/16729/stat : 16729 (bsolo) R 16727 16729 16701 0 -1 4202496 5213 0 0 0 147984 250 0 0 25 0 1 0 856075243 31109120 5160 33554432000 134512640 137138936 4294369536 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16729/statm: 7595 5160 192 642 0 6951 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 30380
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 1.62 3/454 16781
/proc/meminfo: memFree=31534524/32951124 swapFree=55639044/67111528
[pid=16729] ppid=16727 vsize=30380 CPUtime=1542.34 cores=1,3,5,7
/proc/16729/stat : 16729 (bsolo) R 16727 16729 16701 0 -1 4202496 5213 0 0 0 153976 258 0 0 25 0 1 0 856075243 31109120 5160 33554432000 134512640 137138936 4294369536 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16729/statm: 7595 5160 192 642 0 6951 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 30380
[startup+1602.3 s]
/proc/loadavg: 2.13 2.03 1.65 3/454 16783
/proc/meminfo: memFree=31534372/32951124 swapFree=55639044/67111528
[pid=16729] ppid=16727 vsize=30380 CPUtime=1602.34 cores=1,3,5,7
/proc/16729/stat : 16729 (bsolo) R 16727 16729 16701 0 -1 4202496 5213 0 0 0 159969 265 0 0 25 0 1 0 856075243 31109120 5160 33554432000 134512640 137138936 4294369536 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16729/statm: 7595 5160 192 642 0 6951 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 30380
[startup+1662.3 s]
/proc/loadavg: 2.11 2.04 1.68 3/454 16785
/proc/meminfo: memFree=31534720/32951124 swapFree=55639044/67111528
[pid=16729] ppid=16727 vsize=30380 CPUtime=1662.34 cores=1,3,5,7
/proc/16729/stat : 16729 (bsolo) R 16727 16729 16701 0 -1 4202496 5213 0 0 0 165959 275 0 0 25 0 1 0 856075243 31109120 5160 33554432000 134512640 137138936 4294369536 18446744073709551615 134542892 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16729/statm: 7595 5160 192 642 0 6951 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 30380
[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 1.69 3/454 16786
/proc/meminfo: memFree=31534304/32951124 swapFree=55639044/67111528
[pid=16729] ppid=16727 vsize=30376 CPUtime=1722.35 cores=1,3,5,7
/proc/16729/stat : 16729 (bsolo) R 16727 16729 16701 0 -1 4202496 5213 0 0 0 171952 283 0 0 25 0 1 0 856075243 31105024 5160 33554432000 134512640 137138936 4294369536 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16729/statm: 7594 5160 192 642 0 6950 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 30376
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 1.71 3/454 16788
/proc/meminfo: memFree=31531300/32951124 swapFree=55639044/67111528
[pid=16729] ppid=16727 vsize=30368 CPUtime=1782.34 cores=1,3,5,7
/proc/16729/stat : 16729 (bsolo) R 16727 16729 16701 0 -1 4202496 5213 0 0 0 177941 293 0 0 25 0 1 0 856075243 31096832 5160 33554432000 134512640 137138936 4294369536 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16729/statm: 7592 5160 192 642 0 6948 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 30368
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.01 2.02 1.71 3/454 16788
/proc/meminfo: memFree=31531300/32951124 swapFree=55639044/67111528
[pid=16729] ppid=16727 vsize=30368 CPUtime=1785.55 cores=1,3,5,7
/proc/16729/stat : 16729 (bsolo) R 16727 16729 16701 0 -1 4202496 5213 0 0 0 178261 294 0 0 25 0 1 0 856075243 31096832 5160 33554432000 134512640 137138936 4294369536 18446744073709551615 134542799 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16729/statm: 7592 5160 192 642 0 6948 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 30368
[startup+1791.92 s]
/proc/loadavg: 2.01 2.02 1.71 3/454 16788
/proc/meminfo: memFree=31531296/32951124 swapFree=55639044/67111528
[pid=16729] ppid=16727 vsize=30368 CPUtime=1791.96 cores=1,3,5,7
/proc/16729/stat : 16729 (bsolo) R 16727 16729 16701 0 -1 4202496 5213 0 0 0 178901 295 0 0 25 0 1 0 856075243 31096832 5160 33554432000 134512640 137138936 4294369536 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16729/statm: 7592 5160 192 642 0 6948 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 30368
[startup+1795.1 s]
/proc/loadavg: 2.01 2.02 1.72 3/454 16788
/proc/meminfo: memFree=31532288/32951124 swapFree=55639044/67111528
[pid=16729] ppid=16727 vsize=30368 CPUtime=1795.16 cores=1,3,5,7
/proc/16729/stat : 16729 (bsolo) R 16727 16729 16701 0 -1 4202496 5213 0 0 0 179220 296 0 0 25 0 1 0 856075243 31096832 5160 33554432000 134512640 137138936 4294369536 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16729/statm: 7592 5160 192 642 0 6948 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 30368
[startup+1796.7 s]
/proc/loadavg: 2.01 2.02 1.72 3/454 16788
/proc/meminfo: memFree=31532288/32951124 swapFree=55639044/67111528
[pid=16729] ppid=16727 vsize=30368 CPUtime=1796.75 cores=1,3,5,7
/proc/16729/stat : 16729 (bsolo) R 16727 16729 16701 0 -1 4202496 5213 0 0 0 179379 296 0 0 25 0 1 0 856075243 31096832 5160 33554432000 134512640 137138936 4294369536 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16729/statm: 7592 5160 192 642 0 6948 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 30368
[startup+1797.5 s]
/proc/loadavg: 2.01 2.02 1.72 3/454 16788
/proc/meminfo: memFree=31532040/32951124 swapFree=55639044/67111528
[pid=16729] ppid=16727 vsize=30368 CPUtime=1797.55 cores=1,3,5,7
/proc/16729/stat : 16729 (bsolo) R 16727 16729 16701 0 -1 4202496 5213 0 0 0 179459 296 0 0 25 0 1 0 856075243 31096832 5160 33554432000 134512640 137138936 4294369536 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16729/statm: 7592 5160 192 642 0 6948 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 30368
[startup+1797.9 s]
/proc/loadavg: 2.01 2.02 1.72 3/454 16788
/proc/meminfo: memFree=31532040/32951124 swapFree=55639044/67111528
[pid=16729] ppid=16727 vsize=30368 CPUtime=1797.94 cores=1,3,5,7
/proc/16729/stat : 16729 (bsolo) R 16727 16729 16701 0 -1 4202496 5213 0 0 0 179498 296 0 0 25 0 1 0 856075243 31096832 5160 33554432000 134512640 137138936 4294369536 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16729/statm: 7592 5160 192 642 0 6948 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 30368
Child status: 0
Real time (s): 1797.95
CPU time (s): 1798
CPU user time (s): 1795.04
CPU system time (s): 2.96655
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 30396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.04
system time used= 2.96655
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5213
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= 3117
runsolver used 7.40487 second user time and 18.7511 second system time
The end