0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
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-3452592-1307090089.opb>
0.69/0.73 c original problem has 1534 variables (1534 bin, 0 int, 0 impl, 0 cont) and 127011 constraints
0.69/0.73 c problem read
0.69/0.73 c presolving settings loaded
1.00/1.02 o 0
1.00/1.02 c feasible solution found by trivial heuristic, objective value 0.000000e+00
1.00/1.02 c presolving:
1.49/1.59 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 127011 upgd conss, 254022 impls, 0 clqs
3.49/3.52 c (3.5s) probing: 101/1534 (6.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3.49/3.52 c (3.5s) probing aborted: 100/100 successive totally useless probings
3.49/3.52 c presolving (2 rounds):
3.49/3.52 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.49/3.52 c 254022 implications, 0 cliques
3.49/3.52 c presolved problem has 1534 variables (1534 bin, 0 int, 0 impl, 0 cont) and 127011 constraints
3.49/3.52 c 127011 constraints of type <setppc>
3.49/3.52 c transformed objective value is always integral (scale: 1)
3.49/3.52 c Presolving Time: 2.72
3.49/3.52 c - non default parameters ----------------------------------------------------------------------
3.49/3.52 c # SCIP version 2.0.1.4
3.49/3.52 c
3.49/3.52 c # frequency for displaying node information lines
3.49/3.52 c # [type: int, range: [-1,2147483647], default: 100]
3.49/3.52 c display/freq = 10000
3.49/3.52 c
3.49/3.52 c # maximal time in seconds to run
3.49/3.52 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.49/3.52 c limits/time = 1800
3.49/3.52 c
3.49/3.52 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.49/3.52 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.49/3.52 c limits/memory = 13950
3.49/3.52 c
3.49/3.52 c # default clock type (1: CPU user seconds, 2: wall clock time)
3.49/3.52 c # [type: int, range: [1,2], default: 1]
3.49/3.52 c timing/clocktype = 2
3.49/3.52 c
3.49/3.52 c # belongs reading time to solving time?
3.49/3.52 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.49/3.52 c timing/reading = TRUE
3.49/3.52 c
3.49/3.52 c # should presolving try to simplify inequalities
3.49/3.52 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.49/3.52 c constraints/linear/simplifyinequalities = TRUE
3.49/3.52 c
3.49/3.52 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
3.49/3.52 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.49/3.52 c constraints/indicator/addCouplingCons = TRUE
3.49/3.52 c
3.49/3.52 c # should presolving try to simplify knapsacks
3.49/3.52 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.49/3.52 c constraints/knapsack/simplifyinequalities = TRUE
3.49/3.52 c
3.49/3.52 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
3.49/3.52 c # [type: int, range: [-1,2147483647], default: -1]
3.49/3.52 c separating/rapidlearning/freq = 0
3.49/3.52 c
3.49/3.52 c -----------------------------------------------------------------------------------------------
3.49/3.52 c start solving
3.49/3.52 c
6.49/6.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.49/6.59 c t 6.6s| 1 | 0 | 1534 | - | 146M| 0 |1534 |1534 | 127k|1534 | 127k| 0 | 0 | 0 |-7.670000e+02 | 0.000000e+00 | 100.00%
6.61/6.70 o -1
6.61/6.70 c R 6.7s| 1 | 0 | 1534 | - | 146M| 0 |1534 |1534 | 127k|1534 | 127k| 0 | 0 | 0 |-7.670000e+02 |-1.000000e+00 | 99.87%
6.79/6.81 o -2
6.79/6.81 c s 6.8s| 1 | 0 | 1534 | - | 147M| 0 |1534 |1534 | 127k|1534 | 127k| 0 | 0 | 0 |-7.670000e+02 |-2.000000e+00 | 99.74%
9.29/9.33 c 9.3s| 1 | 0 | 1821 | - | 147M| 0 |1461 |1534 | 127k|1534 | 127k| 6 | 0 | 0 |-7.305000e+02 |-2.000000e+00 | 99.73%
9.29/9.37 o -45
9.29/9.37 c b 9.4s| 1 | 0 | 1821 | - | 147M| 0 |1461 |1534 | 127k|1534 | 127k| 6 | 0 | 0 |-7.305000e+02 |-4.500000e+01 | 93.84%
12.49/12.56 c 12.6s| 1 | 0 | 1935 | - | 147M| 0 |1412 |1534 | 127k|1534 | 127k| 15 | 0 | 0 |-7.060000e+02 |-4.500000e+01 | 93.63%
17.61/17.61 c 17.6s| 1 | 0 | 2078 | - | 147M| 0 |1355 |1534 | 127k|1534 | 127k| 34 | 0 | 0 |-6.775000e+02 |-4.500000e+01 | 93.36%
23.89/23.94 c 23.9s| 1 | 0 | 2236 | - | 147M| 0 |1305 |1534 | 127k|1534 | 127k| 43 | 0 | 0 |-6.525000e+02 |-4.500000e+01 | 93.10%
31.49/31.52 c 31.5s| 1 | 0 | 2441 | - | 147M| 0 |1254 |1534 | 127k|1534 | 127k| 51 | 0 | 0 |-6.270000e+02 |-4.500000e+01 | 92.82%
39.79/39.82 c 39.8s| 1 | 0 | 2843 | - | 147M| 0 |1201 |1534 | 127k|1534 | 127k| 59 | 0 | 0 |-6.005000e+02 |-4.500000e+01 | 92.51%
48.99/49.01 c 49.0s| 1 | 0 | 3254 | - | 147M| 0 |1135 |1534 | 127k|1534 | 127k| 79 | 0 | 0 |-5.675000e+02 |-4.500000e+01 | 92.07%
57.89/57.92 c 57.9s| 1 | 0 | 3411 | - | 147M| 0 |1083 |1534 | 127k|1534 | 127k| 93 | 0 | 0 |-5.415000e+02 |-4.500000e+01 | 91.69%
66.39/66.48 c 66.5s| 1 | 0 | 3574 | - | 147M| 0 |1029 |1534 | 127k|1534 | 127k| 103 | 0 | 0 |-5.145000e+02 |-4.500000e+01 | 91.25%
75.69/75.80 c 75.8s| 1 | 0 | 4099 | - | 147M| 0 | 979 |1534 | 127k|1534 | 127k| 113 | 0 | 0 |-4.895000e+02 |-4.500000e+01 | 90.81%
78.19/78.25 c 78.2s| 1 | 0 | 4997 | - | 147M| 0 | 918 |1534 | 127k|1534 | 127k| 126 | 0 | 0 |-4.590000e+02 |-4.500000e+01 | 90.20%
80.49/80.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
80.49/80.52 c 80.5s| 1 | 0 | 5883 | - | 147M| 0 | 862 |1534 | 127k|1534 | 127k| 141 | 0 | 0 |-4.310000e+02 |-4.500000e+01 | 89.56%
82.59/82.68 c 82.7s| 1 | 0 | 6589 | - | 147M| 0 | 798 |1534 | 127k|1534 | 127k| 160 | 0 | 0 |-3.990000e+02 |-4.500000e+01 | 88.72%
84.60/84.63 c 84.6s| 1 | 0 | 7215 | - | 147M| 0 | 740 |1534 | 127k|1534 | 127k| 182 | 0 | 0 |-3.700000e+02 |-4.500000e+01 | 87.84%
89.59/89.61 c 89.6s| 1 | 0 | 9237 | - | 147M| 0 | 662 |1534 | 127k|1534 | 127k| 202 | 0 | 0 |-3.310000e+02 |-4.500000e+01 | 86.40%
95.19/95.28 c 95.3s| 1 | 0 | 12057 | - | 147M| 0 | 590 |1534 | 127k|1534 | 127k| 218 | 0 | 0 |-2.950000e+02 |-4.500000e+01 | 84.75%
100.90/100.94 c 101s| 1 | 0 | 14883 | - | 147M| 0 | 523 |1534 | 127k|1534 | 127k| 232 | 0 | 0 |-2.615000e+02 |-4.500000e+01 | 82.79%
104.19/104.20 c 104s| 1 | 0 | 16805 | - | 147M| 0 | 474 |1534 | 127k|1534 | 127k| 244 | 0 | 0 |-2.370000e+02 |-4.500000e+01 | 81.01%
113.49/113.58 c 114s| 1 | 0 | 21908 | - | 147M| 0 | 405 |1534 | 127k|1534 | 127k| 258 | 0 | 0 |-2.025000e+02 |-4.500000e+01 | 77.78%
119.49/119.51 c 120s| 1 | 0 | 25769 | - | 147M| 0 | 342 |1534 | 127k|1534 | 127k| 267 | 0 | 0 |-1.710000e+02 |-4.500000e+01 | 73.68%
123.40/123.47 c 123s| 1 | 0 | 28786 | - | 147M| 0 | 297 |1534 | 127k|1534 | 127k| 278 | 0 | 0 |-1.485000e+02 |-4.500000e+01 | 69.70%
124.89/124.95 c 125s| 1 | 0 | 29389 | - | 147M| 0 | 257 |1534 | 127k|1534 | 127k| 291 | 0 | 0 |-1.285000e+02 |-4.500000e+01 | 64.98%
125.79/125.81 c 126s| 1 | 0 | 29603 | - | 147M| 0 | 232 |1534 | 127k|1534 | 127k| 306 | 0 | 0 |-1.160000e+02 |-4.500000e+01 | 61.21%
126.51/126.60 c 127s| 1 | 0 | 29792 | - | 147M| 0 | 210 |1534 | 127k|1534 | 127k| 322 | 0 | 0 |-1.050000e+02 |-4.500000e+01 | 57.14%
127.60/127.67 c 128s| 1 | 0 | 30289 | - | 147M| 0 | 173 |1534 | 127k|1534 | 127k| 337 | 0 | 0 |-8.750000e+01 |-4.500000e+01 | 48.57%
128.79/128.89 c 129s| 1 | 0 | 30968 | - | 147M| 0 | 144 |1534 | 127k|1534 | 127k| 349 | 0 | 0 |-7.100000e+01 |-4.500000e+01 | 36.62%
129.69/129.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
129.69/129.76 c 130s| 1 | 0 | 31133 | - | 147M| 0 | 139 |1534 | 127k|1534 | 127k| 357 | 0 | 0 |-6.850000e+01 |-4.500000e+01 | 34.31%
130.91/130.97 c 131s| 1 | 0 | 31658 | - | 147M| 0 | 138 |1534 | 127k|1534 | 127k| 363 | 0 | 0 |-6.300000e+01 |-4.500000e+01 | 28.57%
132.59/132.64 c 133s| 1 | 0 | 32542 | - | 147M| 0 | 237 |1534 | 127k|1534 | 127k| 370 | 0 | 0 |-5.900000e+01 |-4.500000e+01 | 23.73%
159.09/159.14 c 159s| 1 | 0 | 32666 | - | 147M| 0 | 245 |1534 | 127k|1534 | 127k| 381 | 0 | 0 |-5.900000e+01 |-4.500000e+01 | 23.73%
160.20/160.22 c 160s| 1 | 0 | 32797 | - | 147M| 0 | 244 |1534 | 127k|1534 | 127k| 391 | 0 | 0 |-5.900000e+01 |-4.500000e+01 | 23.73%
162.59/162.63 c 163s| 1 | 0 | 33174 | - | 147M| 0 | 238 |1534 | 127k|1534 | 127k| 402 | 0 | 0 |-5.900000e+01 |-4.500000e+01 | 23.73%
164.59/164.65 c 165s| 1 | 0 | 34146 | - | 147M| 0 | 236 |1534 | 127k|1534 | 127k| 414 | 0 | 0 |-5.900000e+01 |-4.500000e+01 | 23.73%
187.60/187.69 c 188s| 1 | 0 | 34540 | - | 147M| 0 | 176 |1534 | 127k|1534 | 127k| 426 | 0 | 0 |-5.900000e+01 |-4.500000e+01 | 23.73%
217.99/218.08 c 218s| 1 | 2 | 34540 | - | 147M| 0 | 176 |1534 | 127k|1534 | 127k| 426 | 0 | 31 |-5.900000e+01 |-4.500000e+01 | 23.73%
433.80/433.80 o -46
433.80/433.80 c p 434s| 35 | 36 | 39376 | 142.2 | 153M| 22 | - |1534 | 127k|1534 | 127k| 426 | 0 | 673 |-5.900000e+01 |-4.600000e+01 | 22.03%
477.00/477.08 o -47
477.00/477.08 c f 477s| 48 | 47 | 40751 | 132.1 | 154M| 22 | - |1534 | 127k|1534 | 127k| 426 | 0 | 845 |-5.900000e+01 |-4.700000e+01 | 20.34%
522.30/522.40 o -48
522.30/522.40 c l 522s| 179 | 176 | 54751 | 113.5 | 161M| 25 | - |1534 | 127k|1534 | 127k| 426 | 0 | 893 |-5.900000e+01 |-4.800000e+01 | 18.64%
530.50/530.54 o -50
530.50/530.54 c o 531s| 205 | 202 | 57921 | 114.6 | 161M| 25 | 0 |1534 | 127k|1534 | 127k| 426 | 0 | 902 |-5.900000e+01 |-5.000000e+01 | 15.25%
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.00 c Solving Time (sec) : 1800.00
1800.04/1800.00 c Solving Nodes : 2346
1800.04/1800.00 c Primal Bound : -5.00000000000000e+01 (462 solutions)
1800.04/1800.00 c Dual Bound : -5.90000000000000e+01
1800.04/1800.00 c Gap : 15.25 %
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-3452592-1307090089/watcher-3452592-1307090089 -o /tmp/evaluation-result-3452592-1307090089/solver-3452592-1307090089 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452592-1307090089.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: 1.99 2.00 2.00 2/458 6619
/proc/meminfo: memFree=25850748/32951124 swapFree=60688864/67111528
[pid=6619] ppid=6617 vsize=11232 CPUtime=0 cores=1,3,5,7
/proc/6619/stat : 6619 (scip-2.0.1.4.li) R 6617 6619 2978 0 -1 4202496 1800 0 0 0 0 0 0 0 25 0 1 0 820607121 11501568 1753 33554432000 4194304 9128323 140734606497312 18446744073709551615 6193891 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6619/statm: 2808 1753 391 1205 0 1599 0
[startup+0.036817 s]
/proc/loadavg: 1.99 2.00 2.00 2/458 6619
/proc/meminfo: memFree=25850748/32951124 swapFree=60688864/67111528
[pid=6619] ppid=6617 vsize=13772 CPUtime=0.03 cores=1,3,5,7
/proc/6619/stat : 6619 (scip-2.0.1.4.li) R 6617 6619 2978 0 -1 4202496 2436 0 0 0 3 0 0 0 25 0 1 0 820607121 14102528 2388 33554432000 4194304 9128323 140734606497312 18446744073709551615 4338650 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6619/statm: 3443 2388 400 1205 0 2234 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13772
[startup+0.100807 s]
/proc/loadavg: 1.99 2.00 2.00 2/458 6619
/proc/meminfo: memFree=25850748/32951124 swapFree=60688864/67111528
[pid=6619] ppid=6617 vsize=16260 CPUtime=0.09 cores=1,3,5,7
/proc/6619/stat : 6619 (scip-2.0.1.4.li) R 6617 6619 2978 0 -1 4202496 3084 0 0 0 9 0 0 0 25 0 1 0 820607121 16650240 3035 33554432000 4194304 9128323 140734606497312 18446744073709551615 4217115 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6619/statm: 4065 3035 400 1205 0 2856 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16260
[startup+0.300775 s]
/proc/loadavg: 1.99 2.00 2.00 2/458 6619
/proc/meminfo: memFree=25850748/32951124 swapFree=60688864/67111528
[pid=6619] ppid=6617 vsize=27084 CPUtime=0.29 cores=1,3,5,7
/proc/6619/stat : 6619 (scip-2.0.1.4.li) R 6617 6619 2978 0 -1 4202496 5793 0 0 0 29 0 0 0 25 0 1 0 820607121 27734016 5739 33554432000 4194304 9128323 140734606497312 18446744073709551615 8008925 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6619/statm: 6771 5739 400 1205 0 5562 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27084
[startup+0.700704 s]
/proc/loadavg: 1.99 2.00 2.00 2/458 6619
/proc/meminfo: memFree=25850748/32951124 swapFree=60688864/67111528
[pid=6619] ppid=6617 vsize=45640 CPUtime=0.69 cores=1,3,5,7
/proc/6619/stat : 6619 (scip-2.0.1.4.li) R 6617 6619 2978 0 -1 4202496 10419 0 0 0 68 1 0 0 25 0 1 0 820607121 46735360 10357 33554432000 4194304 9128323 140734606497312 18446744073709551615 6191598 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6619/statm: 11410 10357 400 1205 0 10201 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45640
[startup+1.50056 s]
/proc/loadavg: 1.99 2.00 2.00 2/457 6621
/proc/meminfo: memFree=26160260/32951124 swapFree=60688864/67111528
[pid=6619] ppid=6617 vsize=197772 CPUtime=1.49 cores=1,3,5,7
/proc/6619/stat : 6619 (scip-2.0.1.4.li) R 6617 6619 2978 0 -1 4202496 57031 0 0 0 143 6 0 0 25 0 1 0 820607121 202518528 47883 33554432000 4194304 9128323 140734606497312 18446744073709551615 18446744073699066094 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6619/statm: 49443 47883 514 1205 0 48234 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 197772
[startup+3.10028 s]
/proc/loadavg: 1.99 2.00 2.00 2/457 6621
/proc/meminfo: memFree=26120584/32951124 swapFree=60688864/67111528
[pid=6619] ppid=6617 vsize=189864 CPUtime=3.09 cores=1,3,5,7
/proc/6619/stat : 6619 (scip-2.0.1.4.li) R 6617 6619 2978 0 -1 4202496 62218 0 0 0 302 7 0 0 25 0 1 0 820607121 194420736 45859 33554432000 4194304 9128323 140734606497312 18446744073709551615 5489545 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6619/statm: 47466 45859 533 1205 0 46257 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 189864
[startup+6.30071 s]
/proc/loadavg: 2.07 2.02 2.00 3/459 6648
/proc/meminfo: memFree=25795396/32951124 swapFree=60688864/67111528
[pid=6619] ppid=6617 vsize=374240 CPUtime=6.29 cores=1,3,5,7
/proc/6619/stat : 6619 (scip-2.0.1.4.li) R 6617 6619 2978 0 -1 4202496 107669 0 0 0 616 13 0 0 25 0 1 0 820607121 383221760 87317 33554432000 4194304 9128323 140734606497312 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6619/statm: 93560 87317 1569 1205 0 92351 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 374240
[startup+12.7006 s]
/proc/loadavg: 2.06 2.02 2.00 3/459 6648
/proc/meminfo: memFree=25615684/32951124 swapFree=60688864/67111528
[pid=6619] ppid=6617 vsize=378744 CPUtime=12.69 cores=1,3,5,7
/proc/6619/stat : 6619 (scip-2.0.1.4.li) R 6617 6619 2978 0 -1 4202496 117260 0 0 0 1254 15 0 0 25 0 1 0 820607121 387833856 88078 33554432000 4194304 9128323 140734606497312 18446744073709551615 4692809 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6619/statm: 94686 88078 1039 1205 0 93477 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 378744
[startup+25.5003 s]
/proc/loadavg: 2.21 2.05 2.01 3/459 6648
/proc/meminfo: memFree=25592236/32951124 swapFree=60688864/67111528
[pid=6619] ppid=6617 vsize=380136 CPUtime=25.49 cores=1,3,5,7
/proc/6619/stat : 6619 (scip-2.0.1.4.li) R 6617 6619 2978 0 -1 4202496 120163 0 0 0 2532 17 0 0 25 0 1 0 820607121 389259264 90926 33554432000 4194304 9128323 140734606497312 18446744073709551615 6280372 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6619/statm: 95034 90926 987 1205 0 93825 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 380136
[startup+51.1007 s]
/proc/loadavg: 2.14 2.04 2.01 3/459 6649
/proc/meminfo: memFree=25584592/32951124 swapFree=60688864/67111528
[pid=6619] ppid=6617 vsize=383580 CPUtime=51.09 cores=1,3,5,7
/proc/6619/stat : 6619 (scip-2.0.1.4.li) R 6617 6619 2978 0 -1 4202496 121726 0 0 0 5092 17 0 0 25 0 1 0 820607121 392785920 92252 33554432000 4194304 9128323 140734606497312 18446744073709551615 6280384 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6619/statm: 95895 92252 1165 1205 0 94686 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 383580
[startup+102.318 s]
/proc/loadavg: 2.27 2.08 2.02 3/459 6650
/proc/meminfo: memFree=25558676/32951124 swapFree=60688864/67111528
[pid=6619] ppid=6617 vsize=387904 CPUtime=102.31 cores=1,3,5,7
/proc/6619/stat : 6619 (scip-2.0.1.4.li) R 6617 6619 2978 0 -1 4202496 123894 0 0 0 10205 26 0 0 25 0 1 0 820607121 397213696 93988 33554432000 4194304 9128323 140734606497312 18446744073709551615 7315568 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6619/statm: 96976 93988 738 1205 0 95767 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 387904
[startup+162.301 s]
/proc/loadavg: 2.17 2.08 2.02 3/459 6652
/proc/meminfo: memFree=25556320/32951124 swapFree=60688864/67111528
[pid=6619] ppid=6617 vsize=387904 CPUtime=162.29 cores=1,3,5,7
/proc/6619/stat : 6619 (scip-2.0.1.4.li) R 6617 6619 2978 0 -1 4202496 124247 0 0 0 16188 41 0 0 25 0 1 0 820607121 397213696 94340 33554432000 4194304 9128323 140734606497312 18446744073709551615 7312704 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6619/statm: 96976 94340 739 1205 0 95767 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 387904
[startup+222.3 s]
/proc/loadavg: 2.06 2.07 2.02 3/459 6653
/proc/meminfo: memFree=25464012/32951124 swapFree=60688864/67111528
[pid=6619] ppid=6617 vsize=385916 CPUtime=222.3 cores=1,3,5,7
/proc/6619/stat : 6619 (scip-2.0.1.4.li) R 6617 6619 2978 0 -1 4202496 144674 0 0 0 22147 83 0 0 25 0 1 0 820607121 395177984 94488 33554432000 4194304 9128323 140734606497312 18446744073709551615 7191120 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6619/statm: 96479 94488 754 1205 0 95270 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 385916
[startup+282.301 s]
/proc/loadavg: 2.02 2.05 2.01 3/459 6655
/proc/meminfo: memFree=25464216/32951124 swapFree=60688864/67111528
[pid=6619] ppid=6617 vsize=385916 CPUtime=282.3 cores=1,3,5,7
/proc/6619/stat : 6619 (scip-2.0.1.4.li) R 6617 6619 2978 0 -1 4202496 144674 0 0 0 28125 105 0 0 25 0 1 0 820607121 395177984 94488 33554432000 4194304 9128323 140734606497312 18446744073709551615 7380742 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6619/statm: 96479 94488 754 1205 0 95270 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 385916
[startup+342.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/459 6657
/proc/meminfo: memFree=25464052/32951124 swapFree=60688864/67111528
[pid=6619] ppid=6617 vsize=385916 CPUtime=342.3 cores=1,3,5,7
/proc/6619/stat : 6619 (scip-2.0.1.4.li) R 6617 6619 2978 0 -1 4202496 144674 0 0 0 34105 125 0 0 25 0 1 0 820607121 395177984 94488 33554432000 4194304 9128323 140734606497312 18446744073709551615 7162996 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6619/statm: 96479 94488 754 1205 0 95270 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 385916
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/459 6658
/proc/meminfo: memFree=25464516/32951124 swapFree=60688864/67111528
[pid=6619] ppid=6617 vsize=385916 CPUtime=402.3 cores=1,3,5,7
/proc/6619/stat : 6619 (scip-2.0.1.4.li) R 6617 6619 2978 0 -1 4202496 144674 0 0 0 40083 147 0 0 25 0 1 0 820607121 395177984 94488 33554432000 4194304 9128323 140734606497312 18446744073709551615 7191101 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6619/statm: 96479 94488 754 1205 0 95270 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 385916
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/459 6660
/proc/meminfo: memFree=25464856/32951124 swapFree=60688864/67111528
[pid=6619] ppid=6617 vsize=385916 CPUtime=462.3 cores=1,3,5,7
/proc/6619/stat : 6619 (scip-2.0.1.4.li) R 6617 6619 2978 0 -1 4202496 144674 0 0 0 46063 167 0 0 25 0 1 0 820607121 395177984 94488 33554432000 4194304 9128323 140734606497312 18446744073709551615 7192528 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6619/statm: 96479 94488 754 1205 0 95270 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 385916
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/459 6661
/proc/meminfo: memFree=25466056/32951124 swapFree=60688864/67111528
[pid=6619] ppid=6617 vsize=385916 CPUtime=522.3 cores=1,3,5,7
/proc/6619/stat : 6619 (scip-2.0.1.4.li) R 6617 6619 2978 0 -1 4202496 144674 0 0 0 52044 186 0 0 25 0 1 0 820607121 395177984 94488 33554432000 4194304 9128323 140734606497312 18446744073709551615 7097376 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6619/statm: 96479 94488 754 1205 0 95270 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 385916
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/459 6663
/proc/meminfo: memFree=25472828/32951124 swapFree=60688864/67111528
[pid=6619] ppid=6617 vsize=385916 CPUtime=582.3 cores=1,3,5,7
/proc/6619/stat : 6619 (scip-2.0.1.4.li) R 6617 6619 2978 0 -1 4202496 144674 0 0 0 58024 206 0 0 25 0 1 0 820607121 395177984 94488 33554432000 4194304 9128323 140734606497312 18446744073709551615 7342491 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6619/statm: 96479 94488 754 1205 0 95270 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 385916
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/459 6669
/proc/meminfo: memFree=25457108/32951124 swapFree=60688864/67111528
[pid=6619] ppid=6617 vsize=410984 CPUtime=822.31 cores=1,3,5,7
/proc/6619/stat : 6619 (scip-2.0.1.4.li) R 6617 6619 2978 0 -1 4202496 201565 0 0 0 81917 314 0 0 25 0 1 0 820607121 420847616 98612 33554432000 4194304 9128323 140734606497312 18446744073709551615 7315076 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6619/statm: 102746 98612 754 1205 0 101537 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 410984
[startup+882.301 s]
/proc/loadavg: 2.08 2.04 2.00 3/459 6671
/proc/meminfo: memFree=25451248/32951124 swapFree=60688864/67111528
[pid=6619] ppid=6617 vsize=417456 CPUtime=882.31 cores=1,3,5,7
/proc/6619/stat : 6619 (scip-2.0.1.4.li) R 6617 6619 2978 0 -1 4202496 202864 0 0 0 87900 331 0 0 25 0 1 0 820607121 427474944 99911 33554432000 4194304 9128323 140734606497312 18446744073709551615 7192546 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6619/statm: 104364 99911 754 1205 0 103155 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 417456
[startup+942.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/459 6673
/proc/meminfo: memFree=25446624/32951124 swapFree=60688864/67111528
[pid=6619] ppid=6617 vsize=421256 CPUtime=942.31 cores=1,3,5,7
/proc/6619/stat : 6619 (scip-2.0.1.4.li) R 6617 6619 2978 0 -1 4202496 204247 0 0 0 93883 348 0 0 25 0 1 0 820607121 431366144 101292 33554432000 4194304 9128323 140734606497312 18446744073709551615 7312726 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6619/statm: 105314 101292 754 1205 0 104105 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 421256
[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/459 6674
/proc/meminfo: memFree=25442016/32951124 swapFree=60688864/67111528
[pid=6619] ppid=6617 vsize=425560 CPUtime=1002.31 cores=1,3,5,7
/proc/6619/stat : 6619 (scip-2.0.1.4.li) R 6617 6619 2978 0 -1 4202496 205374 0 0 0 99866 365 0 0 25 0 1 0 820607121 435773440 102419 33554432000 4194304 9128323 140734606497312 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6619/statm: 106390 102419 754 1205 0 105181 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 425560
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/459 6676
/proc/meminfo: memFree=25436900/32951124 swapFree=60688864/67111528
[pid=6619] ppid=6617 vsize=433432 CPUtime=1062.31 cores=1,3,5,7
/proc/6619/stat : 6619 (scip-2.0.1.4.li) R 6617 6619 2978 0 -1 4202496 206764 0 0 0 105847 384 0 0 25 0 1 0 820607121 443834368 103807 33554432000 4194304 9128323 140734606497312 18446744073709551615 7315327 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6619/statm: 108358 103807 754 1205 0 107149 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 433432
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/459 6677
/proc/meminfo: memFree=25436880/32951124 swapFree=60688864/67111528
[pid=6619] ppid=6617 vsize=438988 CPUtime=1122.32 cores=1,3,5,7
/proc/6619/stat : 6619 (scip-2.0.1.4.li) R 6617 6619 2978 0 -1 4202496 216911 0 0 0 111831 401 0 0 25 0 1 0 820607121 449523712 103744 33554432000 4194304 9128323 140734606497312 18446744073709551615 7013802 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6619/statm: 109747 103744 787 1205 0 108538 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 438988
[startup+1182.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/459 6679
/proc/meminfo: memFree=25426444/32951124 swapFree=60688864/67111528
[pid=6619] ppid=6617 vsize=441860 CPUtime=1182.32 cores=1,3,5,7
/proc/6619/stat : 6619 (scip-2.0.1.4.li) R 6617 6619 2978 0 -1 4202496 219329 0 0 0 117813 419 0 0 25 0 1 0 820607121 452464640 106105 33554432000 4194304 9128323 140734606497312 18446744073709551615 7343074 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6619/statm: 110465 106105 754 1205 0 109256 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 441860
[startup+1242.3 s]
/proc/loadavg: 2.18 2.07 2.02 3/459 6681
/proc/meminfo: memFree=25423072/32951124 swapFree=60688864/67111528
[pid=6619] ppid=6617 vsize=441860 CPUtime=1242.32 cores=1,3,5,7
/proc/6619/stat : 6619 (scip-2.0.1.4.li) R 6617 6619 2978 0 -1 4202496 219958 0 0 0 123796 436 0 0 25 0 1 0 820607121 452464640 106734 33554432000 4194304 9128323 140734606497312 18446744073709551615 7052135 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6619/statm: 110465 106734 754 1205 0 109256 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 441860
[startup+1302.3 s]
/proc/loadavg: 2.11 2.07 2.02 3/459 6682
/proc/meminfo: memFree=25417344/32951124 swapFree=60688864/67111528
[pid=6619] ppid=6617 vsize=451344 CPUtime=1302.32 cores=1,3,5,7
/proc/6619/stat : 6619 (scip-2.0.1.4.li) R 6617 6619 2978 0 -1 4202496 221138 0 0 0 129779 453 0 0 25 0 1 0 820607121 462176256 107914 33554432000 4194304 9128323 140734606497312 18446744073709551615 7315441 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6619/statm: 112836 107914 755 1205 0 111627 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 451344
[startup+1362.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/459 6684
/proc/meminfo: memFree=25419308/32951124 swapFree=60688864/67111528
[pid=6619] ppid=6617 vsize=449504 CPUtime=1362.32 cores=1,3,5,7
/proc/6619/stat : 6619 (scip-2.0.1.4.li) R 6617 6619 2978 0 -1 4202496 227020 0 0 0 135762 470 0 0 25 0 1 0 820607121 460292096 107761 33554432000 4194304 9128323 140734606497312 18446744073709551615 7052158 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6619/statm: 112376 107761 754 1205 0 111167 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 449504
[startup+1422.32 s]
/proc/loadavg: 2.01 2.04 2.00 3/459 6685
/proc/meminfo: memFree=25414580/32951124 swapFree=60688864/67111528
[pid=6619] ppid=6617 vsize=451180 CPUtime=1422.34 cores=1,3,5,7
/proc/6619/stat : 6619 (scip-2.0.1.4.li) R 6617 6619 2978 0 -1 4202496 228386 0 0 0 141748 486 0 0 25 0 1 0 820607121 462008320 109092 33554432000 4194304 9128323 140734606497312 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6619/statm: 112795 109092 754 1205 0 111586 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 451180
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/459 6687
/proc/meminfo: memFree=25413188/32951124 swapFree=60688864/67111528
[pid=6619] ppid=6617 vsize=456972 CPUtime=1482.33 cores=1,3,5,7
/proc/6619/stat : 6619 (scip-2.0.1.4.li) R 6617 6619 2978 0 -1 4202496 260163 0 0 0 147707 526 0 0 25 0 1 0 820607121 467939328 109679 33554432000 4194304 9128323 140734606497312 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6619/statm: 114243 109679 855 1205 0 113034 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 456972
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/459 6689
/proc/meminfo: memFree=25408316/32951124 swapFree=60688864/67111528
[pid=6619] ppid=6617 vsize=458732 CPUtime=1542.33 cores=1,3,5,7
/proc/6619/stat : 6619 (scip-2.0.1.4.li) R 6617 6619 2978 0 -1 4202496 261412 0 0 0 153690 543 0 0 25 0 1 0 820607121 469741568 110797 33554432000 4194304 9128323 140734606497312 18446744073709551615 7192542 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6619/statm: 114683 110797 774 1205 0 113474 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 458732
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/459 6699
/proc/meminfo: memFree=25404148/32951124 swapFree=60688864/67111528
[pid=6619] ppid=6617 vsize=461684 CPUtime=1602.33 cores=1,3,5,7
/proc/6619/stat : 6619 (scip-2.0.1.4.li) R 6617 6619 2978 0 -1 4202496 262386 0 0 0 159671 562 0 0 25 0 1 0 820607121 472764416 111741 33554432000 4194304 9128323 140734606497312 18446744073709551615 7162938 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6619/statm: 115421 111741 766 1205 0 114212 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 461684
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/459 6701
/proc/meminfo: memFree=25393840/32951124 swapFree=60688864/67111528
[pid=6619] ppid=6617 vsize=472892 CPUtime=1662.34 cores=1,3,5,7
/proc/6619/stat : 6619 (scip-2.0.1.4.li) R 6617 6619 2978 0 -1 4202496 264505 0 0 0 165655 579 0 0 25 0 1 0 820607121 484241408 113845 33554432000 4194304 9128323 140734606497312 18446744073709551615 7192336 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6619/statm: 118223 113845 769 1205 0 117014 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 472892
[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/459 6702
/proc/meminfo: memFree=25394560/32951124 swapFree=60688864/67111528
[pid=6619] ppid=6617 vsize=475204 CPUtime=1722.33 cores=1,3,5,7
/proc/6619/stat : 6619 (scip-2.0.1.4.li) R 6617 6619 2978 0 -1 4202496 269759 0 0 0 171639 594 0 0 25 0 1 0 820607121 486608896 112848 33554432000 4194304 9128323 140734606497312 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6619/statm: 118801 112848 762 1205 0 117592 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 475204
[startup+1782.3 s]
/proc/loadavg: 2.17 2.05 2.01 3/459 6706
/proc/meminfo: memFree=25380768/32951124 swapFree=60688864/67111528
[pid=6619] ppid=6617 vsize=478408 CPUtime=1782.33 cores=1,3,5,7
/proc/6619/stat : 6619 (scip-2.0.1.4.li) R 6617 6619 2978 0 -1 4202496 271725 0 0 0 177621 612 0 0 25 0 1 0 820607121 489889792 114778 33554432000 4194304 9128323 140734606497312 18446744073709551615 7192538 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6619/statm: 119602 114778 762 1205 0 118393 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 478408
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.19 2.06 2.01 3/459 6708
/proc/meminfo: memFree=25378504/32951124 swapFree=60688864/67111528
[pid=6619] ppid=6617 vsize=479952 CPUtime=1800.04 cores=1,3,5,7
/proc/6619/stat : 6619 (scip-2.0.1.4.li) R 6617 6619 2978 0 -1 4202496 272634 0 0 0 179387 617 0 0 25 0 1 0 820607121 491470848 115687 33554432000 4194304 9128323 140734606497312 18446744073709551615 7025292 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6619/statm: 119988 115687 762 1205 0 118779 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 479952
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.04
CPU time (s): 1800.08
CPU user time (s): 1793.89
CPU system time (s): 6.19306
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 560608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.89
system time used= 6.19306
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272634
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= 4
involuntary context switches= 1737
runsolver used 7.44087 second user time and 20.2689 second system time
The end