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-2663873-1276669532.opb>
0.00/0.02 c original problem has 718 variables (718 bin, 0 int, 0 impl, 0 cont) and 769 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 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.19/0.20 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 150 upgd conss, 5044 impls, 100 clqs
0.19/0.23 c (0.1s) probing: 101/718 (14.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.23 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.23 c presolving (2 rounds):
0.19/0.23 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.23 c 5044 implications, 100 cliques
0.19/0.23 c presolved problem has 718 variables (718 bin, 0 int, 0 impl, 0 cont) and 769 constraints
0.19/0.23 c 100 constraints of type <setppc>
0.19/0.23 c 618 constraints of type <and>
0.19/0.23 c 1 constraints of type <linear>
0.19/0.23 c 50 constraints of type <logicor>
0.19/0.23 c transformed objective value is always integral (scale: 1)
0.19/0.23 c Presolving Time: 0.10
0.19/0.23 c - non default parameters ----------------------------------------------------------------------
0.19/0.23 c # SCIP version 1.2.1.2
0.19/0.23 c
0.19/0.23 c # frequency for displaying node information lines
0.19/0.23 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.23 c display/freq = 10000
0.19/0.23 c
0.19/0.23 c # maximal time in seconds to run
0.19/0.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.23 c limits/time = 1800
0.19/0.23 c
0.19/0.23 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.23 c limits/memory = 1620
0.19/0.23 c
0.19/0.23 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.23 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.23 c lp/solvefreq = -1
0.19/0.23 c
0.19/0.23 c # should presolving try to simplify inequalities
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c constraints/linear/simplifyinequalities = TRUE
0.19/0.23 c
0.19/0.23 c # should presolving try to simplify knapsacks
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.23 c
0.19/0.23 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.19/0.23 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.23 c heuristics/undercover/freq = 0
0.19/0.23 c
0.19/0.23 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.23 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.23 c separating/rapidlearning/freq = 0
0.19/0.23 c
0.19/0.23 c -----------------------------------------------------------------------------------------------
0.19/0.23 c start solving
0.19/0.23 c
0.19/0.23 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.23 c t 0.1s| 1 | 2 | 0 | - |2245k| 0 | - | 718 | 769 | 0 | 0 | 0 | 0 | 0 |-5.000000e+01 | 0.000000e+00 | 100.00%
0.59/0.62 o -5
0.59/0.62 c * 0.5s| 1102 | 980 | 0 | 0.0 |3577k| 43 | - | 718 | 841 | 0 | 0 | 0 | 72 | 0 |-4.900000e+01 |-5.000000e+00 | 89.80%
1.10/1.15 o -6
1.10/1.15 c * 0.9s| 2549 | 2102 | 0 | 0.0 |5450k| 51 | - | 718 | 937 | 0 | 0 | 0 | 168 | 0 |-4.800000e+01 |-6.000000e+00 | 87.50%
3.20/3.30 o -7
3.20/3.30 c * 2.9s| 8194 | 7073 | 0 | 0.0 | 16M| 51 | - | 718 |1033 | 0 | 0 | 0 | 533 | 0 |-4.800000e+01 |-7.000000e+00 | 85.42%
3.89/3.97 c 3.5s| 10000 | 8699 | 0 | 0.0 | 19M| 51 | - | 718 |1054 | 0 | 0 | 0 | 627 | 0 |-4.800000e+01 |-7.000000e+00 | 85.42%
8.09/8.19 c 7.4s| 20000 | 15794 | 0 | 0.0 | 35M| 58 | - | 718 |1518 | 0 | 0 | 0 |2355 | 0 |-4.700000e+01 |-7.000000e+00 | 85.11%
12.10/12.14 c 11.0s| 30000 | 24893 | 0 | 0.0 | 56M| 58 | - | 718 |1234 | 0 | 0 | 0 |2776 | 0 |-4.700000e+01 |-7.000000e+00 | 85.11%
12.88/12.99 o -8
12.88/12.99 c *11.8s| 32416 | 27171 | 0 | 0.0 | 61M| 58 | - | 718 |1262 | 0 | 0 | 0 |2849 | 0 |-4.700000e+01 |-8.000000e+00 | 82.98%
15.79/15.88 c 14.4s| 40000 | 34150 | 0 | 0.0 | 77M| 58 | - | 718 |1299 | 0 | 0 | 0 |3170 | 0 |-4.700000e+01 |-8.000000e+00 | 82.98%
20.09/20.19 c 18.4s| 50000 | 42557 | 0 | 0.0 | 97M| 58 | - | 718 |1581 | 0 | 0 | 0 |4177 | 0 |-4.700000e+01 |-8.000000e+00 | 82.98%
24.38/24.42 c 22.4s| 60000 | 49994 | 0 | 0.0 | 113M| 59 | - | 718 |1645 | 0 | 0 | 0 |5567 | 0 |-4.600000e+01 |-8.000000e+00 | 82.61%
28.78/28.87 c 26.5s| 70000 | 57265 | 0 | 0.0 | 130M| 59 | - | 718 |1408 | 0 | 0 | 0 |6737 | 0 |-4.600000e+01 |-8.000000e+00 | 82.61%
32.68/32.70 c 30.0s| 80000 | 66694 | 0 | 0.0 | 150M| 59 | - | 718 |1481 | 0 | 0 | 0 |7023 | 0 |-4.600000e+01 |-8.000000e+00 | 82.61%
36.57/36.69 c 33.6s| 90000 | 75858 | 0 | 0.0 | 171M| 59 | - | 718 |1593 | 0 | 0 | 0 |7474 | 0 |-4.600000e+01 |-8.000000e+00 | 82.61%
41.07/41.12 c 37.8s|100000 | 83847 | 0 | 0.0 | 188M| 59 | - | 718 |1800 | 0 | 0 | 0 |8638 | 0 |-4.600000e+01 |-8.000000e+00 | 82.61%
45.98/46.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.98/46.00 c 42.3s|110000 | 89492 | 0 | 0.0 | 200M| 61 | - | 718 |2421 | 0 | 0 | 0 | 10k| 0 |-4.600000e+01 |-8.000000e+00 | 82.61%
50.08/50.12 c 46.1s|120000 | 97602 | 0 | 0.0 | 216M| 61 | - | 718 |1851 | 0 | 0 | 0 | 11k| 0 |-4.500000e+01 |-8.000000e+00 | 82.22%
54.57/54.64 c 50.3s|130000 |103851 | 0 | 0.0 | 228M| 61 | - | 718 |2019 | 0 | 0 | 0 | 13k| 0 |-4.500000e+01 |-8.000000e+00 | 82.22%
59.57/59.65 c 55.0s|140000 |108359 | 0 | 0.0 | 236M| 61 | - | 718 |2495 | 0 | 0 | 0 | 15k| 0 |-4.500000e+01 |-8.000000e+00 | 82.22%
64.17/64.24 c 59.3s|150000 |116796 | 0 | 0.0 | 256M| 63 | - | 718 |1737 | 0 | 0 | 0 | 16k| 0 |-4.500000e+01 |-8.000000e+00 | 82.22%
68.27/68.31 c 63.0s|160000 |126171 | 0 | 0.0 | 275M| 63 | - | 718 |1806 | 0 | 0 | 0 | 16k| 0 |-4.500000e+01 |-8.000000e+00 | 82.22%
72.36/72.43 c 66.8s|170000 |135438 | 0 | 0.0 | 294M| 63 | - | 718 |1836 | 0 | 0 | 0 | 17k| 0 |-4.500000e+01 |-8.000000e+00 | 82.22%
76.47/76.59 c 70.7s|180000 |144591 | 0 | 0.0 | 313M| 63 | - | 718 |1899 | 0 | 0 | 0 | 17k| 0 |-4.500000e+01 |-8.000000e+00 | 82.22%
80.86/80.96 c 74.7s|190000 |153234 | 0 | 0.0 | 331M| 63 | - | 718 |2045 | 0 | 0 | 0 | 18k| 0 |-4.500000e+01 |-8.000000e+00 | 82.22%
84.27/84.37 o -9
84.27/84.37 c *77.9s|197363 |159127 | 0 | 0.0 | 343M| 63 | - | 718 |2187 | 0 | 0 | 0 | 19k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
85.56/85.61 c 79.0s|200000 |161217 | 0 | 0.0 | 347M| 63 | - | 718 |2197 | 0 | 0 | 0 | 19k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
90.26/90.37 c 83.5s|210000 |168535 | 0 | 0.0 | 361M| 63 | - | 718 |2345 | 0 | 0 | 0 | 21k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
95.26/95.33 c 88.1s|220000 |175380 | 0 | 0.0 | 374M| 63 | - | 718 |2626 | 0 | 0 | 0 | 23k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
100.56/100.61 c 93.1s|230000 |181549 | 0 | 0.0 | 385M| 63 | - | 718 |2845 | 0 | 0 | 0 | 25k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
106.25/106.33 c 98.5s|240000 |186897 | 0 | 0.0 | 395M| 63 | - | 718 |3312 | 0 | 0 | 0 | 27k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
112.36/112.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
112.36/112.49 c 104s|250000 |191202 | 0 | 0.0 | 404M| 63 | - | 718 |3169 | 0 | 0 | 0 | 29k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
116.95/117.06 c 109s|260000 |199431 | 0 | 0.0 | 419M| 63 | - | 718 |2450 | 0 | 0 | 0 | 30k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
121.55/121.68 c 113s|270000 |206747 | 0 | 0.0 | 432M| 63 | - | 718 |2619 | 0 | 0 | 0 | 32k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
126.46/126.59 c 118s|280000 |212677 | 0 | 0.0 | 443M| 63 | - | 718 |2826 | 0 | 0 | 0 | 33k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
131.54/131.61 c 122s|290000 |218318 | 0 | 0.0 | 452M| 63 | - | 718 |2861 | 0 | 0 | 0 | 35k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
137.04/137.17 c 128s|300000 |223197 | 0 | 0.0 | 461M| 63 | - | 718 |3095 | 0 | 0 | 0 | 37k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
142.85/142.96 c 133s|310000 |226575 | 0 | 0.0 | 468M| 63 | - | 718 |3546 | 0 | 0 | 0 | 40k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
147.64/147.71 c 137s|320000 |235674 | 0 | 0.0 | 487M| 63 | - | 718 |2293 | 0 | 0 | 0 | 40k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
151.44/151.59 c 141s|330000 |245169 | 0 | 0.0 | 502M| 63 | - | 718 |2251 | 0 | 0 | 0 | 40k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
155.54/155.62 c 145s|340000 |254612 | 0 | 0.0 | 519M| 63 | - | 718 |2269 | 0 | 0 | 0 | 40k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
159.63/159.72 c 149s|350000 |264033 | 0 | 0.0 | 536M| 63 | - | 718 |2324 | 0 | 0 | 0 | 41k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
163.74/163.86 c 152s|360000 |273383 | 0 | 0.0 | 553M| 63 | - | 718 |2331 | 0 | 0 | 0 | 41k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
167.83/167.99 c 156s|370000 |282730 | 0 | 0.0 | 570M| 63 | - | 718 |2369 | 0 | 0 | 0 | 42k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
172.13/172.22 c 160s|380000 |292041 | 0 | 0.0 | 587M| 63 | - | 718 |2435 | 0 | 0 | 0 | 42k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
176.43/176.58 c 164s|390000 |301338 | 0 | 0.0 | 604M| 63 | - | 718 |2478 | 0 | 0 | 0 | 42k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
181.13/181.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
181.13/181.23 c 169s|400000 |310395 | 0 | 0.0 | 621M| 63 | - | 718 |2538 | 0 | 0 | 0 | 43k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
185.93/186.02 c 173s|410000 |319333 | 0 | 0.0 | 639M| 63 | - | 718 |2514 | 0 | 0 | 0 | 44k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
190.53/190.69 c 177s|420000 |328147 | 0 | 0.0 | 655M| 63 | - | 718 |2641 | 0 | 0 | 0 | 44k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
195.42/195.59 c 182s|430000 |336625 | 0 | 0.0 | 671M| 63 | - | 718 |2706 | 0 | 0 | 0 | 45k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
200.42/200.59 c 187s|440000 |344979 | 0 | 0.0 | 686M| 63 | - | 718 |2767 | 0 | 0 | 0 | 46k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
205.63/205.72 c 191s|450000 |352992 | 0 | 0.0 | 701M| 63 | - | 718 |2887 | 0 | 0 | 0 | 47k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
210.82/210.96 c 196s|460000 |360586 | 0 | 0.0 | 714M| 63 | - | 718 |3036 | 0 | 0 | 0 | 49k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
216.22/216.38 c 201s|470000 |367812 | 0 | 0.0 | 727M| 63 | - | 718 |3217 | 0 | 0 | 0 | 50k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
221.82/221.98 c 207s|480000 |374759 | 0 | 0.0 | 739M| 63 | - | 718 |3344 | 0 | 0 | 0 | 52k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
227.52/227.67 c 212s|490000 |381343 | 0 | 0.0 | 750M| 63 | - | 718 |3616 | 0 | 0 | 0 | 54k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
233.41/233.53 c 218s|500000 |387949 | 0 | 0.0 | 762M| 64 | - | 718 |3625 | 0 | 0 | 0 | 55k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
239.51/239.62 c 224s|510000 |394025 | 0 | 0.0 | 772M| 64 | - | 718 |3741 | 0 | 0 | 0 | 57k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
245.71/245.88 c 229s|520000 |399783 | 0 | 0.0 | 782M| 64 | - | 718 |3951 | 0 | 0 | 0 | 59k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
252.31/252.46 c 236s|530000 |405108 | 0 | 0.0 | 791M| 64 | - | 718 |4250 | 0 | 0 | 0 | 61k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
259.31/259.43 c 242s|540000 |409828 | 0 | 0.0 | 800M| 64 | - | 718 |4774 | 0 | 0 | 0 | 64k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
266.50/266.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
266.50/266.65 c 249s|550000 |414468 | 0 | 0.0 | 809M| 64 | - | 718 |5087 | 0 | 0 | 0 | 66k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
274.30/274.46 c 257s|560000 |418371 | 0 | 0.0 | 816M| 64 | - | 718 |5538 | 0 | 0 | 0 | 69k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
282.19/282.33 c 264s|570000 |421454 | 0 | 0.0 | 823M| 64 | - | 718 |5569 | 0 | 0 | 0 | 72k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
287.50/287.60 c 269s|580000 |430369 | 0 | 0.0 | 839M| 64 | - | 718 |3284 | 0 | 0 | 0 | 72k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
292.70/292.80 c 274s|590000 |438633 | 0 | 0.0 | 854M| 64 | - | 718 |3328 | 0 | 0 | 0 | 73k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
298.00/298.19 c 279s|600000 |446116 | 0 | 0.0 | 867M| 64 | - | 718 |3382 | 0 | 0 | 0 | 75k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
303.50/303.64 c 285s|610000 |452862 | 0 | 0.0 | 879M| 64 | - | 718 |3632 | 0 | 0 | 0 | 76k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
309.00/309.15 c 290s|620000 |459022 | 0 | 0.0 | 889M| 64 | - | 718 |3863 | 0 | 0 | 0 | 78k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
314.89/315.03 c 295s|630000 |464469 | 0 | 0.0 | 898M| 64 | - | 718 |4123 | 0 | 0 | 0 | 80k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
320.88/321.08 c 301s|640000 |469380 | 0 | 0.0 | 906M| 64 | - | 718 |4419 | 0 | 0 | 0 | 82k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
327.18/327.38 c 307s|650000 |473994 | 0 | 0.0 | 914M| 64 | - | 718 |4737 | 0 | 0 | 0 | 84k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
333.78/333.97 c 313s|660000 |478439 | 0 | 0.0 | 921M| 64 | - | 718 |4934 | 0 | 0 | 0 | 86k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
340.79/340.96 c 320s|670000 |482207 | 0 | 0.0 | 928M| 64 | - | 718 |5660 | 0 | 0 | 0 | 89k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
348.48/348.67 c 328s|680000 |485135 | 0 | 0.0 | 934M| 64 | - | 718 |6449 | 0 | 0 | 0 | 92k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
356.57/356.74 c 335s|690000 |488766 | 0 | 0.0 | 941M| 64 | - | 718 |4317 | 0 | 0 | 0 | 95k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
362.37/362.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
362.37/362.55 c 341s|700000 |496660 | 0 | 0.0 | 957M| 64 | - | 718 |3375 | 0 | 0 | 0 | 96k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
367.57/367.71 c 346s|710000 |506112 | 0 | 0.0 | 975M| 64 | - | 718 |3365 | 0 | 0 | 0 | 97k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
371.97/372.11 c 350s|720000 |515601 | 0 | 0.0 | 990M| 64 | - | 718 |3346 | 0 | 0 | 0 | 97k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
376.17/376.35 c 354s|730000 |525117 | 0 | 0.0 |1005M| 64 | - | 718 |3324 | 0 | 0 | 0 | 97k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
380.17/380.36 c 357s|740000 |534630 | 0 | 0.0 |1018M| 64 | - | 718 |3310 | 0 | 0 | 0 | 97k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
384.26/384.43 c 361s|750000 |544151 | 0 | 0.0 |1031M| 64 | - | 718 |3274 | 0 | 0 | 0 | 98k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
388.26/388.47 c 365s|760000 |553613 | 0 | 0.0 |1044M| 64 | - | 718 |3302 | 0 | 0 | 0 | 98k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
392.76/392.99 c 369s|770000 |562994 | 0 | 0.0 |1060M| 64 | - | 718 |3356 | 0 | 0 | 0 | 98k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
396.97/397.18 c 373s|780000 |572511 | 0 | 0.0 |1074M| 64 | - | 718 |3323 | 0 | 0 | 0 | 99k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
401.46/401.64 c 377s|790000 |581926 | 0 | 0.0 |1090M| 64 | - | 718 |3353 | 0 | 0 | 0 | 99k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
405.86/406.00 c 381s|800000 |591350 | 0 | 0.0 |1104M| 64 | - | 718 |3385 | 0 | 0 | 0 | 99k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
410.36/410.59 c 385s|810000 |600805 | 0 | 0.0 |1120M| 64 | - | 718 |3410 | 0 | 0 | 0 | 100k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
415.15/415.38 c 390s|820000 |610212 | 0 | 0.0 |1137M| 64 | - | 718 |3426 | 0 | 0 | 0 | 100k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
420.45/420.68 c 395s|830000 |619554 | 0 | 0.0 |1155M| 64 | - | 718 |3426 | 0 | 0 | 0 | 100k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
425.05/425.23 c 399s|840000 |628926 | 0 | 0.0 |1170M| 64 | - | 718 |3459 | 0 | 0 | 0 | 101k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
430.05/430.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
430.05/430.21 c 404s|850000 |638242 | 0 | 0.0 |1187M| 64 | - | 718 |3468 | 0 | 0 | 0 | 101k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
434.74/434.98 c 408s|860000 |647596 | 0 | 0.0 |1202M| 64 | - | 718 |3525 | 0 | 0 | 0 | 101k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
440.15/440.32 c 413s|870000 |656869 | 0 | 0.0 |1219M| 64 | - | 718 |3540 | 0 | 0 | 0 | 102k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
445.25/445.47 c 418s|880000 |666032 | 0 | 0.0 |1235M| 64 | - | 718 |3618 | 0 | 0 | 0 | 102k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
450.85/451.01 c 423s|890000 |675176 | 0 | 0.0 |1253M| 64 | - | 718 |3606 | 0 | 0 | 0 | 103k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
456.35/456.53 c 428s|900000 |684212 | 0 | 0.0 |1268M| 64 | - | 718 |3690 | 0 | 0 | 0 | 103k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
461.85/462.08 c 434s|910000 |693309 | 0 | 0.0 |1285M| 64 | - | 718 |3703 | 0 | 0 | 0 | 104k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
467.73/467.92 c 439s|920000 |702101 | 0 | 0.0 |1300M| 64 | - | 718 |3784 | 0 | 0 | 0 | 105k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
473.74/473.94 c 445s|930000 |710965 | 0 | 0.0 |1317M| 64 | - | 718 |3845 | 0 | 0 | 0 | 105k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
479.24/479.46 c 450s|940000 |719704 | 0 | 0.0 |1332M| 64 | - | 718 |3942 | 0 | 0 | 0 | 106k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
485.13/485.37 c 456s|950000 |728372 | 0 | 0.0 |1347M| 64 | - | 718 |3969 | 0 | 0 | 0 | 107k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
489.93/490.15 c (node 957967) switching to memory saving mode (mem: 1296.0M/1620.0M)
491.33/491.54 c 461s|960000 |735044 | 0 | 0.0 |1359M| 91 | - | 718 |4909 | 0 | 0 | 0 | 109k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
496.93/497.20 c 467s|970000 |734793 | 0 | 0.0 |1359M| 91 | - | 718 |5494 | 0 | 0 | 0 | 115k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
502.54/502.73 c 472s|980000 |734655 | 0 | 0.0 |1359M| 91 | - | 718 |5548 | 0 | 0 | 0 | 120k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
507.22/507.43 c 476s|990000 |734542 | 0 | 0.0 |1359M| 91 | - | 718 |5452 | 0 | 0 | 0 | 124k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
512.73/512.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
512.73/512.97 c 481s| 1000k|734453 | 0 | 0.0 |1360M| 91 | - | 718 |7385 | 0 | 0 | 0 | 129k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
518.33/518.52 c 486s| 1010k|734399 | 0 | 0.0 |1360M| 91 | - | 718 |7026 | 0 | 0 | 0 | 135k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
523.73/523.92 c 491s| 1020k|734348 | 0 | 0.0 |1360M| 91 | - | 718 |7273 | 0 | 0 | 0 | 141k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
529.71/529.91 c 497s| 1030k|734325 | 0 | 0.0 |1360M| 91 | - | 718 |6883 | 0 | 0 | 0 | 146k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
535.71/535.99 c 502s| 1040k|734304 | 0 | 0.0 |1361M| 91 | - | 718 |9065 | 0 | 0 | 0 | 152k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
541.82/542.00 c 508s| 1050k|734161 | 0 | 0.0 |1359M| 91 | - | 718 |5471 | 0 | 0 | 0 | 157k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
547.71/547.98 c 513s| 1060k|734146 | 0 | 0.0 |1360M| 91 | - | 718 |6129 | 0 | 0 | 0 | 162k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
552.02/552.26 c 517s| 1070k|734147 | 0 | 0.0 |1360M| 91 | - | 718 |6659 | 0 | 0 | 0 | 165k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
556.00/556.21 c 521s| 1080k|734146 | 0 | 0.0 |1360M| 91 | - | 718 |6849 | 0 | 0 | 0 | 167k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
560.11/560.36 c 525s| 1090k|734131 | 0 | 0.0 |1359M| 91 | - | 718 |5730 | 0 | 0 | 0 | 169k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
565.11/565.36 c 529s| 1100k|734076 | 0 | 0.0 |1360M| 91 | - | 718 |6201 | 0 | 0 | 0 | 173k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
570.90/571.19 c 535s| 1110k|734000 | 0 | 0.0 |1359M| 91 | - | 718 |5828 | 0 | 0 | 0 | 178k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
576.40/576.65 c 540s| 1120k|733839 | 0 | 0.0 |1360M| 91 | - | 718 |7251 | 0 | 0 | 0 | 182k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
582.71/582.92 c 546s| 1130k|733746 | 0 | 0.0 |1359M| 91 | - | 718 |5674 | 0 | 0 | 0 | 188k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
588.31/588.58 c 551s| 1140k|733727 | 0 | 0.0 |1359M| 91 | - | 718 |6171 | 0 | 0 | 0 | 194k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
594.00/594.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
594.00/594.23 c 556s| 1150k|733665 | 0 | 0.0 |1359M| 91 | - | 718 |6361 | 0 | 0 | 0 | 200k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
599.70/599.93 c 562s| 1160k|733605 | 0 | 0.0 |1360M| 91 | - | 718 |7257 | 0 | 0 | 0 | 205k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
606.50/606.79 c 568s| 1170k|733580 | 0 | 0.0 |1360M| 91 | - | 718 |7248 | 0 | 0 | 0 | 211k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
612.30/612.50 c 573s| 1180k|733556 | 0 | 0.0 |1359M| 91 | - | 718 |6232 | 0 | 0 | 0 | 215k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
618.79/619.04 c 579s| 1190k|733556 | 0 | 0.0 |1361M| 91 | - | 718 |8254 | 0 | 0 | 0 | 221k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
627.08/627.36 c 587s| 1200k|733555 | 0 | 0.0 |1363M| 91 | - | 718 | 10k| 0 | 0 | 0 | 226k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
635.79/636.06 c 596s| 1210k|733516 | 0 | 0.0 |1360M| 91 | - | 718 |7393 | 0 | 0 | 0 | 232k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
642.68/642.99 c 602s| 1220k|733507 | 0 | 0.0 |1361M| 91 | - | 718 |8957 | 0 | 0 | 0 | 238k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
650.99/651.26 c 610s| 1230k|733469 | 0 | 0.0 |1360M| 91 | - | 718 |7105 | 0 | 0 | 0 | 244k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
657.38/657.66 c 616s| 1240k|733427 | 0 | 0.0 |1361M| 91 | - | 718 |8465 | 0 | 0 | 0 | 250k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
664.18/664.42 c 622s| 1250k|733337 | 0 | 0.0 |1360M| 91 | - | 718 |6405 | 0 | 0 | 0 | 255k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
664.98/665.23 o -10
664.98/665.23 c * 623s| 1251k|733323 | 0 | 0.0 |1361M| 91 | - | 718 |7198 | 0 | 0 | 0 | 256k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
669.77/670.08 c 628s| 1260k|733275 | 0 | 0.0 |1360M| 91 | - | 718 |5764 | 0 | 0 | 0 | 260k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
676.77/677.06 c 634s| 1270k|733276 | 0 | 0.0 |1362M| 91 | - | 718 |9266 | 0 | 0 | 0 | 266k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
686.57/686.85 c 643s| 1280k|733277 | 0 | 0.0 |1362M| 91 | - | 718 |9877 | 0 | 0 | 0 | 273k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
698.76/699.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
698.76/699.02 c 655s| 1290k|733278 | 0 | 0.0 |1364M| 91 | - | 718 | 11k| 0 | 0 | 0 | 278k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
711.16/711.45 c 667s| 1300k|733277 | 0 | 0.0 |1364M| 91 | - | 718 | 12k| 0 | 0 | 0 | 284k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
724.76/725.01 c 680s| 1310k|733277 | 0 | 0.0 |1365M| 91 | - | 718 | 13k| 0 | 0 | 0 | 290k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
741.65/741.91 c 697s| 1320k|733278 | 0 | 0.0 |1367M| 91 | - | 718 | 16k| 0 | 0 | 0 | 295k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
761.65/761.95 c 716s| 1330k|733277 | 0 | 0.0 |1366M| 91 | - | 718 | 14k| 0 | 0 | 0 | 301k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
782.03/782.36 c 736s| 1340k|733277 | 0 | 0.0 |1367M| 91 | - | 718 | 16k| 0 | 0 | 0 | 307k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
805.63/805.99 c 759s| 1350k|733276 | 0 | 0.0 |1368M| 91 | - | 718 | 17k| 0 | 0 | 0 | 312k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
829.92/830.24 c 783s| 1360k|733276 | 0 | 0.0 |1369M| 91 | - | 718 | 18k| 0 | 0 | 0 | 318k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
857.41/857.77 c 810s| 1370k|733277 | 0 | 0.0 |1370M| 91 | - | 718 | 20k| 0 | 0 | 0 | 323k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
884.01/884.38 c 836s| 1380k|733275 | 0 | 0.0 |1370M| 91 | - | 718 | 20k| 0 | 0 | 0 | 329k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
911.99/912.37 c 864s| 1390k|733278 | 0 | 0.0 |1370M| 91 | - | 718 | 20k| 0 | 0 | 0 | 334k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
943.28/943.69 c 895s| 1400k|733277 | 0 | 0.0 |1371M| 91 | - | 718 | 21k| 0 | 0 | 0 | 340k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
973.37/973.75 c 924s| 1410k|733277 | 0 | 0.0 |1373M| 91 | - | 718 | 23k| 0 | 0 | 0 | 345k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1010.36/1010.73 c 961s| 1420k|733276 | 0 | 0.0 |1374M| 91 | - | 718 | 26k| 0 | 0 | 0 | 351k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1033.66/1034.04 c 984s| 1430k|733263 | 0 | 0.0 |1363M| 91 | - | 718 |9079 | 0 | 0 | 0 | 356k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1042.36/1042.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1042.36/1042.77 c 992s| 1440k|733258 | 0 | 0.0 |1363M| 91 | - | 718 |9618 | 0 | 0 | 0 | 359k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1048.44/1048.81 c 998s| 1450k|733222 | 0 | 0.0 |1361M| 91 | - | 718 |6449 | 0 | 0 | 0 | 363k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1054.34/1054.74 c 1003s| 1460k|733180 | 0 | 0.0 |1361M| 91 | - | 718 |5963 | 0 | 0 | 0 | 368k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1059.94/1060.36 c 1009s| 1470k|733081 | 0 | 0.0 |1361M| 91 | - | 718 |6217 | 0 | 0 | 0 | 372k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1066.55/1066.91 c 1015s| 1480k|733079 | 0 | 0.0 |1362M| 91 | - | 718 |7974 | 0 | 0 | 0 | 379k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1073.94/1074.30 c 1022s| 1490k|733003 | 0 | 0.0 |1361M| 91 | - | 718 |7135 | 0 | 0 | 0 | 385k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1080.94/1081.31 c 1028s| 1500k|732842 | 0 | 0.0 |1360M| 91 | - | 718 |5468 | 0 | 0 | 0 | 391k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1085.73/1086.18 c 1033s| 1510k|732809 | 0 | 0.0 |1361M| 91 | - | 718 |6653 | 0 | 0 | 0 | 396k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1092.03/1092.49 c 1039s| 1520k|732751 | 0 | 0.0 |1360M| 91 | - | 718 |5749 | 0 | 0 | 0 | 402k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1097.63/1098.03 c 1044s| 1530k|732670 | 0 | 0.0 |1361M| 91 | - | 718 |6777 | 0 | 0 | 0 | 406k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1105.23/1105.69 c 1051s| 1540k|732666 | 0 | 0.0 |1362M| 91 | - | 718 |9311 | 0 | 0 | 0 | 413k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1116.04/1116.42 c 1062s| 1550k|732669 | 0 | 0.0 |1363M| 91 | - | 718 | 11k| 0 | 0 | 0 | 418k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1128.92/1129.38 c 1074s| 1560k|732633 | 0 | 0.0 |1361M| 91 | - | 718 |7073 | 0 | 0 | 0 | 425k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1134.91/1135.40 c 1080s| 1570k|732543 | 0 | 0.0 |1360M| 91 | - | 718 |6139 | 0 | 0 | 0 | 430k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1141.32/1141.76 c 1086s| 1580k|732535 | 0 | 0.0 |1362M| 91 | - | 718 |8229 | 0 | 0 | 0 | 435k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1150.22/1150.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1150.22/1150.65 c 1094s| 1590k|732535 | 0 | 0.0 |1363M| 91 | - | 718 | 10k| 0 | 0 | 0 | 441k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1162.11/1162.59 c 1106s| 1600k|732534 | 0 | 0.0 |1365M| 91 | - | 718 | 12k| 0 | 0 | 0 | 447k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1176.51/1176.93 c 1120s| 1610k|732534 | 0 | 0.0 |1366M| 91 | - | 718 | 14k| 0 | 0 | 0 | 453k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1188.20/1188.61 c 1131s| 1620k|732514 | 0 | 0.0 |1364M| 91 | - | 718 | 11k| 0 | 0 | 0 | 459k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1196.89/1197.37 c 1139s| 1630k|732498 | 0 | 0.0 |1363M| 91 | - | 718 |9731 | 0 | 0 | 0 | 465k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1206.69/1207.15 c 1149s| 1640k|732451 | 0 | 0.0 |1361M| 91 | - | 718 |6990 | 0 | 0 | 0 | 471k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1212.69/1213.11 c 1154s| 1650k|732395 | 0 | 0.0 |1361M| 91 | - | 718 |7098 | 0 | 0 | 0 | 476k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1219.58/1220.02 c 1161s| 1660k|732317 | 0 | 0.0 |1361M| 91 | - | 718 |6008 | 0 | 0 | 0 | 482k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1226.28/1226.75 c 1167s| 1670k|732290 | 0 | 0.0 |1361M| 91 | - | 718 |6508 | 0 | 0 | 0 | 487k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1233.58/1234.10 c 1174s| 1680k|732271 | 0 | 0.0 |1362M| 91 | - | 718 |7192 | 0 | 0 | 0 | 493k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1239.98/1240.41 c 1180s| 1690k|732252 | 0 | 0.0 |1361M| 91 | - | 718 |6698 | 0 | 0 | 0 | 497k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1245.98/1246.44 c 1186s| 1700k|732243 | 0 | 0.0 |1361M| 91 | - | 718 |7077 | 0 | 0 | 0 | 500k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1254.17/1254.65 c 1193s| 1710k|732236 | 0 | 0.0 |1361M| 91 | - | 718 |6918 | 0 | 0 | 0 | 506k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1262.38/1262.83 c 1201s| 1720k|732235 | 0 | 0.0 |1363M| 91 | - | 718 |9369 | 0 | 0 | 0 | 511k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1273.17/1273.60 c 1212s| 1730k|732236 | 0 | 0.0 |1363M| 91 | - | 718 | 10k| 0 | 0 | 0 | 516k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1286.96/1287.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1286.96/1287.45 c 1225s| 1740k|732235 | 0 | 0.0 |1365M| 91 | - | 718 | 12k| 0 | 0 | 0 | 522k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1302.16/1302.64 c 1240s| 1750k|732235 | 0 | 0.0 |1365M| 91 | - | 718 | 11k| 0 | 0 | 0 | 528k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1318.05/1318.52 c 1255s| 1760k|732234 | 0 | 0.0 |1366M| 91 | - | 718 | 13k| 0 | 0 | 0 | 533k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1336.45/1336.94 c 1273s| 1770k|732235 | 0 | 0.0 |1367M| 91 | - | 718 | 15k| 0 | 0 | 0 | 539k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1357.44/1357.94 c 1294s| 1780k|732234 | 0 | 0.0 |1369M| 91 | - | 718 | 18k| 0 | 0 | 0 | 545k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1377.23/1377.75 c 1313s| 1790k|732235 | 0 | 0.0 |1366M| 91 | - | 718 | 14k| 0 | 0 | 0 | 547k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1396.12/1396.61 c 1332s| 1800k|732235 | 0 | 0.0 |1366M| 91 | - | 718 | 14k| 0 | 0 | 0 | 549k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1412.81/1413.30 c 1348s| 1810k|732232 | 0 | 0.0 |1367M| 91 | - | 718 | 14k| 0 | 0 | 0 | 551k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1429.61/1430.18 c 1365s| 1820k|732235 | 0 | 0.0 |1367M| 91 | - | 718 | 14k| 0 | 0 | 0 | 552k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1444.92/1445.46 c 1380s| 1830k|732234 | 0 | 0.0 |1367M| 91 | - | 718 | 15k| 0 | 0 | 0 | 554k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1462.10/1462.63 c 1397s| 1840k|732235 | 0 | 0.0 |1367M| 91 | - | 718 | 15k| 0 | 0 | 0 | 556k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1477.80/1478.39 c 1412s| 1850k|732233 | 0 | 0.0 |1367M| 91 | - | 718 | 15k| 0 | 0 | 0 | 559k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1488.50/1489.01 c 1423s| 1860k|732202 | 0 | 0.0 |1362M| 91 | - | 718 |7588 | 0 | 0 | 0 | 563k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1496.50/1497.05 c 1430s| 1870k|732169 | 0 | 0.0 |1363M| 91 | - | 718 | 10k| 0 | 0 | 0 | 569k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1507.09/1507.67 c 1440s| 1880k|732168 | 0 | 0.0 |1365M| 91 | - | 718 | 12k| 0 | 0 | 0 | 575k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1516.19/1516.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1516.19/1516.73 c 1449s| 1890k|732152 | 0 | 0.0 |1364M| 91 | - | 718 | 11k| 0 | 0 | 0 | 581k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1524.18/1524.74 c 1457s| 1900k|732116 | 0 | 0.0 |1363M| 91 | - | 718 |9362 | 0 | 0 | 0 | 587k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1531.18/1531.71 c 1463s| 1910k|732025 | 0 | 0.0 |1361M| 91 | - | 718 |6593 | 0 | 0 | 0 | 592k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1536.58/1537.13 c 1468s| 1920k|731962 | 0 | 0.0 |1361M| 91 | - | 718 |5893 | 0 | 0 | 0 | 596k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1541.47/1542.07 c 1473s| 1930k|731949 | 0 | 0.0 |1361M| 91 | - | 718 |6581 | 0 | 0 | 0 | 599k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1547.77/1548.33 c 1479s| 1940k|731908 | 0 | 0.0 |1362M| 91 | - | 718 |7496 | 0 | 0 | 0 | 605k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1553.98/1554.50 c 1485s| 1950k|731882 | 0 | 0.0 |1362M| 91 | - | 718 |8005 | 0 | 0 | 0 | 611k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1561.98/1562.52 c 1492s| 1960k|731881 | 0 | 0.0 |1363M| 91 | - | 718 |9448 | 0 | 0 | 0 | 616k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1572.86/1573.45 c 1503s| 1970k|731881 | 0 | 0.0 |1365M| 91 | - | 718 | 11k| 0 | 0 | 0 | 622k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1583.97/1584.50 c 1513s| 1980k|731875 | 0 | 0.0 |1363M| 91 | - | 718 |9126 | 0 | 0 | 0 | 628k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1593.56/1594.19 c 1523s| 1990k|731874 | 0 | 0.0 |1365M| 91 | - | 718 | 11k| 0 | 0 | 0 | 634k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1606.36/1606.99 c 1535s| 2000k|731878 | 0 | 0.0 |1365M| 91 | - | 718 | 12k| 0 | 0 | 0 | 640k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1622.55/1623.19 c 1551s| 2010k|731876 | 0 | 0.0 |1367M| 91 | - | 718 | 14k| 0 | 0 | 0 | 645k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1642.35/1642.93 c 1570s| 2020k|731877 | 0 | 0.0 |1368M| 91 | - | 718 | 16k| 0 | 0 | 0 | 651k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1659.64/1660.29 c 1587s| 2030k|731872 | 0 | 0.0 |1363M| 91 | - | 718 |9201 | 0 | 0 | 0 | 656k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1665.85/1666.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1665.85/1666.50 c 1593s| 2040k|731872 | 0 | 0.0 |1362M| 91 | - | 718 |8012 | 0 | 0 | 0 | 657k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1671.94/1672.52 c 1599s| 2050k|731871 | 0 | 0.0 |1363M| 91 | - | 718 |8523 | 0 | 0 | 0 | 660k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1677.84/1678.45 c 1604s| 2060k|731872 | 0 | 0.0 |1363M| 91 | - | 718 |8767 | 0 | 0 | 0 | 663k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1683.74/1684.34 c 1610s| 2070k|731871 | 0 | 0.0 |1363M| 91 | - | 718 |9102 | 0 | 0 | 0 | 665k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1691.03/1691.69 c 1617s| 2080k|731864 | 0 | 0.0 |1363M| 91 | - | 718 |9011 | 0 | 0 | 0 | 670k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1699.53/1700.19 c 1625s| 2090k|731847 | 0 | 0.0 |1362M| 91 | - | 718 |6730 | 0 | 0 | 0 | 675k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1706.82/1707.50 c 1632s| 2100k|731849 | 0 | 0.0 |1363M| 91 | - | 718 |8753 | 0 | 0 | 0 | 681k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1716.23/1716.88 c 1641s| 2110k|731846 | 0 | 0.0 |1364M| 91 | - | 718 |9625 | 0 | 0 | 0 | 687k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1729.22/1729.87 c 1654s| 2120k|731847 | 0 | 0.0 |1366M| 91 | - | 718 | 12k| 0 | 0 | 0 | 693k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1739.63/1740.25 c 1664s| 2130k|731848 | 0 | 0.0 |1364M| 91 | - | 718 | 10k| 0 | 0 | 0 | 695k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1750.52/1751.11 c 1674s| 2140k|731848 | 0 | 0.0 |1364M| 91 | - | 718 | 10k| 0 | 0 | 0 | 697k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1761.20/1761.81 c 1685s| 2150k|731848 | 0 | 0.0 |1364M| 91 | - | 718 | 10k| 0 | 0 | 0 | 700k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1772.40/1773.00 c 1695s| 2160k|731847 | 0 | 0.0 |1365M| 91 | - | 718 | 11k| 0 | 0 | 0 | 703k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1781.90/1782.50 c 1705s| 2170k|731846 | 0 | 0.0 |1365M| 91 | - | 718 | 11k| 0 | 0 | 0 | 707k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1791.80/1792.48 c 1714s| 2180k|731847 | 0 | 0.0 |1365M| 91 | - | 718 | 11k| 0 | 0 | 0 | 709k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1800.01/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.61 c
1800.01/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.61 c Solving Time (sec) : 1722.26
1800.01/1800.61 c Solving Nodes : 2188906
1800.01/1800.61 c Primal Bound : -1.00000000000000e+01 (9 solutions)
1800.01/1800.61 c Dual Bound : -4.30000000000000e+01
1800.01/1800.61 c Gap : 76.74 %
1800.01/1800.61 s SATISFIABLE
1800.01/1800.61 v -x81 -x67 -x84 x72 x60 -x100 -x83 -x56 -x82 -x95 -x54 -x80 -x61 x79 -x62 -x57 x87 -x85 -x63 -x55 x99 -x88 -x98 -x74 x89 x93 -x78
1800.01/1800.61 v -x70 -x68 -x64 -x66 x96 -x92 x53 -x90 -x94 -x51 -x75 -x71 -x58 -x59 -x65 -x52 -x77 -x73 -x76 -x91 -x69 x86 -x97 x50 -x49 -x48
1800.01/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.01/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.01/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.61 c Solving Time : 1722.26
1800.01/1800.61 c Original Problem :
1800.01/1800.61 c Problem name : HOME/instance-2663873-1276669532.opb
1800.01/1800.61 c Variables : 718 (718 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.61 c Constraints : 769 initial, 769 maximal
1800.01/1800.61 c Presolved Problem :
1800.01/1800.61 c Problem name : t_HOME/instance-2663873-1276669532.opb
1800.01/1800.61 c Variables : 718 (718 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.61 c Constraints : 769 initial, 27091 maximal
1800.01/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c probing : 0.02 0 0 0 0 0 0 0 0
1800.01/1800.61 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c and : 0.07 0 0 0 0 0 0 0 0
1800.01/1800.61 c linear : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c root node : - 0 - - 0 - - - -
1800.01/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.61 c setppc : 100 0 7293096 0 1511939 16460 2649941 0 0 0
1800.01/1800.61 c and : 618 0 7287507 0 1513651 1340 20267987 0 0 0
1800.01/1800.61 c linear : 1 0 7285895 0 1513667 151309 8666744 0 0 0
1800.01/1800.61 c logicor : 50+ 0 1873904 0 1452297 62782 1334904 0 0 0
1800.01/1800.61 c countsols : 0 0 0 0 1513673 0 0 0 0 0
1800.01/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.61 c setppc : 39.47 0.00 12.68 0.00 26.79
1800.01/1800.61 c and : 68.98 0.00 65.76 0.00 3.22
1800.01/1800.61 c linear : 134.18 0.00 132.99 0.00 1.19
1800.01/1800.61 c logicor : 533.97 0.00 529.93 0.00 4.04
1800.01/1800.61 c countsols : 0.76 0.00 0.00 0.00 0.76
1800.01/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.61 c vbounds : 4.00 2 0 0
1800.01/1800.61 c rootredcost : 3.85 0 0 0
1800.01/1800.61 c pseudoobj : 226.06 7852386 548545 724858
1800.01/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.61 c propagation : 212.02 780436 635198 4805794 69.4 173 13.2 -
1800.01/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.61 c applied globally : - - - 678799 56.2 - - -
1800.01/1800.61 c applied locally : - - - 32811 76.5 - - -
1800.01/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.01/1800.61 c redcost : 0.00 0 0 0 0 0
1800.01/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.01/1800.61 c intobj : 0.00 0 0 0 0 0
1800.01/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.61 c gomory : 0.00 0 0 0 0 0
1800.01/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.01/1800.61 c cmir : 0.00 0 0 0 0 0
1800.01/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.61 c clique : 0.00 0 0 0 0 0
1800.01/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.61 c mcf : 0.00 0 0 0 0 0
1800.01/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.61 c Pricers : Time Calls Vars
1800.01/1800.61 c problem variables: 0.00 0 0
1800.01/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.01/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.61 c inference : 52.70 1513667 0 0 0 0 3027334
1800.01/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.61 c random : 0.00 0 0 0 0 0 0
1800.01/1800.61 c Primal Heuristics : Time Calls Found
1800.01/1800.61 c LP solutions : 0.00 - 0
1800.01/1800.61 c pseudo solutions : 0.03 - 6
1800.01/1800.61 c oneopt : 2.06 0 0
1800.01/1800.61 c trivial : 0.00 2 3
1800.01/1800.61 c simplerounding : 0.00 0 0
1800.01/1800.61 c zirounding : 0.00 0 0
1800.01/1800.61 c rounding : 0.00 0 0
1800.01/1800.61 c shifting : 0.00 0 0
1800.01/1800.61 c intshifting : 0.00 0 0
1800.01/1800.61 c twoopt : 0.00 0 0
1800.01/1800.61 c fixandinfer : 0.00 0 0
1800.01/1800.61 c feaspump : 0.00 0 0
1800.01/1800.61 c coefdiving : 0.00 0 0
1800.01/1800.61 c pscostdiving : 0.00 0 0
1800.01/1800.61 c fracdiving : 0.00 0 0
1800.01/1800.61 c veclendiving : 0.00 0 0
1800.01/1800.61 c intdiving : 0.00 0 0
1800.01/1800.61 c actconsdiving : 0.00 0 0
1800.01/1800.61 c objpscostdiving : 0.00 0 0
1800.01/1800.61 c rootsoldiving : 0.00 0 0
1800.01/1800.61 c linesearchdiving : 0.00 0 0
1800.01/1800.61 c guideddiving : 0.00 0 0
1800.01/1800.61 c octane : 0.00 0 0
1800.01/1800.61 c rens : 0.00 0 0
1800.01/1800.61 c rins : 0.00 0 0
1800.01/1800.61 c localbranching : 0.00 0 0
1800.01/1800.61 c mutation : 0.00 0 0
1800.01/1800.61 c crossover : 0.00 0 0
1800.01/1800.61 c dins : 0.00 0 0
1800.01/1800.61 c undercover : 0.00 0 0
1800.01/1800.61 c nlp : 1.06 0 0
1800.01/1800.61 c trysol : 1.19 0 0
1800.01/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.01/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.01/1800.61 c (at root node) : - 0 0 0.00 -
1800.01/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.61 c B&B Tree :
1800.01/1800.61 c number of runs : 1
1800.01/1800.61 c nodes : 2188906
1800.01/1800.61 c nodes (total) : 2188906
1800.01/1800.61 c nodes left : 731848
1800.01/1800.61 c max depth : 91
1800.01/1800.61 c max depth (total): 91
1800.01/1800.61 c backtracks : 186396 (8.5%)
1800.01/1800.61 c delayed cutoffs : 106567
1800.01/1800.61 c repropagations : 2490698 (2800920 domain reductions, 105203 cutoffs)
1800.01/1800.61 c avg switch length: 5.55
1800.01/1800.61 c switching time : 413.09
1800.01/1800.61 c Solution :
1800.01/1800.61 c Solutions found : 9 (7 improvements)
1800.01/1800.61 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.01/1800.61 c Primal Bound : -1.00000000000000e+01 (in run 1, after 1251530 nodes, 622.97 seconds, depth 70, found by <relaxation>)
1800.01/1800.61 c Dual Bound : -4.30000000000000e+01
1800.01/1800.61 c Gap : 76.74 %
1800.01/1800.61 c Root Dual Bound : -5.00000000000000e+01
1800.01/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-2663873-1276669532/watcher-2663873-1276669532 -o /tmp/evaluation-result-2663873-1276669532/solver-2663873-1276669532 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663873-1276669532.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: 0.92 0.98 0.99 2/106 7211
/proc/meminfo: memFree=1841728/2059040 swapFree=4139776/4192956
[pid=7211] ppid=7209 vsize=6584 CPUtime=0
/proc/7211/stat : 7211 (pbscip.linux.x8) R 7209 7211 6107 0 -1 4202496 1009 0 0 0 0 0 0 0 17 0 1 0 42554748 6742016 931 1992294400 4194304 7136930 140734372417712 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7211/statm: 1646 939 254 719 0 925 0
[startup+0.0954949 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 7211
/proc/meminfo: memFree=1841728/2059040 swapFree=4139776/4192956
[pid=7211] ppid=7209 vsize=12156 CPUtime=0.08
/proc/7211/stat : 7211 (pbscip.linux.x8) R 7209 7211 6107 0 -1 4202496 2936 0 0 0 4 4 0 0 17 0 1 0 42554748 12447744 2247 1992294400 4194304 7136930 140734372417712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7211/statm: 3039 2247 333 719 0 2318 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12156
[startup+0.100496 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 7211
/proc/meminfo: memFree=1841728/2059040 swapFree=4139776/4192956
[pid=7211] ppid=7209 vsize=12156 CPUtime=0.09
/proc/7211/stat : 7211 (pbscip.linux.x8) R 7209 7211 6107 0 -1 4202496 2936 0 0 0 4 5 0 0 17 0 1 0 42554748 12447744 2247 1992294400 4194304 7136930 140734372417712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7211/statm: 3039 2247 333 719 0 2318 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12156
[startup+0.300523 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 7211
/proc/meminfo: memFree=1841728/2059040 swapFree=4139776/4192956
[pid=7211] ppid=7209 vsize=14692 CPUtime=0.29
/proc/7211/stat : 7211 (pbscip.linux.x8) R 7209 7211 6107 0 -1 4202496 4919 0 0 0 17 12 0 0 17 0 1 0 42554748 15044608 2945 1992294400 4194304 7136930 140734372417712 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7211/statm: 3673 2947 393 719 0 2952 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14692
[startup+0.700575 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 7211
/proc/meminfo: memFree=1841728/2059040 swapFree=4139776/4192956
[pid=7211] ppid=7209 vsize=16488 CPUtime=0.69
/proc/7211/stat : 7211 (pbscip.linux.x8) R 7209 7211 6107 0 -1 4202496 5361 0 0 0 53 16 0 0 17 0 1 0 42554748 16883712 3387 1992294400 4194304 7136930 140734372417712 18446744073709551615 4697651 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7211/statm: 4122 3387 393 719 0 3401 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16488
[startup+1.50068 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 7212
/proc/meminfo: memFree=1828204/2059040 swapFree=4139776/4192956
[pid=7211] ppid=7209 vsize=20108 CPUtime=1.49
/proc/7211/stat : 7211 (pbscip.linux.x8) R 7209 7211 6107 0 -1 4202496 6249 0 0 0 127 22 0 0 18 0 1 0 42554748 20590592 4275 1992294400 4194304 7136930 140734372417712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7211/statm: 5027 4275 393 719 0 4306 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20108
[startup+3.10089 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 7212
/proc/meminfo: memFree=1821756/2059040 swapFree=4139776/4192956
[pid=7211] ppid=7209 vsize=31404 CPUtime=3.09
/proc/7211/stat : 7211 (pbscip.linux.x8) R 7209 7211 6107 0 -1 4202496 8923 0 0 0 271 38 0 0 21 0 1 0 42554748 32157696 6949 1992294400 4194304 7136930 140734372417712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7211/statm: 7851 6949 393 719 0 7130 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31404
[startup+6.30131 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 7212
/proc/meminfo: memFree=1799684/2059040 swapFree=4139776/4192956
[pid=7211] ppid=7209 vsize=52264 CPUtime=6.29
/proc/7211/stat : 7211 (pbscip.linux.x8) R 7209 7211 6107 0 -1 4202496 13915 0 0 0 568 61 0 0 25 0 1 0 42554748 53518336 11941 1992294400 4194304 7136930 140734372417712 18446744073709551615 6166364 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7211/statm: 13066 11941 393 719 0 12345 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52264
[startup+12.7011 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 7214
/proc/meminfo: memFree=1761616/2059040 swapFree=4139776/4192956
[pid=7211] ppid=7209 vsize=91216 CPUtime=12.69
/proc/7211/stat : 7211 (pbscip.linux.x8) R 7209 7211 6107 0 -1 4202496 23099 0 0 0 1153 116 0 0 25 0 1 0 42554748 93405184 21125 1992294400 4194304 7136930 140734372417712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7211/statm: 22804 21125 393 719 0 22083 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 91216
[startup+25.5008 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 7214
/proc/meminfo: memFree=1690564/2059040 swapFree=4139776/4192956
[pid=7211] ppid=7209 vsize=163316 CPUtime=25.48
/proc/7211/stat : 7211 (pbscip.linux.x8) R 7209 7211 6107 0 -1 4202496 40206 0 0 0 2339 209 0 0 25 0 1 0 42554748 167235584 38232 1992294400 4194304 7136930 140734372417712 18446744073709551615 4660929 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7211/statm: 40829 38232 393 719 0 40108 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 163316
[startup+51.1012 s]
/proc/loadavg: 1.03 1.00 1.00 2/107 7214
/proc/meminfo: memFree=1570532/2059040 swapFree=4139776/4192956
[pid=7211] ppid=7209 vsize=289944 CPUtime=51.07
/proc/7211/stat : 7211 (pbscip.linux.x8) R 7209 7211 6107 0 -1 4202496 70219 0 0 0 4703 404 0 0 25 0 1 0 42554748 296902656 68245 1992294400 4194304 7136930 140734372417712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7211/statm: 72486 68245 393 719 0 71765 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 289944
[startup+102.308 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 7216
/proc/meminfo: memFree=1368536/2059040 swapFree=4139776/4192956
[pid=7211] ppid=7209 vsize=500492 CPUtime=102.26
/proc/7211/stat : 7211 (pbscip.linux.x8) R 7209 7211 6107 0 -1 4202496 120794 0 0 0 9466 760 0 0 25 0 1 0 42554748 512503808 118820 1992294400 4194304 7136930 140734372417712 18446744073709551615 4660122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7211/statm: 125123 118820 393 719 0 124402 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 500492
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7218
/proc/meminfo: memFree=1202500/2059040 swapFree=4139776/4192956
[pid=7211] ppid=7209 vsize=672668 CPUtime=162.23
/proc/7211/stat : 7211 (pbscip.linux.x8) R 7209 7211 6107 0 -1 4202496 162269 0 0 0 15099 1124 0 0 25 0 1 0 42554748 688812032 160295 1992294400 4194304 7136930 140734372417712 18446744073709551615 6166245 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7211/statm: 168167 160295 393 719 0 167446 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 672668
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7218
/proc/meminfo: memFree=1010176/2059040 swapFree=4139776/4192956
[pid=7211] ppid=7209 vsize=862912 CPUtime=222.21
/proc/7211/stat : 7211 (pbscip.linux.x8) R 7209 7211 6107 0 -1 4202496 209806 0 0 0 20706 1515 0 0 25 0 1 0 42554748 883621888 207832 1992294400 4194304 7136930 140734372417712 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7211/statm: 215728 207832 393 719 0 215007 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 862912
[startup+282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7220
/proc/meminfo: memFree=925360/2059040 swapFree=4139776/4192956
[pid=7211] ppid=7209 vsize=946136 CPUtime=282.19
/proc/7211/stat : 7211 (pbscip.linux.x8) R 7209 7211 6107 0 -1 4202496 230904 0 0 0 26444 1775 0 0 25 0 1 0 42554748 968843264 228930 1992294400 4194304 7136930 140734372417712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7211/statm: 236534 228930 393 719 0 235813 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 946136
[startup+342.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7222
/proc/meminfo: memFree=825664/2059040 swapFree=4139776/4192956
[pid=7211] ppid=7209 vsize=1052436 CPUtime=342.18
/proc/7211/stat : 7211 (pbscip.linux.x8) R 7209 7211 6107 0 -1 4202496 255620 0 0 0 32137 2081 0 0 25 0 1 0 42554748 1077694464 253646 1992294400 4194304 7136930 140734372417712 18446744073709551615 6215590 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7211/statm: 263109 253646 393 719 0 262388 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 1052436
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7224
/proc/meminfo: memFree=650328/2059040 swapFree=4139776/4192956
[pid=7211] ppid=7209 vsize=1228348 CPUtime=402.16
/proc/7211/stat : 7211 (pbscip.linux.x8) R 7209 7211 6107 0 -1 4202496 300246 0 0 0 37766 2450 0 0 25 0 1 0 42554748 1257828352 298272 1992294400 4194304 7136930 140734372417712 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7211/statm: 307087 298272 393 719 0 306366 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 1228348
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7226
/proc/meminfo: memFree=468792/2059040 swapFree=4139776/4192956
[pid=7211] ppid=7209 vsize=1408372 CPUtime=462.14
/proc/7211/stat : 7211 (pbscip.linux.x8) R 7209 7211 6107 0 -1 4202496 345406 0 0 0 43388 2826 0 0 25 0 1 0 42554748 1442172928 343432 1992294400 4194304 7136930 140734372417712 18446744073709551615 4221241 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7211/statm: 352093 343432 393 719 0 351372 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 1408372
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 7226
/proc/meminfo: memFree=385836/2059040 swapFree=4139776/4192956
[pid=7211] ppid=7209 vsize=1487520 CPUtime=522.12
/proc/7211/stat : 7211 (pbscip.linux.x8) R 7209 7211 6107 0 -1 4202496 368175 0 0 0 48960 3252 0 0 25 0 1 0 42554748 1523220480 363329 1992294400 4194304 7136930 140734372417712 18446744073709551615 4209070 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7211/statm: 371880 363329 393 719 0 371159 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 1487520
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7228
/proc/meminfo: memFree=384100/2059040 swapFree=4139776/4192956
[pid=7211] ppid=7209 vsize=1489064 CPUtime=582.1
/proc/7211/stat : 7211 (pbscip.linux.x8) R 7209 7211 6107 0 -1 4202496 368590 0 0 0 54518 3692 0 0 25 0 1 0 42554748 1524801536 363744 1992294400 4194304 7136930 140734372417712 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7211/statm: 372266 363744 393 719 0 371545 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 1489064
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7230
/proc/meminfo: memFree=381744/2059040 swapFree=4139776/4192956
[pid=7211] ppid=7209 vsize=1491252 CPUtime=642.09
/proc/7211/stat : 7211 (pbscip.linux.x8) R 7209 7211 6107 0 -1 4202496 369127 0 0 0 60145 4064 0 0 25 0 1 0 42554748 1527042048 364281 1992294400 4194304 7136930 140734372417712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7211/statm: 372813 364281 393 719 0 372092 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 1491252
[startup+702.3 s]
################
# More data... #
################
/proc/7211/stat : 7211 (pbscip.linux.x8) R 7209 7211 6107 0 -1 4202496 373559 0 0 0 101053 5141 0 0 25 0 1 0 42554748 1543766016 368213 1992294400 4194304 7136930 140734372417712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7211/statm: 376896 368213 393 719 0 376175 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 1507584
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7242
/proc/meminfo: memFree=364384/2059040 swapFree=4139776/4192956
[pid=7211] ppid=7209 vsize=1508016 CPUtime=1121.92
/proc/7211/stat : 7211 (pbscip.linux.x8) R 7209 7211 6107 0 -1 4202496 373791 0 0 0 106733 5459 0 0 25 0 1 0 42554748 1544208384 368320 1992294400 4194304 7136930 140734372417712 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7211/statm: 377004 368320 393 719 0 376283 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 1508016
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7244
/proc/meminfo: memFree=362896/2059040 swapFree=4139776/4192956
[pid=7211] ppid=7209 vsize=1510248 CPUtime=1181.9
/proc/7211/stat : 7211 (pbscip.linux.x8) R 7209 7211 6107 0 -1 4202496 374282 0 0 0 112496 5694 0 0 25 0 1 0 42554748 1546493952 368811 1992294400 4194304 7136930 140734372417712 18446744073709551615 4223163 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7211/statm: 377562 368811 393 719 0 376841 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 1510248
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7246
/proc/meminfo: memFree=362772/2059040 swapFree=4139776/4192956
[pid=7211] ppid=7209 vsize=1509740 CPUtime=1241.88
/proc/7211/stat : 7211 (pbscip.linux.x8) R 7209 7211 6107 0 -1 4202496 374302 0 0 0 118174 6014 0 0 25 0 1 0 42554748 1545973760 368704 1992294400 4194304 7136930 140734372417712 18446744073709551615 4976417 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7211/statm: 377435 368704 393 719 0 376714 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 1509740
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7248
/proc/meminfo: memFree=362524/2059040 swapFree=4139776/4192956
[pid=7211] ppid=7209 vsize=1509740 CPUtime=1301.86
/proc/7211/stat : 7211 (pbscip.linux.x8) R 7209 7211 6107 0 -1 4202496 374314 0 0 0 123942 6244 0 0 25 0 1 0 42554748 1545973760 368716 1992294400 4194304 7136930 140734372417712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7211/statm: 377435 368716 393 719 0 376714 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1509740
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7250
/proc/meminfo: memFree=361904/2059040 swapFree=4139776/4192956
[pid=7211] ppid=7209 vsize=1511072 CPUtime=1361.83
/proc/7211/stat : 7211 (pbscip.linux.x8) R 7209 7211 6107 0 -1 4202496 374664 0 0 0 129796 6387 0 0 25 0 1 0 42554748 1547337728 369066 1992294400 4194304 7136930 140734372417712 18446744073709551615 5950290 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7211/statm: 377768 369066 393 719 0 377047 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1511072
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7250
/proc/meminfo: memFree=361532/2059040 swapFree=4139776/4192956
[pid=7211] ppid=7209 vsize=1511072 CPUtime=1421.82
/proc/7211/stat : 7211 (pbscip.linux.x8) R 7209 7211 6107 0 -1 4202496 374664 0 0 0 135706 6476 0 0 25 0 1 0 42554748 1547337728 369066 1992294400 4194304 7136930 140734372417712 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7211/statm: 377768 369066 393 719 0 377047 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1511072
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7252
/proc/meminfo: memFree=361532/2059040 swapFree=4139776/4192956
[pid=7211] ppid=7209 vsize=1511072 CPUtime=1481.8
/proc/7211/stat : 7211 (pbscip.linux.x8) R 7209 7211 6107 0 -1 4202496 374664 0 0 0 141605 6575 0 0 25 0 1 0 42554748 1547337728 369066 1992294400 4194304 7136930 140734372417712 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7211/statm: 377768 369066 393 719 0 377047 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1511072
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7254
/proc/meminfo: memFree=360540/2059040 swapFree=4139776/4192956
[pid=7211] ppid=7209 vsize=1511988 CPUtime=1541.78
/proc/7211/stat : 7211 (pbscip.linux.x8) R 7209 7211 6107 0 -1 4202496 374893 0 0 0 147318 6860 0 0 25 0 1 0 42554748 1548275712 369295 1992294400 4194304 7136930 140734372417712 18446744073709551615 4660874 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7211/statm: 377997 369295 393 719 0 377276 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 1511988
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7256
/proc/meminfo: memFree=362028/2059040 swapFree=4139776/4192956
[pid=7211] ppid=7209 vsize=1509952 CPUtime=1601.76
/proc/7211/stat : 7211 (pbscip.linux.x8) R 7209 7211 6107 0 -1 4202496 374893 0 0 0 153052 7124 0 0 25 0 1 0 42554748 1546190848 368786 1992294400 4194304 7136930 140734372417712 18446744073709551615 4456446 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7211/statm: 377488 368786 393 719 0 376767 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 1509952
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7258
/proc/meminfo: memFree=361904/2059040 swapFree=4139776/4192956
[pid=7211] ppid=7209 vsize=1509952 CPUtime=1661.74
/proc/7211/stat : 7211 (pbscip.linux.x8) R 7209 7211 6107 0 -1 4202496 374913 0 0 0 158893 7281 0 0 25 0 1 0 42554748 1546190848 368806 1992294400 4194304 7136930 140734372417712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7211/statm: 377488 368806 393 719 0 376767 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 1509952
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7258
/proc/meminfo: memFree=361656/2059040 swapFree=4139776/4192956
[pid=7211] ppid=7209 vsize=1509952 CPUtime=1721.72
/proc/7211/stat : 7211 (pbscip.linux.x8) R 7209 7211 6107 0 -1 4202496 374927 0 0 0 164619 7553 0 0 25 0 1 0 42554748 1546190848 368820 1992294400 4194304 7136930 140734372417712 18446744073709551615 5955635 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7211/statm: 377488 368820 393 719 0 376767 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 1509952
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7260
/proc/meminfo: memFree=361408/2059040 swapFree=4139776/4192956
[pid=7211] ppid=7209 vsize=1509952 CPUtime=1781.7
/proc/7211/stat : 7211 (pbscip.linux.x8) R 7209 7211 6107 0 -1 4202496 374927 0 0 0 170447 7723 0 0 25 0 1 0 42554748 1546190848 368820 1992294400 4194304 7136930 140734372417712 18446744073709551615 5955595 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7211/statm: 377488 368820 393 719 0 376767 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 1509952
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7260
/proc/meminfo: memFree=361408/2059040 swapFree=4139776/4192956
[pid=7211] ppid=7209 vsize=1509952 CPUtime=1800.01
/proc/7211/stat : 7211 (pbscip.linux.x8) R 7209 7211 6107 0 -1 4202496 374927 0 0 0 172226 7775 0 0 25 0 1 0 42554748 1546190848 368820 1992294400 4194304 7136930 140734372417712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7211/statm: 377488 368820 393 719 0 376767 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1509952
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -7211
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7260
/proc/meminfo: memFree=361408/2059040 swapFree=4139776/4192956
[pid=7211] ppid=7209 vsize=1509260 CPUtime=1800.79
/proc/7211/stat : 7211 (pbscip.linux.x8) R 7209 7211 6107 0 -1 4202496 374932 0 0 0 172304 7775 0 0 25 0 1 0 42554748 1545482240 368653 1992294400 4194304 7136930 140734372417712 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7211/statm: 377315 368653 398 719 0 376594 0
Current children cumulated CPU time (s) 1800.79
Current children cumulated vsize (KiB) 1509260
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7261
/proc/meminfo: memFree=361896/2059040 swapFree=4139776/4192956
[pid=7211] ppid=7209 vsize=1509260 CPUtime=1801.59
/proc/7211/stat : 7211 (pbscip.linux.x8) R 7209 7211 6107 0 -1 4202496 374932 0 0 0 172384 7775 0 0 25 0 1 0 42554748 1545482240 368653 1992294400 4194304 7136930 140734372417712 18446744073709551615 6166197 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7211/statm: 377315 368653 398 719 0 376594 0
Current children cumulated CPU time (s) 1801.59
Current children cumulated vsize (KiB) 1509260
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7261
/proc/meminfo: memFree=361896/2059040 swapFree=4139776/4192956
[pid=7211] ppid=7209 vsize=1509260 CPUtime=1801.99
/proc/7211/stat : 7211 (pbscip.linux.x8) R 7209 7211 6107 0 -1 4202496 374932 0 0 0 172424 7775 0 0 25 0 1 0 42554748 1545482240 368653 1992294400 4194304 7136930 140734372417712 18446744073709551615 6165620 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7211/statm: 377315 368653 398 719 0 376594 0
Current children cumulated CPU time (s) 1801.99
Current children cumulated vsize (KiB) 1509260
[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7261
/proc/meminfo: memFree=361896/2059040 swapFree=4139776/4192956
[pid=7211] ppid=7209 vsize=0 CPUtime=1802.1
/proc/7211/stat : 7211 (pbscip.linux.x8) R 7209 7211 6107 0 -1 4203524 374932 0 0 0 172426 7784 0 0 25 0 1 0 42554748 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/7211/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.1
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.76
CPU time (s): 1802.17
CPU user time (s): 1724.27
CPU system time (s): 77.9012
CPU usage (%): 99.967
Max. virtual memory (cumulated for all children) (KiB): 1511988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1724.27
system time used= 77.9012
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 374932
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= 2
involuntary context switches= 4622
runsolver used 2.87756 second user time and 8.63869 second system time
The end