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-3451054-1307088850.opb>
0.49/0.54 c original problem has 1272 variables (1272 bin, 0 int, 0 impl, 0 cont) and 94308 constraints
0.49/0.54 c problem read
0.49/0.54 c presolving settings loaded
0.59/0.65 o 0
0.59/0.65 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.59/0.65 c presolving:
0.99/1.05 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 94308 upgd conss, 188616 impls, 0 clqs
2.39/2.43 c (2.4s) probing: 101/1272 (7.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.39/2.43 c (2.4s) probing aborted: 100/100 successive totally useless probings
2.39/2.43 c presolving (2 rounds):
2.39/2.43 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.39/2.43 c 188616 implications, 0 cliques
2.39/2.43 c presolved problem has 1272 variables (1272 bin, 0 int, 0 impl, 0 cont) and 94308 constraints
2.39/2.43 c 94308 constraints of type <setppc>
2.39/2.43 c transformed objective value is always integral (scale: 1)
2.39/2.43 c Presolving Time: 1.80
2.39/2.43 c - non default parameters ----------------------------------------------------------------------
2.39/2.43 c # SCIP version 2.0.1.5
2.39/2.43 c
2.39/2.43 c # frequency for displaying node information lines
2.39/2.43 c # [type: int, range: [-1,2147483647], default: 100]
2.39/2.43 c display/freq = 10000
2.39/2.43 c
2.39/2.43 c # maximal time in seconds to run
2.39/2.43 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.43 c limits/time = 1800
2.39/2.43 c
2.39/2.43 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.39/2.43 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.43 c limits/memory = 13950
2.39/2.43 c
2.39/2.43 c # default clock type (1: CPU user seconds, 2: wall clock time)
2.39/2.43 c # [type: int, range: [1,2], default: 1]
2.39/2.43 c timing/clocktype = 2
2.39/2.43 c
2.39/2.43 c # belongs reading time to solving time?
2.39/2.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.43 c timing/reading = TRUE
2.39/2.43 c
2.39/2.43 c # should presolving try to simplify inequalities
2.39/2.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.43 c constraints/linear/simplifyinequalities = TRUE
2.39/2.43 c
2.39/2.43 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
2.39/2.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.43 c constraints/indicator/addCouplingCons = TRUE
2.39/2.43 c
2.39/2.43 c # should presolving try to simplify knapsacks
2.39/2.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.43 c constraints/knapsack/simplifyinequalities = TRUE
2.39/2.43 c
2.39/2.43 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.39/2.43 c # [type: int, range: [-1,2147483647], default: -1]
2.39/2.43 c separating/rapidlearning/freq = 0
2.39/2.43 c
2.39/2.43 c -----------------------------------------------------------------------------------------------
2.39/2.43 c start solving
2.39/2.43 c
4.29/4.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.29/4.31 c t 4.3s| 1 | 0 | 1272 | - | 116M| 0 |1272 |1272 | 94k|1272 | 94k| 0 | 0 | 0 |-6.360000e+02 | 0.000000e+00 | 100.00%
4.29/4.38 o -1
4.29/4.38 c R 4.4s| 1 | 0 | 1272 | - | 116M| 0 |1272 |1272 | 94k|1272 | 94k| 0 | 0 | 0 |-6.360000e+02 |-1.000000e+00 | 99.84%
6.09/6.18 c 6.2s| 1 | 0 | 1601 | - | 116M| 0 |1205 |1272 | 94k|1272 | 94k| 6 | 0 | 0 |-6.025000e+02 |-1.000000e+00 | 99.83%
6.19/6.21 o -38
6.19/6.21 c b 6.2s| 1 | 0 | 1601 | - | 116M| 0 |1205 |1272 | 94k|1272 | 94k| 6 | 0 | 0 |-6.025000e+02 |-3.800000e+01 | 93.69%
8.59/8.63 c 8.6s| 1 | 0 | 1720 | - | 116M| 0 |1139 |1272 | 94k|1272 | 94k| 31 | 0 | 0 |-5.695000e+02 |-3.800000e+01 | 93.33%
12.26/12.33 c 12.3s| 1 | 0 | 1990 | - | 116M| 0 |1054 |1272 | 94k|1272 | 94k| 61 | 0 | 0 |-5.260000e+02 |-3.800000e+01 | 92.78%
16.76/16.88 c 16.9s| 1 | 0 | 2141 | - | 116M| 0 |1004 |1272 | 94k|1272 | 94k| 73 | 0 | 0 |-5.010000e+02 |-3.800000e+01 | 92.42%
21.37/21.44 c 21.4s| 1 | 0 | 2304 | - | 116M| 0 | 964 |1272 | 94k|1272 | 94k| 80 | 0 | 0 |-4.810000e+02 |-3.800000e+01 | 92.10%
26.37/26.50 c 26.5s| 1 | 0 | 2400 | - | 116M| 0 | 942 |1272 | 94k|1272 | 94k| 88 | 0 | 0 |-4.700000e+02 |-3.800000e+01 | 91.91%
32.17/32.22 c 32.2s| 1 | 0 | 2683 | - | 116M| 0 | 902 |1272 | 94k|1272 | 94k| 98 | 0 | 0 |-4.510000e+02 |-3.800000e+01 | 91.57%
37.87/37.97 c 38.0s| 1 | 0 | 3127 | - | 116M| 0 | 856 |1272 | 94k|1272 | 94k| 107 | 0 | 0 |-4.262500e+02 |-3.800000e+01 | 91.09%
43.47/43.51 c 43.5s| 1 | 0 | 3390 | - | 116M| 0 | 810 |1272 | 94k|1272 | 94k| 119 | 0 | 0 |-4.032500e+02 |-3.800000e+01 | 90.58%
48.86/48.92 c 48.9s| 1 | 0 | 3656 | - | 116M| 0 | 761 |1272 | 94k|1272 | 94k| 130 | 0 | 0 |-3.792500e+02 |-3.800000e+01 | 89.98%
49.97/50.02 c 50.0s| 1 | 0 | 3883 | - | 116M| 0 | 719 |1272 | 94k|1272 | 94k| 141 | 0 | 0 |-3.587500e+02 |-3.800000e+01 | 89.41%
50.86/50.96 c 51.0s| 1 | 0 | 4037 | - | 116M| 0 | 670 |1272 | 94k|1272 | 94k| 156 | 0 | 0 |-3.350000e+02 |-3.800000e+01 | 88.66%
52.37/52.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
52.37/52.42 c 52.4s| 1 | 0 | 4743 | - | 116M| 0 | 624 |1272 | 94k|1272 | 94k| 168 | 0 | 0 |-3.120000e+02 |-3.800000e+01 | 87.82%
53.47/53.54 c 53.5s| 1 | 0 | 5070 | - | 116M| 0 | 560 |1272 | 94k|1272 | 94k| 188 | 0 | 0 |-2.790000e+02 |-3.800000e+01 | 86.38%
55.76/55.84 c 55.8s| 1 | 0 | 6802 | - | 116M| 0 | 514 |1272 | 94k|1272 | 94k| 204 | 0 | 0 |-2.570000e+02 |-3.800000e+01 | 85.21%
57.07/57.13 c 57.1s| 1 | 0 | 7497 | - | 116M| 0 | 463 |1272 | 94k|1272 | 94k| 219 | 0 | 0 |-2.315000e+02 |-3.800000e+01 | 83.59%
58.56/58.62 c 58.6s| 1 | 0 | 8386 | - | 116M| 0 | 422 |1272 | 94k|1272 | 94k| 232 | 0 | 0 |-2.110000e+02 |-3.800000e+01 | 81.99%
61.06/61.10 c 61.1s| 1 | 0 | 9738 | - | 116M| 0 | 398 |1272 | 94k|1272 | 94k| 242 | 0 | 0 |-1.988333e+02 |-3.800000e+01 | 80.89%
65.97/66.10 c 66.1s| 1 | 0 | 13634 | - | 117M| 0 | 375 |1272 | 94k|1272 | 94k| 256 | 0 | 0 |-1.867500e+02 |-3.800000e+01 | 79.65%
67.57/67.68 c 67.7s| 1 | 0 | 14534 | - | 117M| 0 | 339 |1272 | 94k|1272 | 94k| 263 | 0 | 0 |-1.687500e+02 |-3.800000e+01 | 77.48%
68.18/68.29 c 68.3s| 1 | 0 | 14730 | - | 117M| 0 | 318 |1272 | 94k|1272 | 94k| 274 | 0 | 0 |-1.582500e+02 |-3.800000e+01 | 75.99%
70.49/70.57 c 70.6s| 1 | 0 | 16605 | - | 117M| 0 | 280 |1272 | 94k|1272 | 94k| 286 | 0 | 0 |-1.385000e+02 |-3.800000e+01 | 72.56%
74.16/74.28 c 74.3s| 1 | 0 | 19605 | - | 117M| 0 | 243 |1272 | 94k|1272 | 94k| 298 | 0 | 0 |-1.200000e+02 |-3.800000e+01 | 68.33%
74.66/74.75 c 74.7s| 1 | 0 | 19708 | - | 117M| 0 | 226 |1272 | 94k|1272 | 94k| 307 | 0 | 0 |-1.105000e+02 |-3.800000e+01 | 65.61%
75.98/76.06 c 76.1s| 1 | 0 | 21128 | - | 117M| 0 | 190 |1272 | 94k|1272 | 94k| 318 | 0 | 0 |-9.500000e+01 |-3.800000e+01 | 60.00%
76.46/76.56 c 76.6s| 1 | 0 | 21290 | - | 117M| 0 | 198 |1272 | 94k|1272 | 94k| 328 | 0 | 0 |-8.600000e+01 |-3.800000e+01 | 55.81%
77.16/77.21 c 77.2s| 1 | 0 | 21616 | - | 117M| 0 | 195 |1272 | 94k|1272 | 94k| 337 | 0 | 0 |-7.860000e+01 |-3.800000e+01 | 51.65%
77.77/77.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.77/77.81 c 77.8s| 1 | 0 | 21871 | - | 117M| 0 | 153 |1272 | 94k|1272 | 94k| 348 | 0 | 0 |-6.400000e+01 |-3.800000e+01 | 40.62%
78.37/78.47 c 78.5s| 1 | 0 | 22116 | - | 117M| 0 | 134 |1272 | 94k|1272 | 94k| 358 | 0 | 0 |-5.700000e+01 |-3.800000e+01 | 33.33%
78.96/79.00 c 79.0s| 1 | 0 | 22217 | - | 117M| 0 | 180 |1272 | 94k|1272 | 94k| 364 | 0 | 0 |-5.300000e+01 |-3.800000e+01 | 28.30%
83.47/83.59 c 83.6s| 1 | 0 | 23152 | - | 117M| 0 | 195 |1272 | 94k|1272 | 94k| 378 | 0 | 0 |-5.300000e+01 |-3.800000e+01 | 28.30%
84.37/84.41 c 84.4s| 1 | 0 | 23338 | - | 117M| 0 | 165 |1272 | 94k|1272 | 94k| 390 | 0 | 0 |-5.300000e+01 |-3.800000e+01 | 28.30%
85.37/85.42 c 85.4s| 1 | 0 | 23489 | - | 117M| 0 | 203 |1272 | 94k|1272 | 94k| 402 | 0 | 0 |-5.300000e+01 |-3.800000e+01 | 28.30%
86.37/86.49 c 86.5s| 1 | 0 | 23756 | - | 117M| 0 | 211 |1272 | 94k|1272 | 94k| 411 | 0 | 0 |-5.300000e+01 |-3.800000e+01 | 28.30%
105.58/105.71 c 106s| 1 | 0 | 24214 | - | 117M| 0 | 188 |1272 | 94k|1272 | 94k| 426 | 0 | 0 |-5.300000e+01 |-3.800000e+01 | 28.30%
126.47/126.55 c 127s| 1 | 2 | 24214 | - | 117M| 0 | 188 |1272 | 94k|1272 | 94k| 426 | 0 | 26 |-5.300000e+01 |-3.800000e+01 | 28.30%
211.87/211.97 o -41
211.87/211.97 c c 212s| 16 | 17 | 27940 | 248.4 | 120M| 15 | - |1272 | 94k|1272 | 94k| 426 | 0 | 386 |-5.300000e+01 |-4.100000e+01 | 22.64%
238.57/238.69 o -42
238.57/238.69 c p 239s| 28 | 29 | 28960 | 175.8 | 122M| 15 | - |1272 | 94k|1272 | 94k| 426 | 0 | 578 |-5.300000e+01 |-4.200000e+01 | 20.75%
315.97/316.08 o -43
315.97/316.08 c l 316s| 93 | 94 | 38332 | 153.5 | 126M| 24 | - |1272 | 94k|1272 | 94k| 426 | 0 | 951 |-5.300000e+01 |-4.300000e+01 | 18.87%
322.17/322.31 o -44
322.17/322.31 c p 322s| 132 | 129 | 42401 | 138.8 | 128M| 24 | - |1272 | 94k|1272 | 94k| 426 | 0 | 951 |-5.300000e+01 |-4.400000e+01 | 16.98%
383.37/383.41 o -45
383.37/383.41 c l 383s| 399 | 361 | 70393 | 116.0 | 139M| 33 | - |1272 | 94k|1272 | 94k| 426 | 0 |1037 |-5.300000e+01 |-4.500000e+01 | 15.09%
688.38/688.47 o -47
688.38/688.47 c p 688s| 1475 | 1285 |207350 | 124.2 | 175M| 38 | - |1272 | 94k|1272 | 94k| 426 | 0 |1430 |-5.300000e+01 |-4.700000e+01 | 11.32%
1800.02/1800.00 c
1800.02/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.02/1800.00 c Solving Time (sec) : 1800.00
1800.02/1800.00 c Solving Nodes : 4433
1800.02/1800.00 c Primal Bound : -4.70000000000000e+01 (531 solutions)
1800.02/1800.00 c Dual Bound : -5.29999999999999e+01
1800.02/1800.00 c Gap : 11.32 %
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-3451054-1307088850/watcher-3451054-1307088850 -o /tmp/evaluation-result-3451054-1307088850/solver-3451054-1307088850 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451054-1307088850.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.03 2.05 2.00 2/453 15910
/proc/meminfo: memFree=31729424/32951124 swapFree=55639044/67111528
[pid=15910] ppid=15908 vsize=14404 CPUtime=0 cores=1,3,5,7
/proc/15910/stat : 15910 (scip-2.0.1.4b.l) R 15908 15910 12722 0 -1 4202496 2574 0 0 0 0 0 0 0 21 0 1 0 820482896 14749696 2528 33554432000 4194304 9163163 140736290516768 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/15910/statm: 3601 2528 395 1214 0 2383 0
[startup+0.100063 s]
/proc/loadavg: 2.03 2.05 2.00 2/453 15910
/proc/meminfo: memFree=31729424/32951124 swapFree=55639044/67111528
[pid=15910] ppid=15908 vsize=21080 CPUtime=0.09 cores=1,3,5,7
/proc/15910/stat : 15910 (scip-2.0.1.4b.l) R 15908 15910 12722 0 -1 4202496 4269 0 0 0 9 0 0 0 21 0 1 0 820482896 21585920 4223 33554432000 4194304 9163163 140736290516768 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/15910/statm: 5270 4223 395 1214 0 4052 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21080
[startup+0.201031 s]
/proc/loadavg: 2.03 2.05 2.00 2/453 15910
/proc/meminfo: memFree=31729424/32951124 swapFree=55639044/67111528
[pid=15910] ppid=15908 vsize=27044 CPUtime=0.19 cores=1,3,5,7
/proc/15910/stat : 15910 (scip-2.0.1.4b.l) R 15908 15910 12722 0 -1 4202496 5756 0 0 0 19 0 0 0 22 0 1 0 820482896 27693056 5710 33554432000 4194304 9163163 140736290516768 18446744073709551615 7962053 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/15910/statm: 6761 5710 395 1214 0 5543 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27044
[startup+0.301012 s]
/proc/loadavg: 2.03 2.05 2.00 2/453 15910
/proc/meminfo: memFree=31729424/32951124 swapFree=55639044/67111528
[pid=15910] ppid=15908 vsize=33956 CPUtime=0.29 cores=1,3,5,7
/proc/15910/stat : 15910 (scip-2.0.1.4b.l) R 15908 15910 12722 0 -1 4202496 7485 0 0 0 29 0 0 0 22 0 1 0 820482896 34770944 7439 33554432000 4194304 9163163 140736290516768 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/15910/statm: 8489 7439 395 1214 0 7271 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33956
[startup+0.700943 s]
/proc/loadavg: 2.03 2.05 2.00 2/453 15910
/proc/meminfo: memFree=31729424/32951124 swapFree=55639044/67111528
[pid=15910] ppid=15908 vsize=109120 CPUtime=0.69 cores=1,3,5,7
/proc/15910/stat : 15910 (scip-2.0.1.4b.l) R 15908 15910 12722 0 -1 4202496 25776 0 0 0 66 3 0 0 25 0 1 0 820482896 111738880 25702 33554432000 4194304 9163163 140736290516768 18446744073709551615 18446744073699066094 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15910/statm: 27280 25702 502 1214 0 26062 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 109120
[startup+1.50081 s]
/proc/loadavg: 2.03 2.05 2.00 3/454 15911
/proc/meminfo: memFree=31586072/32951124 swapFree=55639044/67111528
[pid=15910] ppid=15908 vsize=151012 CPUtime=1.49 cores=1,3,5,7
/proc/15910/stat : 15910 (scip-2.0.1.4b.l) R 15908 15910 12722 0 -1 4202496 44713 0 0 0 144 5 0 0 25 0 1 0 820482896 154636288 36039 33554432000 4194304 9163163 140736290516768 18446744073709551615 4794560 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15910/statm: 37753 36039 530 1214 0 36535 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 151012
[startup+3.1005 s]
/proc/loadavg: 2.03 2.05 2.00 3/454 15911
/proc/meminfo: memFree=31585080/32951124 swapFree=55639044/67111528
[pid=15910] ppid=15908 vsize=257248 CPUtime=3.09 cores=1,3,5,7
/proc/15910/stat : 15910 (scip-2.0.1.4b.l) R 15908 15910 12722 0 -1 4202496 69142 0 0 0 302 7 0 0 25 0 1 0 820482896 263421952 59784 33554432000 4194304 9163163 140736290516768 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15910/statm: 64312 59784 841 1214 0 63094 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 257248
[startup+6.30093 s]
/proc/loadavg: 2.03 2.04 2.00 3/454 15911
/proc/meminfo: memFree=31466292/32951124 swapFree=55639044/67111528
[pid=15910] ppid=15908 vsize=283376 CPUtime=6.29 cores=1,3,5,7
/proc/15910/stat : 15910 (scip-2.0.1.4b.l) R 15908 15910 12722 0 -1 4202496 79280 0 0 0 621 8 0 0 25 0 1 0 820482896 290177024 67034 33554432000 4194304 9163163 140736290516768 18446744073709551615 5843837 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15910/statm: 70844 67034 1241 1214 0 69626 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 283376
[startup+12.7008 s]
/proc/loadavg: 2.03 2.04 2.00 3/454 15911
/proc/meminfo: memFree=31454452/32951124 swapFree=55639044/67111528
[pid=15910] ppid=15908 vsize=285364 CPUtime=12.66 cores=1,3,5,7
/proc/15910/stat : 15910 (scip-2.0.1.4b.l) R 15908 15910 12722 0 -1 4202496 81095 0 0 0 1257 9 0 0 25 0 1 0 820482896 292212736 68611 33554432000 4194304 9163163 140736290516768 18446744073709551615 6668656 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15910/statm: 71341 68611 1006 1214 0 70123 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 285364
[startup+25.5004 s]
/proc/loadavg: 2.02 2.04 2.00 3/454 15912
/proc/meminfo: memFree=31467612/32951124 swapFree=55639044/67111528
[pid=15910] ppid=15908 vsize=286696 CPUtime=25.47 cores=1,3,5,7
/proc/15910/stat : 15910 (scip-2.0.1.4b.l) R 15908 15910 12722 0 -1 4202496 81307 0 0 0 2537 10 0 0 25 0 1 0 820482896 293576704 68756 33554432000 4194304 9163163 140736290516768 18446744073709551615 6284261 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15910/statm: 71674 68756 939 1214 0 70456 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 286696
[startup+51.1008 s]
/proc/loadavg: 2.01 2.04 2.00 3/454 15912
/proc/meminfo: memFree=31466596/32951124 swapFree=55639044/67111528
[pid=15910] ppid=15908 vsize=286696 CPUtime=51.07 cores=1,3,5,7
/proc/15910/stat : 15910 (scip-2.0.1.4b.l) R 15908 15910 12722 0 -1 4202496 81648 0 0 0 5094 13 0 0 25 0 1 0 820482896 293576704 68907 33554432000 4194304 9163163 140736290516768 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15910/statm: 71674 68907 750 1214 0 70456 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 286696
[startup+102.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/454 15914
/proc/meminfo: memFree=31459504/32951124 swapFree=55639044/67111528
[pid=15910] ppid=15908 vsize=292780 CPUtime=102.28 cores=1,3,5,7
/proc/15910/stat : 15910 (scip-2.0.1.4b.l) R 15908 15910 12722 0 -1 4202496 83231 0 0 0 10196 32 0 0 25 0 1 0 820482896 299806720 70415 33554432000 4194304 9163163 140736290516768 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15910/statm: 73195 70415 726 1214 0 71977 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 292780
[startup+162.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/454 15915
/proc/meminfo: memFree=31417260/32951124 swapFree=55639044/67111528
[pid=15910] ppid=15908 vsize=322776 CPUtime=162.27 cores=1,3,5,7
/proc/15910/stat : 15910 (scip-2.0.1.4b.l) R 15908 15910 12722 0 -1 4202496 100308 0 0 0 16168 59 0 0 25 0 1 0 820482896 330522624 79178 33554432000 4194304 9163163 140736290516768 18446744073709551615 7348526 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15910/statm: 80694 79178 708 1214 0 79476 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 322776
[startup+222.318 s]
/proc/loadavg: 2.07 2.04 2.00 3/454 15917
/proc/meminfo: memFree=31409164/32951124 swapFree=55639044/67111528
[pid=15910] ppid=15908 vsize=322776 CPUtime=222.29 cores=1,3,5,7
/proc/15910/stat : 15910 (scip-2.0.1.4b.l) R 15908 15910 12722 0 -1 4202496 100308 0 0 0 22148 81 0 0 25 0 1 0 820482896 330522624 79178 33554432000 4194304 9163163 140736290516768 18446744073709551615 7375711 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15910/statm: 80694 79178 708 1214 0 79476 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 322776
[startup+282.301 s]
/proc/loadavg: 2.09 2.04 2.00 3/454 15919
/proc/meminfo: memFree=31401804/32951124 swapFree=55639044/67111528
[pid=15910] ppid=15908 vsize=322776 CPUtime=282.27 cores=1,3,5,7
/proc/15910/stat : 15910 (scip-2.0.1.4b.l) R 15908 15910 12722 0 -1 4202496 100308 0 0 0 28127 100 0 0 25 0 1 0 820482896 330522624 79178 33554432000 4194304 9163163 140736290516768 18446744073709551615 7224064 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15910/statm: 80694 79178 708 1214 0 79476 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 322776
[startup+342.301 s]
/proc/loadavg: 2.08 2.05 2.00 3/454 15920
/proc/meminfo: memFree=31393828/32951124 swapFree=55639044/67111528
[pid=15910] ppid=15908 vsize=322776 CPUtime=342.27 cores=1,3,5,7
/proc/15910/stat : 15910 (scip-2.0.1.4b.l) R 15908 15910 12722 0 -1 4202496 100309 0 0 0 34106 121 0 0 25 0 1 0 820482896 330522624 79179 33554432000 4194304 9163163 140736290516768 18446744073709551615 7345702 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15910/statm: 80694 79179 709 1214 0 79476 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 322776
[startup+402.301 s]
/proc/loadavg: 2.10 2.07 2.01 3/454 15922
/proc/meminfo: memFree=31383640/32951124 swapFree=55639044/67111528
[pid=15910] ppid=15908 vsize=322776 CPUtime=402.27 cores=1,3,5,7
/proc/15910/stat : 15910 (scip-2.0.1.4b.l) R 15908 15910 12722 0 -1 4202496 114661 0 0 0 40080 147 0 0 25 0 1 0 820482896 330522624 79217 33554432000 4194304 9163163 140736290516768 18446744073709551615 7345690 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15910/statm: 80694 79217 713 1214 0 79476 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 322776
[startup+462.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/454 15923
/proc/meminfo: memFree=31371448/32951124 swapFree=55639044/67111528
[pid=15910] ppid=15908 vsize=322776 CPUtime=462.28 cores=1,3,5,7
/proc/15910/stat : 15910 (scip-2.0.1.4b.l) R 15908 15910 12722 0 -1 4202496 114662 0 0 0 46060 168 0 0 25 0 1 0 820482896 330522624 79218 33554432000 4194304 9163163 140736290516768 18446744073709551615 5923679 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15910/statm: 80694 79218 713 1214 0 79476 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 322776
[startup+522.301 s]
/proc/loadavg: 2.11 2.07 2.01 3/454 15925
/proc/meminfo: memFree=31366344/32951124 swapFree=55639044/67111528
[pid=15910] ppid=15908 vsize=322776 CPUtime=522.28 cores=1,3,5,7
/proc/15910/stat : 15910 (scip-2.0.1.4b.l) R 15908 15910 12722 0 -1 4202496 114662 0 0 0 52041 187 0 0 25 0 1 0 820482896 330522624 79218 33554432000 4194304 9163163 140736290516768 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15910/statm: 80694 79218 713 1214 0 79476 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 322776
[startup+582.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/454 15927
/proc/meminfo: memFree=31355772/32951124 swapFree=55639044/67111528
[pid=15910] ppid=15908 vsize=331624 CPUtime=582.28 cores=1,3,5,7
/proc/15910/stat : 15910 (scip-2.0.1.4b.l) R 15908 15910 12722 0 -1 4202496 115006 0 0 0 58022 206 0 0 25 0 1 0 820482896 339582976 79562 33554432000 4194304 9163163 140736290516768 18446744073709551615 7110296 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15910/statm: 82906 79562 713 1214 0 81688 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 331624
[startup+642.3 s]
################
# More data... #
################
[startup+882.318 s]
/proc/loadavg: 2.07 2.03 2.00 3/454 15935
/proc/meminfo: memFree=31281632/32951124 swapFree=55639044/67111528
[pid=15910] ppid=15908 vsize=359080 CPUtime=882.3 cores=1,3,5,7
/proc/15910/stat : 15910 (scip-2.0.1.4b.l) R 15908 15910 12722 0 -1 4202496 127176 0 0 0 87933 297 0 0 25 0 1 0 820482896 367697920 86682 33554432000 4194304 9163163 140736290516768 18446744073709551615 7225490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15910/statm: 89770 86682 713 1214 0 88552 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 359080
[startup+942.301 s]
/proc/loadavg: 2.08 2.04 2.00 3/454 15936
/proc/meminfo: memFree=31267224/32951124 swapFree=55639044/67111528
[pid=15910] ppid=15908 vsize=361528 CPUtime=942.29 cores=1,3,5,7
/proc/15910/stat : 15910 (scip-2.0.1.4b.l) R 15908 15910 12722 0 -1 4202496 128371 0 0 0 93914 315 0 0 25 0 1 0 820482896 370204672 87877 33554432000 4194304 9163163 140736290516768 18446744073709551615 7225280 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15910/statm: 90382 87877 713 1214 0 89164 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 361528
[startup+1002.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/454 15938
/proc/meminfo: memFree=31251072/32951124 swapFree=55639044/67111528
[pid=15910] ppid=15908 vsize=367412 CPUtime=1002.29 cores=1,3,5,7
/proc/15910/stat : 15910 (scip-2.0.1.4b.l) R 15908 15910 12722 0 -1 4202496 129642 0 0 0 99893 336 0 0 25 0 1 0 820482896 376229888 89148 33554432000 4194304 9163163 140736290516768 18446744073709551615 7225331 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15910/statm: 91853 89148 713 1214 0 90635 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 367412
[startup+1062.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/454 15939
/proc/meminfo: memFree=31241232/32951124 swapFree=55639044/67111528
[pid=15910] ppid=15908 vsize=369608 CPUtime=1062.3 cores=1,3,5,7
/proc/15910/stat : 15910 (scip-2.0.1.4b.l) R 15908 15910 12722 0 -1 4202496 130194 0 0 0 105874 356 0 0 25 0 1 0 820482896 378478592 89700 33554432000 4194304 9163163 140736290516768 18446744073709551615 7196784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15910/statm: 92402 89700 713 1214 0 91184 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 369608
[startup+1122.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/454 15941
/proc/meminfo: memFree=31226940/32951124 swapFree=55639044/67111528
[pid=15910] ppid=15908 vsize=378356 CPUtime=1122.29 cores=1,3,5,7
/proc/15910/stat : 15910 (scip-2.0.1.4b.l) R 15908 15910 12722 0 -1 4202496 132053 0 0 0 111855 374 0 0 25 0 1 0 820482896 387436544 91559 33554432000 4194304 9163163 140736290516768 18446744073709551615 7375878 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15910/statm: 94589 91559 713 1214 0 93371 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 378356
[startup+1182.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/454 15943
/proc/meminfo: memFree=31210396/32951124 swapFree=55639044/67111528
[pid=15910] ppid=15908 vsize=387272 CPUtime=1182.3 cores=1,3,5,7
/proc/15910/stat : 15910 (scip-2.0.1.4b.l) R 15908 15910 12722 0 -1 4202496 134012 0 0 0 117835 395 0 0 25 0 1 0 820482896 396566528 93508 33554432000 4194304 9163163 140736290516768 18446744073709551615 7250837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15910/statm: 96818 93508 713 1214 0 95600 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 387272
[startup+1242.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/454 15944
/proc/meminfo: memFree=31195000/32951124 swapFree=55639044/67111528
[pid=15910] ppid=15908 vsize=394804 CPUtime=1242.3 cores=1,3,5,7
/proc/15910/stat : 15910 (scip-2.0.1.4b.l) R 15908 15910 12722 0 -1 4202496 135328 0 0 0 123818 412 0 0 25 0 1 0 820482896 404279296 94824 33554432000 4194304 9163163 140736290516768 18446744073709551615 8045837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15910/statm: 98701 94824 714 1214 0 97483 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 394804
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/454 15946
/proc/meminfo: memFree=31181948/32951124 swapFree=55639044/67111528
[pid=15910] ppid=15908 vsize=398852 CPUtime=1302.31 cores=1,3,5,7
/proc/15910/stat : 15910 (scip-2.0.1.4b.l) R 15908 15910 12722 0 -1 4202496 136903 0 0 0 129797 434 0 0 25 0 1 0 820482896 408424448 96398 33554432000 4194304 9163163 140736290516768 18446744073709551615 7345752 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15910/statm: 99713 96398 713 1214 0 98495 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 398852
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 15947
/proc/meminfo: memFree=31168412/32951124 swapFree=55639044/67111528
[pid=15910] ppid=15908 vsize=404796 CPUtime=1362.3 cores=1,3,5,7
/proc/15910/stat : 15910 (scip-2.0.1.4b.l) R 15908 15910 12722 0 -1 4202496 138293 0 0 0 135776 454 0 0 25 0 1 0 820482896 414511104 97788 33554432000 4194304 9163163 140736290516768 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15910/statm: 101199 97788 713 1214 0 99981 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 404796
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/454 15949
/proc/meminfo: memFree=31156868/32951124 swapFree=55639044/67111528
[pid=15910] ppid=15908 vsize=407880 CPUtime=1422.31 cores=1,3,5,7
/proc/15910/stat : 15910 (scip-2.0.1.4b.l) R 15908 15910 12722 0 -1 4202496 139623 0 0 0 141756 475 0 0 25 0 1 0 820482896 417669120 99118 33554432000 4194304 9163163 140736290516768 18446744073709551615 6889495 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15910/statm: 101970 99118 713 1214 0 100752 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 407880
[startup+1482.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/454 15951
/proc/meminfo: memFree=31140716/32951124 swapFree=55639044/67111528
[pid=15910] ppid=15908 vsize=414440 CPUtime=1482.31 cores=1,3,5,7
/proc/15910/stat : 15910 (scip-2.0.1.4b.l) R 15908 15910 12722 0 -1 4202496 141231 0 0 0 147737 494 0 0 25 0 1 0 820482896 424386560 100725 33554432000 4194304 9163163 140736290516768 18446744073709551615 7375856 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15910/statm: 103610 100725 714 1214 0 102392 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 414440
[startup+1542.32 s]
/proc/loadavg: 2.19 2.07 2.02 3/454 15952
/proc/meminfo: memFree=31131272/32951124 swapFree=55639044/67111528
[pid=15910] ppid=15908 vsize=420344 CPUtime=1542.33 cores=1,3,5,7
/proc/15910/stat : 15910 (scip-2.0.1.4b.l) R 15908 15910 12722 0 -1 4202496 163569 0 0 0 153716 517 0 0 25 0 1 0 820482896 430432256 100692 33554432000 4194304 9163163 140736290516768 18446744073709551615 7348368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15910/statm: 105086 100692 714 1214 0 103868 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 420344
[startup+1602.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/454 15982
/proc/meminfo: memFree=31226392/32951124 swapFree=55639044/67111528
[pid=15910] ppid=15908 vsize=429028 CPUtime=1602.32 cores=1,3,5,7
/proc/15910/stat : 15910 (scip-2.0.1.4b.l) R 15908 15910 12722 0 -1 4202496 167394 0 0 0 159696 536 0 0 25 0 1 0 820482896 439324672 104304 33554432000 4194304 9163163 140736290516768 18446744073709551615 7413686 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15910/statm: 107257 104304 715 1214 0 106039 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 429028
[startup+1662.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/454 15983
/proc/meminfo: memFree=31161336/32951124 swapFree=55639044/67111528
[pid=15910] ppid=15908 vsize=442032 CPUtime=1662.31 cores=1,3,5,7
/proc/15910/stat : 15910 (scip-2.0.1.4b.l) R 15908 15910 12722 0 -1 4202496 170194 0 0 0 165677 554 0 0 25 0 1 0 820482896 452640768 107094 33554432000 4194304 9163163 140736290516768 18446744073709551615 7225280 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15910/statm: 110508 107094 714 1214 0 109290 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 442032
[startup+1722.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/454 15985
/proc/meminfo: memFree=31148028/32951124 swapFree=55639044/67111528
[pid=15910] ppid=15908 vsize=442032 CPUtime=1722.31 cores=1,3,5,7
/proc/15910/stat : 15910 (scip-2.0.1.4b.l) R 15908 15910 12722 0 -1 4202496 170736 0 0 0 171660 571 0 0 25 0 1 0 820482896 452640768 107635 33554432000 4194304 9163163 140736290516768 18446744073709551615 7225472 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15910/statm: 110508 107635 713 1214 0 109290 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 442032
[startup+1782.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/454 15987
/proc/meminfo: memFree=31059836/32951124 swapFree=55639044/67111528
[pid=15910] ppid=15908 vsize=446800 CPUtime=1782.32 cores=1,3,5,7
/proc/15910/stat : 15910 (scip-2.0.1.4b.l) R 15908 15910 12722 0 -1 4202496 172124 0 0 0 177641 591 0 0 25 0 1 0 820482896 457523200 109023 33554432000 4194304 9163163 140736290516768 18446744073709551615 7225314 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15910/statm: 111700 109023 713 1214 0 110482 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 446800
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.04 2.00 3/454 15987
/proc/meminfo: memFree=31058212/32951124 swapFree=55639044/67111528
[pid=15910] ppid=15908 vsize=450756 CPUtime=1800.03 cores=1,3,5,7
/proc/15910/stat : 15910 (scip-2.0.1.4b.l) R 15908 15910 12722 0 -1 4202496 172980 0 0 0 179405 598 0 0 25 0 1 0 820482896 461574144 109879 33554432000 4194304 9163163 140736290516768 18446744073709551615 5169078 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15910/statm: 112689 109879 714 1214 0 111471 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 450756
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.01 2.04 2.00 3/454 15987
/proc/meminfo: memFree=31058212/32951124 swapFree=55639044/67111528
[pid=15910] ppid=15908 vsize=450756 CPUtime=1800.03 cores=1,3,5,7
/proc/15910/stat : 15910 (scip-2.0.1.4b.l) R 15908 15910 12722 0 -1 4202496 172980 0 0 0 179405 598 0 0 25 0 1 0 820482896 461574144 109879 33554432000 4194304 9163163 140736290516768 18446744073709551615 5169078 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15910/statm: 112689 109879 714 1214 0 111471 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 450756
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.04
CPU time (s): 1800.06
CPU user time (s): 1794.06
CPU system time (s): 6.00109
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 498352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.06
system time used= 6.00109
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172980
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= 3427
runsolver used 7.50486 second user time and 18.9911 second system time
The end