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.11 | 1802.08 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900667195--soft-33-100-0.wbo |
| MD5SUM | 48e28404edc62027cab8cceeec6ce6b2 |
| 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 | 253.238 |
| 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 | 1830 |
| 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 | 92327 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 92326 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 655 |
| 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-2694085-1277904544.wbo>
0.00/0.03 c original problem has 3891 variables (2061 bin, 0 int, 0 impl, 1830 cont) and 4538 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.02/0.05 c presolving:
0.02/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1960 impls, 7 clqs
0.02/0.09 c (round 2) 0 del vars, 63 del conss, 1830 chg bounds, 48 chg sides, 0 chg coeffs, 0 upgd conss, 1960 impls, 7 clqs
0.09/0.10 c (round 3) 48 del vars, 129 del conss, 1841 chg bounds, 66 chg sides, 0 chg coeffs, 0 upgd conss, 1960 impls, 7 clqs
0.09/0.11 c (round 4) 107 del vars, 140 del conss, 1841 chg bounds, 66 chg sides, 0 chg coeffs, 856 upgd conss, 1960 impls, 7 clqs
0.09/0.12 c (round 5) 118 del vars, 140 del conss, 1841 chg bounds, 66 chg sides, 0 chg coeffs, 856 upgd conss, 1960 impls, 7 clqs
0.09/0.18 c (0.1s) probing: 101/2002 (5.0%) - 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 (6 rounds):
0.09/0.18 c 118 deleted vars, 140 deleted constraints, 1841 tightened bounds, 0 added holes, 66 changed sides, 0 changed coefficients
0.09/0.18 c 1960 implications, 7 cliques
0.09/0.18 c presolved problem has 3773 variables (2002 bin, 0 int, 0 impl, 1771 cont) and 4398 constraints
0.09/0.18 c 1771 constraints of type <indicator>
0.09/0.18 c 7 constraints of type <setppc>
0.09/0.18 c 1771 constraints of type <linear>
0.09/0.18 c 849 constraints of type <logicor>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.13
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.18 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.18 c 0.1s| 1 | 2 | 0 | - | 12M| 0 | - |3773 |4398 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.78/2.89 c 2.8s| 10000 | 9713 | 0 | 0.0 | 17M|1936 | - |3773 |4807 | 0 | 0 | 0 | 561 | 0 | 0.000000e+00 | -- | Inf
2.89/2.97 o 759
2.89/2.97 c * 2.9s| 10419 | 4450 | 0 | 0.0 | 16M|1936 | - |3773 |4807 | 0 | 0 | 0 | 561 | 0 | 0.000000e+00 | 7.590000e+02 | Inf
2.99/3.03 o 746
2.99/3.03 c * 2.9s| 10592 | 4611 | 0 | 0.0 | 16M|1936 | - |3773 |4803 | 0 | 0 | 0 | 569 | 0 | 0.000000e+00 | 7.460000e+02 | Inf
3.19/3.21 o 555
3.19/3.21 c * 3.1s| 11304 | 5272 | 0 | 0.0 | 16M|1936 | - |3773 |4760 | 0 | 0 | 0 | 581 | 0 | 0.000000e+00 | 5.550000e+02 | Inf
5.79/5.86 c 5.7s| 20000 | 12440 | 0 | 0.0 | 24M|1936 | - |3773 |6530 | 0 | 0 | 0 |6932 | 0 | 0.000000e+00 | 5.550000e+02 | Inf
7.09/7.12 o 540
7.09/7.12 c * 6.9s| 22359 | 13443 | 0 | 0.0 | 27M|1936 | - |3773 |7769 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 5.400000e+02 | Inf
7.09/7.12 o 521
7.09/7.12 c * 6.9s| 22360 | 13385 | 0 | 0.0 | 27M|1936 | - |3773 |7769 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 5.210000e+02 | Inf
7.19/7.20 o 517
7.19/7.20 c * 7.0s| 22519 | 13534 | 0 | 0.0 | 27M|1936 | - |3773 |7691 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 5.170000e+02 | Inf
7.19/7.26 o 484
7.19/7.26 c * 7.0s| 22658 | 13614 | 0 | 0.0 | 27M|1936 | - |3773 |7678 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 4.840000e+02 | Inf
7.19/7.26 o 475
7.19/7.26 c * 7.0s| 22659 | 13584 | 0 | 0.0 | 27M|1936 | - |3773 |7678 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 4.750000e+02 | Inf
7.28/7.34 o 448
7.28/7.34 c * 7.1s| 22802 | 13554 | 0 | 0.0 | 27M|1936 | - |3773 |7605 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 4.480000e+02 | Inf
7.28/7.34 o 419
7.28/7.34 c * 7.1s| 22809 | 13500 | 0 | 0.0 | 27M|1936 | - |3773 |7605 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 4.190000e+02 | Inf
7.28/7.35 o 405
7.28/7.35 c * 7.1s| 22810 | 13456 | 0 | 0.0 | 27M|1936 | - |3773 |7605 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 4.050000e+02 | Inf
7.59/7.62 o 360
7.59/7.62 c * 7.4s| 23365 | 13785 | 0 | 0.0 | 27M|1936 | - |3773 |7274 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 3.600000e+02 | Inf
7.59/7.62 o 316
7.59/7.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.59/7.62 c * 7.4s| 23366 | 12988 | 0 | 0.0 | 27M|1936 | - |3773 |7274 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 3.160000e+02 | Inf
7.78/7.80 o 299
7.78/7.80 c * 7.6s| 23744 | 13297 | 0 | 0.0 | 27M|1936 | - |3773 |7109 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 2.990000e+02 | Inf
7.78/7.85 o 280
7.78/7.85 c * 7.6s| 23837 | 13286 | 0 | 0.0 | 27M|1936 | - |3773 |7032 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 2.800000e+02 | Inf
7.99/8.00 o 277
7.99/8.00 c * 7.8s| 24134 | 13570 | 0 | 0.0 | 28M|1936 | - |3773 |6909 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 2.770000e+02 | Inf
8.38/8.40 o 269
8.38/8.40 c * 8.2s| 24918 | 14298 | 0 | 0.0 | 28M|1936 | - |3773 |6583 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 2.690000e+02 | Inf
8.69/8.75 o 266
8.69/8.75 c * 8.5s| 25579 | 14914 | 0 | 0.0 | 29M|1936 | - |3773 |6467 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 2.660000e+02 | Inf
9.58/9.61 o 206
9.58/9.61 c * 9.3s| 27529 | 16248 | 0 | 0.0 | 29M|1936 | - |3773 |6112 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 2.060000e+02 | Inf
9.68/9.72 o 202
9.68/9.72 c * 9.5s| 27750 | 16440 | 0 | 0.0 | 30M|1936 | - |3773 |6084 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 2.020000e+02 | Inf
9.80/9.83 o 183
9.80/9.83 c * 9.6s| 27944 | 16470 | 0 | 0.0 | 30M|1936 | - |3773 |6061 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.830000e+02 | Inf
10.19/10.24 o 171
10.19/10.24 c *10.0s| 28804 | 17045 | 0 | 0.0 | 30M|1936 | - |3773 |6007 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.710000e+02 | Inf
10.78/10.81 c 10.5s| 30000 | 18158 | 0 | 0.0 | 31M|1936 | - |3773 |5976 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.710000e+02 | Inf
10.78/10.86 o 149
10.78/10.86 c *10.6s| 30126 | 17780 | 0 | 0.0 | 31M|1936 | - |3773 |5964 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.490000e+02 | Inf
10.78/10.86 o 147
10.78/10.86 c *10.6s| 30127 | 17766 | 0 | 0.0 | 31M|1936 | - |3773 |5964 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.470000e+02 | Inf
11.48/11.54 o 110
11.48/11.54 c *11.2s| 31554 | 18675 | 0 | 0.0 | 32M|1936 | - |3773 |5963 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.100000e+02 | Inf
12.09/12.11 o 108
12.09/12.11 c *11.8s| 32808 | 19828 | 0 | 0.0 | 34M|1936 | - |3773 |5956 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.080000e+02 | Inf
12.58/12.65 o 105
12.58/12.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.58/12.65 c *12.3s| 34010 | 20899 | 0 | 0.0 | 36M|1936 | - |3773 |6053 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.050000e+02 | Inf
12.58/12.65 o 102
12.58/12.65 c *12.3s| 34011 | 20882 | 0 | 0.0 | 36M|1936 | - |3773 |6053 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
12.68/12.79 o 95
12.68/12.79 c *12.5s| 34331 | 19950 | 0 | 0.0 | 34M|1936 | - |3773 |6037 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 9.500000e+01 | Inf
15.29/15.38 c 15.0s| 40000 | 25113 | 0 | 0.0 | 41M|1936 | - |3773 |6444 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 9.500000e+01 | Inf
15.39/15.49 o 94
15.39/15.49 c *15.1s| 40269 | 25312 | 0 | 0.0 | 42M|1936 | - |3773 |6445 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
15.88/15.94 o 93
15.88/15.94 c *15.5s| 41418 | 26241 | 0 | 0.0 | 43M|1936 | - |3773 |6512 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
17.18/17.26 o 85
17.18/17.26 c *16.8s| 44574 | 28135 | 0 | 0.0 | 44M|1936 | - |3773 |6736 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
19.19/19.22 c 18.7s| 50000 | 33010 | 0 | 0.0 | 49M|1936 | - |3773 |6884 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
22.78/22.81 c 22.2s| 60000 | 41392 | 0 | 0.0 | 58M|1936 | - |3773 |7488 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
26.68/26.72 c 26.0s| 70000 | 49125 | 0 | 0.0 | 67M|1936 | - |3773 |8235 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
30.98/31.01 c 30.2s| 80000 | 56576 | 0 | 0.0 | 77M|1936 | - |3773 |9022 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
35.69/35.75 c 34.9s| 90000 | 63525 | 0 | 0.0 | 87M|1936 | - |3773 |9909 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
41.19/41.29 c 40.3s|100000 | 69748 | 0 | 0.0 | 97M|1936 | - |3773 | 11k| 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
47.98/48.00 c 46.9s|110000 | 75105 | 0 | 0.0 | 107M|1936 | - |3773 | 13k| 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
56.28/56.38 c 55.1s|120000 | 79248 | 0 | 0.0 | 117M|1936 | - |3773 | 15k| 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
60.59/60.66 o 79
60.59/60.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.59/60.66 c *59.3s|124114 | 79775 | 0 | 0.0 | 118M|1936 | - |3773 | 15k| 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
60.59/60.67 o 72
60.59/60.67 c *59.3s|124115 | 79030 | 0 | 0.0 | 117M|1936 | - |3773 | 15k| 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
61.09/61.19 o 67
61.09/61.19 c *59.8s|124944 | 79225 | 0 | 0.0 | 115M|1936 | - |3773 | 11k| 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 6.700000e+01 | Inf
61.79/61.89 o 57
61.79/61.89 c *60.5s|126158 | 78792 | 0 | 0.0 | 112M|1936 | - |3773 |8643 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
63.29/63.39 o 55
63.29/63.39 c *62.0s|129204 | 81492 | 0 | 0.0 | 116M|1936 | - |3773 |6532 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 5.500000e+01 | Inf
63.70/63.80 c 62.4s|130000 | 82216 | 0 | 0.0 | 116M|1936 | - |3773 |6510 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 5.500000e+01 | Inf
67.89/67.93 o 50
67.89/67.93 c *66.4s|137356 | 88343 | 0 | 0.0 | 124M|1936 | - |3773 |5815 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
69.38/69.41 c 67.8s|140000 | 90578 | 0 | 0.0 | 128M|1936 | - |3773 |5383 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
69.88/69.93 o 39
69.88/69.93 c *68.4s|140957 | 90836 | 0 | 0.0 | 128M|1936 | - |3773 |5480 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
71.49/71.58 o 33
71.49/71.58 c *70.0s|143877 | 92724 | 0 | 0.0 | 131M|1936 | - |3773 |5919 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
75.58/75.67 c 74.0s|150000 | 97219 | 0 | 0.0 | 142M|1936 | - |3773 |7366 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
78.39/78.41 o 27
78.39/78.41 c *76.7s|153743 | 97226 | 0 | 0.0 | 138M|1936 | - |3773 |6183 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
78.68/78.75 o 19
78.68/78.75 c *77.0s|154432 | 97092 | 0 | 0.0 | 135M|1936 | - |3773 |5932 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
81.09/81.19 c 79.4s|160000 |101760 | 0 | 0.0 | 140M|1936 | - |3773 |6077 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
85.49/85.54 o 17
85.49/85.54 c *83.6s|168490 |107873 | 0 | 0.0 | 148M|1936 | - |3773 |8467 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
86.58/86.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
86.58/86.64 c 84.7s|170000 |108722 | 0 | 0.0 | 150M|1936 | - |3773 |8476 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
90.58/90.68 c 88.7s|180000 |117201 | 0 | 0.0 | 158M|1936 | - |3773 |7373 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
91.29/91.37 o 16
91.29/91.37 c *89.3s|181466 |118119 | 0 | 0.0 | 158M|1936 | - |3773 |7613 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
91.29/91.37 o 15
91.29/91.37 c *89.3s|181467 |117961 | 0 | 0.0 | 158M|1936 | - |3773 |7613 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
94.08/94.18 o 14
94.08/94.18 c *92.1s|186486 |121583 | 0 | 0.0 | 163M|1936 | - |3773 |8248 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
95.88/95.90 c 93.8s|190000 |124354 | 0 | 0.0 | 166M|1936 | - |3773 |7326 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
100.59/100.62 c 98.4s|200000 |132148 | 0 | 0.0 | 176M|1936 | - |3773 |8864 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
105.18/105.24 c 103s|210000 |140089 | 0 | 0.0 | 184M|1936 | - |3773 |8673 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
110.18/110.20 c 108s|220000 |147760 | 0 | 0.0 | 193M|1936 | - |3773 |8465 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
114.69/114.78 c 112s|230000 |155696 | 0 | 0.0 | 202M|1936 | - |3773 |9532 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
115.88/115.92 o 10
115.88/115.92 c * 113s|231871 |155922 | 0 | 0.0 | 201M|1936 | - |3773 | 10k| 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
119.58/119.61 c 117s|240000 |162480 | 0 | 0.0 | 209M|1936 | - |3773 |9091 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
124.79/124.85 c 122s|250000 |169720 | 0 | 0.0 | 218M|1936 | - |3773 |9980 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
128.79/128.86 c 126s|260000 |178005 | 0 | 0.0 | 227M|1936 | - |3773 | 10k| 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
130.09/130.15 o 3
130.09/130.15 c * 127s|262642 |173664 | 0 | 0.0 | 216M|1936 | - |3773 | 11k| 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
134.09/134.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
134.09/134.10 c 131s|270000 |179015 | 0 | 0.0 | 224M|1936 | - |3773 | 10k| 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
139.09/139.18 c 136s|280000 |186233 | 0 | 0.0 | 234M|1936 | - |3773 | 13k| 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
143.38/143.46 c 140s|290000 |194651 | 0 | 0.0 | 241M|1936 | - |3773 | 11k| 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
148.09/148.12 c 145s|300000 |202625 | 0 | 0.0 | 250M|1936 | - |3773 | 12k| 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
154.78/154.89 c 151s|310000 |208923 | 0 | 0.0 | 259M|1936 | - |3773 | 12k| 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
159.29/159.36 c 156s|320000 |216988 | 0 | 0.0 | 268M|1936 | - |3773 | 13k| 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
164.28/164.39 c 161s|330000 |224557 | 0 | 0.0 | 276M|1936 | - |3773 | 13k| 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
169.40/169.44 c 166s|340000 |232057 | 0 | 0.0 | 284M|1936 | - |3773 | 12k| 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
173.79/173.82 c 170s|350000 |240229 | 0 | 0.0 | 293M|1936 | - |3773 | 13k| 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
179.20/179.27 c 175s|360000 |247352 | 0 | 0.0 | 302M|1936 | - |3773 | 15k| 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
184.09/184.16 c 180s|370000 |255230 | 0 | 0.0 | 311M|1936 | - |3773 | 13k| 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
188.89/188.99 c 185s|380000 |263030 | 0 | 0.0 | 320M|1936 | - |3773 | 14k| 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
194.99/195.07 c 191s|390000 |269865 | 0 | 0.0 | 328M|1936 | - |3773 | 13k| 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
199.39/199.41 c 195s|400000 |278354 | 0 | 0.0 | 336M|1936 | - |3773 | 10k| 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
203.40/203.46 c 199s|410000 |286847 | 0 | 0.0 | 345M|1936 | - |3773 | 10k| 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
207.89/207.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
207.89/207.94 c 203s|420000 |294571 | 0 | 0.0 | 354M|1936 | - |3773 | 11k| 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
212.89/212.98 c 208s|430000 |301800 | 0 | 0.0 | 362M|1936 | - |3773 | 13k| 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
218.39/218.43 c 214s|440000 |308791 | 0 | 0.0 | 371M|1936 | - |3773 | 13k| 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
223.88/223.91 c 219s|450000 |315788 | 0 | 0.0 | 379M|1936 | - |3773 | 14k| 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
229.80/229.83 c 225s|460000 |322540 | 0 | 0.0 | 387M|1936 | - |3773 | 15k| 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
236.09/236.14 c 231s|470000 |329114 | 0 | 0.0 | 396M|1936 | - |3773 | 17k| 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
243.19/243.24 c 238s|480000 |335343 | 0 | 0.0 | 405M|1936 | - |3773 | 18k| 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
250.80/250.80 c 245s|490000 |341454 | 0 | 0.0 | 414M|1936 | - |3773 | 19k| 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
258.59/258.67 c 253s|500000 |347505 | 0 | 0.0 | 422M|1936 | - |3773 | 20k| 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
266.89/266.99 c 261s|510000 |353493 | 0 | 0.0 | 431M|1936 | - |3773 | 21k| 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
275.99/276.01 c 270s|520000 |359201 | 0 | 0.0 | 439M|1936 | - |3773 | 22k| 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
285.59/285.63 c 280s|530000 |364729 | 0 | 0.0 | 448M|1936 | - |3773 | 23k| 0 | 0 | 0 | 425k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
295.89/295.95 c 290s|540000 |369948 | 0 | 0.0 | 456M|1936 | - |3773 | 24k| 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
306.89/306.97 c 301s|550000 |374947 | 0 | 0.0 | 465M|1936 | - |3773 | 25k| 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
318.59/318.66 c 312s|560000 |379770 | 0 | 0.0 | 473M|1936 | - |3773 | 26k| 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
330.79/330.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
330.79/330.86 c 324s|570000 |384677 | 0 | 0.0 | 481M|1936 | - |3773 | 28k| 0 | 0 | 0 | 481k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
343.59/343.69 c 337s|580000 |389472 | 0 | 0.0 | 490M|1936 | - |3773 | 29k| 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
357.79/357.87 c 351s|590000 |393860 | 0 | 0.0 | 498M|1936 | - |3773 | 31k| 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
374.00/374.01 c 367s|600000 |397724 | 0 | 0.0 | 505M|1936 | - |3773 | 30k| 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
390.59/390.65 c 384s|610000 |401372 | 0 | 0.0 | 512M|1936 | - |3773 | 31k| 0 | 0 | 0 | 548k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
407.89/407.96 c 401s|620000 |404738 | 0 | 0.0 | 520M|1936 | - |3773 | 33k| 0 | 0 | 0 | 567k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
425.90/425.99 c 419s|630000 |407987 | 0 | 0.0 | 527M|1936 | - |3773 | 34k| 0 | 0 | 0 | 587k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
445.60/445.64 c 438s|640000 |410594 | 0 | 0.0 | 533M|1936 | - |3773 | 36k| 0 | 0 | 0 | 609k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
465.99/466.04 c 459s|650000 |413095 | 0 | 0.0 | 539M|1936 | - |3773 | 37k| 0 | 0 | 0 | 631k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
487.10/487.18 c 480s|660000 |415166 | 0 | 0.0 | 545M|1936 | - |3773 | 38k| 0 | 0 | 0 | 654k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
510.09/510.16 c 502s|670000 |416834 | 0 | 0.0 | 551M|1936 | - |3773 | 41k| 0 | 0 | 0 | 677k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
536.20/536.25 c 528s|680000 |417323 | 0 | 0.0 | 556M|1936 | - |3773 | 45k| 0 | 0 | 0 | 704k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
546.80/546.87 c 539s|690000 |424257 | 0 | 0.0 | 556M|1936 | - |3773 | 10k| 0 | 0 | 0 | 712k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
552.69/552.71 c 545s|700000 |432142 | 0 | 0.0 | 567M|1936 | - |3773 | 10k| 0 | 0 | 0 | 718k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
559.10/559.19 c 551s|710000 |439666 | 0 | 0.0 | 578M|1936 | - |3773 | 11k| 0 | 0 | 0 | 724k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
566.19/566.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
566.19/566.21 c 558s|720000 |446782 | 0 | 0.0 | 590M|1936 | - |3773 | 10k| 0 | 0 | 0 | 732k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
573.01/573.03 c 565s|730000 |453481 | 0 | 0.0 | 601M|1936 | - |3773 |9444 | 0 | 0 | 0 | 740k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
580.00/580.06 c 572s|740000 |459733 | 0 | 0.0 | 611M|1936 | - |3773 | 11k| 0 | 0 | 0 | 750k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
588.20/588.28 c 580s|750000 |465440 | 0 | 0.0 | 621M|1936 | - |3773 | 13k| 0 | 0 | 0 | 761k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
598.00/598.04 c 589s|760000 |470443 | 0 | 0.0 | 632M|1936 | - |3773 | 15k| 0 | 0 | 0 | 774k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
609.59/609.60 c 601s|770000 |474512 | 0 | 0.0 | 642M|1936 | - |3773 | 17k| 0 | 0 | 0 | 789k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
623.50/623.54 c 614s|780000 |477137 | 0 | 0.0 | 652M|1936 | - |3773 | 20k| 0 | 0 | 0 | 806k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
642.30/642.37 c 633s|790000 |476587 | 0 | 0.0 | 658M|1936 | - |3773 | 15k| 0 | 0 | 0 | 825k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
648.30/648.38 c 639s|800000 |484632 | 0 | 0.0 | 675M|1936 | - |3773 | 11k| 0 | 0 | 0 | 830k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
653.40/653.46 c 644s|810000 |492310 | 0 | 0.0 | 683M|1936 | - |3773 | 13k| 0 | 0 | 0 | 837k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
659.20/659.29 c 650s|820000 |499686 | 0 | 0.0 | 692M|1936 | - |3773 | 14k| 0 | 0 | 0 | 844k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
665.90/665.97 c 656s|830000 |506641 | 0 | 0.0 | 701M|1936 | - |3773 | 16k| 0 | 0 | 0 | 853k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
673.60/673.60 c 664s|840000 |513154 | 0 | 0.0 | 711M|1936 | - |3773 | 18k| 0 | 0 | 0 | 862k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
681.69/681.79 c 672s|850000 |519445 | 0 | 0.0 | 720M|1936 | - |3773 | 20k| 0 | 0 | 0 | 873k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
691.80/691.86 c 682s|860000 |525022 | 0 | 0.0 | 731M|1936 | - |3773 | 23k| 0 | 0 | 0 | 885k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
704.30/704.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
704.30/704.34 c 694s|870000 |529803 | 0 | 0.0 | 740M|1936 | - |3773 | 27k| 0 | 0 | 0 | 900k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
722.50/722.55 c 712s|880000 |532315 | 0 | 0.0 | 750M|1936 | - |3773 | 33k| 0 | 0 | 0 | 920k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
737.19/737.28 c 727s|890000 |537297 | 0 | 0.0 | 755M|1936 | - |3773 | 17k| 0 | 0 | 0 | 933k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
742.80/742.85 c 732s|900000 |545220 | 0 | 0.0 | 764M|1936 | - |3773 | 16k| 0 | 0 | 0 | 939k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
748.60/748.61 c 738s|910000 |552816 | 0 | 0.0 | 771M|1936 | - |3773 | 11k| 0 | 0 | 0 | 944k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
753.80/753.81 c 743s|920000 |560013 | 0 | 0.0 | 779M|1936 | - |3773 | 12k| 0 | 0 | 0 | 949k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
759.50/759.55 c 749s|930000 |566844 | 0 | 0.0 | 788M|1936 | - |3773 | 13k| 0 | 0 | 0 | 954k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
765.40/765.43 c 754s|940000 |573505 | 0 | 0.0 | 797M|1936 | - |3773 | 13k| 0 | 0 | 0 | 960k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
771.90/771.98 c 761s|950000 |579681 | 0 | 0.0 | 805M|1936 | - |3773 | 14k| 0 | 0 | 0 | 967k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
779.30/779.36 c 768s|960000 |585137 | 0 | 0.0 | 815M|1936 | - |3773 | 15k| 0 | 0 | 0 | 975k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
787.80/787.83 c 776s|970000 |589859 | 0 | 0.0 | 823M|1936 | - |3773 | 16k| 0 | 0 | 0 | 984k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
797.20/797.29 c 786s|980000 |593968 | 0 | 0.0 | 831M|1936 | - |3773 | 17k| 0 | 0 | 0 | 995k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
805.80/805.84 c 794s|990000 |598761 | 0 | 0.0 | 837M|1936 | - |3773 | 12k| 0 | 0 | 0 |1005k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
811.20/811.24 c 799s| 1000k|605795 | 0 | 0.0 | 844M|1936 | - |3773 | 12k| 0 | 0 | 0 |1010k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
816.30/816.32 c 804s| 1010k|613112 | 0 | 0.0 | 853M|1936 | - |3773 | 12k| 0 | 0 | 0 |1015k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
821.50/821.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
821.50/821.59 c 809s| 1020k|620254 | 0 | 0.0 | 861M|1936 | - |3773 | 13k| 0 | 0 | 0 |1020k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
827.10/827.10 c 815s| 1030k|627216 | 0 | 0.0 | 870M|1936 | - |3773 | 14k| 0 | 0 | 0 |1025k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
833.10/833.18 c 821s| 1040k|633808 | 0 | 0.0 | 878M|1936 | - |3773 | 15k| 0 | 0 | 0 |1031k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
840.20/840.24 c 828s| 1050k|639722 | 0 | 0.0 | 887M|1936 | - |3773 | 16k| 0 | 0 | 0 |1039k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
848.60/848.63 c 836s| 1060k|644821 | 0 | 0.0 | 896M|1936 | - |3773 | 17k| 0 | 0 | 0 |1048k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
858.50/858.53 c 846s| 1070k|649051 | 0 | 0.0 | 905M|1936 | - |3773 | 19k| 0 | 0 | 0 |1059k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
869.60/869.64 c 857s| 1080k|652898 | 0 | 0.0 | 909M|1936 | - |3773 | 13k| 0 | 0 | 0 |1070k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
874.30/874.33 c 861s| 1090k|660760 | 0 | 0.0 | 917M|1936 | - |3773 | 12k| 0 | 0 | 0 |1073k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
879.10/879.17 c 866s| 1100k|668394 | 0 | 0.0 | 925M|1936 | - |3773 | 12k| 0 | 0 | 0 |1077k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
884.10/884.17 c 871s| 1110k|675814 | 0 | 0.0 | 933M|1936 | - |3773 | 13k| 0 | 0 | 0 |1082k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
889.30/889.38 c 876s| 1120k|682982 | 0 | 0.0 | 941M|1936 | - |3773 | 14k| 0 | 0 | 0 |1087k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
895.20/895.20 c 882s| 1130k|689733 | 0 | 0.0 | 949M|1936 | - |3773 | 15k| 0 | 0 | 0 |1093k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
901.90/902.00 c 888s| 1140k|695768 | 0 | 0.0 | 958M|1936 | - |3773 | 16k| 0 | 0 | 0 |1100k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
910.00/910.02 c 896s| 1150k|701151 | 0 | 0.0 | 966M|1936 | - |3773 | 19k| 0 | 0 | 0 |1109k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
919.90/919.98 c 906s| 1160k|705536 | 0 | 0.0 | 975M|1936 | - |3773 | 20k| 0 | 0 | 0 |1119k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
930.81/930.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
930.81/930.86 c 917s| 1170k|709501 | 0 | 0.0 | 980M|1936 | - |3773 | 16k| 0 | 0 | 0 |1130k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
937.40/937.46 c 923s| 1180k|715819 | 0 | 0.0 | 987M|1936 | - |3773 | 13k| 0 | 0 | 0 |1137k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
942.61/942.67 c 928s| 1190k|723119 | 0 | 0.0 | 994M|1936 | - |3773 | 13k| 0 | 0 | 0 |1141k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
947.81/947.85 c 934s| 1200k|730369 | 0 | 0.0 |1003M|1936 | - |3773 | 13k| 0 | 0 | 0 |1146k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
953.10/953.18 c 939s| 1210k|737472 | 0 | 0.0 |1011M|1936 | - |3773 | 14k| 0 | 0 | 0 |1151k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
959.01/959.05 c 944s| 1220k|744174 | 0 | 0.0 |1020M|1936 | - |3773 | 15k| 0 | 0 | 0 |1157k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
965.41/965.47 c 951s| 1230k|750456 | 0 | 0.0 |1029M|1936 | - |3773 | 16k| 0 | 0 | 0 |1164k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
972.80/972.82 c 958s| 1240k|756205 | 0 | 0.0 |1038M|1936 | - |3773 | 18k| 0 | 0 | 0 |1171k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
981.21/981.26 c 966s| 1250k|761389 | 0 | 0.0 |1046M|1936 | - |3773 | 19k| 0 | 0 | 0 |1180k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
991.71/991.74 c 977s| 1260k|765416 | 0 | 0.0 |1055M|1936 | - |3773 | 21k| 0 | 0 | 0 |1191k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1004.80/1004.82 c 990s| 1270k|768176 | 0 | 0.0 |1059M|1936 | - |3773 | 15k| 0 | 0 | 0 |1204k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1009.60/1009.62 c 994s| 1280k|776017 | 0 | 0.0 |1066M|1936 | - |3773 | 12k| 0 | 0 | 0 |1208k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1014.31/1014.36 c 999s| 1290k|783651 | 0 | 0.0 |1073M|1936 | - |3773 | 13k| 0 | 0 | 0 |1212k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1019.40/1019.44 c 1004s| 1300k|791035 | 0 | 0.0 |1081M|1936 | - |3773 | 13k| 0 | 0 | 0 |1216k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1024.70/1024.73 c 1009s| 1310k|798182 | 0 | 0.0 |1090M|1936 | - |3773 | 14k| 0 | 0 | 0 |1222k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1030.51/1030.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1030.51/1030.58 c 1015s| 1320k|804880 | 0 | 0.0 |1098M|1936 | - |3773 | 15k| 0 | 0 | 0 |1227k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1037.00/1037.04 c 1021s| 1330k|811143 | 0 | 0.0 |1106M|1936 | - |3773 | 16k| 0 | 0 | 0 |1234k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1044.40/1044.40 c 1028s| 1340k|816746 | 0 | 0.0 |1115M|1936 | - |3773 | 17k| 0 | 0 | 0 |1242k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1052.71/1052.73 c 1037s| 1350k|821748 | 0 | 0.0 |1124M|1936 | - |3773 | 19k| 0 | 0 | 0 |1251k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1062.81/1062.88 c 1047s| 1360k|825637 | 0 | 0.0 |1132M|1936 | - |3773 | 21k| 0 | 0 | 0 |1262k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1074.62/1074.68 c 1058s| 1370k|829208 | 0 | 0.0 |1136M|1936 | - |3773 | 14k| 0 | 0 | 0 |1273k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1079.31/1079.30 c 1063s| 1380k|837141 | 0 | 0.0 |1143M|1936 | - |3773 | 13k| 0 | 0 | 0 |1277k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1083.91/1083.91 c 1067s| 1390k|844888 | 0 | 0.0 |1151M|1936 | - |3773 | 13k| 0 | 0 | 0 |1280k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1088.60/1088.65 c 1072s| 1400k|852432 | 0 | 0.0 |1158M|1936 | - |3773 | 14k| 0 | 0 | 0 |1284k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1093.71/1093.72 c 1077s| 1410k|859667 | 0 | 0.0 |1167M|1936 | - |3773 | 14k| 0 | 0 | 0 |1289k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1099.00/1099.06 c 1082s| 1420k|866725 | 0 | 0.0 |1175M|1936 | - |3773 | 15k| 0 | 0 | 0 |1294k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1104.91/1104.94 c 1088s| 1430k|873333 | 0 | 0.0 |1183M|1936 | - |3773 | 16k| 0 | 0 | 0 |1300k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1111.11/1111.15 c 1094s| 1440k|879763 | 0 | 0.0 |1192M|1936 | - |3773 | 17k| 0 | 0 | 0 |1306k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1118.30/1118.33 c 1101s| 1450k|885522 | 0 | 0.0 |1200M|1936 | - |3773 | 17k| 0 | 0 | 0 |1313k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1126.41/1126.44 c 1109s| 1460k|890665 | 0 | 0.0 |1209M|1936 | - |3773 | 19k| 0 | 0 | 0 |1321k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1136.71/1136.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1136.71/1136.77 c 1119s| 1470k|894463 | 0 | 0.0 |1216M|1936 | - |3773 | 20k| 0 | 0 | 0 |1332k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1146.91/1146.93 c 1129s| 1480k|898075 | 0 | 0.0 |1220M|1936 | - |3773 | 15k| 0 | 0 | 0 |1344k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1151.01/1151.01 c 1133s| 1490k|906074 | 0 | 0.0 |1227M|1936 | - |3773 | 13k| 0 | 0 | 0 |1347k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1155.11/1155.10 c 1137s| 1500k|913932 | 0 | 0.0 |1235M|1936 | - |3773 | 14k| 0 | 0 | 0 |1351k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1159.41/1159.42 c 1141s| 1510k|921585 | 0 | 0.0 |1243M|1936 | - |3773 | 14k| 0 | 0 | 0 |1355k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1163.81/1163.82 c 1146s| 1520k|929125 | 0 | 0.0 |1251M|1936 | - |3773 | 15k| 0 | 0 | 0 |1359k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1168.61/1168.60 c 1150s| 1530k|936297 | 0 | 0.0 |1259M|1936 | - |3773 | 16k| 0 | 0 | 0 |1364k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1173.91/1173.90 c 1155s| 1540k|943068 | 0 | 0.0 |1267M|1936 | - |3773 | 17k| 0 | 0 | 0 |1370k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1179.91/1179.94 c 1161s| 1550k|949312 | 0 | 0.0 |1276M|1936 | - |3773 | 18k| 0 | 0 | 0 |1377k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1186.71/1186.75 c 1168s| 1560k|955086 | 0 | 0.0 |1284M|1936 | - |3773 | 20k| 0 | 0 | 0 |1384k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1194.81/1194.83 c 1176s| 1570k|960164 | 0 | 0.0 |1292M|1936 | - |3773 | 22k| 0 | 0 | 0 |1393k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1205.31/1205.31 c 1186s| 1580k|963800 | 0 | 0.0 |1300M|1936 | - |3773 | 26k| 0 | 0 | 0 |1405k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1214.91/1214.93 c 1196s| 1590k|968711 | 0 | 0.0 |1302M|1936 | - |3773 | 14k| 0 | 0 | 0 |1414k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1218.81/1218.82 c 1200s| 1600k|976920 | 0 | 0.0 |1310M|1936 | - |3773 | 13k| 0 | 0 | 0 |1417k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1222.71/1222.75 c 1203s| 1610k|985050 | 0 | 0.0 |1317M|1936 | - |3773 | 14k| 0 | 0 | 0 |1420k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1226.71/1226.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1226.71/1226.74 c 1207s| 1620k|993075 | 0 | 0.0 |1325M|1936 | - |3773 | 14k| 0 | 0 | 0 |1424k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1230.71/1230.72 c 1211s| 1630k| 1001k| 0 | 0.0 |1332M|1936 | - |3773 | 14k| 0 | 0 | 0 |1427k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1234.81/1234.84 c 1215s| 1640k| 1008k| 0 | 0.0 |1340M|1936 | - |3773 | 15k| 0 | 0 | 0 |1431k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1239.11/1239.14 c 1219s| 1650k| 1016k| 0 | 0.0 |1348M|1936 | - |3773 | 15k| 0 | 0 | 0 |1435k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1243.51/1243.55 c 1224s| 1660k| 1024k| 0 | 0.0 |1355M|1936 | - |3773 | 15k| 0 | 0 | 0 |1439k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1248.11/1248.12 c 1228s| 1670k| 1031k| 0 | 0.0 |1363M|1936 | - |3773 | 16k| 0 | 0 | 0 |1444k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1252.81/1252.87 c 1233s| 1680k| 1038k| 0 | 0.0 |1371M|1936 | - |3773 | 17k| 0 | 0 | 0 |1449k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1257.81/1257.84 c 1238s| 1690k| 1046k| 0 | 0.0 |1379M|1936 | - |3773 | 17k| 0 | 0 | 0 |1454k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1263.11/1263.12 c 1243s| 1700k| 1053k| 0 | 0.0 |1387M|1936 | - |3773 | 17k| 0 | 0 | 0 |1459k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1269.10/1269.19 c 1249s| 1710k| 1059k| 0 | 0.0 |1395M|1936 | - |3773 | 18k| 0 | 0 | 0 |1465k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1275.61/1275.67 c 1255s| 1720k| 1065k| 0 | 0.0 |1403M|1936 | - |3773 | 19k| 0 | 0 | 0 |1472k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1282.21/1282.26 c 1262s| 1730k| 1071k| 0 | 0.0 |1411M|1936 | - |3773 | 20k| 0 | 0 | 0 |1479k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1289.61/1289.64 c 1269s| 1740k| 1077k| 0 | 0.0 |1419M|1936 | - |3773 | 21k| 0 | 0 | 0 |1487k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1297.30/1297.31 c 1277s| 1750k| 1083k| 0 | 0.0 |1427M|1936 | - |3773 | 22k| 0 | 0 | 0 |1495k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1306.11/1306.12 c 1285s| 1760k| 1088k| 0 | 0.0 |1435M|1936 | - |3773 | 23k| 0 | 0 | 0 |1504k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1316.31/1316.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1316.31/1316.34 c 1295s| 1770k| 1092k| 0 | 0.0 |1443M|1936 | - |3773 | 25k| 0 | 0 | 0 |1514k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1327.91/1327.97 c 1307s| 1780k| 1096k| 0 | 0.0 |1450M|1936 | - |3773 | 27k| 0 | 0 | 0 |1526k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1343.21/1343.24 c 1322s| 1790k| 1098k| 0 | 0.0 |1457M|1936 | - |3773 | 31k| 0 | 0 | 0 |1541k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1351.72/1351.80 c 1330s| 1800k| 1104k| 0 | 0.0 |1458M|1936 | - |3773 | 15k| 0 | 0 | 0 |1547k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1356.01/1356.06 c 1334s| 1810k| 1112k| 0 | 0.0 |1466M|1936 | - |3773 | 15k| 0 | 0 | 0 |1550k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1360.51/1360.57 c 1339s| 1820k| 1120k| 0 | 0.0 |1473M|1936 | - |3773 | 16k| 0 | 0 | 0 |1554k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1365.51/1365.57 c 1344s| 1830k| 1127k| 0 | 0.0 |1481M|1936 | - |3773 | 16k| 0 | 0 | 0 |1559k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1370.62/1370.62 c 1349s| 1840k| 1134k| 0 | 0.0 |1489M|1936 | - |3773 | 17k| 0 | 0 | 0 |1564k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1376.41/1376.48 c 1355s| 1850k| 1141k| 0 | 0.0 |1497M|1936 | - |3773 | 18k| 0 | 0 | 0 |1569k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1382.61/1382.67 c 1361s| 1860k| 1147k| 0 | 0.0 |1505M|1936 | - |3773 | 19k| 0 | 0 | 0 |1575k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1390.01/1390.01 c 1368s| 1870k| 1153k| 0 | 0.0 |1513M|1936 | - |3773 | 21k| 0 | 0 | 0 |1583k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1398.41/1398.49 c 1376s| 1880k| 1158k| 0 | 0.0 |1521M|1936 | - |3773 | 23k| 0 | 0 | 0 |1592k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1409.31/1409.39 c 1387s| 1890k| 1162k| 0 | 0.0 |1529M|1936 | - |3773 | 26k| 0 | 0 | 0 |1603k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1419.82/1419.88 c 1397s| 1900k| 1167k| 0 | 0.0 |1531M|1936 | - |3773 | 15k| 0 | 0 | 0 |1613k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1424.01/1424.09 c 1401s| 1910k| 1175k| 0 | 0.0 |1538M|1936 | - |3773 | 15k| 0 | 0 | 0 |1616k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1428.31/1428.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1428.31/1428.32 c 1406s| 1920k| 1183k| 0 | 0.0 |1546M|1936 | - |3773 | 15k| 0 | 0 | 0 |1620k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1432.81/1432.84 c 1410s| 1930k| 1190k| 0 | 0.0 |1553M|1936 | - |3773 | 16k| 0 | 0 | 0 |1624k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1437.51/1437.51 c 1415s| 1940k| 1198k| 0 | 0.0 |1561M|1936 | - |3773 | 17k| 0 | 0 | 0 |1628k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1442.92/1442.99 c 1420s| 1950k| 1205k| 0 | 0.0 |1570M|1936 | - |3773 | 17k| 0 | 0 | 0 |1633k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1448.72/1448.76 c 1426s| 1960k| 1211k| 0 | 0.0 |1578M|1936 | - |3773 | 18k| 0 | 0 | 0 |1639k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1455.32/1455.36 c 1432s| 1970k| 1217k| 0 | 0.0 |1586M|1936 | - |3773 | 20k| 0 | 0 | 0 |1646k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1463.11/1463.16 c 1440s| 1980k| 1223k| 0 | 0.0 |1594M|1936 | - |3773 | 21k| 0 | 0 | 0 |1655k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1473.31/1473.36 c 1450s| 1990k| 1226k| 0 | 0.0 |1602M|1936 | - |3773 | 25k| 0 | 0 | 0 |1666k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1481.81/1481.80 c 1458s| 2000k| 1232k| 0 | 0.0 |1606M|1936 | - |3773 | 15k| 0 | 0 | 0 |1674k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1485.81/1485.86 c 1462s| 2010k| 1240k| 0 | 0.0 |1613M|1936 | - |3773 | 15k| 0 | 0 | 0 |1677k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1490.11/1490.11 c 1466s| 2020k| 1248k| 0 | 0.0 |1621M|1936 | - |3773 | 15k| 0 | 0 | 0 |1681k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1494.52/1494.58 c 1471s| 2030k| 1255k| 0 | 0.0 |1629M|1936 | - |3773 | 15k| 0 | 0 | 0 |1685k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1499.02/1499.04 c 1475s| 2040k| 1263k| 0 | 0.0 |1636M|1936 | - |3773 | 15k| 0 | 0 | 0 |1689k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1503.42/1503.48 c 1479s| 2050k| 1271k| 0 | 0.0 |1644M|1936 | - |3773 | 16k| 0 | 0 | 0 |1693k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1508.31/1508.38 c 1484s| 2060k| 1278k| 0 | 0.0 |1652M|1936 | - |3773 | 16k| 0 | 0 | 0 |1698k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1513.41/1513.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1513.41/1513.47 c 1489s| 2070k| 1285k| 0 | 0.0 |1660M|1936 | - |3773 | 16k| 0 | 0 | 0 |1703k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1518.52/1518.57 c 1494s| 2080k| 1292k| 0 | 0.0 |1668M|1936 | - |3773 | 17k| 0 | 0 | 0 |1708k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1524.11/1524.10 c 1499s| 2090k| 1299k| 0 | 0.0 |1676M|1936 | - |3773 | 17k| 0 | 0 | 0 |1714k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1529.71/1529.75 c 1505s| 2100k| 1305k| 0 | 0.0 |1684M|1936 | - |3773 | 18k| 0 | 0 | 0 |1720k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1535.62/1535.62 c 1511s| 2110k| 1312k| 0 | 0.0 |1692M|1936 | - |3773 | 18k| 0 | 0 | 0 |1727k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1541.92/1541.98 c 1517s| 2120k| 1318k| 0 | 0.0 |1700M|1936 | - |3773 | 18k| 0 | 0 | 0 |1733k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1548.52/1548.51 c 1523s| 2130k| 1324k| 0 | 0.0 |1708M|1936 | - |3773 | 19k| 0 | 0 | 0 |1741k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1555.42/1555.43 c 1530s| 2140k| 1330k| 0 | 0.0 |1716M|1936 | - |3773 | 20k| 0 | 0 | 0 |1748k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1562.51/1562.53 c 1537s| 2150k| 1336k| 0 | 0.0 |1724M|1936 | - |3773 | 21k| 0 | 0 | 0 |1756k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1570.02/1570.05 c 1545s| 2160k| 1341k| 0 | 0.0 |1732M|1936 | - |3773 | 22k| 0 | 0 | 0 |1765k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1578.11/1578.19 c 1553s| 2170k| 1346k| 0 | 0.0 |1740M|1936 | - |3773 | 23k| 0 | 0 | 0 |1774k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1587.12/1587.16 c 1562s| 2180k| 1351k| 0 | 0.0 |1748M|1936 | - |3773 | 26k| 0 | 0 | 0 |1784k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1598.23/1598.29 c 1572s| 2190k| 1355k| 0 | 0.0 |1751M|1936 | - |3773 | 18k| 0 | 0 | 0 |1795k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1602.62/1602.64 c 1577s| 2200k| 1363k| 0 | 0.0 |1758M|1936 | - |3773 | 15k| 0 | 0 | 0 |1799k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1607.03/1607.01 c 1581s| 2210k| 1371k| 0 | 0.0 |1766M|1936 | - |3773 | 15k| 0 | 0 | 0 |1802k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1611.21/1611.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1611.21/1611.25 c 1585s| 2220k| 1379k| 0 | 0.0 |1773M|1936 | - |3773 | 15k| 0 | 0 | 0 |1806k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1615.72/1615.75 c 1590s| 2230k| 1386k| 0 | 0.0 |1781M|1936 | - |3773 | 15k| 0 | 0 | 0 |1810k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1620.52/1620.51 c 1594s| 2240k| 1394k| 0 | 0.0 |1789M|1936 | - |3773 | 16k| 0 | 0 | 0 |1815k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1625.73/1625.75 c 1599s| 2250k| 1401k| 0 | 0.0 |1797M|1936 | - |3773 | 16k| 0 | 0 | 0 |1820k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1631.33/1631.34 c 1605s| 2260k| 1407k| 0 | 0.0 |1806M|1936 | - |3773 | 17k| 0 | 0 | 0 |1825k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1636.92/1636.97 c 1610s| 2270k| 1414k| 0 | 0.0 |1813M|1936 | - |3773 | 17k| 0 | 0 | 0 |1831k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1642.62/1642.64 c 1616s| 2280k| 1421k| 0 | 0.0 |1822M|1936 | - |3773 | 17k| 0 | 0 | 0 |1837k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1648.72/1648.80 c 1622s| 2290k| 1427k| 0 | 0.0 |1830M|1936 | - |3773 | 18k| 0 | 0 | 0 |1844k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1654.92/1654.91 c 1628s| 2300k| 1434k| 0 | 0.0 |1838M|1936 | - |3773 | 18k| 0 | 0 | 0 |1850k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1661.12/1661.10 c 1634s| 2310k| 1440k| 0 | 0.0 |1846M|1936 | - |3773 | 19k| 0 | 0 | 0 |1857k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1667.72/1667.77 c 1641s| 2320k| 1446k| 0 | 0.0 |1854M|1936 | - |3773 | 19k| 0 | 0 | 0 |1864k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1674.72/1674.70 c 1647s| 2330k| 1452k| 0 | 0.0 |1862M|1936 | - |3773 | 21k| 0 | 0 | 0 |1872k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1682.22/1682.24 c 1655s| 2340k| 1457k| 0 | 0.0 |1870M|1936 | - |3773 | 22k| 0 | 0 | 0 |1880k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1690.42/1690.41 c 1663s| 2350k| 1462k| 0 | 0.0 |1878M|1936 | - |3773 | 23k| 0 | 0 | 0 |1889k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1699.12/1699.17 c 1672s| 2360k| 1467k| 0 | 0.0 |1886M|1936 | - |3773 | 25k| 0 | 0 | 0 |1898k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1709.72/1709.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1709.72/1709.78 c 1682s| 2370k| 1471k| 0 | 0.0 |1895M|1936 | - |3773 | 30k| 0 | 0 | 0 |1909k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1718.12/1718.19 c 1690s| 2380k| 1477k| 0 | 0.0 |1897M|1936 | - |3773 | 15k| 0 | 0 | 0 |1916k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1723.63/1723.67 c 1696s| 2390k| 1484k| 0 | 0.0 |1904M|1936 | - |3773 | 13k| 0 | 0 | 0 |1921k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1728.32/1728.36 c 1700s| 2400k| 1492k| 0 | 0.0 |1912M|1936 | - |3773 | 14k| 0 | 0 | 0 |1925k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1732.53/1732.51 c 1704s| 2410k| 1500k| 0 | 0.0 |1919M|1936 | - |3773 | 11k| 0 | 0 | 0 |1929k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1737.12/1737.17 c 1709s| 2420k| 1507k| 0 | 0.0 |1926M|1936 | - |3773 | 10k| 0 | 0 | 0 |1934k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1741.62/1741.69 c 1713s| 2430k| 1514k| 0 | 0.0 |1934M|1936 | - |3773 | 12k| 0 | 0 | 0 |1939k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1745.23/1745.26 c 1717s| 2440k| 1522k| 0 | 0.0 |1941M|1936 | - |3773 | 10k| 0 | 0 | 0 |1941k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1749.32/1749.32 c 1721s| 2450k| 1530k| 0 | 0.0 |1949M|1936 | - |3773 | 11k| 0 | 0 | 0 |1946k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1754.62/1754.63 c 1726s| 2460k| 1536k| 0 | 0.0 |1957M|1936 | - |3773 | 12k| 0 | 0 | 0 |1952k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1758.22/1758.28 c 1729s| 2470k| 1545k| 0 | 0.0 |1964M|1936 | - |3773 |9980 | 0 | 0 | 0 |1955k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1762.52/1762.58 c 1734s| 2480k| 1552k| 0 | 0.0 |1973M|1936 | - |3773 | 11k| 0 | 0 | 0 |1959k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1767.42/1767.41 c 1738s| 2490k| 1559k| 0 | 0.0 |1980M|1936 | - |3773 | 10k| 0 | 0 | 0 |1965k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1771.62/1771.61 c 1742s| 2500k| 1566k| 0 | 0.0 |1988M|1936 | - |3773 | 11k| 0 | 0 | 0 |1969k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1775.72/1775.71 c 1746s| 2510k| 1574k| 0 | 0.0 |1995M|1936 | - |3773 |9985 | 0 | 0 | 0 |1973k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1780.12/1780.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1780.12/1780.16 c 1751s| 2520k| 1581k| 0 | 0.0 |2003M|1936 | - |3773 |9636 | 0 | 0 | 0 |1978k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1784.13/1784.14 c 1755s| 2530k| 1589k| 0 | 0.0 |2011M|1936 | - |3773 | 11k| 0 | 0 | 0 |1982k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1788.32/1788.31 c 1759s| 2540k| 1596k| 0 | 0.0 |2018M|1936 | - |3773 |9212 | 0 | 0 | 0 |1986k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1792.22/1792.28 c 1763s| 2550k| 1604k| 0 | 0.0 |2026M|1936 | - |3773 | 10k| 0 | 0 | 0 |1990k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1796.92/1796.95 c 1767s| 2560k| 1611k| 0 | 0.0 |2034M|1936 | - |3773 | 11k| 0 | 0 | 0 |1995k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1770.21
1800.03/1800.00 c Solving Nodes : 2567557
1800.03/1800.00 c Primal Bound : +3.00000000000000e+00 (48 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.03 s SATISFIABLE
1800.03/1800.03 v x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.03/1800.03 v -x209 -x208 -x207 -x206 x205 -x204 -x203 -x202 -x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.03/1800.03 v -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 x168
1800.03/1800.03 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 x151 -x150 -x149 -x148 -x147 -x146
1800.03/1800.03 v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125
1800.03/1800.03 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 x108 -x107 -x106 -x105 -x104
1800.03/1800.03 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.03/1800.03 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.03/1800.03 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.03/1800.03 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.03/1800.03 v -x1
1800.03/1800.03 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.03 c Solving Time : 1770.21
1800.03/1800.03 c Original Problem :
1800.03/1800.03 c Problem name : HOME/instance-2694085-1277904544.wbo
1800.03/1800.03 c Variables : 3891 (2061 binary, 0 integer, 0 implicit integer, 1830 continuous)
1800.03/1800.03 c Constraints : 4538 initial, 4538 maximal
1800.03/1800.03 c Presolved Problem :
1800.03/1800.03 c Problem name : t_HOME/instance-2694085-1277904544.wbo
1800.03/1800.03 c Variables : 3773 (2002 binary, 0 integer, 0 implicit integer, 1771 continuous)
1800.03/1800.03 c Constraints : 4398 initial, 46309 maximal
1800.03/1800.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.03 c trivial : 0.00 59 0 0 0 0 0 0 0
1800.03/1800.03 c dualfix : 0.00 59 0 0 0 0 0 0 0
1800.03/1800.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c probing : 0.04 0 0 0 0 0 0 0 0
1800.03/1800.03 c indicator : 0.00 0 0 0 0 0 59 0 0
1800.03/1800.03 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c linear : 0.07 0 0 0 1841 0 81 66 0
1800.03/1800.03 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c root node : - 1732 - - 3464 - - - -
1800.03/1800.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.03 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.03 c indicator : 1771 0 5747571 0 1885526 63 1236212 0 0 0
1800.03/1800.03 c setppc : 7 0 7051001 0 2211736 13016 1737571 0 0 0
1800.03/1800.03 c linear : 1771 0 7133972 0 2233828 349609 32648586 0 0 0
1800.03/1800.03 c logicor : 849+ 0 4560338 0 2233848 187381 6851947 0 0 0
1800.03/1800.03 c bounddisjunction : 0+ 0 26863 0 0 0 17 0 0 0
1800.03/1800.03 c countsols : 0 0 0 0 2233848 0 0 0 0 0
1800.03/1800.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.03 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.03 c indicator : 11.11 0.00 5.24 0.00 5.87
1800.03/1800.03 c setppc : 14.83 0.00 12.40 0.00 2.43
1800.03/1800.03 c linear : 286.96 0.00 284.39 0.00 2.57
1800.03/1800.03 c logicor : 477.25 0.00 414.90 0.00 62.35
1800.03/1800.03 c bounddisjunction : 0.10 0.00 0.10 0.00 0.00
1800.03/1800.03 c countsols : 0.45 0.00 0.00 0.00 0.45
1800.03/1800.03 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.03 c vbounds : 1.83 2 0 0
1800.03/1800.03 c rootredcost : 1.68 0 0 0
1800.03/1800.03 c pseudoobj : 265.30 7148173 1137 1216042
1800.03/1800.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.03 c propagation : 36.89 551143 551127 2991651 23.9 194339 8.7 -
1800.03/1800.03 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.03 c pseudo solution : 0.02 103 103 447 24.4 280 10.4 -
1800.03/1800.03 c applied globally : - - - 1998862 20.7 - - -
1800.03/1800.03 c applied locally : - - - 0 0.0 - - -
1800.03/1800.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.03 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.03 c redcost : 0.00 0 0 0 0 0
1800.03/1800.03 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.03 c intobj : 0.00 0 0 0 0 0
1800.03/1800.03 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.03 c gomory : 0.00 0 0 0 0 0
1800.03/1800.03 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.03 c cmir : 0.00 0 0 0 0 0
1800.03/1800.03 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.03 c clique : 0.00 0 0 0 0 0
1800.03/1800.03 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.03 c mcf : 0.00 0 0 0 0 0
1800.03/1800.03 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.03 c Pricers : Time Calls Vars
1800.03/1800.03 c problem variables: 0.00 0 0
1800.03/1800.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.03 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.03 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.03 c inference : 36.98 2233800 0 0 0 0 4467600
1800.03/1800.03 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.03 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.03 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.03 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.03 c random : 0.00 0 0 0 0 0 0
1800.03/1800.03 c Primal Heuristics : Time Calls Found
1800.03/1800.03 c LP solutions : 0.00 - 0
1800.03/1800.03 c pseudo solutions : 0.08 - 48
1800.03/1800.03 c oneopt : 1.09 0 0
1800.03/1800.03 c trivial : 0.01 2 0
1800.03/1800.03 c simplerounding : 0.00 0 0
1800.03/1800.03 c zirounding : 0.00 0 0
1800.03/1800.03 c rounding : 0.00 0 0
1800.03/1800.03 c shifting : 0.00 0 0
1800.03/1800.03 c intshifting : 0.00 0 0
1800.03/1800.03 c twoopt : 0.00 0 0
1800.03/1800.03 c fixandinfer : 0.00 0 0
1800.03/1800.03 c feaspump : 0.00 0 0
1800.03/1800.03 c coefdiving : 0.00 0 0
1800.03/1800.03 c pscostdiving : 0.00 0 0
1800.03/1800.03 c fracdiving : 0.00 0 0
1800.03/1800.03 c veclendiving : 0.00 0 0
1800.03/1800.03 c intdiving : 0.00 0 0
1800.03/1800.03 c actconsdiving : 0.00 0 0
1800.03/1800.03 c objpscostdiving : 0.00 0 0
1800.03/1800.03 c rootsoldiving : 0.00 0 0
1800.03/1800.03 c linesearchdiving : 0.00 0 0
1800.03/1800.03 c guideddiving : 0.00 0 0
1800.03/1800.03 c octane : 0.00 0 0
1800.03/1800.03 c rens : 0.00 0 0
1800.03/1800.03 c rins : 0.00 0 0
1800.03/1800.03 c localbranching : 0.00 0 0
1800.03/1800.03 c mutation : 0.00 0 0
1800.03/1800.03 c crossover : 0.00 0 0
1800.03/1800.03 c dins : 0.00 0 0
1800.03/1800.03 c undercover : 0.00 0 0
1800.03/1800.03 c nlp : 0.67 0 0
1800.03/1800.03 c trysol : 0.63 1 0
1800.03/1800.03 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.03 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.03 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.03 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.03 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.03 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.03 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.03 c (at root node) : - 0 0 0.00 -
1800.03/1800.03 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.03 c B&B Tree :
1800.03/1800.03 c number of runs : 1
1800.03/1800.03 c nodes : 2567557
1800.03/1800.03 c nodes (total) : 2567557
1800.03/1800.03 c nodes left : 1617222
1800.03/1800.03 c max depth : 1936
1800.03/1800.03 c max depth (total): 1936
1800.03/1800.03 c backtracks : 298963 (11.6%)
1800.03/1800.03 c delayed cutoffs : 254853
1800.03/1800.03 c repropagations : 1201004 (13201112 domain reductions, 217600 cutoffs)
1800.03/1800.03 c avg switch length: 23.45
1800.03/1800.03 c switching time : 494.56
1800.03/1800.03 c Solution :
1800.03/1800.03 c Solutions found : 48 (48 improvements)
1800.03/1800.03 c First Solution : +7.59000000000000e+02 (in run 1, after 10419 nodes, 2.86 seconds, depth 1660, found by <relaxation>)
1800.03/1800.03 c Primal Bound : +3.00000000000000e+00 (in run 1, after 262642 nodes, 127.16 seconds, depth 860, found by <relaxation>)
1800.03/1800.03 c Dual Bound : +0.00000000000000e+00
1800.03/1800.03 c Gap : infinite
1800.03/1800.03 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.03 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-2694085-1277904544/watcher-2694085-1277904544 -o /tmp/evaluation-result-2694085-1277904544/solver-2694085-1277904544 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694085-1277904544.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.03 2.03 2.01 4/182 13389 /proc/meminfo: memFree=31330336/32951124 swapFree=67111528/67111528 [pid=13389] ppid=13387 vsize=8408 CPUtime=0 /proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 13138 0 -1 4202496 1589 0 0 0 0 0 0 0 25 0 1 0 131750577 8609792 1511 4089446400 4194304 7136930 140735378277120 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13389/statm: 2102 1511 275 719 0 1381 0 [startup+0.0332579 s] /proc/loadavg: 2.03 2.03 2.01 4/182 13389 /proc/meminfo: memFree=31330336/32951124 swapFree=67111528/67111528 [pid=13389] ppid=13387 vsize=14964 CPUtime=0.02 /proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 13138 0 -1 4202496 3529 0 0 0 2 0 0 0 25 0 1 0 131750577 15323136 3097 4089446400 4194304 7136930 140735378277120 18446744073709551615 6346856 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13389/statm: 3741 3127 282 719 0 3020 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 14964 [startup+0.100245 s] /proc/loadavg: 2.03 2.03 2.01 4/182 13389 /proc/meminfo: memFree=31330336/32951124 swapFree=67111528/67111528 [pid=13389] ppid=13387 vsize=29212 CPUtime=0.09 /proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 13138 0 -1 4202496 7728 0 0 0 8 1 0 0 25 0 1 0 131750577 29913088 6525 4089446400 4194304 7136930 140735378277120 18446744073709551615 6346856 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13389/statm: 7303 6525 354 719 0 6582 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 29212 [startup+0.300207 s] /proc/loadavg: 2.03 2.03 2.01 4/182 13389 /proc/meminfo: memFree=31330336/32951124 swapFree=67111528/67111528 [pid=13389] ppid=13387 vsize=30328 CPUtime=0.28 /proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 13138 0 -1 4202496 10352 0 0 0 27 1 0 0 25 0 1 0 131750577 31055872 6836 4089446400 4194304 7136930 140735378277120 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13389/statm: 7582 6836 391 719 0 6861 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 30328 [startup+0.700136 s] /proc/loadavg: 2.03 2.03 2.01 4/182 13389 /proc/meminfo: memFree=31330336/32951124 swapFree=67111528/67111528 [pid=13389] ppid=13387 vsize=32084 CPUtime=0.69 /proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 13138 0 -1 4202496 10786 0 0 0 67 2 0 0 25 0 1 0 131750577 32854016 7270 4089446400 4194304 7136930 140735378277120 18446744073709551615 5507457 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13389/statm: 8021 7270 391 719 0 7300 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 32084 [startup+1.50099 s] /proc/loadavg: 2.03 2.03 2.01 3/183 13390 /proc/meminfo: memFree=31302056/32951124 swapFree=67111528/67111528 [pid=13389] ppid=13387 vsize=33976 CPUtime=1.48 /proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 13138 0 -1 4202496 11296 0 0 0 144 4 0 0 25 0 1 0 131750577 34791424 7780 4089446400 4194304 7136930 140735378277120 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13389/statm: 8494 7780 395 719 0 7773 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 33976 [startup+3.10071 s] /proc/loadavg: 2.03 2.03 2.01 3/183 13390 /proc/meminfo: memFree=31300792/32951124 swapFree=67111528/67111528 [pid=13389] ppid=13387 vsize=36680 CPUtime=3.09 /proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 13138 0 -1 4202496 11973 0 0 0 301 8 0 0 25 0 1 0 131750577 37560320 8457 4089446400 4194304 7136930 140735378277120 18446744073709551615 4826977 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13389/statm: 9170 8457 395 719 0 8449 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 36680 [startup+6.30014 s] /proc/loadavg: 2.02 2.03 2.01 3/183 13390 /proc/meminfo: memFree=31290624/32951124 swapFree=67111528/67111528 [pid=13389] ppid=13387 vsize=48920 CPUtime=6.29 /proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 13138 0 -1 4202496 15018 0 0 0 612 17 0 0 25 0 1 0 131750577 50094080 11502 4089446400 4194304 7136930 140735378277120 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13389/statm: 12230 11502 395 719 0 11509 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 48920 [startup+12.701 s] /proc/loadavg: 2.02 2.03 2.01 3/183 13390 /proc/meminfo: memFree=31270964/32951124 swapFree=67111528/67111528 [pid=13389] ppid=13387 vsize=67828 CPUtime=12.68 /proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 13138 0 -1 4202496 19669 0 0 0 1239 29 0 0 25 0 1 0 131750577 69455872 16153 4089446400 4194304 7136930 140735378277120 18446744073709551615 4436399 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13389/statm: 16957 16153 398 719 0 16236 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 67828 [startup+25.5007 s] /proc/loadavg: 2.02 2.03 2.01 3/183 13390 /proc/meminfo: memFree=31229004/32951124 swapFree=67111528/67111528 [pid=13389] ppid=13387 vsize=108432 CPUtime=25.48 /proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 13138 0 -1 4202496 29738 0 0 0 2484 64 0 0 25 0 1 0 131750577 111034368 26222 4089446400 4194304 7136930 140735378277120 18446744073709551615 4647753 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13389/statm: 27108 26222 398 719 0 26387 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 108432 [startup+51.1002 s] /proc/loadavg: 2.01 2.02 2.00 3/183 13392 /proc/meminfo: memFree=31176076/32951124 swapFree=67111528/67111528 [pid=13389] ppid=13387 vsize=163652 CPUtime=51.09 /proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 13138 0 -1 4202496 43113 0 0 0 4990 119 0 0 25 0 1 0 131750577 167579648 39597 4089446400 4194304 7136930 140735378277120 18446744073709551615 5507255 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13389/statm: 40913 39597 398 719 0 40192 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 163652 [startup+102.306 s] /proc/loadavg: 2.06 2.03 2.00 3/183 13392 /proc/meminfo: memFree=31077336/32951124 swapFree=67111528/67111528 [pid=13389] ppid=13387 vsize=265716 CPUtime=102.29 /proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 13138 0 -1 4202496 67496 0 0 0 10003 226 0 0 25 0 1 0 131750577 272093184 63958 4089446400 4194304 7136930 140735378277120 18446744073709551615 4999787 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13389/statm: 66429 63958 398 719 0 65708 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 265716 [startup+162.3 s] /proc/loadavg: 2.06 2.04 2.00 3/183 13397 /proc/meminfo: memFree=30970164/32951124 swapFree=67111528/67111528 [pid=13389] ppid=13387 vsize=375036 CPUtime=162.29 /proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 13138 0 -1 4202496 93720 0 0 0 15868 361 0 0 25 0 1 0 131750577 384036864 90182 4089446400 4194304 7136930 140735378277120 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13389/statm: 93759 90182 398 719 0 93038 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 375036 [startup+222.301 s] /proc/loadavg: 2.02 2.03 2.00 3/183 13426 /proc/meminfo: memFree=30864040/32951124 swapFree=67111528/67111528 [pid=13389] ppid=13387 vsize=477556 CPUtime=222.28 /proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 13138 0 -1 4202496 119602 0 0 0 21731 497 0 0 25 0 1 0 131750577 489017344 116064 4089446400 4194304 7136930 140735378277120 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13389/statm: 119389 116064 398 719 0 118668 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 477556 [startup+282.301 s] /proc/loadavg: 2.05 2.03 2.00 3/183 13428 /proc/meminfo: memFree=30788208/32951124 swapFree=67111528/67111528 [pid=13389] ppid=13387 vsize=554036 CPUtime=282.29 /proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 13138 0 -1 4202496 138849 0 0 0 27643 586 0 0 25 0 1 0 131750577 567332864 135311 4089446400 4194304 7136930 140735378277120 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13389/statm: 138509 135311 398 719 0 137788 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 554036 [startup+342.3 s] /proc/loadavg: 2.02 2.03 2.00 3/183 13429 /proc/meminfo: memFree=30742168/32951124 swapFree=67111528/67111528 [pid=13389] ppid=13387 vsize=599056 CPUtime=342.29 /proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 13138 0 -1 4202496 150193 0 0 0 33582 647 0 0 25 0 1 0 131750577 613433344 146655 4089446400 4194304 7136930 140735378277120 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13389/statm: 149764 146655 398 719 0 149043 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 599056 [startup+402.301 s] /proc/loadavg: 2.00 2.02 2.00 3/183 13430 /proc/meminfo: memFree=30710136/32951124 swapFree=67111528/67111528 [pid=13389] ppid=13387 vsize=630236 CPUtime=402.29 /proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 13138 0 -1 4202496 158045 0 0 0 39533 696 0 0 25 0 1 0 131750577 645361664 154507 4089446400 4194304 7136930 140735378277120 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13389/statm: 157559 154507 398 719 0 156838 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 630236 [startup+462.301 s] /proc/loadavg: 2.00 2.01 2.00 3/183 13432 /proc/meminfo: memFree=30685796/32951124 swapFree=67111528/67111528 [pid=13389] ppid=13387 vsize=654152 CPUtime=462.29 /proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 13138 0 -1 4202496 164017 0 0 0 45493 736 0 0 25 0 1 0 131750577 669851648 160479 4089446400 4194304 7136930 140735378277120 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13389/statm: 163538 160479 398 719 0 162817 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 654152 [startup+522.3 s] /proc/loadavg: 2.05 2.02 2.00 3/183 13434 /proc/meminfo: memFree=30672500/32951124 swapFree=67111528/67111528 [pid=13389] ppid=13387 vsize=669208 CPUtime=522.3 /proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 13138 0 -1 4202496 167789 0 0 0 51453 777 0 0 25 0 1 0 131750577 685268992 164251 4089446400 4194304 7136930 140735378277120 18446744073709551615 4221383 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13389/statm: 167302 164251 398 719 0 166581 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 669208 [startup+582.301 s] /proc/loadavg: 2.02 2.02 2.00 3/183 13436 /proc/meminfo: memFree=30602772/32951124 swapFree=67111528/67111528 [pid=13389] ppid=13387 vsize=750532 CPUtime=582.3 /proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 13138 0 -1 4202496 184673 0 0 0 57371 859 0 0 25 0 1 0 131750577 768544768 181135 4089446400 4194304 7136930 140735378277120 18446744073709551615 6166606 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13389/statm: 187633 181135 398 719 0 186912 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 750532 [startup+642.301 s] /proc/loadavg: 2.00 2.01 2.00 3/183 13437 /proc/meminfo: memFree=30557348/32951124 swapFree=67111528/67111528 [pid=13389] ppid=13387 vsize=795520 CPUtime=642.3 /proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 13138 0 -1 4202496 195926 0 0 0 63303 927 0 0 25 0 1 0 131750577 814612480 192388 4089446400 4194304 7136930 140735378277120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13389/statm: 198880 192388 398 719 0 198159 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 795520 [startup+702.3 s] ################ # More data... # ################ /proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 13138 0 -1 4202496 296118 0 0 0 98708 1522 0 0 25 0 1 0 131750577 1226141696 292580 4089446400 4194304 7136930 140735378277120 18446744073709551615 4924411 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13389/statm: 299351 292580 398 719 0 298630 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 1197404 [startup+1062.3 s] /proc/loadavg: 2.14 2.05 2.01 3/183 13448 /proc/meminfo: memFree=30085348/32951124 swapFree=67111528/67111528 [pid=13389] ppid=13387 vsize=1265856 CPUtime=1062.3 /proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 13138 0 -1 4202496 313466 0 0 0 104600 1630 0 0 25 0 1 0 131750577 1296236544 309928 4089446400 4194304 7136930 140735378277120 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13389/statm: 316464 309928 398 719 0 315743 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 1265856 [startup+1122.3 s] /proc/loadavg: 2.05 2.04 2.00 3/183 13450 /proc/meminfo: memFree=30009804/32951124 swapFree=67111528/67111528 [pid=13389] ppid=13387 vsize=1340020 CPUtime=1122.31 /proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 13138 0 -1 4202496 332246 0 0 0 110484 1747 0 0 25 0 1 0 131750577 1372180480 328708 4089446400 4194304 7136930 140735378277120 18446744073709551615 4983115 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13389/statm: 335005 328708 398 719 0 334284 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1340020 [startup+1182.3 s] /proc/loadavg: 2.02 2.03 2.00 3/183 13452 /proc/meminfo: memFree=29930156/32951124 swapFree=67111528/67111528 [pid=13389] ppid=13387 vsize=1419188 CPUtime=1182.31 /proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 13138 0 -1 4202496 352196 0 0 0 116372 1859 0 0 25 0 1 0 131750577 1453248512 348658 4089446400 4194304 7136930 140735378277120 18446744073709551615 6000517 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13389/statm: 354797 348658 398 719 0 354076 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 1419188 [startup+1242.3 s] /proc/loadavg: 2.00 2.02 2.00 3/183 13453 /proc/meminfo: memFree=29851372/32951124 swapFree=67111528/67111528 [pid=13389] ppid=13387 vsize=1512752 CPUtime=1242.31 /proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 13138 0 -1 4202496 371757 0 0 0 122258 1973 0 0 25 0 1 0 131750577 1549058048 368219 4089446400 4194304 7136930 140735378277120 18446744073709551615 5955605 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13389/statm: 378188 368219 398 719 0 377467 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 1512752 [startup+1302.3 s] /proc/loadavg: 2.00 2.02 2.00 3/183 13481 /proc/meminfo: memFree=29713692/32951124 swapFree=67111528/67111528 [pid=13389] ppid=13387 vsize=1588248 CPUtime=1302.31 /proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 13138 0 -1 4202496 390695 0 0 0 128145 2086 0 0 25 0 1 0 131750577 1626365952 387157 4089446400 4194304 7136930 140735378277120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13389/statm: 397062 387157 398 719 0 396341 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 1588248 [startup+1362.3 s] /proc/loadavg: 2.00 2.01 2.00 3/183 13483 /proc/meminfo: memFree=29594860/32951124 swapFree=67111528/67111528 [pid=13389] ppid=13387 vsize=1630964 CPUtime=1362.31 /proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 13138 0 -1 4202496 401515 0 0 0 134064 2167 0 0 25 0 1 0 131750577 1670107136 397977 4089446400 4194304 7136930 140735378277120 18446744073709551615 4926338 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13389/statm: 407741 397977 398 719 0 407020 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 1630964 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13485 /proc/meminfo: memFree=29456060/32951124 swapFree=67111528/67111528 [pid=13389] ppid=13387 vsize=1691956 CPUtime=1422.32 /proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 13138 0 -1 4202496 416920 0 0 0 139967 2265 0 0 25 0 1 0 131750577 1732562944 413382 4089446400 4194304 7136930 140735378277120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13389/statm: 422989 413382 398 719 0 422268 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 1691956 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13487 /proc/meminfo: memFree=29311300/32951124 swapFree=67111528/67111528 [pid=13389] ppid=13387 vsize=1761592 CPUtime=1482.31 /proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 13138 0 -1 4202496 434605 0 0 0 145861 2370 0 0 25 0 1 0 131750577 1803870208 431067 4089446400 4194304 7136930 140735378277120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13389/statm: 440398 431067 398 719 0 439677 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 1761592 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13488 /proc/meminfo: memFree=29142232/32951124 swapFree=67111528/67111528 [pid=13389] ppid=13387 vsize=1853728 CPUtime=1542.32 /proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 13138 0 -1 4202496 457988 0 0 0 151736 2496 0 0 25 0 1 0 131750577 1898217472 454450 4089446400 4194304 7136930 140735378277120 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13389/statm: 463432 454450 398 719 0 462711 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 1853728 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13489 /proc/meminfo: memFree=29007400/32951124 swapFree=67111528/67111528 [pid=13389] ppid=13387 vsize=1907020 CPUtime=1602.32 /proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 13138 0 -1 4202496 471527 0 0 0 157644 2588 0 0 25 0 1 0 131750577 1952788480 467989 4089446400 4194304 7136930 140735378277120 18446744073709551615 4221241 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13389/statm: 476755 467989 398 719 0 476034 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 1907020 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13491 /proc/meminfo: memFree=28858304/32951124 swapFree=67111528/67111528 [pid=13389] ppid=13387 vsize=1996276 CPUtime=1662.31 /proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 13138 0 -1 4202496 494155 0 0 0 163528 2703 0 0 25 0 1 0 131750577 2044186624 490617 4089446400 4194304 7136930 140735378277120 18446744073709551615 4221536 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13389/statm: 499069 490617 398 719 0 498348 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 1996276 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13493 /proc/meminfo: memFree=28771820/32951124 swapFree=67111528/67111528 [pid=13389] ppid=13387 vsize=2053388 CPUtime=1722.32 /proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 13138 0 -1 4202496 508431 0 0 0 169440 2792 0 0 25 0 1 0 131750577 2102669312 504893 4089446400 4194304 7136930 140735378277120 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13389/statm: 513347 504893 398 719 0 512626 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 2053388 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13495 /proc/meminfo: memFree=28625828/32951124 swapFree=67111528/67111528 [pid=13389] ppid=13387 vsize=2147912 CPUtime=1782.32 /proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 13138 0 -1 4202496 532467 0 0 0 175294 2938 0 0 25 0 1 0 131750577 2199461888 528929 4089446400 4194304 7136930 140735378277120 18446744073709551615 4923049 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13389/statm: 536978 528929 398 719 0 536257 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 2147912 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13495 /proc/meminfo: memFree=28584764/32951124 swapFree=67111528/67111528 [pid=13389] ppid=13387 vsize=2182232 CPUtime=1800.03 /proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 13138 0 -1 4202496 541168 0 0 0 177023 2980 0 0 25 0 1 0 131750577 2234605568 537630 4089446400 4194304 7136930 140735378277120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13389/statm: 545558 537630 398 719 0 544837 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 2182232 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -13389 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.00 2.00 3/184 13496 /proc/meminfo: memFree=28582772/32951124 swapFree=67111528/67111528 [pid=13389] ppid=13387 vsize=2182232 CPUtime=1801.42 /proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 13138 0 -1 4202496 541173 0 0 0 177162 2980 0 0 25 0 1 0 131750577 2234605568 537635 4089446400 4194304 7136930 140735378277120 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13389/statm: 545558 537635 403 719 0 544837 0 Current children cumulated CPU time (s) 1801.42 Current children cumulated vsize (KiB) 2182232 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 2.00 3/184 13496 /proc/meminfo: memFree=28582892/32951124 swapFree=67111528/67111528 [pid=13389] ppid=13387 vsize=2182232 CPUtime=1801.83 /proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 13138 0 -1 4202496 541173 0 0 0 177203 2980 0 0 25 0 1 0 131750577 2234605568 537635 4089446400 4194304 7136930 140735378277120 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13389/statm: 545558 537635 403 719 0 544837 0 Current children cumulated CPU time (s) 1801.83 Current children cumulated vsize (KiB) 2182232 [startup+1802 s] /proc/loadavg: 2.00 2.00 2.00 3/184 13496 /proc/meminfo: memFree=28582892/32951124 swapFree=67111528/67111528 [pid=13389] ppid=13387 vsize=2182232 CPUtime=1802.02 /proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 13138 0 -1 4202496 541173 0 0 0 177222 2980 0 0 25 0 1 0 131750577 2234605568 537635 4089446400 4194304 7136930 140735378277120 18446744073709551615 4670179 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13389/statm: 545558 537635 403 719 0 544837 0 Current children cumulated CPU time (s) 1802.02 Current children cumulated vsize (KiB) 2182232 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.08 CPU time (s): 1802.11 CPU user time (s): 1772.23 CPU system time (s): 29.8725 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 2182232 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1772.23 system time used= 29.8725 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 541173 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 14677 runsolver used 2.68959 second user time and 5.73813 second system time The end
Begin job on node132 at 2010-06-30 15:29:04 IDJOB=2694085 IDBENCH=78921 IDSOLVER=1206 FILE ID=node132/2694085-1277904544 PBS_JOBID= 11197250 Free space on /tmp= 74136 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.1900667195--soft-33-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-2694085-1277904544/watcher-2694085-1277904544 -o /tmp/evaluation-result-2694085-1277904544/solver-2694085-1277904544 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694085-1277904544.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 48e28404edc62027cab8cceeec6ce6b2 RANDOM SEED=1669507257 node132.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.810 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.62 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.810 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.810 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.810 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.810 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.810 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.75 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.810 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.810 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: 31330864 kB Buffers: 184136 kB Cached: 1213724 kB SwapCached: 0 kB Active: 616028 kB Inactive: 860124 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31330864 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3240 kB Writeback: 0 kB AnonPages: 77880 kB Mapped: 15524 kB Slab: 81268 kB PageTables: 4544 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 219836 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= 74132 MiB End job on node132 at 2010-06-30 15:59:06