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-3451105-1307089819.opb>
0.39/0.46 c original problem has 1150 variables (1150 bin, 0 int, 0 impl, 0 cont) and 80072 constraints
0.39/0.46 c problem read
0.39/0.46 c presolving settings loaded
0.49/0.55 o 0
0.49/0.55 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.49/0.55 c presolving:
0.79/0.88 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 80072 upgd conss, 160144 impls, 0 clqs
1.99/2.03 c (2.0s) probing: 101/1150 (8.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.99/2.03 c (2.0s) probing aborted: 100/100 successive totally useless probings
1.99/2.03 c presolving (2 rounds):
1.99/2.03 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.99/2.03 c 160144 implications, 0 cliques
1.99/2.03 c presolved problem has 1150 variables (1150 bin, 0 int, 0 impl, 0 cont) and 80072 constraints
1.99/2.03 c 80072 constraints of type <setppc>
1.99/2.03 c transformed objective value is always integral (scale: 1)
1.99/2.03 c Presolving Time: 1.50
1.99/2.03 c - non default parameters ----------------------------------------------------------------------
1.99/2.03 c # SCIP version 2.0.1.5
1.99/2.03 c
1.99/2.03 c # frequency for displaying node information lines
1.99/2.03 c # [type: int, range: [-1,2147483647], default: 100]
1.99/2.03 c display/freq = 10000
1.99/2.03 c
1.99/2.03 c # maximal time in seconds to run
1.99/2.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.99/2.03 c limits/time = 1800
1.99/2.03 c
1.99/2.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.99/2.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.99/2.03 c limits/memory = 13950
1.99/2.03 c
1.99/2.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.99/2.03 c # [type: int, range: [1,2], default: 1]
1.99/2.03 c timing/clocktype = 2
1.99/2.03 c
1.99/2.03 c # belongs reading time to solving time?
1.99/2.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.03 c timing/reading = TRUE
1.99/2.03 c
1.99/2.03 c # should presolving try to simplify inequalities
1.99/2.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.03 c constraints/linear/simplifyinequalities = TRUE
1.99/2.03 c
1.99/2.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.99/2.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.03 c constraints/indicator/addCouplingCons = TRUE
1.99/2.03 c
1.99/2.03 c # should presolving try to simplify knapsacks
1.99/2.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.03 c constraints/knapsack/simplifyinequalities = TRUE
1.99/2.03 c
1.99/2.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.99/2.03 c # [type: int, range: [-1,2147483647], default: -1]
1.99/2.03 c separating/rapidlearning/freq = 0
1.99/2.03 c
1.99/2.03 c -----------------------------------------------------------------------------------------------
1.99/2.03 c start solving
1.99/2.03 c
3.41/3.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.41/3.45 c t 3.4s| 1 | 0 | 1152 | - | 98M| 0 |1150 |1150 | 80k|1150 | 80k| 0 | 0 | 0 |-5.750000e+02 | 0.000000e+00 | 100.00%
3.49/3.51 o -1
3.49/3.51 c R 3.5s| 1 | 0 | 1152 | - | 98M| 0 |1150 |1150 | 80k|1150 | 80k| 0 | 0 | 0 |-5.750000e+02 |-1.000000e+00 | 99.83%
4.99/5.00 c 5.0s| 1 | 0 | 1495 | - | 98M| 0 |1085 |1150 | 80k|1150 | 80k| 8 | 0 | 0 |-5.425000e+02 |-1.000000e+00 | 99.82%
4.99/5.02 o -33
4.99/5.02 c b 5.0s| 1 | 0 | 1495 | - | 98M| 0 |1085 |1150 | 80k|1150 | 80k| 8 | 0 | 0 |-5.425000e+02 |-3.300000e+01 | 93.92%
6.99/7.08 c 7.1s| 1 | 0 | 1654 | - | 98M| 0 |1025 |1150 | 80k|1150 | 80k| 29 | 0 | 0 |-5.125000e+02 |-3.300000e+01 | 93.56%
10.19/10.22 c 10.2s| 1 | 0 | 2016 | - | 98M| 0 | 915 |1150 | 80k|1150 | 80k| 105 | 0 | 0 |-4.565000e+02 |-3.300000e+01 | 92.77%
13.69/13.74 c 13.7s| 1 | 0 | 2138 | - | 98M| 0 | 870 |1150 | 80k|1150 | 80k| 114 | 0 | 0 |-4.340000e+02 |-3.300000e+01 | 92.40%
17.71/17.72 c 17.7s| 1 | 0 | 2402 | - | 98M| 0 | 805 |1150 | 80k|1150 | 80k| 123 | 0 | 0 |-4.025000e+02 |-3.300000e+01 | 91.80%
21.39/21.45 c 21.5s| 1 | 0 | 2602 | - | 99M| 0 | 757 |1150 | 80k|1150 | 80k| 140 | 0 | 0 |-3.785000e+02 |-3.300000e+01 | 91.28%
26.29/26.40 c 26.4s| 1 | 0 | 4253 | - | 99M| 0 | 695 |1150 | 80k|1150 | 80k| 154 | 0 | 0 |-3.475000e+02 |-3.300000e+01 | 90.50%
30.09/30.10 c 30.1s| 1 | 0 | 4588 | - | 99M| 0 | 645 |1150 | 80k|1150 | 80k| 179 | 0 | 0 |-3.225000e+02 |-3.300000e+01 | 89.77%
34.59/34.68 c 34.7s| 1 | 0 | 5875 | - | 99M| 0 | 604 |1150 | 80k|1150 | 80k| 192 | 0 | 0 |-3.020000e+02 |-3.300000e+01 | 89.07%
37.89/37.93 c 37.9s| 1 | 0 | 6051 | - | 99M| 0 | 565 |1150 | 80k|1150 | 80k| 209 | 0 | 0 |-2.825000e+02 |-3.300000e+01 | 88.32%
39.29/39.30 c 39.3s| 1 | 0 | 6836 | - | 99M| 0 | 513 |1150 | 80k|1150 | 80k| 220 | 0 | 0 |-2.565000e+02 |-3.300000e+01 | 87.13%
41.60/41.65 c 41.7s| 1 | 0 | 8768 | - | 99M| 0 | 454 |1150 | 80k|1150 | 80k| 235 | 0 | 0 |-2.262500e+02 |-3.300000e+01 | 85.41%
42.59/42.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.59/42.61 c 42.6s| 1 | 0 | 9129 | - | 99M| 0 | 413 |1150 | 80k|1150 | 80k| 247 | 0 | 0 |-2.045000e+02 |-3.300000e+01 | 83.86%
44.30/44.37 c 44.4s| 1 | 0 | 10705 | - | 99M| 0 | 387 |1150 | 80k|1150 | 80k| 265 | 0 | 0 |-1.917500e+02 |-3.300000e+01 | 82.79%
46.20/46.27 c 46.3s| 1 | 0 | 12240 | - | 99M| 0 | 364 |1150 | 80k|1150 | 80k| 277 | 0 | 0 |-1.812500e+02 |-3.300000e+01 | 81.79%
49.50/49.54 c 49.5s| 1 | 0 | 15427 | - | 99M| 0 | 316 |1150 | 80k|1150 | 80k| 292 | 0 | 0 |-1.572500e+02 |-3.300000e+01 | 79.01%
52.49/52.57 c 52.6s| 1 | 0 | 18341 | - | 99M| 0 | 284 |1150 | 80k|1150 | 80k| 304 | 0 | 0 |-1.412500e+02 |-3.300000e+01 | 76.64%
54.29/54.33 c 54.3s| 1 | 0 | 19796 | - | 99M| 0 | 254 |1150 | 80k|1150 | 80k| 316 | 0 | 0 |-1.262500e+02 |-3.300000e+01 | 73.86%
56.69/56.77 c 56.8s| 1 | 0 | 21880 | - | 99M| 0 | 219 |1150 | 80k|1150 | 80k| 332 | 0 | 0 |-1.087500e+02 |-3.300000e+01 | 69.66%
57.89/57.91 c 57.9s| 1 | 0 | 22491 | - | 99M| 0 | 190 |1150 | 80k|1150 | 80k| 340 | 0 | 0 |-9.300000e+01 |-3.300000e+01 | 64.52%
58.79/58.81 c 58.8s| 1 | 0 | 23074 | - | 99M| 0 | 170 |1150 | 80k|1150 | 80k| 346 | 0 | 0 |-8.500000e+01 |-3.300000e+01 | 61.18%
60.39/60.45 c 60.5s| 1 | 0 | 24714 | - | 99M| 0 | 153 |1150 | 80k|1150 | 80k| 356 | 0 | 0 |-7.750000e+01 |-3.300000e+01 | 57.42%
60.79/60.88 c 60.9s| 1 | 0 | 24822 | - | 99M| 0 | 138 |1150 | 80k|1150 | 80k| 366 | 0 | 0 |-7.000000e+01 |-3.300000e+01 | 52.86%
61.49/61.55 c 61.6s| 1 | 0 | 25372 | - | 99M| 0 | 137 |1150 | 80k|1150 | 80k| 378 | 0 | 0 |-6.250000e+01 |-3.300000e+01 | 47.20%
62.19/62.20 c 62.2s| 1 | 0 | 25674 | - | 99M| 0 | 115 |1150 | 80k|1150 | 80k| 391 | 0 | 0 |-5.650000e+01 |-3.300000e+01 | 41.59%
62.60/62.62 c 62.6s| 1 | 0 | 25791 | - | 99M| 0 | 106 |1150 | 80k|1150 | 80k| 401 | 0 | 0 |-5.000000e+01 |-3.300000e+01 | 34.00%
62.99/63.05 c 63.1s| 1 | 0 | 25895 | - | 99M| 0 | 157 |1150 | 80k|1150 | 80k| 413 | 0 | 0 |-5.000000e+01 |-3.300000e+01 | 34.00%
69.30/69.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
69.30/69.38 c 69.4s| 1 | 0 | 25992 | - | 99M| 0 | 163 |1150 | 80k|1150 | 80k| 423 | 0 | 0 |-5.000000e+01 |-3.300000e+01 | 34.00%
71.29/71.38 c 71.4s| 1 | 0 | 26967 | - | 99M| 0 | 150 |1150 | 80k|1150 | 80k| 433 | 0 | 0 |-5.000000e+01 |-3.300000e+01 | 34.00%
71.99/72.01 c 72.0s| 1 | 0 | 27090 | - | 99M| 0 | 169 |1150 | 80k|1150 | 80k| 447 | 0 | 0 |-5.000000e+01 |-3.300000e+01 | 34.00%
84.29/84.32 c 84.3s| 1 | 0 | 27381 | - | 99M| 0 | 224 |1150 | 80k|1150 | 80k| 459 | 0 | 0 |-5.000000e+01 |-3.300000e+01 | 34.00%
95.59/95.66 c 95.7s| 1 | 2 | 27381 | - | 99M| 0 | 224 |1150 | 80k|1150 | 80k| 459 | 0 | 18 |-5.000000e+01 |-3.300000e+01 | 34.00%
157.20/157.30 o -35
157.20/157.30 c c 157s| 10 | 11 | 31345 | 440.4 | 102M| 9 | - |1150 | 80k|1150 | 80k| 459 | 0 | 235 |-5.000000e+01 |-3.500000e+01 | 30.00%
240.80/240.81 o -37
240.80/240.81 c p 241s| 23 | 24 | 35254 | 357.9 | 103M| 13 | - |1150 | 80k|1150 | 80k| 459 | 0 | 407 |-5.000000e+01 |-3.700000e+01 | 26.00%
243.11/243.13 o -38
243.11/243.13 c f 243s| 37 | 38 | 36991 | 266.9 | 104M| 17 | - |1150 | 80k|1150 | 80k| 459 | 0 | 407 |-5.000000e+01 |-3.800000e+01 | 24.00%
260.70/260.81 o -40
260.70/260.81 c l 261s| 87 | 88 | 47229 | 230.8 | 107M| 18 | - |1150 | 80k|1150 | 80k| 459 | 0 | 419 |-5.000000e+01 |-4.000000e+01 | 20.00%
313.20/313.22 o -42
313.20/313.22 c * 313s| 285 | 270 | 74245 | 165.0 | 114M| 24 | - |1150 | 80k|1150 | 80k| 459 | 0 | 473 |-5.000000e+01 |-4.200000e+01 | 16.00%
385.50/385.58 o -43
385.50/385.58 c c 386s| 684 | 643 |109345 | 120.0 | 126M| 41 | - |1150 | 80k|1150 | 80k| 459 | 0 | 572 |-5.000000e+01 |-4.300000e+01 | 14.00%
742.21/742.27 o -44
742.21/742.27 c l 742s| 1649 | 1572 |289096 | 158.8 | 161M| 51 | - |1150 | 80k|1150 | 80k| 459 | 0 |1143 |-5.000000e+01 |-4.400000e+01 | 12.00%
1417.82/1417.90 o -45
1417.82/1417.90 c l1418s| 4961 | 3602 |662386 | 128.0 | 236M| 51 | - |1150 | 80k|1150 | 80k| 459 | 0 |2375 |-5.000000e+01 |-4.500000e+01 | 10.00%
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.00 c Solving Time (sec) : 1800.00
1800.03/1800.00 c Solving Nodes : 7307
1800.03/1800.00 c Primal Bound : -4.50000000000000e+01 (564 solutions)
1800.03/1800.00 c Dual Bound : -4.99999999999999e+01
1800.03/1800.00 c Gap : 10.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-3451105-1307089819/watcher-3451105-1307089819 -o /tmp/evaluation-result-3451105-1307089819/solver-3451105-1307089819 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451105-1307089819.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.93 2.02 2.00 2/535 17117
/proc/meminfo: memFree=28724936/32951124 swapFree=58212616/67111528
[pid=17117] ppid=17115 vsize=14408 CPUtime=0 cores=1,3,5,7
/proc/17117/stat : 17117 (scip-2.0.1.4b.l) R 17115 17117 13256 0 -1 4202496 2606 0 0 0 0 0 0 0 25 0 1 0 820579893 14753792 2559 33554432000 4194304 9163163 140735665065504 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17117/statm: 3602 2559 395 1214 0 2384 0
[startup+0.118931 s]
/proc/loadavg: 1.93 2.02 2.00 2/535 17117
/proc/meminfo: memFree=28724936/32951124 swapFree=58212616/67111528
[pid=17117] ppid=17115 vsize=22212 CPUtime=0.11 cores=1,3,5,7
/proc/17117/stat : 17117 (scip-2.0.1.4b.l) R 17115 17117 13256 0 -1 4202496 4555 0 0 0 11 0 0 0 25 0 1 0 820579893 22745088 4505 33554432000 4194304 9163163 140735665065504 18446744073709551615 7962070 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17117/statm: 5553 4505 395 1214 0 4335 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 22212
[startup+0.200915 s]
/proc/loadavg: 1.93 2.02 2.00 2/535 17117
/proc/meminfo: memFree=28724936/32951124 swapFree=58212616/67111528
[pid=17117] ppid=17115 vsize=27884 CPUtime=0.19 cores=1,3,5,7
/proc/17117/stat : 17117 (scip-2.0.1.4b.l) R 17115 17117 13256 0 -1 4202496 5810 0 0 0 19 0 0 0 25 0 1 0 820579893 28553216 5761 33554432000 4194304 9163163 140735665065504 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17117/statm: 6971 5789 395 1214 0 5753 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27884
[startup+0.300898 s]
/proc/loadavg: 1.93 2.02 2.00 2/535 17117
/proc/meminfo: memFree=28724936/32951124 swapFree=58212616/67111528
[pid=17117] ppid=17115 vsize=33960 CPUtime=0.29 cores=1,3,5,7
/proc/17117/stat : 17117 (scip-2.0.1.4b.l) R 17115 17117 13256 0 -1 4202496 7491 0 0 0 29 0 0 0 25 0 1 0 820579893 34775040 7441 33554432000 4194304 9163163 140735665065504 18446744073709551615 7985242 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17117/statm: 8490 7441 395 1214 0 7272 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33960
[startup+0.700844 s]
/proc/loadavg: 1.93 2.02 2.00 2/535 17117
/proc/meminfo: memFree=28724936/32951124 swapFree=58212616/67111528
[pid=17117] ppid=17115 vsize=100216 CPUtime=0.69 cores=1,3,5,7
/proc/17117/stat : 17117 (scip-2.0.1.4b.l) R 17115 17117 13256 0 -1 4202496 23621 0 0 0 67 2 0 0 25 0 1 0 820579893 102621184 23540 33554432000 4194304 9163163 140735665065504 18446744073709551615 5193233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17117/statm: 25054 23540 502 1214 0 23836 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 100216
[startup+1.50069 s]
/proc/loadavg: 1.93 2.02 2.00 3/536 17118
/proc/meminfo: memFree=28611288/32951124 swapFree=58212616/67111528
[pid=17117] ppid=17115 vsize=120972 CPUtime=1.49 cores=1,3,5,7
/proc/17117/stat : 17117 (scip-2.0.1.4b.l) R 17115 17117 13256 0 -1 4202496 35316 0 0 0 146 3 0 0 25 0 1 0 820579893 123875328 28632 33554432000 4194304 9163163 140735665065504 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17117/statm: 30243 28632 530 1214 0 29025 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 120972
[startup+3.10041 s]
/proc/loadavg: 1.93 2.02 2.00 3/536 17118
/proc/meminfo: memFree=28527592/32951124 swapFree=58212616/67111528
[pid=17117] ppid=17115 vsize=231328 CPUtime=3.09 cores=1,3,5,7
/proc/17117/stat : 17117 (scip-2.0.1.4b.l) R 17115 17117 13256 0 -1 4202496 61950 0 0 0 302 7 0 0 25 0 1 0 820579893 236879872 53292 33554432000 4194304 9163163 140735665065504 18446744073709551615 7225314 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17117/statm: 57832 53292 1191 1214 0 56614 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 231328
[startup+6.30084 s]
/proc/loadavg: 1.93 2.02 2.00 3/536 17120
/proc/meminfo: memFree=28502024/32951124 swapFree=58212616/67111528
[pid=17117] ppid=17115 vsize=239600 CPUtime=6.29 cores=1,3,5,7
/proc/17117/stat : 17117 (scip-2.0.1.4b.l) R 17115 17117 13256 0 -1 4202496 66005 0 0 0 622 7 0 0 25 0 1 0 820579893 245350400 55858 33554432000 4194304 9163163 140735665065504 18446744073709551615 6284282 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17117/statm: 59900 55858 827 1214 0 58682 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 239600
[startup+12.7007 s]
/proc/loadavg: 1.94 2.02 2.00 3/536 17120
/proc/meminfo: memFree=28493872/32951124 swapFree=58212616/67111528
[pid=17117] ppid=17115 vsize=242056 CPUtime=12.69 cores=1,3,5,7
/proc/17117/stat : 17117 (scip-2.0.1.4b.l) R 17115 17117 13256 0 -1 4202496 67659 0 0 0 1261 8 0 0 25 0 1 0 820579893 247865344 57486 33554432000 4194304 9163163 140735665065504 18446744073709551615 6284261 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17117/statm: 60514 57486 802 1214 0 59296 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 242056
[startup+25.5005 s]
/proc/loadavg: 1.95 2.02 2.00 3/536 17120
/proc/meminfo: memFree=28487532/32951124 swapFree=58212616/67111528
[pid=17117] ppid=17115 vsize=250512 CPUtime=25.49 cores=1,3,5,7
/proc/17117/stat : 17117 (scip-2.0.1.4b.l) R 17115 17117 13256 0 -1 4202496 70034 0 0 0 2540 9 0 0 25 0 1 0 820579893 256524288 59817 33554432000 4194304 9163163 140735665065504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17117/statm: 62628 59817 837 1214 0 61410 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 250512
[startup+51.101 s]
/proc/loadavg: 1.97 2.01 2.00 3/536 17121
/proc/meminfo: memFree=28481332/32951124 swapFree=58212616/67111528
[pid=17117] ppid=17115 vsize=253188 CPUtime=51.09 cores=1,3,5,7
/proc/17117/stat : 17117 (scip-2.0.1.4b.l) R 17115 17117 13256 0 -1 4202496 70977 0 0 0 5091 18 0 0 25 0 1 0 820579893 259264512 60698 33554432000 4194304 9163163 140735665065504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17117/statm: 63297 60698 844 1214 0 62079 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 253188
[startup+102.301 s]
/proc/loadavg: 1.98 2.01 2.00 3/536 17123
/proc/meminfo: memFree=28490044/32951124 swapFree=58212616/67111528
[pid=17117] ppid=17115 vsize=242072 CPUtime=102.3 cores=1,3,5,7
/proc/17117/stat : 17117 (scip-2.0.1.4b.l) R 17115 17117 13256 0 -1 4202496 84581 0 0 0 10183 47 0 0 25 0 1 0 820579893 247881728 58536 33554432000 4194304 9163163 140735665065504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17117/statm: 60518 58536 720 1214 0 59300 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 242072
[startup+162.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/536 17125
/proc/meminfo: memFree=28486484/32951124 swapFree=58212616/67111528
[pid=17117] ppid=17115 vsize=242072 CPUtime=162.3 cores=1,3,5,7
/proc/17117/stat : 17117 (scip-2.0.1.4b.l) R 17115 17117 13256 0 -1 4202496 84581 0 0 0 16155 75 0 0 25 0 1 0 820579893 247881728 58536 33554432000 4194304 9163163 140735665065504 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17117/statm: 60518 58536 720 1214 0 59300 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 242072
[startup+222.321 s]
/proc/loadavg: 2.09 2.04 2.01 3/536 17126
/proc/meminfo: memFree=28488180/32951124 swapFree=58212616/67111528
[pid=17117] ppid=17115 vsize=244572 CPUtime=222.32 cores=1,3,5,7
/proc/17117/stat : 17117 (scip-2.0.1.4b.l) R 17115 17117 13256 0 -1 4202496 84656 0 0 0 22126 106 0 0 25 0 1 0 820579893 250441728 58611 33554432000 4194304 9163163 140735665065504 18446744073709551615 7348559 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17117/statm: 61143 58611 720 1214 0 59925 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 244572
[startup+282.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/536 17128
/proc/meminfo: memFree=28483284/32951124 swapFree=58212616/67111528
[pid=17117] ppid=17115 vsize=249584 CPUtime=282.3 cores=1,3,5,7
/proc/17117/stat : 17117 (scip-2.0.1.4b.l) R 17115 17117 13256 0 -1 4202496 85545 0 0 0 28100 130 0 0 25 0 1 0 820579893 255574016 59500 33554432000 4194304 9163163 140735665065504 18446744073709551615 7209930 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17117/statm: 62396 59500 721 1214 0 61178 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 249584
[startup+342.301 s]
/proc/loadavg: 2.10 2.05 2.01 3/536 17130
/proc/meminfo: memFree=28463992/32951124 swapFree=58212616/67111528
[pid=17117] ppid=17115 vsize=255716 CPUtime=342.3 cores=1,3,5,7
/proc/17117/stat : 17117 (scip-2.0.1.4b.l) R 17115 17117 13256 0 -1 4202496 87022 0 0 0 34076 154 0 0 25 0 1 0 820579893 261853184 60977 33554432000 4194304 9163163 140735665065504 18446744073709551615 7225331 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17117/statm: 63929 60977 722 1214 0 62711 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 255716
[startup+402.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/536 17131
/proc/meminfo: memFree=28445848/32951124 swapFree=58212616/67111528
[pid=17117] ppid=17115 vsize=264384 CPUtime=402.3 cores=1,3,5,7
/proc/17117/stat : 17117 (scip-2.0.1.4b.l) R 17115 17117 13256 0 -1 4202496 110500 0 0 0 40045 185 0 0 25 0 1 0 820579893 270729216 63309 33554432000 4194304 9163163 140735665065504 18446744073709551615 7224045 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17117/statm: 66096 63309 722 1214 0 64878 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 264384
[startup+462.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/536 17133
/proc/meminfo: memFree=28423972/32951124 swapFree=58212616/67111528
[pid=17117] ppid=17115 vsize=277952 CPUtime=462.3 cores=1,3,5,7
/proc/17117/stat : 17117 (scip-2.0.1.4b.l) R 17115 17117 13256 0 -1 4202496 113496 0 0 0 46023 207 0 0 25 0 1 0 820579893 284622848 66280 33554432000 4194304 9163163 140735665065504 18446744073709551615 7225490 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17117/statm: 69488 66280 739 1214 0 68270 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 277952
[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 17134
/proc/meminfo: memFree=28410296/32951124 swapFree=58212616/67111528
[pid=17117] ppid=17115 vsize=278760 CPUtime=522.3 cores=1,3,5,7
/proc/17117/stat : 17117 (scip-2.0.1.4b.l) R 17115 17117 13256 0 -1 4202496 114609 0 0 0 51999 231 0 0 25 0 1 0 820579893 285450240 67392 33554432000 4194304 9163163 140735665065504 18446744073709551615 7345662 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17117/statm: 69690 67392 738 1214 0 68472 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 278760
[startup+582.301 s]
/proc/loadavg: 1.56 1.91 1.96 2/530 17154
/proc/meminfo: memFree=28863104/32951124 swapFree=58212616/67111528
[pid=17117] ppid=17115 vsize=284968 CPUtime=582.3 cores=1,3,5,7
/proc/17117/stat : 17117 (scip-2.0.1.4b.l) R 17115 17117 13256 0 -1 4202496 115792 0 0 0 57977 253 0 0 25 0 1 0 820579893 291807232 68559 33554432000 4194304 9163163 140735665065504 18446744073709551615 7348020 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17117/statm: 71242 68559 722 1214 0 70024 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 284968
[startup+642.301 s]
################
# More data... #
################
[startup+882.321 s]
/proc/loadavg: 1.02 1.34 1.69 2/530 17162
/proc/meminfo: memFree=28832692/32951124 swapFree=58212616/67111528
[pid=17117] ppid=17115 vsize=314704 CPUtime=882.33 cores=1,3,5,7
/proc/17117/stat : 17117 (scip-2.0.1.4b.l) R 17115 17117 13256 0 -1 4202496 144282 0 0 0 87847 386 0 0 25 0 1 0 820579893 322256896 76105 33554432000 4194304 9163163 140735665065504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17117/statm: 78676 76105 727 1214 0 77458 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 314704
[startup+942.3 s]
/proc/loadavg: 1.00 1.28 1.65 2/530 17164
/proc/meminfo: memFree=28824568/32951124 swapFree=58212616/67111528
[pid=17117] ppid=17115 vsize=322748 CPUtime=942.31 cores=1,3,5,7
/proc/17117/stat : 17117 (scip-2.0.1.4b.l) R 17115 17117 13256 0 -1 4202496 146476 0 0 0 93821 410 0 0 25 0 1 0 820579893 330493952 78280 33554432000 4194304 9163163 140735665065504 18446744073709551615 7224016 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17117/statm: 80687 78280 727 1214 0 79469 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 322748
[startup+1002.3 s]
/proc/loadavg: 1.00 1.23 1.60 2/530 17165
/proc/meminfo: memFree=28817460/32951124 swapFree=58212616/67111528
[pid=17117] ppid=17115 vsize=330960 CPUtime=1002.32 cores=1,3,5,7
/proc/17117/stat : 17117 (scip-2.0.1.4b.l) R 17115 17117 13256 0 -1 4202496 148339 0 0 0 99797 435 0 0 25 0 1 0 820579893 338903040 80131 33554432000 4194304 9163163 140735665065504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17117/statm: 82740 80131 727 1214 0 81522 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 330960
[startup+1062.3 s]
/proc/loadavg: 1.00 1.18 1.56 2/530 17167
/proc/meminfo: memFree=28809212/32951124 swapFree=58212616/67111528
[pid=17117] ppid=17115 vsize=339020 CPUtime=1062.32 cores=1,3,5,7
/proc/17117/stat : 17117 (scip-2.0.1.4b.l) R 17115 17117 13256 0 -1 4202496 150349 0 0 0 105769 463 0 0 25 0 1 0 820579893 347156480 82141 33554432000 4194304 9163163 140735665065504 18446744073709551615 7046718 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17117/statm: 84755 82141 727 1214 0 83537 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 339020
[startup+1122.3 s]
/proc/loadavg: 1.00 1.15 1.53 2/530 17168
/proc/meminfo: memFree=28799756/32951124 swapFree=58212616/67111528
[pid=17117] ppid=17115 vsize=349480 CPUtime=1122.32 cores=1,3,5,7
/proc/17117/stat : 17117 (scip-2.0.1.4b.l) R 17115 17117 13256 0 -1 4202496 152713 0 0 0 111743 489 0 0 25 0 1 0 820579893 357867520 84505 33554432000 4194304 9163163 140735665065504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17117/statm: 87370 84505 727 1214 0 86152 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 349480
[startup+1182.3 s]
/proc/loadavg: 1.00 1.12 1.49 2/530 17170
/proc/meminfo: memFree=28791532/32951124 swapFree=58212616/67111528
[pid=17117] ppid=17115 vsize=359300 CPUtime=1182.31 cores=1,3,5,7
/proc/17117/stat : 17117 (scip-2.0.1.4b.l) R 17115 17117 13256 0 -1 4202496 154677 0 0 0 117719 512 0 0 25 0 1 0 820579893 367923200 86464 33554432000 4194304 9163163 140735665065504 18446744073709551615 7224016 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17117/statm: 89825 86464 726 1214 0 88607 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 359300
[startup+1242.3 s]
/proc/loadavg: 1.00 1.09 1.45 2/530 17172
/proc/meminfo: memFree=28783528/32951124 swapFree=58212616/67111528
[pid=17117] ppid=17115 vsize=364624 CPUtime=1242.32 cores=1,3,5,7
/proc/17117/stat : 17117 (scip-2.0.1.4b.l) R 17115 17117 13256 0 -1 4202496 156524 0 0 0 123693 539 0 0 25 0 1 0 820579893 373374976 88299 33554432000 4194304 9163163 140735665065504 18446744073709551615 7225486 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17117/statm: 91156 88299 724 1214 0 89938 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 364624
[startup+1302.3 s]
/proc/loadavg: 1.04 1.09 1.43 2/530 17173
/proc/meminfo: memFree=28772204/32951124 swapFree=58212616/67111528
[pid=17117] ppid=17115 vsize=376256 CPUtime=1302.32 cores=1,3,5,7
/proc/17117/stat : 17117 (scip-2.0.1.4b.l) R 17115 17117 13256 0 -1 4202496 159366 0 0 0 129664 568 0 0 25 0 1 0 820579893 385286144 91118 33554432000 4194304 9163163 140735665065504 18446744073709551615 7209994 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17117/statm: 94064 91118 738 1214 0 92846 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 376256
[startup+1362.3 s]
/proc/loadavg: 1.05 1.08 1.41 2/530 17175
/proc/meminfo: memFree=28764952/32951124 swapFree=58212616/67111528
[pid=17117] ppid=17115 vsize=382248 CPUtime=1362.32 cores=1,3,5,7
/proc/17117/stat : 17117 (scip-2.0.1.4b.l) R 17115 17117 13256 0 -1 4202496 161467 0 0 0 135640 592 0 0 25 0 1 0 820579893 391421952 93206 33554432000 4194304 9163163 140735665065504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17117/statm: 95562 93206 726 1214 0 94344 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 382248
[startup+1422.3 s]
/proc/loadavg: 1.02 1.06 1.37 2/530 17176
/proc/meminfo: memFree=28759472/32951124 swapFree=58212616/67111528
[pid=17117] ppid=17115 vsize=390644 CPUtime=1422.34 cores=1,3,5,7
/proc/17117/stat : 17117 (scip-2.0.1.4b.l) R 17115 17117 13256 0 -1 4202496 162839 0 0 0 141615 619 0 0 25 0 1 0 820579893 400019456 94577 33554432000 4194304 9163163 140735665065504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17117/statm: 97661 94577 725 1214 0 96443 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 390644
[startup+1482.3 s]
/proc/loadavg: 1.00 1.05 1.35 2/530 17178
/proc/meminfo: memFree=28756200/32951124 swapFree=58212616/67111528
[pid=17117] ppid=17115 vsize=390644 CPUtime=1482.33 cores=1,3,5,7
/proc/17117/stat : 17117 (scip-2.0.1.4b.l) R 17115 17117 13256 0 -1 4202496 163551 0 0 0 147590 643 0 0 25 0 1 0 820579893 400019456 95289 33554432000 4194304 9163163 140735665065504 18446744073709551615 7345723 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17117/statm: 97661 95289 725 1214 0 96443 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 390644
[startup+1542.32 s]
/proc/loadavg: 1.00 1.04 1.33 2/530 17180
/proc/meminfo: memFree=28754796/32951124 swapFree=58212616/67111528
[pid=17117] ppid=17115 vsize=393752 CPUtime=1542.34 cores=1,3,5,7
/proc/17117/stat : 17117 (scip-2.0.1.4b.l) R 17115 17117 13256 0 -1 4202496 166973 0 0 0 153565 669 0 0 25 0 1 0 820579893 403202048 95820 33554432000 4194304 9163163 140735665065504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17117/statm: 98438 95820 724 1214 0 97220 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 393752
[startup+1602.3 s]
/proc/loadavg: 1.00 1.03 1.30 2/530 17181
/proc/meminfo: memFree=28743696/32951124 swapFree=58212616/67111528
[pid=17117] ppid=17115 vsize=403752 CPUtime=1602.32 cores=1,3,5,7
/proc/17117/stat : 17117 (scip-2.0.1.4b.l) R 17115 17117 13256 0 -1 4202496 169664 0 0 0 159539 693 0 0 25 0 1 0 820579893 413442048 98494 33554432000 4194304 9163163 140735665065504 18446744073709551615 7225472 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17117/statm: 100938 98494 723 1214 0 99720 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 403752
[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.28 2/530 17183
/proc/meminfo: memFree=28737956/32951124 swapFree=58212616/67111528
[pid=17117] ppid=17115 vsize=410300 CPUtime=1662.33 cores=1,3,5,7
/proc/17117/stat : 17117 (scip-2.0.1.4b.l) R 17115 17117 13256 0 -1 4202496 191978 0 0 0 165511 722 0 0 25 0 1 0 820579893 420147200 99932 33554432000 4194304 9163163 140735665065504 18446744073709551615 7238123 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17117/statm: 102575 99932 729 1214 0 101357 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 410300
[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 1.26 2/530 17184
/proc/meminfo: memFree=28725760/32951124 swapFree=58212616/67111528
[pid=17117] ppid=17115 vsize=422032 CPUtime=1722.33 cores=1,3,5,7
/proc/17117/stat : 17117 (scip-2.0.1.4b.l) R 17115 17117 13256 0 -1 4202496 195035 0 0 0 171484 749 0 0 25 0 1 0 820579893 432160768 102981 33554432000 4194304 9163163 140735665065504 18446744073709551615 7382573 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17117/statm: 105508 102981 725 1214 0 104290 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 422032
[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.24 2/530 17186
/proc/meminfo: memFree=28717416/32951124 swapFree=58212616/67111528
[pid=17117] ppid=17115 vsize=429416 CPUtime=1782.33 cores=1,3,5,7
/proc/17117/stat : 17117 (scip-2.0.1.4b.l) R 17115 17117 13256 0 -1 4202496 196845 0 0 0 177457 776 0 0 25 0 1 0 820579893 439721984 104781 33554432000 4194304 9163163 140735665065504 18446744073709551615 7375696 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17117/statm: 107354 104781 722 1214 0 106136 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 429416
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.00 1.01 1.24 2/530 17186
/proc/meminfo: memFree=28715032/32951124 swapFree=58212616/67111528
[pid=17117] ppid=17115 vsize=433060 CPUtime=1800.04 cores=1,3,5,7
/proc/17117/stat : 17117 (scip-2.0.1.4b.l) R 17115 17117 13256 0 -1 4202496 197625 0 0 0 179221 783 0 0 25 0 1 0 820579893 443453440 105561 33554432000 4194304 9163163 140735665065504 18446744073709551615 4693216 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17117/statm: 108265 105561 722 1214 0 107047 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 433060
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.00 1.01 1.24 2/530 17186
/proc/meminfo: memFree=28715032/32951124 swapFree=58212616/67111528
[pid=17117] ppid=17115 vsize=433060 CPUtime=1800.04 cores=1,3,5,7
/proc/17117/stat : 17117 (scip-2.0.1.4b.l) R 17115 17117 13256 0 -1 4202496 197625 0 0 0 179221 783 0 0 25 0 1 0 820579893 443453440 105561 33554432000 4194304 9163163 140735665065504 18446744073709551615 4693216 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17117/statm: 108265 105561 722 1214 0 107047 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 433060
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.04
CPU time (s): 1800.08
CPU user time (s): 1792.22
CPU system time (s): 7.85681
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 473412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.22
system time used= 7.8568
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 197625
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 5640
runsolver used 8.5777 second user time and 22.9735 second system time
The end