Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | MSAT (TO) | 1802.14 | 1802.06 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900545610--soft-66-100-0.wbo |
| MD5SUM | 75e2f830e9a185ffa43de126e90d54da |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 306.438 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of soft constraints | 906 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| Top cost | 44555 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 44554 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 671 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
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-2694026-1277900463.wbo>
0.00/0.02 c original problem has 2043 variables (1137 bin, 0 int, 0 impl, 906 cont) and 3614 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.03 c presolving:
0.03/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1116 impls, 14 clqs
0.03/0.07 c (round 2) 0 del vars, 113 del conss, 906 chg bounds, 52 chg sides, 0 chg coeffs, 0 upgd conss, 1116 impls, 14 clqs
0.03/0.08 c (round 3) 52 del vars, 165 del conss, 906 chg bounds, 52 chg sides, 0 chg coeffs, 1741 upgd conss, 1116 impls, 14 clqs
0.03/0.09 c (round 4) 104 del vars, 165 del conss, 906 chg bounds, 52 chg sides, 0 chg coeffs, 1741 upgd conss, 1116 impls, 14 clqs
0.09/0.14 c (0.1s) probing: 101/1085 (9.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.14 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.14 c presolving (5 rounds):
0.09/0.14 c 104 deleted vars, 165 deleted constraints, 906 tightened bounds, 0 added holes, 52 changed sides, 0 changed coefficients
0.09/0.14 c 1116 implications, 14 cliques
0.09/0.14 c presolved problem has 1939 variables (1085 bin, 0 int, 0 impl, 854 cont) and 3449 constraints
0.09/0.14 c 854 constraints of type <indicator>
0.09/0.14 c 1 constraints of type <knapsack>
0.09/0.14 c 14 constraints of type <setppc>
0.09/0.14 c 854 constraints of type <linear>
0.09/0.14 c 1726 constraints of type <logicor>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.09
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.14 c # SCIP version 1.2.1.2
0.09/0.14 c
0.09/0.14 c # frequency for displaying node information lines
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14 c display/freq = 10000
0.09/0.14 c
0.09/0.14 c # maximal time in seconds to run
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/time = 1799.98
0.09/0.14 c
0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/memory = 3420
0.09/0.14 c
0.09/0.14 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.14 c lp/solvefreq = -1
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify inequalities
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/linear/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify knapsacks
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c separating/rapidlearning/freq = 0
0.09/0.14 c
0.09/0.14 c -----------------------------------------------------------------------------------------------
0.09/0.14 c start solving
0.09/0.14 c
0.09/0.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.14 c 0.1s| 1 | 2 | 0 | - |7510k| 0 | - |1939 |3449 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.99/1.02 o 493
0.99/1.02 c * 1.0s| 3825 | 3299 | 0 | 0.0 |9951k|1035 | - |1939 |3982 | 0 | 0 | 0 | 660 | 0 | 0.000000e+00 | 4.930000e+02 | Inf
1.10/1.14 o 401
1.10/1.14 c * 1.1s| 4267 | 3714 | 0 | 0.0 | 10M|1035 | - |1939 |4007 | 0 | 0 | 0 | 705 | 0 | 0.000000e+00 | 4.010000e+02 | Inf
1.10/1.17 o 380
1.10/1.17 c * 1.1s| 4385 | 3819 | 0 | 0.0 | 10M|1035 | - |1939 |4018 | 0 | 0 | 0 | 719 | 0 | 0.000000e+00 | 3.800000e+02 | Inf
1.10/1.17 o 363
1.10/1.17 c * 1.1s| 4386 | 3815 | 0 | 0.0 | 10M|1035 | - |1939 |4018 | 0 | 0 | 0 | 719 | 0 | 0.000000e+00 | 3.630000e+02 | Inf
1.10/1.19 o 281
1.10/1.19 c * 1.1s| 4447 | 3850 | 0 | 0.0 | 10M|1035 | - |1939 |4027 | 0 | 0 | 0 | 734 | 0 | 0.000000e+00 | 2.810000e+02 | Inf
2.49/2.58 c 2.5s| 10000 | 8565 | 0 | 0.0 | 14M|1035 | - |1939 |4591 | 0 | 0 | 0 |2939 | 0 | 0.000000e+00 | 2.810000e+02 | Inf
5.40/5.49 c 5.3s| 20000 | 16174 | 0 | 0.0 | 21M|1035 | - |1939 |5513 | 0 | 0 | 0 |9329 | 0 | 0.000000e+00 | 2.810000e+02 | Inf
8.89/8.97 o 274
8.89/8.97 c * 8.7s| 28277 | 20948 | 0 | 0.0 | 27M|1035 | - |1939 |5873 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 2.740000e+02 | Inf
8.99/9.01 o 273
8.99/9.01 c * 8.7s| 28374 | 21043 | 0 | 0.0 | 27M|1035 | - |1939 |5830 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 2.730000e+02 | Inf
8.99/9.01 o 271
8.99/9.01 c * 8.7s| 28379 | 21045 | 0 | 0.0 | 27M|1035 | - |1939 |5830 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 2.710000e+02 | Inf
9.19/9.27 o 246
9.19/9.27 c * 9.0s| 29260 | 21874 | 0 | 0.0 | 27M|1035 | - |1939 |5507 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 2.460000e+02 | Inf
9.29/9.30 o 211
9.29/9.30 c * 9.0s| 29356 | 21936 | 0 | 0.0 | 27M|1035 | - |1939 |5464 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 2.110000e+02 | Inf
9.49/9.50 c 9.2s| 30000 | 22536 | 0 | 0.0 | 28M|1035 | - |1939 |5295 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 2.110000e+02 | Inf
9.69/9.78 o 206
9.69/9.78 c * 9.5s| 30879 | 23324 | 0 | 0.0 | 28M|1035 | - |1939 |5272 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 2.060000e+02 | Inf
9.99/10.07 o 181
9.99/10.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.99/10.07 c * 9.7s| 31687 | 23953 | 0 | 0.0 | 29M|1035 | - |1939 |5230 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.810000e+02 | Inf
10.09/10.14 o 171
10.09/10.14 c * 9.8s| 31864 | 24027 | 0 | 0.0 | 29M|1035 | - |1939 |5311 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.710000e+02 | Inf
10.20/10.25 o 132
10.20/10.25 c * 9.9s| 32209 | 24156 | 0 | 0.0 | 29M|1035 | - |1939 |5313 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.320000e+02 | Inf
10.20/10.25 o 125
10.20/10.25 c * 9.9s| 32210 | 24107 | 0 | 0.0 | 29M|1035 | - |1939 |5313 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
10.89/10.93 o 123
10.89/10.93 c *10.6s| 34113 | 25700 | 0 | 0.0 | 31M|1035 | - |1939 |5196 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.230000e+02 | Inf
11.19/11.21 o 119
11.19/11.21 c *10.8s| 34806 | 26168 | 0 | 0.0 | 32M|1035 | - |1939 |5223 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
11.19/11.21 o 84
11.19/11.21 c *10.8s| 34807 | 25423 | 0 | 0.0 | 31M|1035 | - |1939 |5223 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
12.89/12.99 c 12.6s| 40000 | 29894 | 0 | 0.0 | 37M|1035 | - |1939 |5053 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
15.89/15.96 c 15.4s| 50000 | 38510 | 0 | 0.0 | 44M|1035 | - |1939 |5434 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
18.79/18.83 c 18.2s| 60000 | 46606 | 0 | 0.0 | 51M|1035 | - |1939 |5808 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
21.90/21.93 c 21.2s| 70000 | 54240 | 0 | 0.0 | 58M|1035 | - |1939 |6071 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
25.30/25.33 c 24.5s| 80000 | 61354 | 0 | 0.0 | 65M|1035 | - |1939 |6205 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
28.79/28.83 c 27.9s| 90000 | 68212 | 0 | 0.0 | 72M|1035 | - |1939 |6385 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
32.29/32.40 c 31.4s|100000 | 75112 | 0 | 0.0 | 79M|1035 | - |1939 |6950 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
36.09/36.19 c 35.1s|110000 | 81633 | 0 | 0.0 | 86M|1035 | - |1939 |7198 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
40.09/40.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.09/40.12 c 38.9s|120000 | 87998 | 0 | 0.0 | 93M|1035 | - |1939 |7382 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
44.49/44.52 c 43.2s|130000 | 93568 | 0 | 0.0 | 100M|1035 | - |1939 |8177 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
49.40/49.43 c 48.0s|140000 | 98496 | 0 | 0.0 | 108M|1035 | - |1939 |8681 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
54.70/54.78 c 53.2s|150000 |102806 | 0 | 0.0 | 115M|1035 | - |1939 |9141 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
60.50/60.50 c 58.8s|160000 |106679 | 0 | 0.0 | 123M|1035 | - |1939 |9965 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
67.99/68.05 c 66.2s|170000 |108324 | 0 | 0.0 | 130M|1035 | - |1939 | 11k| 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
72.90/72.92 o 83
72.90/72.92 c *71.0s|179867 |115267 | 0 | 0.0 | 134M|1035 | - |1939 |4115 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
72.90/72.92 o 65
72.90/72.92 c *71.0s|179868 |114515 | 0 | 0.0 | 132M|1035 | - |1939 |4115 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
72.90/72.97 c 71.0s|180000 |114632 | 0 | 0.0 | 132M|1035 | - |1939 |4122 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
76.30/76.35 c 74.3s|190000 |123311 | 0 | 0.0 | 141M|1035 | - |1939 |4723 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
79.90/79.97 c 77.8s|200000 |131699 | 0 | 0.0 | 149M|1035 | - |1939 |4287 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
83.69/83.72 c 81.4s|210000 |139664 | 0 | 0.0 | 159M|1035 | - |1939 |4639 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
87.69/87.76 c 85.3s|220000 |147018 | 0 | 0.0 | 172M|1035 | - |1939 |6023 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
88.09/88.11 o 56
88.09/88.11 c *85.7s|220790 |146576 | 0 | 0.0 | 168M|1035 | - |1939 |6080 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
92.09/92.16 c 89.6s|230000 |153087 | 0 | 0.0 | 177M|1035 | - |1939 |4141 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
92.89/92.93 o 48
92.89/92.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
92.89/92.93 c *90.3s|232050 |154011 | 0 | 0.0 | 175M|1035 | - |1939 |4229 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
93.40/93.41 o 46
93.40/93.41 c *90.8s|233355 |154666 | 0 | 0.0 | 174M|1035 | - |1939 |4306 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
93.40/93.42 o 43
93.40/93.42 c *90.8s|233356 |154518 | 0 | 0.0 | 173M|1035 | - |1939 |4306 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
95.70/95.77 c 93.1s|240000 |159663 | 0 | 0.0 | 178M|1035 | - |1939 |4988 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
99.90/100.00 c 97.2s|250000 |166142 | 0 | 0.0 | 186M|1035 | - |1939 |4507 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
103.00/103.05 c 100s|260000 |174677 | 0 | 0.0 | 193M|1035 | - |1939 |4569 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
103.89/103.97 o 25
103.89/103.97 c * 101s|262934 |174584 | 0 | 0.0 | 185M|1035 | - |1939 |4722 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
106.30/106.33 c 103s|270000 |180089 | 0 | 0.0 | 191M|1035 | - |1939 |5596 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
110.49/110.50 c 107s|280000 |186504 | 0 | 0.0 | 199M|1035 | - |1939 |7680 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
114.09/114.16 c 111s|290000 |193622 | 0 | 0.0 | 205M|1035 | - |1939 |5527 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
117.89/117.93 c 114s|300000 |200434 | 0 | 0.0 | 213M|1035 | - |1939 |6419 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
120.80/120.84 c 117s|310000 |208824 | 0 | 0.0 | 219M|1035 | - |1939 |5748 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
123.89/123.98 c 120s|320000 |216707 | 0 | 0.0 | 226M|1035 | - |1939 |7001 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
128.30/128.31 c 125s|330000 |222658 | 0 | 0.0 | 234M|1035 | - |1939 |9951 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
130.20/130.28 o 22
130.20/130.28 c * 126s|336398 |227352 | 0 | 0.0 | 235M|1035 | - |1939 |6229 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
130.30/130.30 o 3
130.30/130.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
130.30/130.30 c * 126s|336399 |219973 | 0 | 0.0 | 220M|1035 | - |1939 |6229 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
131.39/131.41 c 128s|340000 |222835 | 0 | 0.0 | 223M|1035 | - |1939 |6740 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
135.30/135.39 c 131s|350000 |229440 | 0 | 0.0 | 229M|1035 | - |1939 |6528 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
139.20/139.21 c 135s|360000 |236028 | 0 | 0.0 | 236M|1035 | - |1939 |9407 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
142.40/142.45 c 138s|370000 |243825 | 0 | 0.0 | 242M|1035 | - |1939 |8150 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
146.20/146.21 c 142s|380000 |250692 | 0 | 0.0 | 248M|1035 | - |1939 |7501 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
149.90/149.93 c 145s|390000 |257631 | 0 | 0.0 | 255M|1035 | - |1939 |7381 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
153.10/153.19 c 149s|400000 |265498 | 0 | 0.0 | 261M|1035 | - |1939 |7009 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
157.00/157.06 c 152s|410000 |272474 | 0 | 0.0 | 268M|1035 | - |1939 |7992 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
161.20/161.20 c 156s|420000 |279019 | 0 | 0.0 | 275M|1035 | - |1939 |8478 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
165.70/165.75 c 161s|430000 |285070 | 0 | 0.0 | 282M|1035 | - |1939 |8634 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
170.51/170.51 c 166s|440000 |290853 | 0 | 0.0 | 289M|1035 | - |1939 |9329 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
175.20/175.24 c 170s|450000 |296695 | 0 | 0.0 | 296M|1035 | - |1939 |9635 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
179.90/179.96 c 175s|460000 |302490 | 0 | 0.0 | 303M|1035 | - |1939 |9627 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
184.80/184.81 c 180s|470000 |308074 | 0 | 0.0 | 310M|1035 | - |1939 |9784 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
189.70/189.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
189.70/189.77 c 184s|480000 |313555 | 0 | 0.0 | 317M|1035 | - |1939 | 10k| 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
194.81/194.90 c 189s|490000 |318823 | 0 | 0.0 | 324M|1035 | - |1939 | 10k| 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
200.00/200.05 c 194s|500000 |324088 | 0 | 0.0 | 331M|1035 | - |1939 |9686 | 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
205.40/205.43 c 200s|510000 |329097 | 0 | 0.0 | 338M|1035 | - |1939 | 10k| 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
211.20/211.24 c 205s|520000 |333510 | 0 | 0.0 | 345M|1035 | - |1939 | 10k| 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
216.80/216.88 c 211s|530000 |338102 | 0 | 0.0 | 352M|1035 | - |1939 | 10k| 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
222.70/222.73 c 217s|540000 |342552 | 0 | 0.0 | 359M|1035 | - |1939 |9524 | 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
228.61/228.64 c 222s|550000 |346837 | 0 | 0.0 | 366M|1035 | - |1939 | 10k| 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
234.90/234.95 c 229s|560000 |350547 | 0 | 0.0 | 373M|1035 | - |1939 | 11k| 0 | 0 | 0 | 413k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
241.30/241.39 c 235s|570000 |354217 | 0 | 0.0 | 380M|1035 | - |1939 | 10k| 0 | 0 | 0 | 425k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
247.50/247.51 c 241s|580000 |358479 | 0 | 0.0 | 387M|1035 | - |1939 | 10k| 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
254.31/254.34 c 248s|590000 |361690 | 0 | 0.0 | 394M|1035 | - |1939 | 11k| 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
261.21/261.29 c 254s|600000 |364752 | 0 | 0.0 | 400M|1035 | - |1939 | 11k| 0 | 0 | 0 | 462k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
268.11/268.16 c 261s|610000 |368004 | 0 | 0.0 | 407M|1035 | - |1939 | 10k| 0 | 0 | 0 | 475k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
274.70/274.73 c 268s|620000 |371578 | 0 | 0.0 | 414M|1035 | - |1939 | 11k| 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
282.01/282.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
282.01/282.07 c 275s|630000 |374269 | 0 | 0.0 | 420M|1035 | - |1939 | 11k| 0 | 0 | 0 | 502k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
289.41/289.49 c 282s|640000 |376942 | 0 | 0.0 | 426M|1035 | - |1939 | 11k| 0 | 0 | 0 | 516k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
296.91/296.93 c 289s|650000 |379511 | 0 | 0.0 | 432M|1035 | - |1939 | 11k| 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
304.11/304.16 c 296s|660000 |382471 | 0 | 0.0 | 438M|1035 | - |1939 | 11k| 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
311.60/311.68 c 304s|670000 |385266 | 0 | 0.0 | 445M|1035 | - |1939 | 11k| 0 | 0 | 0 | 559k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
319.50/319.54 c 312s|680000 |387495 | 0 | 0.0 | 450M|1035 | - |1939 | 12k| 0 | 0 | 0 | 575k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
327.50/327.56 c 319s|690000 |389625 | 0 | 0.0 | 456M|1035 | - |1939 | 12k| 0 | 0 | 0 | 591k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
335.91/335.97 c 328s|700000 |391429 | 0 | 0.0 | 461M|1035 | - |1939 | 12k| 0 | 0 | 0 | 607k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
345.01/345.02 c 337s|710000 |392391 | 0 | 0.0 | 466M|1035 | - |1939 | 13k| 0 | 0 | 0 | 625k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
353.81/353.89 c 345s|720000 |394103 | 0 | 0.0 | 471M|1035 | - |1939 | 13k| 0 | 0 | 0 | 643k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
363.31/363.31 c 355s|730000 |395085 | 0 | 0.0 | 476M|1035 | - |1939 | 14k| 0 | 0 | 0 | 663k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
373.11/373.19 c 364s|740000 |395703 | 0 | 0.0 | 479M|1035 | - |1939 | 15k| 0 | 0 | 0 | 683k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
384.31/384.36 c 375s|750000 |395363 | 0 | 0.0 | 482M|1035 | - |1939 | 16k| 0 | 0 | 0 | 707k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
398.31/398.30 c 389s|760000 |392752 | 0 | 0.0 | 480M|1035 | - |1939 | 15k| 0 | 0 | 0 | 737k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
401.91/401.91 c 393s|770000 |400613 | 0 | 0.0 | 483M|1035 | - |1939 |5821 | 0 | 0 | 0 | 742k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
405.51/405.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
405.51/405.51 c 396s|780000 |408105 | 0 | 0.0 | 490M|1035 | - |1939 |6361 | 0 | 0 | 0 | 747k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
409.21/409.30 c 400s|790000 |415407 | 0 | 0.0 | 497M|1035 | - |1939 |6324 | 0 | 0 | 0 | 753k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
413.11/413.17 c 404s|800000 |422627 | 0 | 0.0 | 504M|1035 | - |1939 |6386 | 0 | 0 | 0 | 758k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
417.21/417.20 c 407s|810000 |429670 | 0 | 0.0 | 511M|1035 | - |1939 |6656 | 0 | 0 | 0 | 765k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
421.41/421.40 c 412s|820000 |436526 | 0 | 0.0 | 517M|1035 | - |1939 |6960 | 0 | 0 | 0 | 771k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
425.82/425.81 c 416s|830000 |443160 | 0 | 0.0 | 525M|1035 | - |1939 |7539 | 0 | 0 | 0 | 778k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
430.32/430.39 c 420s|840000 |449682 | 0 | 0.0 | 531M|1035 | - |1939 |7754 | 0 | 0 | 0 | 786k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
435.32/435.37 c 425s|850000 |455681 | 0 | 0.0 | 539M|1035 | - |1939 |8559 | 0 | 0 | 0 | 795k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
440.51/440.57 c 430s|860000 |461540 | 0 | 0.0 | 546M|1035 | - |1939 |8843 | 0 | 0 | 0 | 804k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
445.91/445.93 c 435s|870000 |467230 | 0 | 0.0 | 554M|1035 | - |1939 |9182 | 0 | 0 | 0 | 813k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
451.51/451.59 c 441s|880000 |472602 | 0 | 0.0 | 561M|1035 | - |1939 |9387 | 0 | 0 | 0 | 823k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
457.52/457.55 c 447s|890000 |477768 | 0 | 0.0 | 569M|1035 | - |1939 |9976 | 0 | 0 | 0 | 833k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
463.81/463.80 c 453s|900000 |482569 | 0 | 0.0 | 576M|1035 | - |1939 | 10k| 0 | 0 | 0 | 845k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
469.81/469.87 c 459s|910000 |487636 | 0 | 0.0 | 584M|1035 | - |1939 | 10k| 0 | 0 | 0 | 855k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
476.02/476.05 c 465s|920000 |492608 | 0 | 0.0 | 591M|1035 | - |1939 | 11k| 0 | 0 | 0 | 866k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
483.12/483.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
483.12/483.15 c 472s|930000 |496671 | 0 | 0.0 | 598M|1035 | - |1939 | 11k| 0 | 0 | 0 | 878k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
489.72/489.71 c 478s|940000 |501231 | 0 | 0.0 | 605M|1035 | - |1939 | 12k| 0 | 0 | 0 | 889k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
497.12/497.17 c 486s|950000 |505054 | 0 | 0.0 | 612M|1035 | - |1939 | 12k| 0 | 0 | 0 | 902k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
505.61/505.67 c 494s|960000 |507878 | 0 | 0.0 | 619M|1035 | - |1939 | 13k| 0 | 0 | 0 | 917k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
515.92/515.92 c 504s|970000 |509186 | 0 | 0.0 | 625M|1035 | - |1939 | 15k| 0 | 0 | 0 | 934k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
528.51/528.51 c 516s|980000 |508283 | 0 | 0.0 | 630M|1035 | - |1939 | 16k| 0 | 0 | 0 | 953k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
535.72/535.74 c 524s|990000 |512369 | 0 | 0.0 | 634M|1035 | - |1939 |8980 | 0 | 0 | 0 | 963k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
540.22/540.29 c 528s| 1000k|518932 | 0 | 0.0 | 642M|1035 | - |1939 |9291 | 0 | 0 | 0 | 970k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
544.92/544.95 c 533s| 1010k|525566 | 0 | 0.0 | 652M|1035 | - |1939 | 10k| 0 | 0 | 0 | 978k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
550.32/550.34 c 538s| 1020k|531701 | 0 | 0.0 | 662M|1035 | - |1939 | 11k| 0 | 0 | 0 | 986k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
556.71/556.70 c 544s| 1030k|537081 | 0 | 0.0 | 673M|1035 | - |1939 | 13k| 0 | 0 | 0 | 996k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
564.23/564.25 c 551s| 1040k|541458 | 0 | 0.0 | 684M|1035 | - |1939 | 15k| 0 | 0 | 0 |1008k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
573.61/573.62 c 561s| 1050k|544550 | 0 | 0.0 | 699M|1035 | - |1939 | 17k| 0 | 0 | 0 |1021k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
585.62/585.62 c 572s| 1060k|543485 | 0 | 0.0 | 703M|1035 | - |1939 | 18k| 0 | 0 | 0 |1039k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
590.02/590.07 c 577s| 1070k|551510 | 0 | 0.0 | 715M|1035 | - |1939 | 11k| 0 | 0 | 0 |1044k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
593.82/593.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
593.82/593.86 c 580s| 1080k|559425 | 0 | 0.0 | 723M|1035 | - |1939 | 11k| 0 | 0 | 0 |1049k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
597.72/597.72 c 584s| 1090k|567274 | 0 | 0.0 | 729M|1035 | - |1939 | 11k| 0 | 0 | 0 |1054k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
601.72/601.74 c 588s| 1100k|574945 | 0 | 0.0 | 736M|1035 | - |1939 | 11k| 0 | 0 | 0 |1060k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
605.72/605.74 c 592s| 1110k|582546 | 0 | 0.0 | 743M|1035 | - |1939 | 12k| 0 | 0 | 0 |1065k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
609.82/609.84 c 596s| 1120k|590066 | 0 | 0.0 | 750M|1035 | - |1939 | 13k| 0 | 0 | 0 |1071k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
614.72/614.77 c 601s| 1130k|596871 | 0 | 0.0 | 758M|1035 | - |1939 | 14k| 0 | 0 | 0 |1078k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
619.92/619.93 c 606s| 1140k|603447 | 0 | 0.0 | 765M|1035 | - |1939 | 15k| 0 | 0 | 0 |1085k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
625.32/625.37 c 611s| 1150k|609866 | 0 | 0.0 | 773M|1035 | - |1939 | 15k| 0 | 0 | 0 |1093k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
631.62/631.63 c 617s| 1160k|615642 | 0 | 0.0 | 780M|1035 | - |1939 | 16k| 0 | 0 | 0 |1102k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
637.72/637.76 c 623s| 1170k|621613 | 0 | 0.0 | 788M|1035 | - |1939 | 17k| 0 | 0 | 0 |1110k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
645.32/645.32 c 631s| 1180k|626979 | 0 | 0.0 | 795M|1035 | - |1939 | 18k| 0 | 0 | 0 |1119k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
653.43/653.42 c 639s| 1190k|632234 | 0 | 0.0 | 803M|1035 | - |1939 | 19k| 0 | 0 | 0 |1129k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
662.72/662.77 c 648s| 1200k|636813 | 0 | 0.0 | 811M|1035 | - |1939 | 21k| 0 | 0 | 0 |1140k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
673.72/673.79 c 659s| 1210k|640606 | 0 | 0.0 | 818M|1035 | - |1939 | 23k| 0 | 0 | 0 |1153k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
686.62/686.61 c 671s| 1220k|643531 | 0 | 0.0 | 826M|1035 | - |1939 | 25k| 0 | 0 | 0 |1167k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
702.92/702.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
702.92/702.96 c 688s| 1230k|644554 | 0 | 0.0 | 832M|1035 | - |1939 | 26k| 0 | 0 | 0 |1186k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
716.72/716.79 c 701s| 1240k|647148 | 0 | 0.0 | 836M|1035 | - |1939 | 19k| 0 | 0 | 0 |1199k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
722.13/722.11 c 706s| 1250k|655011 | 0 | 0.0 | 848M|1035 | - |1939 | 15k| 0 | 0 | 0 |1204k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
727.32/727.32 c 711s| 1260k|662551 | 0 | 0.0 | 863M|1035 | - |1939 | 16k| 0 | 0 | 0 |1209k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
733.13/733.16 c 717s| 1270k|669581 | 0 | 0.0 | 880M|1035 | - |1939 | 17k| 0 | 0 | 0 |1215k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
738.42/738.41 c 722s| 1280k|676259 | 0 | 0.0 | 885M|1035 | - |1939 | 11k| 0 | 0 | 0 |1220k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
743.42/743.47 c 727s| 1290k|682432 | 0 | 0.0 | 892M|1035 | - |1939 | 12k| 0 | 0 | 0 |1226k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
749.13/749.14 c 733s| 1300k|688085 | 0 | 0.0 | 900M|1035 | - |1939 | 13k| 0 | 0 | 0 |1233k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
755.23/755.23 c 739s| 1310k|693300 | 0 | 0.0 | 907M|1035 | - |1939 | 13k| 0 | 0 | 0 |1241k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
762.24/762.28 c 746s| 1320k|697503 | 0 | 0.0 | 914M|1035 | - |1939 | 16k| 0 | 0 | 0 |1250k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
772.33/772.30 c 755s| 1330k|698906 | 0 | 0.0 | 918M|1035 | - |1939 | 16k| 0 | 0 | 0 |1264k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
776.23/776.24 c 759s| 1340k|706876 | 0 | 0.0 | 922M|1035 | - |1939 | 10k| 0 | 0 | 0 |1266k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
780.13/780.12 c 763s| 1350k|714660 | 0 | 0.0 | 929M|1035 | - |1939 | 10k| 0 | 0 | 0 |1270k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
784.02/784.09 c 767s| 1360k|722244 | 0 | 0.0 | 935M|1035 | - |1939 | 11k| 0 | 0 | 0 |1273k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
788.13/788.14 c 771s| 1370k|729710 | 0 | 0.0 | 941M|1035 | - |1939 | 11k| 0 | 0 | 0 |1277k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
792.33/792.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
792.33/792.37 c 775s| 1380k|737016 | 0 | 0.0 | 948M|1035 | - |1939 | 11k| 0 | 0 | 0 |1280k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
796.52/796.59 c 779s| 1390k|744204 | 0 | 0.0 | 954M|1035 | - |1939 | 11k| 0 | 0 | 0 |1284k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
801.22/801.27 c 784s| 1400k|750901 | 0 | 0.0 | 961M|1035 | - |1939 | 12k| 0 | 0 | 0 |1289k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
806.13/806.10 c 788s| 1410k|757486 | 0 | 0.0 | 968M|1035 | - |1939 | 12k| 0 | 0 | 0 |1295k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
811.23/811.25 c 793s| 1420k|763693 | 0 | 0.0 | 975M|1035 | - |1939 | 13k| 0 | 0 | 0 |1300k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
816.43/816.49 c 798s| 1430k|769860 | 0 | 0.0 | 982M|1035 | - |1939 | 13k| 0 | 0 | 0 |1306k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
822.03/822.09 c 804s| 1440k|775614 | 0 | 0.0 | 990M|1035 | - |1939 | 14k| 0 | 0 | 0 |1313k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
828.03/828.00 c 810s| 1450k|781266 | 0 | 0.0 | 997M|1035 | - |1939 | 14k| 0 | 0 | 0 |1320k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
834.33/834.32 c 816s| 1460k|786456 | 0 | 0.0 |1004M|1035 | - |1939 | 15k| 0 | 0 | 0 |1328k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
841.03/841.01 c 822s| 1470k|791282 | 0 | 0.0 |1011M|1035 | - |1939 | 16k| 0 | 0 | 0 |1336k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
848.23/848.21 c 829s| 1480k|795774 | 0 | 0.0 |1017M|1035 | - |1939 | 16k| 0 | 0 | 0 |1344k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
856.03/856.05 c 837s| 1490k|799669 | 0 | 0.0 |1024M|1035 | - |1939 | 16k| 0 | 0 | 0 |1354k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
865.53/865.54 c 846s| 1500k|802029 | 0 | 0.0 |1029M|1035 | - |1939 | 17k| 0 | 0 | 0 |1366k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
875.33/875.39 c 856s| 1510k|804135 | 0 | 0.0 |1031M|1035 | - |1939 | 12k| 0 | 0 | 0 |1378k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
879.23/879.24 c 860s| 1520k|811992 | 0 | 0.0 |1036M|1035 | - |1939 | 11k| 0 | 0 | 0 |1381k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
883.43/883.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
883.43/883.42 c 864s| 1530k|819373 | 0 | 0.0 |1043M|1035 | - |1939 | 11k| 0 | 0 | 0 |1385k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
887.94/887.98 c 868s| 1540k|826351 | 0 | 0.0 |1050M|1035 | - |1939 | 12k| 0 | 0 | 0 |1389k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
892.93/892.96 c 873s| 1550k|832850 | 0 | 0.0 |1057M|1035 | - |1939 | 13k| 0 | 0 | 0 |1394k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
898.64/898.61 c 878s| 1560k|838704 | 0 | 0.0 |1064M|1035 | - |1939 | 14k| 0 | 0 | 0 |1401k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
904.83/904.88 c 885s| 1570k|844005 | 0 | 0.0 |1071M|1035 | - |1939 | 15k| 0 | 0 | 0 |1408k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
911.73/911.77 c 891s| 1580k|848633 | 0 | 0.0 |1078M|1035 | - |1939 | 17k| 0 | 0 | 0 |1417k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
920.23/920.24 c 900s| 1590k|852142 | 0 | 0.0 |1084M|1035 | - |1939 | 18k| 0 | 0 | 0 |1427k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
928.44/928.46 c 908s| 1600k|856418 | 0 | 0.0 |1087M|1035 | - |1939 | 11k| 0 | 0 | 0 |1437k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
932.24/932.26 c 911s| 1610k|864234 | 0 | 0.0 |1093M|1035 | - |1939 | 11k| 0 | 0 | 0 |1440k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
936.33/936.30 c 915s| 1620k|871651 | 0 | 0.0 |1100M|1035 | - |1939 | 11k| 0 | 0 | 0 |1444k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
940.73/940.77 c 920s| 1630k|878593 | 0 | 0.0 |1107M|1035 | - |1939 | 12k| 0 | 0 | 0 |1449k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
946.24/946.21 c 925s| 1640k|884613 | 0 | 0.0 |1114M|1035 | - |1939 | 13k| 0 | 0 | 0 |1455k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
952.14/952.14 c 931s| 1650k|890149 | 0 | 0.0 |1121M|1035 | - |1939 | 13k| 0 | 0 | 0 |1461k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
958.44/958.41 c 937s| 1660k|895280 | 0 | 0.0 |1128M|1035 | - |1939 | 15k| 0 | 0 | 0 |1469k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
965.63/965.64 c 944s| 1670k|899614 | 0 | 0.0 |1135M|1035 | - |1939 | 16k| 0 | 0 | 0 |1478k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
974.93/974.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
974.93/974.91 c 953s| 1680k|902149 | 0 | 0.0 |1141M|1035 | - |1939 | 18k| 0 | 0 | 0 |1490k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
979.43/979.40 c 957s| 1690k|909715 | 0 | 0.0 |1145M|1035 | - |1939 | 11k| 0 | 0 | 0 |1493k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
983.93/983.90 c 962s| 1700k|916771 | 0 | 0.0 |1152M|1035 | - |1939 | 11k| 0 | 0 | 0 |1497k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
989.03/989.08 c 967s| 1710k|923073 | 0 | 0.0 |1158M|1035 | - |1939 | 12k| 0 | 0 | 0 |1502k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
994.45/994.48 c 972s| 1720k|929063 | 0 | 0.0 |1166M|1035 | - |1939 | 13k| 0 | 0 | 0 |1508k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1000.34/1000.36 c 978s| 1730k|934569 | 0 | 0.0 |1173M|1035 | - |1939 | 14k| 0 | 0 | 0 |1515k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1007.24/1007.21 c 984s| 1740k|939213 | 0 | 0.0 |1179M|1035 | - |1939 | 14k| 0 | 0 | 0 |1522k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1014.94/1014.98 c 992s| 1750k|942799 | 0 | 0.0 |1186M|1035 | - |1939 | 16k| 0 | 0 | 0 |1532k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1023.84/1023.89 c 1001s| 1760k|945729 | 0 | 0.0 |1190M|1035 | - |1939 | 13k| 0 | 0 | 0 |1543k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1027.84/1027.84 c 1005s| 1770k|953548 | 0 | 0.0 |1195M|1035 | - |1939 | 11k| 0 | 0 | 0 |1546k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1031.64/1031.68 c 1008s| 1780k|961112 | 0 | 0.0 |1201M|1035 | - |1939 | 11k| 0 | 0 | 0 |1550k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1035.74/1035.72 c 1012s| 1790k|968495 | 0 | 0.0 |1207M|1035 | - |1939 | 12k| 0 | 0 | 0 |1554k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1040.04/1040.05 c 1017s| 1800k|975641 | 0 | 0.0 |1214M|1035 | - |1939 | 12k| 0 | 0 | 0 |1558k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1044.54/1044.55 c 1021s| 1810k|982564 | 0 | 0.0 |1220M|1035 | - |1939 | 13k| 0 | 0 | 0 |1563k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1049.23/1049.25 c 1025s| 1820k|989340 | 0 | 0.0 |1226M|1035 | - |1939 | 13k| 0 | 0 | 0 |1568k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1054.63/1054.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1054.63/1054.65 c 1031s| 1830k|995360 | 0 | 0.0 |1232M|1035 | - |1939 | 14k| 0 | 0 | 0 |1574k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1061.24/1061.29 c 1037s| 1840k| 1000k| 0 | 0.0 |1238M|1035 | - |1939 | 16k| 0 | 0 | 0 |1582k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1069.44/1069.42 c 1045s| 1850k| 1002k| 0 | 0.0 |1244M|1035 | - |1939 | 19k| 0 | 0 | 0 |1595k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1073.64/1073.60 c 1049s| 1860k| 1010k| 0 | 0.0 |1247M|1035 | - |1939 | 10k| 0 | 0 | 0 |1599k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1077.84/1077.82 c 1053s| 1870k| 1017k| 0 | 0.0 |1254M|1035 | - |1939 | 11k| 0 | 0 | 0 |1603k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1082.44/1082.41 c 1058s| 1880k| 1024k| 0 | 0.0 |1259M|1035 | - |1939 |9407 | 0 | 0 | 0 |1608k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1086.44/1086.46 c 1062s| 1890k| 1030k| 0 | 0.0 |1265M|1035 | - |1939 |7920 | 0 | 0 | 0 |1612k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1090.44/1090.47 c 1066s| 1900k| 1037k| 0 | 0.0 |1271M|1035 | - |1939 |6736 | 0 | 0 | 0 |1617k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1093.54/1093.58 c 1069s| 1910k| 1045k| 0 | 0.0 |1277M|1035 | - |1939 |6721 | 0 | 0 | 0 |1620k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1098.24/1098.20 c 1073s| 1920k| 1051k| 0 | 0.0 |1284M|1035 | - |1939 |9753 | 0 | 0 | 0 |1627k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1101.34/1101.39 c 1076s| 1930k| 1059k| 0 | 0.0 |1289M|1035 | - |1939 |6667 | 0 | 0 | 0 |1629k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1105.44/1105.41 c 1080s| 1940k| 1066k| 0 | 0.0 |1296M|1035 | - |1939 |7806 | 0 | 0 | 0 |1634k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1109.14/1109.13 c 1084s| 1950k| 1073k| 0 | 0.0 |1302M|1035 | - |1939 |7074 | 0 | 0 | 0 |1639k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1115.64/1115.60 c 1090s| 1960k| 1076k| 0 | 0.0 |1308M|1035 | - |1939 |8611 | 0 | 0 | 0 |1648k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1123.15/1123.17 c 1097s| 1970k| 1079k| 0 | 0.0 |1315M|1035 | - |1939 | 11k| 0 | 0 | 0 |1658k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1131.34/1131.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1131.34/1131.39 c 1106s| 1980k| 1082k| 0 | 0.0 |1322M|1035 | - |1939 | 11k| 0 | 0 | 0 |1669k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1140.15/1140.16 c 1114s| 1990k| 1084k| 0 | 0.0 |1327M|1035 | - |1939 | 12k| 0 | 0 | 0 |1680k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1149.35/1149.34 c 1123s| 2000k| 1086k| 0 | 0.0 |1332M|1035 | - |1939 | 10k| 0 | 0 | 0 |1692k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1158.44/1158.44 c 1132s| 2010k| 1088k| 0 | 0.0 |1339M|1035 | - |1939 | 13k| 0 | 0 | 0 |1703k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1168.04/1168.05 c 1142s| 2020k| 1089k| 0 | 0.0 |1344M|1035 | - |1939 | 13k| 0 | 0 | 0 |1716k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1177.65/1177.66 c 1151s| 2030k| 1091k| 0 | 0.0 |1350M|1035 | - |1939 | 11k| 0 | 0 | 0 |1727k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1187.74/1187.76 c 1161s| 2040k| 1092k| 0 | 0.0 |1355M|1035 | - |1939 | 14k| 0 | 0 | 0 |1740k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1197.45/1197.42 c 1171s| 2050k| 1094k| 0 | 0.0 |1360M|1035 | - |1939 | 11k| 0 | 0 | 0 |1751k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1207.85/1207.89 c 1181s| 2060k| 1095k| 0 | 0.0 |1366M|1035 | - |1939 | 14k| 0 | 0 | 0 |1765k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1218.34/1218.36 c 1191s| 2070k| 1097k| 0 | 0.0 |1371M|1035 | - |1939 | 11k| 0 | 0 | 0 |1777k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1229.45/1229.47 c 1202s| 2080k| 1097k| 0 | 0.0 |1375M|1035 | - |1939 | 15k| 0 | 0 | 0 |1791k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1240.45/1240.45 c 1213s| 2090k| 1098k| 0 | 0.0 |1380M|1035 | - |1939 | 11k| 0 | 0 | 0 |1804k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1251.44/1251.48 c 1224s| 2100k| 1098k| 0 | 0.0 |1384M|1035 | - |1939 | 15k| 0 | 0 | 0 |1819k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1262.15/1262.19 c 1235s| 2110k| 1100k| 0 | 0.0 |1389M|1035 | - |1939 | 11k| 0 | 0 | 0 |1831k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1274.15/1274.17 c 1246s| 2120k| 1099k| 0 | 0.0 |1392M|1035 | - |1939 | 15k| 0 | 0 | 0 |1846k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1285.25/1285.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1285.25/1285.26 c 1257s| 2130k| 1101k| 0 | 0.0 |1397M|1035 | - |1939 | 11k| 0 | 0 | 0 |1859k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1296.75/1296.74 c 1269s| 2140k| 1100k| 0 | 0.0 |1399M|1035 | - |1939 | 13k| 0 | 0 | 0 |1874k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1308.05/1308.08 c 1280s| 2150k| 1100k| 0 | 0.0 |1403M|1035 | - |1939 | 12k| 0 | 0 | 0 |1889k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1319.96/1319.93 c 1292s| 2160k| 1099k| 0 | 0.0 |1407M|1035 | - |1939 | 15k| 0 | 0 | 0 |1904k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1331.65/1331.69 c 1303s| 2170k| 1098k| 0 | 0.0 |1407M|1035 | - |1939 | 14k| 0 | 0 | 0 |1920k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1344.55/1344.53 c 1316s| 2180k| 1096k| 0 | 0.0 |1410M|1035 | - |1939 | 13k| 0 | 0 | 0 |1935k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1357.85/1357.84 c 1329s| 2190k| 1094k| 0 | 0.0 |1412M|1035 | - |1939 | 15k| 0 | 0 | 0 |1952k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1371.45/1371.46 c 1342s| 2200k| 1091k| 0 | 0.0 |1411M|1035 | - |1939 | 16k| 0 | 0 | 0 |1969k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1385.66/1385.61 c 1356s| 2210k| 1088k| 0 | 0.0 |1410M|1035 | - |1939 | 16k| 0 | 0 | 0 |1986k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1400.06/1400.09 c 1371s| 2220k| 1084k| 0 | 0.0 |1408M|1035 | - |1939 | 16k| 0 | 0 | 0 |2003k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1414.46/1414.44 c 1385s| 2230k| 1080k| 0 | 0.0 |1406M|1035 | - |1939 | 16k| 0 | 0 | 0 |2021k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1429.36/1429.37 c 1400s| 2240k| 1075k| 0 | 0.0 |1403M|1035 | - |1939 | 16k| 0 | 0 | 0 |2040k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1444.45/1444.42 c 1415s| 2250k| 1070k| 0 | 0.0 |1400M|1035 | - |1939 | 16k| 0 | 0 | 0 |2058k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1460.66/1460.65 c 1431s| 2260k| 1063k| 0 | 0.0 |1392M|1035 | - |1939 | 16k| 0 | 0 | 0 |2078k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1476.76/1476.73 c 1447s| 2270k| 1057k| 0 | 0.0 |1385M|1035 | - |1939 | 17k| 0 | 0 | 0 |2098k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1494.15/1494.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1494.15/1494.15 c 1464s| 2280k| 1049k| 0 | 0.0 |1375M|1035 | - |1939 | 18k| 0 | 0 | 0 |2120k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1512.26/1512.29 c 1482s| 2290k| 1040k| 0 | 0.0 |1361M|1035 | - |1939 | 21k| 0 | 0 | 0 |2143k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1532.76/1532.70 c 1502s| 2300k| 1027k| 0 | 0.0 |1335M|1035 | - |1939 | 20k| 0 | 0 | 0 |2168k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1537.76/1537.77 c 1507s| 2310k| 1034k| 0 | 0.0 |1336M|1035 | - |1939 |6145 | 0 | 0 | 0 |2173k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1541.97/1541.92 c 1511s| 2320k| 1041k| 0 | 0.0 |1343M|1035 | - |1939 |5959 | 0 | 0 | 0 |2177k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1546.36/1546.31 c 1515s| 2330k| 1047k| 0 | 0.0 |1349M|1035 | - |1939 |6028 | 0 | 0 | 0 |2182k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1550.46/1550.43 c 1519s| 2340k| 1053k| 0 | 0.0 |1355M|1035 | - |1939 |6140 | 0 | 0 | 0 |2187k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1554.66/1554.66 c 1523s| 2350k| 1060k| 0 | 0.0 |1362M|1035 | - |1939 |6483 | 0 | 0 | 0 |2192k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1558.86/1558.88 c 1527s| 2360k| 1066k| 0 | 0.0 |1368M|1035 | - |1939 |6494 | 0 | 0 | 0 |2198k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1563.27/1563.28 c 1532s| 2370k| 1072k| 0 | 0.0 |1374M|1035 | - |1939 |6382 | 0 | 0 | 0 |2203k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1567.66/1567.67 c 1536s| 2380k| 1078k| 0 | 0.0 |1380M|1035 | - |1939 |6089 | 0 | 0 | 0 |2209k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1572.06/1572.00 c 1540s| 2390k| 1084k| 0 | 0.0 |1386M|1035 | - |1939 |6841 | 0 | 0 | 0 |2214k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1576.46/1576.41 c 1544s| 2400k| 1090k| 0 | 0.0 |1392M|1035 | - |1939 |7246 | 0 | 0 | 0 |2220k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1580.97/1580.98 c 1549s| 2410k| 1096k| 0 | 0.0 |1398M|1035 | - |1939 |6093 | 0 | 0 | 0 |2225k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1585.36/1585.37 c 1553s| 2420k| 1102k| 0 | 0.0 |1404M|1035 | - |1939 |7189 | 0 | 0 | 0 |2231k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1590.16/1590.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1590.16/1590.15 c 1558s| 2430k| 1108k| 0 | 0.0 |1410M|1035 | - |1939 |7114 | 0 | 0 | 0 |2237k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1594.57/1594.51 c 1562s| 2440k| 1114k| 0 | 0.0 |1416M|1035 | - |1939 |6947 | 0 | 0 | 0 |2243k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1599.57/1599.56 c 1567s| 2450k| 1119k| 0 | 0.0 |1422M|1035 | - |1939 |7524 | 0 | 0 | 0 |2249k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1603.97/1603.98 c 1571s| 2460k| 1125k| 0 | 0.0 |1428M|1035 | - |1939 |7118 | 0 | 0 | 0 |2255k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1609.16/1609.20 c 1576s| 2470k| 1130k| 0 | 0.0 |1434M|1035 | - |1939 |7662 | 0 | 0 | 0 |2262k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1613.66/1613.63 c 1581s| 2480k| 1136k| 0 | 0.0 |1440M|1035 | - |1939 |7112 | 0 | 0 | 0 |2268k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1618.66/1618.67 c 1586s| 2490k| 1141k| 0 | 0.0 |1446M|1035 | - |1939 |7331 | 0 | 0 | 0 |2275k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1623.17/1623.10 c 1590s| 2500k| 1147k| 0 | 0.0 |1452M|1035 | - |1939 |7432 | 0 | 0 | 0 |2280k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1627.46/1627.40 c 1594s| 2510k| 1154k| 0 | 0.0 |1457M|1035 | - |1939 |6418 | 0 | 0 | 0 |2286k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1633.27/1633.29 c 1600s| 2520k| 1158k| 0 | 0.0 |1464M|1035 | - |1939 |8077 | 0 | 0 | 0 |2294k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1638.76/1638.78 c 1605s| 2530k| 1162k| 0 | 0.0 |1470M|1035 | - |1939 |6783 | 0 | 0 | 0 |2302k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1644.87/1644.83 c 1611s| 2540k| 1166k| 0 | 0.0 |1476M|1035 | - |1939 |8342 | 0 | 0 | 0 |2310k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1649.97/1649.94 c 1616s| 2550k| 1172k| 0 | 0.0 |1483M|1035 | - |1939 |7497 | 0 | 0 | 0 |2317k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1656.26/1656.25 c 1622s| 2560k| 1175k| 0 | 0.0 |1489M|1035 | - |1939 |8605 | 0 | 0 | 0 |2326k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1661.96/1661.94 c 1628s| 2570k| 1180k| 0 | 0.0 |1495M|1035 | - |1939 |8087 | 0 | 0 | 0 |2334k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1668.27/1668.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1668.27/1668.21 c 1634s| 2580k| 1183k| 0 | 0.0 |1501M|1035 | - |1939 |8523 | 0 | 0 | 0 |2343k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1674.27/1674.23 c 1640s| 2590k| 1188k| 0 | 0.0 |1507M|1035 | - |1939 |8037 | 0 | 0 | 0 |2351k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1680.27/1680.26 c 1646s| 2600k| 1192k| 0 | 0.0 |1513M|1035 | - |1939 |7499 | 0 | 0 | 0 |2360k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1686.87/1686.85 c 1652s| 2610k| 1195k| 0 | 0.0 |1520M|1035 | - |1939 |8526 | 0 | 0 | 0 |2369k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1692.76/1692.70 c 1658s| 2620k| 1199k| 0 | 0.0 |1526M|1035 | - |1939 |7199 | 0 | 0 | 0 |2377k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1699.67/1699.66 c 1665s| 2630k| 1202k| 0 | 0.0 |1532M|1035 | - |1939 |9127 | 0 | 0 | 0 |2387k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1705.57/1705.57 c 1670s| 2640k| 1207k| 0 | 0.0 |1538M|1035 | - |1939 |8771 | 0 | 0 | 0 |2395k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1712.47/1712.40 c 1677s| 2650k| 1210k| 0 | 0.0 |1544M|1035 | - |1939 |9336 | 0 | 0 | 0 |2404k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1718.77/1718.75 c 1683s| 2660k| 1214k| 0 | 0.0 |1550M|1035 | - |1939 |9243 | 0 | 0 | 0 |2413k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1725.57/1725.58 c 1690s| 2670k| 1217k| 0 | 0.0 |1556M|1035 | - |1939 |9151 | 0 | 0 | 0 |2423k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1732.57/1732.53 c 1697s| 2680k| 1221k| 0 | 0.0 |1562M|1035 | - |1939 |9691 | 0 | 0 | 0 |2432k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1738.87/1738.84 c 1703s| 2690k| 1225k| 0 | 0.0 |1567M|1035 | - |1939 |7745 | 0 | 0 | 0 |2441k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1746.37/1746.37 c 1710s| 2700k| 1227k| 0 | 0.0 |1573M|1035 | - |1939 | 10k| 0 | 0 | 0 |2452k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1752.97/1752.96 c 1717s| 2710k| 1231k| 0 | 0.0 |1579M|1035 | - |1939 |8891 | 0 | 0 | 0 |2460k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1760.57/1760.56 c 1724s| 2720k| 1234k| 0 | 0.0 |1584M|1035 | - |1939 | 10k| 0 | 0 | 0 |2471k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1767.57/1767.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1767.57/1767.59 c 1731s| 2730k| 1237k| 0 | 0.0 |1590M|1035 | - |1939 | 10k| 0 | 0 | 0 |2481k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1775.28/1775.21 c 1739s| 2740k| 1240k| 0 | 0.0 |1595M|1035 | - |1939 | 10k| 0 | 0 | 0 |2491k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1782.37/1782.37 c 1746s| 2750k| 1243k| 0 | 0.0 |1601M|1035 | - |1939 | 10k| 0 | 0 | 0 |2501k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1789.97/1789.92 c 1753s| 2760k| 1246k| 0 | 0.0 |1606M|1035 | - |1939 | 10k| 0 | 0 | 0 |2512k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1797.38/1797.38 c 1760s| 2770k| 1249k| 0 | 0.0 |1611M|1035 | - |1939 | 11k| 0 | 0 | 0 |2522k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1800.07/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.00 c
1800.07/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.00 c Solving Time (sec) : 1762.97
1800.07/1800.00 c Solving Nodes : 2773802
1800.07/1800.00 c Primal Bound : +3.00000000000000e+00 (27 solutions)
1800.07/1800.00 c Dual Bound : +0.00000000000000e+00
1800.07/1800.00 c Gap : infinite
1800.07/1800.01 s SATISFIABLE
1800.07/1800.01 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 -x211 x210
1800.07/1800.01 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.07/1800.01 v -x188 x187 -x186 -x185 -x184 -x183 -x182 x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.07/1800.01 v -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.07/1800.01 v -x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 x128 -x127 -x126 -x125
1800.07/1800.01 v -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 -x105 -x104
1800.07/1800.01 v -x103 -x102 -x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 x80
1800.07/1800.01 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 x56 -x55 -x54
1800.07/1800.01 v -x53 x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.07/1800.01 v -x28 -x27 x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 x14 -x13 -x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
1800.07/1800.01 v -x1
1800.07/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.01 c Solving Time : 1762.97
1800.07/1800.01 c Original Problem :
1800.07/1800.01 c Problem name : HOME/instance-2694026-1277900463.wbo
1800.07/1800.01 c Variables : 2043 (1137 binary, 0 integer, 0 implicit integer, 906 continuous)
1800.07/1800.01 c Constraints : 3614 initial, 3614 maximal
1800.07/1800.01 c Presolved Problem :
1800.07/1800.01 c Problem name : t_HOME/instance-2694026-1277900463.wbo
1800.07/1800.01 c Variables : 1939 (1085 binary, 0 integer, 0 implicit integer, 854 continuous)
1800.07/1800.01 c Constraints : 3449 initial, 28981 maximal
1800.07/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.01 c trivial : 0.00 52 0 0 0 0 0 0 0
1800.07/1800.01 c dualfix : 0.00 52 0 0 0 0 0 0 0
1800.07/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.01 c probing : 0.03 0 0 0 0 0 0 0 0
1800.07/1800.01 c indicator : 0.00 0 0 0 0 0 52 0 0
1800.07/1800.01 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.01 c linear : 0.06 0 0 0 906 0 113 52 0
1800.07/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.01 c root node : - 833 - - 1666 - - - -
1800.07/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.01 c integral : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.01 c indicator : 854 0 5255658 0 1570197 182 1495617 0 0 0
1800.07/1800.01 c knapsack : 1 0 8687351 0 2233472 225752 24478778 0 0 0
1800.07/1800.01 c setppc : 14 0 8495308 0 2233444 102377 6699627 0 0 0
1800.07/1800.01 c linear : 854 0 8393666 0 2233619 213738 11642557 0 0 0
1800.07/1800.01 c logicor : 1726+ 0 6399063 0 2233641 318907 17528797 0 0 0
1800.07/1800.01 c bounddisjunction : 0+ 0 50536 0 0 0 45 0 0 0
1800.07/1800.01 c countsols : 0 0 0 0 2233633 0 0 0 0 0
1800.07/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.01 c integral : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.01 c indicator : 8.60 0.00 4.21 0.00 4.39
1800.07/1800.01 c knapsack : 100.62 0.00 96.46 0.00 4.16
1800.07/1800.01 c setppc : 35.34 0.00 31.04 0.00 4.30
1800.07/1800.01 c linear : 146.09 0.00 144.61 0.00 1.48
1800.07/1800.01 c logicor : 551.39 0.00 437.60 0.00 113.79
1800.07/1800.01 c bounddisjunction : 0.09 0.00 0.09 0.00 0.00
1800.07/1800.01 c countsols : 0.47 0.00 0.00 0.00 0.47
1800.07/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.01 c vbounds : 2.04 2 0 0
1800.07/1800.01 c rootredcost : 2.00 0 0 0
1800.07/1800.01 c pseudoobj : 160.18 8723289 1402 1485439
1800.07/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.01 c propagation : 29.35 862176 862157 4032502 19.6 149848 10.7 -
1800.07/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.01 c pseudo solution : 0.01 60 60 236 21.8 47 9.1 -
1800.07/1800.01 c applied globally : - - - 2525717 17.6 - - -
1800.07/1800.01 c applied locally : - - - 23 133.2 - - -
1800.07/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.07/1800.01 c redcost : 0.00 0 0 0 0 0
1800.07/1800.01 c impliedbounds : 0.00 0 0 0 0 0
1800.07/1800.01 c intobj : 0.00 0 0 0 0 0
1800.07/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.01 c gomory : 0.00 0 0 0 0 0
1800.07/1800.01 c strongcg : 0.00 0 0 0 0 0
1800.07/1800.01 c cmir : 0.00 0 0 0 0 0
1800.07/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.07/1800.01 c clique : 0.00 0 0 0 0 0
1800.07/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.01 c mcf : 0.00 0 0 0 0 0
1800.07/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.01 c Pricers : Time Calls Vars
1800.07/1800.01 c problem variables: 0.00 0 0
1800.07/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.01 c relpscost : 0.00 0 0 0 0 0 0
1800.07/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.01 c inference : 33.16 2233606 0 0 0 0 4467212
1800.07/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.01 c random : 0.00 0 0 0 0 0 0
1800.07/1800.01 c Primal Heuristics : Time Calls Found
1800.07/1800.01 c LP solutions : 0.00 - 0
1800.07/1800.01 c pseudo solutions : 0.06 - 27
1800.07/1800.01 c oneopt : 1.02 0 0
1800.07/1800.01 c trivial : 0.01 2 0
1800.07/1800.01 c simplerounding : 0.00 0 0
1800.07/1800.01 c zirounding : 0.00 0 0
1800.07/1800.01 c rounding : 0.00 0 0
1800.07/1800.01 c shifting : 0.00 0 0
1800.07/1800.01 c intshifting : 0.00 0 0
1800.07/1800.01 c twoopt : 0.00 0 0
1800.07/1800.01 c fixandinfer : 0.00 0 0
1800.07/1800.01 c feaspump : 0.00 0 0
1800.07/1800.01 c coefdiving : 0.00 0 0
1800.07/1800.01 c pscostdiving : 0.00 0 0
1800.07/1800.01 c fracdiving : 0.00 0 0
1800.07/1800.01 c veclendiving : 0.00 0 0
1800.07/1800.01 c intdiving : 0.00 0 0
1800.07/1800.01 c actconsdiving : 0.00 0 0
1800.07/1800.01 c objpscostdiving : 0.00 0 0
1800.07/1800.01 c rootsoldiving : 0.00 0 0
1800.07/1800.01 c linesearchdiving : 0.00 0 0
1800.07/1800.01 c guideddiving : 0.00 0 0
1800.07/1800.01 c octane : 0.00 0 0
1800.07/1800.01 c rens : 0.00 0 0
1800.07/1800.01 c rins : 0.00 0 0
1800.07/1800.01 c localbranching : 0.00 0 0
1800.07/1800.01 c mutation : 0.00 0 0
1800.07/1800.01 c crossover : 0.00 0 0
1800.07/1800.01 c dins : 0.00 0 0
1800.07/1800.01 c undercover : 0.00 0 0
1800.07/1800.01 c nlp : 0.79 0 0
1800.07/1800.01 c trysol : 0.64 1 0
1800.07/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.01 c dual LP : 0.00 0 0 0.00 -
1800.07/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.01 c strong branching : 0.00 0 0 0.00 -
1800.07/1800.01 c (at root node) : - 0 0 0.00 -
1800.07/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.01 c B&B Tree :
1800.07/1800.01 c number of runs : 1
1800.07/1800.01 c nodes : 2773802
1800.07/1800.01 c nodes (total) : 2773802
1800.07/1800.01 c nodes left : 1250699
1800.07/1800.01 c max depth : 1035
1800.07/1800.01 c max depth (total): 1035
1800.07/1800.01 c backtracks : 508719 (18.3%)
1800.07/1800.01 c delayed cutoffs : 428044
1800.07/1800.01 c repropagations : 1865972 (19032671 domain reductions, 322249 cutoffs)
1800.07/1800.01 c avg switch length: 22.72
1800.07/1800.01 c switching time : 533.72
1800.07/1800.01 c Solution :
1800.07/1800.01 c Solutions found : 27 (27 improvements)
1800.07/1800.01 c First Solution : +4.93000000000000e+02 (in run 1, after 3825 nodes, 0.96 seconds, depth 287, found by <relaxation>)
1800.07/1800.01 c Primal Bound : +3.00000000000000e+00 (in run 1, after 336399 nodes, 126.44 seconds, depth 478, found by <relaxation>)
1800.07/1800.01 c Dual Bound : +0.00000000000000e+00
1800.07/1800.01 c Gap : infinite
1800.07/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.01 c Root Iterations : 0
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694026-1277900463/watcher-2694026-1277900463 -o /tmp/evaluation-result-2694026-1277900463/solver-2694026-1277900463 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694026-1277900463.wbo -t 1800 -m 3800 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.94 1.97 1.99 4/178 14023 /proc/meminfo: memFree=30985108/32950928 swapFree=67111528/67111528 [pid=14023] ppid=14021 vsize=8156 CPUtime=0 /proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13737 0 -1 4202496 1543 0 0 0 0 0 0 0 25 0 1 0 131341218 8351744 1466 4089446400 4194304 7136930 140734727499360 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/14023/statm: 2074 1466 275 719 0 1353 0 [startup+0.03951 s] /proc/loadavg: 1.94 1.97 1.99 4/178 14023 /proc/meminfo: memFree=30985108/32950928 swapFree=67111528/67111528 [pid=14023] ppid=14021 vsize=21044 CPUtime=0.03 /proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13737 0 -1 4202496 4881 0 0 0 3 0 0 0 25 0 1 0 131341218 21549056 4450 4089446400 4194304 7136930 140734727499360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14023/statm: 5261 4457 330 719 0 4540 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 21044 [startup+0.100493 s] /proc/loadavg: 1.94 1.97 1.99 4/178 14023 /proc/meminfo: memFree=30985108/32950928 swapFree=67111528/67111528 [pid=14023] ppid=14021 vsize=23104 CPUtime=0.09 /proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13737 0 -1 4202496 8249 0 0 0 8 1 0 0 25 0 1 0 131341218 23658496 4991 4089446400 4194304 7136930 140734727499360 18446744073709551615 6346856 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14023/statm: 5776 5023 368 719 0 5055 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23104 [startup+0.300457 s] /proc/loadavg: 1.94 1.97 1.99 4/178 14023 /proc/meminfo: memFree=30985108/32950928 swapFree=67111528/67111528 [pid=14023] ppid=14021 vsize=24212 CPUtime=0.29 /proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13737 0 -1 4202496 9103 0 0 0 28 1 0 0 25 0 1 0 131341218 24793088 5331 4089446400 4194304 7136930 140734727499360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14023/statm: 6053 5331 399 719 0 5332 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24212 [startup+0.700378 s] /proc/loadavg: 1.94 1.97 1.99 4/178 14023 /proc/meminfo: memFree=30985108/32950928 swapFree=67111528/67111528 [pid=14023] ppid=14021 vsize=26124 CPUtime=0.69 /proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13737 0 -1 4202496 9592 0 0 0 66 3 0 0 25 0 1 0 131341218 26750976 5820 4089446400 4194304 7136930 140734727499360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14023/statm: 6531 5820 404 719 0 5810 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26124 [startup+1.50022 s] /proc/loadavg: 1.94 1.97 1.99 3/179 14024 /proc/meminfo: memFree=30959928/32950928 swapFree=67111528/67111528 [pid=14023] ppid=14021 vsize=28436 CPUtime=1.49 /proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13737 0 -1 4202496 10168 0 0 0 144 5 0 0 25 0 1 0 131341218 29118464 6396 4089446400 4194304 7136930 140734727499360 18446744073709551615 4209195 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14023/statm: 7109 6396 405 719 0 6388 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28436 [startup+3.1009 s] /proc/loadavg: 1.94 1.97 1.99 3/179 14024 /proc/meminfo: memFree=30954596/32950928 swapFree=67111528/67111528 [pid=14023] ppid=14021 vsize=34316 CPUtime=3.09 /proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13737 0 -1 4202496 11633 0 0 0 299 10 0 0 25 0 1 0 131341218 35139584 7861 4089446400 4194304 7136930 140734727499360 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14023/statm: 8579 7861 405 719 0 7858 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 34316 [startup+6.30027 s] /proc/loadavg: 1.95 1.97 1.99 3/179 14024 /proc/meminfo: memFree=30939376/32950928 swapFree=67111528/67111528 [pid=14023] ppid=14021 vsize=44340 CPUtime=6.29 /proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13737 0 -1 4202496 14157 0 0 0 609 20 0 0 25 0 1 0 131341218 45404160 10385 4089446400 4194304 7136930 140734727499360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14023/statm: 11085 10385 405 719 0 10364 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 44340 [startup+12.701 s] /proc/loadavg: 1.95 1.97 1.99 3/179 14024 /proc/meminfo: memFree=30909832/32950928 swapFree=67111528/67111528 [pid=14023] ppid=14021 vsize=64168 CPUtime=12.69 /proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13737 0 -1 4202496 19049 0 0 0 1230 39 0 0 25 0 1 0 131341218 65708032 15277 4089446400 4194304 7136930 140734727499360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14023/statm: 16042 15277 407 719 0 15321 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 64168 [startup+25.5005 s] /proc/loadavg: 1.96 1.97 1.99 3/179 14025 /proc/meminfo: memFree=30851444/32950928 swapFree=67111528/67111528 [pid=14023] ppid=14021 vsize=98656 CPUtime=25.5 /proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13737 0 -1 4202496 27672 0 0 0 2470 80 0 0 25 0 1 0 131341218 101023744 23900 4089446400 4194304 7136930 140734727499360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14023/statm: 24664 23900 407 719 0 23943 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 98656 [startup+51.1004 s] /proc/loadavg: 1.97 1.97 1.99 3/179 14026 /proc/meminfo: memFree=30765228/32950928 swapFree=67111528/67111528 [pid=14023] ppid=14021 vsize=158968 CPUtime=51.1 /proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13737 0 -1 4202496 42337 0 0 0 4963 147 0 0 25 0 1 0 131341218 162783232 38565 4089446400 4194304 7136930 140734727499360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14023/statm: 39742 38565 407 719 0 39021 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 158968 [startup+102.306 s] /proc/loadavg: 1.99 1.97 1.99 3/179 14027 /proc/meminfo: memFree=30619364/32950928 swapFree=67111528/67111528 [pid=14023] ppid=14021 vsize=269696 CPUtime=102.3 /proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13737 0 -1 4202496 68502 0 0 0 9940 290 0 0 25 0 1 0 131341218 276168704 64730 4089446400 4194304 7136930 140734727499360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14023/statm: 67424 64730 407 719 0 66703 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 269696 [startup+162.3 s] /proc/loadavg: 1.99 1.97 1.99 3/179 14028 /proc/meminfo: memFree=30429212/32950928 swapFree=67111528/67111528 [pid=14023] ppid=14021 vsize=382896 CPUtime=162.3 /proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13737 0 -1 4202496 95926 0 0 0 15752 478 0 0 25 0 1 0 131341218 392085504 92154 4089446400 4194304 7136930 140734727499360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14023/statm: 95724 92154 407 719 0 95003 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 382896 [startup+222.3 s] /proc/loadavg: 1.99 1.97 1.99 3/179 14030 /proc/meminfo: memFree=30262508/32950928 swapFree=67111528/67111528 [pid=14023] ppid=14021 vsize=468748 CPUtime=222.3 /proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13737 0 -1 4202496 117514 0 0 0 21619 611 0 0 25 0 1 0 131341218 479997952 113742 4089446400 4194304 7136930 140734727499360 18446744073709551615 5958362 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14023/statm: 117187 113742 407 719 0 116466 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 468748 [startup+282.3 s] /proc/loadavg: 2.06 1.99 1.99 3/179 14032 /proc/meminfo: memFree=30111428/32950928 swapFree=67111528/67111528 [pid=14023] ppid=14021 vsize=542352 CPUtime=282.3 /proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13737 0 -1 4202496 135998 0 0 0 27503 727 0 0 25 0 1 0 131341218 555368448 132226 4089446400 4194304 7136930 140734727499360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14023/statm: 135588 132226 407 719 0 134867 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 542352 [startup+342.3 s] /proc/loadavg: 2.02 1.99 1.99 3/179 14034 /proc/meminfo: memFree=29985768/32950928 swapFree=67111528/67111528 [pid=14023] ppid=14021 vsize=585960 CPUtime=342.31 /proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13737 0 -1 4202496 146857 0 0 0 33397 834 0 0 25 0 1 0 131341218 600023040 143085 4089446400 4194304 7136930 140734727499360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14023/statm: 146490 143085 407 719 0 145769 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 585960 [startup+402.3 s] /proc/loadavg: 2.01 1.99 1.99 3/179 14035 /proc/meminfo: memFree=29901516/32950928 swapFree=67111528/67111528 [pid=14023] ppid=14021 vsize=611456 CPUtime=402.31 /proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13737 0 -1 4202496 153229 0 0 0 39301 930 0 0 25 0 1 0 131341218 626130944 149457 4089446400 4194304 7136930 140734727499360 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14023/statm: 152864 149457 407 719 0 152143 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 611456 [startup+462.3 s] /proc/loadavg: 2.00 1.99 1.99 3/179 14036 /proc/meminfo: memFree=29774472/32950928 swapFree=67111528/67111528 [pid=14023] ppid=14021 vsize=702256 CPUtime=462.31 /proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13737 0 -1 4202496 174111 0 0 0 45146 1085 0 0 25 0 1 0 131341218 719110144 170339 4089446400 4194304 7136930 140734727499360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14023/statm: 175564 170339 407 719 0 174843 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 702256 [startup+522.3 s] /proc/loadavg: 2.00 1.99 1.99 3/179 14038 /proc/meminfo: memFree=29650168/32950928 swapFree=67111528/67111528 [pid=14023] ppid=14021 vsize=764956 CPUtime=522.32 /proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13737 0 -1 4202496 189836 0 0 0 51038 1194 0 0 25 0 1 0 131341218 783314944 186064 4089446400 4194304 7136930 140734727499360 18446744073709551615 4210324 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14023/statm: 191239 186064 407 719 0 190518 0 Current children cumulated CPU time (s) 522.32 Current children cumulated vsize (KiB) 764956 [startup+582.3 s] /proc/loadavg: 2.00 1.99 1.99 3/179 14040 /proc/meminfo: memFree=29551412/32950928 swapFree=67111528/67111528 [pid=14023] ppid=14021 vsize=837560 CPUtime=582.32 /proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13737 0 -1 4202496 206472 0 0 0 56921 1311 0 0 25 0 1 0 131341218 857661440 202700 4089446400 4194304 7136930 140734727499360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14023/statm: 209390 202700 407 719 0 208669 0 Current children cumulated CPU time (s) 582.32 Current children cumulated vsize (KiB) 837560 [startup+642.3 s] /proc/loadavg: 2.00 1.99 1.99 4/180 14045 /proc/meminfo: memFree=29402180/32950928 swapFree=67111528/67111528 [pid=14023] ppid=14021 vsize=928900 CPUtime=642.33 /proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13737 0 -1 4202496 228918 0 0 0 62779 1454 0 0 25 0 1 0 131341218 951193600 225146 4089446400 4194304 7136930 140734727499360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14023/statm: 232225 225146 407 719 0 231504 0 Current children cumulated CPU time (s) 642.33 Current children cumulated vsize (KiB) 928900 [startup+702.301 s] ################ # More data... # ################ /proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13737 0 -1 4202496 324012 0 0 0 97972 2262 0 0 25 0 1 0 131341218 1343418368 320240 4089446400 4194304 7136930 140734727499360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14023/statm: 327983 320240 407 719 0 327262 0 Current children cumulated CPU time (s) 1002.34 Current children cumulated vsize (KiB) 1311932 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14055 /proc/meminfo: memFree=28910912/32950928 swapFree=67111528/67111528 [pid=14023] ppid=14021 vsize=1398724 CPUtime=1062.34 /proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13737 0 -1 4202496 341667 0 0 0 103821 2413 0 0 25 0 1 0 131341218 1432293376 337895 4089446400 4194304 7136930 140734727499360 18446744073709551615 4209110 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14023/statm: 349681 337895 407 719 0 348960 0 Current children cumulated CPU time (s) 1062.34 Current children cumulated vsize (KiB) 1398724 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14057 /proc/meminfo: memFree=28781896/32950928 swapFree=67111528/67111528 [pid=14023] ppid=14021 vsize=1471204 CPUtime=1122.35 /proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13737 0 -1 4202496 360070 0 0 0 109664 2571 0 0 25 0 1 0 131341218 1506512896 356298 4089446400 4194304 7136930 140734727499360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14023/statm: 367801 356298 407 719 0 367080 0 Current children cumulated CPU time (s) 1122.35 Current children cumulated vsize (KiB) 1471204 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14059 /proc/meminfo: memFree=28686600/32950928 swapFree=67111528/67111528 [pid=14023] ppid=14021 vsize=1510344 CPUtime=1182.34 /proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13737 0 -1 4202496 369980 0 0 0 115576 2658 0 0 25 0 1 0 131341218 1546592256 366208 4089446400 4194304 7136930 140734727499360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14023/statm: 377586 366208 407 719 0 376865 0 Current children cumulated CPU time (s) 1182.34 Current children cumulated vsize (KiB) 1510344 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14061 /proc/meminfo: memFree=28615488/32950928 swapFree=67111528/67111528 [pid=14023] ppid=14021 vsize=1535248 CPUtime=1242.34 /proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13737 0 -1 4202496 376298 0 0 0 121493 2741 0 0 25 0 1 0 131341218 1572093952 372526 4089446400 4194304 7136930 140734727499360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14023/statm: 383812 372526 407 719 0 383091 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 1535248 [startup+1302.3 s] /proc/loadavg: 2.06 2.01 2.00 3/179 14062 /proc/meminfo: memFree=28540172/32950928 swapFree=67111528/67111528 [pid=14023] ppid=14021 vsize=1561492 CPUtime=1302.35 /proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13737 0 -1 4202496 382904 0 0 0 127417 2818 0 0 25 0 1 0 131341218 1598967808 379132 4089446400 4194304 7136930 140734727499360 18446744073709551615 6123181 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14023/statm: 390373 379132 407 719 0 389652 0 Current children cumulated CPU time (s) 1302.35 Current children cumulated vsize (KiB) 1561492 [startup+1362.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 14063 /proc/meminfo: memFree=28489160/32950928 swapFree=67111528/67111528 [pid=14023] ppid=14021 vsize=1575088 CPUtime=1362.35 /proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13737 0 -1 4202496 386171 0 0 0 133343 2892 0 0 25 0 1 0 131341218 1612890112 382399 4089446400 4194304 7136930 140734727499360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14023/statm: 393772 382399 407 719 0 393051 0 Current children cumulated CPU time (s) 1362.35 Current children cumulated vsize (KiB) 1575088 [startup+1422.31 s] /proc/loadavg: 2.05 2.02 2.00 3/179 14065 /proc/meminfo: memFree=28462972/32950928 swapFree=67111528/67111528 [pid=14023] ppid=14021 vsize=1575088 CPUtime=1422.36 /proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13737 0 -1 4202496 386184 0 0 0 139276 2960 0 0 25 0 1 0 131341218 1612890112 382412 4089446400 4194304 7136930 140734727499360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14023/statm: 393772 382412 407 719 0 393051 0 Current children cumulated CPU time (s) 1422.36 Current children cumulated vsize (KiB) 1575088 [startup+1482.3 s] /proc/loadavg: 2.06 2.03 2.00 3/179 14067 /proc/meminfo: memFree=28448552/32950928 swapFree=67111528/67111528 [pid=14023] ppid=14021 vsize=1575812 CPUtime=1482.35 /proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13737 0 -1 4202496 386343 0 0 0 145208 3027 0 0 25 0 1 0 131341218 1613631488 382571 4089446400 4194304 7136930 140734727499360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14023/statm: 393953 382571 407 719 0 393232 0 Current children cumulated CPU time (s) 1482.35 Current children cumulated vsize (KiB) 1575812 [startup+1542.3 s] /proc/loadavg: 2.02 2.02 2.00 3/179 14069 /proc/meminfo: memFree=28390720/32950928 swapFree=67111528/67111528 [pid=14023] ppid=14021 vsize=1578504 CPUtime=1542.36 /proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13737 0 -1 4202496 387032 0 0 0 151127 3109 0 0 25 0 1 0 131341218 1616388096 383260 4089446400 4194304 7136930 140734727499360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14023/statm: 394626 383260 407 719 0 393905 0 Current children cumulated CPU time (s) 1542.36 Current children cumulated vsize (KiB) 1578504 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/179 14070 /proc/meminfo: memFree=28325820/32950928 swapFree=67111528/67111528 [pid=14023] ppid=14021 vsize=1602500 CPUtime=1602.36 /proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13737 0 -1 4202496 393118 0 0 0 156962 3274 0 0 25 0 1 0 131341218 1640960000 389346 4089446400 4194304 7136930 140734727499360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14023/statm: 400625 389346 407 719 0 399904 0 Current children cumulated CPU time (s) 1602.36 Current children cumulated vsize (KiB) 1602500 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 14071 /proc/meminfo: memFree=28229908/32950928 swapFree=67111528/67111528 [pid=14023] ppid=14021 vsize=1661012 CPUtime=1662.37 /proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13737 0 -1 4202496 407913 0 0 0 162816 3421 0 0 25 0 1 0 131341218 1700876288 404141 4089446400 4194304 7136930 140734727499360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14023/statm: 415253 404141 407 719 0 414532 0 Current children cumulated CPU time (s) 1662.37 Current children cumulated vsize (KiB) 1661012 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14101 /proc/meminfo: memFree=29510300/32950928 swapFree=67111528/67111528 [pid=14023] ppid=14021 vsize=1717144 CPUtime=1722.37 /proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13737 0 -1 4202496 422091 0 0 0 168683 3554 0 0 25 0 1 0 131341218 1758355456 418319 4089446400 4194304 7136930 140734727499360 18446744073709551615 4223082 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14023/statm: 429286 418319 407 719 0 428565 0 Current children cumulated CPU time (s) 1722.37 Current children cumulated vsize (KiB) 1717144 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14103 /proc/meminfo: memFree=29292372/32950928 swapFree=67111528/67111528 [pid=14023] ppid=14021 vsize=1761704 CPUtime=1782.37 /proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13737 0 -1 4202496 433399 0 0 0 174561 3676 0 0 25 0 1 0 131341218 1803984896 429627 4089446400 4194304 7136930 140734727499360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14023/statm: 440426 429627 407 719 0 439705 0 Current children cumulated CPU time (s) 1782.37 Current children cumulated vsize (KiB) 1761704 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.06 2.02 2.00 3/179 14130 /proc/meminfo: memFree=29522676/32950928 swapFree=67111528/67111528 [pid=14023] ppid=14021 vsize=1767632 CPUtime=1800.07 /proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13737 0 -1 4202496 434937 0 0 0 176298 3709 0 0 25 0 1 0 131341218 1810055168 431165 4089446400 4194304 7136930 140734727499360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14023/statm: 441908 431165 407 719 0 441187 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1767632 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -14023 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.06 2.02 2.00 3/180 14131 /proc/meminfo: memFree=29519576/32950928 swapFree=67111528/67111528 [pid=14023] ppid=14021 vsize=1767632 CPUtime=1801.47 /proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13737 0 -1 4202496 434946 0 0 0 176438 3709 0 0 25 0 1 0 131341218 1810055168 431174 4089446400 4194304 7136930 140734727499360 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/14023/statm: 441908 431174 412 719 0 441187 0 Current children cumulated CPU time (s) 1801.47 Current children cumulated vsize (KiB) 1767632 [startup+1801.81 s] /proc/loadavg: 2.06 2.02 2.00 3/180 14131 /proc/meminfo: memFree=29516476/32950928 swapFree=67111528/67111528 [pid=14023] ppid=14021 vsize=1767632 CPUtime=1801.87 /proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13737 0 -1 4202496 434946 0 0 0 176478 3709 0 0 25 0 1 0 131341218 1810055168 431174 4089446400 4194304 7136930 140734727499360 18446744073709551615 4212430 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/14023/statm: 441908 431174 412 719 0 441187 0 Current children cumulated CPU time (s) 1801.87 Current children cumulated vsize (KiB) 1767632 [startup+1802 s] /proc/loadavg: 2.06 2.02 2.00 3/180 14131 /proc/meminfo: memFree=29516476/32950928 swapFree=67111528/67111528 [pid=14023] ppid=14021 vsize=1767116 CPUtime=1802.07 /proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13737 0 -1 4202496 434946 0 0 0 176498 3709 0 0 25 0 1 0 131341218 1809526784 431045 4089446400 4194304 7136930 140734727499360 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/14023/statm: 441779 431045 412 719 0 441058 0 Current children cumulated CPU time (s) 1802.07 Current children cumulated vsize (KiB) 1767116 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.06 CPU time (s): 1802.14 CPU user time (s): 1764.99 CPU system time (s): 37.1544 CPU usage (%): 100.005 Max. virtual memory (cumulated for all children) (KiB): 1767632 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1764.99 system time used= 37.1544 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 434946 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= 1 involuntary context switches= 13454 runsolver used 2.54461 second user time and 5.74913 second system time The end
Begin job on node149 at 2010-06-30 14:21:03 IDJOB=2694026 IDBENCH=78882 IDSOLVER=1206 FILE ID=node149/2694026-1277900463 PBS_JOBID= 11197207 Free space on /tmp= 74208 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900545610--soft-66-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2694026-1277900463/watcher-2694026-1277900463 -o /tmp/evaluation-result-2694026-1277900463/solver-2694026-1277900463 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694026-1277900463.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 75e2f830e9a185ffa43de126e90d54da RANDOM SEED=1216169275 node149.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30985636 kB Buffers: 188448 kB Cached: 1270192 kB SwapCached: 0 kB Active: 807156 kB Inactive: 1011632 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30985636 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3164 kB Writeback: 0 kB AnonPages: 360736 kB Mapped: 16128 kB Slab: 81868 kB PageTables: 5016 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 520192 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node149 at 2010-06-30 14:51:05