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.07 | 1802.06 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900563250--soft-66-100-0.wbo |
| MD5SUM | 48850acf7a795604147e976fcd80db7d |
| 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 | 336.106 |
| 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 | 892 |
| 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 | 45060 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 45059 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 665 |
| 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-2694115-1277906197.wbo>
0.00/0.02 c original problem has 2015 variables (1123 bin, 0 int, 0 impl, 892 cont) and 3600 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.04 c presolving:
0.00/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 13 clqs
0.00/0.07 c (round 2) 0 del vars, 107 del conss, 892 chg bounds, 48 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 13 clqs
0.00/0.09 c (round 3) 48 del vars, 233 del conss, 913 chg bounds, 126 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 13 clqs
0.09/0.10 c (round 4) 117 del vars, 255 del conss, 914 chg bounds, 127 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 13 clqs
0.09/0.11 c (round 5) 139 del vars, 256 del conss, 914 chg bounds, 127 chg sides, 0 chg coeffs, 1700 upgd conss, 1100 impls, 13 clqs
0.09/0.12 c (round 6) 140 del vars, 256 del conss, 914 chg bounds, 127 chg sides, 0 chg coeffs, 1700 upgd conss, 1100 impls, 13 clqs
0.09/0.16 c (0.1s) probing: 101/1053 (9.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.16 c presolving (7 rounds):
0.09/0.16 c 140 deleted vars, 256 deleted constraints, 914 tightened bounds, 0 added holes, 127 changed sides, 0 changed coefficients
0.09/0.16 c 1100 implications, 13 cliques
0.09/0.16 c presolved problem has 1875 variables (1053 bin, 0 int, 0 impl, 822 cont) and 3344 constraints
0.09/0.16 c 822 constraints of type <indicator>
0.09/0.16 c 13 constraints of type <setppc>
0.09/0.16 c 822 constraints of type <linear>
0.09/0.16 c 1687 constraints of type <logicor>
0.09/0.16 c transformed objective value is always integral (scale: 1)
0.09/0.16 c Presolving Time: 0.11
0.09/0.16 c - non default parameters ----------------------------------------------------------------------
0.09/0.16 c # SCIP version 1.2.1.2
0.09/0.16 c
0.09/0.16 c # frequency for displaying node information lines
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16 c display/freq = 10000
0.09/0.16 c
0.09/0.16 c # maximal time in seconds to run
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/time = 1799.98
0.09/0.16 c
0.09/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/memory = 3420
0.09/0.16 c
0.09/0.16 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.16 c lp/solvefreq = -1
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify inequalities
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/linear/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify knapsacks
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16 c separating/rapidlearning/freq = 0
0.09/0.16 c
0.09/0.16 c -----------------------------------------------------------------------------------------------
0.09/0.16 c start solving
0.09/0.16 c
0.09/0.17 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.17 c 0.1s| 1 | 2 | 0 | - |7400k| 0 | - |1875 |3344 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.78/0.81 o 547
0.78/0.81 c * 0.7s| 3082 | 2758 | 0 | 0.0 |9309k|1008 | - |1875 |3671 | 0 | 0 | 0 | 381 | 0 | 0.000000e+00 | 5.470000e+02 | Inf
0.78/0.85 o 503
0.78/0.85 c * 0.8s| 3204 | 2876 | 0 | 0.0 |9383k|1008 | - |1875 |3676 | 0 | 0 | 0 | 386 | 0 | 0.000000e+00 | 5.030000e+02 | Inf
0.78/0.85 o 494
0.78/0.85 c * 0.8s| 3223 | 2880 | 0 | 0.0 |9486k|1008 | - |1875 |3683 | 0 | 0 | 0 | 393 | 0 | 0.000000e+00 | 4.940000e+02 | Inf
2.48/2.51 c 2.2s| 10000 | 8791 | 0 | 0.0 | 14M|1008 | - |1875 |4442 | 0 | 0 | 0 |2918 | 0 | 0.000000e+00 | 4.940000e+02 | Inf
5.09/5.11 c 4.6s| 20000 | 16654 | 0 | 0.0 | 20M|1008 | - |1875 |4916 | 0 | 0 | 0 |7467 | 0 | 0.000000e+00 | 4.940000e+02 | Inf
6.28/6.33 o 450
6.28/6.33 c * 5.8s| 23178 | 18088 | 0 | 0.0 | 22M|1008 | - |1875 |6027 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 4.500000e+02 | Inf
6.28/6.36 o 397
6.28/6.36 c * 5.8s| 23281 | 18160 | 0 | 0.0 | 22M|1008 | - |1875 |5996 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 3.970000e+02 | Inf
6.28/6.36 o 377
6.28/6.36 c * 5.8s| 23282 | 18156 | 0 | 0.0 | 22M|1008 | - |1875 |5996 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 3.770000e+02 | Inf
6.39/6.41 o 359
6.39/6.41 c * 5.8s| 23414 | 18272 | 0 | 0.0 | 22M|1008 | - |1875 |5962 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 3.590000e+02 | Inf
6.39/6.41 o 349
6.39/6.41 c * 5.8s| 23415 | 18270 | 0 | 0.0 | 22M|1008 | - |1875 |5962 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 3.490000e+02 | Inf
6.49/6.60 o 347
6.49/6.60 c * 6.0s| 24041 | 18873 | 0 | 0.0 | 23M|1008 | - |1875 |5687 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 3.470000e+02 | Inf
6.79/6.85 o 342
6.79/6.85 c * 6.2s| 24816 | 19587 | 0 | 0.0 | 23M|1008 | - |1875 |5271 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 3.420000e+02 | Inf
6.79/6.85 o 338
6.79/6.85 c * 6.2s| 24817 | 19576 | 0 | 0.0 | 23M|1008 | - |1875 |5271 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 3.380000e+02 | Inf
6.79/6.89 o 313
6.79/6.89 c * 6.3s| 24935 | 19607 | 0 | 0.0 | 23M|1008 | - |1875 |5247 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 3.130000e+02 | Inf
6.88/6.99 o 251
6.88/6.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.88/6.99 c * 6.4s| 25234 | 19690 | 0 | 0.0 | 23M|1008 | - |1875 |5206 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 2.510000e+02 | Inf
7.09/7.10 o 221
7.09/7.10 c * 6.5s| 25609 | 19987 | 0 | 0.0 | 23M|1008 | - |1875 |5237 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
7.09/7.13 o 215
7.09/7.13 c * 6.5s| 25700 | 20070 | 0 | 0.0 | 23M|1008 | - |1875 |5234 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 2.150000e+02 | Inf
7.29/7.31 o 185
7.29/7.31 c * 6.7s| 26264 | 20480 | 0 | 0.0 | 23M|1008 | - |1875 |5172 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.850000e+02 | Inf
7.48/7.51 o 173
7.48/7.51 c * 6.9s| 26821 | 20986 | 0 | 0.0 | 24M|1008 | - |1875 |4901 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.730000e+02 | Inf
7.48/7.56 o 163
7.48/7.56 c * 6.9s| 26960 | 21086 | 0 | 0.0 | 24M|1008 | - |1875 |4842 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.630000e+02 | Inf
7.58/7.62 o 154
7.58/7.62 c * 7.0s| 27120 | 21153 | 0 | 0.0 | 24M|1008 | - |1875 |4765 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.540000e+02 | Inf
7.58/7.64 o 109
7.58/7.64 c * 7.0s| 27184 | 21049 | 0 | 0.0 | 24M|1008 | - |1875 |4736 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.090000e+02 | Inf
7.58/7.69 o 103
7.58/7.69 c * 7.0s| 27298 | 21106 | 0 | 0.0 | 24M|1008 | - |1875 |4741 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
7.88/7.92 o 50
7.88/7.92 c * 7.2s| 27918 | 20355 | 0 | 0.0 | 24M|1008 | - |1875 |4807 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
8.49/8.53 c 7.8s| 30000 | 22181 | 0 | 0.0 | 26M|1008 | - |1875 |4916 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
11.29/11.38 c 10.4s| 40000 | 30651 | 0 | 0.0 | 35M|1008 | - |1875 |5797 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
14.29/14.33 c 13.1s| 50000 | 38666 | 0 | 0.0 | 42M|1008 | - |1875 |5770 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
17.29/17.30 c 15.8s| 60000 | 46749 | 0 | 0.0 | 48M|1008 | - |1875 |5972 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
20.19/20.23 c 18.5s| 70000 | 54859 | 0 | 0.0 | 55M|1008 | - |1875 |6174 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
23.28/23.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.28/23.35 c 21.3s| 80000 | 62603 | 0 | 0.0 | 61M|1008 | - |1875 |6522 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
26.39/26.44 c 24.2s| 90000 | 70261 | 0 | 0.0 | 67M|1008 | - |1875 |6484 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
29.59/29.67 c 27.2s|100000 | 77778 | 0 | 0.0 | 73M|1008 | - |1875 |6856 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
33.09/33.17 c 30.4s|110000 | 84997 | 0 | 0.0 | 79M|1008 | - |1875 |6848 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
36.68/36.75 c 33.8s|120000 | 92016 | 0 | 0.0 | 86M|1008 | - |1875 |6926 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
40.49/40.55 c 37.3s|130000 | 98747 | 0 | 0.0 | 93M|1008 | - |1875 |7568 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
44.29/44.32 c 40.8s|140000 |105558 | 0 | 0.0 | 99M|1008 | - |1875 |7904 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
48.29/48.38 c 44.6s|150000 |112044 | 0 | 0.0 | 106M|1008 | - |1875 |7975 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
52.69/52.78 c 48.7s|160000 |118100 | 0 | 0.0 | 113M|1008 | - |1875 |8357 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
57.49/57.57 c 53.2s|170000 |123691 | 0 | 0.0 | 120M|1008 | - |1875 |8421 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
63.18/63.24 c 58.6s|180000 |128272 | 0 | 0.0 | 127M|1008 | - |1875 |9069 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
70.19/70.22 c 65.2s|190000 |131542 | 0 | 0.0 | 133M|1008 | - |1875 |8508 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
73.69/73.73 c 68.5s|200000 |140220 | 0 | 0.0 | 141M|1008 | - |1875 |5657 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
76.68/76.78 o 33
76.68/76.78 c *71.3s|207187 |144295 | 0 | 0.0 | 145M|1008 | - |1875 |5120 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
78.09/78.20 c 72.6s|210000 |146129 | 0 | 0.0 | 148M|1008 | - |1875 |4930 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
79.19/79.29 o 26
79.19/79.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
79.19/79.29 c *73.6s|212911 |147852 | 0 | 0.0 | 148M|1008 | - |1875 |4137 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
81.69/81.71 c 75.8s|220000 |153676 | 0 | 0.0 | 154M|1008 | - |1875 |4472 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
85.69/85.78 c 79.6s|230000 |160805 | 0 | 0.0 | 162M|1008 | - |1875 |5602 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
88.79/88.84 c 82.4s|240000 |169206 | 0 | 0.0 | 169M|1008 | - |1875 |5505 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
92.59/92.68 c 85.9s|250000 |176350 | 0 | 0.0 | 176M|1008 | - |1875 |5534 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
95.09/95.19 o 22
95.09/95.19 c *88.2s|258158 |180818 | 0 | 0.0 | 177M|1008 | - |1875 |5511 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
95.09/95.20 o 17
95.09/95.20 c *88.2s|258159 |178308 | 0 | 0.0 | 172M|1008 | - |1875 |5511 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
95.69/95.78 c 88.7s|260000 |179840 | 0 | 0.0 | 173M|1008 | - |1875 |5751 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
98.89/98.93 c 91.5s|270000 |187831 | 0 | 0.0 | 180M|1008 | - |1875 |5820 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
102.79/102.81 c 95.1s|280000 |194411 | 0 | 0.0 | 187M|1008 | - |1875 |8420 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
105.89/105.91 c 97.9s|290000 |202549 | 0 | 0.0 | 192M|1008 | - |1875 |5851 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
109.18/109.29 c 101s|300000 |209970 | 0 | 0.0 | 198M|1008 | - |1875 |5195 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
112.69/112.74 c 104s|310000 |217068 | 0 | 0.0 | 205M|1008 | - |1875 |7309 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
115.39/115.49 c 107s|320000 |225671 | 0 | 0.0 | 210M|1008 | - |1875 |3864 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
118.39/118.46 c 109s|330000 |233088 | 0 | 0.0 | 216M|1008 | - |1875 |4804 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
121.58/121.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
121.58/121.62 c 112s|340000 |240324 | 0 | 0.0 | 223M|1008 | - |1875 |4746 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
124.78/124.85 c 115s|350000 |247402 | 0 | 0.0 | 230M|1008 | - |1875 |4989 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
128.08/128.19 c 118s|360000 |254360 | 0 | 0.0 | 237M|1008 | - |1875 |5109 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
131.38/131.46 c 121s|370000 |261421 | 0 | 0.0 | 244M|1008 | - |1875 |5043 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
134.68/134.78 c 124s|380000 |268449 | 0 | 0.0 | 251M|1008 | - |1875 |5140 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
137.88/137.97 c 127s|390000 |275614 | 0 | 0.0 | 257M|1008 | - |1875 |4707 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
141.18/141.28 c 130s|400000 |282615 | 0 | 0.0 | 265M|1008 | - |1875 |5026 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
144.58/144.69 c 133s|410000 |289505 | 0 | 0.0 | 272M|1008 | - |1875 |5276 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
148.09/148.19 c 136s|420000 |296204 | 0 | 0.0 | 279M|1008 | - |1875 |5496 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
151.58/151.61 c 140s|430000 |303104 | 0 | 0.0 | 285M|1008 | - |1875 |5188 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
155.19/155.28 c 143s|440000 |309509 | 0 | 0.0 | 292M|1008 | - |1875 |5483 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
158.79/158.89 c 146s|450000 |315937 | 0 | 0.0 | 299M|1008 | - |1875 |5787 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
162.59/162.65 c 150s|460000 |322347 | 0 | 0.0 | 306M|1008 | - |1875 |5482 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
166.38/166.43 c 153s|470000 |328595 | 0 | 0.0 | 313M|1008 | - |1875 |5995 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
170.19/170.26 c 157s|480000 |334817 | 0 | 0.0 | 320M|1008 | - |1875 |5274 | 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
174.08/174.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
174.08/174.14 c 160s|490000 |340896 | 0 | 0.0 | 327M|1008 | - |1875 |6084 | 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
178.09/178.18 c 164s|500000 |346757 | 0 | 0.0 | 333M|1008 | - |1875 |5561 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
182.38/182.43 c 168s|510000 |352341 | 0 | 0.0 | 340M|1008 | - |1875 |6085 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
186.79/186.81 c 172s|520000 |357714 | 0 | 0.0 | 347M|1008 | - |1875 |6360 | 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
191.09/191.13 c 176s|530000 |363275 | 0 | 0.0 | 354M|1008 | - |1875 |6252 | 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
195.58/195.61 c 180s|540000 |368494 | 0 | 0.0 | 361M|1008 | - |1875 |6542 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
200.08/200.11 c 184s|550000 |373741 | 0 | 0.0 | 367M|1008 | - |1875 |6420 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
204.99/205.01 c 189s|560000 |378429 | 0 | 0.0 | 374M|1008 | - |1875 |6601 | 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
209.59/209.68 c 193s|570000 |383492 | 0 | 0.0 | 380M|1008 | - |1875 |6299 | 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
214.49/214.53 c 198s|580000 |388260 | 0 | 0.0 | 387M|1008 | - |1875 |6680 | 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
219.39/219.48 c 203s|590000 |392925 | 0 | 0.0 | 393M|1008 | - |1875 |6875 | 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
224.09/224.18 c 207s|600000 |397945 | 0 | 0.0 | 400M|1008 | - |1875 |6508 | 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
229.08/229.18 c 212s|610000 |402458 | 0 | 0.0 | 406M|1008 | - |1875 |7262 | 0 | 0 | 0 | 426k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
233.99/234.07 c 216s|620000 |407233 | 0 | 0.0 | 412M|1008 | - |1875 |6525 | 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
239.09/239.14 c 221s|630000 |411616 | 0 | 0.0 | 419M|1008 | - |1875 |7353 | 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
243.89/243.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
243.89/243.97 c 225s|640000 |416449 | 0 | 0.0 | 425M|1008 | - |1875 |6267 | 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
248.99/249.05 c 230s|650000 |420868 | 0 | 0.0 | 431M|1008 | - |1875 |7309 | 0 | 0 | 0 | 467k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
253.99/254.04 c 235s|660000 |425386 | 0 | 0.0 | 437M|1008 | - |1875 |7075 | 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
258.99/259.06 c 240s|670000 |429941 | 0 | 0.0 | 443M|1008 | - |1875 |6995 | 0 | 0 | 0 | 487k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
264.29/264.30 c 245s|680000 |434002 | 0 | 0.0 | 450M|1008 | - |1875 |7995 | 0 | 0 | 0 | 498k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
269.50/269.53 c 249s|690000 |438312 | 0 | 0.0 | 456M|1008 | - |1875 |6964 | 0 | 0 | 0 | 508k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
275.09/275.12 c 255s|700000 |442022 | 0 | 0.0 | 462M|1008 | - |1875 |7673 | 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
280.50/280.58 c 260s|710000 |445850 | 0 | 0.0 | 468M|1008 | - |1875 |8038 | 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
285.99/286.04 c 265s|720000 |449822 | 0 | 0.0 | 474M|1008 | - |1875 |7738 | 0 | 0 | 0 | 542k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
292.09/292.13 c 271s|730000 |452934 | 0 | 0.0 | 480M|1008 | - |1875 |8070 | 0 | 0 | 0 | 555k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
297.99/298.04 c 276s|740000 |456230 | 0 | 0.0 | 486M|1008 | - |1875 |9043 | 0 | 0 | 0 | 568k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
303.89/303.92 c 282s|750000 |459787 | 0 | 0.0 | 492M|1008 | - |1875 |7729 | 0 | 0 | 0 | 580k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
310.09/310.18 c 288s|760000 |462890 | 0 | 0.0 | 498M|1008 | - |1875 |8407 | 0 | 0 | 0 | 593k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
316.69/316.76 c 294s|770000 |465504 | 0 | 0.0 | 504M|1008 | - |1875 |8664 | 0 | 0 | 0 | 607k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
323.19/323.21 c 300s|780000 |468211 | 0 | 0.0 | 510M|1008 | - |1875 |9181 | 0 | 0 | 0 | 621k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
329.89/329.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
329.89/329.90 c 306s|790000 |470781 | 0 | 0.0 | 516M|1008 | - |1875 |9575 | 0 | 0 | 0 | 636k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
336.89/336.98 c 313s|800000 |472948 | 0 | 0.0 | 522M|1008 | - |1875 | 10k| 0 | 0 | 0 | 651k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
344.09/344.13 c 320s|810000 |475077 | 0 | 0.0 | 528M|1008 | - |1875 |9990 | 0 | 0 | 0 | 666k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
351.59/351.63 c 327s|820000 |476829 | 0 | 0.0 | 533M|1008 | - |1875 |9389 | 0 | 0 | 0 | 682k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
359.89/359.97 c 335s|830000 |477625 | 0 | 0.0 | 538M|1008 | - |1875 | 11k| 0 | 0 | 0 | 699k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
368.60/368.66 c 343s|840000 |478243 | 0 | 0.0 | 543M|1008 | - |1875 | 12k| 0 | 0 | 0 | 718k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
378.50/378.51 c 353s|850000 |477780 | 0 | 0.0 | 547M|1008 | - |1875 | 13k| 0 | 0 | 0 | 738k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
391.00/391.04 c 365s|860000 |475259 | 0 | 0.0 | 549M|1008 | - |1875 | 17k| 0 | 0 | 0 | 761k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
394.29/394.35 c 368s|870000 |483379 | 0 | 0.0 | 550M|1008 | - |1875 |4464 | 0 | 0 | 0 | 765k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
397.19/397.27 c 371s|880000 |491530 | 0 | 0.0 | 558M|1008 | - |1875 |5283 | 0 | 0 | 0 | 768k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
400.30/400.32 c 373s|890000 |499574 | 0 | 0.0 | 565M|1008 | - |1875 |6108 | 0 | 0 | 0 | 771k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
403.49/403.58 c 376s|900000 |507293 | 0 | 0.0 | 572M|1008 | - |1875 |6733 | 0 | 0 | 0 | 775k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
406.59/406.60 o 10
406.59/406.60 c * 379s|909260 |509389 | 0 | 0.0 | 568M|1008 | - |1875 |7325 | 0 | 0 | 0 | 779k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
406.80/406.87 c 379s|910000 |509942 | 0 | 0.0 | 569M|1008 | - |1875 |7411 | 0 | 0 | 0 | 780k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
410.49/410.50 c 383s|920000 |517177 | 0 | 0.0 | 578M|1008 | - |1875 |8538 | 0 | 0 | 0 | 785k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
414.19/414.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
414.19/414.25 c 386s|930000 |524147 | 0 | 0.0 | 584M|1008 | - |1875 |9652 | 0 | 0 | 0 | 791k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
418.10/418.13 o 7
418.10/418.13 c * 390s|939234 |529548 | 0 | 0.0 | 589M|1008 | - |1875 | 10k| 0 | 0 | 0 | 797k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
418.49/418.51 c 390s|940000 |530010 | 0 | 0.0 | 590M|1008 | - |1875 | 10k| 0 | 0 | 0 | 798k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
423.29/423.36 c 394s|950000 |535938 | 0 | 0.0 | 598M|1008 | - |1875 | 12k| 0 | 0 | 0 | 806k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
426.90/426.99 o 6
426.90/426.99 c * 398s|956464 |539063 | 0 | 0.0 | 602M|1008 | - |1875 | 13k| 0 | 0 | 0 | 812k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
429.10/429.14 c 400s|960000 |540761 | 0 | 0.0 | 605M|1008 | - |1875 | 13k| 0 | 0 | 0 | 816k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
436.39/436.40 c 407s|970000 |544379 | 0 | 0.0 | 612M|1008 | - |1875 | 15k| 0 | 0 | 0 | 828k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
444.19/444.28 c 414s|980000 |547522 | 0 | 0.0 | 614M|1008 | - |1875 |8264 | 0 | 0 | 0 | 840k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
447.29/447.36 c 417s|990000 |555367 | 0 | 0.0 | 619M|1008 | - |1875 |6410 | 0 | 0 | 0 | 844k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
450.29/450.39 c 420s| 1000k|563168 | 0 | 0.0 | 625M|1008 | - |1875 |6934 | 0 | 0 | 0 | 848k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
453.50/453.56 c 423s| 1010k|570777 | 0 | 0.0 | 632M|1008 | - |1875 |7898 | 0 | 0 | 0 | 852k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
456.89/456.92 c 426s| 1020k|578172 | 0 | 0.0 | 638M|1008 | - |1875 |8860 | 0 | 0 | 0 | 857k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
460.49/460.50 c 429s| 1030k|585328 | 0 | 0.0 | 645M|1008 | - |1875 | 10k| 0 | 0 | 0 | 863k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
464.50/464.52 c 433s| 1040k|592044 | 0 | 0.0 | 651M|1008 | - |1875 | 11k| 0 | 0 | 0 | 869k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
468.80/468.84 c 437s| 1050k|598469 | 0 | 0.0 | 658M|1008 | - |1875 | 12k| 0 | 0 | 0 | 876k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
473.70/473.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
473.70/473.76 c 441s| 1060k|604336 | 0 | 0.0 | 665M|1008 | - |1875 | 14k| 0 | 0 | 0 | 884k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
479.70/479.74 c 447s| 1070k|609134 | 0 | 0.0 | 673M|1008 | - |1875 | 16k| 0 | 0 | 0 | 894k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
487.49/487.55 c 454s| 1080k|612551 | 0 | 0.0 | 679M|1008 | - |1875 | 18k| 0 | 0 | 0 | 907k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
495.39/495.43 c 462s| 1090k|616397 | 0 | 0.0 | 681M|1008 | - |1875 |8985 | 0 | 0 | 0 | 918k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
498.30/498.32 c 464s| 1100k|624464 | 0 | 0.0 | 687M|1008 | - |1875 |7819 | 0 | 0 | 0 | 922k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
501.30/501.32 c 467s| 1110k|632242 | 0 | 0.0 | 693M|1008 | - |1875 |8370 | 0 | 0 | 0 | 926k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
504.29/504.36 c 470s| 1120k|639950 | 0 | 0.0 | 699M|1008 | - |1875 |8974 | 0 | 0 | 0 | 930k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
507.59/507.63 c 473s| 1130k|647303 | 0 | 0.0 | 705M|1008 | - |1875 |9959 | 0 | 0 | 0 | 935k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
511.19/511.23 c 476s| 1140k|654380 | 0 | 0.0 | 712M|1008 | - |1875 | 11k| 0 | 0 | 0 | 941k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
515.20/515.20 c 480s| 1150k|661046 | 0 | 0.0 | 719M|1008 | - |1875 | 12k| 0 | 0 | 0 | 947k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
519.69/519.71 c 484s| 1160k|667168 | 0 | 0.0 | 726M|1008 | - |1875 | 13k| 0 | 0 | 0 | 955k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
524.70/524.77 c 489s| 1170k|672675 | 0 | 0.0 | 733M|1008 | - |1875 | 14k| 0 | 0 | 0 | 964k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
530.79/530.85 c 494s| 1180k|677276 | 0 | 0.0 | 740M|1008 | - |1875 | 17k| 0 | 0 | 0 | 974k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
538.60/538.61 c 502s| 1190k|680607 | 0 | 0.0 | 747M|1008 | - |1875 | 19k| 0 | 0 | 0 | 987k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
546.19/546.21 c 509s| 1200k|684922 | 0 | 0.0 | 749M|1008 | - |1875 | 11k| 0 | 0 | 0 | 997k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
549.29/549.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
549.29/549.38 c 512s| 1210k|693088 | 0 | 0.0 | 754M|1008 | - |1875 |6793 | 0 | 0 | 0 |1001k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
552.10/552.15 c 514s| 1220k|701150 | 0 | 0.0 | 760M|1008 | - |1875 |6923 | 0 | 0 | 0 |1004k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
554.90/554.90 c 517s| 1230k|709174 | 0 | 0.0 | 766M|1008 | - |1875 |7176 | 0 | 0 | 0 |1007k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
557.60/557.70 c 519s| 1240k|717074 | 0 | 0.0 | 772M|1008 | - |1875 |7436 | 0 | 0 | 0 |1010k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
560.50/560.55 c 522s| 1250k|724902 | 0 | 0.0 | 778M|1008 | - |1875 |7632 | 0 | 0 | 0 |1013k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
563.49/563.51 c 524s| 1260k|732531 | 0 | 0.0 | 784M|1008 | - |1875 |8070 | 0 | 0 | 0 |1017k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
566.60/566.60 c 527s| 1270k|740060 | 0 | 0.0 | 790M|1008 | - |1875 |8562 | 0 | 0 | 0 |1021k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
569.69/569.78 c 530s| 1280k|747474 | 0 | 0.0 | 796M|1008 | - |1875 |8886 | 0 | 0 | 0 |1025k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
573.10/573.10 c 533s| 1290k|754692 | 0 | 0.0 | 802M|1008 | - |1875 |9240 | 0 | 0 | 0 |1030k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
576.50/576.59 c 536s| 1300k|761701 | 0 | 0.0 | 809M|1008 | - |1875 |9449 | 0 | 0 | 0 |1035k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
580.10/580.19 c 539s| 1310k|768569 | 0 | 0.0 | 815M|1008 | - |1875 |9984 | 0 | 0 | 0 |1040k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
583.90/583.99 c 543s| 1320k|775210 | 0 | 0.0 | 821M|1008 | - |1875 | 10k| 0 | 0 | 0 |1046k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
588.40/588.41 c 547s| 1330k|781152 | 0 | 0.0 | 827M|1008 | - |1875 | 10k| 0 | 0 | 0 |1053k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
592.80/592.83 c 551s| 1340k|787055 | 0 | 0.0 | 834M|1008 | - |1875 | 11k| 0 | 0 | 0 |1060k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
597.59/597.63 c 555s| 1350k|792526 | 0 | 0.0 | 840M|1008 | - |1875 | 11k| 0 | 0 | 0 |1068k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
602.80/602.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
602.80/602.84 c 560s| 1360k|797558 | 0 | 0.0 | 846M|1008 | - |1875 | 13k| 0 | 0 | 0 |1077k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
607.89/607.98 o 3
607.89/607.98 c * 565s| 1368k|798750 | 0 | 0.0 | 848M|1008 | - |1875 | 13k| 0 | 0 | 0 |1086k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
608.79/608.89 c 566s| 1370k|799452 | 0 | 0.0 | 849M|1008 | - |1875 | 13k| 0 | 0 | 0 |1087k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
615.79/615.85 c 572s| 1380k|803079 | 0 | 0.0 | 856M|1008 | - |1875 | 15k| 0 | 0 | 0 |1099k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
624.60/624.69 c 581s| 1390k|804703 | 0 | 0.0 | 861M|1008 | - |1875 | 15k| 0 | 0 | 0 |1114k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
630.20/630.27 c 586s| 1400k|810018 | 0 | 0.0 | 862M|1008 | - |1875 |7628 | 0 | 0 | 0 |1121k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
633.20/633.21 c 589s| 1410k|817870 | 0 | 0.0 | 868M|1008 | - |1875 |8054 | 0 | 0 | 0 |1124k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
636.20/636.29 c 592s| 1420k|825571 | 0 | 0.0 | 875M|1008 | - |1875 |8593 | 0 | 0 | 0 |1128k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
639.70/639.72 c 595s| 1430k|832784 | 0 | 0.0 | 881M|1008 | - |1875 |9533 | 0 | 0 | 0 |1132k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
643.50/643.54 c 598s| 1440k|839591 | 0 | 0.0 | 888M|1008 | - |1875 | 10k| 0 | 0 | 0 |1138k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
647.59/647.61 c 602s| 1450k|846044 | 0 | 0.0 | 894M|1008 | - |1875 | 10k| 0 | 0 | 0 |1144k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
652.19/652.22 c 606s| 1460k|851826 | 0 | 0.0 | 901M|1008 | - |1875 | 12k| 0 | 0 | 0 |1152k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
657.39/657.45 c 611s| 1470k|856911 | 0 | 0.0 | 907M|1008 | - |1875 | 13k| 0 | 0 | 0 |1161k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
663.79/663.84 c 617s| 1480k|860742 | 0 | 0.0 | 913M|1008 | - |1875 | 15k| 0 | 0 | 0 |1172k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
670.79/670.89 c 624s| 1490k|864391 | 0 | 0.0 | 916M|1008 | - |1875 |8853 | 0 | 0 | 0 |1183k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
673.80/673.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
673.80/673.87 c 626s| 1500k|872341 | 0 | 0.0 | 921M|1008 | - |1875 |7776 | 0 | 0 | 0 |1187k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
676.90/676.98 c 629s| 1510k|880018 | 0 | 0.0 | 928M|1008 | - |1875 |8290 | 0 | 0 | 0 |1190k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
680.19/680.23 c 632s| 1520k|887431 | 0 | 0.0 | 934M|1008 | - |1875 |9024 | 0 | 0 | 0 |1194k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
683.80/683.81 c 635s| 1530k|894349 | 0 | 0.0 | 941M|1008 | - |1875 |9878 | 0 | 0 | 0 |1199k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
687.70/687.71 c 639s| 1540k|900865 | 0 | 0.0 | 948M|1008 | - |1875 | 10k| 0 | 0 | 0 |1205k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
691.90/691.94 c 643s| 1550k|907055 | 0 | 0.0 | 954M|1008 | - |1875 | 11k| 0 | 0 | 0 |1212k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
696.80/696.83 c 647s| 1560k|912402 | 0 | 0.0 | 961M|1008 | - |1875 | 12k| 0 | 0 | 0 |1219k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
702.80/702.81 c 653s| 1570k|916545 | 0 | 0.0 | 967M|1008 | - |1875 | 14k| 0 | 0 | 0 |1229k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
710.70/710.77 c 661s| 1580k|919026 | 0 | 0.0 | 969M|1008 | - |1875 | 10k| 0 | 0 | 0 |1242k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
713.70/713.75 c 663s| 1590k|927049 | 0 | 0.0 | 975M|1008 | - |1875 |7946 | 0 | 0 | 0 |1245k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
717.20/717.20 c 666s| 1600k|934263 | 0 | 0.0 | 980M|1008 | - |1875 |6658 | 0 | 0 | 0 |1250k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
720.51/720.60 c 669s| 1610k|941394 | 0 | 0.0 | 987M|1008 | - |1875 |7392 | 0 | 0 | 0 |1255k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
723.60/723.62 c 672s| 1620k|949171 | 0 | 0.0 | 993M|1008 | - |1875 |7582 | 0 | 0 | 0 |1258k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
726.90/726.92 c 675s| 1630k|956536 | 0 | 0.0 | 999M|1008 | - |1875 |6662 | 0 | 0 | 0 |1263k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
730.20/730.27 c 678s| 1640k|963701 | 0 | 0.0 |1005M|1008 | - |1875 |6832 | 0 | 0 | 0 |1267k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
733.20/733.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
733.20/733.21 c 681s| 1650k|971593 | 0 | 0.0 |1011M|1008 | - |1875 |7072 | 0 | 0 | 0 |1271k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
736.40/736.47 c 684s| 1660k|978893 | 0 | 0.0 |1017M|1008 | - |1875 |7342 | 0 | 0 | 0 |1275k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
739.69/739.74 c 687s| 1670k|986184 | 0 | 0.0 |1023M|1008 | - |1875 |6715 | 0 | 0 | 0 |1280k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
743.30/743.33 c 690s| 1680k|992929 | 0 | 0.0 |1029M|1008 | - |1875 |7158 | 0 | 0 | 0 |1285k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
746.39/746.40 c 693s| 1690k| 1000k| 0 | 0.0 |1036M|1008 | - |1875 |7914 | 0 | 0 | 0 |1288k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
751.50/751.59 c 698s| 1700k| 1005k| 0 | 0.0 |1042M|1008 | - |1875 |8634 | 0 | 0 | 0 |1296k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
756.90/756.97 c 703s| 1710k| 1010k| 0 | 0.0 |1049M|1008 | - |1875 |9289 | 0 | 0 | 0 |1305k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
762.41/762.45 c 708s| 1720k| 1014k| 0 | 0.0 |1056M|1008 | - |1875 |9089 | 0 | 0 | 0 |1313k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
768.40/768.45 c 714s| 1730k| 1019k| 0 | 0.0 |1063M|1008 | - |1875 |9007 | 0 | 0 | 0 |1322k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
774.10/774.16 c 719s| 1740k| 1023k| 0 | 0.0 |1070M|1008 | - |1875 | 10k| 0 | 0 | 0 |1331k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
779.80/779.84 c 724s| 1750k| 1028k| 0 | 0.0 |1077M|1008 | - |1875 | 10k| 0 | 0 | 0 |1340k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
785.41/785.41 c 730s| 1760k| 1033k| 0 | 0.0 |1083M|1008 | - |1875 |9395 | 0 | 0 | 0 |1348k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
790.90/790.92 c 735s| 1770k| 1038k| 0 | 0.0 |1090M|1008 | - |1875 | 11k| 0 | 0 | 0 |1357k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
797.10/797.15 c 741s| 1780k| 1042k| 0 | 0.0 |1097M|1008 | - |1875 |9650 | 0 | 0 | 0 |1367k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
802.79/802.87 c 746s| 1790k| 1047k| 0 | 0.0 |1104M|1008 | - |1875 | 11k| 0 | 0 | 0 |1376k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
809.30/809.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
809.30/809.33 c 752s| 1800k| 1051k| 0 | 0.0 |1110M|1008 | - |1875 |8801 | 0 | 0 | 0 |1385k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
815.40/815.45 c 758s| 1810k| 1055k| 0 | 0.0 |1117M|1008 | - |1875 | 11k| 0 | 0 | 0 |1395k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
821.81/821.86 c 764s| 1820k| 1060k| 0 | 0.0 |1123M|1008 | - |1875 |9275 | 0 | 0 | 0 |1405k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
828.40/828.49 c 770s| 1830k| 1064k| 0 | 0.0 |1130M|1008 | - |1875 | 11k| 0 | 0 | 0 |1415k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
834.60/834.67 c 776s| 1840k| 1068k| 0 | 0.0 |1137M|1008 | - |1875 | 11k| 0 | 0 | 0 |1425k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
841.20/841.27 c 782s| 1850k| 1072k| 0 | 0.0 |1142M|1008 | - |1875 |8785 | 0 | 0 | 0 |1434k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
848.30/848.34 c 789s| 1860k| 1076k| 0 | 0.0 |1149M|1008 | - |1875 | 11k| 0 | 0 | 0 |1446k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
855.30/855.38 c 796s| 1870k| 1080k| 0 | 0.0 |1156M|1008 | - |1875 | 11k| 0 | 0 | 0 |1456k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
862.80/862.81 c 803s| 1880k| 1083k| 0 | 0.0 |1161M|1008 | - |1875 | 11k| 0 | 0 | 0 |1467k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
870.21/870.28 c 810s| 1890k| 1086k| 0 | 0.0 |1168M|1008 | - |1875 | 12k| 0 | 0 | 0 |1478k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
877.20/877.28 c 817s| 1900k| 1090k| 0 | 0.0 |1174M|1008 | - |1875 | 11k| 0 | 0 | 0 |1489k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
885.40/885.48 c 825s| 1910k| 1093k| 0 | 0.0 |1179M|1008 | - |1875 | 11k| 0 | 0 | 0 |1501k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
893.21/893.22 c 832s| 1920k| 1096k| 0 | 0.0 |1185M|1008 | - |1875 | 12k| 0 | 0 | 0 |1513k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
901.20/901.22 c 840s| 1930k| 1099k| 0 | 0.0 |1191M|1008 | - |1875 | 11k| 0 | 0 | 0 |1524k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
909.71/909.75 c 848s| 1940k| 1101k| 0 | 0.0 |1196M|1008 | - |1875 | 11k| 0 | 0 | 0 |1537k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
917.70/917.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
917.70/917.79 c 856s| 1950k| 1104k| 0 | 0.0 |1202M|1008 | - |1875 | 12k| 0 | 0 | 0 |1549k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
925.70/925.79 c 863s| 1960k| 1107k| 0 | 0.0 |1208M|1008 | - |1875 | 12k| 0 | 0 | 0 |1560k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
934.61/934.63 c 872s| 1970k| 1109k| 0 | 0.0 |1213M|1008 | - |1875 | 12k| 0 | 0 | 0 |1573k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
943.20/943.26 c 880s| 1980k| 1112k| 0 | 0.0 |1219M|1008 | - |1875 | 13k| 0 | 0 | 0 |1586k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
951.61/951.67 c 888s| 1990k| 1115k| 0 | 0.0 |1225M|1008 | - |1875 | 12k| 0 | 0 | 0 |1598k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
960.70/960.76 c 897s| 2000k| 1117k| 0 | 0.0 |1229M|1008 | - |1875 | 12k| 0 | 0 | 0 |1611k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
970.50/970.50 c 906s| 2010k| 1118k| 0 | 0.0 |1235M|1008 | - |1875 | 13k| 0 | 0 | 0 |1625k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
978.90/978.99 c 914s| 2020k| 1121k| 0 | 0.0 |1240M|1008 | - |1875 | 12k| 0 | 0 | 0 |1637k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
988.60/988.65 c 924s| 2030k| 1122k| 0 | 0.0 |1244M|1008 | - |1875 | 12k| 0 | 0 | 0 |1651k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
998.81/998.85 c 933s| 2040k| 1124k| 0 | 0.0 |1249M|1008 | - |1875 | 14k| 0 | 0 | 0 |1665k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1007.71/1007.74 c 942s| 2050k| 1126k| 0 | 0.0 |1255M|1008 | - |1875 | 13k| 0 | 0 | 0 |1677k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1018.20/1018.22 c 952s| 2060k| 1127k| 0 | 0.0 |1259M|1008 | - |1875 | 13k| 0 | 0 | 0 |1693k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1029.40/1029.40 c 963s| 2070k| 1128k| 0 | 0.0 |1264M|1008 | - |1875 | 14k| 0 | 0 | 0 |1708k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1039.21/1039.28 c 972s| 2080k| 1129k| 0 | 0.0 |1269M|1008 | - |1875 | 13k| 0 | 0 | 0 |1721k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1050.30/1050.39 c 983s| 2090k| 1129k| 0 | 0.0 |1272M|1008 | - |1875 | 14k| 0 | 0 | 0 |1738k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1060.90/1060.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1060.90/1060.99 c 993s| 2100k| 1130k| 0 | 0.0 |1277M|1008 | - |1875 | 14k| 0 | 0 | 0 |1752k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1070.80/1070.82 c 1003s| 2110k| 1132k| 0 | 0.0 |1282M|1008 | - |1875 | 10k| 0 | 0 | 0 |1766k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1082.70/1082.77 c 1014s| 2120k| 1131k| 0 | 0.0 |1285M|1008 | - |1875 | 15k| 0 | 0 | 0 |1783k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1093.51/1093.55 c 1025s| 2130k| 1132k| 0 | 0.0 |1289M|1008 | - |1875 | 13k| 0 | 0 | 0 |1798k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1103.91/1103.98 c 1035s| 2140k| 1133k| 0 | 0.0 |1292M|1008 | - |1875 | 11k| 0 | 0 | 0 |1813k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1115.70/1115.71 c 1046s| 2150k| 1133k| 0 | 0.0 |1296M|1008 | - |1875 | 15k| 0 | 0 | 0 |1830k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1125.90/1125.92 c 1056s| 2160k| 1134k| 0 | 0.0 |1301M|1008 | - |1875 | 13k| 0 | 0 | 0 |1844k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1136.80/1136.87 c 1067s| 2170k| 1134k| 0 | 0.0 |1303M|1008 | - |1875 | 13k| 0 | 0 | 0 |1860k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1148.90/1148.97 c 1078s| 2180k| 1134k| 0 | 0.0 |1306M|1008 | - |1875 | 14k| 0 | 0 | 0 |1877k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1159.31/1159.39 c 1088s| 2190k| 1135k| 0 | 0.0 |1312M|1008 | - |1875 | 13k| 0 | 0 | 0 |1891k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1171.21/1171.24 c 1100s| 2200k| 1134k| 0 | 0.0 |1313M|1008 | - |1875 | 15k| 0 | 0 | 0 |1909k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1183.01/1183.02 c 1111s| 2210k| 1134k| 0 | 0.0 |1318M|1008 | - |1875 | 14k| 0 | 0 | 0 |1925k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1193.80/1193.88 c 1122s| 2220k| 1135k| 0 | 0.0 |1322M|1008 | - |1875 | 10k| 0 | 0 | 0 |1940k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1206.81/1206.85 c 1134s| 2230k| 1133k| 0 | 0.0 |1323M|1008 | - |1875 | 15k| 0 | 0 | 0 |1960k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1218.71/1218.76 c 1146s| 2240k| 1133k| 0 | 0.0 |1328M|1008 | - |1875 | 13k| 0 | 0 | 0 |1975k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1231.50/1231.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1231.50/1231.55 c 1158s| 2250k| 1132k| 0 | 0.0 |1329M|1008 | - |1875 | 14k| 0 | 0 | 0 |1994k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1244.70/1244.76 c 1171s| 2260k| 1131k| 0 | 0.0 |1333M|1008 | - |1875 | 14k| 0 | 0 | 0 |2011k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1256.80/1256.80 c 1183s| 2270k| 1132k| 0 | 0.0 |1336M|1008 | - |1875 | 11k| 0 | 0 | 0 |2027k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1270.90/1270.90 c 1196s| 2280k| 1129k| 0 | 0.0 |1338M|1008 | - |1875 | 14k| 0 | 0 | 0 |2047k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1283.20/1283.29 c 1208s| 2290k| 1130k| 0 | 0.0 |1342M|1008 | - |1875 | 13k| 0 | 0 | 0 |2063k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1297.01/1297.05 c 1222s| 2300k| 1128k| 0 | 0.0 |1343M|1008 | - |1875 | 15k| 0 | 0 | 0 |2082k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1310.71/1310.79 c 1235s| 2310k| 1127k| 0 | 0.0 |1346M|1008 | - |1875 | 13k| 0 | 0 | 0 |2100k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1323.81/1323.82 c 1248s| 2320k| 1126k| 0 | 0.0 |1347M|1008 | - |1875 | 14k| 0 | 0 | 0 |2118k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1338.30/1338.39 c 1262s| 2330k| 1124k| 0 | 0.0 |1350M|1008 | - |1875 | 14k| 0 | 0 | 0 |2137k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1351.01/1351.09 c 1274s| 2340k| 1124k| 0 | 0.0 |1352M|1008 | - |1875 | 13k| 0 | 0 | 0 |2154k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1365.91/1365.90 c 1288s| 2350k| 1121k| 0 | 0.0 |1353M|1008 | - |1875 | 14k| 0 | 0 | 0 |2174k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1378.51/1378.59 c 1301s| 2360k| 1121k| 0 | 0.0 |1357M|1008 | - |1875 | 12k| 0 | 0 | 0 |2191k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1394.01/1394.07 c 1316s| 2370k| 1119k| 0 | 0.0 |1357M|1008 | - |1875 | 15k| 0 | 0 | 0 |2212k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1406.71/1406.73 c 1328s| 2380k| 1119k| 0 | 0.0 |1361M|1008 | - |1875 | 11k| 0 | 0 | 0 |2229k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1421.40/1421.41 c 1342s| 2390k| 1116k| 0 | 0.0 |1360M|1008 | - |1875 | 15k| 0 | 0 | 0 |2250k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1434.52/1434.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1434.52/1434.52 c 1355s| 2400k| 1115k| 0 | 0.0 |1364M|1008 | - |1875 | 13k| 0 | 0 | 0 |2268k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1450.01/1450.07 c 1370s| 2410k| 1112k| 0 | 0.0 |1363M|1008 | - |1875 | 15k| 0 | 0 | 0 |2290k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1463.20/1463.21 c 1383s| 2420k| 1112k| 0 | 0.0 |1365M|1008 | - |1875 | 15k| 0 | 0 | 0 |2309k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1478.31/1478.32 c 1398s| 2430k| 1109k| 0 | 0.0 |1367M|1008 | - |1875 | 16k| 0 | 0 | 0 |2330k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1492.51/1492.50 c 1411s| 2440k| 1107k| 0 | 0.0 |1366M|1008 | - |1875 | 16k| 0 | 0 | 0 |2351k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1506.81/1506.89 c 1425s| 2450k| 1107k| 0 | 0.0 |1370M|1008 | - |1875 | 17k| 0 | 0 | 0 |2370k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1522.71/1522.71 c 1441s| 2460k| 1104k| 0 | 0.0 |1368M|1008 | - |1875 | 17k| 0 | 0 | 0 |2393k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1538.11/1538.12 c 1456s| 2470k| 1102k| 0 | 0.0 |1368M|1008 | - |1875 | 17k| 0 | 0 | 0 |2414k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1553.72/1553.70 c 1471s| 2480k| 1100k| 0 | 0.0 |1370M|1008 | - |1875 | 17k| 0 | 0 | 0 |2435k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1570.71/1570.75 c 1487s| 2490k| 1098k| 0 | 0.0 |1370M|1008 | - |1875 | 18k| 0 | 0 | 0 |2458k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1588.11/1588.18 c 1504s| 2500k| 1095k| 0 | 0.0 |1369M|1008 | - |1875 | 18k| 0 | 0 | 0 |2481k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1606.22/1606.21 c 1522s| 2510k| 1091k| 0 | 0.0 |1366M|1008 | - |1875 | 20k| 0 | 0 | 0 |2505k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1625.92/1625.97 c 1541s| 2520k| 1088k| 0 | 0.0 |1363M|1008 | - |1875 | 21k| 0 | 0 | 0 |2530k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1647.22/1647.23 c 1562s| 2530k| 1083k| 0 | 0.0 |1356M|1008 | - |1875 | 23k| 0 | 0 | 0 |2555k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1669.12/1669.12 c 1583s| 2540k| 1079k| 0 | 0.0 |1344M|1008 | - |1875 | 16k| 0 | 0 | 0 |2578k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1673.71/1673.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1673.71/1673.72 c 1588s| 2550k| 1087k| 0 | 0.0 |1346M|1008 | - |1875 |7185 | 0 | 0 | 0 |2582k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1678.62/1678.65 c 1593s| 2560k| 1094k| 0 | 0.0 |1352M|1008 | - |1875 |7070 | 0 | 0 | 0 |2587k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1683.81/1683.81 c 1597s| 2570k| 1100k| 0 | 0.0 |1359M|1008 | - |1875 |8008 | 0 | 0 | 0 |2593k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1688.60/1688.66 c 1602s| 2580k| 1107k| 0 | 0.0 |1366M|1008 | - |1875 |8685 | 0 | 0 | 0 |2599k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1693.80/1693.80 c 1607s| 2590k| 1113k| 0 | 0.0 |1373M|1008 | - |1875 |9882 | 0 | 0 | 0 |2605k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1699.30/1699.37 c 1612s| 2600k| 1119k| 0 | 0.0 |1380M|1008 | - |1875 | 10k| 0 | 0 | 0 |2612k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1705.10/1705.18 c 1617s| 2610k| 1125k| 0 | 0.0 |1386M|1008 | - |1875 | 11k| 0 | 0 | 0 |2619k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1711.30/1711.39 c 1623s| 2620k| 1130k| 0 | 0.0 |1393M|1008 | - |1875 | 12k| 0 | 0 | 0 |2626k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1717.90/1717.98 c 1629s| 2630k| 1136k| 0 | 0.0 |1400M|1008 | - |1875 | 13k| 0 | 0 | 0 |2633k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1724.70/1724.78 c 1636s| 2640k| 1141k| 0 | 0.0 |1407M|1008 | - |1875 | 14k| 0 | 0 | 0 |2641k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1731.80/1731.83 c 1642s| 2650k| 1146k| 0 | 0.0 |1413M|1008 | - |1875 | 14k| 0 | 0 | 0 |2649k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1739.40/1739.44 c 1650s| 2660k| 1151k| 0 | 0.0 |1420M|1008 | - |1875 | 15k| 0 | 0 | 0 |2658k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1747.50/1747.59 c 1657s| 2670k| 1155k| 0 | 0.0 |1427M|1008 | - |1875 | 17k| 0 | 0 | 0 |2667k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1755.70/1755.75 c 1665s| 2680k| 1160k| 0 | 0.0 |1434M|1008 | - |1875 | 17k| 0 | 0 | 0 |2676k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1764.10/1764.15 c 1673s| 2690k| 1164k| 0 | 0.0 |1440M|1008 | - |1875 | 18k| 0 | 0 | 0 |2686k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1772.80/1772.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1772.80/1772.82 c 1681s| 2700k| 1168k| 0 | 0.0 |1447M|1008 | - |1875 | 19k| 0 | 0 | 0 |2695k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1782.10/1782.11 c 1690s| 2710k| 1172k| 0 | 0.0 |1453M|1008 | - |1875 | 19k| 0 | 0 | 0 |2706k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1791.50/1791.50 c 1699s| 2720k| 1175k| 0 | 0.0 |1460M|1008 | - |1875 | 21k| 0 | 0 | 0 |2716k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1800.01/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.00 c
1800.01/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.00 c Solving Time (sec) : 1707.46
1800.01/1800.00 c Solving Nodes : 2728311
1800.01/1800.00 c Primal Bound : +3.00000000000000e+00 (30 solutions)
1800.01/1800.00 c Dual Bound : +0.00000000000000e+00
1800.01/1800.00 c Gap : infinite
1800.01/1800.01 s SATISFIABLE
1800.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/1800.01 v -x1
1800.01/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.01 c Solving Time : 1707.46
1800.01/1800.01 c Original Problem :
1800.01/1800.01 c Problem name : HOME/instance-2694115-1277906197.wbo
1800.01/1800.01 c Variables : 2015 (1123 binary, 0 integer, 0 implicit integer, 892 continuous)
1800.01/1800.01 c Constraints : 3600 initial, 3600 maximal
1800.01/1800.01 c Presolved Problem :
1800.01/1800.01 c Problem name : t_HOME/instance-2694115-1277906197.wbo
1800.01/1800.01 c Variables : 1875 (1053 binary, 0 integer, 0 implicit integer, 822 continuous)
1800.01/1800.01 c Constraints : 3344 initial, 26213 maximal
1800.01/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.01 c trivial : 0.00 70 0 0 0 0 0 0 0
1800.01/1800.01 c dualfix : 0.00 70 0 0 0 0 0 0 0
1800.01/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.01 c probing : 0.03 0 0 0 0 0 0 0 0
1800.01/1800.01 c indicator : 0.00 0 0 0 0 0 70 0 0
1800.01/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.01 c linear : 0.07 0 0 0 914 0 186 127 0
1800.01/1800.01 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.01 c root node : - 784 - - 1568 - - - -
1800.01/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.01 c integral : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.01 c indicator : 822 0 3114864 0 988288 21 437422 0 0 0
1800.01/1800.01 c setppc : 13 0 8723290 0 2176079 131704 5511396 0 0 0
1800.01/1800.01 c linear : 822 0 8595611 0 2176575 327869 35788730 0 0 0
1800.01/1800.01 c logicor : 1687+ 0 6600428 0 2176588 388013 17280571 0 0 0
1800.01/1800.01 c bounddisjunction : 0+ 0 5908 0 0 0 30 0 0 0
1800.01/1800.01 c countsols : 0 0 0 0 2176581 0 0 0 0 0
1800.01/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.01 c integral : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.01 c indicator : 3.29 0.00 1.19 0.00 2.10
1800.01/1800.01 c setppc : 27.66 0.00 24.58 0.00 3.08
1800.01/1800.01 c linear : 192.35 0.00 191.14 0.00 1.21
1800.01/1800.01 c logicor : 599.28 0.00 494.79 0.00 104.49
1800.01/1800.01 c bounddisjunction : 0.01 0.00 0.01 0.00 0.00
1800.01/1800.01 c countsols : 0.03 0.00 0.00 0.00 0.03
1800.01/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.01 c vbounds : 0.02 2 0 0
1800.01/1800.01 c rootredcost : 0.05 0 0 0
1800.01/1800.01 c pseudoobj : 140.76 8727519 330 429675
1800.01/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.01 c propagation : 35.08 847916 847776 4339904 23.4 103461 10.3 -
1800.01/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.01 c pseudo solution : 0.00 26 26 85 13.4 33 9.5 -
1800.01/1800.01 c applied globally : - - - 2725720 20.7 - - -
1800.01/1800.01 c applied locally : - - - 12 115.8 - - -
1800.01/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.01/1800.01 c redcost : 0.00 0 0 0 0 0
1800.01/1800.01 c impliedbounds : 0.00 0 0 0 0 0
1800.01/1800.01 c intobj : 0.00 0 0 0 0 0
1800.01/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.01 c gomory : 0.00 0 0 0 0 0
1800.01/1800.01 c strongcg : 0.00 0 0 0 0 0
1800.01/1800.01 c cmir : 0.00 0 0 0 0 0
1800.01/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.01 c clique : 0.00 0 0 0 0 0
1800.01/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.01 c mcf : 0.00 0 0 0 0 0
1800.01/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.01 c Pricers : Time Calls Vars
1800.01/1800.01 c problem variables: 0.00 0 0
1800.01/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.01 c relpscost : 0.00 0 0 0 0 0 0
1800.01/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.01 c inference : 27.57 2176551 0 0 0 0 4353102
1800.01/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.01 c random : 0.00 0 0 0 0 0 0
1800.01/1800.01 c Primal Heuristics : Time Calls Found
1800.01/1800.01 c LP solutions : 0.00 - 0
1800.01/1800.01 c pseudo solutions : 0.07 - 30
1800.01/1800.01 c oneopt : 0.08 0 0
1800.01/1800.01 c trivial : 0.00 2 0
1800.01/1800.01 c simplerounding : 0.00 0 0
1800.01/1800.01 c zirounding : 0.00 0 0
1800.01/1800.01 c rounding : 0.00 0 0
1800.01/1800.01 c shifting : 0.00 0 0
1800.01/1800.01 c intshifting : 0.00 0 0
1800.01/1800.01 c twoopt : 0.00 0 0
1800.01/1800.01 c fixandinfer : 0.00 0 0
1800.01/1800.01 c feaspump : 0.00 0 0
1800.01/1800.01 c coefdiving : 0.00 0 0
1800.01/1800.01 c pscostdiving : 0.00 0 0
1800.01/1800.01 c fracdiving : 0.00 0 0
1800.01/1800.01 c veclendiving : 0.00 0 0
1800.01/1800.01 c intdiving : 0.00 0 0
1800.01/1800.01 c actconsdiving : 0.00 0 0
1800.01/1800.01 c objpscostdiving : 0.00 0 0
1800.01/1800.01 c rootsoldiving : 0.00 0 0
1800.01/1800.01 c linesearchdiving : 0.00 0 0
1800.01/1800.01 c guideddiving : 0.00 0 0
1800.01/1800.01 c octane : 0.00 0 0
1800.01/1800.01 c rens : 0.00 0 0
1800.01/1800.01 c rins : 0.00 0 0
1800.01/1800.01 c localbranching : 0.00 0 0
1800.01/1800.01 c mutation : 0.00 0 0
1800.01/1800.01 c crossover : 0.00 0 0
1800.01/1800.01 c dins : 0.00 0 0
1800.01/1800.01 c undercover : 0.00 0 0
1800.01/1800.01 c nlp : 0.04 0 0
1800.01/1800.01 c trysol : 0.01 1 0
1800.01/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.01 c dual LP : 0.00 0 0 0.00 -
1800.01/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.01 c strong branching : 0.00 0 0 0.00 -
1800.01/1800.01 c (at root node) : - 0 0 0.00 -
1800.01/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.01 c B&B Tree :
1800.01/1800.01 c number of runs : 1
1800.01/1800.01 c nodes : 2728311
1800.01/1800.01 c nodes (total) : 2728311
1800.01/1800.01 c nodes left : 1178424
1800.01/1800.01 c max depth : 1008
1800.01/1800.01 c max depth (total): 1008
1800.01/1800.01 c backtracks : 583144 (21.4%)
1800.01/1800.01 c delayed cutoffs : 428860
1800.01/1800.01 c repropagations : 1998146 (16953629 domain reductions, 296233 cutoffs)
1800.01/1800.01 c avg switch length: 19.61
1800.01/1800.01 c switching time : 561.57
1800.01/1800.01 c Solution :
1800.01/1800.01 c Solutions found : 30 (30 improvements)
1800.01/1800.01 c First Solution : +5.47000000000000e+02 (in run 1, after 3082 nodes, 0.71 seconds, depth 148, found by <relaxation>)
1800.01/1800.01 c Primal Bound : +3.00000000000000e+00 (in run 1, after 1368493 nodes, 565.07 seconds, depth 519, found by <relaxation>)
1800.01/1800.01 c Dual Bound : +0.00000000000000e+00
1800.01/1800.01 c Gap : infinite
1800.01/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.01/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-2694115-1277906197/watcher-2694115-1277906197 -o /tmp/evaluation-result-2694115-1277906197/solver-2694115-1277906197 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694115-1277906197.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: 2.85 2.69 2.31 4/199 12669 /proc/meminfo: memFree=31498180/32950928 swapFree=67111528/67111528 [pid=12669] ppid=12667 vsize=8164 CPUtime=0 /proc/12669/stat : 12669 (pbscip.linux.x8) R 12667 12669 12096 0 -1 4202496 1544 0 0 0 0 0 0 0 25 0 1 0 131916336 8359936 1467 4089446400 4194304 7136930 140734203046848 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/12669/statm: 2041 1467 275 719 0 1320 0 [startup+0.100967 s] /proc/loadavg: 2.85 2.69 2.31 4/199 12669 /proc/meminfo: memFree=31498180/32950928 swapFree=67111528/67111528 [pid=12669] ppid=12667 vsize=21036 CPUtime=0.09 /proc/12669/stat : 12669 (pbscip.linux.x8) R 12667 12669 12096 0 -1 4202496 6219 0 0 0 8 1 0 0 25 0 1 0 131916336 21540864 4503 4089446400 4194304 7136930 140734203046848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12669/statm: 5259 4503 354 719 0 4538 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 21036 [startup+0.200895 s] /proc/loadavg: 2.85 2.69 2.31 4/199 12669 /proc/meminfo: memFree=31498180/32950928 swapFree=67111528/67111528 [pid=12669] ppid=12667 vsize=23240 CPUtime=0.19 /proc/12669/stat : 12669 (pbscip.linux.x8) R 12667 12669 12096 0 -1 4202496 9358 0 0 0 17 2 0 0 25 0 1 0 131916336 23797760 5072 4089446400 4194304 7136930 140734203046848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12669/statm: 5810 5072 391 719 0 5089 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 23240 [startup+0.300879 s] /proc/loadavg: 2.85 2.69 2.31 4/199 12669 /proc/meminfo: memFree=31498180/32950928 swapFree=67111528/67111528 [pid=12669] ppid=12667 vsize=23892 CPUtime=0.29 /proc/12669/stat : 12669 (pbscip.linux.x8) R 12667 12669 12096 0 -1 4202496 9542 0 0 0 26 3 0 0 25 0 1 0 131916336 24465408 5256 4089446400 4194304 7136930 140734203046848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12669/statm: 5973 5256 391 719 0 5252 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 23892 [startup+0.700798 s] /proc/loadavg: 2.85 2.69 2.31 4/199 12669 /proc/meminfo: memFree=31498180/32950928 swapFree=67111528/67111528 [pid=12669] ppid=12667 vsize=25960 CPUtime=0.69 /proc/12669/stat : 12669 (pbscip.linux.x8) R 12667 12669 12096 0 -1 4202496 10046 0 0 0 63 6 0 0 25 0 1 0 131916336 26583040 5760 4089446400 4194304 7136930 140734203046848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12669/statm: 6490 5760 395 719 0 5769 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25960 [startup+1.5006 s] /proc/loadavg: 2.85 2.69 2.31 5/200 12670 /proc/meminfo: memFree=31475108/32950928 swapFree=67111528/67111528 [pid=12669] ppid=12667 vsize=28716 CPUtime=1.49 /proc/12669/stat : 12669 (pbscip.linux.x8) R 12667 12669 12096 0 -1 4202496 10753 0 0 0 135 14 0 0 25 0 1 0 131916336 29405184 6467 4089446400 4194304 7136930 140734203046848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12669/statm: 7179 6467 396 719 0 6458 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28716 [startup+3.10039 s] /proc/loadavg: 2.85 2.69 2.31 5/200 12670 /proc/meminfo: memFree=31471264/32950928 swapFree=67111528/67111528 [pid=12669] ppid=12667 vsize=33652 CPUtime=3.09 /proc/12669/stat : 12669 (pbscip.linux.x8) R 12667 12669 12096 0 -1 4202496 11994 0 0 0 281 28 0 0 25 0 1 0 131916336 34459648 7708 4089446400 4194304 7136930 140734203046848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12669/statm: 8413 7708 396 719 0 7692 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33652 [startup+6.30083 s] /proc/loadavg: 2.86 2.69 2.32 5/200 12671 /proc/meminfo: memFree=31461516/32950928 swapFree=67111528/67111528 [pid=12669] ppid=12667 vsize=44120 CPUtime=6.28 /proc/12669/stat : 12669 (pbscip.linux.x8) R 12667 12669 12096 0 -1 4202496 14645 0 0 0 575 53 0 0 25 0 1 0 131916336 45178880 10359 4089446400 4194304 7136930 140734203046848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12669/statm: 11030 10359 396 719 0 10309 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 44120 [startup+12.7007 s] /proc/loadavg: 2.87 2.70 2.32 4/200 12671 /proc/meminfo: memFree=31440728/32950928 swapFree=67111528/67111528 [pid=12669] ppid=12667 vsize=64144 CPUtime=12.68 /proc/12669/stat : 12669 (pbscip.linux.x8) R 12667 12669 12096 0 -1 4202496 19496 0 0 0 1161 107 0 0 25 0 1 0 131916336 65683456 15210 4089446400 4194304 7136930 140734203046848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12669/statm: 16036 15210 398 719 0 15315 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 64144 [startup+25.5004 s] /proc/loadavg: 2.90 2.71 2.33 4/200 12672 /proc/meminfo: memFree=31406236/32950928 swapFree=67111528/67111528 [pid=12669] ppid=12667 vsize=99580 CPUtime=25.49 /proc/12669/stat : 12669 (pbscip.linux.x8) R 12667 12669 12096 0 -1 4202496 27959 0 0 0 2335 214 0 0 25 0 1 0 131916336 101969920 23673 4089446400 4194304 7136930 140734203046848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12669/statm: 24895 23673 398 719 0 24174 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 99580 [startup+51.1009 s] /proc/loadavg: 2.93 2.74 2.35 5/200 12672 /proc/meminfo: memFree=31351484/32950928 swapFree=67111528/67111528 [pid=12669] ppid=12667 vsize=152292 CPUtime=51.08 /proc/12669/stat : 12669 (pbscip.linux.x8) R 12667 12669 12096 0 -1 4202496 41228 0 0 0 4717 391 0 0 25 0 1 0 131916336 155947008 36942 4089446400 4194304 7136930 140734203046848 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12669/statm: 38073 36942 398 719 0 37352 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 152292 [startup+102.301 s] /proc/loadavg: 2.93 2.76 2.38 5/200 12674 /proc/meminfo: memFree=31246040/32950928 swapFree=67111528/67111528 [pid=12669] ppid=12667 vsize=255956 CPUtime=102.29 /proc/12669/stat : 12669 (pbscip.linux.x8) R 12667 12669 12096 0 -1 4202496 66547 0 0 0 9463 766 0 0 25 0 1 0 131916336 262098944 62261 4089446400 4194304 7136930 140734203046848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12669/statm: 63989 62261 398 719 0 63268 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 255956 [startup+162.3 s] /proc/loadavg: 2.45 2.65 2.36 3/179 12703 /proc/meminfo: memFree=31376480/32950928 swapFree=67111528/67111528 [pid=12669] ppid=12667 vsize=385320 CPUtime=162.28 /proc/12669/stat : 12669 (pbscip.linux.x8) R 12667 12669 12096 0 -1 4202496 98223 0 0 0 14941 1287 0 0 25 0 1 0 131916336 394567680 93937 4089446400 4194304 7136930 140734203046848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12669/statm: 96330 93937 398 719 0 95609 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 385320 [startup+222.307 s] /proc/loadavg: 2.16 2.53 2.34 3/179 12704 /proc/meminfo: memFree=31269280/32950928 swapFree=67111528/67111528 [pid=12669] ppid=12667 vsize=489880 CPUtime=222.29 /proc/12669/stat : 12669 (pbscip.linux.x8) R 12667 12669 12096 0 -1 4202496 124501 0 0 0 20523 1706 0 0 25 0 1 0 131916336 501637120 120215 4089446400 4194304 7136930 140734203046848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12669/statm: 122470 120215 398 719 0 121749 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 489880 [startup+282.301 s] /proc/loadavg: 2.06 2.43 2.31 3/179 12715 /proc/meminfo: memFree=31189292/32950928 swapFree=67111528/67111528 [pid=12669] ppid=12667 vsize=570196 CPUtime=282.28 /proc/12669/stat : 12669 (pbscip.linux.x8) R 12667 12669 12096 0 -1 4202496 144645 0 0 0 26151 2077 0 0 25 0 1 0 131916336 583880704 140359 4089446400 4194304 7136930 140734203046848 18446744073709551615 4226106 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12669/statm: 142549 140359 398 719 0 141828 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 570196 [startup+342.3 s] /proc/loadavg: 2.02 2.35 2.29 3/179 12717 /proc/meminfo: memFree=31131816/32950928 swapFree=67111528/67111528 [pid=12669] ppid=12667 vsize=632960 CPUtime=342.29 /proc/12669/stat : 12669 (pbscip.linux.x8) R 12667 12669 12096 0 -1 4202496 158423 0 0 0 31828 2401 0 0 25 0 1 0 131916336 648151040 154137 4089446400 4194304 7136930 140734203046848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12669/statm: 158240 154137 398 719 0 157519 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 632960 [startup+402.301 s] /proc/loadavg: 2.00 2.28 2.27 3/179 12719 /proc/meminfo: memFree=31087384/32950928 swapFree=67111528/67111528 [pid=12669] ppid=12667 vsize=678588 CPUtime=402.29 /proc/12669/stat : 12669 (pbscip.linux.x8) R 12667 12669 12096 0 -1 4202496 169681 0 0 0 37510 2719 0 0 25 0 1 0 131916336 694874112 165395 4089446400 4194304 7136930 140734203046848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12669/statm: 169647 165395 398 719 0 168926 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 678588 [startup+462.3 s] /proc/loadavg: 2.07 2.24 2.25 3/179 12720 /proc/meminfo: memFree=30998044/32950928 swapFree=67111528/67111528 [pid=12669] ppid=12667 vsize=766836 CPUtime=462.29 /proc/12669/stat : 12669 (pbscip.linux.x8) R 12667 12669 12096 0 -1 4202496 191912 0 0 0 43054 3175 0 0 25 0 1 0 131916336 785240064 187626 4089446400 4194304 7136930 140734203046848 18446744073709551615 5951013 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12669/statm: 191709 187626 398 719 0 190988 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 766836 [startup+522.301 s] /proc/loadavg: 2.02 2.20 2.24 3/179 12721 /proc/meminfo: memFree=30918612/32950928 swapFree=67111528/67111528 [pid=12669] ppid=12667 vsize=844232 CPUtime=522.29 /proc/12669/stat : 12669 (pbscip.linux.x8) R 12667 12669 12096 0 -1 4202496 211559 0 0 0 48628 3601 0 0 25 0 1 0 131916336 864493568 207273 4089446400 4194304 7136930 140734203046848 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12669/statm: 211058 207273 398 719 0 210337 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 844232 [startup+582.3 s] /proc/loadavg: 2.01 2.16 2.22 3/179 12723 /proc/meminfo: memFree=30823808/32950928 swapFree=67111528/67111528 [pid=12669] ppid=12667 vsize=938056 CPUtime=582.3 /proc/12669/stat : 12669 (pbscip.linux.x8) R 12667 12669 12096 0 -1 4202496 235264 0 0 0 54135 4095 0 0 25 0 1 0 131916336 960569344 230978 4089446400 4194304 7136930 140734203046848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12669/statm: 234514 230978 398 719 0 233793 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 938056 [startup+642.301 s] /proc/loadavg: 2.00 2.13 2.20 3/179 12725 /proc/meminfo: memFree=30754056/32950928 swapFree=67111528/67111528 [pid=12669] ppid=12667 vsize=1006568 CPUtime=642.29 /proc/12669/stat : 12669 (pbscip.linux.x8) R 12667 12669 12096 0 -1 4202496 252649 0 0 0 59707 4522 0 0 25 0 1 0 131916336 1030725632 248363 4089446400 4194304 7136930 140734203046848 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12669/statm: 251642 248363 398 719 0 250921 0 Current children cumulated CPU time (s) 642.29 Current children cumulated vsize (KiB) 1006568 [startup+702.301 s] ################ # More data... # ################ /proc/12669/stat : 12669 (pbscip.linux.x8) R 12667 12669 12096 0 -1 4202496 349646 0 0 0 99456 6774 0 0 25 0 1 0 131916336 1440858112 345360 4089446400 4194304 7136930 140734203046848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12669/statm: 351772 345360 398 719 0 351051 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 1407088 [startup+1122.3 s] /proc/loadavg: 2.02 2.04 2.11 3/179 12737 /proc/meminfo: memFree=30345124/32950928 swapFree=67111528/67111528 [pid=12669] ppid=12667 vsize=1427116 CPUtime=1122.31 /proc/12669/stat : 12669 (pbscip.linux.x8) R 12667 12669 12096 0 -1 4202496 354645 0 0 0 105253 6978 0 0 25 0 1 0 131916336 1461366784 350359 4089446400 4194304 7136930 140734203046848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12669/statm: 356779 350359 398 719 0 356058 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1427116 [startup+1182.3 s] /proc/loadavg: 1.93 2.01 2.10 4/200 12803 /proc/meminfo: memFree=30174868/32950928 swapFree=67111528/67111528 [pid=12669] ppid=12667 vsize=1442708 CPUtime=1182.3 /proc/12669/stat : 12669 (pbscip.linux.x8) R 12667 12669 12096 0 -1 4202496 358606 0 0 0 111050 7180 0 0 25 0 1 0 131916336 1477332992 354320 4089446400 4194304 7136930 140734203046848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12669/statm: 360677 354320 398 719 0 359956 0 Current children cumulated CPU time (s) 1182.3 Current children cumulated vsize (KiB) 1442708 [startup+1242.3 s] /proc/loadavg: 2.57 2.17 2.14 3/200 12809 /proc/meminfo: memFree=30096940/32950928 swapFree=67111528/67111528 [pid=12669] ppid=12667 vsize=1460140 CPUtime=1242.31 /proc/12669/stat : 12669 (pbscip.linux.x8) R 12667 12669 12096 0 -1 4202496 362933 0 0 0 116852 7379 0 0 25 0 1 0 131916336 1495183360 358647 4089446400 4194304 7136930 140734203046848 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12669/statm: 365035 358647 398 719 0 364314 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 1460140 [startup+1302.3 s] /proc/loadavg: 2.84 2.32 2.19 4/200 12811 /proc/meminfo: memFree=30061036/32950928 swapFree=67111528/67111528 [pid=12669] ppid=12667 vsize=1475704 CPUtime=1302.31 /proc/12669/stat : 12669 (pbscip.linux.x8) R 12667 12669 12096 0 -1 4202496 366856 0 0 0 122673 7558 0 0 25 0 1 0 131916336 1511120896 362570 4089446400 4194304 7136930 140734203046848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12669/statm: 368926 362570 398 719 0 368205 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 1475704 [startup+1362.3 s] /proc/loadavg: 2.88 2.43 2.24 4/200 12812 /proc/meminfo: memFree=30038532/32950928 swapFree=67111528/67111528 [pid=12669] ppid=12667 vsize=1482716 CPUtime=1362.31 /proc/12669/stat : 12669 (pbscip.linux.x8) R 12667 12669 12096 0 -1 4202496 368590 0 0 0 128492 7739 0 0 25 0 1 0 131916336 1518301184 364304 4089446400 4194304 7136930 140734203046848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12669/statm: 370679 364304 398 719 0 369958 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 1482716 [startup+1422.3 s] /proc/loadavg: 2.85 2.50 2.27 4/200 12813 /proc/meminfo: memFree=30023724/32950928 swapFree=67111528/67111528 [pid=12669] ppid=12667 vsize=1492904 CPUtime=1422.32 /proc/12669/stat : 12669 (pbscip.linux.x8) R 12667 12669 12096 0 -1 4202496 371082 0 0 0 134315 7917 0 0 25 0 1 0 131916336 1528733696 366796 4089446400 4194304 7136930 140734203046848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12669/statm: 373226 366796 398 719 0 372505 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 1492904 [startup+1482.3 s] /proc/loadavg: 2.94 2.59 2.31 4/200 12815 /proc/meminfo: memFree=30004304/32950928 swapFree=67111528/67111528 [pid=12669] ppid=12667 vsize=1500224 CPUtime=1482.31 /proc/12669/stat : 12669 (pbscip.linux.x8) R 12667 12669 12096 0 -1 4202496 372923 0 0 0 140142 8089 0 0 25 0 1 0 131916336 1536229376 368637 4089446400 4194304 7136930 140734203046848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12669/statm: 375056 368637 398 719 0 374335 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 1500224 [startup+1542.31 s] /proc/loadavg: 3.03 2.67 2.36 3/200 12817 /proc/meminfo: memFree=29986384/32950928 swapFree=67111528/67111528 [pid=12669] ppid=12667 vsize=1506632 CPUtime=1542.32 /proc/12669/stat : 12669 (pbscip.linux.x8) R 12667 12669 12096 0 -1 4202496 374514 0 0 0 145970 8262 0 0 25 0 1 0 131916336 1542791168 370228 4089446400 4194304 7136930 140734203046848 18446744073709551615 5004488 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12669/statm: 376658 370228 398 719 0 375937 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 1506632 [startup+1602.3 s] /proc/loadavg: 2.83 2.68 2.38 3/200 12819 /proc/meminfo: memFree=29968108/32950928 swapFree=67111528/67111528 [pid=12669] ppid=12667 vsize=1508844 CPUtime=1602.31 /proc/12669/stat : 12669 (pbscip.linux.x8) R 12667 12669 12096 0 -1 4202496 375087 0 0 0 151809 8422 0 0 25 0 1 0 131916336 1545056256 370801 4089446400 4194304 7136930 140734203046848 18446744073709551615 4212307 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12669/statm: 377211 370801 398 719 0 376490 0 Current children cumulated CPU time (s) 1602.31 Current children cumulated vsize (KiB) 1508844 [startup+1662.3 s] /proc/loadavg: 2.75 2.68 2.39 4/200 12820 /proc/meminfo: memFree=29955268/32950928 swapFree=67111528/67111528 [pid=12669] ppid=12667 vsize=1510932 CPUtime=1662.32 /proc/12669/stat : 12669 (pbscip.linux.x8) R 12667 12669 12096 0 -1 4202496 375582 0 0 0 157675 8557 0 0 25 0 1 0 131916336 1547194368 371296 4089446400 4194304 7136930 140734203046848 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12669/statm: 377733 371296 398 719 0 377012 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 1510932 [startup+1722.3 s] /proc/loadavg: 2.79 2.70 2.42 4/200 12821 /proc/meminfo: memFree=29919748/32950928 swapFree=67111528/67111528 [pid=12669] ppid=12667 vsize=1536360 CPUtime=1722.3 /proc/12669/stat : 12669 (pbscip.linux.x8) R 12667 12669 12096 0 -1 4202496 381943 0 0 0 163349 8881 0 0 25 0 1 0 131916336 1573232640 377657 4089446400 4194304 7136930 140734203046848 18446744073709551615 4210602 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12669/statm: 384090 377657 398 719 0 383369 0 Current children cumulated CPU time (s) 1722.3 Current children cumulated vsize (KiB) 1536360 [startup+1782.3 s] /proc/loadavg: 2.47 2.63 2.41 3/179 12851 /proc/meminfo: memFree=30075524/32950928 swapFree=67111528/67111528 [pid=12669] ppid=12667 vsize=1590792 CPUtime=1782.3 /proc/12669/stat : 12669 (pbscip.linux.x8) R 12667 12669 12096 0 -1 4202496 395351 0 0 0 169045 9185 0 0 25 0 1 0 131916336 1628971008 391065 4089446400 4194304 7136930 140734203046848 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12669/statm: 397698 391065 398 719 0 396977 0 Current children cumulated CPU time (s) 1782.3 Current children cumulated vsize (KiB) 1590792 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.34 2.59 2.40 3/179 12851 /proc/meminfo: memFree=30015184/32950928 swapFree=67111528/67111528 [pid=12669] ppid=12667 vsize=1600296 CPUtime=1800.01 /proc/12669/stat : 12669 (pbscip.linux.x8) R 12667 12669 12096 0 -1 4202496 397730 0 0 0 170748 9253 0 0 25 0 1 0 131916336 1638703104 393444 4089446400 4194304 7136930 140734203046848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12669/statm: 400074 393444 398 719 0 399353 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1600296 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -12669 Solver just ended. Dumping a history of the last processes samples [startup+1800.7 s] /proc/loadavg: 2.34 2.59 2.40 3/180 12852 /proc/meminfo: memFree=30013440/32950928 swapFree=67111528/67111528 [pid=12669] ppid=12667 vsize=1600296 CPUtime=1800.71 /proc/12669/stat : 12669 (pbscip.linux.x8) R 12667 12669 12096 0 -1 4202496 397735 0 0 0 170818 9253 0 0 25 0 1 0 131916336 1638703104 393449 4089446400 4194304 7136930 140734203046848 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12669/statm: 400074 393449 403 719 0 399353 0 Current children cumulated CPU time (s) 1800.71 Current children cumulated vsize (KiB) 1600296 [startup+1801.5 s] /proc/loadavg: 2.34 2.59 2.40 3/180 12852 /proc/meminfo: memFree=30013440/32950928 swapFree=67111528/67111528 [pid=12669] ppid=12667 vsize=1600296 CPUtime=1801.5 /proc/12669/stat : 12669 (pbscip.linux.x8) R 12667 12669 12096 0 -1 4202496 397735 0 0 0 170897 9253 0 0 25 0 1 0 131916336 1638703104 393449 4089446400 4194304 7136930 140734203046848 18446744073709551615 6166298 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12669/statm: 400074 393449 403 719 0 399353 0 Current children cumulated CPU time (s) 1801.5 Current children cumulated vsize (KiB) 1600296 [startup+1801.91 s] /proc/loadavg: 2.34 2.59 2.40 3/180 12852 /proc/meminfo: memFree=30010960/32950928 swapFree=67111528/67111528 [pid=12669] ppid=12667 vsize=1600296 CPUtime=1801.91 /proc/12669/stat : 12669 (pbscip.linux.x8) R 12667 12669 12096 0 -1 4202496 397735 0 0 0 170938 9253 0 0 25 0 1 0 131916336 1638703104 393449 4089446400 4194304 7136930 140734203046848 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12669/statm: 400074 393449 403 719 0 399353 0 Current children cumulated CPU time (s) 1801.91 Current children cumulated vsize (KiB) 1600296 [startup+1802 s] /proc/loadavg: 2.34 2.59 2.40 3/180 12852 /proc/meminfo: memFree=30010960/32950928 swapFree=67111528/67111528 [pid=12669] ppid=12667 vsize=1600296 CPUtime=1802 /proc/12669/stat : 12669 (pbscip.linux.x8) R 12667 12669 12096 0 -1 4202496 397735 0 0 0 170947 9253 0 0 25 0 1 0 131916336 1638703104 393449 4089446400 4194304 7136930 140734203046848 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12669/statm: 400074 393449 403 719 0 399353 0 Current children cumulated CPU time (s) 1802 Current children cumulated vsize (KiB) 1600296 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.06 CPU time (s): 1802.07 CPU user time (s): 1709.48 CPU system time (s): 92.5839 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 1600296 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1709.48 system time used= 92.5839 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 397735 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= 9658 runsolver used 3.06253 second user time and 6.11907 second system time The end
Begin job on node125 at 2010-06-30 15:56:37 IDJOB=2694115 IDBENCH=78936 IDSOLVER=1206 FILE ID=node125/2694115-1277906197 PBS_JOBID= 11197233 Free space on /tmp= 74204 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.1900563250--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-2694115-1277906197/watcher-2694115-1277906197 -o /tmp/evaluation-result-2694115-1277906197/solver-2694115-1277906197 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694115-1277906197.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 48850acf7a795604147e976fcd80db7d RANDOM SEED=1255619770 node125.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.822 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.64 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.822 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.07 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.822 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.75 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.822 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.77 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.822 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.75 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.822 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.74 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.822 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.75 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.822 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: 31498584 kB Buffers: 189224 kB Cached: 792576 kB SwapCached: 0 kB Active: 758892 kB Inactive: 550216 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31498584 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3236 kB Writeback: 0 kB AnonPages: 326892 kB Mapped: 20304 kB Slab: 77588 kB PageTables: 5388 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1658704 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= 74200 MiB End job on node125 at 2010-06-30 16:26:39