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-3463339-1307174456/watcher-3463339-1307174456 -o /tmp/evaluation-result-3463339-1307174456/solver-3463339-1307174456 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463339-1307174456.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: 1.53 1.35 1.65 3/558 8694
/proc/meminfo: memFree=28708852/32951124 swapFree=34426104/67111528
[pid=8694] ppid=8692 vsize=11012 CPUtime=0 cores=1,3,5,7
/proc/8694/stat : 8694 (bsolo) R 8692 8694 7463 0 -1 4202496 309 0 0 0 0 0 0 0 25 0 1 0 907676304 11276288 263 33554432000 134512640 137138936 4293832048 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8694/statm: 2753 263 177 642 0 2088 0
[startup+0.0445229 s]
/proc/loadavg: 1.53 1.35 1.65 3/558 8694
/proc/meminfo: memFree=28708852/32951124 swapFree=34426104/67111528
[pid=8694] ppid=8692 vsize=11444 CPUtime=0.04 cores=1,3,5,7
/proc/8694/stat : 8694 (bsolo) R 8692 8694 7463 0 -1 4202496 476 0 0 0 4 0 0 0 25 0 1 0 907676304 11718656 409 33554432000 134512640 137138936 4293832048 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8694/statm: 2861 409 192 642 0 2217 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11444
[startup+0.100527 s]
/proc/loadavg: 1.53 1.35 1.65 3/558 8694
/proc/meminfo: memFree=28708852/32951124 swapFree=34426104/67111528
[pid=8694] ppid=8692 vsize=11704 CPUtime=0.09 cores=1,3,5,7
/proc/8694/stat : 8694 (bsolo) R 8692 8694 7463 0 -1 4202496 561 0 0 0 9 0 0 0 25 0 1 0 907676304 11984896 494 33554432000 134512640 137138936 4293832048 18446744073709551615 134606620 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8694/statm: 2926 494 192 642 0 2282 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11704
[startup+0.300482 s]
/proc/loadavg: 1.53 1.35 1.65 3/558 8694
/proc/meminfo: memFree=28708852/32951124 swapFree=34426104/67111528
[pid=8694] ppid=8692 vsize=12456 CPUtime=0.29 cores=1,3,5,7
/proc/8694/stat : 8694 (bsolo) R 8692 8694 7463 0 -1 4202496 751 0 0 0 29 0 0 0 25 0 1 0 907676304 12754944 684 33554432000 134512640 137138936 4293832048 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8694/statm: 3114 684 192 642 0 2470 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12456
[startup+0.700427 s]
/proc/loadavg: 1.53 1.35 1.65 3/558 8694
/proc/meminfo: memFree=28708852/32951124 swapFree=34426104/67111528
[pid=8694] ppid=8692 vsize=13316 CPUtime=0.68 cores=1,3,5,7
/proc/8694/stat : 8694 (bsolo) R 8692 8694 7463 0 -1 4202496 959 0 0 0 68 0 0 0 25 0 1 0 907676304 13635584 892 33554432000 134512640 137138936 4293832048 18446744073709551615 134607604 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8694/statm: 3329 892 192 642 0 2685 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13316
[startup+1.50028 s]
/proc/loadavg: 1.53 1.35 1.65 3/559 8695
/proc/meminfo: memFree=28704628/32951124 swapFree=34426104/67111528
[pid=8694] ppid=8692 vsize=13444 CPUtime=1.49 cores=1,3,5,7
/proc/8694/stat : 8694 (bsolo) R 8692 8694 7463 0 -1 4202496 1000 0 0 0 148 1 0 0 25 0 1 0 907676304 13766656 933 33554432000 134512640 137138936 4293832048 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8694/statm: 3361 933 192 642 0 2717 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13444
[startup+3.10102 s]
/proc/loadavg: 1.53 1.35 1.65 3/559 8695
/proc/meminfo: memFree=28702064/32951124 swapFree=34426104/67111528
[pid=8694] ppid=8692 vsize=13940 CPUtime=3.08 cores=1,3,5,7
/proc/8694/stat : 8694 (bsolo) R 8692 8694 7463 0 -1 4202496 1118 0 0 0 307 1 0 0 25 0 1 0 907676304 14274560 1051 33554432000 134512640 137138936 4293832048 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8694/statm: 3485 1051 192 642 0 2841 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 13940
[startup+6.30048 s]
/proc/loadavg: 1.57 1.36 1.65 3/559 8704
/proc/meminfo: memFree=28699360/32951124 swapFree=34426104/67111528
[pid=8694] ppid=8692 vsize=14556 CPUtime=6.29 cores=1,3,5,7
/proc/8694/stat : 8694 (bsolo) R 8692 8694 7463 0 -1 4202496 1258 0 0 0 626 3 0 0 25 0 1 0 907676304 14905344 1191 33554432000 134512640 137138936 4293832048 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8694/statm: 3639 1191 192 642 0 2995 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14556
[startup+12.7004 s]
/proc/loadavg: 1.60 1.37 1.65 3/559 8704
/proc/meminfo: memFree=28697960/32951124 swapFree=34426104/67111528
[pid=8694] ppid=8692 vsize=15296 CPUtime=12.69 cores=1,3,5,7
/proc/8694/stat : 8694 (bsolo) R 8692 8694 7463 0 -1 4202496 1464 0 0 0 1264 5 0 0 25 0 1 0 907676304 15663104 1397 33554432000 134512640 137138936 4293832048 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8694/statm: 3824 1397 192 642 0 3180 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15296
[startup+25.5003 s]
/proc/loadavg: 1.69 1.40 1.66 3/559 8704
/proc/meminfo: memFree=28697232/32951124 swapFree=34426104/67111528
[pid=8694] ppid=8692 vsize=16148 CPUtime=25.49 cores=1,3,5,7
/proc/8694/stat : 8694 (bsolo) R 8692 8694 7463 0 -1 4202496 1654 0 0 0 2540 9 0 0 25 0 1 0 907676304 16535552 1587 33554432000 134512640 137138936 4293832048 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8694/statm: 4037 1587 192 642 0 3393 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16148
[startup+51.101 s]
/proc/loadavg: 1.91 1.48 1.67 3/559 8704
/proc/meminfo: memFree=28696168/32951124 swapFree=34426104/67111528
[pid=8694] ppid=8692 vsize=16888 CPUtime=51.09 cores=1,3,5,7
/proc/8694/stat : 8694 (bsolo) R 8692 8694 7463 0 -1 4202496 1863 0 0 0 5093 16 0 0 25 0 1 0 907676304 17293312 1796 33554432000 134512640 137138936 4293832048 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8694/statm: 4222 1796 192 642 0 3578 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 16888
[startup+102.321 s]
/proc/loadavg: 2.09 1.59 1.70 3/559 8706
/proc/meminfo: memFree=28692548/32951124 swapFree=34426104/67111528
[pid=8694] ppid=8692 vsize=18220 CPUtime=102.31 cores=1,3,5,7
/proc/8694/stat : 8694 (bsolo) R 8692 8694 7463 0 -1 4202496 2177 0 0 0 10202 29 0 0 25 0 1 0 907676304 18657280 2110 33554432000 134512640 137138936 4293832048 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8694/statm: 4555 2110 192 642 0 3911 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 18220
[startup+162.3 s]
/proc/loadavg: 2.10 1.68 1.72 3/559 8708
/proc/meminfo: memFree=28689560/32951124 swapFree=34426104/67111528
[pid=8694] ppid=8692 vsize=19036 CPUtime=162.29 cores=1,3,5,7
/proc/8694/stat : 8694 (bsolo) R 8692 8694 7463 0 -1 4202496 2382 0 0 0 16183 46 0 0 25 0 1 0 907676304 19492864 2315 33554432000 134512640 137138936 4293832048 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8694/statm: 4759 2315 192 642 0 4115 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 19036
[startup+222.3 s]
/proc/loadavg: 2.03 1.73 1.74 3/559 8710
/proc/meminfo: memFree=28690024/32951124 swapFree=34426104/67111528
[pid=8694] ppid=8692 vsize=19032 CPUtime=222.29 cores=1,3,5,7
/proc/8694/stat : 8694 (bsolo) R 8692 8694 7463 0 -1 4202496 2389 0 0 0 22166 63 0 0 25 0 1 0 907676304 19488768 2322 33554432000 134512640 137138936 4293832048 18446744073709551615 134606686 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8694/statm: 4758 2322 192 642 0 4114 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 19032
[startup+282.3 s]
/proc/loadavg: 2.01 1.78 1.75 3/559 8710
/proc/meminfo: memFree=28689992/32951124 swapFree=34426104/67111528
[pid=8694] ppid=8692 vsize=19156 CPUtime=282.29 cores=1,3,5,7
/proc/8694/stat : 8694 (bsolo) R 8692 8694 7463 0 -1 4202496 2411 0 0 0 28151 78 0 0 25 0 1 0 907676304 19615744 2344 33554432000 134512640 137138936 4293832048 18446744073709551615 134575672 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8694/statm: 4789 2344 192 642 0 4145 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 19156
[startup+342.3 s]
/proc/loadavg: 2.00 1.82 1.76 3/559 8712
/proc/meminfo: memFree=28689092/32951124 swapFree=34426104/67111528
[pid=8694] ppid=8692 vsize=19112 CPUtime=342.3 cores=1,3,5,7
/proc/8694/stat : 8694 (bsolo) R 8692 8694 7463 0 -1 4202496 2413 0 0 0 34137 93 0 0 25 0 1 0 907676304 19570688 2346 33554432000 134512640 137138936 4293832048 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8694/statm: 4778 2346 192 642 0 4134 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 19112
[startup+402.3 s]
/proc/loadavg: 2.00 1.85 1.77 3/559 8714
/proc/meminfo: memFree=28688932/32951124 swapFree=34426104/67111528
[pid=8694] ppid=8692 vsize=19228 CPUtime=402.3 cores=1,3,5,7
/proc/8694/stat : 8694 (bsolo) R 8692 8694 7463 0 -1 4202496 2435 0 0 0 40120 110 0 0 25 0 1 0 907676304 19689472 2368 33554432000 134512640 137138936 4293832048 18446744073709551615 134606782 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8694/statm: 4807 2368 192 642 0 4163 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 19228
[startup+462.3 s]
/proc/loadavg: 2.00 1.87 1.78 3/559 8716
/proc/meminfo: memFree=28687796/32951124 swapFree=34426104/67111528
[pid=8694] ppid=8692 vsize=19228 CPUtime=462.29 cores=1,3,5,7
/proc/8694/stat : 8694 (bsolo) R 8692 8694 7463 0 -1 4202496 2435 0 0 0 46104 125 0 0 25 0 1 0 907676304 19689472 2368 33554432000 134512640 137138936 4293832048 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8694/statm: 4807 2368 192 642 0 4163 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 19228
[startup+522.3 s]
/proc/loadavg: 2.00 1.89 1.79 3/559 8718
/proc/meminfo: memFree=28686028/32951124 swapFree=34426104/67111528
[pid=8694] ppid=8692 vsize=20816 CPUtime=522.29 cores=1,3,5,7
/proc/8694/stat : 8694 (bsolo) R 8692 8694 7463 0 -1 4202496 2845 0 0 0 52093 136 0 0 25 0 1 0 907676304 21315584 2778 33554432000 134512640 137138936 4293832048 18446744073709551615 134575200 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8694/statm: 5204 2778 192 642 0 4560 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 20816
[startup+582.3 s]
/proc/loadavg: 2.00 1.91 1.81 3/559 8718
/proc/meminfo: memFree=28685736/32951124 swapFree=34426104/67111528
[pid=8694] ppid=8692 vsize=20944 CPUtime=582.3 cores=1,3,5,7
/proc/8694/stat : 8694 (bsolo) R 8692 8694 7463 0 -1 4202496 2859 0 0 0 58082 148 0 0 25 0 1 0 907676304 21446656 2792 33554432000 134512640 137138936 4293832048 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8694/statm: 5236 2792 192 642 0 4592 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 20944
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28683764/32951124 swapFree=34426104/67111528
[pid=8694] ppid=8692 vsize=22420 CPUtime=822.3 cores=1,3,5,7
/proc/8694/stat : 8694 (bsolo) R 8692 8694 7463 0 -1 4202496 3230 0 0 0 82038 192 0 0 25 0 1 0 907676304 22958080 3163 33554432000 134512640 137138936 4293832048 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8694/statm: 5605 3163 192 642 0 4961 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 22420
[startup+882.3 s]
/proc/loadavg: 2.02 2.00 1.87 3/559 8726
/proc/meminfo: memFree=28683600/32951124 swapFree=34426104/67111528
[pid=8694] ppid=8692 vsize=22652 CPUtime=882.3 cores=1,3,5,7
/proc/8694/stat : 8694 (bsolo) R 8692 8694 7463 0 -1 4202496 3288 0 0 0 88026 204 0 0 25 0 1 0 907676304 23195648 3221 33554432000 134512640 137138936 4293832048 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8694/statm: 5663 3221 192 642 0 5019 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 22652
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/559 8729
/proc/meminfo: memFree=28683456/32951124 swapFree=34426104/67111528
[pid=8694] ppid=8692 vsize=22644 CPUtime=942.3 cores=1,3,5,7
/proc/8694/stat : 8694 (bsolo) R 8692 8694 7463 0 -1 4202496 3288 0 0 0 94013 217 0 0 25 0 1 0 907676304 23187456 3221 33554432000 134512640 137138936 4293832048 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8694/statm: 5661 3221 192 642 0 5017 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 22644
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/559 8732
/proc/meminfo: memFree=28683536/32951124 swapFree=34426104/67111528
[pid=8694] ppid=8692 vsize=22644 CPUtime=1002.3 cores=1,3,5,7
/proc/8694/stat : 8694 (bsolo) R 8692 8694 7463 0 -1 4202496 3288 0 0 0 100002 228 0 0 25 0 1 0 907676304 23187456 3221 33554432000 134512640 137138936 4293832048 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8694/statm: 5661 3221 192 642 0 5017 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 22644
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/559 8735
/proc/meminfo: memFree=28683520/32951124 swapFree=34426104/67111528
[pid=8694] ppid=8692 vsize=22556 CPUtime=1062.31 cores=1,3,5,7
/proc/8694/stat : 8694 (bsolo) R 8692 8694 7463 0 -1 4202496 3288 0 0 0 105990 241 0 0 25 0 1 0 907676304 23097344 3214 33554432000 134512640 137138936 4293832048 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8694/statm: 5639 3214 192 642 0 4995 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 22556
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/559 8771
/proc/meminfo: memFree=28693620/32951124 swapFree=34426104/67111528
[pid=8694] ppid=8692 vsize=22552 CPUtime=1122.31 cores=1,3,5,7
/proc/8694/stat : 8694 (bsolo) R 8692 8694 7463 0 -1 4202496 3288 0 0 0 111979 252 0 0 25 0 1 0 907676304 23093248 3213 33554432000 134512640 137138936 4293832048 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8694/statm: 5638 3213 192 642 0 4994 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 22552
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/559 8771
/proc/meminfo: memFree=28672436/32951124 swapFree=34426104/67111528
[pid=8694] ppid=8692 vsize=22344 CPUtime=1182.31 cores=1,3,5,7
/proc/8694/stat : 8694 (bsolo) R 8692 8694 7463 0 -1 4202496 3288 0 0 0 117968 263 0 0 25 0 1 0 907676304 22880256 3161 33554432000 134512640 137138936 4293832048 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8694/statm: 5586 3161 192 642 0 4942 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 22344
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/559 8773
/proc/meminfo: memFree=28626140/32951124 swapFree=34426104/67111528
[pid=8694] ppid=8692 vsize=22348 CPUtime=1242.31 cores=1,3,5,7
/proc/8694/stat : 8694 (bsolo) R 8692 8694 7463 0 -1 4202496 3289 0 0 0 123956 275 0 0 25 0 1 0 907676304 22884352 3162 33554432000 134512640 137138936 4293832048 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8694/statm: 5587 3162 192 642 0 4943 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 22348
[startup+1302.3 s]
/proc/loadavg: 2.17 2.04 1.92 3/559 8776
/proc/meminfo: memFree=28598068/32951124 swapFree=34426104/67111528
[pid=8694] ppid=8692 vsize=23428 CPUtime=1302.32 cores=1,3,5,7
/proc/8694/stat : 8694 (bsolo) R 8692 8694 7463 0 -1 4202496 3547 0 0 0 129946 286 0 0 25 0 1 0 907676304 23990272 3420 33554432000 134512640 137138936 4293832048 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8694/statm: 5857 3420 192 642 0 5213 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 23428
[startup+1362.3 s]
/proc/loadavg: 2.17 2.07 1.93 3/559 8778
/proc/meminfo: memFree=28598524/32951124 swapFree=34426104/67111528
[pid=8694] ppid=8692 vsize=23428 CPUtime=1362.31 cores=1,3,5,7
/proc/8694/stat : 8694 (bsolo) R 8692 8694 7463 0 -1 4202496 3547 0 0 0 135937 294 0 0 25 0 1 0 907676304 23990272 3420 33554432000 134512640 137138936 4293832048 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8694/statm: 5857 3420 192 642 0 5213 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 23428
[startup+1422.32 s]
/proc/loadavg: 2.10 2.06 1.94 3/559 8781
/proc/meminfo: memFree=28583744/32951124 swapFree=34426104/67111528
[pid=8694] ppid=8692 vsize=23428 CPUtime=1422.33 cores=1,3,5,7
/proc/8694/stat : 8694 (bsolo) R 8692 8694 7463 0 -1 4202496 3547 0 0 0 141929 304 0 0 25 0 1 0 907676304 23990272 3420 33554432000 134512640 137138936 4293832048 18446744073709551615 134542513 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8694/statm: 5857 3420 192 642 0 5213 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 23428
Solver just ended. Dumping a history of the last processes samples
[startup+1433.5 s]
/proc/loadavg: 2.08 2.06 1.94 3/559 8781
/proc/meminfo: memFree=28583876/32951124 swapFree=34426104/67111528
[pid=8694] ppid=8692 vsize=23428 CPUtime=1433.51 cores=1,3,5,7
/proc/8694/stat : 8694 (bsolo) R 8692 8694 7463 0 -1 4202496 3547 0 0 0 143045 306 0 0 25 0 1 0 907676304 23990272 3420 33554432000 134512640 137138936 4293832048 18446744073709551615 136504105 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8694/statm: 5857 3420 192 642 0 5213 0
Current children cumulated CPU time (s) 1433.51
Current children cumulated vsize (KiB) 23428
[startup+1446.3 s]
/proc/loadavg: 2.06 2.06 1.94 3/559 8781
/proc/meminfo: memFree=28583872/32951124 swapFree=34426104/67111528
[pid=8694] ppid=8692 vsize=23428 CPUtime=1446.31 cores=1,3,5,7
/proc/8694/stat : 8694 (bsolo) R 8692 8694 7463 0 -1 4202496 3547 0 0 0 144322 309 0 0 25 0 1 0 907676304 23990272 3420 33554432000 134512640 137138936 4293832048 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8694/statm: 5857 3420 192 642 0 5213 0
Current children cumulated CPU time (s) 1446.31
Current children cumulated vsize (KiB) 23428
[startup+1452.7 s]
/proc/loadavg: 2.06 2.06 1.94 3/559 8781
/proc/meminfo: memFree=28584112/32951124 swapFree=34426104/67111528
[pid=8694] ppid=8692 vsize=23428 CPUtime=1452.71 cores=1,3,5,7
/proc/8694/stat : 8694 (bsolo) R 8692 8694 7463 0 -1 4202496 3547 0 0 0 144962 309 0 0 25 0 1 0 907676304 23990272 3420 33554432000 134512640 137138936 4293832048 18446744073709551615 134543039 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8694/statm: 5857 3420 192 642 0 5213 0
Current children cumulated CPU time (s) 1452.71
Current children cumulated vsize (KiB) 23428
[startup+1459.1 s]
/proc/loadavg: 2.05 2.06 1.94 3/559 8781
/proc/meminfo: memFree=28583732/32951124 swapFree=34426104/67111528
[pid=8694] ppid=8692 vsize=23428 CPUtime=1459.11 cores=1,3,5,7
/proc/8694/stat : 8694 (bsolo) R 8692 8694 7463 0 -1 4202496 3547 0 0 0 145600 311 0 0 25 0 1 0 907676304 23990272 3420 33554432000 134512640 137138936 4293832048 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8694/statm: 5857 3420 192 642 0 5213 0
Current children cumulated CPU time (s) 1459.11
Current children cumulated vsize (KiB) 23428
[startup+1462.3 s]
/proc/loadavg: 2.05 2.05 1.94 3/559 8781
/proc/meminfo: memFree=28583732/32951124 swapFree=34426104/67111528
[pid=8694] ppid=8692 vsize=23428 CPUtime=1462.31 cores=1,3,5,7
/proc/8694/stat : 8694 (bsolo) R 8692 8694 7463 0 -1 4202496 3547 0 0 0 145920 311 0 0 25 0 1 0 907676304 23990272 3420 33554432000 134512640 137138936 4293832048 18446744073709551615 136504080 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8694/statm: 5857 3420 192 642 0 5213 0
Current children cumulated CPU time (s) 1462.31
Current children cumulated vsize (KiB) 23428
[startup+1463.9 s]
/proc/loadavg: 2.05 2.05 1.94 3/559 8781
/proc/meminfo: memFree=28583608/32951124 swapFree=34426104/67111528
[pid=8694] ppid=8692 vsize=23428 CPUtime=1463.91 cores=1,3,5,7
/proc/8694/stat : 8694 (bsolo) R 8692 8694 7463 0 -1 4202496 3547 0 0 0 146080 311 0 0 25 0 1 0 907676304 23990272 3420 33554432000 134512640 137138936 4293832048 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8694/statm: 5857 3420 192 642 0 5213 0
Current children cumulated CPU time (s) 1463.91
Current children cumulated vsize (KiB) 23428
[startup+1464.7 s]
/proc/loadavg: 2.05 2.05 1.94 3/559 8781
/proc/meminfo: memFree=28583608/32951124 swapFree=34426104/67111528
[pid=8694] ppid=8692 vsize=23428 CPUtime=1464.71 cores=1,3,5,7
/proc/8694/stat : 8694 (bsolo) R 8692 8694 7463 0 -1 4202496 3547 0 0 0 146160 311 0 0 25 0 1 0 907676304 23990272 3420 33554432000 134512640 137138936 4293832048 18446744073709551615 134607574 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8694/statm: 5857 3420 192 642 0 5213 0
Current children cumulated CPU time (s) 1464.71
Current children cumulated vsize (KiB) 23428
[startup+1465.1 s]
/proc/loadavg: 2.05 2.05 1.94 3/559 8781
/proc/meminfo: memFree=28583732/32951124 swapFree=34426104/67111528
[pid=8694] ppid=8692 vsize=23428 CPUtime=1465.11 cores=1,3,5,7
/proc/8694/stat : 8694 (bsolo) R 8692 8694 7463 0 -1 4202496 3547 0 0 0 146200 311 0 0 25 0 1 0 907676304 23990272 3420 33554432000 134512640 137138936 4293832048 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8694/statm: 5857 3420 192 642 0 5213 0
Current children cumulated CPU time (s) 1465.11
Current children cumulated vsize (KiB) 23428
Child status: 0
Real time (s): 1465.13
CPU time (s): 1465.15
CPU user time (s): 1462.03
CPU system time (s): 3.11952
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 23428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1462.03
system time used= 3.11952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3547
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= 18368
runsolver used 8.09577 second user time and 18.7841 second system time
The end