0.00/0.00 c SCIP version 2.0.1.5 [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-3451031-1307087441.opb>
0.19/0.24 c original problem has 760 variables (760 bin, 0 int, 0 impl, 0 cont) and 41263 constraints
0.19/0.24 c problem read
0.19/0.24 c presolving settings loaded
0.19/0.29 o 0
0.19/0.29 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.19/0.29 c presolving:
0.38/0.45 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 41263 upgd conss, 82526 impls, 0 clqs
0.89/0.93 c (0.9s) probing: 101/760 (13.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.89/0.93 c (0.9s) probing aborted: 100/100 successive totally useless probings
0.89/0.93 c presolving (2 rounds):
0.89/0.93 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.89/0.93 c 82526 implications, 0 cliques
0.89/0.93 c presolved problem has 760 variables (760 bin, 0 int, 0 impl, 0 cont) and 41263 constraints
0.89/0.93 c 41263 constraints of type <setppc>
0.89/0.93 c transformed objective value is always integral (scale: 1)
0.89/0.93 c Presolving Time: 0.65
0.89/0.93 c - non default parameters ----------------------------------------------------------------------
0.89/0.93 c # SCIP version 2.0.1.5
0.89/0.93 c
0.89/0.93 c # frequency for displaying node information lines
0.89/0.93 c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.93 c display/freq = 10000
0.89/0.93 c
0.89/0.93 c # maximal time in seconds to run
0.89/0.93 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.93 c limits/time = 1800
0.89/0.93 c
0.89/0.93 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.93 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.93 c limits/memory = 13950
0.89/0.93 c
0.89/0.93 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.89/0.93 c # [type: int, range: [1,2], default: 1]
0.89/0.93 c timing/clocktype = 2
0.89/0.93 c
0.89/0.93 c # belongs reading time to solving time?
0.89/0.93 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.93 c timing/reading = TRUE
0.89/0.93 c
0.89/0.93 c # should presolving try to simplify inequalities
0.89/0.93 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.93 c constraints/linear/simplifyinequalities = TRUE
0.89/0.93 c
0.89/0.93 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.89/0.93 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.93 c constraints/indicator/addCouplingCons = TRUE
0.89/0.93 c
0.89/0.93 c # should presolving try to simplify knapsacks
0.89/0.93 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.93 c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.93 c
0.89/0.93 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.89/0.93 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.93 c separating/rapidlearning/freq = 0
0.89/0.93 c
0.89/0.93 c -----------------------------------------------------------------------------------------------
0.89/0.93 c start solving
0.89/0.93 c
1.39/1.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.39/1.45 c t 1.5s| 1 | 0 | 762 | - | 51M| 0 | 760 | 760 | 41k| 760 | 41k| 0 | 0 | 0 |-3.800000e+02 | 0.000000e+00 | 100.00%
1.39/1.48 o -1
1.39/1.48 c R 1.5s| 1 | 0 | 762 | - | 51M| 0 | 760 | 760 | 41k| 760 | 41k| 0 | 0 | 0 |-3.800000e+02 |-1.000000e+00 | 99.74%
2.09/2.15 c 2.2s| 1 | 0 | 961 | - | 51M| 0 | 709 | 760 | 41k| 760 | 41k| 6 | 0 | 0 |-3.545000e+02 |-1.000000e+00 | 99.72%
2.09/2.16 o -28
2.09/2.16 c b 2.2s| 1 | 0 | 961 | - | 51M| 0 | 709 | 760 | 41k| 760 | 41k| 6 | 0 | 0 |-3.545000e+02 |-2.800000e+01 | 92.10%
2.89/2.98 c 3.0s| 1 | 0 | 1185 | - | 51M| 0 | 647 | 760 | 41k| 760 | 41k| 54 | 0 | 0 |-3.235000e+02 |-2.800000e+01 | 91.34%
4.09/4.16 c 4.2s| 1 | 0 | 1378 | - | 51M| 0 | 589 | 760 | 41k| 760 | 41k| 88 | 0 | 0 |-2.945000e+02 |-2.800000e+01 | 90.49%
5.39/5.44 c 5.4s| 1 | 0 | 1571 | - | 51M| 0 | 534 | 760 | 41k| 760 | 41k| 114 | 0 | 0 |-2.662500e+02 |-2.800000e+01 | 89.48%
6.60/6.70 c 6.7s| 1 | 0 | 1763 | - | 51M| 0 | 503 | 760 | 41k| 760 | 41k| 128 | 0 | 0 |-2.507500e+02 |-2.800000e+01 | 88.83%
7.89/7.93 c 7.9s| 1 | 0 | 1905 | - | 51M| 0 | 467 | 760 | 41k| 760 | 41k| 138 | 0 | 0 |-2.320000e+02 |-2.800000e+01 | 87.93%
9.19/9.26 c 9.3s| 1 | 0 | 2308 | - | 51M| 0 | 423 | 760 | 41k| 760 | 41k| 149 | 0 | 0 |-2.100000e+02 |-2.800000e+01 | 86.67%
10.39/10.45 c 10.4s| 1 | 0 | 2532 | - | 51M| 0 | 390 | 760 | 41k| 760 | 41k| 164 | 0 | 0 |-1.935000e+02 |-2.800000e+01 | 85.53%
11.59/11.65 c 11.6s| 1 | 0 | 2919 | - | 51M| 0 | 328 | 760 | 41k| 760 | 41k| 179 | 0 | 0 |-1.640000e+02 |-2.800000e+01 | 82.93%
12.79/12.81 c 12.8s| 1 | 0 | 3494 | - | 51M| 0 | 298 | 760 | 41k| 760 | 41k| 191 | 0 | 0 |-1.490000e+02 |-2.800000e+01 | 81.21%
13.21/13.27 c 13.3s| 1 | 0 | 3747 | - | 51M| 0 | 282 | 760 | 41k| 760 | 41k| 202 | 0 | 0 |-1.400000e+02 |-2.800000e+01 | 80.00%
13.69/13.77 c 13.8s| 1 | 0 | 4165 | - | 51M| 0 | 247 | 760 | 41k| 760 | 41k| 217 | 0 | 0 |-1.220000e+02 |-2.800000e+01 | 77.05%
14.09/14.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.09/14.18 c 14.2s| 1 | 0 | 4367 | - | 51M| 0 | 217 | 760 | 41k| 760 | 41k| 227 | 0 | 0 |-1.082500e+02 |-2.800000e+01 | 74.13%
14.59/14.63 c 14.6s| 1 | 0 | 4721 | - | 51M| 0 | 193 | 760 | 41k| 760 | 41k| 241 | 0 | 0 |-8.985000e+01 |-2.800000e+01 | 68.84%
15.09/15.14 c 15.1s| 1 | 0 | 5270 | - | 51M| 0 | 156 | 760 | 41k| 760 | 41k| 254 | 0 | 0 |-7.725000e+01 |-2.800000e+01 | 63.75%
15.50/15.53 c 15.5s| 1 | 0 | 5465 | - | 51M| 0 | 139 | 760 | 41k| 760 | 41k| 263 | 0 | 0 |-6.975000e+01 |-2.800000e+01 | 59.86%
15.79/15.89 c 15.9s| 1 | 0 | 5603 | - | 51M| 0 | 127 | 760 | 41k| 760 | 41k| 271 | 0 | 0 |-6.325000e+01 |-2.800000e+01 | 55.73%
16.19/16.28 c 16.3s| 1 | 0 | 5811 | - | 51M| 0 | 141 | 760 | 41k| 760 | 41k| 278 | 0 | 0 |-5.675000e+01 |-2.800000e+01 | 50.66%
16.60/16.63 c 16.6s| 1 | 0 | 5939 | - | 51M| 0 | 107 | 760 | 41k| 760 | 41k| 286 | 0 | 0 |-4.550000e+01 |-2.800000e+01 | 38.46%
16.89/16.95 c 16.9s| 1 | 0 | 6002 | - | 52M| 0 | 111 | 760 | 41k| 760 | 41k| 296 | 0 | 0 |-4.050000e+01 |-2.800000e+01 | 30.86%
17.19/17.21 c 17.2s| 1 | 0 | 6143 | - | 52M| 0 | 98 | 760 | 41k| 760 | 41k| 309 | 0 | 0 |-4.000000e+01 |-2.800000e+01 | 30.00%
17.39/17.42 c 17.4s| 1 | 0 | 6217 | - | 52M| 0 | 116 | 760 | 41k| 760 | 41k| 325 | 0 | 0 |-4.000000e+01 |-2.800000e+01 | 30.00%
17.60/17.67 c 17.7s| 1 | 0 | 6316 | - | 52M| 0 | 130 | 760 | 41k| 760 | 41k| 340 | 0 | 0 |-4.000000e+01 |-2.800000e+01 | 30.00%
18.20/18.22 c 18.2s| 1 | 0 | 6510 | - | 52M| 0 | 129 | 760 | 41k| 760 | 41k| 352 | 0 | 0 |-4.000000e+01 |-2.800000e+01 | 30.00%
22.11/22.13 c 22.1s| 1 | 0 | 6684 | - | 52M| 0 | 147 | 760 | 41k| 760 | 41k| 365 | 0 | 0 |-4.000000e+01 |-2.800000e+01 | 30.00%
26.59/26.63 c 26.6s| 1 | 0 | 6758 | - | 52M| 0 | 144 | 760 | 41k| 760 | 41k| 371 | 0 | 0 |-4.000000e+01 |-2.800000e+01 | 30.00%
43.59/43.69 c 43.7s| 1 | 2 | 6758 | - | 52M| 0 | 144 | 760 | 41k| 760 | 41k| 371 | 0 | 41 |-4.000000e+01 |-2.800000e+01 | 30.00%
76.39/76.49 o -31
76.39/76.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
76.39/76.49 c c76.5s| 28 | 21 | 9881 | 115.7 | 53M| 15 | - | 760 | 41k| 760 | 41k| 371 | 0 | 584 |-4.000000e+01 |-3.100000e+01 | 22.50%
90.49/90.56 o -32
90.49/90.56 c *90.6s| 42 | 26 | 10576 | 93.1 | 54M| 17 | - | 760 | 41k| 760 | 41k| 371 | 0 | 876 |-4.000000e+01 |-3.200000e+01 | 20.00%
114.51/114.54 o -33
114.51/114.54 c p 115s| 68 | 38 | 12791 | 90.0 | 54M| 18 | - | 760 | 41k| 760 | 41k| 371 | 0 |1231 |-4.000000e+01 |-3.300000e+01 | 17.50%
140.99/141.07 o -34
140.99/141.07 c f 141s| 299 | 189 | 25169 | 61.8 | 58M| 29 | - | 760 | 41k| 760 | 41k| 371 | 0 |1459 |-4.000000e+01 |-3.400000e+01 | 15.00%
141.49/141.59 o -35
141.49/141.59 c * 142s| 310 | 159 | 25664 | 61.2 | 57M| 29 | - | 760 | 41k| 760 | 41k| 371 | 0 |1463 |-4.000000e+01 |-3.500000e+01 | 12.50%
141.59/141.60 o -36
141.59/141.60 c b 142s| 310 | 127 | 25664 | 61.2 | 57M| 29 | - | 760 | 41k| 760 | 41k| 371 | 0 |1463 |-4.000000e+01 |-3.600000e+01 | 10.00%
435.29/435.34 o -37
435.29/435.34 c l 435s| 5851 | 1804 |329101 | 55.1 | 97M| 59 | - | 760 | 41k| 760 | 41k| 371 | 0 |2551 |-4.000000e+01 |-3.700000e+01 | 7.50%
621.89/621.99 c 622s| 10000 | 3177 |529198 | 52.2 | 126M| 59 | 112 | 760 | 41k| 760 | 41k| 371 | 0 |3130 |-4.000000e+01 |-3.700000e+01 | 7.50%
991.01/991.08 c 991s| 20000 | 6389 |932310 | 46.3 | 190M| 97 | - | 760 | 41k| 760 | 41k| 371 | 0 |4255 |-4.000000e+01 |-3.700000e+01 | 7.50%
1267.33/1267.35 c 1267s| 30000 | 8123 | 1229k| 40.8 | 227M| 98 | - | 760 | 41k| 760 | 41k| 371 | 0 |5128 |-4.000000e+01 |-3.700000e+01 | 7.50%
1533.44/1533.47 c 1533s| 40000 | 9777 | 1541k| 38.4 | 263M| 98 | 170 | 760 | 41k| 760 | 41k| 371 | 0 |5629 |-4.000000e+01 |-3.700000e+01 | 7.50%
1772.44/1772.41 o -38
1772.44/1772.41 c *1772s| 49010 | 4780 | 1815k| 36.9 | 178M| 98 | - | 760 | 41k| 760 | 41k| 371 | 0 |6175 |-4.000000e+01 |-3.800000e+01 | 5.00%
1796.45/1796.44 c 1796s| 50000 | 4794 | 1842k| 36.7 | 179M| 98 | - | 760 | 41k| 760 | 41k| 371 | 0 |6206 |-4.000000e+01 |-3.800000e+01 | 5.00%
1800.03/1800.01 c
1800.03/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.01 c Solving Time (sec) : 1800.01
1800.03/1800.01 c Solving Nodes : 50155
1800.03/1800.01 c Primal Bound : -3.80000000000000e+01 (529 solutions)
1800.03/1800.01 c Dual Bound : -4.00000000000000e+01
1800.03/1800.01 c Gap : 5.00 %
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-3451031-1307087441/watcher-3451031-1307087441 -o /tmp/evaluation-result-3451031-1307087441/solver-3451031-1307087441 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451031-1307087441.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.01 2.04 2.00 2/436 18139
/proc/meminfo: memFree=20730904/32951124 swapFree=60787360/67111528
[pid=18139] ppid=18137 vsize=14324 CPUtime=0.01 cores=1,3,5,7
/proc/18139/stat : 18139 (scip-2.0.1.4b.l) R 18137 18139 11639 0 -1 4202496 2493 0 0 0 1 0 0 0 23 0 1 0 820341934 14667776 2447 33554432000 4194304 9163163 140734402219936 18446744073709551615 8015061 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18139/statm: 3581 2464 395 1214 0 2363 0
[startup+0.117275 s]
/proc/loadavg: 2.01 2.04 2.00 2/436 18139
/proc/meminfo: memFree=20730904/32951124 swapFree=60787360/67111528
[pid=18139] ppid=18137 vsize=21424 CPUtime=0.11 cores=1,3,5,7
/proc/18139/stat : 18139 (scip-2.0.1.4b.l) R 18137 18139 11639 0 -1 4202496 4356 0 0 0 11 0 0 0 24 0 1 0 820341934 21938176 4307 33554432000 4194304 9163163 140734402219936 18446744073709551615 8150474 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18139/statm: 5356 4307 395 1214 0 4138 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 21424
[startup+0.20026 s]
/proc/loadavg: 2.01 2.04 2.00 2/436 18139
/proc/meminfo: memFree=20730904/32951124 swapFree=60787360/67111528
[pid=18139] ppid=18137 vsize=26392 CPUtime=0.19 cores=1,3,5,7
/proc/18139/stat : 18139 (scip-2.0.1.4b.l) R 18137 18139 11639 0 -1 4202496 5595 0 0 0 19 0 0 0 24 0 1 0 820341934 27025408 5546 33554432000 4194304 9163163 140734402219936 18446744073709551615 7937286 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18139/statm: 6598 5546 395 1214 0 5380 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26392
[startup+0.300242 s]
/proc/loadavg: 2.01 2.04 2.00 2/436 18139
/proc/meminfo: memFree=20730904/32951124 swapFree=60787360/67111528
[pid=18139] ppid=18137 vsize=58396 CPUtime=0.29 cores=1,3,5,7
/proc/18139/stat : 18139 (scip-2.0.1.4b.l) R 18137 18139 11639 0 -1 4202496 13334 0 0 0 28 1 0 0 24 0 1 0 820341934 59797504 13252 33554432000 4194304 9163163 140734402219936 18446744073709551615 18446744073699065974 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18139/statm: 14599 13252 502 1214 0 13381 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 58396
[startup+0.701182 s]
/proc/loadavg: 2.01 2.04 2.00 2/436 18139
/proc/meminfo: memFree=20730904/32951124 swapFree=60787360/67111528
[pid=18139] ppid=18137 vsize=79436 CPUtime=0.69 cores=1,3,5,7
/proc/18139/stat : 18139 (scip-2.0.1.4b.l) R 18137 18139 11639 0 -1 4202496 21895 0 0 0 67 2 0 0 25 0 1 0 820341934 81342464 18494 33554432000 4194304 9163163 140734402219936 18446744073709551615 4207314 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18139/statm: 19859 18494 530 1214 0 18641 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 79436
[startup+1.50103 s]
/proc/loadavg: 2.01 2.04 2.00 3/437 18141
/proc/meminfo: memFree=20616692/32951124 swapFree=60787360/67111528
[pid=18139] ppid=18137 vsize=138476 CPUtime=1.49 cores=1,3,5,7
/proc/18139/stat : 18139 (scip-2.0.1.4b.l) R 18137 18139 11639 0 -1 4202496 35687 0 0 0 145 4 0 0 25 0 1 0 820341934 141799424 31232 33554432000 4194304 9163163 140734402219936 18446744073709551615 5843416 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18139/statm: 34619 31232 840 1214 0 33401 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 138476
[startup+3.10073 s]
/proc/loadavg: 2.09 2.05 2.01 3/437 18141
/proc/meminfo: memFree=20601440/32951124 swapFree=60787360/67111528
[pid=18139] ppid=18137 vsize=139220 CPUtime=3.09 cores=1,3,5,7
/proc/18139/stat : 18139 (scip-2.0.1.4b.l) R 18137 18139 11639 0 -1 4202496 37567 0 0 0 304 5 0 0 25 0 1 0 820341934 142561280 32904 33554432000 4194304 9163163 140734402219936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18139/statm: 34805 32904 880 1214 0 33587 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 139220
[startup+6.30014 s]
/proc/loadavg: 2.09 2.05 2.01 3/437 18141
/proc/meminfo: memFree=20598556/32951124 swapFree=60787360/67111528
[pid=18139] ppid=18137 vsize=140180 CPUtime=6.29 cores=1,3,5,7
/proc/18139/stat : 18139 (scip-2.0.1.4b.l) R 18137 18139 11639 0 -1 4202496 37974 0 0 0 624 5 0 0 25 0 1 0 820341934 143544320 33279 33554432000 4194304 9163163 140734402219936 18446744073709551615 6284261 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18139/statm: 35045 33279 850 1214 0 33827 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 140180
[startup+12.701 s]
/proc/loadavg: 2.08 2.05 2.01 4/437 18141
/proc/meminfo: memFree=20596940/32951124 swapFree=60787360/67111528
[pid=18139] ppid=18137 vsize=140632 CPUtime=12.7 cores=1,3,5,7
/proc/18139/stat : 18139 (scip-2.0.1.4b.l) R 18137 18139 11639 0 -1 4202496 38290 0 0 0 1262 8 0 0 25 0 1 0 820341934 144007168 33489 33554432000 4194304 9163163 140734402219936 18446744073709551615 7348322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18139/statm: 35158 33489 745 1214 0 33940 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 140632
[startup+25.5006 s]
/proc/loadavg: 2.07 2.05 2.00 3/437 18141
/proc/meminfo: memFree=20591316/32951124 swapFree=60787360/67111528
[pid=18139] ppid=18137 vsize=140856 CPUtime=25.49 cores=1,3,5,7
/proc/18139/stat : 18139 (scip-2.0.1.4b.l) R 18137 18139 11639 0 -1 4202496 38586 0 0 0 2534 15 0 0 25 0 1 0 820341934 144236544 33742 33554432000 4194304 9163163 140734402219936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18139/statm: 35214 33742 702 1214 0 33996 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 140856
[startup+51.1008 s]
/proc/loadavg: 2.04 2.05 2.00 3/437 18142
/proc/meminfo: memFree=20588808/32951124 swapFree=60787360/67111528
[pid=18139] ppid=18137 vsize=144480 CPUtime=51.1 cores=1,3,5,7
/proc/18139/stat : 18139 (scip-2.0.1.4b.l) R 18137 18139 11639 0 -1 4202496 50992 0 0 0 5069 41 0 0 25 0 1 0 820341934 147947520 34488 33554432000 4194304 9163163 140734402219936 18446744073709551615 7225490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18139/statm: 36120 34488 708 1214 0 34902 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 144480
[startup+102.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/437 18143
/proc/meminfo: memFree=20588028/32951124 swapFree=60787360/67111528
[pid=18139] ppid=18137 vsize=144480 CPUtime=102.31 cores=1,3,5,7
/proc/18139/stat : 18139 (scip-2.0.1.4b.l) R 18137 18139 11639 0 -1 4202496 51023 0 0 0 10154 77 0 0 25 0 1 0 820341934 147947520 34519 33554432000 4194304 9163163 140734402219936 18446744073709551615 7399160 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18139/statm: 36120 34519 709 1214 0 34902 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 144480
[startup+162.3 s]
/proc/loadavg: 2.20 2.09 2.02 3/437 18145
/proc/meminfo: memFree=20587340/32951124 swapFree=60787360/67111528
[pid=18139] ppid=18137 vsize=148548 CPUtime=162.29 cores=1,3,5,7
/proc/18139/stat : 18139 (scip-2.0.1.4b.l) R 18137 18139 11639 0 -1 4202496 64567 0 0 0 16112 117 0 0 25 0 1 0 820341934 152113152 35555 33554432000 4194304 9163163 140734402219936 18446744073709551615 5822087 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18139/statm: 37137 35555 710 1214 0 35919 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 148548
[startup+222.317 s]
/proc/loadavg: 2.10 2.08 2.02 3/437 18146
/proc/meminfo: memFree=20569708/32951124 swapFree=60787360/67111528
[pid=18139] ppid=18137 vsize=163596 CPUtime=222.31 cores=1,3,5,7
/proc/18139/stat : 18139 (scip-2.0.1.4b.l) R 18137 18139 11639 0 -1 4202496 103309 0 0 0 22069 162 0 0 25 0 1 0 820341934 167522304 39174 33554432000 4194304 9163163 140734402219936 18446744073709551615 7224016 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18139/statm: 40899 39174 714 1214 0 39681 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 163596
[startup+282.301 s]
/proc/loadavg: 2.04 2.06 2.01 3/437 18148
/proc/meminfo: memFree=20546992/32951124 swapFree=60787360/67111528
[pid=18139] ppid=18137 vsize=174612 CPUtime=282.28 cores=1,3,5,7
/proc/18139/stat : 18139 (scip-2.0.1.4b.l) R 18137 18139 11639 0 -1 4202496 106114 0 0 0 28029 199 0 0 25 0 1 0 820341934 178802688 41979 33554432000 4194304 9163163 140734402219936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18139/statm: 43653 41979 714 1214 0 42435 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 174612
[startup+342.301 s]
/proc/loadavg: 2.01 2.05 2.00 3/437 18150
/proc/meminfo: memFree=20524036/32951124 swapFree=60787360/67111528
[pid=18139] ppid=18137 vsize=185272 CPUtime=342.29 cores=1,3,5,7
/proc/18139/stat : 18139 (scip-2.0.1.4b.l) R 18137 18139 11639 0 -1 4202496 121259 0 0 0 33991 238 0 0 25 0 1 0 820341934 189718528 44648 33554432000 4194304 9163163 140734402219936 18446744073709551615 6966399 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18139/statm: 46318 44648 717 1214 0 45100 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 185272
[startup+402.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/437 18151
/proc/meminfo: memFree=20504296/32951124 swapFree=60787360/67111528
[pid=18139] ppid=18137 vsize=199088 CPUtime=402.29 cores=1,3,5,7
/proc/18139/stat : 18139 (scip-2.0.1.4b.l) R 18137 18139 11639 0 -1 4202496 124444 0 0 0 39952 277 0 0 25 0 1 0 820341934 203866112 47819 33554432000 4194304 9163163 140734402219936 18446744073709551615 7348559 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18139/statm: 49772 47819 714 1214 0 48554 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 199088
[startup+462.301 s]
/proc/loadavg: 2.08 2.04 2.01 3/437 18153
/proc/meminfo: memFree=20483320/32951124 swapFree=60787360/67111528
[pid=18139] ppid=18137 vsize=243040 CPUtime=462.29 cores=1,3,5,7
/proc/18139/stat : 18139 (scip-2.0.1.4b.l) R 18137 18139 11639 0 -1 4202496 147964 0 0 0 45910 319 0 0 25 0 1 0 820341934 248872960 59219 33554432000 4194304 9163163 140734402219936 18446744073709551615 6919008 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18139/statm: 60760 59256 726 1214 0 59542 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 243040
[startup+522.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/437 18154
/proc/meminfo: memFree=20469144/32951124 swapFree=60787360/67111528
[pid=18139] ppid=18137 vsize=209628 CPUtime=522.3 cores=1,3,5,7
/proc/18139/stat : 18139 (scip-2.0.1.4b.l) R 18137 18139 11639 0 -1 4202496 162747 0 0 0 51873 357 0 0 25 0 1 0 820341934 214659072 51176 33554432000 4194304 9163163 140734402219936 18446744073709551615 7348043 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18139/statm: 52407 51176 725 1214 0 51189 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 209628
[startup+582.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/437 18156
/proc/meminfo: memFree=20452860/32951124 swapFree=60787360/67111528
[pid=18139] ppid=18137 vsize=212820 CPUtime=582.3 cores=1,3,5,7
/proc/18139/stat : 18139 (scip-2.0.1.4b.l) R 18137 18139 11639 0 -1 4202496 174158 0 0 0 57833 397 0 0 25 0 1 0 820341934 217927680 51908 33554432000 4194304 9163163 140734402219936 18446744073709551615 7224050 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18139/statm: 53205 51908 714 1214 0 51987 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 212820
[startup+642.3 s]
################
# More data... #
################
[startup+882.317 s]
/proc/loadavg: 2.02 2.07 2.02 3/437 18176
/proc/meminfo: memFree=20357844/32951124 swapFree=60787360/67111528
[pid=18139] ppid=18137 vsize=265600 CPUtime=882.32 cores=1,3,5,7
/proc/18139/stat : 18139 (scip-2.0.1.4b.l) R 18137 18139 11639 0 -1 4202496 199129 0 0 0 87638 594 0 0 25 0 1 0 820341934 271974400 64311 33554432000 4194304 9163163 140734402219936 18446744073709551615 7379383 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18139/statm: 66400 64311 714 1214 0 65182 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 265600
[startup+942.301 s]
/proc/loadavg: 2.00 2.05 2.01 3/437 18178
/proc/meminfo: memFree=20345412/32951124 swapFree=60787360/67111528
[pid=18139] ppid=18137 vsize=273468 CPUtime=942.3 cores=1,3,5,7
/proc/18139/stat : 18139 (scip-2.0.1.4b.l) R 18137 18139 11639 0 -1 4202496 201265 0 0 0 93599 631 0 0 25 0 1 0 820341934 280031232 66447 33554432000 4194304 9163163 140734402219936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18139/statm: 68367 66447 714 1214 0 67149 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 273468
[startup+1002.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/437 18179
/proc/meminfo: memFree=20331124/32951124 swapFree=60787360/67111528
[pid=18139] ppid=18137 vsize=285764 CPUtime=1002.3 cores=1,3,5,7
/proc/18139/stat : 18139 (scip-2.0.1.4b.l) R 18137 18139 11639 0 -1 4202496 217088 0 0 0 99560 670 0 0 25 0 1 0 820341934 292622336 69676 33554432000 4194304 9163163 140734402219936 18446744073709551615 7375725 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18139/statm: 71441 69676 714 1214 0 70223 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 285764
[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/437 18181
/proc/meminfo: memFree=20317336/32951124 swapFree=60787360/67111528
[pid=18139] ppid=18137 vsize=292952 CPUtime=1062.31 cores=1,3,5,7
/proc/18139/stat : 18139 (scip-2.0.1.4b.l) R 18137 18139 11639 0 -1 4202496 219027 0 0 0 105523 708 0 0 25 0 1 0 820341934 299982848 71615 33554432000 4194304 9163163 140734402219936 18446744073709551615 7376014 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18139/statm: 73238 71615 714 1214 0 72020 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 292952
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/437 18182
/proc/meminfo: memFree=20302672/32951124 swapFree=60787360/67111528
[pid=18139] ppid=18137 vsize=300300 CPUtime=1122.31 cores=1,3,5,7
/proc/18139/stat : 18139 (scip-2.0.1.4b.l) R 18137 18139 11639 0 -1 4202496 220637 0 0 0 111485 746 0 0 25 0 1 0 820341934 307507200 73225 33554432000 4194304 9163163 140734402219936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18139/statm: 75075 73225 714 1214 0 73857 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 300300
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/437 18184
/proc/meminfo: memFree=20284056/32951124 swapFree=60787360/67111528
[pid=18139] ppid=18137 vsize=307168 CPUtime=1182.31 cores=1,3,5,7
/proc/18139/stat : 18139 (scip-2.0.1.4b.l) R 18137 18139 11639 0 -1 4202496 222317 0 0 0 117448 783 0 0 25 0 1 0 820341934 314540032 74905 33554432000 4194304 9163163 140734402219936 18446744073709551615 6687906 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18139/statm: 76792 74905 714 1214 0 75574 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 307168
[startup+1242.3 s]
/proc/loadavg: 2.17 2.07 2.02 3/437 18186
/proc/meminfo: memFree=20264444/32951124 swapFree=60787360/67111528
[pid=18139] ppid=18137 vsize=319436 CPUtime=1242.32 cores=1,3,5,7
/proc/18139/stat : 18139 (scip-2.0.1.4b.l) R 18137 18139 11639 0 -1 4202496 225102 0 0 0 123409 823 0 0 25 0 1 0 820341934 327102464 77679 33554432000 4194304 9163163 140734402219936 18446744073709551615 7396434 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18139/statm: 79859 77679 717 1214 0 78641 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 319436
[startup+1302.3 s]
/proc/loadavg: 2.11 2.07 2.02 3/437 18187
/proc/meminfo: memFree=20248540/32951124 swapFree=60787360/67111528
[pid=18139] ppid=18137 vsize=324580 CPUtime=1302.32 cores=1,3,5,7
/proc/18139/stat : 18139 (scip-2.0.1.4b.l) R 18137 18139 11639 0 -1 4202496 226992 0 0 0 129371 861 0 0 25 0 1 0 820341934 332369920 79567 33554432000 4194304 9163163 140734402219936 18446744073709551615 6889539 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18139/statm: 81145 79567 715 1214 0 79927 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 324580
[startup+1362.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/437 18189
/proc/meminfo: memFree=20229792/32951124 swapFree=60787360/67111528
[pid=18139] ppid=18137 vsize=331476 CPUtime=1362.32 cores=1,3,5,7
/proc/18139/stat : 18139 (scip-2.0.1.4b.l) R 18137 18139 11639 0 -1 4202496 240929 0 0 0 135333 899 0 0 25 0 1 0 820341934 339431424 81257 33554432000 4194304 9163163 140734402219936 18446744073709551615 7058388 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18139/statm: 82869 81257 715 1214 0 81651 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 331476
[startup+1422.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/437 18190
/proc/meminfo: memFree=20205336/32951124 swapFree=60787360/67111528
[pid=18139] ppid=18137 vsize=342512 CPUtime=1422.33 cores=1,3,5,7
/proc/18139/stat : 18139 (scip-2.0.1.4b.l) R 18137 18139 11639 0 -1 4202496 243543 0 0 0 141292 941 0 0 25 0 1 0 820341934 350732288 83870 33554432000 4194304 9163163 140734402219936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18139/statm: 85628 83870 714 1214 0 84410 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 342512
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/437 18192
/proc/meminfo: memFree=20188180/32951124 swapFree=60787360/67111528
[pid=18139] ppid=18137 vsize=351136 CPUtime=1482.32 cores=1,3,5,7
/proc/18139/stat : 18139 (scip-2.0.1.4b.l) R 18137 18139 11639 0 -1 4202496 245721 0 0 0 147252 980 0 0 25 0 1 0 820341934 359563264 86048 33554432000 4194304 9163163 140734402219936 18446744073709551615 7130304 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18139/statm: 87784 86048 714 1214 0 86566 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 351136
[startup+1542.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/437 18194
/proc/meminfo: memFree=20163232/32951124 swapFree=60787360/67111528
[pid=18139] ppid=18137 vsize=363792 CPUtime=1542.34 cores=1,3,5,7
/proc/18139/stat : 18139 (scip-2.0.1.4b.l) R 18137 18139 11639 0 -1 4202496 248982 0 0 0 153212 1022 0 0 25 0 1 0 820341934 372523008 89268 33554432000 4194304 9163163 140734402219936 18446744073709551615 7224031 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18139/statm: 90948 89268 714 1214 0 89730 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 363792
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/437 18195
/proc/meminfo: memFree=20153152/32951124 swapFree=60787360/67111528
[pid=18139] ppid=18137 vsize=372208 CPUtime=1602.33 cores=1,3,5,7
/proc/18139/stat : 18139 (scip-2.0.1.4b.l) R 18137 18139 11639 0 -1 4202496 250992 0 0 0 159171 1062 0 0 25 0 1 0 820341934 381140992 91278 33554432000 4194304 9163163 140734402219936 18446744073709551615 7300284 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18139/statm: 93052 91278 714 1214 0 91834 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 372208
[startup+1662.3 s]
/proc/loadavg: 1.85 1.98 1.99 2/431 18215
/proc/meminfo: memFree=20553824/32951124 swapFree=60787360/67111528
[pid=18139] ppid=18137 vsize=383360 CPUtime=1662.33 cores=1,3,5,7
/proc/18139/stat : 18139 (scip-2.0.1.4b.l) R 18137 18139 11639 0 -1 4202496 253917 0 0 0 165132 1101 0 0 25 0 1 0 820341934 392560640 94203 33554432000 4194304 9163163 140734402219936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18139/statm: 95840 94203 714 1214 0 94622 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 383360
[startup+1722.3 s]
/proc/loadavg: 1.34 1.81 1.93 2/431 18216
/proc/meminfo: memFree=20545408/32951124 swapFree=60787360/67111528
[pid=18139] ppid=18137 vsize=392152 CPUtime=1722.33 cores=1,3,5,7
/proc/18139/stat : 18139 (scip-2.0.1.4b.l) R 18137 18139 11639 0 -1 4202496 255927 0 0 0 171087 1146 0 0 25 0 1 0 820341934 401563648 96213 33554432000 4194304 9163163 140734402219936 18446744073709551615 6890262 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18139/statm: 98038 96213 714 1214 0 96820 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 392152
[startup+1782.3 s]
/proc/loadavg: 1.24 1.68 1.88 2/431 18218
/proc/meminfo: memFree=20535700/32951124 swapFree=60787360/67111528
[pid=18139] ppid=18137 vsize=397440 CPUtime=1782.33 cores=1,3,5,7
/proc/18139/stat : 18139 (scip-2.0.1.4b.l) R 18137 18139 11639 0 -1 4202496 268312 0 0 0 177042 1191 0 0 25 0 1 0 820341934 406978560 98210 33554432000 4194304 9163163 140734402219936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18139/statm: 99360 98210 714 1214 0 98142 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 397440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.18 1.65 1.86 2/431 18218
/proc/meminfo: memFree=20539540/32951124 swapFree=60787360/67111528
[pid=18139] ppid=18137 vsize=397968 CPUtime=1800.04 cores=1,3,5,7
/proc/18139/stat : 18139 (scip-2.0.1.4b.l) R 18137 18139 11639 0 -1 4202496 279688 0 0 0 178797 1207 0 0 25 0 1 0 820341934 407519232 97631 33554432000 4194304 9163163 140734402219936 18446744073709551615 6706940 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18139/statm: 99492 97631 725 1214 0 98274 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 397968
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 1.18 1.65 1.86 2/431 18218
/proc/meminfo: memFree=20539540/32951124 swapFree=60787360/67111528
[pid=18139] ppid=18137 vsize=397968 CPUtime=1800.04 cores=1,3,5,7
/proc/18139/stat : 18139 (scip-2.0.1.4b.l) R 18137 18139 11639 0 -1 4202496 279688 0 0 0 178797 1207 0 0 25 0 1 0 820341934 407519232 97631 33554432000 4194304 9163163 140734402219936 18446744073709551615 6706940 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18139/statm: 99492 97631 725 1214 0 98274 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 397968
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.04
CPU time (s): 1800.08
CPU user time (s): 1787.98
CPU system time (s): 12.0972
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 440396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.98
system time used= 12.0972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279688
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= 1680
runsolver used 7.19191 second user time and 19.0341 second system time
The end