0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3743152-1338795232.opb>
3.39/3.49 c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
3.39/3.49 c problem read
3.49/3.50 c presolving settings loaded
5.28/5.37 c presolving:
8.99/9.04 c (round 1) 0 del vars, 1977 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 398809 upgd conss, 67806 impls, 1977 clqs
10.09/10.10 c (round 2) 0 del vars, 1977 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 67806 impls, 1977 clqs
117.27/117.31 c (round 3) 679 del vars, 1977 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 17190162 impls, 1977 clqs
117.67/117.74 c (round 4) 679 del vars, 2653 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 17195504 impls, 1977 clqs
119.27/119.37 c (round 5) 2685 del vars, 2653 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 17228896 impls, 1977 clqs
119.78/119.80 c (round 6) 2685 del vars, 4659 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 17228904 impls, 1977 clqs
243.95/244.02 c (round 7) 3355 del vars, 4659 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 19823854 impls, 1977 clqs
244.35/244.45 c (round 8) 3355 del vars, 5326 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 19823862 impls, 1977 clqs
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3743152-1338795232/watcher-3743152-1338795232 -o /tmp/evaluation-result-3743152-1338795232/solver-3743152-1338795232 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3743152-1338795232.opb -t 1800 -m 15500
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: 2.05 2.06 2.04 3/176 14147
/proc/meminfo: memFree=22958240/32873844 swapFree=7628/7628
[pid=14147] ppid=14145 vsize=10952 CPUtime=0 cores=0,2,4,6
/proc/14147/stat : 14147 (scip-2.0.1.4b_2) R 14145 14147 13522 0 -1 4202496 1795 0 0 0 0 0 0 0 20 0 1 0 345651802 11214848 1749 33554432000 4194304 9016284 140736865159856 140736355777512 7870589 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14147/statm: 2738 1759 340 1178 0 1556 0
[startup+0.0232849 s]
/proc/loadavg: 2.05 2.06 2.04 3/176 14147
/proc/meminfo: memFree=22958240/32873844 swapFree=7628/7628
[pid=14147] ppid=14145 vsize=19568 CPUtime=0.01 cores=0,2,4,6
/proc/14147/stat : 14147 (scip-2.0.1.4b_2) R 14145 14147 13522 0 -1 4202496 3878 0 0 0 1 0 0 0 20 0 1 0 345651802 20037632 3832 33554432000 4194304 9016284 140736865159856 140736355777512 6813403 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14147/statm: 4892 3832 360 1178 0 3710 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 19568
[startup+0.100316 s]
/proc/loadavg: 2.05 2.06 2.04 3/176 14147
/proc/meminfo: memFree=22958240/32873844 swapFree=7628/7628
[pid=14147] ppid=14145 vsize=35900 CPUtime=0.09 cores=0,2,4,6
/proc/14147/stat : 14147 (scip-2.0.1.4b_2) R 14145 14147 13522 0 -1 4202496 7939 0 0 0 8 1 0 0 20 0 1 0 345651802 36761600 7893 33554432000 4194304 9016284 140736865159856 140736355777512 7870478 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14147/statm: 8975 7893 360 1178 0 7793 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35900
[startup+0.300291 s]
/proc/loadavg: 2.05 2.06 2.04 3/176 14147
/proc/meminfo: memFree=22958240/32873844 swapFree=7628/7628
[pid=14147] ppid=14145 vsize=63880 CPUtime=0.28 cores=0,2,4,6
/proc/14147/stat : 14147 (scip-2.0.1.4b_2) R 14145 14147 13522 0 -1 4202496 14968 0 0 0 27 1 0 0 20 0 1 0 345651802 65413120 14922 33554432000 4194304 9016284 140736865159856 140736355777512 4530476 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14147/statm: 15970 14922 360 1178 0 14788 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 63880
[startup+0.700285 s]
/proc/loadavg: 2.05 2.06 2.04 3/176 14147
/proc/meminfo: memFree=22958240/32873844 swapFree=7628/7628
[pid=14147] ppid=14145 vsize=118376 CPUtime=0.68 cores=0,2,4,6
/proc/14147/stat : 14147 (scip-2.0.1.4b_2) R 14145 14147 13522 0 -1 4202496 28384 0 0 0 65 3 0 0 20 0 1 0 345651802 121217024 28339 33554432000 4194304 9016284 140736865159856 140736865023752 6813403 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14147/statm: 29594 28374 360 1178 0 28412 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 118376
[startup+1.50028 s]
/proc/loadavg: 2.05 2.06 2.04 3/177 14148
/proc/meminfo: memFree=22798528/32873844 swapFree=7628/7628
[pid=14147] ppid=14145 vsize=239824 CPUtime=1.49 cores=0,2,4,6
/proc/14147/stat : 14147 (scip-2.0.1.4b_2) R 14145 14147 13522 0 -1 4202496 58850 0 0 0 141 8 0 0 20 0 1 0 345651802 245579776 58804 33554432000 4194304 9016284 140736865159856 140736865023752 4447071 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14147/statm: 59956 58804 360 1178 0 58774 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 239824
[startup+3.10029 s]
/proc/loadavg: 2.05 2.06 2.04 3/177 14148
/proc/meminfo: memFree=22632600/32873844 swapFree=7628/7628
[pid=14147] ppid=14145 vsize=452512 CPUtime=3.09 cores=0,2,4,6
/proc/14147/stat : 14147 (scip-2.0.1.4b_2) R 14145 14147 13522 0 -1 4202496 112085 0 0 0 293 16 0 0 20 0 1 0 345651802 463372288 112039 33554432000 4194304 9016284 140736865159856 140736865023752 4445996 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14147/statm: 113128 112039 360 1178 0 111946 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 452512
[startup+6.30031 s]
/proc/loadavg: 2.13 2.08 2.05 3/177 14148
/proc/meminfo: memFree=21793484/32873844 swapFree=7628/7628
[pid=14147] ppid=14145 vsize=1178060 CPUtime=6.29 cores=0,2,4,6
/proc/14147/stat : 14147 (scip-2.0.1.4b_2) R 14145 14147 13522 0 -1 4202496 290098 0 0 0 589 40 0 0 20 0 1 0 345651802 1206333440 292043 33554432000 4194304 9016284 140736865159856 140736865155496 6479430 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14147/statm: 294515 292043 474 1178 0 293333 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1178060
[startup+12.7002 s]
/proc/loadavg: 2.12 2.07 2.05 3/177 14148
/proc/meminfo: memFree=21454448/32873844 swapFree=7628/7628
[pid=14147] ppid=14145 vsize=1503104 CPUtime=12.68 cores=0,2,4,6
/proc/14147/stat : 14147 (scip-2.0.1.4b_2) R 14145 14147 13522 0 -1 4202496 405163 0 0 0 1211 57 0 0 20 0 1 0 345651802 1539178496 372109 33554432000 4194304 9016284 140736865159856 140736865154920 6480421 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14147/statm: 375776 372109 529 1178 0 374594 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1503104
[startup+25.5003 s]
/proc/loadavg: 2.09 2.07 2.05 3/177 14148
/proc/meminfo: memFree=21358044/32873844 swapFree=7628/7628
[pid=14147] ppid=14145 vsize=1590856 CPUtime=25.49 cores=0,2,4,6
/proc/14147/stat : 14147 (scip-2.0.1.4b_2) R 14145 14147 13522 0 -1 4202496 426310 0 0 0 2489 60 0 0 20 0 1 0 345651802 1629036544 393256 33554432000 4194304 9016284 140736865159856 140736865155448 4889380 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14147/statm: 397714 393256 529 1178 0 396532 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1590856
[startup+51.1003 s]
/proc/loadavg: 2.06 2.06 2.04 3/177 14148
/proc/meminfo: memFree=21126628/32873844 swapFree=7628/7628
[pid=14147] ppid=14145 vsize=1798968 CPUtime=51.09 cores=0,2,4,6
/proc/14147/stat : 14147 (scip-2.0.1.4b_2) R 14145 14147 13522 0 -1 4202496 478007 0 0 0 5041 68 0 0 20 0 1 0 345651802 1842143232 444953 33554432000 4194304 9016284 140736865159856 140736865155448 6480403 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14147/statm: 449742 444953 529 1178 0 448560 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1798968
[startup+102.308 s]
/proc/loadavg: 2.02 2.05 2.04 3/177 14148
/proc/meminfo: memFree=20780076/32873844 swapFree=7628/7628
[pid=14147] ppid=14145 vsize=2092700 CPUtime=102.28 cores=0,2,4,6
/proc/14147/stat : 14147 (scip-2.0.1.4b_2) R 14145 14147 13522 0 -1 4202496 549274 0 0 0 10151 77 0 0 20 0 1 0 345651802 2142924800 516220 33554432000 4194304 9016284 140736865159856 140736865155448 6480407 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14147/statm: 523175 516220 529 1178 0 521993 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2092700
[startup+162.3 s]
/proc/loadavg: 2.01 2.04 2.03 3/177 14186
/proc/meminfo: memFree=23484832/32873844 swapFree=7628/7628
[pid=14147] ppid=14145 vsize=2364356 CPUtime=162.27 cores=0,2,4,6
/proc/14147/stat : 14147 (scip-2.0.1.4b_2) R 14145 14147 13522 0 -1 4202496 597725 0 0 0 16141 86 0 0 20 0 1 0 345651802 2421100544 583063 33554432000 4194304 9016284 140736865159856 140736865155448 6480407 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14147/statm: 591089 583063 529 1178 0 589907 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 2364356
[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.03 3/177 14187
/proc/meminfo: memFree=21750776/32873844 swapFree=7628/7628
[pid=14147] ppid=14145 vsize=2376596 CPUtime=222.25 cores=0,2,4,6
/proc/14147/stat : 14147 (scip-2.0.1.4b_2) R 14145 14147 13522 0 -1 4202496 600188 0 0 0 22139 86 0 0 20 0 1 0 345651802 2433634304 586419 33554432000 4194304 9016284 140736865159856 140736865155448 6480364 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14147/statm: 594149 586419 529 1178 0 592967 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 2376596
[startup+282.3 s]
/proc/loadavg: 2.15 2.05 2.03 3/177 14187
/proc/meminfo: memFree=21243952/32873844 swapFree=7628/7628
[pid=14147] ppid=14145 vsize=2686568 CPUtime=282.24 cores=0,2,4,6
/proc/14147/stat : 14147 (scip-2.0.1.4b_2) R 14145 14147 13522 0 -1 4202496 673742 0 0 0 28126 98 0 0 20 0 1 0 345651802 2751045632 660476 33554432000 4194304 9016284 140736865159856 140736865155240 6480360 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14147/statm: 671642 660476 529 1178 0 670460 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 2686568
[startup+342.3 s]
/proc/loadavg: 2.11 2.06 2.03 3/177 14187
/proc/meminfo: memFree=20822256/32873844 swapFree=7628/7628
[pid=14147] ppid=14145 vsize=2915132 CPUtime=342.23 cores=0,2,4,6
/proc/14147/stat : 14147 (scip-2.0.1.4b_2) R 14145 14147 13522 0 -1 4202496 729580 0 0 0 34115 108 0 0 20 0 1 0 345651802 2985095168 716591 33554432000 4194304 9016284 140736865159856 140736865155240 6480403 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14147/statm: 728783 716591 529 1178 0 727601 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 2915132
[startup+402.3 s]
/proc/loadavg: 2.16 2.08 2.04 3/178 14190
/proc/meminfo: memFree=20454228/32873844 swapFree=7628/7628
[pid=14147] ppid=14145 vsize=3148976 CPUtime=402.21 cores=0,2,4,6
/proc/14147/stat : 14147 (scip-2.0.1.4b_2) R 14145 14147 13522 0 -1 4202496 786002 0 0 0 40106 115 0 0 20 0 1 0 345651802 3224551424 773517 33554432000 4194304 9016284 140736865159856 140736865155240 6480425 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14147/statm: 787244 773517 529 1178 0 786062 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 3148976
[startup+462.3 s]
/proc/loadavg: 2.12 2.08 2.04 3/177 14190
/proc/meminfo: memFree=20282460/32873844 swapFree=7628/7628
[pid=14147] ppid=14145 vsize=3306100 CPUtime=462.2 cores=0,2,4,6
/proc/14147/stat : 14147 (scip-2.0.1.4b_2) R 14145 14147 13522 0 -1 4202496 825337 0 0 0 46096 124 0 0 20 0 1 0 345651802 3385446400 813315 33554432000 4194304 9016284 140736865159856 140736865155240 6480364 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14147/statm: 826525 813315 529 1178 0 825343 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 3306100
[startup+522.3 s]
/proc/loadavg: 2.10 2.08 2.03 3/177 14191
/proc/meminfo: memFree=19824308/32873844 swapFree=7628/7628
[pid=14147] ppid=14145 vsize=3480324 CPUtime=522.19 cores=0,2,4,6
/proc/14147/stat : 14147 (scip-2.0.1.4b_2) R 14145 14147 13522 0 -1 4202496 866593 0 0 0 52087 132 0 0 20 0 1 0 345651802 3563851776 855100 33554432000 4194304 9016284 140736865159856 140736865155240 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14147/statm: 870081 855100 529 1178 0 868899 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 3480324
[startup+582.3 s]
/proc/loadavg: 2.10 2.08 2.03 3/177 14191
/proc/meminfo: memFree=19655324/32873844 swapFree=7628/7628
[pid=14147] ppid=14145 vsize=3492608 CPUtime=582.17 cores=0,2,4,6
/proc/14147/stat : 14147 (scip-2.0.1.4b_2) R 14145 14147 13522 0 -1 4202496 871764 0 0 0 58083 134 0 0 20 0 1 0 345651802 3576430592 861038 33554432000 4194304 9016284 140736865159856 140736865155240 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14147/statm: 873152 861038 529 1178 0 871970 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 3492608
[startup+642.3 s]
################
# More data... #
################
/proc/14147/stat : 14147 (scip-2.0.1.4b_2) R 14145 14147 13522 0 -1 4202496 991060 0 0 0 106049 160 0 0 20 0 1 0 345651802 4072558592 985197 33554432000 4194304 9016284 140736865159856 140736865155240 6480372 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14147/statm: 994277 985197 529 1178 0 993095 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 3977108
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 14196
/proc/meminfo: memFree=18243920/32873844 swapFree=7628/7628
[pid=14147] ppid=14145 vsize=3988368 CPUtime=1122.08 cores=0,2,4,6
/proc/14147/stat : 14147 (scip-2.0.1.4b_2) R 14145 14147 13522 0 -1 4202496 995836 0 0 0 112046 162 0 0 20 0 1 0 345651802 4084088832 990224 33554432000 4194304 9016284 140736865159856 140736865155240 6480372 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14147/statm: 997092 990224 529 1178 0 995910 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 3988368
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 14196
/proc/meminfo: memFree=18216172/32873844 swapFree=7628/7628
[pid=14147] ppid=14145 vsize=3997584 CPUtime=1182.08 cores=0,2,4,6
/proc/14147/stat : 14147 (scip-2.0.1.4b_2) R 14145 14147 13522 0 -1 4202496 999905 0 0 0 118044 164 0 0 20 0 1 0 345651802 4093526016 994467 33554432000 4194304 9016284 140736865159856 140736865155240 6480403 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14147/statm: 999396 994467 529 1178 0 998214 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 3997584
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 14196
/proc/meminfo: memFree=17965720/32873844 swapFree=7628/7628
[pid=14147] ppid=14145 vsize=4271156 CPUtime=1242.07 cores=0,2,4,6
/proc/14147/stat : 14147 (scip-2.0.1.4b_2) R 14145 14147 13522 0 -1 4202496 1059286 0 0 0 124034 173 0 0 20 0 1 0 345651802 4373663744 1054109 33554432000 4194304 9016284 140736865159856 140736865155240 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14147/statm: 1067789 1054109 529 1178 0 1066607 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 4271156
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14196
/proc/meminfo: memFree=17743564/32873844 swapFree=7628/7628
[pid=14147] ppid=14145 vsize=4281396 CPUtime=1302.06 cores=0,2,4,6
/proc/14147/stat : 14147 (scip-2.0.1.4b_2) R 14145 14147 13522 0 -1 4202496 1063664 0 0 0 130032 174 0 0 20 0 1 0 345651802 4384149504 1058487 33554432000 4194304 9016284 140736865159856 140736865155240 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14147/statm: 1070349 1058487 529 1178 0 1069167 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 4281396
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14196
/proc/meminfo: memFree=17712964/32873844 swapFree=7628/7628
[pid=14147] ppid=14145 vsize=4290496 CPUtime=1362.05 cores=0,2,4,6
/proc/14147/stat : 14147 (scip-2.0.1.4b_2) R 14145 14147 13522 0 -1 4202496 1067557 0 0 0 136029 176 0 0 20 0 1 0 345651802 4393467904 1062694 33554432000 4194304 9016284 140736865159856 140736865155240 6480407 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14147/statm: 1072624 1062694 529 1178 0 1071442 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 4290496
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14197
/proc/meminfo: memFree=17672072/32873844 swapFree=7628/7628
[pid=14147] ppid=14145 vsize=4300736 CPUtime=1422.04 cores=0,2,4,6
/proc/14147/stat : 14147 (scip-2.0.1.4b_2) R 14145 14147 13522 0 -1 4202496 1071810 0 0 0 142026 178 0 0 20 0 1 0 345651802 4403953664 1066947 33554432000 4194304 9016284 140736865159856 140736865155240 6480364 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14147/statm: 1075184 1066947 529 1178 0 1074002 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 4300736
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14197
/proc/meminfo: memFree=17639364/32873844 swapFree=7628/7628
[pid=14147] ppid=14145 vsize=4308924 CPUtime=1482.03 cores=0,2,4,6
/proc/14147/stat : 14147 (scip-2.0.1.4b_2) R 14145 14147 13522 0 -1 4202496 1075303 0 0 0 148023 180 0 0 20 0 1 0 345651802 4412338176 1070515 33554432000 4194304 9016284 140736865159856 140736865155240 6480403 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14147/statm: 1077231 1070515 529 1178 0 1076049 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 4308924
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14197
/proc/meminfo: memFree=17389768/32873844 swapFree=7628/7628
[pid=14147] ppid=14145 vsize=4317116 CPUtime=1542.02 cores=0,2,4,6
/proc/14147/stat : 14147 (scip-2.0.1.4b_2) R 14145 14147 13522 0 -1 4202496 1078524 0 0 0 154021 181 0 0 20 0 1 0 345651802 4420726784 1073736 33554432000 4194304 9016284 140736865159856 140736865155240 6480403 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14147/statm: 1079279 1073736 529 1178 0 1078097 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 4317116
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14200
/proc/meminfo: memFree=17363376/32873844 swapFree=7628/7628
[pid=14147] ppid=14145 vsize=4323260 CPUtime=1602.01 cores=0,2,4,6
/proc/14147/stat : 14147 (scip-2.0.1.4b_2) R 14145 14147 13522 0 -1 4202496 1081134 0 0 0 160020 181 0 0 20 0 1 0 345651802 4427018240 1076346 33554432000 4194304 9016284 140736865159856 140736865155240 6480372 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14147/statm: 1080815 1076346 529 1178 0 1079633 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 4323260
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14223
/proc/meminfo: memFree=17338976/32873844 swapFree=7628/7628
[pid=14147] ppid=14145 vsize=4330428 CPUtime=1662 cores=0,2,4,6
/proc/14147/stat : 14147 (scip-2.0.1.4b_2) R 14145 14147 13522 0 -1 4202496 1084272 0 0 0 166017 183 0 0 20 0 1 0 345651802 4434358272 1079575 33554432000 4194304 9016284 140736865159856 140736865155240 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14147/statm: 1082607 1079575 529 1178 0 1081425 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 4330428
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14224
/proc/meminfo: memFree=17049256/32873844 swapFree=7628/7628
[pid=14147] ppid=14145 vsize=4653288 CPUtime=1721.99 cores=0,2,4,6
/proc/14147/stat : 14147 (scip-2.0.1.4b_2) R 14145 14147 13522 0 -1 4202496 1152929 0 0 0 172005 194 0 0 20 0 1 0 345651802 4764966912 1148239 33554432000 4194304 9016284 140736865159856 140736865155240 6480360 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14147/statm: 1163322 1148239 529 1178 0 1162140 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 4653288
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14224
/proc/meminfo: memFree=17026080/32873844 swapFree=7628/7628
[pid=14147] ppid=14145 vsize=4659432 CPUtime=1781.98 cores=0,2,4,6
/proc/14147/stat : 14147 (scip-2.0.1.4b_2) R 14145 14147 13522 0 -1 4202496 1155612 0 0 0 178003 195 0 0 20 0 1 0 345651802 4771258368 1150922 33554432000 4194304 9016284 140736865159856 140736865155240 6480360 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14147/statm: 1164858 1150922 529 1178 0 1163676 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 4659432
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14224
/proc/meminfo: memFree=17018804/32873844 swapFree=7628/7628
[pid=14147] ppid=14145 vsize=4661480 CPUtime=1800.08 cores=0,2,4,6
/proc/14147/stat : 14147 (scip-2.0.1.4b_2) R 14145 14147 13522 0 -1 4202496 1156535 0 0 0 179813 195 0 0 20 0 1 0 345651802 4773355520 1151845 33554432000 4194304 9016284 140736865159856 140736865155240 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14147/statm: 1165370 1151845 529 1178 0 1164188 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 4661480
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -14147
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14225
/proc/meminfo: memFree=17018804/32873844 swapFree=7628/7628
[pid=14147] ppid=14145 vsize=4661480 CPUtime=1801.07 cores=0,2,4,6
/proc/14147/stat : 14147 (scip-2.0.1.4b_2) R 14145 14147 13522 0 -1 4202496 1156546 0 0 0 179912 195 0 0 20 0 1 0 345651802 4773355520 1151856 33554432000 4194304 9016284 140736865159856 140736865154688 6480372 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14147/statm: 1165370 1151856 529 1178 0 1164188 0
Current children cumulated CPU time (s) 1801.07
Current children cumulated vsize (KiB) 4661480
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14225
/proc/meminfo: memFree=17018424/32873844 swapFree=7628/7628
[pid=14147] ppid=14145 vsize=4661480 CPUtime=1801.87 cores=0,2,4,6
/proc/14147/stat : 14147 (scip-2.0.1.4b_2) R 14145 14147 13522 0 -1 4202496 1156553 0 0 0 179992 195 0 0 20 0 1 0 345651802 4773355520 1151863 33554432000 4194304 9016284 140736865159856 140736865154688 6480372 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14147/statm: 1165370 1151863 529 1178 0 1164188 0
Current children cumulated CPU time (s) 1801.87
Current children cumulated vsize (KiB) 4661480
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14225
/proc/meminfo: memFree=17018424/32873844 swapFree=7628/7628
[pid=14147] ppid=14145 vsize=4661480 CPUtime=1802.07 cores=0,2,4,6
/proc/14147/stat : 14147 (scip-2.0.1.4b_2) R 14145 14147 13522 0 -1 4202496 1156555 0 0 0 180012 195 0 0 20 0 1 0 345651802 4773355520 1151865 33554432000 4194304 9016284 140736865159856 140736865154688 6480421 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14147/statm: 1165370 1151865 529 1178 0 1164188 0
Current children cumulated CPU time (s) 1802.07
Current children cumulated vsize (KiB) 4661480
[startup+1802.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14225
/proc/meminfo: memFree=17018424/32873844 swapFree=7628/7628
[pid=14147] ppid=14145 vsize=0 CPUtime=1802.18 cores=0,2,4,6
/proc/14147/stat : 14147 (scip-2.0.1.4b_2) R 14145 14147 13522 0 -1 4203524 1156555 0 0 0 180013 205 0 0 20 0 1 0 345651802 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14147/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.18
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.52
CPU time (s): 1802.21
CPU user time (s): 1800.14
CPU system time (s): 2.07468
CPU usage (%): 99.9826
Max. virtual memory (cumulated for all children) (KiB): 4661480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.14
system time used= 2.07468
maximum resident set size= 4607460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1156555
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= 63
involuntary context switches= 1864
runsolver used 4.85426 second user time and 13.8139 second system time
The end