0.00/0.00 c SCIP version 2.0.1.4 [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-3486360-1307794318.opb>
1.00/1.02 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 192594 constraints
1.00/1.02 c problem read
1.00/1.02 c presolving settings loaded
1.59/1.66 c presolving:
7.79/7.80 c (round 1) 5566 del vars, 16216 del conss, 0 add conss, 4401 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12953472 impls, 0 clqs
10.19/10.27 c (round 2) 10243 del vars, 37571 del conss, 0 add conss, 8768 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12980786 impls, 0 clqs
11.09/11.11 c (round 3) 12308 del vars, 46514 del conss, 0 add conss, 10051 chg bounds, 49 chg sides, 48 chg coeffs, 0 upgd conss, 12997802 impls, 0 clqs
11.49/11.55 c (round 4) 13191 del vars, 50511 del conss, 0 add conss, 10650 chg bounds, 59 chg sides, 60 chg coeffs, 0 upgd conss, 13005060 impls, 0 clqs
11.79/11.80 c (round 5) 13783 del vars, 52972 del conss, 0 add conss, 10975 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13010474 impls, 0 clqs
11.89/11.99 c (round 6) 14126 del vars, 54491 del conss, 0 add conss, 11179 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13015088 impls, 0 clqs
12.10/12.16 c (round 7) 14449 del vars, 55696 del conss, 0 add conss, 11368 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13018623 impls, 0 clqs
12.19/12.28 c (round 8) 14660 del vars, 56618 del conss, 0 add conss, 11490 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13021202 impls, 0 clqs
12.29/12.37 c (round 9) 14782 del vars, 57171 del conss, 0 add conss, 11563 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13023062 impls, 0 clqs
12.39/12.45 c (round 10) 14890 del vars, 57599 del conss, 0 add conss, 11629 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13024516 impls, 0 clqs
12.49/12.52 c (round 11) 14952 del vars, 57899 del conss, 0 add conss, 11672 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13025101 impls, 0 clqs
12.49/12.57 c (round 12) 15000 del vars, 58094 del conss, 0 add conss, 11705 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13025374 impls, 0 clqs
12.59/12.62 c (round 13) 15024 del vars, 58211 del conss, 0 add conss, 11722 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13025466 impls, 0 clqs
12.59/12.66 c (round 14) 15030 del vars, 58255 del conss, 0 add conss, 11725 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13025492 impls, 0 clqs
633.71/633.75 c (633.8s) probing: 1000/39750 (2.5%) - 0 fixings, 0 aggregations, 11719950 implications, 0 bound changes
1051.12/1051.17 c (1051.2s) probing: 2000/39750 (5.0%) - 0 fixings, 0 aggregations, 19025045 implications, 0 bound changes
1051.53/1051.52 c (1051.5s) probing: 2001/39750 (5.0%) - 0 fixings, 0 aggregations, 19031320 implications, 0 bound changes
1051.53/1051.52 c (1051.5s) probing aborted: 2000/2000 successive useless probings
1051.53/1051.52 c (round 15) 15032 del vars, 58271 del conss, 0 add conss, 11726 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 79430638 impls, 0 clqs
1052.12/1052.20 c (round 16) 15032 del vars, 58271 del conss, 0 add conss, 11726 chg bounds, 67 chg sides, 73 chg coeffs, 134323 upgd conss, 79430638 impls, 0 clqs
1053.23/1053.22 c (round 17) 15032 del vars, 58279 del conss, 27 add conss, 11726 chg bounds, 144 chg sides, 449 chg coeffs, 134323 upgd conss, 79430638 impls, 0 clqs
1161.13/1161.19 c (1161.2s) probing: 2201/39750 (5.5%) - 0 fixings, 0 aggregations, 19844918 implications, 0 bound changes
1161.13/1161.19 c (1161.2s) probing aborted: 2000/2000 successive useless probings
1161.13/1161.19 c presolving (18 rounds):
1161.13/1161.19 c 15032 deleted vars, 58282 deleted constraints, 27 added constraints, 11726 tightened bounds, 0 added holes, 145 changed sides, 460 changed coefficients
1161.13/1161.19 c 81581712 implications, 0 cliques
1161.13/1161.19 c presolved problem has 39750 variables (39750 bin, 0 int, 0 impl, 0 cont) and 134339 constraints
1161.13/1161.19 c 1123 constraints of type <knapsack>
1161.13/1161.19 c 113594 constraints of type <setppc>
1161.13/1161.19 c 19622 constraints of type <logicor>
1161.13/1161.19 c transformed objective value is always integral (scale: 1)
1161.13/1161.19 c Presolving Time: 1159.99
1161.13/1161.19 c - non default parameters ----------------------------------------------------------------------
1161.13/1161.19 c # SCIP version 2.0.1.4
1161.13/1161.19 c
1161.13/1161.19 c # frequency for displaying node information lines
1161.13/1161.19 c # [type: int, range: [-1,2147483647], default: 100]
1161.13/1161.19 c display/freq = 10000
1161.13/1161.19 c
1161.13/1161.19 c # maximal time in seconds to run
1161.13/1161.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1161.13/1161.19 c limits/time = 1797
1161.13/1161.19 c
1161.13/1161.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1161.13/1161.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1161.13/1161.19 c limits/memory = 13950
1161.13/1161.19 c
1161.13/1161.19 c # default clock type (1: CPU user seconds, 2: wall clock time)
1161.13/1161.19 c # [type: int, range: [1,2], default: 1]
1161.13/1161.19 c timing/clocktype = 2
1161.13/1161.19 c
1161.13/1161.19 c # belongs reading time to solving time?
1161.13/1161.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1161.13/1161.19 c timing/reading = TRUE
1161.13/1161.19 c
1161.13/1161.19 c # should presolving try to simplify inequalities
1161.13/1161.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1161.13/1161.19 c constraints/linear/simplifyinequalities = TRUE
1161.13/1161.19 c
1161.13/1161.19 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1161.13/1161.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1161.13/1161.19 c constraints/indicator/addCouplingCons = TRUE
1161.13/1161.19 c
1161.13/1161.19 c # should presolving try to simplify knapsacks
1161.13/1161.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1161.13/1161.19 c constraints/knapsack/simplifyinequalities = TRUE
1161.13/1161.19 c
1161.13/1161.19 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1161.13/1161.19 c # [type: int, range: [-1,2147483647], default: -1]
1161.13/1161.19 c separating/rapidlearning/freq = 0
1161.13/1161.19 c
1161.13/1161.19 c -----------------------------------------------------------------------------------------------
1161.13/1161.19 c start solving
1161.23/1161.21 c
1163.63/1163.66 o 300
1163.63/1163.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1163.63/1163.66 c T1164s| 1 | 0 | 0 | - |2361M| 0 | - | 39k| 134k| 39k| 134k| 0 | 0 | 0 | -- | 3.000000e+02 | Inf
1250.43/1250.44 c 1250s| 1 | 0 | 31550 | - |2352M| 0 | 184 | 39k| 133k| 39k| 134k| 0 | 0 | 0 | 9.800000e+01 | 3.000000e+02 | 206.12%
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3486360-1307794318/watcher-3486360-1307794318 -o /tmp/evaluation-result-3486360-1307794318/solver-3486360-1307794318 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486360-1307794318.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.05 2.01 1.91 3/181 11358
/proc/meminfo: memFree=31346164/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=10320 CPUtime=0 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 1574 0 0 0 0 0 0 0 25 0 1 0 891029699 10567680 1528 33554432000 4194304 8979876 140735693219632 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11358/statm: 2580 1528 366 1169 0 1407 0
[startup+0.0211481 s]
/proc/loadavg: 2.05 2.01 1.91 3/181 11358
/proc/meminfo: memFree=31346164/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=13852 CPUtime=0.01 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 2448 0 0 0 1 0 0 0 25 0 1 0 891029699 14184448 2402 33554432000 4194304 8979876 140735693219632 18446744073709551615 4446963 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11358/statm: 3463 2402 366 1169 0 2290 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13852
[startup+0.101137 s]
/proc/loadavg: 2.05 2.01 1.91 3/181 11358
/proc/meminfo: memFree=31346164/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=27548 CPUtime=0.09 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 5904 0 0 0 9 0 0 0 25 0 1 0 891029699 28209152 5858 33554432000 4194304 8979876 140735693219632 18446744073709551615 6782544 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11358/statm: 6887 5858 366 1169 0 5714 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27548
[startup+0.301102 s]
/proc/loadavg: 2.05 2.01 1.91 3/181 11358
/proc/meminfo: memFree=31346164/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=46332 CPUtime=0.29 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 10579 0 0 0 28 1 0 0 25 0 1 0 891029699 47443968 10533 33554432000 4194304 8979876 140735693219632 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11358/statm: 11583 10533 366 1169 0 10410 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46332
[startup+0.701029 s]
/proc/loadavg: 2.05 2.01 1.91 3/181 11358
/proc/meminfo: memFree=31346164/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=76432 CPUtime=0.69 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 18079 0 0 0 67 2 0 0 25 0 1 0 891029699 78266368 18033 33554432000 4194304 8979876 140735693219632 18446744073709551615 7836078 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11358/statm: 19108 18033 366 1169 0 17935 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 76432
[startup+1.50089 s]
/proc/loadavg: 2.05 2.01 1.91 3/182 11359
/proc/meminfo: memFree=31100272/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=314036 CPUtime=1.49 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 76836 0 0 0 141 8 0 0 25 0 1 0 891029699 321572864 76719 33554432000 4194304 8979876 140735693219632 18446744073709551615 6782368 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 78509 76719 449 1169 0 77336 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 314036
[startup+3.10059 s]
/proc/loadavg: 2.05 2.01 1.91 3/182 11360
/proc/meminfo: memFree=30654864/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=449460 CPUtime=3.09 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 118835 0 0 0 296 13 0 0 25 0 1 0 891029699 460247040 110387 33554432000 4194304 8979876 140735693219632 18446744073709551615 6503288 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 112365 110387 494 1169 0 111192 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 449460
[startup+6.30101 s]
/proc/loadavg: 2.05 2.01 1.91 3/182 11360
/proc/meminfo: memFree=30204440/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=644684 CPUtime=6.29 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 166653 0 0 0 609 20 0 0 25 0 1 0 891029699 660156416 158205 33554432000 4194304 8979876 140735693219632 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 161171 158205 494 1169 0 159998 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 644684
[startup+12.7009 s]
/proc/loadavg: 2.04 2.01 1.91 3/182 11360
/proc/meminfo: memFree=30020580/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=694340 CPUtime=12.69 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 179663 0 0 0 1248 21 0 0 25 0 1 0 891029699 711004160 169635 33554432000 4194304 8979876 140735693219632 18446744073709551615 5987594 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 173585 169635 504 1169 0 172412 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 694340
[startup+25.5005 s]
/proc/loadavg: 2.03 2.01 1.91 3/182 11360
/proc/meminfo: memFree=29879920/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=749360 CPUtime=25.49 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 192260 0 0 0 2526 23 0 0 25 0 1 0 891029699 767344640 182128 33554432000 4194304 8979876 140735693219632 18446744073709551615 6503272 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 187340 182128 537 1169 0 186167 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 749360
[startup+51.1009 s]
/proc/loadavg: 2.02 2.01 1.91 3/182 11361
/proc/meminfo: memFree=29807296/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=790104 CPUtime=51.1 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 202694 0 0 0 5086 24 0 0 25 0 1 0 891029699 809066496 192562 33554432000 4194304 8979876 140735693219632 18446744073709551615 4460216 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 197526 192562 537 1169 0 196353 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 790104
[startup+102.307 s]
/proc/loadavg: 2.01 2.00 1.91 3/182 11362
/proc/meminfo: memFree=29579644/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=908504 CPUtime=102.3 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 231860 0 0 0 10203 27 0 0 25 0 1 0 891029699 930308096 221728 33554432000 4194304 8979876 140735693219632 18446744073709551615 5284637 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 227126 221728 537 1169 0 225953 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 908504
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/182 11364
/proc/meminfo: memFree=29348724/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=1038504 CPUtime=162.3 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 264199 0 0 0 16200 30 0 0 25 0 1 0 891029699 1063428096 254067 33554432000 4194304 8979876 140735693219632 18446744073709551615 5308157 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 259626 254067 537 1169 0 258453 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1038504
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/182 11365
/proc/meminfo: memFree=29048244/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=1198604 CPUtime=222.29 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 303640 0 0 0 22196 33 0 0 25 0 1 0 891029699 1227370496 293508 33554432000 4194304 8979876 140735693219632 18446744073709551615 4875174 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 299651 293508 537 1169 0 298478 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1198604
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/182 11367
/proc/meminfo: memFree=28677704/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=1422084 CPUtime=282.3 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 358779 0 0 0 28190 40 0 0 25 0 1 0 891029699 1456214016 348647 33554432000 4194304 8979876 140735693219632 18446744073709551615 6503516 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 355521 348647 537 1169 0 354348 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1422084
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/182 11369
/proc/meminfo: memFree=28308400/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=1652408 CPUtime=342.3 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 415448 0 0 0 34183 47 0 0 25 0 1 0 891029699 1692065792 405316 33554432000 4194304 8979876 140735693219632 18446744073709551615 5271134 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 413102 405316 537 1169 0 411929 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1652408
[startup+402.301 s]
/proc/loadavg: 2.06 2.02 1.92 3/182 11370
/proc/meminfo: memFree=28029612/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=1805108 CPUtime=402.31 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 453546 0 0 0 40178 53 0 0 25 0 1 0 891029699 1848430592 443414 33554432000 4194304 8979876 140735693219632 18446744073709551615 6503328 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 451277 443414 537 1169 0 450104 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 1805108
[startup+462.301 s]
/proc/loadavg: 2.02 2.01 1.92 3/182 11372
/proc/meminfo: memFree=27674828/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=1985896 CPUtime=462.31 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 497774 0 0 0 46171 60 0 0 25 0 1 0 891029699 2033557504 487642 33554432000 4194304 8979876 140735693219632 18446744073709551615 6502938 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 496474 487642 537 1169 0 495301 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1985896
[startup+522.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/182 11373
/proc/meminfo: memFree=27484328/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=2077392 CPUtime=522.31 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 520622 0 0 0 52168 63 0 0 25 0 1 0 891029699 2127249408 510490 33554432000 4194304 8979876 140735693219632 18446744073709551615 5308244 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 519348 510490 537 1169 0 518175 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2077392
[startup+582.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/182 11375
/proc/meminfo: memFree=27270536/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=2213812 CPUtime=582.31 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 554575 0 0 0 58163 68 0 0 25 0 1 0 891029699 2266943488 544443 33554432000 4194304 8979876 140735693219632 18446744073709551615 5313829 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 553453 544443 537 1169 0 552280 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2213812
[startup+642.3 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.01 2.02 1.94 3/182 11383
/proc/meminfo: memFree=26443080/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=2725032 CPUtime=882.31 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 682892 0 0 0 88144 87 0 0 25 0 1 0 891029699 2790432768 672760 33554432000 4194304 8979876 140735693219632 18446744073709551615 5284637 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 681258 672760 542 1169 0 680085 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 2725032
[startup+942.301 s]
/proc/loadavg: 2.00 2.02 1.94 3/182 11385
/proc/meminfo: memFree=26292264/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=2835448 CPUtime=942.32 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 710080 0 0 0 94141 91 0 0 25 0 1 0 891029699 2903498752 699948 33554432000 4194304 8979876 140735693219632 18446744073709551615 5313829 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 708862 699948 542 1169 0 707689 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 2835448
[startup+1002.3 s]
/proc/loadavg: 2.03 2.03 1.95 3/182 11386
/proc/meminfo: memFree=26176416/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=2893896 CPUtime=1002.32 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 724694 0 0 0 100138 94 0 0 25 0 1 0 891029699 2963349504 714562 33554432000 4194304 8979876 140735693219632 18446744073709551615 5313433 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 723474 714562 542 1169 0 722301 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 2893896
[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 1.95 3/182 11388
/proc/meminfo: memFree=26032412/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=2983628 CPUtime=1062.33 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 759535 0 0 0 106134 99 0 0 25 0 1 0 891029699 3055235072 737207 33554432000 4194304 8979876 140735693219632 18446744073709551615 6503319 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 745907 737207 587 1169 0 744734 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 2983628
[startup+1122.3 s]
/proc/loadavg: 2.06 2.03 1.95 3/182 11389
/proc/meminfo: memFree=25749160/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=3033204 CPUtime=1122.32 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 771601 0 0 0 112132 100 0 0 25 0 1 0 891029699 3106000896 749273 33554432000 4194304 8979876 140735693219632 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 758301 749273 587 1169 0 757128 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 3033204
[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 1.95 3/182 11391
/proc/meminfo: memFree=25490592/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=3295244 CPUtime=1182.33 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 837032 0 0 0 118121 112 0 0 25 0 1 0 891029699 3374329856 810936 33554432000 4194304 8979876 140735693219632 18446744073709551615 7147278 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 823811 810936 857 1169 0 822638 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 3295244
[startup+1242.3 s]
/proc/loadavg: 2.09 2.03 1.96 3/182 11431
/proc/meminfo: memFree=27660800/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=3330668 CPUtime=1242.32 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 845546 0 0 0 124112 120 0 0 25 0 1 0 891029699 3410604032 818786 33554432000 4194304 8979876 140735693219632 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 832667 818786 817 1169 0 831494 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 3330668
[startup+1302.3 s]
/proc/loadavg: 2.03 2.03 1.96 3/182 11432
/proc/meminfo: memFree=27308848/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=3321720 CPUtime=1302.34 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 852852 0 0 0 130111 123 0 0 25 0 1 0 891029699 3401441280 816692 33554432000 4194304 8979876 140735693219632 18446744073709551615 6254459 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 830430 816692 771 1169 0 829257 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 3321720
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/182 11434
/proc/meminfo: memFree=27318020/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=3321720 CPUtime=1362.33 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 852852 0 0 0 136110 123 0 0 25 0 1 0 891029699 3401441280 816692 33554432000 4194304 8979876 140735693219632 18446744073709551615 6254540 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 830430 816692 771 1169 0 829257 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 3321720
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 1.96 3/182 11435
/proc/meminfo: memFree=27342396/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=3321720 CPUtime=1422.34 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 852852 0 0 0 142111 123 0 0 25 0 1 0 891029699 3401441280 816692 33554432000 4194304 8979876 140735693219632 18446744073709551615 6254459 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 830430 816692 771 1169 0 829257 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 3321720
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/182 11437
/proc/meminfo: memFree=27339996/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=3321720 CPUtime=1482.34 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 852852 0 0 0 148111 123 0 0 25 0 1 0 891029699 3401441280 816692 33554432000 4194304 8979876 140735693219632 18446744073709551615 6254459 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 830430 816692 771 1169 0 829257 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 3321720
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/182 11439
/proc/meminfo: memFree=27316892/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=3321720 CPUtime=1542.34 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 852852 0 0 0 154111 123 0 0 25 0 1 0 891029699 3401441280 816692 33554432000 4194304 8979876 140735693219632 18446744073709551615 6254466 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 830430 816692 771 1169 0 829257 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 3321720
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/182 11440
/proc/meminfo: memFree=27341648/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=3321720 CPUtime=1602.34 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 852852 0 0 0 160111 123 0 0 25 0 1 0 891029699 3401441280 816692 33554432000 4194304 8979876 140735693219632 18446744073709551615 6254371 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 830430 816692 771 1169 0 829257 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 3321720
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/182 11442
/proc/meminfo: memFree=27342484/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=3321720 CPUtime=1662.34 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 852852 0 0 0 166111 123 0 0 25 0 1 0 891029699 3401441280 816692 33554432000 4194304 8979876 140735693219632 18446744073709551615 6254459 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 830430 816692 771 1169 0 829257 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 3321720
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/182 11443
/proc/meminfo: memFree=27342456/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=3321720 CPUtime=1722.34 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 852852 0 0 0 172111 123 0 0 25 0 1 0 891029699 3401441280 816692 33554432000 4194304 8979876 140735693219632 18446744073709551615 6254540 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 830430 816692 771 1169 0 829257 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 3321720
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/182 11445
/proc/meminfo: memFree=27316628/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=3321720 CPUtime=1782.35 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 852852 0 0 0 178112 123 0 0 25 0 1 0 891029699 3401441280 816692 33554432000 4194304 8979876 140735693219632 18446744073709551615 6254368 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 830430 816692 771 1169 0 829257 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 3321720
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.96 3/182 11445
/proc/meminfo: memFree=27311776/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=3321720 CPUtime=1800.05 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 854048 0 0 0 179882 123 0 0 25 0 1 0 891029699 3401441280 817867 33554432000 4194304 8979876 140735693219632 18446744073709551615 6255408 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 830430 817867 750 1169 0 829257 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 3321720
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.11 s]
/proc/loadavg: 2.00 2.00 1.96 3/182 11445
/proc/meminfo: memFree=27311776/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=0 CPUtime=1800.15 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4203524 854048 0 0 0 179882 133 0 0 25 0 1 0 891029699 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11358/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.13
CPU time (s): 1800.18
CPU user time (s): 1798.83
CPU system time (s): 1.35279
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3332604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.83
system time used= 1.35279
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 854048
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= 1475
runsolver used 2.80057 second user time and 6.95794 second system time
The end