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.15 | 1802.09 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900567985--soft-0-100-0.wbo |
| MD5SUM | e639daae290163b8abe4f9e3cf3dc11c |
| Bench Category | SOFT-SMALLINT-LIN (only soft 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 | 513.52 |
| 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 | 2707 |
| 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 | 136843 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 136842 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 669 |
| 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-2693585-1277925360.wbo>
0.00/0.03 c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 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.09/0.12 o 136842
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.368420e+05
0.09/0.12 c presolving:
0.09/0.13 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.14 c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.18 c (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (3 rounds):
0.09/0.18 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18 c 2707 implications, 0 cliques
0.09/0.18 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.18 c 2707 constraints of type <indicator>
0.09/0.18 c 2707 constraints of type <linear>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.12
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1799.98
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 3420
0.09/0.18 c
0.09/0.18 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c lp/solvefreq = -1
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 c
0.09/0.19 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.19 c t 0.2s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.368420e+05 | Inf
3.10/3.18 c 3.0s| 10000 | 9579 | 0 | 0.0 | 24M|2816 | - |5645 |6906 | 0 | 0 | 0 |1493 | 0 | 0.000000e+00 | 1.368420e+05 | Inf
5.79/5.88 c 5.6s| 20000 | 19579 | 0 | 0.0 | 28M|2816 | - |5645 |6905 | 0 | 0 | 0 |1493 | 0 | 0.000000e+00 | 1.368420e+05 | Inf
6.79/6.88 o 434
6.79/6.88 c * 6.5s| 24503 | 7659 | 0 | 0.0 | 25M|2816 | - |5645 |6905 | 0 | 0 | 0 |1493 | 0 | 0.000000e+00 | 4.340000e+02 | Inf
6.99/7.04 o 394
6.99/7.04 c * 6.7s| 25011 | 7256 | 0 | 0.0 | 24M|2816 | - |5645 |6997 | 0 | 0 | 0 |1594 | 0 | 0.000000e+00 | 3.940000e+02 | Inf
6.99/7.04 o 323
6.99/7.04 c * 6.7s| 25012 | 7219 | 0 | 0.0 | 24M|2816 | - |5645 |6997 | 0 | 0 | 0 |1594 | 0 | 0.000000e+00 | 3.230000e+02 | Inf
8.59/8.61 c 8.2s| 30000 | 11515 | 0 | 0.0 | 30M|2816 | - |5645 |7802 | 0 | 0 | 0 |4899 | 0 | 0.000000e+00 | 3.230000e+02 | Inf
12.29/12.39 c 11.8s| 40000 | 18750 | 0 | 0.0 | 42M|2816 | - |5645 |9568 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 3.230000e+02 | Inf
12.90/12.97 o 302
12.90/12.97 c *12.4s| 40860 | 18719 | 0 | 0.0 | 42M|2816 | - |5645 |9870 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 3.020000e+02 | Inf
13.10/13.11 o 299
13.10/13.11 c *12.5s| 41086 | 18936 | 0 | 0.0 | 43M|2816 | - |5645 |9708 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.990000e+02 | Inf
13.10/13.17 o 271
13.10/13.17 c *12.6s| 41210 | 19016 | 0 | 0.0 | 43M|2816 | - |5645 |9640 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.710000e+02 | Inf
13.39/13.46 o 221
13.39/13.46 c *12.9s| 41720 | 19384 | 0 | 0.0 | 43M|2816 | - |5645 |9463 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
13.39/13.47 o 203
13.39/13.47 c *12.9s| 41721 | 19337 | 0 | 0.0 | 43M|2816 | - |5645 |9463 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.030000e+02 | Inf
13.59/13.62 o 202
13.59/13.62 c *13.0s| 41975 | 19580 | 0 | 0.0 | 43M|2816 | - |5645 |9275 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.020000e+02 | Inf
13.69/13.71 o 185
13.69/13.71 c *13.1s| 42098 | 19625 | 0 | 0.0 | 43M|2816 | - |5645 |9269 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.850000e+02 | Inf
13.69/13.71 o 157
13.69/13.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.69/13.71 c *13.1s| 42099 | 19349 | 0 | 0.0 | 43M|2816 | - |5645 |9269 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.570000e+02 | Inf
13.79/13.81 o 154
13.79/13.81 c *13.2s| 42250 | 19487 | 0 | 0.0 | 43M|2816 | - |5645 |9161 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.540000e+02 | Inf
14.00/14.01 o 150
14.00/14.01 c *13.4s| 42585 | 19795 | 0 | 0.0 | 44M|2816 | - |5645 |9008 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.500000e+02 | Inf
14.09/14.15 o 139
14.09/14.15 c *13.5s| 42780 | 19916 | 0 | 0.0 | 44M|2816 | - |5645 |8968 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
14.09/14.15 o 136
14.09/14.15 c *13.5s| 42781 | 19887 | 0 | 0.0 | 44M|2816 | - |5645 |8968 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.360000e+02 | Inf
14.19/14.23 o 131
14.19/14.23 c *13.6s| 42886 | 19971 | 0 | 0.0 | 44M|2816 | - |5645 |8931 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.310000e+02 | Inf
14.19/14.23 o 121
14.19/14.23 c *13.6s| 42887 | 19940 | 0 | 0.0 | 44M|2816 | - |5645 |8931 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.210000e+02 | Inf
14.59/14.64 o 88
14.59/14.64 c *14.0s| 43473 | 19850 | 0 | 0.0 | 45M|2816 | - |5645 |8748 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 8.800000e+01 | Inf
14.59/14.69 o 85
14.59/14.69 c *14.1s| 43554 | 19795 | 0 | 0.0 | 45M|2816 | - |5645 |8684 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
15.79/15.83 o 79
15.79/15.83 c *15.1s| 44874 | 20705 | 0 | 0.0 | 47M|2816 | - |5645 |7506 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
16.70/16.77 o 65
16.70/16.77 c *16.1s| 45982 | 21212 | 0 | 0.0 | 47M|2816 | - |5645 |7087 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
18.49/18.57 o 64
18.49/18.57 c *17.8s| 48356 | 23017 | 0 | 0.0 | 54M|2816 | - |5645 |7339 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 6.400000e+01 | Inf
18.49/18.57 o 62
18.49/18.57 c *17.8s| 48357 | 22959 | 0 | 0.0 | 54M|2816 | - |5645 |7339 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
18.69/18.77 o 61
18.69/18.77 c *18.0s| 48683 | 23220 | 0 | 0.0 | 55M|2816 | - |5645 |7174 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
19.59/19.61 c 18.8s| 50000 | 24297 | 0 | 0.0 | 58M|2816 | - |5645 |7454 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
19.89/19.93 o 52
19.89/19.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.89/19.93 c *19.1s| 50590 | 24338 | 0 | 0.0 | 59M|2816 | - |5645 |7260 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 5.200000e+01 | Inf
20.00/20.09 o 45
20.00/20.09 c *19.2s| 50837 | 23828 | 0 | 0.0 | 54M|2816 | - |5645 |7443 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
20.09/20.16 o 19
20.09/20.16 c *19.3s| 50951 | 22669 | 0 | 0.0 | 51M|2816 | - |5645 |7520 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
20.19/20.21 o 18
20.19/20.21 c *19.4s| 51030 | 22687 | 0 | 0.0 | 51M|2816 | - |5645 |7563 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
20.19/20.21 o 15
20.19/20.21 c *19.4s| 51031 | 22535 | 0 | 0.0 | 51M|2816 | - |5645 |7563 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
24.59/24.67 o 11
24.59/24.67 c *23.6s| 59031 | 28787 | 0 | 0.0 | 60M|2816 | - |5645 |8194 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
25.20/25.21 c 24.2s| 60000 | 29574 | 0 | 0.0 | 61M|2816 | - |5645 |8264 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
29.79/29.85 c 28.6s| 70000 | 37451 | 0 | 0.0 | 76M|2816 | - |5645 |9105 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
33.59/33.60 c 32.1s| 80000 | 45616 | 0 | 0.0 | 88M|2816 | - |5645 |9615 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
37.49/37.53 c 35.9s| 90000 | 53636 | 0 | 0.0 | 100M|2816 | - |5645 |8759 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
41.70/41.77 c 40.0s|100000 | 61220 | 0 | 0.0 | 111M|2816 | - |5645 |9534 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
46.29/46.35 c 44.4s|110000 | 68535 | 0 | 0.0 | 123M|2816 | - |5645 | 10k| 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
50.99/51.09 c 48.9s|120000 | 75674 | 0 | 0.0 | 134M|2816 | - |5645 | 10k| 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
56.29/56.38 c 54.0s|130000 | 82355 | 0 | 0.0 | 145M|2816 | - |5645 | 11k| 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
62.50/62.55 c 60.0s|140000 | 88353 | 0 | 0.0 | 157M|2816 | - |5645 | 12k| 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
69.30/69.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
69.30/69.35 c 66.6s|150000 | 93868 | 0 | 0.0 | 169M|2816 | - |5645 | 12k| 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
76.69/76.77 c 73.8s|160000 | 98909 | 0 | 0.0 | 181M|2816 | - |5645 | 14k| 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
85.59/85.68 c 82.4s|170000 |103071 | 0 | 0.0 | 193M|2816 | - |5645 | 16k| 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
94.00/94.05 c 90.6s|180000 |108487 | 0 | 0.0 | 203M|2816 | - |5645 |8661 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
94.61/94.67 o 4
94.61/94.67 c *91.2s|181246 |108836 | 0 | 0.0 | 203M|2816 | - |5645 |8718 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
101.79/101.83 c 98.1s|190000 |114462 | 0 | 0.0 | 224M|2816 | - |5645 |8464 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
108.70/108.75 c 105s|200000 |122461 | 0 | 0.0 | 252M|2816 | - |5645 |6355 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
114.30/114.39 c 110s|210000 |127308 | 0 | 0.0 | 261M|2816 | - |5645 |5620 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
119.70/119.73 c 115s|220000 |133451 | 0 | 0.0 | 272M|2816 | - |5645 |8016 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
123.50/123.56 c 119s|230000 |141417 | 0 | 0.0 | 282M|2816 | - |5645 |6222 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
128.20/128.25 c 123s|240000 |148179 | 0 | 0.0 | 291M|2816 | - |5645 |5596 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
130.10/130.16 o 3
130.10/130.16 c * 125s|243948 |150714 | 0 | 0.0 | 296M|2816 | - |5645 |6456 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
133.30/133.31 c 128s|250000 |154624 | 0 | 0.0 | 301M|2816 | - |5645 |5721 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
138.10/138.15 c 133s|260000 |161383 | 0 | 0.0 | 311M|2816 | - |5645 |6073 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
142.50/142.59 c 137s|270000 |168520 | 0 | 0.0 | 321M|2816 | - |5645 |7407 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
146.59/146.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
146.59/146.64 c 141s|280000 |176154 | 0 | 0.0 | 330M|2816 | - |5645 |6345 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
151.19/151.28 c 145s|290000 |183161 | 0 | 0.0 | 339M|2816 | - |5645 |5686 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
155.30/155.33 c 149s|300000 |190841 | 0 | 0.0 | 350M|2816 | - |5645 |6178 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
159.60/159.69 c 153s|310000 |198117 | 0 | 0.0 | 359M|2816 | - |5645 |6438 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
164.49/164.56 c 158s|320000 |204912 | 0 | 0.0 | 369M|2816 | - |5645 |7633 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
169.30/169.34 c 163s|330000 |212071 | 0 | 0.0 | 378M|2816 | - |5645 |5882 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
173.60/173.68 c 167s|340000 |219229 | 0 | 0.0 | 387M|2816 | - |5645 |5894 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
178.10/178.15 c 171s|350000 |226298 | 0 | 0.0 | 397M|2816 | - |5645 |5972 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
182.61/182.64 c 175s|360000 |233344 | 0 | 0.0 | 406M|2816 | - |5645 |6382 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
187.10/187.14 c 180s|370000 |240318 | 0 | 0.0 | 416M|2816 | - |5645 |7659 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
191.00/191.01 c 183s|380000 |248074 | 0 | 0.0 | 426M|2816 | - |5645 |6759 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
195.50/195.51 c 187s|390000 |255124 | 0 | 0.0 | 436M|2816 | - |5645 |7138 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
199.90/199.96 c 192s|400000 |262243 | 0 | 0.0 | 445M|2816 | - |5645 |6858 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
204.29/204.36 c 196s|410000 |269456 | 0 | 0.0 | 454M|2816 | - |5645 |5968 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
208.70/208.74 c 200s|420000 |276688 | 0 | 0.0 | 464M|2816 | - |5645 |7429 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
213.40/213.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
213.40/213.45 c 204s|430000 |283578 | 0 | 0.0 | 473M|2816 | - |5645 |6076 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
217.50/217.53 c 208s|440000 |291153 | 0 | 0.0 | 483M|2816 | - |5645 |6626 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
222.30/222.37 c 213s|450000 |297845 | 0 | 0.0 | 493M|2816 | - |5645 |7415 | 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
226.99/227.05 c 217s|460000 |304724 | 0 | 0.0 | 501M|2816 | - |5645 |6708 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
231.50/231.50 c 222s|470000 |311741 | 0 | 0.0 | 511M|2816 | - |5645 |6495 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
235.60/235.69 c 226s|480000 |319068 | 0 | 0.0 | 520M|2816 | - |5645 |6412 | 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
239.90/239.94 c 230s|490000 |326222 | 0 | 0.0 | 529M|2816 | - |5645 |6474 | 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
244.50/244.56 c 234s|500000 |333091 | 0 | 0.0 | 539M|2816 | - |5645 |7394 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
248.20/248.22 c 237s|510000 |341007 | 0 | 0.0 | 547M|2816 | - |5645 |6615 | 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
252.80/252.90 c 242s|520000 |347772 | 0 | 0.0 | 557M|2816 | - |5645 |7747 | 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
257.20/257.25 c 246s|530000 |354904 | 0 | 0.0 | 566M|2816 | - |5645 |7081 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
261.30/261.30 c 250s|540000 |362356 | 0 | 0.0 | 575M|2816 | - |5645 |4899 | 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
264.60/264.65 c 253s|550000 |370563 | 0 | 0.0 | 584M|2816 | - |5645 |4751 | 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
267.90/267.95 c 256s|560000 |378734 | 0 | 0.0 | 594M|2816 | - |5645 |4739 | 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
272.80/272.84 c 261s|570000 |385320 | 0 | 0.0 | 605M|2816 | - |5645 |6708 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
278.60/278.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
278.60/278.63 c 266s|580000 |391259 | 0 | 0.0 | 616M|2816 | - |5645 |7767 | 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
284.50/284.58 c 272s|590000 |397034 | 0 | 0.0 | 627M|2816 | - |5645 |8344 | 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
290.70/290.74 c 278s|600000 |402639 | 0 | 0.0 | 638M|2816 | - |5645 |8909 | 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
297.40/297.48 c 285s|610000 |407865 | 0 | 0.0 | 649M|2816 | - |5645 |9431 | 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
304.30/304.39 c 291s|620000 |412940 | 0 | 0.0 | 659M|2816 | - |5645 |9536 | 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
311.21/311.28 c 298s|630000 |418041 | 0 | 0.0 | 670M|2816 | - |5645 | 10k| 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
318.20/318.28 c 305s|640000 |423062 | 0 | 0.0 | 680M|2816 | - |5645 |9776 | 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
325.40/325.48 c 312s|650000 |427858 | 0 | 0.0 | 691M|2816 | - |5645 |9497 | 0 | 0 | 0 | 432k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
332.80/332.81 c 319s|660000 |432525 | 0 | 0.0 | 701M|2816 | - |5645 |9459 | 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
339.70/339.79 c 326s|670000 |437520 | 0 | 0.0 | 712M|2816 | - |5645 |8949 | 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
347.10/347.12 c 333s|680000 |442097 | 0 | 0.0 | 722M|2816 | - |5645 | 10k| 0 | 0 | 0 | 458k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
355.00/355.08 c 340s|690000 |446157 | 0 | 0.0 | 732M|2816 | - |5645 | 10k| 0 | 0 | 0 | 467k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
362.80/362.90 c 348s|700000 |450238 | 0 | 0.0 | 742M|2816 | - |5645 | 10k| 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
370.90/370.94 c 356s|710000 |454281 | 0 | 0.0 | 752M|2816 | - |5645 | 10k| 0 | 0 | 0 | 487k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
378.20/378.26 c 363s|720000 |459036 | 0 | 0.0 | 762M|2816 | - |5645 |9583 | 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
386.30/386.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
386.30/386.40 c 371s|730000 |462905 | 0 | 0.0 | 772M|2816 | - |5645 | 11k| 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
394.40/394.45 c 379s|740000 |466901 | 0 | 0.0 | 782M|2816 | - |5645 | 11k| 0 | 0 | 0 | 516k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
402.51/402.55 c 387s|750000 |470870 | 0 | 0.0 | 791M|2816 | - |5645 | 11k| 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
410.80/410.82 c 395s|760000 |474707 | 0 | 0.0 | 800M|2816 | - |5645 | 10k| 0 | 0 | 0 | 536k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
419.00/419.06 c 403s|770000 |478585 | 0 | 0.0 | 809M|2816 | - |5645 | 10k| 0 | 0 | 0 | 546k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
427.60/427.68 c 411s|780000 |482106 | 0 | 0.0 | 819M|2816 | - |5645 | 10k| 0 | 0 | 0 | 557k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
437.00/437.05 c 420s|790000 |484982 | 0 | 0.0 | 828M|2816 | - |5645 | 11k| 0 | 0 | 0 | 569k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
447.00/447.07 c 430s|800000 |487283 | 0 | 0.0 | 837M|2816 | - |5645 | 12k| 0 | 0 | 0 | 582k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
457.91/457.92 c 441s|810000 |488799 | 0 | 0.0 | 844M|2816 | - |5645 | 12k| 0 | 0 | 0 | 596k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
468.81/468.87 c 451s|820000 |490436 | 0 | 0.0 | 852M|2816 | - |5645 | 13k| 0 | 0 | 0 | 610k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
480.61/480.68 c 463s|830000 |491460 | 0 | 0.0 | 860M|2816 | - |5645 | 13k| 0 | 0 | 0 | 625k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
493.91/493.98 c 476s|840000 |491238 | 0 | 0.0 | 865M|2816 | - |5645 | 14k| 0 | 0 | 0 | 643k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
503.61/503.62 c 485s|850000 |494423 | 0 | 0.0 | 866M|2816 | - |5645 |5525 | 0 | 0 | 0 | 654k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
507.91/507.95 c 489s|860000 |502013 | 0 | 0.0 | 876M|2816 | - |5645 |6016 | 0 | 0 | 0 | 658k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
512.51/512.56 c 494s|870000 |509294 | 0 | 0.0 | 886M|2816 | - |5645 |6939 | 0 | 0 | 0 | 662k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
517.81/517.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
517.81/517.85 c 499s|880000 |516042 | 0 | 0.0 | 897M|2816 | - |5645 |8143 | 0 | 0 | 0 | 667k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
523.81/523.87 c 505s|890000 |522213 | 0 | 0.0 | 908M|2816 | - |5645 |9346 | 0 | 0 | 0 | 673k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
530.81/530.83 c 511s|900000 |527660 | 0 | 0.0 | 919M|2816 | - |5645 | 10k| 0 | 0 | 0 | 680k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
540.21/540.23 c 520s|910000 |531141 | 0 | 0.0 | 929M|2816 | - |5645 | 13k| 0 | 0 | 0 | 691k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
549.40/549.42 c 529s|920000 |535401 | 0 | 0.0 | 935M|2816 | - |5645 |7331 | 0 | 0 | 0 | 701k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
553.70/553.76 c 533s|930000 |543144 | 0 | 0.0 | 944M|2816 | - |5645 |6216 | 0 | 0 | 0 | 705k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
558.21/558.20 c 538s|940000 |550722 | 0 | 0.0 | 954M|2816 | - |5645 |6265 | 0 | 0 | 0 | 708k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
562.61/562.66 c 542s|950000 |558235 | 0 | 0.0 | 964M|2816 | - |5645 |6378 | 0 | 0 | 0 | 712k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
567.31/567.30 c 546s|960000 |565609 | 0 | 0.0 | 974M|2816 | - |5645 |6741 | 0 | 0 | 0 | 716k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
572.02/572.05 c 551s|970000 |572822 | 0 | 0.0 | 983M|2816 | - |5645 |7067 | 0 | 0 | 0 | 720k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
577.01/577.04 c 556s|980000 |579808 | 0 | 0.0 | 993M|2816 | - |5645 |7563 | 0 | 0 | 0 | 725k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
582.01/582.05 c 560s|990000 |586819 | 0 | 0.0 |1003M|2816 | - |5645 |7922 | 0 | 0 | 0 | 729k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
588.01/588.08 c 566s| 1000k|592938 | 0 | 0.0 |1012M|2816 | - |5645 |8363 | 0 | 0 | 0 | 735k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
594.91/594.98 c 573s| 1010k|598399 | 0 | 0.0 |1023M|2816 | - |5645 |9381 | 0 | 0 | 0 | 743k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
602.41/602.42 c 580s| 1020k|603440 | 0 | 0.0 |1033M|2816 | - |5645 | 10k| 0 | 0 | 0 | 751k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
610.51/610.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
610.51/610.54 c 588s| 1030k|608015 | 0 | 0.0 |1043M|2816 | - |5645 | 11k| 0 | 0 | 0 | 760k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
619.71/619.78 c 597s| 1040k|611803 | 0 | 0.0 |1053M|2816 | - |5645 | 13k| 0 | 0 | 0 | 771k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
630.61/630.66 c 607s| 1050k|614555 | 0 | 0.0 |1059M|2816 | - |5645 | 12k| 0 | 0 | 0 | 784k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
634.51/634.57 c 611s| 1060k|622656 | 0 | 0.0 |1067M|2816 | - |5645 |5746 | 0 | 0 | 0 | 787k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
638.71/638.79 c 615s| 1070k|630237 | 0 | 0.0 |1077M|2816 | - |5645 |6187 | 0 | 0 | 0 | 790k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
643.21/643.23 c 619s| 1080k|637526 | 0 | 0.0 |1087M|2816 | - |5645 |6928 | 0 | 0 | 0 | 794k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
648.12/648.17 c 624s| 1090k|644360 | 0 | 0.0 |1097M|2816 | - |5645 |7757 | 0 | 0 | 0 | 799k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
653.52/653.57 c 629s| 1100k|650854 | 0 | 0.0 |1107M|2816 | - |5645 |8423 | 0 | 0 | 0 | 805k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
659.51/659.56 c 635s| 1110k|656833 | 0 | 0.0 |1116M|2816 | - |5645 |9076 | 0 | 0 | 0 | 811k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
667.01/667.04 c 642s| 1120k|661408 | 0 | 0.0 |1126M|2816 | - |5645 | 10k| 0 | 0 | 0 | 820k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
676.91/676.97 c 652s| 1130k|664168 | 0 | 0.0 |1134M|2816 | - |5645 | 13k| 0 | 0 | 0 | 832k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
683.01/683.07 c 658s| 1140k|670547 | 0 | 0.0 |1141M|2816 | - |5645 |6272 | 0 | 0 | 0 | 838k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
687.11/687.15 c 662s| 1150k|678265 | 0 | 0.0 |1150M|2816 | - |5645 |6267 | 0 | 0 | 0 | 842k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
691.32/691.35 c 666s| 1160k|685814 | 0 | 0.0 |1160M|2816 | - |5645 |6750 | 0 | 0 | 0 | 845k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
695.81/695.86 c 670s| 1170k|693088 | 0 | 0.0 |1169M|2816 | - |5645 |7327 | 0 | 0 | 0 | 849k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
700.72/700.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
700.72/700.72 c 674s| 1180k|699960 | 0 | 0.0 |1179M|2816 | - |5645 |8073 | 0 | 0 | 0 | 854k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
706.12/706.19 c 680s| 1190k|706312 | 0 | 0.0 |1189M|2816 | - |5645 |8978 | 0 | 0 | 0 | 860k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
713.61/713.67 c 687s| 1200k|710958 | 0 | 0.0 |1199M|2816 | - |5645 | 10k| 0 | 0 | 0 | 868k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
722.41/722.45 c 695s| 1210k|714548 | 0 | 0.0 |1209M|2816 | - |5645 | 12k| 0 | 0 | 0 | 879k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
724.62/724.65 o 2
724.62/724.65 c * 698s| 1212k|685101 | 0 | 0.0 |1170M|2816 | - |5645 | 13k| 0 | 0 | 0 | 881k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
732.32/732.39 c 705s| 1220k|688328 | 0 | 0.0 |1174M|2816 | - |5645 |7662 | 0 | 0 | 0 | 889k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
736.81/736.80 c 709s| 1230k|696005 | 0 | 0.0 |1184M|2816 | - |5645 |6930 | 0 | 0 | 0 | 893k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
741.11/741.13 c 713s| 1240k|703587 | 0 | 0.0 |1194M|2816 | - |5645 |7000 | 0 | 0 | 0 | 896k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
745.72/745.75 c 718s| 1250k|710886 | 0 | 0.0 |1203M|2816 | - |5645 |7397 | 0 | 0 | 0 | 900k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
750.71/750.76 c 722s| 1260k|717785 | 0 | 0.0 |1213M|2816 | - |5645 |8251 | 0 | 0 | 0 | 905k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
757.22/757.21 c 728s| 1270k|723492 | 0 | 0.0 |1223M|2816 | - |5645 |9435 | 0 | 0 | 0 | 912k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
765.22/765.28 c 736s| 1280k|727841 | 0 | 0.0 |1234M|2816 | - |5645 | 10k| 0 | 0 | 0 | 921k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
774.71/774.73 c 745s| 1290k|730896 | 0 | 0.0 |1243M|2816 | - |5645 | 12k| 0 | 0 | 0 | 932k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
781.92/781.91 c 752s| 1300k|736277 | 0 | 0.0 |1249M|2816 | - |5645 |6933 | 0 | 0 | 0 | 940k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
786.62/786.61 c 756s| 1310k|743512 | 0 | 0.0 |1259M|2816 | - |5645 |7108 | 0 | 0 | 0 | 944k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
792.02/792.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
792.02/792.03 c 762s| 1320k|750062 | 0 | 0.0 |1270M|2816 | - |5645 |7813 | 0 | 0 | 0 | 949k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
798.01/798.05 c 767s| 1330k|756010 | 0 | 0.0 |1281M|2816 | - |5645 |8847 | 0 | 0 | 0 | 956k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
804.92/804.99 c 774s| 1340k|761199 | 0 | 0.0 |1291M|2816 | - |5645 | 10k| 0 | 0 | 0 | 964k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
813.41/813.46 c 782s| 1350k|765221 | 0 | 0.0 |1301M|2816 | - |5645 | 12k| 0 | 0 | 0 | 974k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
824.02/824.05 c 792s| 1360k|768210 | 0 | 0.0 |1308M|2816 | - |5645 |8386 | 0 | 0 | 0 | 986k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
828.51/828.58 c 796s| 1370k|775631 | 0 | 0.0 |1317M|2816 | - |5645 |6671 | 0 | 0 | 0 | 990k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
833.42/833.43 c 801s| 1380k|782627 | 0 | 0.0 |1328M|2816 | - |5645 |7132 | 0 | 0 | 0 | 995k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
838.82/838.85 c 806s| 1390k|789051 | 0 | 0.0 |1338M|2816 | - |5645 |8073 | 0 | 0 | 0 |1001k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
844.82/844.87 c 812s| 1400k|795013 | 0 | 0.0 |1349M|2816 | - |5645 |9009 | 0 | 0 | 0 |1007k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
852.02/852.00 c 818s| 1410k|800024 | 0 | 0.0 |1359M|2816 | - |5645 | 10k| 0 | 0 | 0 |1016k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
860.51/860.53 c 827s| 1420k|804112 | 0 | 0.0 |1369M|2816 | - |5645 | 12k| 0 | 0 | 0 |1025k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
871.13/871.15 c 837s| 1430k|806963 | 0 | 0.0 |1375M|2816 | - |5645 |9916 | 0 | 0 | 0 |1037k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
875.53/875.51 c 841s| 1440k|814620 | 0 | 0.0 |1383M|2816 | - |5645 |6674 | 0 | 0 | 0 |1041k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
880.12/880.19 c 845s| 1450k|821801 | 0 | 0.0 |1393M|2816 | - |5645 |7068 | 0 | 0 | 0 |1045k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
885.02/885.04 c 850s| 1460k|828775 | 0 | 0.0 |1403M|2816 | - |5645 |7532 | 0 | 0 | 0 |1050k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
890.22/890.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
890.22/890.25 c 855s| 1470k|835410 | 0 | 0.0 |1413M|2816 | - |5645 |8290 | 0 | 0 | 0 |1055k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
895.82/895.89 c 860s| 1480k|841667 | 0 | 0.0 |1423M|2816 | - |5645 |9062 | 0 | 0 | 0 |1061k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
902.12/902.12 c 866s| 1490k|847344 | 0 | 0.0 |1432M|2816 | - |5645 |9909 | 0 | 0 | 0 |1068k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
909.62/909.62 c 873s| 1500k|851957 | 0 | 0.0 |1441M|2816 | - |5645 | 11k| 0 | 0 | 0 |1076k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
919.32/919.34 c 882s| 1510k|855024 | 0 | 0.0 |1449M|2816 | - |5645 | 15k| 0 | 0 | 0 |1088k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
925.72/925.76 c 888s| 1520k|861283 | 0 | 0.0 |1455M|2816 | - |5645 |7082 | 0 | 0 | 0 |1094k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
930.42/930.42 c 893s| 1530k|868603 | 0 | 0.0 |1464M|2816 | - |5645 |7094 | 0 | 0 | 0 |1098k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
935.12/935.19 c 897s| 1540k|875692 | 0 | 0.0 |1474M|2816 | - |5645 |7021 | 0 | 0 | 0 |1102k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
939.92/939.93 c 901s| 1550k|882645 | 0 | 0.0 |1483M|2816 | - |5645 |7288 | 0 | 0 | 0 |1107k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
945.22/945.22 c 906s| 1560k|889145 | 0 | 0.0 |1492M|2816 | - |5645 |7576 | 0 | 0 | 0 |1112k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
950.83/950.85 c 912s| 1570k|895343 | 0 | 0.0 |1502M|2816 | - |5645 |8080 | 0 | 0 | 0 |1118k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
956.93/956.94 c 917s| 1580k|901151 | 0 | 0.0 |1512M|2816 | - |5645 |8066 | 0 | 0 | 0 |1125k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
963.22/963.24 c 923s| 1590k|906768 | 0 | 0.0 |1521M|2816 | - |5645 |8599 | 0 | 0 | 0 |1132k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
969.52/969.56 c 929s| 1600k|912416 | 0 | 0.0 |1530M|2816 | - |5645 |8775 | 0 | 0 | 0 |1138k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
975.62/975.70 c 935s| 1610k|918285 | 0 | 0.0 |1539M|2816 | - |5645 |8293 | 0 | 0 | 0 |1145k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
982.02/982.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
982.02/982.02 c 941s| 1620k|923994 | 0 | 0.0 |1548M|2816 | - |5645 |8798 | 0 | 0 | 0 |1152k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
988.12/988.12 c 947s| 1630k|929982 | 0 | 0.0 |1558M|2816 | - |5645 |8540 | 0 | 0 | 0 |1158k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
994.33/994.37 c 953s| 1640k|935771 | 0 | 0.0 |1566M|2816 | - |5645 |8265 | 0 | 0 | 0 |1165k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1000.32/1000.33 c 959s| 1650k|941753 | 0 | 0.0 |1576M|2816 | - |5645 |8673 | 0 | 0 | 0 |1172k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1006.43/1006.43 c 964s| 1660k|947690 | 0 | 0.0 |1585M|2816 | - |5645 |8880 | 0 | 0 | 0 |1179k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1012.72/1012.71 c 970s| 1670k|953485 | 0 | 0.0 |1595M|2816 | - |5645 |9346 | 0 | 0 | 0 |1185k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1019.12/1019.13 c 976s| 1680k|959238 | 0 | 0.0 |1605M|2816 | - |5645 |9590 | 0 | 0 | 0 |1192k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1025.82/1025.82 c 983s| 1690k|964760 | 0 | 0.0 |1614M|2816 | - |5645 |9731 | 0 | 0 | 0 |1200k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1033.22/1033.23 c 990s| 1700k|969747 | 0 | 0.0 |1623M|2816 | - |5645 | 10k| 0 | 0 | 0 |1208k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1040.63/1040.62 c 997s| 1710k|974843 | 0 | 0.0 |1632M|2816 | - |5645 | 11k| 0 | 0 | 0 |1216k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1048.72/1048.72 c 1004s| 1720k|979530 | 0 | 0.0 |1642M|2816 | - |5645 | 11k| 0 | 0 | 0 |1224k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1057.63/1057.60 c 1013s| 1730k|983683 | 0 | 0.0 |1651M|2816 | - |5645 | 13k| 0 | 0 | 0 |1233k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1069.03/1069.03 c 1024s| 1740k|985888 | 0 | 0.0 |1660M|2816 | - |5645 | 17k| 0 | 0 | 0 |1246k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1075.62/1075.68 c 1030s| 1750k|992870 | 0 | 0.0 |1667M|2816 | - |5645 | 11k| 0 | 0 | 0 |1251k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1081.03/1081.03 c 1035s| 1760k| 1000k| 0 | 0.0 |1678M|2816 | - |5645 | 11k| 0 | 0 | 0 |1254k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1086.43/1086.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1086.43/1086.45 c 1040s| 1770k| 1007k| 0 | 0.0 |1688M|2816 | - |5645 |9824 | 0 | 0 | 0 |1259k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1092.62/1092.65 c 1046s| 1780k| 1013k| 0 | 0.0 |1698M|2816 | - |5645 | 11k| 0 | 0 | 0 |1265k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1099.93/1099.96 c 1053s| 1790k| 1018k| 0 | 0.0 |1709M|2816 | - |5645 | 12k| 0 | 0 | 0 |1273k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1109.22/1109.27 c 1062s| 1800k| 1022k| 0 | 0.0 |1719M|2816 | - |5645 | 14k| 0 | 0 | 0 |1283k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1120.83/1120.86 c 1073s| 1810k| 1025k| 0 | 0.0 |1725M|2816 | - |5645 | 14k| 0 | 0 | 0 |1295k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1125.83/1125.82 c 1078s| 1820k| 1033k| 0 | 0.0 |1734M|2816 | - |5645 | 10k| 0 | 0 | 0 |1298k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1130.52/1130.56 c 1082s| 1830k| 1040k| 0 | 0.0 |1744M|2816 | - |5645 | 10k| 0 | 0 | 0 |1302k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1135.53/1135.56 c 1087s| 1840k| 1048k| 0 | 0.0 |1754M|2816 | - |5645 | 11k| 0 | 0 | 0 |1306k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1140.83/1140.81 c 1092s| 1850k| 1055k| 0 | 0.0 |1764M|2816 | - |5645 | 12k| 0 | 0 | 0 |1311k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1146.63/1146.61 c 1098s| 1860k| 1062k| 0 | 0.0 |1774M|2816 | - |5645 | 13k| 0 | 0 | 0 |1316k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1153.73/1153.72 c 1104s| 1870k| 1068k| 0 | 0.0 |1785M|2816 | - |5645 | 15k| 0 | 0 | 0 |1323k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1164.23/1164.23 c 1114s| 1880k| 1072k| 0 | 0.0 |1795M|2816 | - |5645 | 18k| 0 | 0 | 0 |1333k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1176.82/1176.90 c 1127s| 1890k| 1075k| 0 | 0.0 |1803M|2816 | - |5645 | 18k| 0 | 0 | 0 |1344k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1182.93/1182.96 c 1132s| 1900k| 1082k| 0 | 0.0 |1812M|2816 | - |5645 | 12k| 0 | 0 | 0 |1348k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1188.83/1188.83 c 1138s| 1910k| 1089k| 0 | 0.0 |1822M|2816 | - |5645 | 11k| 0 | 0 | 0 |1353k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1194.93/1194.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1194.93/1194.97 c 1144s| 1920k| 1096k| 0 | 0.0 |1833M|2816 | - |5645 | 10k| 0 | 0 | 0 |1358k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1201.63/1201.66 c 1150s| 1930k| 1102k| 0 | 0.0 |1843M|2816 | - |5645 | 12k| 0 | 0 | 0 |1365k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1210.13/1210.20 c 1158s| 1940k| 1106k| 0 | 0.0 |1854M|2816 | - |5645 | 14k| 0 | 0 | 0 |1373k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1221.93/1221.92 c 1170s| 1950k| 1109k| 0 | 0.0 |1863M|2816 | - |5645 | 17k| 0 | 0 | 0 |1386k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1231.03/1231.04 c 1178s| 1960k| 1114k| 0 | 0.0 |1870M|2816 | - |5645 | 11k| 0 | 0 | 0 |1394k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1235.82/1235.86 c 1183s| 1970k| 1122k| 0 | 0.0 |1880M|2816 | - |5645 | 11k| 0 | 0 | 0 |1398k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1241.23/1241.26 c 1188s| 1980k| 1129k| 0 | 0.0 |1890M|2816 | - |5645 | 12k| 0 | 0 | 0 |1403k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1247.73/1247.72 c 1194s| 1990k| 1135k| 0 | 0.0 |1900M|2816 | - |5645 | 12k| 0 | 0 | 0 |1409k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1255.43/1255.44 c 1202s| 2000k| 1140k| 0 | 0.0 |1911M|2816 | - |5645 | 14k| 0 | 0 | 0 |1417k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1264.63/1264.60 c 1210s| 2010k| 1144k| 0 | 0.0 |1921M|2816 | - |5645 | 16k| 0 | 0 | 0 |1426k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1277.43/1277.42 c 1223s| 2020k| 1147k| 0 | 0.0 |1928M|2816 | - |5645 | 19k| 0 | 0 | 0 |1439k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1283.33/1283.34 c 1228s| 2030k| 1154k| 0 | 0.0 |1937M|2816 | - |5645 | 14k| 0 | 0 | 0 |1443k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1289.24/1289.25 c 1234s| 2040k| 1161k| 0 | 0.0 |1947M|2816 | - |5645 | 12k| 0 | 0 | 0 |1447k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1295.74/1295.76 c 1240s| 2050k| 1168k| 0 | 0.0 |1958M|2816 | - |5645 | 13k| 0 | 0 | 0 |1453k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1303.03/1303.02 c 1247s| 2060k| 1174k| 0 | 0.0 |1969M|2816 | - |5645 | 14k| 0 | 0 | 0 |1459k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1311.63/1311.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1311.63/1311.60 c 1255s| 2070k| 1179k| 0 | 0.0 |1981M|2816 | - |5645 | 16k| 0 | 0 | 0 |1467k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1321.23/1321.24 c 1265s| 2080k| 1184k| 0 | 0.0 |1991M|2816 | - |5645 | 18k| 0 | 0 | 0 |1475k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1331.63/1331.61 c 1274s| 2090k| 1188k| 0 | 0.0 |2000M|2816 | - |5645 | 17k| 0 | 0 | 0 |1485k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1339.24/1339.26 c 1282s| 2100k| 1194k| 0 | 0.0 |2008M|2816 | - |5645 | 13k| 0 | 0 | 0 |1491k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1345.34/1345.33 c 1288s| 2110k| 1201k| 0 | 0.0 |2017M|2816 | - |5645 | 13k| 0 | 0 | 0 |1496k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1351.94/1351.96 c 1294s| 2120k| 1207k| 0 | 0.0 |2027M|2816 | - |5645 | 14k| 0 | 0 | 0 |1503k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1359.23/1359.29 c 1301s| 2130k| 1213k| 0 | 0.0 |2038M|2816 | - |5645 | 16k| 0 | 0 | 0 |1510k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1368.14/1368.15 c 1309s| 2140k| 1218k| 0 | 0.0 |2048M|2816 | - |5645 | 18k| 0 | 0 | 0 |1518k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1380.34/1380.30 c 1321s| 2150k| 1220k| 0 | 0.0 |2057M|2816 | - |5645 | 21k| 0 | 0 | 0 |1531k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1387.83/1387.89 c 1329s| 2160k| 1227k| 0 | 0.0 |2065M|2816 | - |5645 | 15k| 0 | 0 | 0 |1537k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1394.04/1394.09 c 1334s| 2170k| 1234k| 0 | 0.0 |2075M|2816 | - |5645 | 13k| 0 | 0 | 0 |1542k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1400.54/1400.55 c 1341s| 2180k| 1241k| 0 | 0.0 |2086M|2816 | - |5645 | 14k| 0 | 0 | 0 |1547k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1407.03/1407.02 c 1347s| 2190k| 1247k| 0 | 0.0 |2096M|2816 | - |5645 | 15k| 0 | 0 | 0 |1553k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1414.44/1414.49 c 1354s| 2200k| 1253k| 0 | 0.0 |2106M|2816 | - |5645 | 16k| 0 | 0 | 0 |1560k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1423.63/1423.67 c 1363s| 2210k| 1258k| 0 | 0.0 |2116M|2816 | - |5645 | 18k| 0 | 0 | 0 |1568k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1435.83/1435.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1435.83/1435.82 c 1374s| 2220k| 1261k| 0 | 0.0 |2127M|2816 | - |5645 | 21k| 0 | 0 | 0 |1580k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1443.03/1443.05 c 1381s| 2230k| 1268k| 0 | 0.0 |2133M|2816 | - |5645 | 14k| 0 | 0 | 0 |1586k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1448.54/1448.51 c 1387s| 2240k| 1276k| 0 | 0.0 |2142M|2816 | - |5645 | 13k| 0 | 0 | 0 |1590k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1453.73/1453.75 c 1392s| 2250k| 1283k| 0 | 0.0 |2151M|2816 | - |5645 | 12k| 0 | 0 | 0 |1594k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1458.94/1458.97 c 1396s| 2260k| 1291k| 0 | 0.0 |2160M|2816 | - |5645 | 12k| 0 | 0 | 0 |1598k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1464.43/1464.46 c 1402s| 2270k| 1298k| 0 | 0.0 |2169M|2816 | - |5645 | 13k| 0 | 0 | 0 |1603k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1470.14/1470.18 c 1407s| 2280k| 1305k| 0 | 0.0 |2179M|2816 | - |5645 | 13k| 0 | 0 | 0 |1607k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1476.03/1476.09 c 1413s| 2290k| 1312k| 0 | 0.0 |2188M|2816 | - |5645 | 13k| 0 | 0 | 0 |1612k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1483.13/1483.16 c 1419s| 2300k| 1318k| 0 | 0.0 |2199M|2816 | - |5645 | 14k| 0 | 0 | 0 |1619k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1490.74/1490.73 c 1427s| 2310k| 1324k| 0 | 0.0 |2210M|2816 | - |5645 | 15k| 0 | 0 | 0 |1626k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1499.44/1499.40 c 1435s| 2320k| 1329k| 0 | 0.0 |2221M|2816 | - |5645 | 16k| 0 | 0 | 0 |1633k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1508.54/1508.57 c 1444s| 2330k| 1334k| 0 | 0.0 |2231M|2816 | - |5645 | 17k| 0 | 0 | 0 |1642k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1518.34/1518.34 c 1453s| 2340k| 1339k| 0 | 0.0 |2241M|2816 | - |5645 | 18k| 0 | 0 | 0 |1651k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1531.04/1531.01 c 1465s| 2350k| 1342k| 0 | 0.0 |2251M|2816 | - |5645 | 21k| 0 | 0 | 0 |1663k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1542.03/1542.06 c 1476s| 2360k| 1346k| 0 | 0.0 |2257M|2816 | - |5645 | 17k| 0 | 0 | 0 |1673k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1547.75/1547.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1547.75/1547.74 c 1482s| 2370k| 1354k| 0 | 0.0 |2266M|2816 | - |5645 | 14k| 0 | 0 | 0 |1676k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1553.54/1553.53 c 1487s| 2380k| 1361k| 0 | 0.0 |2276M|2816 | - |5645 | 14k| 0 | 0 | 0 |1681k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1559.94/1559.90 c 1493s| 2390k| 1368k| 0 | 0.0 |2287M|2816 | - |5645 | 14k| 0 | 0 | 0 |1686k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1566.34/1566.33 c 1499s| 2400k| 1375k| 0 | 0.0 |2297M|2816 | - |5645 | 15k| 0 | 0 | 0 |1691k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1573.24/1573.23 c 1506s| 2410k| 1382k| 0 | 0.0 |2308M|2816 | - |5645 | 15k| 0 | 0 | 0 |1697k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1580.74/1580.72 c 1513s| 2420k| 1388k| 0 | 0.0 |2319M|2816 | - |5645 | 15k| 0 | 0 | 0 |1703k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1588.45/1588.49 c 1520s| 2430k| 1394k| 0 | 0.0 |2329M|2816 | - |5645 | 16k| 0 | 0 | 0 |1710k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1596.64/1596.65 c 1528s| 2440k| 1400k| 0 | 0.0 |2339M|2816 | - |5645 | 16k| 0 | 0 | 0 |1717k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1605.44/1605.42 c 1537s| 2450k| 1405k| 0 | 0.0 |2349M|2816 | - |5645 | 16k| 0 | 0 | 0 |1724k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1614.04/1614.08 c 1545s| 2460k| 1410k| 0 | 0.0 |2360M|2816 | - |5645 | 16k| 0 | 0 | 0 |1732k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1623.04/1623.06 c 1554s| 2470k| 1416k| 0 | 0.0 |2369M|2816 | - |5645 | 16k| 0 | 0 | 0 |1740k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1631.84/1631.85 c 1562s| 2480k| 1421k| 0 | 0.0 |2379M|2816 | - |5645 | 16k| 0 | 0 | 0 |1748k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1641.34/1641.37 c 1571s| 2490k| 1426k| 0 | 0.0 |2388M|2816 | - |5645 | 16k| 0 | 0 | 0 |1756k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1651.05/1651.01 c 1580s| 2500k| 1431k| 0 | 0.0 |2395M|2816 | - |5645 |8218 | 0 | 0 | 0 |1764k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1658.04/1658.05 c 1587s| 2510k| 1436k| 0 | 0.0 |2405M|2816 | - |5645 |9975 | 0 | 0 | 0 |1772k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1665.45/1665.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1665.45/1665.46 c 1594s| 2520k| 1441k| 0 | 0.0 |2414M|2816 | - |5645 | 10k| 0 | 0 | 0 |1780k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1674.15/1674.17 c 1602s| 2530k| 1445k| 0 | 0.0 |2425M|2816 | - |5645 | 11k| 0 | 0 | 0 |1789k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1685.25/1685.28 c 1613s| 2540k| 1448k| 0 | 0.0 |2432M|2816 | - |5645 | 13k| 0 | 0 | 0 |1802k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1689.94/1689.93 c 1618s| 2550k| 1456k| 0 | 0.0 |2440M|2816 | - |5645 |9385 | 0 | 0 | 0 |1805k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1694.44/1694.49 c 1622s| 2560k| 1463k| 0 | 0.0 |2449M|2816 | - |5645 |9451 | 0 | 0 | 0 |1809k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1699.34/1699.33 c 1626s| 2570k| 1470k| 0 | 0.0 |2458M|2816 | - |5645 |9968 | 0 | 0 | 0 |1812k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1705.44/1705.48 c 1632s| 2580k| 1477k| 0 | 0.0 |2469M|2816 | - |5645 | 10k| 0 | 0 | 0 |1818k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1712.44/1712.42 c 1639s| 2590k| 1482k| 0 | 0.0 |2479M|2816 | - |5645 | 12k| 0 | 0 | 0 |1825k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1721.35/1721.38 c 1647s| 2600k| 1486k| 0 | 0.0 |2488M|2816 | - |5645 | 13k| 0 | 0 | 0 |1835k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1730.45/1730.49 c 1656s| 2610k| 1490k| 0 | 0.0 |2495M|2816 | - |5645 |9556 | 0 | 0 | 0 |1845k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1734.64/1734.66 c 1660s| 2620k| 1497k| 0 | 0.0 |2503M|2816 | - |5645 |8666 | 0 | 0 | 0 |1848k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1738.94/1738.99 c 1664s| 2630k| 1505k| 0 | 0.0 |2513M|2816 | - |5645 |8785 | 0 | 0 | 0 |1852k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1743.55/1743.58 c 1668s| 2640k| 1512k| 0 | 0.0 |2521M|2816 | - |5645 |9216 | 0 | 0 | 0 |1855k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1749.24/1749.23 c 1674s| 2650k| 1518k| 0 | 0.0 |2531M|2816 | - |5645 | 10k| 0 | 0 | 0 |1861k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1757.04/1757.09 c 1681s| 2660k| 1523k| 0 | 0.0 |2541M|2816 | - |5645 | 12k| 0 | 0 | 0 |1869k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1767.54/1767.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1767.54/1767.51 c 1691s| 2670k| 1526k| 0 | 0.0 |2549M|2816 | - |5645 | 14k| 0 | 0 | 0 |1880k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1772.54/1772.53 c 1696s| 2680k| 1533k| 0 | 0.0 |2557M|2816 | - |5645 |9074 | 0 | 0 | 0 |1884k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1777.85/1777.83 c 1701s| 2690k| 1540k| 0 | 0.0 |2567M|2816 | - |5645 |9288 | 0 | 0 | 0 |1889k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1783.75/1783.70 c 1707s| 2700k| 1546k| 0 | 0.0 |2578M|2816 | - |5645 | 10k| 0 | 0 | 0 |1894k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1790.54/1790.54 c 1713s| 2710k| 1552k| 0 | 0.0 |2588M|2816 | - |5645 | 11k| 0 | 0 | 0 |1900k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1798.74/1798.79 c 1721s| 2720k| 1556k| 0 | 0.0 |2598M|2816 | - |5645 | 12k| 0 | 0 | 0 |1908k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1722.07
1800.05/1800.00 c Solving Nodes : 2721439
1800.05/1800.00 c Primal Bound : +2.00000000000000e+00 (36 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.06 s SATISFIABLE
1800.05/1800.06 v -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210
1800.05/1800.06 v -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 x190 -x189
1800.05/1800.06 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.05/1800.06 v -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.05/1800.06 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 -x127 -x126 -x125
1800.05/1800.06 v -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104
1800.05/1800.06 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.05/1800.06 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.05/1800.06 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.05/1800.06 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.05/1800.06 v -x1
1800.05/1800.06 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.06 c Solving Time : 1722.07
1800.05/1800.06 c Original Problem :
1800.05/1800.06 c Problem name : HOME/instance-2693585-1277925360.wbo
1800.05/1800.06 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.05/1800.06 c Constraints : 5415 initial, 5415 maximal
1800.05/1800.06 c Presolved Problem :
1800.05/1800.06 c Problem name : t_HOME/instance-2693585-1277925360.wbo
1800.05/1800.06 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.05/1800.06 c Constraints : 5414 initial, 23259 maximal
1800.05/1800.06 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.06 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.06 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.06 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.06 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.06 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.06 c probing : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.06 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.06 c linear : 0.02 0 0 0 2707 0 1 0 0
1800.05/1800.06 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.06 c root node : - 2673 - - 5346 - - - -
1800.05/1800.06 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.06 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.06 c indicator : 2707 0 6920177 0 1959471 41 1852606 0 0 0
1800.05/1800.06 c linear : 2707 0 8535597 0 2310227 579452 48275285 0 0 0
1800.05/1800.06 c logicor : 0+ 0 4012291 0 0 90507 2655646 0 0 0
1800.05/1800.06 c countsols : 0 0 0 0 2310248 0 0 0 0 0
1800.05/1800.06 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.06 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.06 c indicator : 8.82 0.00 3.74 0.00 5.08
1800.05/1800.06 c linear : 457.74 0.00 456.61 0.00 1.13
1800.05/1800.06 c logicor : 247.01 0.00 247.01 0.00 0.00
1800.05/1800.06 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.06 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.06 c vbounds : 0.02 2 0 0
1800.05/1800.06 c rootredcost : 0.01 0 0 0
1800.05/1800.06 c pseudoobj : 404.29 8536351 740 1827094
1800.05/1800.06 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.06 c propagation : 33.22 670699 670682 3258612 19.5 91495 11.4 -
1800.05/1800.06 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.06 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.06 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.06 c pseudo solution : 0.02 41 41 149 25.0 129 9.8 -
1800.05/1800.06 c applied globally : - - - 1910204 18.1 - - -
1800.05/1800.06 c applied locally : - - - 0 0.0 - - -
1800.05/1800.06 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.06 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.06 c redcost : 0.00 0 0 0 0 0
1800.05/1800.06 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.06 c intobj : 0.00 0 0 0 0 0
1800.05/1800.06 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.06 c gomory : 0.00 0 0 0 0 0
1800.05/1800.06 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.06 c cmir : 0.00 0 0 0 0 0
1800.05/1800.06 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.06 c clique : 0.00 0 0 0 0 0
1800.05/1800.06 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.06 c mcf : 0.00 0 0 0 0 0
1800.05/1800.06 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.06 c Pricers : Time Calls Vars
1800.05/1800.06 c problem variables: 0.00 0 0
1800.05/1800.06 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.06 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.06 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.06 c inference : 35.34 2310215 0 0 0 0 4620430
1800.05/1800.06 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.06 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.06 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.06 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.06 c random : 0.00 0 0 0 0 0 0
1800.05/1800.06 c Primal Heuristics : Time Calls Found
1800.05/1800.06 c LP solutions : 0.00 - 0
1800.05/1800.06 c pseudo solutions : 0.07 - 33
1800.05/1800.06 c oneopt : 0.14 0 0
1800.05/1800.06 c trivial : 0.08 2 2
1800.05/1800.06 c simplerounding : 0.00 0 0
1800.05/1800.06 c zirounding : 0.00 0 0
1800.05/1800.06 c rounding : 0.00 0 0
1800.05/1800.06 c shifting : 0.00 0 0
1800.05/1800.06 c intshifting : 0.00 0 0
1800.05/1800.06 c twoopt : 0.00 0 0
1800.05/1800.06 c fixandinfer : 0.00 0 0
1800.05/1800.06 c feaspump : 0.00 0 0
1800.05/1800.06 c coefdiving : 0.00 0 0
1800.05/1800.06 c pscostdiving : 0.00 0 0
1800.05/1800.06 c fracdiving : 0.00 0 0
1800.05/1800.06 c veclendiving : 0.00 0 0
1800.05/1800.06 c intdiving : 0.00 0 0
1800.05/1800.06 c actconsdiving : 0.00 0 0
1800.05/1800.06 c objpscostdiving : 0.00 0 0
1800.05/1800.06 c rootsoldiving : 0.00 0 0
1800.05/1800.06 c linesearchdiving : 0.00 0 0
1800.05/1800.06 c guideddiving : 0.00 0 0
1800.05/1800.06 c octane : 0.00 0 0
1800.05/1800.06 c rens : 0.00 0 0
1800.05/1800.06 c rins : 0.00 0 0
1800.05/1800.06 c localbranching : 0.00 0 0
1800.05/1800.06 c mutation : 0.00 0 0
1800.05/1800.06 c crossover : 0.00 0 0
1800.05/1800.06 c dins : 0.00 0 0
1800.05/1800.06 c undercover : 0.00 0 0
1800.05/1800.06 c nlp : 0.00 0 0
1800.05/1800.06 c trysol : 0.01 1 1
1800.05/1800.06 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.06 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.06 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.06 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.06 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.06 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.06 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.06 c (at root node) : - 0 0 0.00 -
1800.05/1800.06 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.06 c B&B Tree :
1800.05/1800.06 c number of runs : 1
1800.05/1800.06 c nodes : 2721439
1800.05/1800.06 c nodes (total) : 2721439
1800.05/1800.06 c nodes left : 1557473
1800.05/1800.06 c max depth : 2816
1800.05/1800.06 c max depth (total): 2816
1800.05/1800.06 c backtracks : 355594 (13.1%)
1800.05/1800.06 c delayed cutoffs : 288080
1800.05/1800.06 c repropagations : 1358663 (16027710 domain reductions, 259590 cutoffs)
1800.05/1800.06 c avg switch length: 36.57
1800.05/1800.06 c switching time : 470.98
1800.05/1800.06 c Solution :
1800.05/1800.06 c Solutions found : 36 (34 improvements)
1800.05/1800.06 c First Solution : +1.36842000000000e+05 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.05/1800.06 c Primal Bound : +2.00000000000000e+00 (in run 1, after 1212001 nodes, 697.52 seconds, depth 650, found by <relaxation>)
1800.05/1800.06 c Dual Bound : +0.00000000000000e+00
1800.05/1800.06 c Gap : infinite
1800.05/1800.06 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.06 c Root Iterations : 0
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693585-1277925360/watcher-2693585-1277925360 -o /tmp/evaluation-result-2693585-1277925360/solver-2693585-1277925360 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693585-1277925360.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.89 1.98 1.99 3/200 14881 /proc/meminfo: memFree=31148696/32951124 swapFree=67111528/67111528 [pid=14881] ppid=14879 vsize=8408 CPUtime=0 /proc/14881/stat : 14881 (pbscip.linux.x8) R 14879 14881 14856 0 -1 4202496 1580 0 0 0 0 0 0 0 21 0 1 0 133831645 8609792 1502 4089446400 4194304 7136930 140734874920608 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/14881/statm: 2150 1517 275 719 0 1429 0 [startup+0.0111379 s] /proc/loadavg: 1.89 1.98 1.99 3/200 14881 /proc/meminfo: memFree=31148696/32951124 swapFree=67111528/67111528 [pid=14881] ppid=14879 vsize=10228 CPUtime=0 /proc/14881/stat : 14881 (pbscip.linux.x8) R 14879 14881 14856 0 -1 4202496 2036 0 0 0 0 0 0 0 21 0 1 0 133831645 10473472 1958 4089446400 4194304 7136930 140734874920608 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/14881/statm: 2746 1992 275 719 0 2025 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 10228 [startup+0.101122 s] /proc/loadavg: 1.89 1.98 1.99 3/200 14881 /proc/meminfo: memFree=31148696/32951124 swapFree=67111528/67111528 [pid=14881] ppid=14879 vsize=33676 CPUtime=0.09 /proc/14881/stat : 14881 (pbscip.linux.x8) R 14879 14881 14856 0 -1 4202496 7967 0 0 0 9 0 0 0 21 0 1 0 133831645 34484224 7535 4089446400 4194304 7136930 140734874920608 18446744073709551615 6350519 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14881/statm: 8419 7535 323 719 0 7698 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33676 [startup+0.301084 s] /proc/loadavg: 1.89 1.98 1.99 3/200 14881 /proc/meminfo: memFree=31148696/32951124 swapFree=67111528/67111528 [pid=14881] ppid=14879 vsize=36496 CPUtime=0.3 /proc/14881/stat : 14881 (pbscip.linux.x8) R 14879 14881 14856 0 -1 4202496 9241 0 0 0 28 2 0 0 21 0 1 0 133831645 37371904 8295 4089446400 4194304 7136930 140734874920608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14881/statm: 9124 8295 383 719 0 8403 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 36496 [startup+0.701009 s] /proc/loadavg: 1.89 1.98 1.99 3/200 14881 /proc/meminfo: memFree=31148696/32951124 swapFree=67111528/67111528 [pid=14881] ppid=14879 vsize=37636 CPUtime=0.69 /proc/14881/stat : 14881 (pbscip.linux.x8) R 14879 14881 14856 0 -1 4202496 9516 0 0 0 66 3 0 0 22 0 1 0 133831645 38539264 8570 4089446400 4194304 7136930 140734874920608 18446744073709551615 5892349 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14881/statm: 9409 8570 383 719 0 8688 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37636 [startup+1.50088 s] /proc/loadavg: 1.89 1.98 1.99 3/201 14882 /proc/meminfo: memFree=31114100/32951124 swapFree=67111528/67111528 [pid=14881] ppid=14879 vsize=43144 CPUtime=1.49 /proc/14881/stat : 14881 (pbscip.linux.x8) R 14879 14881 14856 0 -1 4202496 10891 0 0 0 141 8 0 0 25 0 1 0 133831645 44179456 9945 4089446400 4194304 7136930 140734874920608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14881/statm: 10786 9945 390 719 0 10065 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 43144 [startup+3.10058 s] /proc/loadavg: 1.89 1.98 1.99 3/201 14882 /proc/meminfo: memFree=31109140/32951124 swapFree=67111528/67111528 [pid=14881] ppid=14879 vsize=45800 CPUtime=3.1 /proc/14881/stat : 14881 (pbscip.linux.x8) R 14879 14881 14856 0 -1 4202496 11569 0 0 0 296 14 0 0 25 0 1 0 133831645 46899200 10623 4089446400 4194304 7136930 140734874920608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14881/statm: 11450 10623 390 719 0 10729 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 45800 [startup+6.30099 s] /proc/loadavg: 1.90 1.98 1.99 3/201 14883 /proc/meminfo: memFree=31104676/32951124 swapFree=67111528/67111528 [pid=14881] ppid=14879 vsize=50456 CPUtime=6.29 /proc/14881/stat : 14881 (pbscip.linux.x8) R 14879 14881 14856 0 -1 4202496 12791 0 0 0 601 28 0 0 25 0 1 0 133831645 51666944 11845 4089446400 4194304 7136930 140734874920608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14881/statm: 12614 11845 390 719 0 11893 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 50456 [startup+12.7008 s] /proc/loadavg: 1.91 1.98 1.99 3/201 14883 /proc/meminfo: memFree=31084364/32951124 swapFree=67111528/67111528 [pid=14881] ppid=14879 vsize=71848 CPUtime=12.69 /proc/14881/stat : 14881 (pbscip.linux.x8) R 14879 14881 14856 0 -1 4202496 18088 0 0 0 1214 55 0 0 25 0 1 0 133831645 73572352 17142 4089446400 4194304 7136930 140734874920608 18446744073709551615 4414760 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14881/statm: 17962 17142 391 719 0 17241 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 71848 [startup+25.5005 s] /proc/loadavg: 1.93 1.98 1.99 3/201 14883 /proc/meminfo: memFree=31035056/32951124 swapFree=67111528/67111528 [pid=14881] ppid=14879 vsize=118912 CPUtime=25.49 /proc/14881/stat : 14881 (pbscip.linux.x8) R 14879 14881 14856 0 -1 4202496 29165 0 0 0 2446 103 0 0 25 0 1 0 133831645 121765888 28219 4089446400 4194304 7136930 140734874920608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14881/statm: 29728 28219 391 719 0 29007 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 118912 [startup+51.1008 s] /proc/loadavg: 1.95 1.98 1.99 3/201 14883 /proc/meminfo: memFree=30960176/32951124 swapFree=67111528/67111528 [pid=14881] ppid=14879 vsize=197796 CPUtime=51.1 /proc/14881/stat : 14881 (pbscip.linux.x8) R 14879 14881 14856 0 -1 4202496 48030 0 0 0 4897 213 0 0 25 0 1 0 133831645 202543104 47084 4089446400 4194304 7136930 140734874920608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14881/statm: 49449 47084 391 719 0 48728 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 197796 [startup+102.307 s] /proc/loadavg: 1.98 1.98 1.99 4/201 14885 /proc/meminfo: memFree=30843576/32951124 swapFree=67111528/67111528 [pid=14881] ppid=14879 vsize=307576 CPUtime=102.3 /proc/14881/stat : 14881 (pbscip.linux.x8) R 14879 14881 14856 0 -1 4202496 74552 0 0 0 9860 370 0 0 25 0 1 0 133831645 314957824 73606 4089446400 4194304 7136930 140734874920608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14881/statm: 76894 73606 391 719 0 76173 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 307576 [startup+162.301 s] /proc/loadavg: 1.99 1.98 1.99 3/201 14887 /proc/meminfo: memFree=30678376/32951124 swapFree=67111528/67111528 [pid=14881] ppid=14879 vsize=460304 CPUtime=162.3 /proc/14881/stat : 14881 (pbscip.linux.x8) R 14879 14881 14856 0 -1 4202496 111388 0 0 0 15582 648 0 0 25 0 1 0 133831645 471351296 110442 4089446400 4194304 7136930 140734874920608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14881/statm: 115076 110442 391 719 0 114355 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 460304 [startup+222.301 s] /proc/loadavg: 1.99 1.98 1.99 3/201 14888 /proc/meminfo: memFree=30545528/32951124 swapFree=67111528/67111528 [pid=14881] ppid=14879 vsize=590936 CPUtime=222.3 /proc/14881/stat : 14881 (pbscip.linux.x8) R 14879 14881 14856 0 -1 4202496 144171 0 0 0 21288 942 0 0 25 0 1 0 133831645 605118464 143225 4089446400 4194304 7136930 140734874920608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14881/statm: 147734 143225 391 719 0 147013 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 590936 [startup+282.301 s] /proc/loadavg: 1.99 1.98 1.99 3/201 14890 /proc/meminfo: memFree=30401528/32951124 swapFree=67111528/67111528 [pid=14881] ppid=14879 vsize=721928 CPUtime=282.3 /proc/14881/stat : 14881 (pbscip.linux.x8) R 14879 14881 14856 0 -1 4202496 177221 0 0 0 27000 1230 0 0 25 0 1 0 133831645 739254272 176275 4089446400 4194304 7136930 140734874920608 18446744073709551615 4923471 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14881/statm: 180482 176275 391 719 0 179761 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 721928 [startup+342.301 s] /proc/loadavg: 2.04 2.00 2.00 3/201 14891 /proc/meminfo: memFree=30297196/32951124 swapFree=67111528/67111528 [pid=14881] ppid=14879 vsize=819508 CPUtime=342.3 /proc/14881/stat : 14881 (pbscip.linux.x8) R 14879 14881 14856 0 -1 4202496 201722 0 0 0 32813 1417 0 0 25 0 1 0 133831645 839176192 200776 4089446400 4194304 7136930 140734874920608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14881/statm: 204877 200776 391 719 0 204156 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 819508 [startup+402.301 s] /proc/loadavg: 2.01 2.00 2.00 3/201 14893 /proc/meminfo: memFree=30213096/32951124 swapFree=67111528/67111528 [pid=14881] ppid=14879 vsize=906816 CPUtime=402.31 /proc/14881/stat : 14881 (pbscip.linux.x8) R 14879 14881 14856 0 -1 4202496 221488 0 0 0 38643 1588 0 0 25 0 1 0 133831645 928579584 220542 4089446400 4194304 7136930 140734874920608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14881/statm: 226704 220542 391 719 0 225983 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 906816 [startup+462.301 s] /proc/loadavg: 2.04 2.01 2.00 3/201 14895 /proc/meminfo: memFree=30149452/32951124 swapFree=67111528/67111528 [pid=14881] ppid=14879 vsize=960864 CPUtime=462.31 /proc/14881/stat : 14881 (pbscip.linux.x8) R 14879 14881 14856 0 -1 4202496 235057 0 0 0 44489 1742 0 0 25 0 1 0 133831645 983924736 234111 4089446400 4194304 7136930 140734874920608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14881/statm: 240216 234111 391 719 0 239495 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 960864 [startup+522.301 s] /proc/loadavg: 2.01 2.00 2.00 3/201 14896 /proc/meminfo: memFree=30060748/32951124 swapFree=67111528/67111528 [pid=14881] ppid=14879 vsize=1030628 CPUtime=522.31 /proc/14881/stat : 14881 (pbscip.linux.x8) R 14879 14881 14856 0 -1 4202496 252433 0 0 0 50304 1927 0 0 25 0 1 0 133831645 1055363072 251487 4089446400 4194304 7136930 140734874920608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14881/statm: 257657 251487 391 719 0 256936 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 1030628 [startup+582.301 s] /proc/loadavg: 2.05 2.01 2.00 3/201 14898 /proc/meminfo: memFree=29959016/32951124 swapFree=67111528/67111528 [pid=14881] ppid=14879 vsize=1131644 CPUtime=582.31 /proc/14881/stat : 14881 (pbscip.linux.x8) R 14879 14881 14856 0 -1 4202496 277778 0 0 0 56059 2172 0 0 25 0 1 0 133831645 1158803456 276832 4089446400 4194304 7136930 140734874920608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14881/statm: 282911 276832 391 719 0 282190 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 1131644 [startup+642.3 s] /proc/loadavg: 2.15 2.04 2.01 3/201 14899 /proc/meminfo: memFree=29870684/32951124 swapFree=67111528/67111528 [pid=14881] ppid=14879 vsize=1211784 CPUtime=642.32 /proc/14881/stat : 14881 (pbscip.linux.x8) R 14879 14881 14856 0 -1 4202496 297937 0 0 0 61844 2388 0 0 25 0 1 0 133831645 1240866816 296991 4089446400 4194304 7136930 140734874920608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14881/statm: 302946 296991 391 719 0 302225 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 1211784 [startup+702.3 s] ################ # More data... # ################ /proc/14881/stat : 14881 (pbscip.linux.x8) R 14879 14881 14856 0 -1 4202496 424716 0 0 0 96042 4190 0 0 25 0 1 0 133831645 1756770304 423770 4089446400 4194304 7136930 140734874920608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14881/statm: 428899 423770 391 719 0 428178 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1715596 [startup+1062.3 s] /proc/loadavg: 2.03 2.03 2.00 3/183 14971 /proc/meminfo: memFree=29568732/32951124 swapFree=67111528/67111528 [pid=14881] ppid=14879 vsize=1807780 CPUtime=1062.32 /proc/14881/stat : 14881 (pbscip.linux.x8) R 14879 14881 14856 0 -1 4202496 443826 0 0 0 101739 4493 0 0 25 0 1 0 133831645 1851166720 442880 4089446400 4194304 7136930 140734874920608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14881/statm: 451945 442880 391 719 0 451224 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1807780 [startup+1122.3 s] /proc/loadavg: 2.01 2.02 2.00 3/183 14972 /proc/meminfo: memFree=29491680/32951124 swapFree=67111528/67111528 [pid=14881] ppid=14879 vsize=1880144 CPUtime=1122.33 /proc/14881/stat : 14881 (pbscip.linux.x8) R 14879 14881 14856 0 -1 4202496 461948 0 0 0 107472 4761 0 0 25 0 1 0 133831645 1925267456 461002 4089446400 4194304 7136930 140734874920608 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14881/statm: 470036 461002 391 719 0 469315 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 1880144 [startup+1182.3 s] /proc/loadavg: 2.00 2.02 2.00 3/183 14974 /proc/meminfo: memFree=29406948/32951124 swapFree=67111528/67111528 [pid=14881] ppid=14879 vsize=1961740 CPUtime=1182.33 /proc/14881/stat : 14881 (pbscip.linux.x8) R 14879 14881 14856 0 -1 4202496 482520 0 0 0 113179 5054 0 0 25 0 1 0 133831645 2008821760 481574 4089446400 4194304 7136930 140734874920608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14881/statm: 490435 481574 391 719 0 489714 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 1961740 [startup+1242.3 s] /proc/loadavg: 2.00 2.01 2.00 3/183 14975 /proc/meminfo: memFree=29323308/32951124 swapFree=67111528/67111528 [pid=14881] ppid=14879 vsize=2040520 CPUtime=1242.33 /proc/14881/stat : 14881 (pbscip.linux.x8) R 14879 14881 14856 0 -1 4202496 502429 0 0 0 118903 5330 0 0 25 0 1 0 133831645 2089492480 501483 4089446400 4194304 7136930 140734874920608 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14881/statm: 510130 501483 391 719 0 509409 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 2040520 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 14977 /proc/meminfo: memFree=29241664/32951124 swapFree=67111528/67111528 [pid=14881] ppid=14879 vsize=2121116 CPUtime=1302.34 /proc/14881/stat : 14881 (pbscip.linux.x8) R 14879 14881 14856 0 -1 4202496 522603 0 0 0 124641 5593 0 0 25 0 1 0 133831645 2172022784 521657 4089446400 4194304 7136930 140734874920608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14881/statm: 530279 521657 391 719 0 529558 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 2121116 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 4/183 14979 /proc/meminfo: memFree=29174536/32951124 swapFree=67111528/67111528 [pid=14881] ppid=14879 vsize=2187024 CPUtime=1362.33 /proc/14881/stat : 14881 (pbscip.linux.x8) R 14879 14881 14856 0 -1 4202496 539236 0 0 0 130380 5853 0 0 25 0 1 0 133831645 2239512576 538290 4089446400 4194304 7136930 140734874920608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14881/statm: 546756 538290 391 719 0 546035 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 2187024 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/183 14980 /proc/meminfo: memFree=29100460/32951124 swapFree=67111528/67111528 [pid=14881] ppid=14879 vsize=2258832 CPUtime=1422.34 /proc/14881/stat : 14881 (pbscip.linux.x8) R 14879 14881 14856 0 -1 4202496 557461 0 0 0 136140 6094 0 0 25 0 1 0 133831645 2313043968 556515 4089446400 4194304 7136930 140734874920608 18446744073709551615 4678351 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14881/statm: 564708 556515 391 719 0 563987 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 2258832 [startup+1482.3 s] /proc/loadavg: 2.03 2.01 2.00 3/183 14982 /proc/meminfo: memFree=29017960/32951124 swapFree=67111528/67111528 [pid=14881] ppid=14879 vsize=2337708 CPUtime=1482.33 /proc/14881/stat : 14881 (pbscip.linux.x8) R 14879 14881 14856 0 -1 4202496 577348 0 0 0 141860 6373 0 0 25 0 1 0 133831645 2393812992 576402 4089446400 4194304 7136930 140734874920608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14881/statm: 584427 576402 391 719 0 583706 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 2337708 [startup+1542.3 s] /proc/loadavg: 2.08 2.02 2.00 3/183 14983 /proc/meminfo: memFree=28952184/32951124 swapFree=67111528/67111528 [pid=14881] ppid=14879 vsize=2399392 CPUtime=1542.33 /proc/14881/stat : 14881 (pbscip.linux.x8) R 14879 14881 14856 0 -1 4202496 592862 0 0 0 147641 6592 0 0 25 0 1 0 133831645 2456977408 591916 4089446400 4194304 7136930 140734874920608 18446744073709551615 4923382 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14881/statm: 599848 591916 391 719 0 599127 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 2399392 [startup+1602.3 s] /proc/loadavg: 2.10 2.03 2.00 3/183 14985 /proc/meminfo: memFree=28861356/32951124 swapFree=67111528/67111528 [pid=14881] ppid=14879 vsize=2487736 CPUtime=1602.34 /proc/14881/stat : 14881 (pbscip.linux.x8) R 14879 14881 14856 0 -1 4202496 615152 0 0 0 153362 6872 0 0 25 0 1 0 133831645 2547441664 614206 4089446400 4194304 7136930 140734874920608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14881/statm: 621934 614206 391 719 0 621213 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 2487736 [startup+1662.3 s] /proc/loadavg: 2.03 2.02 2.00 3/183 14987 /proc/meminfo: memFree=28797568/32951124 swapFree=67111528/67111528 [pid=14881] ppid=14879 vsize=2549532 CPUtime=1662.34 /proc/14881/stat : 14881 (pbscip.linux.x8) R 14879 14881 14856 0 -1 4202496 630849 0 0 0 159110 7124 0 0 25 0 1 0 133831645 2610720768 629903 4089446400 4194304 7136930 140734874920608 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14881/statm: 637383 629903 391 719 0 636662 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 2549532 [startup+1722.3 s] /proc/loadavg: 2.07 2.05 2.01 3/183 14988 /proc/meminfo: memFree=28713464/32951124 swapFree=67111528/67111528 [pid=14881] ppid=14879 vsize=2629380 CPUtime=1722.34 /proc/14881/stat : 14881 (pbscip.linux.x8) R 14879 14881 14856 0 -1 4202496 650876 0 0 0 164827 7407 0 0 25 0 1 0 133831645 2692485120 649930 4089446400 4194304 7136930 140734874920608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14881/statm: 657345 649930 391 719 0 656624 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 2629380 [startup+1782.3 s] /proc/loadavg: 2.07 2.05 2.00 3/183 14990 /proc/meminfo: memFree=28623036/32951124 swapFree=67111528/67111528 [pid=14881] ppid=14879 vsize=2714856 CPUtime=1782.35 /proc/14881/stat : 14881 (pbscip.linux.x8) R 14879 14881 14856 0 -1 4202496 672516 0 0 0 170520 7715 0 0 25 0 1 0 133831645 2780012544 671570 4089446400 4194304 7136930 140734874920608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14881/statm: 678714 671570 391 719 0 677993 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 2714856 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.05 2.05 2.00 3/183 14990 /proc/meminfo: memFree=28598964/32951124 swapFree=67111528/67111528 [pid=14881] ppid=14879 vsize=2738040 CPUtime=1800.05 /proc/14881/stat : 14881 (pbscip.linux.x8) R 14879 14881 14856 0 -1 4202496 678405 0 0 0 172209 7796 0 0 25 0 1 0 133831645 2803752960 677459 4089446400 4194304 7136930 140734874920608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14881/statm: 684510 677459 391 719 0 683789 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 2738040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -14881 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.05 2.05 2.00 3/184 14991 /proc/meminfo: memFree=28598832/32951124 swapFree=67111528/67111528 [pid=14881] ppid=14879 vsize=2738040 CPUtime=1801.44 /proc/14881/stat : 14881 (pbscip.linux.x8) R 14879 14881 14856 0 -1 4202496 678421 0 0 0 172348 7796 0 0 19 0 1 0 133831645 2803752960 677475 4089446400 4194304 7136930 140734874920608 18446744073709551615 4212575 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/14881/statm: 684510 677475 397 719 0 683789 0 Current children cumulated CPU time (s) 1801.44 Current children cumulated vsize (KiB) 2738040 [startup+1801.81 s] /proc/loadavg: 2.05 2.05 2.00 3/184 14991 /proc/meminfo: memFree=28598832/32951124 swapFree=67111528/67111528 [pid=14881] ppid=14879 vsize=2738040 CPUtime=1801.85 /proc/14881/stat : 14881 (pbscip.linux.x8) R 14879 14881 14856 0 -1 4202496 678421 0 0 0 172389 7796 0 0 20 0 1 0 133831645 2803752960 677475 4089446400 4194304 7136930 140734874920608 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/14881/statm: 684510 677475 397 719 0 683789 0 Current children cumulated CPU time (s) 1801.85 Current children cumulated vsize (KiB) 2738040 [startup+1802 s] /proc/loadavg: 2.05 2.05 2.00 3/184 14991 /proc/meminfo: memFree=28598832/32951124 swapFree=67111528/67111528 [pid=14881] ppid=14879 vsize=2738040 CPUtime=1802.05 /proc/14881/stat : 14881 (pbscip.linux.x8) R 14879 14881 14856 0 -1 4202496 678421 0 0 0 172409 7796 0 0 21 0 1 0 133831645 2803752960 677475 4089446400 4194304 7136930 140734874920608 18446744073709551615 6166261 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/14881/statm: 684510 677475 397 719 0 683789 0 Current children cumulated CPU time (s) 1802.05 Current children cumulated vsize (KiB) 2738040 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.09 CPU time (s): 1802.15 CPU user time (s): 1724.1 CPU system time (s): 78.0521 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 2738040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1724.1 system time used= 78.0521 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 678421 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= 3 involuntary context switches= 985 runsolver used 2.87956 second user time and 5.79612 second system time The end
Begin job on node133 at 2010-06-30 21:16:00 IDJOB=2693585 IDBENCH=79259 IDSOLVER=1206 FILE ID=node133/2693585-1277925360 PBS_JOBID= 11197358 Free space on /tmp= 74212 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900567985--soft-0-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-2693585-1277925360/watcher-2693585-1277925360 -o /tmp/evaluation-result-2693585-1277925360/solver-2693585-1277925360 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693585-1277925360.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e639daae290163b8abe4f9e3cf3dc11c RANDOM SEED=1925561349 node133.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.821 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.821 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 : 5332.75 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.821 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.821 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 : 7296.74 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.821 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.74 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.821 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.821 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.74 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.821 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: 32951124 kB MemFree: 31149100 kB Buffers: 205892 kB Cached: 979880 kB SwapCached: 0 kB Active: 997028 kB Inactive: 659632 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31149100 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3596 kB Writeback: 0 kB AnonPages: 471212 kB Mapped: 20256 kB Slab: 79740 kB PageTables: 5636 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1661656 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 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 node133 at 2010-06-30 21:46:03