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-3452586-1307090078.opb>
0.79/0.80 c original problem has 1534 variables (1534 bin, 0 int, 0 impl, 0 cont) and 126555 constraints
0.79/0.80 c problem read
0.79/0.80 c presolving settings loaded
1.10/1.13 o 0
1.10/1.13 c feasible solution found by trivial heuristic, objective value 0.000000e+00
1.10/1.13 c presolving:
1.69/1.76 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 126555 upgd conss, 253110 impls, 0 clqs
3.89/3.90 c (3.9s) probing: 101/1534 (6.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3.89/3.90 c (3.9s) probing aborted: 100/100 successive totally useless probings
3.89/3.90 c presolving (2 rounds):
3.89/3.90 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.89/3.90 c 253110 implications, 0 cliques
3.89/3.90 c presolved problem has 1534 variables (1534 bin, 0 int, 0 impl, 0 cont) and 126555 constraints
3.89/3.90 c 126555 constraints of type <setppc>
3.89/3.90 c transformed objective value is always integral (scale: 1)
3.89/3.90 c Presolving Time: 3.02
3.89/3.90 c - non default parameters ----------------------------------------------------------------------
3.89/3.90 c # SCIP version 2.0.1.4
3.89/3.90 c
3.89/3.90 c # frequency for displaying node information lines
3.89/3.90 c # [type: int, range: [-1,2147483647], default: 100]
3.89/3.90 c display/freq = 10000
3.89/3.90 c
3.89/3.90 c # maximal time in seconds to run
3.89/3.90 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.89/3.90 c limits/time = 1800
3.89/3.90 c
3.89/3.90 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.89/3.90 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.89/3.90 c limits/memory = 13950
3.89/3.90 c
3.89/3.90 c # default clock type (1: CPU user seconds, 2: wall clock time)
3.89/3.90 c # [type: int, range: [1,2], default: 1]
3.89/3.90 c timing/clocktype = 2
3.89/3.90 c
3.89/3.90 c # belongs reading time to solving time?
3.89/3.90 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.89/3.90 c timing/reading = TRUE
3.89/3.90 c
3.89/3.90 c # should presolving try to simplify inequalities
3.89/3.90 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.89/3.90 c constraints/linear/simplifyinequalities = TRUE
3.89/3.90 c
3.89/3.90 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
3.89/3.90 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.89/3.90 c constraints/indicator/addCouplingCons = TRUE
3.89/3.90 c
3.89/3.90 c # should presolving try to simplify knapsacks
3.89/3.90 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.89/3.90 c constraints/knapsack/simplifyinequalities = TRUE
3.89/3.90 c
3.89/3.90 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
3.89/3.90 c # [type: int, range: [-1,2147483647], default: -1]
3.89/3.90 c separating/rapidlearning/freq = 0
3.89/3.90 c
3.89/3.90 c -----------------------------------------------------------------------------------------------
3.89/3.90 c start solving
3.89/3.90 c
7.29/7.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.29/7.37 c t 7.4s| 1 | 0 | 1534 | - | 146M| 0 |1534 |1534 | 126k|1534 | 126k| 0 | 0 | 0 |-7.670000e+02 | 0.000000e+00 | 100.00%
7.39/7.48 o -1
7.39/7.48 c R 7.5s| 1 | 0 | 1534 | - | 146M| 0 |1534 |1534 | 126k|1534 | 126k| 0 | 0 | 0 |-7.670000e+02 |-1.000000e+00 | 99.87%
7.59/7.60 o -2
7.59/7.60 c s 7.6s| 1 | 0 | 1534 | - | 146M| 0 |1534 |1534 | 126k|1534 | 126k| 0 | 0 | 0 |-7.670000e+02 |-2.000000e+00 | 99.74%
10.19/10.24 c 10.2s| 1 | 0 | 1789 | - | 146M| 0 |1462 |1534 | 126k|1534 | 126k| 5 | 0 | 0 |-7.310000e+02 |-2.000000e+00 | 99.73%
10.19/10.28 o -43
10.19/10.28 c b10.3s| 1 | 0 | 1789 | - | 146M| 0 |1462 |1534 | 126k|1534 | 126k| 5 | 0 | 0 |-7.310000e+02 |-4.300000e+01 | 94.12%
14.69/14.73 c 14.7s| 1 | 0 | 1918 | - | 146M| 0 |1396 |1534 | 126k|1534 | 126k| 26 | 0 | 0 |-6.980000e+02 |-4.300000e+01 | 93.84%
21.49/21.56 c 21.6s| 1 | 0 | 2108 | - | 146M| 0 |1323 |1534 | 126k|1534 | 126k| 56 | 0 | 0 |-6.615000e+02 |-4.300000e+01 | 93.50%
30.19/30.26 c 30.3s| 1 | 0 | 2403 | - | 146M| 0 |1262 |1534 | 126k|1534 | 126k| 76 | 0 | 0 |-6.302500e+02 |-4.300000e+01 | 93.18%
39.49/39.53 c 39.5s| 1 | 0 | 2561 | - | 146M| 0 |1208 |1534 | 126k|1534 | 126k| 88 | 0 | 0 |-6.027500e+02 |-4.300000e+01 | 92.87%
49.29/49.33 c 49.3s| 1 | 0 | 2796 | - | 146M| 0 |1155 |1534 | 126k|1534 | 126k| 100 | 0 | 0 |-5.762500e+02 |-4.300000e+01 | 92.54%
58.89/58.95 c 59.0s| 1 | 0 | 2960 | - | 146M| 0 |1101 |1534 | 126k|1534 | 126k| 116 | 0 | 0 |-5.492500e+02 |-4.300000e+01 | 92.17%
68.99/69.05 c 69.0s| 1 | 0 | 3360 | - | 146M| 0 |1037 |1534 | 126k|1534 | 126k| 128 | 0 | 0 |-5.162500e+02 |-4.300000e+01 | 91.67%
79.39/79.46 c 79.5s| 1 | 0 | 3583 | - | 146M| 0 | 985 |1534 | 126k|1534 | 126k| 140 | 0 | 0 |-4.912500e+02 |-4.300000e+01 | 91.25%
89.29/89.38 c 89.4s| 1 | 0 | 3870 | - | 147M| 0 | 935 |1534 | 126k|1534 | 126k| 149 | 0 | 0 |-4.657500e+02 |-4.300000e+01 | 90.77%
91.59/91.62 c 91.6s| 1 | 0 | 4252 | - | 147M| 0 | 883 |1534 | 126k|1534 | 126k| 160 | 0 | 0 |-4.397500e+02 |-4.300000e+01 | 90.22%
93.29/93.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
93.29/93.37 c 93.4s| 1 | 0 | 4506 | - | 147M| 0 | 832 |1534 | 126k|1534 | 126k| 177 | 0 | 0 |-4.129167e+02 |-4.300000e+01 | 89.59%
96.49/96.58 c 96.6s| 1 | 0 | 5531 | - | 147M| 0 | 786 |1534 | 126k|1534 | 126k| 190 | 0 | 0 |-3.917500e+02 |-4.300000e+01 | 89.02%
100.79/100.85 c 101s| 1 | 0 | 7398 | - | 147M| 0 | 705 |1534 | 126k|1534 | 126k| 224 | 0 | 0 |-3.513333e+02 |-4.300000e+01 | 87.76%
104.79/104.83 c 105s| 1 | 0 | 8905 | - | 147M| 0 | 661 |1534 | 126k|1534 | 126k| 235 | 0 | 0 |-3.305000e+02 |-4.300000e+01 | 86.99%
107.80/107.88 c 108s| 1 | 0 | 10001 | - | 147M| 0 | 588 |1534 | 126k|1534 | 126k| 264 | 0 | 0 |-2.940000e+02 |-4.300000e+01 | 85.37%
111.39/111.44 c 111s| 1 | 0 | 11406 | - | 147M| 0 | 535 |1534 | 126k|1534 | 126k| 279 | 0 | 0 |-2.667500e+02 |-4.300000e+01 | 83.88%
120.19/120.23 c 120s| 1 | 0 | 15641 | - | 147M| 0 | 490 |1534 | 126k|1534 | 126k| 296 | 0 | 0 |-2.442500e+02 |-4.300000e+01 | 82.40%
125.40/125.49 c 125s| 1 | 0 | 18785 | - | 147M| 0 | 424 |1534 | 126k|1534 | 126k| 311 | 0 | 0 |-2.112500e+02 |-4.300000e+01 | 79.64%
134.49/134.52 c 135s| 1 | 0 | 23327 | - | 147M| 0 | 376 |1534 | 126k|1534 | 126k| 322 | 0 | 0 |-1.880000e+02 |-4.300000e+01 | 77.13%
137.09/137.16 c 137s| 1 | 0 | 24769 | - | 147M| 0 | 336 |1534 | 126k|1534 | 126k| 335 | 0 | 0 |-1.678333e+02 |-4.300000e+01 | 74.38%
139.29/139.36 c 139s| 1 | 0 | 26053 | - | 147M| 0 | 293 |1534 | 126k|1534 | 126k| 350 | 0 | 0 |-1.465000e+02 |-4.300000e+01 | 70.65%
147.09/147.15 c 147s| 1 | 0 | 30755 | - | 147M| 0 | 275 |1534 | 126k|1534 | 126k| 357 | 0 | 0 |-1.372500e+02 |-4.300000e+01 | 68.67%
148.69/148.74 c 149s| 1 | 0 | 31604 | - | 147M| 0 | 237 |1534 | 126k|1534 | 126k| 368 | 0 | 0 |-1.180000e+02 |-4.300000e+01 | 63.56%
150.90/150.98 c 151s| 1 | 0 | 33003 | - | 148M| 0 | 218 |1534 | 126k|1534 | 126k| 383 | 0 | 0 |-1.090000e+02 |-4.300000e+01 | 60.55%
152.40/152.45 c 152s| 1 | 0 | 33643 | - | 148M| 0 | 180 |1534 | 126k|1534 | 126k| 394 | 0 | 0 |-9.100000e+01 |-4.300000e+01 | 52.75%
153.60/153.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
153.60/153.62 c 154s| 1 | 0 | 34169 | - | 148M| 0 | 158 |1534 | 126k|1534 | 126k| 404 | 0 | 0 |-7.500000e+01 |-4.300000e+01 | 42.67%
155.29/155.36 c 155s| 1 | 0 | 35088 | - | 148M| 0 | 131 |1534 | 126k|1534 | 126k| 413 | 0 | 0 |-5.900000e+01 |-4.300000e+01 | 27.12%
156.20/156.24 c 156s| 1 | 0 | 35199 | - | 148M| 0 | 174 |1534 | 126k|1534 | 126k| 425 | 0 | 0 |-5.900000e+01 |-4.300000e+01 | 27.12%
157.49/157.59 c 158s| 1 | 0 | 35603 | - | 148M| 0 | 202 |1534 | 126k|1534 | 126k| 439 | 0 | 0 |-5.900000e+01 |-4.300000e+01 | 27.12%
163.90/163.92 c 164s| 1 | 0 | 36402 | - | 148M| 0 | 183 |1534 | 126k|1534 | 126k| 449 | 0 | 0 |-5.900000e+01 |-4.300000e+01 | 27.12%
165.11/165.13 c 165s| 1 | 0 | 36659 | - | 148M| 0 | 217 |1534 | 126k|1534 | 126k| 458 | 0 | 0 |-5.900000e+01 |-4.300000e+01 | 27.12%
169.79/169.83 c 170s| 1 | 0 | 36849 | - | 148M| 0 | 215 |1534 | 126k|1534 | 126k| 471 | 0 | 0 |-5.900000e+01 |-4.300000e+01 | 27.12%
220.19/220.29 c 220s| 1 | 2 | 36849 | - | 148M| 0 | 215 |1534 | 126k|1534 | 126k| 471 | 0 | 38 |-5.900000e+01 |-4.300000e+01 | 27.12%
443.50/443.51 o -44
443.50/443.51 c p 444s| 35 | 36 | 42319 | 160.9 | 154M| 21 | - |1534 | 126k|1534 | 126k| 471 | 0 | 726 |-5.900000e+01 |-4.400000e+01 | 25.42%
532.20/532.27 o -45
532.20/532.27 c p 532s| 141 | 140 | 53701 | 120.4 | 159M| 31 | - |1534 | 126k|1534 | 126k| 471 | 0 | 969 |-5.900000e+01 |-4.500000e+01 | 23.73%
566.11/566.17 o -46
566.11/566.17 c p 566s| 267 | 260 | 63589 | 100.5 | 164M| 37 | - |1534 | 126k|1534 | 126k| 471 | 0 |1017 |-5.900000e+01 |-4.600000e+01 | 22.03%
594.12/594.13 o -48
594.12/594.13 c l 594s| 332 | 305 | 71817 | 105.6 | 167M| 37 | - |1534 | 126k|1534 | 126k| 471 | 0 |1046 |-5.900000e+01 |-4.800000e+01 | 18.64%
684.50/684.53 o -49
684.50/684.53 c p 685s| 600 | 526 | 98691 | 103.2 | 180M| 37 | - |1534 | 126k|1534 | 126k| 471 | 0 |1153 |-5.900000e+01 |-4.900000e+01 | 16.95%
1120.42/1120.46 o -50
1120.42/1120.46 c l1120s| 1483 | 1389 |229265 | 129.8 | 221M| 53 | - |1534 | 126k|1534 | 126k| 471 | 0 |1523 |-5.900000e+01 |-5.000000e+01 | 15.25%
1800.03/1800.02 c
1800.03/1800.02 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.02 c Solving Time (sec) : 1800.02
1800.03/1800.02 c Solving Nodes : 2624
1800.03/1800.02 c Primal Bound : -5.00000000000000e+01 (502 solutions)
1800.03/1800.02 c Dual Bound : -5.90000000000000e+01
1800.03/1800.02 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-3452586-1307090078/watcher-3452586-1307090078 -o /tmp/evaluation-result-3452586-1307090078/solver-3452586-1307090078 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452586-1307090078.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 2.00 2.07 2/527 5643
/proc/meminfo: memFree=24720664/32951124 swapFree=56241860/67111528
[pid=5643] ppid=5641 vsize=11364 CPUtime=0 cores=0,2,4,6
/proc/5643/stat : 5643 (scip-2.0.1.4.li) R 5641 5643 32685 0 -1 4202496 1833 0 0 0 0 0 0 0 23 0 1 0 899238514 11636736 1786 33554432000 4194304 9128323 140733968521136 18446744073709551615 7980987 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5643/statm: 2841 1786 400 1205 0 1632 0
[startup+0.110614 s]
/proc/loadavg: 1.92 2.00 2.07 2/527 5643
/proc/meminfo: memFree=24720664/32951124 swapFree=56241860/67111528
[pid=5643] ppid=5641 vsize=16260 CPUtime=0.1 cores=0,2,4,6
/proc/5643/stat : 5643 (scip-2.0.1.4.li) R 5641 5643 32685 0 -1 4202496 3084 0 0 0 10 0 0 0 24 0 1 0 899238514 16650240 3035 33554432000 4194304 9128323 140733968521136 18446744073709551615 8008930 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5643/statm: 4065 3035 400 1205 0 2856 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 16260
[startup+0.200588 s]
/proc/loadavg: 1.92 2.00 2.07 2/527 5643
/proc/meminfo: memFree=24720664/32951124 swapFree=56241860/67111528
[pid=5643] ppid=5641 vsize=20632 CPUtime=0.19 cores=0,2,4,6
/proc/5643/stat : 5643 (scip-2.0.1.4.li) R 5641 5643 32685 0 -1 4202496 4181 0 0 0 19 0 0 0 25 0 1 0 899238514 21127168 4130 33554432000 4194304 9128323 140733968521136 18446744073709551615 8008900 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5643/statm: 5158 4130 400 1205 0 3949 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 20632
[startup+0.300575 s]
/proc/loadavg: 1.92 2.00 2.07 2/527 5643
/proc/meminfo: memFree=24720664/32951124 swapFree=56241860/67111528
[pid=5643] ppid=5641 vsize=25212 CPUtime=0.29 cores=0,2,4,6
/proc/5643/stat : 5643 (scip-2.0.1.4.li) R 5641 5643 32685 0 -1 4202496 5314 0 0 0 29 0 0 0 25 0 1 0 899238514 25817088 5261 33554432000 4194304 9128323 140733968521136 18446744073709551615 4338648 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5643/statm: 6303 5261 400 1205 0 5094 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25212
[startup+0.700498 s]
/proc/loadavg: 1.92 2.00 2.07 2/527 5643
/proc/meminfo: memFree=24720664/32951124 swapFree=56241860/67111528
[pid=5643] ppid=5641 vsize=43132 CPUtime=0.69 cores=0,2,4,6
/proc/5643/stat : 5643 (scip-2.0.1.4.li) R 5641 5643 32685 0 -1 4202496 9813 0 0 0 68 1 0 0 25 0 1 0 899238514 44167168 9752 33554432000 4194304 9128323 140733968521136 18446744073709551615 4338658 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5643/statm: 10783 9752 400 1205 0 9574 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43132
[startup+1.50037 s]
/proc/loadavg: 1.92 2.00 2.07 3/528 5644
/proc/meminfo: memFree=24570988/32951124 swapFree=56241860/67111528
[pid=5643] ppid=5641 vsize=161360 CPUtime=1.49 cores=0,2,4,6
/proc/5643/stat : 5643 (scip-2.0.1.4.li) R 5641 5643 32685 0 -1 4202496 47694 0 0 0 143 6 0 0 18 0 1 0 899238514 165232640 38751 33554432000 4194304 9128323 140733968521136 18446744073709551615 6580881 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5643/statm: 40340 38751 514 1205 0 39131 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 161360
[startup+3.10106 s]
/proc/loadavg: 1.92 2.00 2.07 3/528 5644
/proc/meminfo: memFree=24538996/32951124 swapFree=56241860/67111528
[pid=5643] ppid=5641 vsize=187136 CPUtime=3.09 cores=0,2,4,6
/proc/5643/stat : 5643 (scip-2.0.1.4.li) R 5641 5643 32685 0 -1 4202496 61321 0 0 0 302 7 0 0 22 0 1 0 899238514 191627264 45167 33554432000 4194304 9128323 140733968521136 18446744073709551615 5488454 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5643/statm: 46784 45167 533 1205 0 45575 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 187136
[startup+6.30053 s]
/proc/loadavg: 1.93 2.00 2.07 3/528 5644
/proc/meminfo: memFree=24395356/32951124 swapFree=56241860/67111528
[pid=5643] ppid=5641 vsize=355648 CPUtime=6.29 cores=0,2,4,6
/proc/5643/stat : 5643 (scip-2.0.1.4.li) R 5641 5643 32685 0 -1 4202496 101656 0 0 0 617 12 0 0 25 0 1 0 899238514 364183552 82286 33554432000 4194304 9128323 140733968521136 18446744073709551615 7077395 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5643/statm: 88912 82286 1152 1205 0 87703 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 355648
[startup+12.7004 s]
/proc/loadavg: 1.93 2.00 2.06 3/528 5644
/proc/meminfo: memFree=24370952/32951124 swapFree=56241860/67111528
[pid=5643] ppid=5641 vsize=373372 CPUtime=12.69 cores=0,2,4,6
/proc/5643/stat : 5643 (scip-2.0.1.4.li) R 5641 5643 32685 0 -1 4202496 110264 0 0 0 1255 14 0 0 25 0 1 0 899238514 382332928 87485 33554432000 4194304 9128323 140733968521136 18446744073709551615 6309892 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5643/statm: 93343 87485 1026 1205 0 92134 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 373372
[startup+25.5012 s]
/proc/loadavg: 1.95 2.00 2.06 3/528 5645
/proc/meminfo: memFree=24362264/32951124 swapFree=56241860/67111528
[pid=5643] ppid=5641 vsize=377024 CPUtime=25.49 cores=0,2,4,6
/proc/5643/stat : 5643 (scip-2.0.1.4.li) R 5641 5643 32685 0 -1 4202496 112521 0 0 0 2535 14 0 0 25 0 1 0 899238514 386072576 89645 33554432000 4194304 9128323 140733968521136 18446744073709551615 6286064 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5643/statm: 94256 89645 932 1205 0 93047 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 377024
[startup+51.1007 s]
/proc/loadavg: 1.96 2.00 2.06 3/528 5645
/proc/meminfo: memFree=24355300/32951124 swapFree=56241860/67111528
[pid=5643] ppid=5641 vsize=380984 CPUtime=51.09 cores=0,2,4,6
/proc/5643/stat : 5643 (scip-2.0.1.4.li) R 5641 5643 32685 0 -1 4202496 114162 0 0 0 5094 15 0 0 25 0 1 0 899238514 390127616 91286 33554432000 4194304 9128323 140733968521136 18446744073709551615 6280372 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5643/statm: 95246 91286 932 1205 0 94037 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 380984
[startup+102.301 s]
/proc/loadavg: 1.98 2.00 2.06 3/528 5647
/proc/meminfo: memFree=24347500/32951124 swapFree=56241860/67111528
[pid=5643] ppid=5641 vsize=382204 CPUtime=102.3 cores=0,2,4,6
/proc/5643/stat : 5643 (scip-2.0.1.4.li) R 5641 5643 32685 0 -1 4202496 115451 0 0 0 10212 18 0 0 25 0 1 0 899238514 391376896 92431 33554432000 4194304 9128323 140733968521136 18446744073709551615 7315684 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5643/statm: 95551 92431 788 1205 0 94342 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 382204
[startup+162.301 s]
/proc/loadavg: 1.99 2.00 2.05 3/528 5648
/proc/meminfo: memFree=24340208/32951124 swapFree=56241860/67111528
[pid=5643] ppid=5641 vsize=391244 CPUtime=162.29 cores=0,2,4,6
/proc/5643/stat : 5643 (scip-2.0.1.4.li) R 5641 5643 32685 0 -1 4202496 117455 0 0 0 16202 27 0 0 25 0 1 0 899238514 400633856 94386 33554432000 4194304 9128323 140733968521136 18446744073709551615 7018448 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5643/statm: 97811 94386 847 1205 0 96602 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 391244
[startup+222.321 s]
/proc/loadavg: 1.99 2.00 2.04 3/528 5650
/proc/meminfo: memFree=24255468/32951124 swapFree=56241860/67111528
[pid=5643] ppid=5641 vsize=465948 CPUtime=222.32 cores=0,2,4,6
/proc/5643/stat : 5643 (scip-2.0.1.4.li) R 5641 5643 32685 0 -1 4202496 137916 0 0 0 22187 45 0 0 25 0 1 0 899238514 477130752 114674 33554432000 4194304 9128323 140733968521136 18446744073709551615 7192528 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5643/statm: 116487 114674 758 1205 0 115278 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 465948
[startup+282.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/528 5654
/proc/meminfo: memFree=24249444/32951124 swapFree=56241860/67111528
[pid=5643] ppid=5641 vsize=465948 CPUtime=282.3 cores=0,2,4,6
/proc/5643/stat : 5643 (scip-2.0.1.4.li) R 5641 5643 32685 0 -1 4202496 137916 0 0 0 28177 53 0 0 25 0 1 0 899238514 477130752 114674 33554432000 4194304 9128323 140733968521136 18446744073709551615 7346281 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5643/statm: 116487 114674 758 1205 0 115278 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 465948
[startup+342.301 s]
/proc/loadavg: 2.14 2.04 2.05 3/528 5656
/proc/meminfo: memFree=24237764/32951124 swapFree=56241860/67111528
[pid=5643] ppid=5641 vsize=465948 CPUtime=342.3 cores=0,2,4,6
/proc/5643/stat : 5643 (scip-2.0.1.4.li) R 5641 5643 32685 0 -1 4202496 137916 0 0 0 34169 61 0 0 25 0 1 0 899238514 477130752 114674 33554432000 4194304 9128323 140733968521136 18446744073709551615 7380906 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5643/statm: 116487 114674 758 1205 0 115278 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 465948
[startup+402.3 s]
/proc/loadavg: 2.05 2.03 2.04 3/528 5658
/proc/meminfo: memFree=24234248/32951124 swapFree=56241860/67111528
[pid=5643] ppid=5641 vsize=465948 CPUtime=402.29 cores=0,2,4,6
/proc/5643/stat : 5643 (scip-2.0.1.4.li) R 5641 5643 32685 0 -1 4202496 137916 0 0 0 40161 68 0 0 25 0 1 0 899238514 477130752 114674 33554432000 4194304 9128323 140733968521136 18446744073709551615 7312704 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5643/statm: 116487 114674 758 1205 0 115278 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 465948
[startup+462.301 s]
/proc/loadavg: 2.18 2.06 2.05 3/528 5659
/proc/meminfo: memFree=24228988/32951124 swapFree=56241860/67111528
[pid=5643] ppid=5641 vsize=465948 CPUtime=462.3 cores=0,2,4,6
/proc/5643/stat : 5643 (scip-2.0.1.4.li) R 5641 5643 32685 0 -1 4202496 137916 0 0 0 46154 76 0 0 25 0 1 0 899238514 477130752 114674 33554432000 4194304 9128323 140733968521136 18446744073709551615 7366230 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5643/statm: 116487 114674 758 1205 0 115278 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 465948
[startup+522.3 s]
/proc/loadavg: 2.14 2.06 2.05 3/528 5661
/proc/meminfo: memFree=24222228/32951124 swapFree=56241860/67111528
[pid=5643] ppid=5641 vsize=465948 CPUtime=522.3 cores=0,2,4,6
/proc/5643/stat : 5643 (scip-2.0.1.4.li) R 5641 5643 32685 0 -1 4202496 137916 0 0 0 52147 83 0 0 25 0 1 0 899238514 477130752 114674 33554432000 4194304 9128323 140733968521136 18446744073709551615 7191083 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5643/statm: 116487 114674 758 1205 0 115278 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 465948
[startup+582.301 s]
/proc/loadavg: 2.05 2.05 2.04 3/528 5662
/proc/meminfo: memFree=24211124/32951124 swapFree=56241860/67111528
[pid=5643] ppid=5641 vsize=465948 CPUtime=582.3 cores=0,2,4,6
/proc/5643/stat : 5643 (scip-2.0.1.4.li) R 5641 5643 32685 0 -1 4202496 137916 0 0 0 58140 90 0 0 25 0 1 0 899238514 477130752 114674 33554432000 4194304 9128323 140733968521136 18446744073709551615 7267148 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5643/statm: 116487 114674 758 1205 0 115278 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 465948
[startup+642.3 s]
################
# More data... #
################
[startup+882.32 s]
/proc/loadavg: 2.09 2.04 2.02 3/528 5670
/proc/meminfo: memFree=24125460/32951124 swapFree=56241860/67111528
[pid=5643] ppid=5641 vsize=517564 CPUtime=882.33 cores=0,2,4,6
/proc/5643/stat : 5643 (scip-2.0.1.4.li) R 5641 5643 32685 0 -1 4202496 158848 0 0 0 88096 137 0 0 25 0 1 0 899238514 529985536 127575 33554432000 4194304 9128323 140733968521136 18446744073709551615 7267336 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5643/statm: 129391 127575 758 1205 0 128182 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 517564
[startup+942.301 s]
/proc/loadavg: 2.07 2.04 2.02 3/528 5672
/proc/meminfo: memFree=24113876/32951124 swapFree=56241860/67111528
[pid=5643] ppid=5641 vsize=517564 CPUtime=942.31 cores=0,2,4,6
/proc/5643/stat : 5643 (scip-2.0.1.4.li) R 5641 5643 32685 0 -1 4202496 158860 0 0 0 94088 143 0 0 25 0 1 0 899238514 529985536 127587 33554432000 4194304 9128323 140733968521136 18446744073709551615 7343382 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5643/statm: 129391 127587 758 1205 0 128182 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 517564
[startup+1002.3 s]
/proc/loadavg: 2.02 2.03 2.02 3/528 5674
/proc/meminfo: memFree=24104284/32951124 swapFree=56241860/67111528
[pid=5643] ppid=5641 vsize=517564 CPUtime=1002.31 cores=0,2,4,6
/proc/5643/stat : 5643 (scip-2.0.1.4.li) R 5641 5643 32685 0 -1 4202496 158890 0 0 0 100083 148 0 0 25 0 1 0 899238514 529985536 127617 33554432000 4194304 9128323 140733968521136 18446744073709551615 7315311 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5643/statm: 129391 127617 758 1205 0 128182 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 517564
[startup+1062.3 s]
/proc/loadavg: 2.09 2.05 2.02 3/528 5675
/proc/meminfo: memFree=24098032/32951124 swapFree=56241860/67111528
[pid=5643] ppid=5641 vsize=517564 CPUtime=1062.31 cores=0,2,4,6
/proc/5643/stat : 5643 (scip-2.0.1.4.li) R 5641 5643 32685 0 -1 4202496 158897 0 0 0 106076 155 0 0 25 0 1 0 899238514 529985536 127624 33554432000 4194304 9128323 140733968521136 18446744073709551615 7191083 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5643/statm: 129391 127624 758 1205 0 128182 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 517564
[startup+1122.3 s]
/proc/loadavg: 2.07 2.05 2.02 3/528 5677
/proc/meminfo: memFree=24086456/32951124 swapFree=56241860/67111528
[pid=5643] ppid=5641 vsize=517564 CPUtime=1122.31 cores=0,2,4,6
/proc/5643/stat : 5643 (scip-2.0.1.4.li) R 5641 5643 32685 0 -1 4202496 158897 0 0 0 112068 163 0 0 25 0 1 0 899238514 529985536 127624 33554432000 4194304 9128323 140733968521136 18446744073709551615 7077352 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5643/statm: 129391 127624 758 1205 0 128182 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 517564
[startup+1182.3 s]
/proc/loadavg: 2.02 2.04 2.02 3/528 5678
/proc/meminfo: memFree=24075628/32951124 swapFree=56241860/67111528
[pid=5643] ppid=5641 vsize=517564 CPUtime=1182.32 cores=0,2,4,6
/proc/5643/stat : 5643 (scip-2.0.1.4.li) R 5641 5643 32685 0 -1 4202496 158897 0 0 0 118063 169 0 0 25 0 1 0 899238514 529985536 127624 33554432000 4194304 9128323 140733968521136 18446744073709551615 7191106 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5643/statm: 129391 127624 758 1205 0 128182 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 517564
[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.01 3/528 5680
/proc/meminfo: memFree=24065540/32951124 swapFree=56241860/67111528
[pid=5643] ppid=5641 vsize=517564 CPUtime=1242.32 cores=0,2,4,6
/proc/5643/stat : 5643 (scip-2.0.1.4.li) R 5641 5643 32685 0 -1 4202496 158898 0 0 0 124057 175 0 0 25 0 1 0 899238514 529985536 127625 33554432000 4194304 9128323 140733968521136 18446744073709551615 7077352 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5643/statm: 129391 127625 758 1205 0 128182 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 517564
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 5710
/proc/meminfo: memFree=24356832/32951124 swapFree=56241860/67111528
[pid=5643] ppid=5641 vsize=517564 CPUtime=1302.32 cores=0,2,4,6
/proc/5643/stat : 5643 (scip-2.0.1.4.li) R 5641 5643 32685 0 -1 4202496 158898 0 0 0 130050 182 0 0 25 0 1 0 899238514 529985536 127625 33554432000 4194304 9128323 140733968521136 18446744073709551615 7361715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5643/statm: 129391 127625 758 1205 0 128182 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 517564
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 5711
/proc/meminfo: memFree=24357276/32951124 swapFree=56241860/67111528
[pid=5643] ppid=5641 vsize=517564 CPUtime=1362.32 cores=0,2,4,6
/proc/5643/stat : 5643 (scip-2.0.1.4.li) R 5641 5643 32685 0 -1 4202496 158898 0 0 0 136043 189 0 0 25 0 1 0 899238514 529985536 127625 33554432000 4194304 9128323 140733968521136 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5643/statm: 129391 127625 758 1205 0 128182 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 517564
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 5713
/proc/meminfo: memFree=24356972/32951124 swapFree=56241860/67111528
[pid=5643] ppid=5641 vsize=517564 CPUtime=1422.33 cores=0,2,4,6
/proc/5643/stat : 5643 (scip-2.0.1.4.li) R 5641 5643 32685 0 -1 4202496 158898 0 0 0 142037 196 0 0 25 0 1 0 899238514 529985536 127625 33554432000 4194304 9128323 140733968521136 18446744073709551615 7077395 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5643/statm: 129391 127625 758 1205 0 128182 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 517564
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 5714
/proc/meminfo: memFree=24356792/32951124 swapFree=56241860/67111528
[pid=5643] ppid=5641 vsize=517564 CPUtime=1482.32 cores=0,2,4,6
/proc/5643/stat : 5643 (scip-2.0.1.4.li) R 5641 5643 32685 0 -1 4202496 158898 0 0 0 148028 204 0 0 25 0 1 0 899238514 529985536 127625 33554432000 4194304 9128323 140733968521136 18446744073709551615 6732570 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5643/statm: 129391 127625 758 1205 0 128182 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 517564
[startup+1542.32 s]
/proc/loadavg: 2.00 2.00 2.00 3/528 5716
/proc/meminfo: memFree=24358464/32951124 swapFree=56241860/67111528
[pid=5643] ppid=5641 vsize=517564 CPUtime=1542.34 cores=0,2,4,6
/proc/5643/stat : 5643 (scip-2.0.1.4.li) R 5641 5643 32685 0 -1 4202496 158900 0 0 0 154023 211 0 0 25 0 1 0 899238514 529985536 127627 33554432000 4194304 9128323 140733968521136 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5643/statm: 129391 127627 758 1205 0 128182 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 517564
[startup+1602.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/528 5727
/proc/meminfo: memFree=24356972/32951124 swapFree=56241860/67111528
[pid=5643] ppid=5641 vsize=517564 CPUtime=1602.33 cores=0,2,4,6
/proc/5643/stat : 5643 (scip-2.0.1.4.li) R 5641 5643 32685 0 -1 4202496 158901 0 0 0 160015 218 0 0 25 0 1 0 899238514 529985536 127628 33554432000 4194304 9128323 140733968521136 18446744073709551615 7177439 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5643/statm: 129391 127628 758 1205 0 128182 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 517564
[startup+1662.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/528 5728
/proc/meminfo: memFree=24357484/32951124 swapFree=56241860/67111528
[pid=5643] ppid=5641 vsize=517564 CPUtime=1662.33 cores=0,2,4,6
/proc/5643/stat : 5643 (scip-2.0.1.4.li) R 5641 5643 32685 0 -1 4202496 158901 0 0 0 166008 225 0 0 25 0 1 0 899238514 529985536 127628 33554432000 4194304 9128323 140733968521136 18446744073709551615 7018454 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5643/statm: 129391 127628 758 1205 0 128182 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 517564
[startup+1722.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/528 5730
/proc/meminfo: memFree=24356572/32951124 swapFree=56241860/67111528
[pid=5643] ppid=5641 vsize=517564 CPUtime=1722.33 cores=0,2,4,6
/proc/5643/stat : 5643 (scip-2.0.1.4.li) R 5641 5643 32685 0 -1 4202496 158901 0 0 0 172002 231 0 0 25 0 1 0 899238514 529985536 127628 33554432000 4194304 9128323 140733968521136 18446744073709551615 7192542 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5643/statm: 129391 127628 758 1205 0 128182 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 517564
[startup+1782.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/528 5731
/proc/meminfo: memFree=24355664/32951124 swapFree=56241860/67111528
[pid=5643] ppid=5641 vsize=517564 CPUtime=1782.33 cores=0,2,4,6
/proc/5643/stat : 5643 (scip-2.0.1.4.li) R 5641 5643 32685 0 -1 4202496 158901 0 0 0 177995 238 0 0 25 0 1 0 899238514 529985536 127628 33554432000 4194304 9128323 140733968521136 18446744073709551615 7342957 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5643/statm: 129391 127628 758 1205 0 128182 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 517564
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.06 2.05 2.01 3/528 5732
/proc/meminfo: memFree=24356268/32951124 swapFree=56241860/67111528
[pid=5643] ppid=5641 vsize=517564 CPUtime=1800.04 cores=0,2,4,6
/proc/5643/stat : 5643 (scip-2.0.1.4.li) R 5641 5643 32685 0 -1 4202496 158901 0 0 0 179764 240 0 0 25 0 1 0 899238514 529985536 127628 33554432000 4194304 9128323 140733968521136 18446744073709551615 5490228 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5643/statm: 129391 127628 758 1205 0 128182 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 517564
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: 2.06 2.05 2.01 3/528 5732
/proc/meminfo: memFree=24356268/32951124 swapFree=56241860/67111528
[pid=5643] ppid=5641 vsize=517564 CPUtime=1800.04 cores=0,2,4,6
/proc/5643/stat : 5643 (scip-2.0.1.4.li) R 5641 5643 32685 0 -1 4202496 158901 0 0 0 179764 240 0 0 25 0 1 0 899238514 529985536 127628 33554432000 4194304 9128323 140733968521136 18446744073709551615 5490228 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5643/statm: 129391 127628 758 1205 0 128182 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 517564
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.05
CPU time (s): 1800.09
CPU user time (s): 1797.65
CPU system time (s): 2.43263
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 517564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.65
system time used= 2.43263
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158902
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= 6
involuntary context switches= 21684
runsolver used 10.4604 second user time and 21.7017 second system time
The end