0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 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-2663889-1276672069.opb>
0.00/0.01 c original problem has 716 variables (716 bin, 0 int, 0 impl, 0 cont) and 767 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.02 o 0
0.00/0.02 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.02 c presolving:
0.09/0.19 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 150 upgd conss, 5028 impls, 100 clqs
0.19/0.21 c (0.1s) probing: 101/716 (14.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.21 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.21 c presolving (2 rounds):
0.19/0.21 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.21 c 5028 implications, 100 cliques
0.19/0.21 c presolved problem has 716 variables (716 bin, 0 int, 0 impl, 0 cont) and 767 constraints
0.19/0.21 c 100 constraints of type <setppc>
0.19/0.21 c 616 constraints of type <and>
0.19/0.21 c 1 constraints of type <linear>
0.19/0.21 c 50 constraints of type <logicor>
0.19/0.21 c transformed objective value is always integral (scale: 1)
0.19/0.21 c Presolving Time: 0.09
0.19/0.21 c - non default parameters ----------------------------------------------------------------------
0.19/0.21 c # SCIP version 1.2.1.2
0.19/0.21 c
0.19/0.21 c # frequency for displaying node information lines
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.21 c display/freq = 10000
0.19/0.21 c
0.19/0.21 c # maximal time in seconds to run
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21 c limits/time = 1799.99
0.19/0.21 c
0.19/0.21 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21 c limits/memory = 1620
0.19/0.21 c
0.19/0.21 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.21 c lp/solvefreq = -1
0.19/0.21 c
0.19/0.21 c # should presolving try to simplify inequalities
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/linear/simplifyinequalities = TRUE
0.19/0.21 c
0.19/0.21 c # should presolving try to simplify knapsacks
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.21 c
0.19/0.21 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.21 c heuristics/undercover/freq = 0
0.19/0.21 c
0.19/0.21 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.21 c separating/rapidlearning/freq = 0
0.19/0.21 c
0.19/0.21 c -----------------------------------------------------------------------------------------------
0.19/0.21 c start solving
0.19/0.21 c
0.19/0.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.21 c t 0.1s| 1 | 2 | 0 | - |2242k| 0 | - | 716 | 767 | 0 | 0 | 0 | 0 | 0 |-5.000000e+01 | 0.000000e+00 | 100.00%
0.49/0.55 o -3
0.49/0.55 c * 0.4s| 1092 | 980 | 0 | 0.0 |3505k| 61 | - | 716 | 831 | 0 | 0 | 0 | 64 | 0 |-4.900000e+01 |-3.000000e+00 | 93.88%
0.49/0.59 o -4
0.49/0.59 c * 0.4s| 1235 | 1119 | 0 | 0.0 |3647k| 61 | - | 716 | 832 | 0 | 0 | 0 | 65 | 0 |-4.900000e+01 |-4.000000e+00 | 91.84%
0.59/0.66 o -5
0.59/0.66 c * 0.5s| 1500 | 1375 | 0 | 0.0 |4000k| 61 | - | 716 | 836 | 0 | 0 | 0 | 69 | 0 |-4.900000e+01 |-5.000000e+00 | 89.80%
0.89/0.97 o -6
0.89/0.97 c * 0.8s| 2485 | 2195 | 0 | 0.0 |5396k| 61 | - | 716 | 910 | 0 | 0 | 0 | 143 | 0 |-4.900000e+01 |-6.000000e+00 | 87.76%
1.10/1.16 o -7
1.10/1.16 c * 1.0s| 2868 | 2316 | 0 | 0.0 |5862k| 61 | - | 716 |1008 | 0 | 0 | 0 | 255 | 0 |-4.800000e+01 |-7.000000e+00 | 85.42%
3.49/3.56 c 3.1s| 10000 | 8710 | 0 | 0.0 | 18M| 62 | - | 716 |1008 | 0 | 0 | 0 | 640 | 0 |-4.800000e+01 |-7.000000e+00 | 85.42%
6.79/6.84 c 6.1s| 20000 | 17587 | 0 | 0.0 | 35M| 62 | - | 716 |1260 | 0 | 0 | 0 |1385 | 0 |-4.800000e+01 |-7.000000e+00 | 85.42%
7.70/7.76 o -8
7.70/7.76 c * 7.0s| 22446 | 19409 | 0 | 0.0 | 38M| 62 | - | 716 |1372 | 0 | 0 | 0 |1809 | 0 |-4.800000e+01 |-8.000000e+00 | 83.33%
10.69/10.77 c 9.8s| 30000 | 24445 | 0 | 0.0 | 48M| 62 | - | 716 |1303 | 0 | 0 | 0 |3199 | 0 |-4.700000e+01 |-8.000000e+00 | 82.98%
14.20/14.21 c 12.9s| 40000 | 33936 | 0 | 0.0 | 68M| 62 | - | 716 |1306 | 0 | 0 | 0 |3472 | 0 |-4.700000e+01 |-8.000000e+00 | 82.98%
17.39/17.45 c 15.8s| 50000 | 43381 | 0 | 0.0 | 85M| 62 | - | 716 |1361 | 0 | 0 | 0 |3780 | 0 |-4.700000e+01 |-8.000000e+00 | 82.98%
20.68/20.75 c 18.8s| 60000 | 52655 | 0 | 0.0 | 103M| 62 | - | 716 |1491 | 0 | 0 | 0 |4180 | 0 |-4.700000e+01 |-8.000000e+00 | 82.98%
22.78/22.84 o -9
22.78/22.84 c *20.7s| 66366 | 58502 | 0 | 0.0 | 113M| 62 | - | 716 |1535 | 0 | 0 | 0 |4468 | 0 |-4.700000e+01 |-9.000000e+00 | 80.85%
23.99/24.08 c 21.8s| 70000 | 61856 | 0 | 0.0 | 120M| 62 | - | 716 |1548 | 0 | 0 | 0 |4632 | 0 |-4.700000e+01 |-9.000000e+00 | 80.85%
27.49/27.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.49/27.59 c 25.1s| 80000 | 70930 | 0 | 0.0 | 136M| 62 | - | 716 |1632 | 0 | 0 | 0 |5200 | 0 |-4.700000e+01 |-9.000000e+00 | 80.85%
31.39/31.43 c 28.5s| 90000 | 78698 | 0 | 0.0 | 149M| 62 | - | 716 |1968 | 0 | 0 | 0 |6620 | 0 |-4.700000e+01 |-9.000000e+00 | 80.85%
35.19/35.22 c 32.0s|100000 | 86189 | 0 | 0.0 | 162M| 62 | - | 716 |1959 | 0 | 0 | 0 |7876 | 0 |-4.600000e+01 |-9.000000e+00 | 80.43%
39.49/39.53 c 36.1s|110000 | 92660 | 0 | 0.0 | 175M| 62 | - | 716 |1608 | 0 | 0 | 0 |9433 | 0 |-4.600000e+01 |-9.000000e+00 | 80.43%
42.98/43.00 c 39.2s|120000 |101947 | 0 | 0.0 | 193M| 62 | - | 716 |1664 | 0 | 0 | 0 |9814 | 0 |-4.600000e+01 |-9.000000e+00 | 80.43%
46.38/46.49 c 42.4s|130000 |111169 | 0 | 0.0 | 210M| 62 | - | 716 |1752 | 0 | 0 | 0 | 10k| 0 |-4.600000e+01 |-9.000000e+00 | 80.43%
50.07/50.13 c 45.8s|140000 |120106 | 0 | 0.0 | 226M| 62 | - | 716 |1810 | 0 | 0 | 0 | 10k| 0 |-4.600000e+01 |-9.000000e+00 | 80.43%
53.97/54.03 c 49.3s|150000 |128201 | 0 | 0.0 | 240M| 62 | - | 716 |2058 | 0 | 0 | 0 | 12k| 0 |-4.600000e+01 |-9.000000e+00 | 80.43%
58.48/58.57 c 53.6s|160000 |134141 | 0 | 0.0 | 251M| 63 | - | 716 |2201 | 0 | 0 | 0 | 13k| 0 |-4.600000e+01 |-9.000000e+00 | 80.43%
62.37/62.43 c 57.2s|170000 |141682 | 0 | 0.0 | 263M| 63 | - | 716 |2137 | 0 | 0 | 0 | 15k| 0 |-4.600000e+01 |-9.000000e+00 | 80.43%
67.17/67.20 c 61.7s|180000 |146598 | 0 | 0.0 | 272M| 63 | - | 716 |2688 | 0 | 0 | 0 | 17k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
71.77/71.84 c 66.0s|190000 |151935 | 0 | 0.0 | 283M| 63 | - | 716 |2017 | 0 | 0 | 0 | 19k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
75.37/75.44 c 69.3s|200000 |161379 | 0 | 0.0 | 300M| 63 | - | 716 |1798 | 0 | 0 | 0 | 19k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
78.97/79.06 c 72.6s|210000 |170720 | 0 | 0.0 | 318M| 63 | - | 716 |1824 | 0 | 0 | 0 | 19k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
82.87/82.92 c 76.2s|220000 |179712 | 0 | 0.0 | 336M| 63 | - | 716 |1951 | 0 | 0 | 0 | 20k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
86.56/86.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
86.56/86.66 c 79.6s|230000 |188747 | 0 | 0.0 | 353M| 63 | - | 716 |2030 | 0 | 0 | 0 | 20k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
90.26/90.35 c 83.0s|240000 |197767 | 0 | 0.0 | 369M| 63 | - | 716 |2085 | 0 | 0 | 0 | 21k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
93.76/93.80 c 86.2s|250000 |207005 | 0 | 0.0 | 384M| 63 | - | 716 |2132 | 0 | 0 | 0 | 21k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
97.26/97.35 c 89.5s|260000 |216299 | 0 | 0.0 | 399M| 63 | - | 716 |2164 | 0 | 0 | 0 | 22k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
100.86/100.98 c 92.8s|270000 |225570 | 0 | 0.0 | 415M| 63 | - | 716 |2204 | 0 | 0 | 0 | 22k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
104.76/104.83 c 96.3s|280000 |234559 | 0 | 0.0 | 431M| 63 | - | 716 |2307 | 0 | 0 | 0 | 23k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
108.46/108.58 c 99.8s|290000 |243560 | 0 | 0.0 | 445M| 63 | - | 716 |2323 | 0 | 0 | 0 | 23k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
112.55/112.66 c 104s|300000 |251942 | 0 | 0.0 | 459M| 63 | - | 716 |2496 | 0 | 0 | 0 | 24k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
116.76/116.85 c 107s|310000 |259941 | 0 | 0.0 | 471M| 63 | - | 716 |2596 | 0 | 0 | 0 | 25k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
121.86/121.92 c 112s|320000 |266013 | 0 | 0.0 | 482M| 63 | - | 716 |3124 | 0 | 0 | 0 | 27k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
127.75/127.82 c 118s|330000 |271194 | 0 | 0.0 | 491M| 63 | - | 716 |3284 | 0 | 0 | 0 | 30k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
132.85/132.97 c 123s|340000 |276946 | 0 | 0.0 | 501M| 63 | - | 716 |2586 | 0 | 0 | 0 | 32k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
136.95/137.07 c 126s|350000 |285432 | 0 | 0.0 | 516M| 63 | - | 716 |2400 | 0 | 0 | 0 | 32k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
141.25/141.31 c 130s|360000 |292643 | 0 | 0.0 | 527M| 63 | - | 716 |2617 | 0 | 0 | 0 | 34k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
145.94/146.08 c 135s|370000 |298241 | 0 | 0.0 | 537M| 63 | - | 716 |3178 | 0 | 0 | 0 | 36k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
151.54/151.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
151.54/151.69 c 140s|380000 |302326 | 0 | 0.0 | 544M| 63 | - | 716 |3612 | 0 | 0 | 0 | 39k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
157.15/157.22 c 146s|390000 |306159 | 0 | 0.0 | 551M| 63 | - | 716 |3428 | 0 | 0 | 0 | 41k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
162.14/162.26 c 150s|400000 |310869 | 0 | 0.0 | 560M| 64 | - | 716 |2460 | 0 | 0 | 0 | 43k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
166.44/166.50 c 154s|410000 |320123 | 0 | 0.0 | 580M| 64 | - | 716 |2475 | 0 | 0 | 0 | 43k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
170.54/170.69 c 158s|420000 |329372 | 0 | 0.0 | 598M| 64 | - | 716 |2504 | 0 | 0 | 0 | 43k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
174.45/174.52 c 162s|430000 |338778 | 0 | 0.0 | 614M| 64 | - | 716 |2499 | 0 | 0 | 0 | 44k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
178.24/178.36 c 165s|440000 |348084 | 0 | 0.0 | 630M| 64 | - | 716 |2503 | 0 | 0 | 0 | 44k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
182.44/182.52 c 169s|450000 |357332 | 0 | 0.0 | 646M| 64 | - | 716 |2566 | 0 | 0 | 0 | 45k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
186.43/186.55 c 173s|460000 |366480 | 0 | 0.0 | 663M| 64 | - | 716 |2593 | 0 | 0 | 0 | 45k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
190.54/190.62 c 177s|470000 |375706 | 0 | 0.0 | 679M| 64 | - | 716 |2612 | 0 | 0 | 0 | 45k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
194.54/194.66 c 180s|480000 |384727 | 0 | 0.0 | 694M| 64 | - | 716 |2643 | 0 | 0 | 0 | 46k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
198.84/198.95 c 184s|490000 |393713 | 0 | 0.0 | 711M| 64 | - | 716 |2728 | 0 | 0 | 0 | 46k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
203.23/203.36 c 189s|500000 |402785 | 0 | 0.0 | 727M| 64 | - | 716 |2797 | 0 | 0 | 0 | 47k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
207.43/207.55 c 192s|510000 |411916 | 0 | 0.0 | 742M| 64 | - | 716 |2786 | 0 | 0 | 0 | 47k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
211.33/211.47 c 196s|520000 |421235 | 0 | 0.0 | 757M| 64 | - | 716 |2789 | 0 | 0 | 0 | 48k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
215.83/215.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
215.83/215.92 c 200s|530000 |430232 | 0 | 0.0 | 772M| 64 | - | 716 |2870 | 0 | 0 | 0 | 48k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
220.13/220.21 c 204s|540000 |439376 | 0 | 0.0 | 787M| 64 | - | 716 |2856 | 0 | 0 | 0 | 49k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
224.43/224.57 c 208s|550000 |448431 | 0 | 0.0 | 802M| 64 | - | 716 |2877 | 0 | 0 | 0 | 49k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
228.73/228.81 c 212s|560000 |457525 | 0 | 0.0 | 817M| 64 | - | 716 |2913 | 0 | 0 | 0 | 50k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
233.03/233.12 c 216s|570000 |466451 | 0 | 0.0 | 831M| 64 | - | 716 |2971 | 0 | 0 | 0 | 50k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
237.43/237.55 c 220s|580000 |475197 | 0 | 0.0 | 845M| 64 | - | 716 |3064 | 0 | 0 | 0 | 51k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
241.83/242.00 c 225s|590000 |483883 | 0 | 0.0 | 859M| 64 | - | 716 |3025 | 0 | 0 | 0 | 52k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
246.42/246.52 c 229s|600000 |492626 | 0 | 0.0 | 873M| 64 | - | 716 |3063 | 0 | 0 | 0 | 52k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
250.63/250.78 c 233s|610000 |501631 | 0 | 0.0 | 887M| 64 | - | 716 |3227 | 0 | 0 | 0 | 53k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
255.22/255.37 c 237s|620000 |510406 | 0 | 0.0 | 900M| 64 | - | 716 |3253 | 0 | 0 | 0 | 54k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
260.02/260.19 c 242s|630000 |518784 | 0 | 0.0 | 913M| 64 | - | 716 |3263 | 0 | 0 | 0 | 55k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
265.02/265.18 c 246s|640000 |526876 | 0 | 0.0 | 926M| 64 | - | 716 |3580 | 0 | 0 | 0 | 56k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
269.91/270.05 c 251s|650000 |535097 | 0 | 0.0 | 938M| 64 | - | 716 |3547 | 0 | 0 | 0 | 57k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
275.01/275.16 c 256s|660000 |542867 | 0 | 0.0 | 950M| 64 | - | 716 |3589 | 0 | 0 | 0 | 58k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
280.61/280.75 c 261s|670000 |549860 | 0 | 0.0 | 961M| 64 | - | 716 |3750 | 0 | 0 | 0 | 60k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
286.60/286.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
286.60/286.71 c 267s|680000 |556108 | 0 | 0.0 | 971M| 64 | - | 716 |4090 | 0 | 0 | 0 | 62k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
293.11/293.20 c 273s|690000 |561863 | 0 | 0.0 | 981M| 64 | - | 716 |4334 | 0 | 0 | 0 | 64k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
300.10/300.29 c 280s|700000 |566763 | 0 | 0.0 | 990M| 64 | - | 716 |4873 | 0 | 0 | 0 | 67k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
307.50/307.67 c 287s|710000 |571370 | 0 | 0.0 | 998M| 64 | - | 716 |4923 | 0 | 0 | 0 | 69k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
314.00/314.11 c 293s|720000 |575827 | 0 | 0.0 |1006M| 64 | - | 716 |4188 | 0 | 0 | 0 | 71k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
318.50/318.64 c 297s|730000 |584858 | 0 | 0.0 |1021M| 64 | - | 716 |3509 | 0 | 0 | 0 | 71k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
323.30/323.48 c 302s|740000 |593304 | 0 | 0.0 |1035M| 64 | - | 716 |3562 | 0 | 0 | 0 | 72k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
328.29/328.40 c 306s|750000 |601255 | 0 | 0.0 |1047M| 64 | - | 716 |3611 | 0 | 0 | 0 | 73k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
333.20/333.39 c 311s|760000 |608508 | 0 | 0.0 |1059M| 64 | - | 716 |3834 | 0 | 0 | 0 | 75k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
338.39/338.58 c 316s|770000 |615442 | 0 | 0.0 |1069M| 64 | - | 716 |3891 | 0 | 0 | 0 | 76k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
343.89/344.09 c 321s|780000 |621409 | 0 | 0.0 |1078M| 64 | - | 716 |4202 | 0 | 0 | 0 | 78k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
349.70/349.87 c 327s|790000 |626749 | 0 | 0.0 |1087M| 64 | - | 716 |4440 | 0 | 0 | 0 | 80k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
355.89/356.06 c 333s|800000 |631283 | 0 | 0.0 |1094M| 64 | - | 716 |4925 | 0 | 0 | 0 | 82k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
362.39/362.54 c 339s|810000 |635672 | 0 | 0.0 |1101M| 64 | - | 716 |4821 | 0 | 0 | 0 | 84k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
368.98/369.19 c 345s|820000 |639437 | 0 | 0.0 |1108M| 64 | - | 716 |5019 | 0 | 0 | 0 | 87k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
375.48/375.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
375.48/375.67 c 351s|830000 |643186 | 0 | 0.0 |1114M| 64 | - | 716 |4884 | 0 | 0 | 0 | 89k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
381.58/381.77 c 357s|840000 |645957 | 0 | 0.0 |1119M| 64 | - | 716 |5037 | 0 | 0 | 0 | 91k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
387.48/387.66 c 363s|850000 |650034 | 0 | 0.0 |1127M| 65 | - | 716 |3965 | 0 | 0 | 0 | 93k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
391.68/391.88 c 367s|860000 |659569 | 0 | 0.0 |1143M| 65 | - | 716 |3710 | 0 | 0 | 0 | 93k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
395.67/395.88 c 371s|870000 |668989 | 0 | 0.0 |1156M| 65 | - | 716 |3698 | 0 | 0 | 0 | 93k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
399.58/399.77 c 374s|880000 |678478 | 0 | 0.0 |1169M| 65 | - | 716 |3676 | 0 | 0 | 0 | 94k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
403.58/403.76 c 378s|890000 |687949 | 0 | 0.0 |1183M| 65 | - | 716 |3637 | 0 | 0 | 0 | 94k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
407.47/407.68 c 381s|900000 |697379 | 0 | 0.0 |1196M| 65 | - | 716 |3649 | 0 | 0 | 0 | 94k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
411.18/411.35 c 385s|910000 |706891 | 0 | 0.0 |1207M| 65 | - | 716 |3632 | 0 | 0 | 0 | 95k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
414.86/415.06 c 388s|920000 |716384 | 0 | 0.0 |1219M| 65 | - | 716 |3641 | 0 | 0 | 0 | 95k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
418.66/418.80 c 392s|930000 |725856 | 0 | 0.0 |1230M| 65 | - | 716 |3640 | 0 | 0 | 0 | 95k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
422.46/422.63 c 395s|940000 |735278 | 0 | 0.0 |1243M| 65 | - | 716 |3629 | 0 | 0 | 0 | 95k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
426.37/426.59 c 399s|950000 |744613 | 0 | 0.0 |1255M| 65 | - | 716 |3647 | 0 | 0 | 0 | 96k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
430.97/431.10 c 403s|960000 |753935 | 0 | 0.0 |1271M| 65 | - | 716 |3690 | 0 | 0 | 0 | 96k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
434.86/435.06 c 407s|970000 |763272 | 0 | 0.0 |1283M| 65 | - | 716 |3735 | 0 | 0 | 0 | 96k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
439.26/439.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
439.26/439.43 c 411s|980000 |772611 | 0 | 0.0 |1298M| 65 | - | 716 |3755 | 0 | 0 | 0 | 97k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
443.76/443.96 c 415s|990000 |781859 | 0 | 0.0 |1312M| 65 | - | 716 |3766 | 0 | 0 | 0 | 97k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
448.26/448.49 c 419s| 1000k|791087 | 0 | 0.0 |1327M| 65 | - | 716 |3805 | 0 | 0 | 0 | 98k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
452.46/452.61 c 423s| 1010k|800361 | 0 | 0.0 |1339M| 65 | - | 716 |3839 | 0 | 0 | 0 | 98k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
456.86/457.08 c 427s| 1020k|809576 | 0 | 0.0 |1353M| 65 | - | 716 |3881 | 0 | 0 | 0 | 98k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
458.56/458.73 c (node 1023460) switching to memory saving mode (mem: 1296.0M/1620.0M)
461.76/461.96 c 432s| 1030k|812577 | 0 | 0.0 |1359M| 90 | - | 716 |5219 | 0 | 0 | 0 | 100k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
467.27/467.50 c 437s| 1040k|812333 | 0 | 0.0 |1359M| 90 | - | 716 |5534 | 0 | 0 | 0 | 104k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
472.66/472.88 c 442s| 1050k|812054 | 0 | 0.0 |1358M| 90 | - | 716 |5028 | 0 | 0 | 0 | 107k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
477.35/477.54 c 446s| 1060k|811969 | 0 | 0.0 |1358M| 90 | - | 716 |6070 | 0 | 0 | 0 | 112k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
482.66/482.86 c 451s| 1070k|811740 | 0 | 0.0 |1358M| 90 | - | 716 |5769 | 0 | 0 | 0 | 117k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
487.45/487.68 c 455s| 1080k|811602 | 0 | 0.0 |1357M| 90 | - | 716 |5586 | 0 | 0 | 0 | 121k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
492.55/492.76 c 460s| 1090k|811449 | 0 | 0.0 |1358M| 90 | - | 716 |6229 | 0 | 0 | 0 | 125k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
497.15/497.34 c 464s| 1100k|811398 | 0 | 0.0 |1357M| 90 | - | 716 |5927 | 0 | 0 | 0 | 129k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
501.84/502.00 c 469s| 1110k|811337 | 0 | 0.0 |1357M| 90 | - | 716 |5769 | 0 | 0 | 0 | 134k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
507.05/507.21 c 473s| 1120k|811334 | 0 | 0.0 |1359M| 90 | - | 716 |7695 | 0 | 0 | 0 | 139k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
512.94/513.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
512.94/513.11 c 479s| 1130k|811287 | 0 | 0.0 |1358M| 90 | - | 716 |6073 | 0 | 0 | 0 | 144k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
517.54/517.70 c 483s| 1140k|811263 | 0 | 0.0 |1359M| 90 | - | 716 |7415 | 0 | 0 | 0 | 150k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
523.54/523.73 c 489s| 1150k|811010 | 0 | 0.0 |1357M| 90 | - | 716 |6387 | 0 | 0 | 0 | 155k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
529.14/529.39 c 494s| 1160k|810758 | 0 | 0.0 |1357M| 90 | - | 716 |6180 | 0 | 0 | 0 | 159k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
534.13/534.35 c 499s| 1170k|810687 | 0 | 0.0 |1357M| 90 | - | 716 |6352 | 0 | 0 | 0 | 164k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
539.33/539.50 c 504s| 1180k|810616 | 0 | 0.0 |1357M| 90 | - | 716 |7157 | 0 | 0 | 0 | 169k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
544.03/544.24 c 508s| 1190k|810601 | 0 | 0.0 |1357M| 90 | - | 716 |7603 | 0 | 0 | 0 | 174k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
549.53/549.72 c 513s| 1200k|810517 | 0 | 0.0 |1357M| 90 | - | 716 |6413 | 0 | 0 | 0 | 178k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
554.93/555.17 c 518s| 1210k|810515 | 0 | 0.0 |1358M| 90 | - | 716 |8469 | 0 | 0 | 0 | 183k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
558.93/559.11 o -10
558.93/559.11 c * 522s| 1216k|810501 | 0 | 0.0 |1358M| 90 | - | 716 |7414 | 0 | 0 | 0 | 186k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
561.12/561.35 c 524s| 1220k|810434 | 0 | 0.0 |1357M| 90 | - | 716 |6057 | 0 | 0 | 0 | 187k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
566.62/566.84 c 529s| 1230k|810384 | 0 | 0.0 |1358M| 90 | - | 716 |7204 | 0 | 0 | 0 | 193k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
571.63/571.90 c 534s| 1240k|810335 | 0 | 0.0 |1357M| 90 | - | 716 |6159 | 0 | 0 | 0 | 196k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
577.33/577.58 c 539s| 1250k|810312 | 0 | 0.0 |1357M| 90 | - | 716 |6250 | 0 | 0 | 0 | 202k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
582.92/583.15 c 544s| 1260k|810256 | 0 | 0.0 |1358M| 90 | - | 716 |7245 | 0 | 0 | 0 | 207k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
589.13/589.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
589.13/589.32 c 550s| 1270k|810226 | 0 | 0.0 |1358M| 90 | - | 716 |7259 | 0 | 0 | 0 | 212k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
594.83/595.10 c 555s| 1280k|810164 | 0 | 0.0 |1357M| 90 | - | 716 |6649 | 0 | 0 | 0 | 217k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
600.82/601.09 c 561s| 1290k|810150 | 0 | 0.0 |1358M| 90 | - | 716 |7555 | 0 | 0 | 0 | 222k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
606.01/606.22 c 566s| 1300k|810115 | 0 | 0.0 |1357M| 90 | - | 716 |6494 | 0 | 0 | 0 | 227k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
611.72/611.97 c 571s| 1310k|810098 | 0 | 0.0 |1357M| 90 | - | 716 |6594 | 0 | 0 | 0 | 233k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
617.41/617.60 c 576s| 1320k|810097 | 0 | 0.0 |1360M| 90 | - | 716 |9799 | 0 | 0 | 0 | 239k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
624.80/625.09 c 584s| 1330k|809992 | 0 | 0.0 |1357M| 90 | - | 716 |6064 | 0 | 0 | 0 | 245k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
630.71/630.92 c 589s| 1340k|809759 | 0 | 0.0 |1357M| 90 | - | 716 |6219 | 0 | 0 | 0 | 250k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
636.20/636.40 c 594s| 1350k|809631 | 0 | 0.0 |1357M| 90 | - | 716 |7146 | 0 | 0 | 0 | 255k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
641.90/642.16 c 600s| 1360k|809420 | 0 | 0.0 |1356M| 90 | - | 716 |6391 | 0 | 0 | 0 | 259k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
648.11/648.35 c 605s| 1370k|809344 | 0 | 0.0 |1357M| 90 | - | 716 |8057 | 0 | 0 | 0 | 265k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
654.50/654.77 c 611s| 1380k|809309 | 0 | 0.0 |1357M| 90 | - | 716 |7446 | 0 | 0 | 0 | 270k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
659.30/659.54 c 616s| 1390k|809302 | 0 | 0.0 |1357M| 90 | - | 716 |7275 | 0 | 0 | 0 | 273k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
664.60/664.86 c 621s| 1400k|809220 | 0 | 0.0 |1357M| 90 | - | 716 |7118 | 0 | 0 | 0 | 277k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
669.99/670.27 c 626s| 1410k|809177 | 0 | 0.0 |1357M| 90 | - | 716 |7427 | 0 | 0 | 0 | 281k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
675.90/676.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
675.90/676.16 c 632s| 1420k|809076 | 0 | 0.0 |1357M| 90 | - | 716 |7171 | 0 | 0 | 0 | 286k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
682.90/683.14 c 638s| 1430k|809074 | 0 | 0.0 |1359M| 90 | - | 716 | 10k| 0 | 0 | 0 | 292k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
689.89/690.14 c 645s| 1440k|809059 | 0 | 0.0 |1357M| 90 | - | 716 |7361 | 0 | 0 | 0 | 296k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
696.29/696.58 c 651s| 1450k|809015 | 0 | 0.0 |1356M| 90 | - | 716 |6559 | 0 | 0 | 0 | 301k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
702.09/702.32 c 656s| 1460k|808991 | 0 | 0.0 |1356M| 90 | - | 716 |6131 | 0 | 0 | 0 | 306k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
707.69/707.95 c 662s| 1470k|808933 | 0 | 0.0 |1356M| 90 | - | 716 |5655 | 0 | 0 | 0 | 311k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
712.99/713.23 c 666s| 1480k|808863 | 0 | 0.0 |1356M| 90 | - | 716 |6050 | 0 | 0 | 0 | 316k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
718.18/718.46 c 671s| 1490k|808846 | 0 | 0.0 |1357M| 90 | - | 716 |7558 | 0 | 0 | 0 | 321k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
725.58/725.86 c 678s| 1500k|808845 | 0 | 0.0 |1359M| 90 | - | 716 |9588 | 0 | 0 | 0 | 326k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
732.78/733.01 c 685s| 1510k|808811 | 0 | 0.0 |1357M| 90 | - | 716 |7142 | 0 | 0 | 0 | 332k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
737.88/738.16 c 690s| 1520k|808723 | 0 | 0.0 |1356M| 90 | - | 716 |6303 | 0 | 0 | 0 | 336k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
743.47/743.77 c 695s| 1530k|808705 | 0 | 0.0 |1357M| 90 | - | 716 |7481 | 0 | 0 | 0 | 341k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
749.27/749.59 c 701s| 1540k|808674 | 0 | 0.0 |1357M| 90 | - | 716 |7725 | 0 | 0 | 0 | 345k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
755.48/755.73 c 706s| 1550k|808673 | 0 | 0.0 |1358M| 90 | - | 716 |8320 | 0 | 0 | 0 | 350k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
761.47/761.70 c 712s| 1560k|808649 | 0 | 0.0 |1357M| 90 | - | 716 |7222 | 0 | 0 | 0 | 356k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
766.87/767.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
766.87/767.15 c 717s| 1570k|808637 | 0 | 0.0 |1357M| 90 | - | 716 |6381 | 0 | 0 | 0 | 360k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
772.77/773.09 c 723s| 1580k|808631 | 0 | 0.0 |1358M| 90 | - | 716 |8713 | 0 | 0 | 0 | 365k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
778.96/779.24 c 728s| 1590k|808592 | 0 | 0.0 |1356M| 90 | - | 716 |5905 | 0 | 0 | 0 | 370k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
784.46/784.72 c 734s| 1600k|808542 | 0 | 0.0 |1356M| 90 | - | 716 |6036 | 0 | 0 | 0 | 375k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
789.66/789.93 c 739s| 1610k|808511 | 0 | 0.0 |1357M| 90 | - | 716 |7183 | 0 | 0 | 0 | 381k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
796.26/796.59 c 745s| 1620k|808508 | 0 | 0.0 |1358M| 90 | - | 716 |9079 | 0 | 0 | 0 | 386k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
802.36/802.65 c 751s| 1630k|808492 | 0 | 0.0 |1357M| 90 | - | 716 |6898 | 0 | 0 | 0 | 391k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
808.05/808.36 c 756s| 1640k|808480 | 0 | 0.0 |1358M| 90 | - | 716 |8083 | 0 | 0 | 0 | 395k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
813.96/814.24 c 761s| 1650k|808462 | 0 | 0.0 |1357M| 90 | - | 716 |7171 | 0 | 0 | 0 | 399k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
820.65/820.90 c 768s| 1660k|808455 | 0 | 0.0 |1358M| 90 | - | 716 |8393 | 0 | 0 | 0 | 404k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
825.95/826.20 c 773s| 1670k|808452 | 0 | 0.0 |1358M| 90 | - | 716 |7632 | 0 | 0 | 0 | 406k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
831.85/832.14 c 778s| 1680k|808438 | 0 | 0.0 |1357M| 90 | - | 716 |6855 | 0 | 0 | 0 | 411k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
838.55/838.89 c 785s| 1690k|808398 | 0 | 0.0 |1357M| 90 | - | 716 |6558 | 0 | 0 | 0 | 416k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
844.46/844.79 c 790s| 1700k|808382 | 0 | 0.0 |1358M| 90 | - | 716 |7456 | 0 | 0 | 0 | 421k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
849.45/849.76 c 795s| 1710k|808375 | 0 | 0.0 |1357M| 90 | - | 716 |7111 | 0 | 0 | 0 | 423k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
854.84/855.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
854.84/855.12 c 800s| 1720k|808359 | 0 | 0.0 |1357M| 90 | - | 716 |6810 | 0 | 0 | 0 | 427k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
861.94/862.29 c 807s| 1730k|808347 | 0 | 0.0 |1357M| 90 | - | 716 |6832 | 0 | 0 | 0 | 432k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
868.04/868.33 c 813s| 1740k|808320 | 0 | 0.0 |1357M| 90 | - | 716 |7109 | 0 | 0 | 0 | 437k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
874.64/874.93 c 819s| 1750k|808316 | 0 | 0.0 |1358M| 90 | - | 716 |8349 | 0 | 0 | 0 | 443k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
881.94/882.27 c 826s| 1760k|808306 | 0 | 0.0 |1359M| 90 | - | 716 |9259 | 0 | 0 | 0 | 449k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
889.84/890.10 c 833s| 1770k|808302 | 0 | 0.0 |1360M| 90 | - | 716 | 10k| 0 | 0 | 0 | 455k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
899.03/899.37 c 842s| 1780k|808295 | 0 | 0.0 |1359M| 90 | - | 716 |9628 | 0 | 0 | 0 | 461k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
908.33/908.66 c 851s| 1790k|808285 | 0 | 0.0 |1358M| 90 | - | 716 |7976 | 0 | 0 | 0 | 466k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
915.22/915.56 c 857s| 1800k|808281 | 0 | 0.0 |1359M| 90 | - | 716 |9019 | 0 | 0 | 0 | 471k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
922.12/922.48 c 864s| 1810k|808243 | 0 | 0.0 |1357M| 90 | - | 716 |5948 | 0 | 0 | 0 | 477k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
928.32/928.69 c 870s| 1820k|807999 | 0 | 0.0 |1356M| 90 | - | 716 |5833 | 0 | 0 | 0 | 481k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
933.63/933.98 c 875s| 1830k|807895 | 0 | 0.0 |1357M| 90 | - | 716 |6304 | 0 | 0 | 0 | 485k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
938.22/938.58 c 879s| 1840k|807871 | 0 | 0.0 |1357M| 90 | - | 716 |7385 | 0 | 0 | 0 | 490k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
944.22/944.56 c 885s| 1850k|807691 | 0 | 0.0 |1356M| 90 | - | 716 |6339 | 0 | 0 | 0 | 494k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
950.22/950.50 c 890s| 1860k|807676 | 0 | 0.0 |1358M| 90 | - | 716 |8300 | 0 | 0 | 0 | 500k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
955.91/956.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
955.91/956.20 c 896s| 1870k|807570 | 0 | 0.0 |1356M| 90 | - | 716 |6717 | 0 | 0 | 0 | 504k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
961.02/961.36 c 900s| 1880k|807495 | 0 | 0.0 |1356M| 90 | - | 716 |6408 | 0 | 0 | 0 | 509k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
966.11/966.45 c 905s| 1890k|807403 | 0 | 0.0 |1356M| 90 | - | 716 |6520 | 0 | 0 | 0 | 513k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
971.91/972.27 c 911s| 1900k|807320 | 0 | 0.0 |1356M| 90 | - | 716 |7240 | 0 | 0 | 0 | 518k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
977.31/977.61 c 916s| 1910k|807246 | 0 | 0.0 |1356M| 90 | - | 716 |6646 | 0 | 0 | 0 | 522k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
982.81/983.19 c 921s| 1920k|807144 | 0 | 0.0 |1355M| 90 | - | 716 |6630 | 0 | 0 | 0 | 528k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
988.62/988.91 c 926s| 1930k|807067 | 0 | 0.0 |1355M| 90 | - | 716 |6547 | 0 | 0 | 0 | 530k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
994.70/995.03 c 932s| 1940k|806977 | 0 | 0.0 |1355M| 90 | - | 716 |6238 | 0 | 0 | 0 | 534k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1000.20/1000.54 c 937s| 1950k|806920 | 0 | 0.0 |1355M| 90 | - | 716 |6849 | 0 | 0 | 0 | 537k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1005.70/1006.07 c 942s| 1960k|806820 | 0 | 0.0 |1355M| 90 | - | 716 |6399 | 0 | 0 | 0 | 542k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1010.30/1010.70 c 947s| 1970k|806803 | 0 | 0.0 |1356M| 90 | - | 716 |7133 | 0 | 0 | 0 | 544k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1015.39/1015.78 c 952s| 1980k|806793 | 0 | 0.0 |1356M| 90 | - | 716 |8359 | 0 | 0 | 0 | 548k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1021.00/1021.31 c 957s| 1990k|806776 | 0 | 0.0 |1355M| 90 | - | 716 |6874 | 0 | 0 | 0 | 551k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1027.00/1027.37 c 963s| 2000k|806716 | 0 | 0.0 |1355M| 90 | - | 716 |6891 | 0 | 0 | 0 | 556k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1031.59/1031.96 c 967s| 2010k|806709 | 0 | 0.0 |1355M| 90 | - | 716 |6703 | 0 | 0 | 0 | 558k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1036.49/1036.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1036.49/1036.80 c 971s| 2020k|806698 | 0 | 0.0 |1355M| 90 | - | 716 |6652 | 0 | 0 | 0 | 561k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1042.09/1042.43 c 977s| 2030k|806664 | 0 | 0.0 |1356M| 90 | - | 716 |7583 | 0 | 0 | 0 | 565k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1048.49/1048.86 c 983s| 2040k|806587 | 0 | 0.0 |1355M| 90 | - | 716 |6448 | 0 | 0 | 0 | 570k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1054.08/1054.42 c 988s| 2050k|806492 | 0 | 0.0 |1355M| 90 | - | 716 |7037 | 0 | 0 | 0 | 575k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1059.29/1059.67 c 993s| 2060k|806455 | 0 | 0.0 |1356M| 90 | - | 716 |7485 | 0 | 0 | 0 | 578k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1065.98/1066.30 c 999s| 2070k|806446 | 0 | 0.0 |1356M| 90 | - | 716 |8478 | 0 | 0 | 0 | 581k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1072.48/1072.80 c 1006s| 2080k|806442 | 0 | 0.0 |1356M| 90 | - | 716 |8381 | 0 | 0 | 0 | 583k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1078.98/1079.38 c 1012s| 2090k|806415 | 0 | 0.0 |1356M| 90 | - | 716 |7502 | 0 | 0 | 0 | 586k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1084.57/1084.99 c 1017s| 2100k|806395 | 0 | 0.0 |1356M| 90 | - | 716 |8148 | 0 | 0 | 0 | 590k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1091.68/1092.04 c 1024s| 2110k|806375 | 0 | 0.0 |1356M| 90 | - | 716 |8014 | 0 | 0 | 0 | 595k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1100.17/1100.58 c 1032s| 2120k|806375 | 0 | 0.0 |1357M| 90 | - | 716 |9820 | 0 | 0 | 0 | 601k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1109.97/1110.34 c 1041s| 2130k|806375 | 0 | 0.0 |1359M| 90 | - | 716 | 12k| 0 | 0 | 0 | 607k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1120.37/1120.71 c 1051s| 2140k|806370 | 0 | 0.0 |1357M| 90 | - | 716 |9268 | 0 | 0 | 0 | 611k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1126.87/1127.27 c 1057s| 2150k|806347 | 0 | 0.0 |1357M| 90 | - | 716 |8981 | 0 | 0 | 0 | 617k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1135.16/1135.53 c 1065s| 2160k|806327 | 0 | 0.0 |1356M| 90 | - | 716 |8374 | 0 | 0 | 0 | 623k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1140.86/1141.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1140.86/1141.27 c 1071s| 2170k|806304 | 0 | 0.0 |1356M| 90 | - | 716 |7092 | 0 | 0 | 0 | 626k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1147.06/1147.40 c 1077s| 2180k|806259 | 0 | 0.0 |1356M| 90 | - | 716 |7689 | 0 | 0 | 0 | 631k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1153.36/1153.73 c 1083s| 2190k|806237 | 0 | 0.0 |1356M| 90 | - | 716 |7737 | 0 | 0 | 0 | 636k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1160.75/1161.16 c 1090s| 2200k|806215 | 0 | 0.0 |1356M| 90 | - | 716 |7137 | 0 | 0 | 0 | 642k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1166.55/1166.99 c 1095s| 2210k|806211 | 0 | 0.0 |1356M| 90 | - | 716 |7093 | 0 | 0 | 0 | 644k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1172.74/1173.12 c 1101s| 2220k|806184 | 0 | 0.0 |1356M| 90 | - | 716 |7481 | 0 | 0 | 0 | 648k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1178.45/1178.87 c 1106s| 2230k|806157 | 0 | 0.0 |1357M| 90 | - | 716 |9127 | 0 | 0 | 0 | 653k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1185.45/1185.85 c 1113s| 2240k|806140 | 0 | 0.0 |1356M| 90 | - | 716 |8406 | 0 | 0 | 0 | 658k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1192.34/1192.75 c 1119s| 2250k|806103 | 0 | 0.0 |1355M| 90 | - | 716 |6648 | 0 | 0 | 0 | 664k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1198.24/1198.67 c 1125s| 2260k|806066 | 0 | 0.0 |1356M| 90 | - | 716 |8152 | 0 | 0 | 0 | 669k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1204.15/1204.51 c 1130s| 2270k|806011 | 0 | 0.0 |1355M| 90 | - | 716 |6815 | 0 | 0 | 0 | 674k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1209.93/1210.37 c 1136s| 2280k|805989 | 0 | 0.0 |1356M| 90 | - | 716 |7713 | 0 | 0 | 0 | 678k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1216.74/1217.12 c 1142s| 2290k|805965 | 0 | 0.0 |1356M| 90 | - | 716 |7839 | 0 | 0 | 0 | 683k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1222.44/1222.85 c 1148s| 2300k|805960 | 0 | 0.0 |1357M| 90 | - | 716 |8544 | 0 | 0 | 0 | 687k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1229.83/1230.21 c 1155s| 2310k|805953 | 0 | 0.0 |1358M| 90 | - | 716 | 10k| 0 | 0 | 0 | 693k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1239.43/1239.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1239.43/1239.87 c 1164s| 2320k|805950 | 0 | 0.0 |1359M| 90 | - | 716 | 11k| 0 | 0 | 0 | 698k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1249.23/1249.67 c 1173s| 2330k|805937 | 0 | 0.0 |1357M| 90 | - | 716 |9453 | 0 | 0 | 0 | 704k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1258.62/1259.04 c 1182s| 2340k|805926 | 0 | 0.0 |1356M| 90 | - | 716 |7741 | 0 | 0 | 0 | 709k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1263.82/1264.27 c 1187s| 2350k|805922 | 0 | 0.0 |1357M| 90 | - | 716 |8896 | 0 | 0 | 0 | 713k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1269.92/1270.31 c 1193s| 2360k|805916 | 0 | 0.0 |1356M| 90 | - | 716 |7903 | 0 | 0 | 0 | 715k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1276.91/1277.35 c 1200s| 2370k|805915 | 0 | 0.0 |1357M| 90 | - | 716 |9706 | 0 | 0 | 0 | 720k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1283.22/1283.63 c 1206s| 2380k|805883 | 0 | 0.0 |1356M| 90 | - | 716 |7403 | 0 | 0 | 0 | 724k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1288.01/1288.47 c 1210s| 2390k|805876 | 0 | 0.0 |1356M| 90 | - | 716 |7943 | 0 | 0 | 0 | 727k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1295.01/1295.42 c 1217s| 2400k|805874 | 0 | 0.0 |1357M| 90 | - | 716 |9587 | 0 | 0 | 0 | 733k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1301.71/1302.11 c 1223s| 2410k|805849 | 0 | 0.0 |1356M| 90 | - | 716 |7702 | 0 | 0 | 0 | 737k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1306.01/1306.48 c 1227s| 2420k|805849 | 0 | 0.0 |1357M| 90 | - | 716 |8572 | 0 | 0 | 0 | 740k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1310.82/1311.26 c 1232s| 2430k|805847 | 0 | 0.0 |1357M| 90 | - | 716 |8631 | 0 | 0 | 0 | 742k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1317.90/1318.37 c 1239s| 2440k|805845 | 0 | 0.0 |1356M| 90 | - | 716 |8417 | 0 | 0 | 0 | 745k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1323.91/1324.35 c 1244s| 2450k|805845 | 0 | 0.0 |1357M| 90 | - | 716 |8739 | 0 | 0 | 0 | 747k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1329.80/1330.28 c 1250s| 2460k|805833 | 0 | 0.0 |1357M| 90 | - | 716 |8639 | 0 | 0 | 0 | 752k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1336.70/1337.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1336.70/1337.11 c 1256s| 2470k|805827 | 0 | 0.0 |1357M| 90 | - | 716 |8892 | 0 | 0 | 0 | 757k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1342.50/1342.98 c 1262s| 2480k|805824 | 0 | 0.0 |1357M| 90 | - | 716 |9364 | 0 | 0 | 0 | 760k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1350.90/1351.34 c 1270s| 2490k|805816 | 0 | 0.0 |1357M| 90 | - | 716 |8967 | 0 | 0 | 0 | 766k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1358.00/1358.41 c 1277s| 2500k|805810 | 0 | 0.0 |1357M| 90 | - | 716 |8780 | 0 | 0 | 0 | 770k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1363.60/1364.08 c 1282s| 2510k|805810 | 0 | 0.0 |1358M| 90 | - | 716 | 10k| 0 | 0 | 0 | 774k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1370.49/1370.91 c 1289s| 2520k|805795 | 0 | 0.0 |1358M| 90 | - | 716 |9998 | 0 | 0 | 0 | 779k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1378.29/1378.75 c 1296s| 2530k|805778 | 0 | 0.0 |1357M| 90 | - | 716 |8788 | 0 | 0 | 0 | 784k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1384.99/1385.46 c 1302s| 2540k|805756 | 0 | 0.0 |1356M| 90 | - | 716 |8071 | 0 | 0 | 0 | 789k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1391.09/1391.59 c 1308s| 2550k|805727 | 0 | 0.0 |1356M| 90 | - | 716 |6690 | 0 | 0 | 0 | 795k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1396.78/1397.20 c 1313s| 2560k|805712 | 0 | 0.0 |1357M| 90 | - | 716 |8634 | 0 | 0 | 0 | 800k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1403.68/1404.19 c 1320s| 2570k|805699 | 0 | 0.0 |1357M| 90 | - | 716 |8372 | 0 | 0 | 0 | 806k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1412.58/1413.00 c 1328s| 2580k|805699 | 0 | 0.0 |1357M| 90 | - | 716 |9492 | 0 | 0 | 0 | 811k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1422.67/1423.11 c 1338s| 2590k|805699 | 0 | 0.0 |1357M| 90 | - | 716 |9173 | 0 | 0 | 0 | 815k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1430.58/1431.03 c 1346s| 2600k|805699 | 0 | 0.0 |1357M| 90 | - | 716 |9478 | 0 | 0 | 0 | 817k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1439.87/1440.39 c 1355s| 2610k|805700 | 0 | 0.0 |1358M| 90 | - | 716 |9767 | 0 | 0 | 0 | 819k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1447.66/1448.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1447.66/1448.13 c 1362s| 2620k|805698 | 0 | 0.0 |1357M| 90 | - | 716 |9495 | 0 | 0 | 0 | 821k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1455.66/1456.11 c 1370s| 2630k|805688 | 0 | 0.0 |1356M| 90 | - | 716 |7783 | 0 | 0 | 0 | 825k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1463.66/1464.13 c 1378s| 2640k|805682 | 0 | 0.0 |1358M| 90 | - | 716 |9723 | 0 | 0 | 0 | 831k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1473.65/1474.19 c 1387s| 2650k|805682 | 0 | 0.0 |1360M| 90 | - | 716 | 12k| 0 | 0 | 0 | 837k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1486.35/1486.88 c 1400s| 2660k|805683 | 0 | 0.0 |1360M| 90 | - | 716 | 13k| 0 | 0 | 0 | 842k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1501.74/1502.23 c 1415s| 2670k|805682 | 0 | 0.0 |1362M| 90 | - | 716 | 16k| 0 | 0 | 0 | 848k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1515.35/1515.88 c 1428s| 2680k|805682 | 0 | 0.0 |1362M| 90 | - | 716 | 15k| 0 | 0 | 0 | 855k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1526.84/1527.36 c 1439s| 2690k|805677 | 0 | 0.0 |1360M| 90 | - | 716 | 13k| 0 | 0 | 0 | 860k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1538.44/1538.93 c 1450s| 2700k|805668 | 0 | 0.0 |1358M| 90 | - | 716 | 10k| 0 | 0 | 0 | 865k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1548.34/1548.86 c 1460s| 2710k|805667 | 0 | 0.0 |1358M| 90 | - | 716 | 10k| 0 | 0 | 0 | 867k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1556.13/1556.67 c 1467s| 2720k|805645 | 0 | 0.0 |1356M| 90 | - | 716 |7281 | 0 | 0 | 0 | 871k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1562.53/1563.10 c 1473s| 2730k|805640 | 0 | 0.0 |1357M| 90 | - | 716 |8921 | 0 | 0 | 0 | 874k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1571.12/1571.63 c 1481s| 2740k|805630 | 0 | 0.0 |1357M| 90 | - | 716 |8797 | 0 | 0 | 0 | 880k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1578.12/1578.60 c 1488s| 2750k|805627 | 0 | 0.0 |1358M| 90 | - | 716 |9357 | 0 | 0 | 0 | 883k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1585.22/1585.71 c 1495s| 2760k|805616 | 0 | 0.0 |1357M| 90 | - | 716 |8191 | 0 | 0 | 0 | 886k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1593.02/1593.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1593.02/1593.52 c 1502s| 2770k|805613 | 0 | 0.0 |1357M| 90 | - | 716 |8928 | 0 | 0 | 0 | 891k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1601.62/1602.17 c 1511s| 2780k|805611 | 0 | 0.0 |1358M| 90 | - | 716 | 10k| 0 | 0 | 0 | 896k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1610.41/1610.92 c 1519s| 2790k|805604 | 0 | 0.0 |1359M| 90 | - | 716 | 10k| 0 | 0 | 0 | 901k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1617.41/1617.93 c 1526s| 2800k|805581 | 0 | 0.0 |1357M| 90 | - | 716 |8303 | 0 | 0 | 0 | 907k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1626.00/1626.59 c 1534s| 2810k|805582 | 0 | 0.0 |1358M| 90 | - | 716 |9959 | 0 | 0 | 0 | 912k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1633.61/1634.15 c 1541s| 2820k|805564 | 0 | 0.0 |1356M| 90 | - | 716 |7219 | 0 | 0 | 0 | 917k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1640.41/1640.99 c 1548s| 2830k|805552 | 0 | 0.0 |1356M| 90 | - | 716 |7296 | 0 | 0 | 0 | 923k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1646.00/1646.50 c 1553s| 2840k|805532 | 0 | 0.0 |1356M| 90 | - | 716 |7095 | 0 | 0 | 0 | 927k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1652.70/1653.23 c 1559s| 2850k|805513 | 0 | 0.0 |1357M| 90 | - | 716 |8104 | 0 | 0 | 0 | 932k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1660.29/1660.85 c 1566s| 2860k|805498 | 0 | 0.0 |1358M| 90 | - | 716 |8979 | 0 | 0 | 0 | 937k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1668.29/1668.83 c 1574s| 2870k|805481 | 0 | 0.0 |1358M| 90 | - | 716 |8813 | 0 | 0 | 0 | 942k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1674.70/1675.22 c 1580s| 2880k|805479 | 0 | 0.0 |1357M| 90 | - | 716 |8028 | 0 | 0 | 0 | 945k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1680.30/1680.88 c 1585s| 2890k|805469 | 0 | 0.0 |1357M| 90 | - | 716 |7830 | 0 | 0 | 0 | 947k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1685.88/1686.43 c 1591s| 2900k|805464 | 0 | 0.0 |1357M| 90 | - | 716 |7932 | 0 | 0 | 0 | 949k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1691.88/1692.45 c 1596s| 2910k|805456 | 0 | 0.0 |1357M| 90 | - | 716 |8396 | 0 | 0 | 0 | 953k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1697.69/1698.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1697.69/1698.23 c 1602s| 2920k|805447 | 0 | 0.0 |1357M| 90 | - | 716 |7393 | 0 | 0 | 0 | 957k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1703.18/1703.73 c 1607s| 2930k|805420 | 0 | 0.0 |1357M| 90 | - | 716 |7733 | 0 | 0 | 0 | 961k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1709.58/1710.15 c 1613s| 2940k|805417 | 0 | 0.0 |1359M| 90 | - | 716 | 10k| 0 | 0 | 0 | 967k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1718.79/1719.32 c 1622s| 2950k|805416 | 0 | 0.0 |1360M| 90 | - | 716 | 13k| 0 | 0 | 0 | 973k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1729.57/1730.17 c 1633s| 2960k|805408 | 0 | 0.0 |1359M| 90 | - | 716 | 11k| 0 | 0 | 0 | 979k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1737.97/1738.53 c 1641s| 2970k|805403 | 0 | 0.0 |1358M| 90 | - | 716 |9605 | 0 | 0 | 0 | 983k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1743.87/1744.46 c 1646s| 2980k|805400 | 0 | 0.0 |1358M| 90 | - | 716 |9232 | 0 | 0 | 0 | 986k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1749.58/1750.12 c 1652s| 2990k|805396 | 0 | 0.0 |1358M| 90 | - | 716 |8913 | 0 | 0 | 0 | 990k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1756.87/1757.42 c 1658s| 3000k|805391 | 0 | 0.0 |1358M| 90 | - | 716 |9284 | 0 | 0 | 0 | 996k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1765.67/1766.27 c 1667s| 3010k|805385 | 0 | 0.0 |1358M| 90 | - | 716 |8744 | 0 | 0 | 0 |1002k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1773.36/1773.93 c 1674s| 3020k|805373 | 0 | 0.0 |1357M| 90 | - | 716 |8036 | 0 | 0 | 0 |1006k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1781.26/1781.90 c 1682s| 3030k|805372 | 0 | 0.0 |1359M| 90 | - | 716 | 10k| 0 | 0 | 0 |1011k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1789.45/1790.08 c 1690s| 3040k|805363 | 0 | 0.0 |1358M| 90 | - | 716 |9893 | 0 | 0 | 0 |1017k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1795.76/1796.37 c 1696s| 3050k|805349 | 0 | 0.0 |1357M| 90 | - | 716 |7663 | 0 | 0 | 0 |1020k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1800.06/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.61 c
1800.06/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.61 c Solving Time (sec) : 1699.59
1800.06/1800.61 c Solving Nodes : 3055980
1800.06/1800.61 c Primal Bound : -1.00000000000000e+01 (11 solutions)
1800.06/1800.61 c Dual Bound : -4.30000000000000e+01
1800.06/1800.61 c Gap : 76.74 %
1800.06/1800.61 s SATISFIABLE
1800.06/1800.61 v -x90 -x69 -x56 x86 -x85 x63 -x60 x57 -x95 -x72 -x79 -x58 x67 -x54 -x97 -x61 -x92 -x66 -x52 x98 -x84 x83 -x77 -x71 -x59 -x53 -x81
1800.06/1800.61 v -x68 -x74 -x55 -x88 x94 -x100 -x80 -x51 x87 -x82 -x75 -x73 -x64 x93 x96 -x78 -x65 -x99 -x62 -x76 -x89 -x70 -x91 -x50 -x49 -x48
1800.06/1800.61 v x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 x35 x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 x26 -x25 x24 -x23 -x22
1800.06/1800.61 v x21 -x20 -x19 -x18 -x17 -x16 -x15 x14 -x13 -x12 -x11 x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.06/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.61 c Solving Time : 1699.59
1800.06/1800.61 c Original Problem :
1800.06/1800.61 c Problem name : HOME/instance-2663889-1276672069.opb
1800.06/1800.61 c Variables : 716 (716 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.61 c Constraints : 767 initial, 767 maximal
1800.06/1800.61 c Presolved Problem :
1800.06/1800.61 c Problem name : t_HOME/instance-2663889-1276672069.opb
1800.06/1800.61 c Variables : 716 (716 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.61 c Constraints : 767 initial, 17673 maximal
1800.06/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.06/1800.61 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c and : 0.07 0 0 0 0 0 0 0 0
1800.06/1800.61 c linear : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c root node : - 0 - - 0 - - - -
1800.06/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.61 c setppc : 100 0 10158173 0 2016434 22379 2891460 0 0 0
1800.06/1800.61 c and : 616 0 10150861 0 2018925 1526 21523917 0 0 0
1800.06/1800.61 c linear : 1 0 10149263 0 2018947 243952 12117291 0 0 0
1800.06/1800.61 c logicor : 50+ 0 2755854 0 1957833 89341 1600280 0 0 0
1800.06/1800.61 c countsols : 0 0 0 0 2018955 0 0 0 0 0
1800.06/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.61 c setppc : 43.37 0.00 15.91 0.00 27.46
1800.06/1800.61 c and : 71.94 0.00 68.17 0.00 3.77
1800.06/1800.61 c linear : 176.08 0.00 174.36 0.00 1.72
1800.06/1800.61 c logicor : 413.17 0.00 408.37 0.00 4.80
1800.06/1800.61 c countsols : 0.88 0.00 0.00 0.00 0.88
1800.06/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.61 c vbounds : 4.75 2 0 0
1800.06/1800.61 c rootredcost : 4.41 0 0 0
1800.06/1800.61 c pseudoobj : 299.44 11028064 854853 1207323
1800.06/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.61 c propagation : 289.75 1212051 940090 7241919 69.8 1336 5.3 -
1800.06/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.61 c applied globally : - - - 986032 56.7 - - -
1800.06/1800.61 c applied locally : - - - 37783 76.9 - - -
1800.06/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.06/1800.61 c redcost : 0.00 0 0 0 0 0
1800.06/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.06/1800.61 c intobj : 0.00 0 0 0 0 0
1800.06/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.61 c gomory : 0.00 0 0 0 0 0
1800.06/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.06/1800.61 c cmir : 0.00 0 0 0 0 0
1800.06/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.06/1800.61 c clique : 0.00 0 0 0 0 0
1800.06/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.61 c mcf : 0.00 0 0 0 0 0
1800.06/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.61 c Pricers : Time Calls Vars
1800.06/1800.61 c problem variables: 0.00 0 0
1800.06/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.06/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.61 c inference : 53.55 2018947 0 0 0 0 4037894
1800.06/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.61 c random : 0.00 0 0 0 0 0 0
1800.06/1800.61 c Primal Heuristics : Time Calls Found
1800.06/1800.61 c LP solutions : 0.00 - 0
1800.06/1800.61 c pseudo solutions : 0.04 - 8
1800.06/1800.61 c oneopt : 2.29 0 0
1800.06/1800.61 c trivial : 0.00 2 3
1800.06/1800.61 c simplerounding : 0.00 0 0
1800.06/1800.61 c zirounding : 0.00 0 0
1800.06/1800.61 c rounding : 0.00 0 0
1800.06/1800.61 c shifting : 0.00 0 0
1800.06/1800.61 c intshifting : 0.00 0 0
1800.06/1800.61 c twoopt : 0.00 0 0
1800.06/1800.61 c fixandinfer : 0.00 0 0
1800.06/1800.61 c feaspump : 0.00 0 0
1800.06/1800.61 c coefdiving : 0.00 0 0
1800.06/1800.61 c pscostdiving : 0.00 0 0
1800.06/1800.61 c fracdiving : 0.00 0 0
1800.06/1800.61 c veclendiving : 0.00 0 0
1800.06/1800.61 c intdiving : 0.00 0 0
1800.06/1800.61 c actconsdiving : 0.00 0 0
1800.06/1800.61 c objpscostdiving : 0.00 0 0
1800.06/1800.61 c rootsoldiving : 0.00 0 0
1800.06/1800.61 c linesearchdiving : 0.00 0 0
1800.06/1800.61 c guideddiving : 0.00 0 0
1800.06/1800.61 c octane : 0.00 0 0
1800.06/1800.61 c rens : 0.00 0 0
1800.06/1800.61 c rins : 0.00 0 0
1800.06/1800.61 c localbranching : 0.00 0 0
1800.06/1800.61 c mutation : 0.00 0 0
1800.06/1800.61 c crossover : 0.00 0 0
1800.06/1800.61 c dins : 0.00 0 0
1800.06/1800.61 c undercover : 0.00 0 0
1800.06/1800.61 c nlp : 1.40 0 0
1800.06/1800.61 c trysol : 1.46 0 0
1800.06/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.06/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.06/1800.61 c (at root node) : - 0 0 0.00 -
1800.06/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.61 c B&B Tree :
1800.06/1800.61 c number of runs : 1
1800.06/1800.61 c nodes : 3055980
1800.06/1800.61 c nodes (total) : 3055980
1800.06/1800.61 c nodes left : 805350
1800.06/1800.61 c max depth : 90
1800.06/1800.61 c max depth (total): 90
1800.06/1800.61 c backtracks : 270612 (8.9%)
1800.06/1800.61 c delayed cutoffs : 176559
1800.06/1800.61 c repropagations : 3666980 (4245111 domain reductions, 175026 cutoffs)
1800.06/1800.61 c avg switch length: 5.27
1800.06/1800.61 c switching time : 388.33
1800.06/1800.61 c Solution :
1800.06/1800.61 c Solutions found : 11 (9 improvements)
1800.06/1800.61 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1800.06/1800.61 c Primal Bound : -1.00000000000000e+01 (in run 1, after 1216573 nodes, 521.78 seconds, depth 69, found by <relaxation>)
1800.06/1800.61 c Dual Bound : -4.30000000000000e+01
1800.06/1800.61 c Gap : 76.74 %
1800.06/1800.61 c Root Dual Bound : -5.00000000000000e+01
1800.06/1800.61 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663889-1276672069/watcher-2663889-1276672069 -o /tmp/evaluation-result-2663889-1276672069/solver-2663889-1276672069 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663889-1276672069.opb -t 1800 -m 1800
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.09 2.08 1.93 3/105 17608
/proc/meminfo: memFree=1790576/2059040 swapFree=4148288/4192956
[pid=17608] ppid=17606 vsize=6584 CPUtime=0
/proc/17608/stat : 17608 (pbscip.linux.x8) R 17606 17608 17386 0 -1 4202496 1076 0 0 0 0 0 0 0 25 0 1 0 8500438 6742016 999 1992294400 4194304 7136930 140734403533568 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17608/statm: 1646 1009 254 719 0 925 0
[startup+0.049182 s]
/proc/loadavg: 2.09 2.08 1.93 3/105 17608
/proc/meminfo: memFree=1790576/2059040 swapFree=4148288/4192956
[pid=17608] ppid=17606 vsize=12164 CPUtime=0.04
/proc/17608/stat : 17608 (pbscip.linux.x8) R 17606 17608 17386 0 -1 4202496 2930 0 0 0 2 2 0 0 25 0 1 0 8500438 12455936 2242 1992294400 4194304 7136930 140734403533568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17608/statm: 3041 2242 333 719 0 2320 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12164
[startup+0.101188 s]
/proc/loadavg: 2.09 2.08 1.93 3/105 17608
/proc/meminfo: memFree=1790576/2059040 swapFree=4148288/4192956
[pid=17608] ppid=17606 vsize=12164 CPUtime=0.09
/proc/17608/stat : 17608 (pbscip.linux.x8) R 17606 17608 17386 0 -1 4202496 2930 0 0 0 4 5 0 0 25 0 1 0 8500438 12455936 2242 1992294400 4194304 7136930 140734403533568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17608/statm: 3041 2242 333 719 0 2320 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12164
[startup+0.300207 s]
/proc/loadavg: 2.09 2.08 1.93 3/105 17608
/proc/meminfo: memFree=1790576/2059040 swapFree=4148288/4192956
[pid=17608] ppid=17606 vsize=14652 CPUtime=0.29
/proc/17608/stat : 17608 (pbscip.linux.x8) R 17606 17608 17386 0 -1 4202496 4918 0 0 0 18 11 0 0 18 0 1 0 8500438 15003648 2945 1992294400 4194304 7136930 140734403533568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17608/statm: 3663 2949 393 719 0 2942 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14652
[startup+0.700249 s]
/proc/loadavg: 2.09 2.08 1.93 3/105 17608
/proc/meminfo: memFree=1790576/2059040 swapFree=4148288/4192956
[pid=17608] ppid=17606 vsize=16760 CPUtime=0.69
/proc/17608/stat : 17608 (pbscip.linux.x8) R 17606 17608 17386 0 -1 4202496 5424 0 0 0 55 14 0 0 18 0 1 0 8500438 17162240 3451 1992294400 4194304 7136930 140734403533568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17608/statm: 4190 3451 393 719 0 3469 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16760
[startup+1.50033 s]
/proc/loadavg: 2.09 2.08 1.93 2/106 17609
/proc/meminfo: memFree=1776556/2059040 swapFree=4148288/4192956
[pid=17608] ppid=17606 vsize=20492 CPUtime=1.49
/proc/17608/stat : 17608 (pbscip.linux.x8) R 17606 17608 17386 0 -1 4202496 6355 0 0 0 129 20 0 0 19 0 1 0 8500438 20983808 4382 1992294400 4194304 7136930 140734403533568 18446744073709551615 6166233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17608/statm: 5123 4382 393 719 0 4402 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20492
[startup+3.1005 s]
/proc/loadavg: 2.09 2.08 1.93 2/106 17609
/proc/meminfo: memFree=1769736/2059040 swapFree=4148288/4192956
[pid=17608] ppid=17606 vsize=33644 CPUtime=3.09
/proc/17608/stat : 17608 (pbscip.linux.x8) R 17606 17608 17386 0 -1 4202496 9496 0 0 0 273 36 0 0 23 0 1 0 8500438 34451456 7523 1992294400 4194304 7136930 140734403533568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17608/statm: 8411 7523 393 719 0 7690 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33644
[startup+6.30184 s]
/proc/loadavg: 2.00 2.06 1.93 2/106 17609
/proc/meminfo: memFree=1747540/2059040 swapFree=4148288/4192956
[pid=17608] ppid=17606 vsize=56000 CPUtime=6.3
/proc/17608/stat : 17608 (pbscip.linux.x8) R 17606 17608 17386 0 -1 4202496 14857 0 0 0 563 67 0 0 25 0 1 0 8500438 57344000 12884 1992294400 4194304 7136930 140734403533568 18446744073709551615 4660948 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17608/statm: 14000 12884 393 719 0 13279 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 56000
[startup+12.7015 s]
/proc/loadavg: 1.92 2.04 1.92 2/106 17611
/proc/meminfo: memFree=1712820/2059040 swapFree=4148288/4192956
[pid=17608] ppid=17606 vsize=89080 CPUtime=12.69
/proc/17608/stat : 17608 (pbscip.linux.x8) R 17606 17608 17386 0 -1 4202496 22813 0 0 0 1151 118 0 0 25 0 1 0 8500438 91217920 20840 1992294400 4194304 7136930 140734403533568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17608/statm: 22270 20840 393 719 0 21549 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 89080
[startup+25.5018 s]
/proc/loadavg: 1.71 1.99 1.90 2/106 17611
/proc/meminfo: memFree=1633336/2059040 swapFree=4148288/4192956
[pid=17608] ppid=17606 vsize=169736 CPUtime=25.49
/proc/17608/stat : 17608 (pbscip.linux.x8) R 17606 17608 17386 0 -1 4202496 41762 0 0 0 2315 234 0 0 25 0 1 0 8500438 173809664 39789 1992294400 4194304 7136930 140734403533568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17608/statm: 42434 39789 393 719 0 41713 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 169736
[startup+51.1015 s]
/proc/loadavg: 1.47 1.91 1.88 2/106 17611
/proc/meminfo: memFree=1509708/2059040 swapFree=4148288/4192956
[pid=17608] ppid=17606 vsize=297544 CPUtime=51.08
/proc/17608/stat : 17608 (pbscip.linux.x8) R 17606 17608 17386 0 -1 4202496 72692 0 0 0 4666 442 0 0 25 0 1 0 8500438 304685056 70719 1992294400 4194304 7136930 140734403533568 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17608/statm: 74386 70719 393 719 0 73665 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 297544
[startup+102.309 s]
/proc/loadavg: 1.20 1.77 1.83 2/106 17613
/proc/meminfo: memFree=1291840/2059040 swapFree=4148288/4192956
[pid=17608] ppid=17606 vsize=524132 CPUtime=102.27
/proc/17608/stat : 17608 (pbscip.linux.x8) R 17606 17608 17386 0 -1 4202496 126811 0 0 0 9401 826 0 0 25 0 1 0 8500438 536711168 124838 1992294400 4194304 7136930 140734403533568 18446744073709551615 4660874 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17608/statm: 131033 124838 393 719 0 130312 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 524132
[startup+162.301 s]
/proc/loadavg: 1.07 1.63 1.78 2/106 17615
/proc/meminfo: memFree=1148868/2059040 swapFree=4148288/4192956
[pid=17608] ppid=17606 vsize=664116 CPUtime=162.25
/proc/17608/stat : 17608 (pbscip.linux.x8) R 17606 17608 17386 0 -1 4202496 162633 0 0 0 15040 1185 0 0 25 0 1 0 8500438 680054784 160660 1992294400 4194304 7136930 140734403533568 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17608/statm: 166029 160660 393 719 0 165308 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 664116
[startup+222.301 s]
/proc/loadavg: 1.02 1.51 1.72 2/106 17615
/proc/meminfo: memFree=898512/2059040 swapFree=4148288/4192956
[pid=17608] ppid=17606 vsize=915408 CPUtime=222.23
/proc/17608/stat : 17608 (pbscip.linux.x8) R 17606 17608 17386 0 -1 4202496 224964 0 0 0 20617 1606 0 0 25 0 1 0 8500438 937377792 222991 1992294400 4194304 7136930 140734403533568 18446744073709551615 5956332 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17608/statm: 228852 222991 393 719 0 228131 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 915408
[startup+282.301 s]
/proc/loadavg: 1.01 1.41 1.68 2/106 17617
/proc/meminfo: memFree=736692/2059040 swapFree=4148288/4192956
[pid=17608] ppid=17606 vsize=1084396 CPUtime=282.21
/proc/17608/stat : 17608 (pbscip.linux.x8) R 17606 17608 17386 0 -1 4202496 265371 0 0 0 26246 1975 0 0 25 0 1 0 8500438 1110421504 263398 1992294400 4194304 7136930 140734403533568 18446744073709551615 4703475 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17608/statm: 271099 263398 393 719 0 270378 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1084396
[startup+342.301 s]
/proc/loadavg: 1.00 1.34 1.63 2/106 17619
/proc/meminfo: memFree=632904/2059040 swapFree=4148288/4192956
[pid=17608] ppid=17606 vsize=1185952 CPUtime=342.19
/proc/17608/stat : 17608 (pbscip.linux.x8) R 17606 17608 17386 0 -1 4202496 291219 0 0 0 31957 2262 0 0 25 0 1 0 8500438 1214414848 289246 1992294400 4194304 7136930 140734403533568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17608/statm: 296488 289246 393 719 0 295767 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 1185952
[startup+402.3 s]
/proc/loadavg: 1.00 1.27 1.59 2/106 17621
/proc/meminfo: memFree=522668/2059040 swapFree=4148288/4192956
[pid=17608] ppid=17606 vsize=1297828 CPUtime=402.18
/proc/17608/stat : 17608 (pbscip.linux.x8) R 17606 17608 17386 0 -1 4202496 318962 0 0 0 37642 2576 0 0 25 0 1 0 8500438 1328975872 316989 1992294400 4194304 7136930 140734403533568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17608/statm: 324457 316989 393 719 0 323736 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1297828
[startup+462.301 s]
/proc/loadavg: 1.00 1.22 1.55 2/106 17623
/proc/meminfo: memFree=337908/2059040 swapFree=4148288/4192956
[pid=17608] ppid=17606 vsize=1476668 CPUtime=462.16
/proc/17608/stat : 17608 (pbscip.linux.x8) R 17606 17608 17386 0 -1 4202496 367677 0 0 0 43204 3012 0 0 25 0 1 0 8500438 1512108032 362528 1992294400 4194304 7136930 140734403533568 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17608/statm: 369167 362528 393 719 0 368446 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1476668
[startup+522.301 s]
/proc/loadavg: 1.00 1.18 1.51 2/106 17623
/proc/meminfo: memFree=331832/2059040 swapFree=4148288/4192956
[pid=17608] ppid=17606 vsize=1482856 CPUtime=522.13
/proc/17608/stat : 17608 (pbscip.linux.x8) R 17606 17608 17386 0 -1 4202496 369206 0 0 0 48750 3463 0 0 25 0 1 0 8500438 1518444544 364057 1992294400 4194304 7136930 140734403533568 18446744073709551615 5924617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17608/statm: 370714 364057 393 719 0 369993 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 1482856
[startup+582.3 s]
/proc/loadavg: 1.00 1.14 1.48 2/106 17625
/proc/meminfo: memFree=328112/2059040 swapFree=4148288/4192956
[pid=17608] ppid=17606 vsize=1486620 CPUtime=582.12
/proc/17608/stat : 17608 (pbscip.linux.x8) R 17606 17608 17386 0 -1 4202496 370104 0 0 0 54339 3873 0 0 25 0 1 0 8500438 1522298880 364955 1992294400 4194304 7136930 140734403533568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17608/statm: 371655 364955 393 719 0 370934 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 1486620
[startup+642.3 s]
/proc/loadavg: 1.00 1.11 1.44 2/106 17627
/proc/meminfo: memFree=323524/2059040 swapFree=4148288/4192956
[pid=17608] ppid=17606 vsize=1490872 CPUtime=642.11
/proc/17608/stat : 17608 (pbscip.linux.x8) R 17606 17608 17386 0 -1 4202496 371180 0 0 0 59974 4237 0 0 25 0 1 0 8500438 1526652928 366031 1992294400 4194304 7136930 140734403533568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17608/statm: 372718 366031 393 719 0 371997 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 1490872
[startup+702.301 s]
################
# More data... #
################
/proc/17608/stat : 17608 (pbscip.linux.x8) R 17606 17608 17386 0 -1 4202496 372196 0 0 0 99548 6650 0 0 25 0 1 0 8500438 1530687488 366985 1992294400 4194304 7136930 140734403533568 18446744073709551615 4948400 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17608/statm: 373703 366985 393 719 0 372982 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 1494812
[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.25 2/106 17639
/proc/meminfo: memFree=317076/2059040 swapFree=4148288/4192956
[pid=17608] ppid=17606 vsize=1496780 CPUtime=1121.97
/proc/17608/stat : 17608 (pbscip.linux.x8) R 17606 17608 17386 0 -1 4202496 372677 0 0 0 105284 6913 0 0 25 0 1 0 8500438 1532702720 367466 1992294400 4194304 7136930 140734403533568 18446744073709551615 5955595 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17608/statm: 374195 367466 393 719 0 373474 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 1496780
[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.23 2/106 17641
/proc/meminfo: memFree=316704/2059040 swapFree=4148288/4192956
[pid=17608] ppid=17606 vsize=1496780 CPUtime=1181.94
/proc/17608/stat : 17608 (pbscip.linux.x8) R 17606 17608 17386 0 -1 4202496 372697 0 0 0 110954 7240 0 0 25 0 1 0 8500438 1532702720 367486 1992294400 4194304 7136930 140734403533568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17608/statm: 374195 367486 393 719 0 373474 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 1496780
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.21 2/106 17643
/proc/meminfo: memFree=316456/2059040 swapFree=4148288/4192956
[pid=17608] ppid=17606 vsize=1496780 CPUtime=1241.92
/proc/17608/stat : 17608 (pbscip.linux.x8) R 17606 17608 17386 0 -1 4202496 372697 0 0 0 116635 7557 0 0 25 0 1 0 8500438 1532702720 367486 1992294400 4194304 7136930 140734403533568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17608/statm: 374195 367486 393 719 0 373474 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1496780
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.20 2/106 17645
/proc/meminfo: memFree=316208/2059040 swapFree=4148288/4192956
[pid=17608] ppid=17606 vsize=1496780 CPUtime=1301.92
/proc/17608/stat : 17608 (pbscip.linux.x8) R 17606 17608 17386 0 -1 4202496 372702 0 0 0 122336 7856 0 0 25 0 1 0 8500438 1532702720 367491 1992294400 4194304 7136930 140734403533568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17608/statm: 374195 367491 393 719 0 373474 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1496780
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.18 2/106 17647
/proc/meminfo: memFree=316208/2059040 swapFree=4148288/4192956
[pid=17608] ppid=17606 vsize=1496780 CPUtime=1361.9
/proc/17608/stat : 17608 (pbscip.linux.x8) R 17606 17608 17386 0 -1 4202496 372702 0 0 0 128036 8154 0 0 25 0 1 0 8500438 1532702720 367491 1992294400 4194304 7136930 140734403533568 18446744073709551615 5909056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17608/statm: 374195 367491 393 719 0 373474 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1496780
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.17 2/106 17647
/proc/meminfo: memFree=316084/2059040 swapFree=4148288/4192956
[pid=17608] ppid=17606 vsize=1496780 CPUtime=1421.88
/proc/17608/stat : 17608 (pbscip.linux.x8) R 17606 17608 17386 0 -1 4202496 372712 0 0 0 133739 8449 0 0 25 0 1 0 8500438 1532702720 367501 1992294400 4194304 7136930 140734403533568 18446744073709551615 4240369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17608/statm: 374195 367501 393 719 0 373474 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1496780
[startup+1482.3 s]
/proc/loadavg: 1.06 1.01 1.16 2/106 17652
/proc/meminfo: memFree=314724/2059040 swapFree=4148288/4192956
[pid=17608] ppid=17606 vsize=1496992 CPUtime=1481.85
/proc/17608/stat : 17608 (pbscip.linux.x8) R 17606 17608 17386 0 -1 4202496 372758 0 0 0 139521 8664 0 0 25 0 1 0 8500438 1532919808 367547 1992294400 4194304 7136930 140734403533568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17608/statm: 374248 367547 393 719 0 373527 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1496992
[startup+1542.3 s]
/proc/loadavg: 1.02 1.01 1.15 2/106 17654
/proc/meminfo: memFree=313608/2059040 swapFree=4148288/4192956
[pid=17608] ppid=17606 vsize=1499208 CPUtime=1541.83
/proc/17608/stat : 17608 (pbscip.linux.x8) R 17606 17608 17386 0 -1 4202496 373180 0 0 0 145340 8843 0 0 25 0 1 0 8500438 1535188992 367969 1992294400 4194304 7136930 140734403533568 18446744073709551615 4210534 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17608/statm: 374802 367969 393 719 0 374081 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1499208
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/106 17656
/proc/meminfo: memFree=313608/2059040 swapFree=4148288/4192956
[pid=17608] ppid=17606 vsize=1499208 CPUtime=1601.82
/proc/17608/stat : 17608 (pbscip.linux.x8) R 17606 17608 17386 0 -1 4202496 373181 0 0 0 151081 9101 0 0 25 0 1 0 8500438 1535188992 367970 1992294400 4194304 7136930 140734403533568 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17608/statm: 374802 367970 393 719 0 374081 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1499208
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/106 17658
/proc/meminfo: memFree=313608/2059040 swapFree=4148288/4192956
[pid=17608] ppid=17606 vsize=1499208 CPUtime=1661.8
/proc/17608/stat : 17608 (pbscip.linux.x8) R 17606 17608 17386 0 -1 4202496 373189 0 0 0 156771 9409 0 0 25 0 1 0 8500438 1535188992 367978 1992294400 4194304 7136930 140734403533568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17608/statm: 374802 367978 393 719 0 374081 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1499208
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.11 2/106 17658
/proc/meminfo: memFree=313608/2059040 swapFree=4148288/4192956
[pid=17608] ppid=17606 vsize=1499208 CPUtime=1721.78
/proc/17608/stat : 17608 (pbscip.linux.x8) R 17606 17608 17386 0 -1 4202496 373198 0 0 0 162495 9683 0 0 25 0 1 0 8500438 1535188992 367987 1992294400 4194304 7136930 140734403533568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17608/statm: 374802 367987 393 719 0 374081 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1499208
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/106 17660
/proc/meminfo: memFree=312988/2059040 swapFree=4148288/4192956
[pid=17608] ppid=17606 vsize=1499688 CPUtime=1781.76
/proc/17608/stat : 17608 (pbscip.linux.x8) R 17606 17608 17386 0 -1 4202496 373277 0 0 0 168218 9958 0 0 25 0 1 0 8500438 1535680512 368066 1992294400 4194304 7136930 140734403533568 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17608/statm: 374922 368066 393 719 0 374201 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1499688
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.10 2/106 17660
/proc/meminfo: memFree=312988/2059040 swapFree=4148288/4192956
[pid=17608] ppid=17606 vsize=1499688 CPUtime=1800.06
/proc/17608/stat : 17608 (pbscip.linux.x8) R 17606 17608 17386 0 -1 4202496 373277 0 0 0 169959 10047 0 0 25 0 1 0 8500438 1535680512 368066 1992294400 4194304 7136930 140734403533568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17608/statm: 374922 368066 393 719 0 374201 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1499688
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -17608
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.10 2/106 17660
/proc/meminfo: memFree=312988/2059040 swapFree=4148288/4192956
[pid=17608] ppid=17606 vsize=1499688 CPUtime=1800.85
/proc/17608/stat : 17608 (pbscip.linux.x8) R 17606 17608 17386 0 -1 4202496 373282 0 0 0 170038 10047 0 0 18 0 1 0 8500438 1535680512 368071 1992294400 4194304 7136930 140734403533568 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17608/statm: 374922 368071 398 719 0 374201 0
Current children cumulated CPU time (s) 1800.85
Current children cumulated vsize (KiB) 1499688
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 17661
/proc/meminfo: memFree=312856/2059040 swapFree=4148288/4192956
[pid=17608] ppid=17606 vsize=1499688 CPUtime=1801.65
/proc/17608/stat : 17608 (pbscip.linux.x8) R 17606 17608 17386 0 -1 4202496 373282 0 0 0 170118 10047 0 0 20 0 1 0 8500438 1535680512 368071 1992294400 4194304 7136930 140734403533568 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17608/statm: 374922 368071 398 719 0 374201 0
Current children cumulated CPU time (s) 1801.65
Current children cumulated vsize (KiB) 1499688
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 17661
/proc/meminfo: memFree=312856/2059040 swapFree=4148288/4192956
[pid=17608] ppid=17606 vsize=1499688 CPUtime=1802.05
/proc/17608/stat : 17608 (pbscip.linux.x8) R 17606 17608 17386 0 -1 4202496 373282 0 0 0 170158 10047 0 0 21 0 1 0 8500438 1535680512 368071 1992294400 4194304 7136930 140734403533568 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17608/statm: 374922 368071 398 719 0 374201 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 1499688
[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 17661
/proc/meminfo: memFree=312856/2059040 swapFree=4148288/4192956
[pid=17608] ppid=17606 vsize=0 CPUtime=1802.16
/proc/17608/stat : 17608 (pbscip.linux.x8) R 17606 17608 17386 0 -1 4203524 373282 0 0 0 170160 10056 0 0 21 0 1 0 8500438 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/17608/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.16
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.75
CPU time (s): 1802.21
CPU user time (s): 1701.6
CPU system time (s): 100.609
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 1499688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1701.6
system time used= 100.609
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 373282
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= 3219
runsolver used 3.05854 second user time and 8.45172 second system time
The end