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.12 | 1802.08 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900669797--soft-33-100-0.wbo |
| MD5SUM | ebc456211cf99aa767d1987ef9daf648 |
| 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 | 91.6031 |
| 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 | 1777 |
| 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 | 90281 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 90280 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 695 |
| 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-2694177-1277909414.wbo>
0.01/0.03 c original problem has 3785 variables (2008 bin, 0 int, 0 impl, 1777 cont) and 4485 constraints
0.01/0.03 c problem read
0.01/0.03 c presolving settings loaded
0.01/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.01/0.05 c presolving:
0.01/0.06 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1913 impls, 7 clqs
0.01/0.09 c (round 2) 0 del vars, 68 del conss, 1777 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1913 impls, 7 clqs
0.10/0.10 c (round 3) 53 del vars, 144 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 0 upgd conss, 1913 impls, 7 clqs
0.10/0.12 c (round 4) 118 del vars, 156 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 905 upgd conss, 1913 impls, 7 clqs
0.10/0.13 c (round 5) 130 del vars, 156 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 905 upgd conss, 1913 impls, 7 clqs
0.10/0.17 c (0.1s) probing: 101/1943 (5.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.10/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.10/0.17 c presolving (6 rounds):
0.10/0.17 c 130 deleted vars, 156 deleted constraints, 1789 tightened bounds, 0 added holes, 76 changed sides, 0 changed coefficients
0.10/0.17 c 1913 implications, 7 cliques
0.10/0.17 c presolved problem has 3655 variables (1943 bin, 0 int, 0 impl, 1712 cont) and 4329 constraints
0.10/0.17 c 1712 constraints of type <indicator>
0.10/0.17 c 7 constraints of type <setppc>
0.10/0.17 c 1712 constraints of type <linear>
0.10/0.17 c 898 constraints of type <logicor>
0.10/0.17 c transformed objective value is always integral (scale: 1)
0.10/0.17 c Presolving Time: 0.12
0.10/0.17 c - non default parameters ----------------------------------------------------------------------
0.10/0.17 c # SCIP version 1.2.1.2
0.10/0.17 c
0.10/0.17 c # frequency for displaying node information lines
0.10/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.10/0.17 c display/freq = 10000
0.10/0.17 c
0.10/0.17 c # maximal time in seconds to run
0.10/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.17 c limits/time = 1799.98
0.10/0.17 c
0.10/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.10/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.17 c limits/memory = 3420
0.10/0.17 c
0.10/0.17 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.10/0.17 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.17 c lp/solvefreq = -1
0.10/0.17 c
0.10/0.17 c # should presolving try to simplify inequalities
0.10/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.17 c constraints/linear/simplifyinequalities = TRUE
0.10/0.17 c
0.10/0.17 c # should presolving try to simplify knapsacks
0.10/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.10/0.17 c
0.10/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.10/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.10/0.17 c separating/rapidlearning/freq = 0
0.10/0.17 c
0.10/0.17 c -----------------------------------------------------------------------------------------------
0.10/0.17 c start solving
0.10/0.17 c
0.10/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.10/0.18 c 0.1s| 1 | 2 | 0 | - | 12M| 0 | - |3655 |4329 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.20/2.28 o 1077
2.20/2.28 c * 2.2s| 8596 | 5791 | 0 | 0.0 | 16M|1862 | - |3655 |4796 | 0 | 0 | 0 | 651 | 0 | 0.000000e+00 | 1.077000e+03 | Inf
2.29/2.34 o 981
2.29/2.34 c * 2.2s| 8764 | 4559 | 0 | 0.0 | 15M|1862 | - |3655 |4798 | 0 | 0 | 0 | 661 | 0 | 0.000000e+00 | 9.810000e+02 | Inf
2.59/2.66 c 2.5s| 10000 | 5792 | 0 | 0.0 | 16M|1862 | - |3655 |4764 | 0 | 0 | 0 | 667 | 0 | 0.000000e+00 | 9.810000e+02 | Inf
2.69/2.71 o 449
2.69/2.71 c * 2.6s| 10186 | 5341 | 0 | 0.0 | 16M|1862 | - |3655 |4756 | 0 | 0 | 0 | 670 | 0 | 0.000000e+00 | 4.490000e+02 | Inf
2.69/2.71 o 408
2.69/2.71 c * 2.6s| 10187 | 5263 | 0 | 0.0 | 16M|1862 | - |3655 |4756 | 0 | 0 | 0 | 670 | 0 | 0.000000e+00 | 4.080000e+02 | Inf
5.39/5.48 c 5.3s| 20000 | 13566 | 0 | 0.0 | 25M|1862 | - |3655 |6246 | 0 | 0 | 0 |5993 | 0 | 0.000000e+00 | 4.080000e+02 | Inf
8.09/8.15 o 359
8.09/8.15 c * 7.9s| 27026 | 17723 | 0 | 0.0 | 31M|1862 | - |3655 |7782 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 3.590000e+02 | Inf
8.09/8.15 o 275
8.09/8.15 c * 7.9s| 27027 | 17276 | 0 | 0.0 | 31M|1862 | - |3655 |7782 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.750000e+02 | Inf
8.49/8.59 o 260
8.49/8.59 c * 8.3s| 27969 | 18153 | 0 | 0.0 | 31M|1862 | - |3655 |7048 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
9.09/9.10 o 243
9.09/9.10 c * 8.8s| 29062 | 19114 | 0 | 0.0 | 32M|1862 | - |3655 |6816 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.430000e+02 | Inf
9.09/9.13 o 224
9.09/9.13 c * 8.8s| 29147 | 18314 | 0 | 0.0 | 31M|1862 | - |3655 |6816 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.240000e+02 | Inf
9.09/9.14 o 205
9.09/9.14 c * 8.8s| 29148 | 18239 | 0 | 0.0 | 31M|1862 | - |3655 |6816 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.050000e+02 | Inf
9.09/9.19 o 203
9.09/9.19 c * 8.9s| 29267 | 18346 | 0 | 0.0 | 31M|1862 | - |3655 |6809 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.030000e+02 | Inf
9.50/9.52 c 9.2s| 30000 | 19042 | 0 | 0.0 | 32M|1862 | - |3655 |6570 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.030000e+02 | Inf
10.09/10.10 o 191
10.09/10.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.09/10.10 c * 9.8s| 31423 | 20172 | 0 | 0.0 | 33M|1862 | - |3655 |6413 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.910000e+02 | Inf
10.09/10.14 o 169
10.09/10.14 c * 9.8s| 31508 | 19835 | 0 | 0.0 | 33M|1862 | - |3655 |6404 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.690000e+02 | Inf
10.69/10.73 o 150
10.69/10.73 c *10.4s| 32900 | 20743 | 0 | 0.0 | 34M|1862 | - |3655 |6364 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.500000e+02 | Inf
10.69/10.73 o 138
10.69/10.73 c *10.4s| 32901 | 20521 | 0 | 0.0 | 33M|1862 | - |3655 |6364 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
10.79/10.89 o 136
10.79/10.89 c *10.6s| 33280 | 20860 | 0 | 0.0 | 34M|1862 | - |3655 |6303 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.360000e+02 | Inf
12.00/12.10 o 125
12.00/12.10 c *11.7s| 36020 | 23210 | 0 | 0.0 | 37M|1862 | - |3655 |6052 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
13.79/13.83 c 13.4s| 40000 | 26818 | 0 | 0.0 | 43M|1862 | - |3655 |6386 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
14.30/14.33 o 111
14.30/14.33 c *13.9s| 41285 | 27694 | 0 | 0.0 | 44M|1862 | - |3655 |6437 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
14.49/14.54 o 110
14.49/14.54 c *14.1s| 41815 | 28149 | 0 | 0.0 | 44M|1862 | - |3655 |6479 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.100000e+02 | Inf
14.49/14.55 o 83
14.49/14.55 c *14.1s| 41816 | 25163 | 0 | 0.0 | 39M|1862 | - |3655 |6479 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
16.79/16.88 o 82
16.79/16.88 c *16.4s| 47200 | 29887 | 0 | 0.0 | 46M|1862 | - |3655 |6486 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
16.79/16.88 o 79
16.79/16.88 c *16.4s| 47201 | 29681 | 0 | 0.0 | 45M|1862 | - |3655 |6486 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
17.99/18.04 c 17.5s| 50000 | 32188 | 0 | 0.0 | 49M|1862 | - |3655 |6597 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
19.49/19.50 o 50
19.49/19.50 c *18.9s| 53644 | 32749 | 0 | 0.0 | 47M|1862 | - |3655 |6971 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
21.49/21.58 c 20.9s| 60000 | 38247 | 0 | 0.0 | 53M|1862 | - |3655 |7504 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
24.89/24.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.89/24.93 c 24.2s| 70000 | 46414 | 0 | 0.0 | 61M|1862 | - |3655 |7429 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
28.19/28.30 c 27.4s| 80000 | 54429 | 0 | 0.0 | 69M|1862 | - |3655 |7874 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
31.80/31.85 c 30.9s| 90000 | 62178 | 0 | 0.0 | 77M|1862 | - |3655 |8485 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
35.70/35.75 c 34.7s|100000 | 69532 | 0 | 0.0 | 86M|1862 | - |3655 |9223 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
39.99/40.06 c 38.9s|110000 | 76336 | 0 | 0.0 | 96M|1862 | - |3655 | 10k| 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
44.69/44.71 c 43.5s|120000 | 82764 | 0 | 0.0 | 104M|1862 | - |3655 | 10k| 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
49.79/49.89 c 48.5s|130000 | 88589 | 0 | 0.0 | 114M|1862 | - |3655 | 11k| 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
55.70/55.74 c 54.3s|140000 | 93960 | 0 | 0.0 | 123M|1862 | - |3655 | 12k| 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
62.79/62.83 c 61.2s|150000 | 98238 | 0 | 0.0 | 132M|1862 | - |3655 | 13k| 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
69.89/69.93 c 68.2s|160000 |103949 | 0 | 0.0 | 138M|1862 | - |3655 |6076 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
73.79/73.81 o 49
73.79/73.81 c *72.0s|167630 |110318 | 0 | 0.0 | 148M|1862 | - |3655 |4902 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
74.99/75.04 c 73.2s|170000 |112265 | 0 | 0.0 | 151M|1862 | - |3655 |5245 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
77.59/77.61 o 21
77.59/77.61 c *75.7s|174303 |111934 | 0 | 0.0 | 144M|1862 | - |3655 |6194 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
80.20/80.23 c 78.3s|180000 |116342 | 0 | 0.0 | 150M|1862 | - |3655 |6302 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
85.20/85.25 c 83.2s|190000 |123361 | 0 | 0.0 | 161M|1862 | - |3655 |9287 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
89.30/89.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
89.30/89.36 c 87.2s|200000 |131544 | 0 | 0.0 | 169M|1862 | - |3655 |7866 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
94.09/94.13 c 91.8s|210000 |138893 | 0 | 0.0 | 178M|1862 | - |3655 |7776 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
98.10/98.16 o 19
98.10/98.16 c *95.8s|219139 |145162 | 0 | 0.0 | 184M|1862 | - |3655 |8771 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
98.49/98.55 c 96.2s|220000 |145858 | 0 | 0.0 | 184M|1862 | - |3655 |8658 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
100.59/100.60 o 11
100.59/100.60 c *98.2s|224531 |148040 | 0 | 0.0 | 184M|1862 | - |3655 |8678 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
101.39/101.47 o 3
101.39/101.47 c *99.0s|226346 |148271 | 0 | 0.0 | 182M|1862 | - |3655 |8816 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
103.30/103.31 c 101s|230000 |150872 | 0 | 0.0 | 186M|1862 | - |3655 |9703 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
107.70/107.80 c 105s|240000 |158351 | 0 | 0.0 | 195M|1862 | - |3655 |9704 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
112.40/112.42 c 110s|250000 |165652 | 0 | 0.0 | 203M|1862 | - |3655 |9529 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
117.19/117.20 c 114s|260000 |172860 | 0 | 0.0 | 212M|1862 | - |3655 | 11k| 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
121.39/121.47 c 119s|270000 |180628 | 0 | 0.0 | 222M|1862 | - |3655 | 11k| 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
125.79/125.83 c 123s|280000 |188551 | 0 | 0.0 | 231M|1862 | - |3655 | 10k| 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
130.20/130.26 c 127s|290000 |196424 | 0 | 0.0 | 240M|1862 | - |3655 | 12k| 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
136.19/136.29 c 133s|300000 |202921 | 0 | 0.0 | 248M|1862 | - |3655 | 11k| 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
140.39/140.45 c 137s|310000 |210914 | 0 | 0.0 | 255M|1862 | - |3655 | 12k| 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
145.20/145.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
145.20/145.26 c 142s|320000 |218446 | 0 | 0.0 | 263M|1862 | - |3655 | 11k| 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
149.69/149.71 c 146s|330000 |226294 | 0 | 0.0 | 273M|1862 | - |3655 | 12k| 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
154.69/154.74 c 151s|340000 |233575 | 0 | 0.0 | 281M|1862 | - |3655 | 13k| 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
162.00/162.05 c 158s|350000 |239070 | 0 | 0.0 | 290M|1862 | - |3655 | 14k| 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
166.19/166.23 c 162s|360000 |247078 | 0 | 0.0 | 297M|1862 | - |3655 | 13k| 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
171.00/171.02 c 167s|370000 |254383 | 0 | 0.0 | 304M|1862 | - |3655 | 13k| 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
175.90/175.94 c 172s|380000 |261710 | 0 | 0.0 | 312M|1862 | - |3655 | 12k| 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
180.09/180.17 c 176s|390000 |269753 | 0 | 0.0 | 321M|1862 | - |3655 | 13k| 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
186.09/186.19 c 182s|400000 |276136 | 0 | 0.0 | 330M|1862 | - |3655 | 16k| 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
190.39/190.42 c 186s|410000 |284270 | 0 | 0.0 | 338M|1862 | - |3655 | 14k| 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
195.10/195.15 c 191s|420000 |291908 | 0 | 0.0 | 346M|1862 | - |3655 | 14k| 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
199.99/200.10 c 195s|430000 |299308 | 0 | 0.0 | 355M|1862 | - |3655 | 15k| 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
205.70/205.71 c 201s|440000 |306207 | 0 | 0.0 | 363M|1862 | - |3655 | 14k| 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
211.10/211.15 c 206s|450000 |313273 | 0 | 0.0 | 371M|1862 | - |3655 | 14k| 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
215.69/215.79 c 211s|460000 |320959 | 0 | 0.0 | 379M|1862 | - |3655 | 13k| 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
220.90/221.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
220.90/221.00 c 216s|470000 |328081 | 0 | 0.0 | 388M|1862 | - |3655 | 14k| 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
226.50/226.57 c 221s|480000 |334968 | 0 | 0.0 | 397M|1862 | - |3655 | 14k| 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
232.49/232.50 c 227s|490000 |341606 | 0 | 0.0 | 406M|1862 | - |3655 | 14k| 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
238.49/238.57 c 233s|500000 |348206 | 0 | 0.0 | 415M|1862 | - |3655 | 15k| 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
244.79/244.82 c 239s|510000 |354626 | 0 | 0.0 | 424M|1862 | - |3655 | 15k| 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
251.49/251.51 c 246s|520000 |360756 | 0 | 0.0 | 433M|1862 | - |3655 | 15k| 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
258.20/258.29 c 252s|530000 |366870 | 0 | 0.0 | 443M|1862 | - |3655 | 15k| 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
265.20/265.29 c 259s|540000 |372818 | 0 | 0.0 | 452M|1862 | - |3655 | 16k| 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
272.29/272.39 c 266s|550000 |378748 | 0 | 0.0 | 461M|1862 | - |3655 | 16k| 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
279.40/279.42 c 273s|560000 |384724 | 0 | 0.0 | 470M|1862 | - |3655 | 17k| 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
286.69/286.73 c 281s|570000 |390586 | 0 | 0.0 | 479M|1862 | - |3655 | 17k| 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
293.80/293.84 c 288s|580000 |396527 | 0 | 0.0 | 488M|1862 | - |3655 | 17k| 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
301.49/301.57 c 295s|590000 |402079 | 0 | 0.0 | 497M|1862 | - |3655 | 18k| 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
309.40/309.50 c 303s|600000 |407503 | 0 | 0.0 | 505M|1862 | - |3655 | 18k| 0 | 0 | 0 | 417k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
317.70/317.73 c 311s|610000 |412699 | 0 | 0.0 | 514M|1862 | - |3655 | 18k| 0 | 0 | 0 | 428k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
326.09/326.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
326.09/326.19 c 319s|620000 |417867 | 0 | 0.0 | 522M|1862 | - |3655 | 18k| 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
334.40/334.43 c 328s|630000 |423094 | 0 | 0.0 | 531M|1862 | - |3655 | 19k| 0 | 0 | 0 | 450k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
343.59/343.68 c 337s|640000 |427710 | 0 | 0.0 | 539M|1862 | - |3655 | 20k| 0 | 0 | 0 | 462k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
352.80/352.88 c 346s|650000 |432314 | 0 | 0.0 | 547M|1862 | - |3655 | 20k| 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
363.10/363.11 c 356s|660000 |436256 | 0 | 0.0 | 555M|1862 | - |3655 | 21k| 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
373.50/373.50 c 366s|670000 |440042 | 0 | 0.0 | 563M|1862 | - |3655 | 21k| 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
384.29/384.38 c 377s|680000 |443520 | 0 | 0.0 | 570M|1862 | - |3655 | 21k| 0 | 0 | 0 | 518k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
396.00/396.00 c 388s|690000 |446682 | 0 | 0.0 | 577M|1862 | - |3655 | 20k| 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
408.30/408.38 c 401s|700000 |449113 | 0 | 0.0 | 584M|1862 | - |3655 | 23k| 0 | 0 | 0 | 552k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
421.10/421.20 c 413s|710000 |451743 | 0 | 0.0 | 591M|1862 | - |3655 | 22k| 0 | 0 | 0 | 570k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
434.80/434.87 c 427s|720000 |453690 | 0 | 0.0 | 598M|1862 | - |3655 | 24k| 0 | 0 | 0 | 590k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
449.40/449.48 c 441s|730000 |455234 | 0 | 0.0 | 605M|1862 | - |3655 | 24k| 0 | 0 | 0 | 611k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
464.30/464.39 c 456s|740000 |456791 | 0 | 0.0 | 611M|1862 | - |3655 | 25k| 0 | 0 | 0 | 632k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
480.30/480.35 c 472s|750000 |457706 | 0 | 0.0 | 617M|1862 | - |3655 | 27k| 0 | 0 | 0 | 654k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
498.71/498.71 c 490s|760000 |457481 | 0 | 0.0 | 622M|1862 | - |3655 | 30k| 0 | 0 | 0 | 680k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
511.00/511.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
511.00/511.05 c 502s|770000 |462096 | 0 | 0.0 | 625M|1862 | - |3655 |8802 | 0 | 0 | 0 | 694k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
516.70/516.79 c 508s|780000 |469797 | 0 | 0.0 | 639M|1862 | - |3655 |8452 | 0 | 0 | 0 | 699k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
522.70/522.78 c 514s|790000 |477297 | 0 | 0.0 | 650M|1862 | - |3655 |8874 | 0 | 0 | 0 | 705k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
529.60/529.60 c 521s|800000 |484446 | 0 | 0.0 | 670M|1862 | - |3655 |9940 | 0 | 0 | 0 | 712k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
537.70/537.71 c 529s|810000 |491030 | 0 | 0.0 | 698M|1862 | - |3655 | 11k| 0 | 0 | 0 | 719k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
546.70/546.70 c 537s|820000 |497276 | 0 | 0.0 | 731M|1862 | - |3655 | 12k| 0 | 0 | 0 | 728k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
558.11/558.10 c 549s|830000 |502630 | 0 | 0.0 | 777M|1862 | - |3655 | 13k| 0 | 0 | 0 | 738k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
571.80/571.82 c 562s|840000 |506694 | 0 | 0.0 | 823M|1862 | - |3655 | 14k| 0 | 0 | 0 | 750k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
590.71/590.75 c 581s|850000 |507796 | 0 | 0.0 | 854M|1862 | - |3655 | 18k| 0 | 0 | 0 | 765k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
604.60/604.62 c 595s|860000 |510955 | 0 | 0.0 | 867M|1862 | - |3655 | 17k| 0 | 0 | 0 | 776k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
610.51/610.55 c 600s|870000 |518767 | 0 | 0.0 | 885M|1862 | - |3655 | 17k| 0 | 0 | 0 | 781k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
616.60/616.69 c 606s|880000 |526407 | 0 | 0.0 | 904M|1862 | - |3655 | 17k| 0 | 0 | 0 | 787k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
623.20/623.22 c 613s|890000 |533815 | 0 | 0.0 | 923M|1862 | - |3655 | 18k| 0 | 0 | 0 | 793k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
631.31/631.34 c 621s|900000 |540619 | 0 | 0.0 | 945M|1862 | - |3655 | 20k| 0 | 0 | 0 | 801k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
640.91/640.96 c 630s|910000 |546792 | 0 | 0.0 | 970M|1862 | - |3655 | 22k| 0 | 0 | 0 | 810k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
652.80/652.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
652.80/652.86 c 642s|920000 |552028 | 0 | 0.0 | 996M|1862 | - |3655 | 24k| 0 | 0 | 0 | 821k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
668.31/668.34 c 657s|930000 |555876 | 0 | 0.0 |1022M|1862 | - |3655 | 26k| 0 | 0 | 0 | 835k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
689.01/689.06 c 678s|940000 |557656 | 0 | 0.0 |1040M|1862 | - |3655 | 28k| 0 | 0 | 0 | 852k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
696.71/696.78 c 685s|950000 |565498 | 0 | 0.0 |1059M|1862 | - |3655 | 23k| 0 | 0 | 0 | 857k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
703.51/703.59 c 692s|960000 |572967 | 0 | 0.0 |1071M|1862 | - |3655 | 22k| 0 | 0 | 0 | 864k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
708.21/708.23 o 2
708.21/708.23 c * 697s|966726 |566256 | 0 | 0.0 |1064M|1862 | - |3655 | 23k| 0 | 0 | 0 | 869k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
710.71/710.73 c 699s|970000 |568566 | 0 | 0.0 |1067M|1862 | - |3655 | 24k| 0 | 0 | 0 | 871k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
719.41/719.49 c 708s|980000 |575143 | 0 | 0.0 |1078M|1862 | - |3655 | 25k| 0 | 0 | 0 | 879k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
729.60/729.66 c 718s|990000 |581117 | 0 | 0.0 |1089M|1862 | - |3655 | 27k| 0 | 0 | 0 | 889k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
741.21/741.28 c 729s| 1000k|586475 | 0 | 0.0 |1100M|1862 | - |3655 | 29k| 0 | 0 | 0 | 901k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
756.31/756.33 c 744s| 1010k|590477 | 0 | 0.0 |1110M|1862 | - |3655 | 32k| 0 | 0 | 0 | 915k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
776.91/776.98 c 765s| 1020k|592300 | 0 | 0.0 |1120M|1862 | - |3655 | 38k| 0 | 0 | 0 | 934k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
787.21/787.24 c 775s| 1030k|599527 | 0 | 0.0 |1133M|1862 | - |3655 | 26k| 0 | 0 | 0 | 940k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
794.31/794.31 c 782s| 1040k|606968 | 0 | 0.0 |1142M|1862 | - |3655 | 27k| 0 | 0 | 0 | 947k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
801.81/801.88 c 789s| 1050k|614146 | 0 | 0.0 |1152M|1862 | - |3655 | 28k| 0 | 0 | 0 | 954k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
810.31/810.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
810.31/810.30 c 798s| 1060k|620902 | 0 | 0.0 |1161M|1862 | - |3655 | 29k| 0 | 0 | 0 | 963k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
820.21/820.24 c 807s| 1070k|627032 | 0 | 0.0 |1170M|1862 | - |3655 | 30k| 0 | 0 | 0 | 973k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
831.52/831.56 c 819s| 1080k|632577 | 0 | 0.0 |1180M|1862 | - |3655 | 32k| 0 | 0 | 0 | 983k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
844.51/844.58 c 832s| 1090k|637431 | 0 | 0.0 |1190M|1862 | - |3655 | 33k| 0 | 0 | 0 | 996k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
858.21/858.25 c 845s| 1100k|642463 | 0 | 0.0 |1202M|1862 | - |3655 | 33k| 0 | 0 | 0 |1008k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
870.60/870.60 c 857s| 1110k|648216 | 0 | 0.0 |1216M|1862 | - |3655 | 33k| 0 | 0 | 0 |1018k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
882.01/882.04 c 869s| 1120k|654521 | 0 | 0.0 |1233M|1862 | - |3655 | 32k| 0 | 0 | 0 |1028k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
893.01/893.07 c 879s| 1130k|661083 | 0 | 0.0 |1250M|1862 | - |3655 | 32k| 0 | 0 | 0 |1036k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
903.71/903.78 c 890s| 1140k|667796 | 0 | 0.0 |1269M|1862 | - |3655 | 33k| 0 | 0 | 0 |1044k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
915.12/915.12 c 901s| 1150k|674274 | 0 | 0.0 |1286M|1862 | - |3655 | 34k| 0 | 0 | 0 |1053k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
927.41/927.40 c 913s| 1160k|680296 | 0 | 0.0 |1304M|1862 | - |3655 | 37k| 0 | 0 | 0 |1063k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
942.52/942.56 c 928s| 1170k|685364 | 0 | 0.0 |1318M|1862 | - |3655 | 39k| 0 | 0 | 0 |1075k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
962.52/962.53 c 948s| 1180k|688716 | 0 | 0.0 |1328M|1862 | - |3655 | 43k| 0 | 0 | 0 |1092k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
976.51/976.57 c 962s| 1190k|694696 | 0 | 0.0 |1333M|1862 | - |3655 | 34k| 0 | 0 | 0 |1102k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
983.81/983.80 c 969s| 1200k|702428 | 0 | 0.0 |1340M|1862 | - |3655 | 34k| 0 | 0 | 0 |1108k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
992.22/992.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
992.22/992.29 c 978s| 1210k|709509 | 0 | 0.0 |1348M|1862 | - |3655 | 35k| 0 | 0 | 0 |1116k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1002.21/1002.20 c 987s| 1220k|715993 | 0 | 0.0 |1357M|1862 | - |3655 | 37k| 0 | 0 | 0 |1125k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1013.12/1013.11 c 998s| 1230k|722097 | 0 | 0.0 |1365M|1862 | - |3655 | 38k| 0 | 0 | 0 |1135k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1025.71/1025.70 c 1011s| 1240k|727536 | 0 | 0.0 |1373M|1862 | - |3655 | 40k| 0 | 0 | 0 |1147k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1040.11/1040.15 c 1025s| 1250k|732271 | 0 | 0.0 |1381M|1862 | - |3655 | 43k| 0 | 0 | 0 |1160k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1058.61/1058.63 c 1043s| 1260k|735557 | 0 | 0.0 |1389M|1862 | - |3655 | 47k| 0 | 0 | 0 |1177k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1072.61/1072.60 c 1057s| 1270k|741275 | 0 | 0.0 |1394M|1862 | - |3655 | 40k| 0 | 0 | 0 |1188k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1080.81/1080.80 c 1065s| 1280k|748916 | 0 | 0.0 |1402M|1862 | - |3655 | 39k| 0 | 0 | 0 |1195k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1089.62/1089.69 c 1074s| 1290k|756161 | 0 | 0.0 |1412M|1862 | - |3655 | 40k| 0 | 0 | 0 |1203k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1099.51/1099.53 c 1084s| 1300k|762982 | 0 | 0.0 |1421M|1862 | - |3655 | 40k| 0 | 0 | 0 |1211k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1110.61/1110.69 c 1095s| 1310k|769237 | 0 | 0.0 |1430M|1862 | - |3655 | 41k| 0 | 0 | 0 |1221k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1124.12/1124.12 c 1108s| 1320k|774703 | 0 | 0.0 |1439M|1862 | - |3655 | 44k| 0 | 0 | 0 |1233k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1139.52/1139.60 c 1123s| 1330k|779165 | 0 | 0.0 |1447M|1862 | - |3655 | 45k| 0 | 0 | 0 |1249k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1161.11/1161.16 c 1145s| 1340k|781811 | 0 | 0.0 |1456M|1862 | - |3655 | 52k| 0 | 0 | 0 |1268k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1170.82/1170.83 c 1154s| 1350k|789665 | 0 | 0.0 |1463M|1862 | - |3655 | 41k| 0 | 0 | 0 |1273k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1179.92/1179.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1179.92/1179.98 c 1163s| 1360k|797297 | 0 | 0.0 |1474M|1862 | - |3655 | 41k| 0 | 0 | 0 |1280k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1189.81/1189.87 c 1173s| 1370k|804483 | 0 | 0.0 |1483M|1862 | - |3655 | 40k| 0 | 0 | 0 |1287k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1200.52/1200.59 c 1184s| 1380k|810984 | 0 | 0.0 |1492M|1862 | - |3655 | 43k| 0 | 0 | 0 |1297k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1212.72/1212.77 c 1196s| 1390k|817000 | 0 | 0.0 |1500M|1862 | - |3655 | 45k| 0 | 0 | 0 |1308k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1226.02/1226.01 c 1209s| 1400k|822699 | 0 | 0.0 |1509M|1862 | - |3655 | 46k| 0 | 0 | 0 |1319k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1242.93/1242.91 c 1226s| 1410k|827238 | 0 | 0.0 |1518M|1862 | - |3655 | 48k| 0 | 0 | 0 |1334k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1266.32/1266.35 c 1249s| 1420k|829752 | 0 | 0.0 |1525M|1862 | - |3655 | 54k| 0 | 0 | 0 |1353k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1274.31/1274.33 c 1257s| 1430k|837887 | 0 | 0.0 |1528M|1862 | - |3655 | 37k| 0 | 0 | 0 |1356k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1281.02/1281.06 c 1264s| 1440k|845719 | 0 | 0.0 |1536M|1862 | - |3655 | 38k| 0 | 0 | 0 |1360k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1287.92/1287.96 c 1270s| 1450k|853419 | 0 | 0.0 |1544M|1862 | - |3655 | 38k| 0 | 0 | 0 |1364k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1295.02/1295.09 c 1277s| 1460k|860946 | 0 | 0.0 |1552M|1862 | - |3655 | 38k| 0 | 0 | 0 |1368k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1303.02/1303.03 c 1285s| 1470k|868107 | 0 | 0.0 |1560M|1862 | - |3655 | 38k| 0 | 0 | 0 |1373k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1311.22/1311.26 c 1293s| 1480k|875043 | 0 | 0.0 |1568M|1862 | - |3655 | 39k| 0 | 0 | 0 |1378k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1319.52/1319.53 c 1302s| 1490k|881876 | 0 | 0.0 |1576M|1862 | - |3655 | 39k| 0 | 0 | 0 |1384k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1328.83/1328.81 c 1311s| 1500k|888389 | 0 | 0.0 |1584M|1862 | - |3655 | 39k| 0 | 0 | 0 |1390k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1338.42/1338.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1338.42/1338.47 c 1320s| 1510k|894634 | 0 | 0.0 |1592M|1862 | - |3655 | 40k| 0 | 0 | 0 |1396k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1348.92/1348.92 c 1331s| 1520k|900571 | 0 | 0.0 |1600M|1862 | - |3655 | 40k| 0 | 0 | 0 |1403k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1359.92/1359.93 c 1341s| 1530k|906182 | 0 | 0.0 |1608M|1862 | - |3655 | 41k| 0 | 0 | 0 |1411k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1371.22/1371.27 c 1353s| 1540k|911636 | 0 | 0.0 |1616M|1862 | - |3655 | 42k| 0 | 0 | 0 |1419k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1385.82/1385.81 c 1367s| 1550k|916383 | 0 | 0.0 |1624M|1862 | - |3655 | 43k| 0 | 0 | 0 |1428k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1401.42/1401.43 c 1382s| 1560k|920764 | 0 | 0.0 |1631M|1862 | - |3655 | 43k| 0 | 0 | 0 |1438k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1419.52/1419.54 c 1400s| 1570k|924071 | 0 | 0.0 |1638M|1862 | - |3655 | 45k| 0 | 0 | 0 |1449k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1439.52/1439.53 c 1419s| 1580k|926584 | 0 | 0.0 |1644M|1862 | - |3655 | 47k| 0 | 0 | 0 |1462k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1453.03/1453.03 c 1432s| 1590k|932112 | 0 | 0.0 |1647M|1862 | - |3655 | 38k| 0 | 0 | 0 |1469k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1460.52/1460.57 c 1439s| 1600k|939870 | 0 | 0.0 |1654M|1862 | - |3655 | 38k| 0 | 0 | 0 |1473k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1468.82/1468.89 c 1447s| 1610k|947150 | 0 | 0.0 |1663M|1862 | - |3655 | 39k| 0 | 0 | 0 |1477k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1477.72/1477.76 c 1456s| 1620k|954085 | 0 | 0.0 |1671M|1862 | - |3655 | 39k| 0 | 0 | 0 |1483k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1487.53/1487.56 c 1465s| 1630k|960511 | 0 | 0.0 |1679M|1862 | - |3655 | 40k| 0 | 0 | 0 |1489k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1498.23/1498.24 c 1476s| 1640k|966576 | 0 | 0.0 |1687M|1862 | - |3655 | 40k| 0 | 0 | 0 |1496k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1509.72/1509.70 c 1487s| 1650k|972287 | 0 | 0.0 |1695M|1862 | - |3655 | 40k| 0 | 0 | 0 |1504k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1521.33/1521.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1521.33/1521.33 c 1498s| 1660k|977924 | 0 | 0.0 |1702M|1862 | - |3655 | 40k| 0 | 0 | 0 |1511k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1533.02/1533.05 c 1509s| 1670k|983765 | 0 | 0.0 |1710M|1862 | - |3655 | 40k| 0 | 0 | 0 |1518k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1544.83/1544.86 c 1521s| 1680k|989481 | 0 | 0.0 |1717M|1862 | - |3655 | 40k| 0 | 0 | 0 |1525k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1556.12/1556.15 c 1532s| 1690k|995554 | 0 | 0.0 |1724M|1862 | - |3655 | 40k| 0 | 0 | 0 |1532k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1566.92/1566.93 c 1542s| 1700k| 1001k| 0 | 0.0 |1732M|1862 | - |3655 | 40k| 0 | 0 | 0 |1538k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1577.52/1577.57 c 1552s| 1710k| 1008k| 0 | 0.0 |1740M|1862 | - |3655 | 39k| 0 | 0 | 0 |1544k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1588.33/1588.32 c 1563s| 1720k| 1014k| 0 | 0.0 |1748M|1862 | - |3655 | 39k| 0 | 0 | 0 |1551k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1599.12/1599.18 c 1573s| 1730k| 1020k| 0 | 0.0 |1755M|1862 | - |3655 | 40k| 0 | 0 | 0 |1557k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1609.72/1609.79 c 1583s| 1740k| 1026k| 0 | 0.0 |1763M|1862 | - |3655 | 39k| 0 | 0 | 0 |1563k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1620.42/1620.45 c 1594s| 1750k| 1033k| 0 | 0.0 |1770M|1862 | - |3655 | 39k| 0 | 0 | 0 |1569k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1630.93/1630.91 c 1604s| 1760k| 1039k| 0 | 0.0 |1778M|1862 | - |3655 | 39k| 0 | 0 | 0 |1576k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1641.63/1641.63 c 1614s| 1770k| 1045k| 0 | 0.0 |1786M|1862 | - |3655 | 40k| 0 | 0 | 0 |1582k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1652.82/1652.81 c 1625s| 1780k| 1051k| 0 | 0.0 |1793M|1862 | - |3655 | 40k| 0 | 0 | 0 |1589k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1664.13/1664.17 c 1636s| 1790k| 1058k| 0 | 0.0 |1801M|1862 | - |3655 | 40k| 0 | 0 | 0 |1595k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1676.23/1676.22 c 1648s| 1800k| 1063k| 0 | 0.0 |1808M|1862 | - |3655 | 41k| 0 | 0 | 0 |1602k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1690.02/1690.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1690.02/1690.02 c 1661s| 1810k| 1069k| 0 | 0.0 |1816M|1862 | - |3655 | 41k| 0 | 0 | 0 |1610k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1703.73/1703.74 c 1674s| 1820k| 1074k| 0 | 0.0 |1824M|1862 | - |3655 | 42k| 0 | 0 | 0 |1618k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1720.33/1720.37 c 1691s| 1830k| 1078k| 0 | 0.0 |1831M|1862 | - |3655 | 43k| 0 | 0 | 0 |1627k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1736.93/1736.93 c 1707s| 1840k| 1083k| 0 | 0.0 |1838M|1862 | - |3655 | 43k| 0 | 0 | 0 |1637k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1754.54/1754.53 c 1724s| 1850k| 1086k| 0 | 0.0 |1845M|1862 | - |3655 | 45k| 0 | 0 | 0 |1648k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1776.13/1776.15 c 1745s| 1860k| 1089k| 0 | 0.0 |1852M|1862 | - |3655 | 47k| 0 | 0 | 0 |1660k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1799.02/1799.02 c 1767s| 1870k| 1092k| 0 | 0.0 |1854M|1862 | - |3655 | 42k| 0 | 0 | 0 |1672k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1768.42
1800.04/1800.00 c Solving Nodes : 1871146
1800.04/1800.00 c Primal Bound : +2.00000000000000e+00 (29 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.04 s SATISFIABLE
1800.04/1800.04 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.04/1800.04 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.04/1800.04 v -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.04/1800.04 v -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 x147
1800.04/1800.04 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.04/1800.04 v -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 x108 -x107 -x106 -x105 -x104
1800.04/1800.04 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.04/1800.04 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.04/1800.04 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.04/1800.04 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.04/1800.04 v x1
1800.04/1800.04 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.04 c Solving Time : 1768.42
1800.04/1800.04 c Original Problem :
1800.04/1800.04 c Problem name : HOME/instance-2694177-1277909414.wbo
1800.04/1800.04 c Variables : 3785 (2008 binary, 0 integer, 0 implicit integer, 1777 continuous)
1800.04/1800.04 c Constraints : 4485 initial, 4485 maximal
1800.04/1800.04 c Presolved Problem :
1800.04/1800.04 c Problem name : t_HOME/instance-2694177-1277909414.wbo
1800.04/1800.04 c Variables : 3655 (1943 binary, 0 integer, 0 implicit integer, 1712 continuous)
1800.04/1800.04 c Constraints : 4329 initial, 54414 maximal
1800.04/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.04 c trivial : 0.00 65 0 0 0 0 0 0 0
1800.04/1800.04 c dualfix : 0.00 65 0 0 0 0 0 0 0
1800.04/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c probing : 0.03 0 0 0 0 0 0 0 0
1800.04/1800.04 c indicator : 0.00 0 0 0 0 0 65 0 0
1800.04/1800.04 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c linear : 0.08 0 0 0 1789 0 91 76 0
1800.04/1800.04 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c root node : - 1690 - - 3380 - - - -
1800.04/1800.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.04 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.04 c indicator : 1712 0 4112505 0 1228373 70 5123282 0 0 0
1800.04/1800.04 c setppc : 7 0 5574631 0 1598003 22993 2101740 0 0 0
1800.04/1800.04 c linear : 1712 0 5562891 0 1604417 206845 25608517 0 0 0
1800.04/1800.04 c logicor : 898+ 0 3651998 0 1604433 204949 5740750 0 0 0
1800.04/1800.04 c bounddisjunction : 0+ 0 106201 0 0 0 68 0 0 0
1800.04/1800.04 c countsols : 0 0 0 0 1604432 0 0 0 0 0
1800.04/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.04 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.04 c indicator : 13.64 0.00 8.74 0.00 4.90
1800.04/1800.04 c setppc : 16.34 0.00 14.54 0.00 1.80
1800.04/1800.04 c linear : 233.80 0.00 231.62 0.00 2.18
1800.04/1800.04 c logicor : 574.77 0.00 527.84 0.00 46.93
1800.04/1800.04 c bounddisjunction : 0.30 0.00 0.30 0.00 0.00
1800.04/1800.04 c countsols : 0.27 0.00 0.00 0.00 0.27
1800.04/1800.04 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.04 c vbounds : 1.04 2 0 0
1800.04/1800.04 c rootredcost : 1.15 0 0 0
1800.04/1800.04 c pseudoobj : 212.43 5587031 1169 5109624
1800.04/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.04 c propagation : 39.54 435956 435862 2508219 26.2 203599 7.0 -
1800.04/1800.04 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.04 c pseudo solution : 0.03 82 82 329 19.0 159 9.4 -
1800.04/1800.04 c applied globally : - - - 1673274 21.9 - - -
1800.04/1800.04 c applied locally : - - - 0 0.0 - - -
1800.04/1800.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.04 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.04 c redcost : 0.00 0 0 0 0 0
1800.04/1800.04 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.04 c intobj : 0.00 0 0 0 0 0
1800.04/1800.04 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.04 c gomory : 0.00 0 0 0 0 0
1800.04/1800.04 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.04 c cmir : 0.00 0 0 0 0 0
1800.04/1800.04 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.04 c clique : 0.00 0 0 0 0 0
1800.04/1800.04 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.04 c mcf : 0.00 0 0 0 0 0
1800.04/1800.04 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.04 c Pricers : Time Calls Vars
1800.04/1800.04 c problem variables: 0.00 0 0
1800.04/1800.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.04 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.04 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.04 c inference : 27.27 1604403 0 0 0 0 3208806
1800.04/1800.04 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.04 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.04 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.04 c random : 0.00 0 0 0 0 0 0
1800.04/1800.04 c Primal Heuristics : Time Calls Found
1800.04/1800.04 c LP solutions : 0.00 - 0
1800.04/1800.04 c pseudo solutions : 0.09 - 29
1800.04/1800.04 c oneopt : 0.64 0 0
1800.04/1800.04 c trivial : 0.00 2 0
1800.04/1800.04 c simplerounding : 0.00 0 0
1800.04/1800.04 c zirounding : 0.00 0 0
1800.04/1800.04 c rounding : 0.00 0 0
1800.04/1800.04 c shifting : 0.00 0 0
1800.04/1800.04 c intshifting : 0.00 0 0
1800.04/1800.04 c twoopt : 0.00 0 0
1800.04/1800.04 c fixandinfer : 0.00 0 0
1800.04/1800.04 c feaspump : 0.00 0 0
1800.04/1800.04 c coefdiving : 0.00 0 0
1800.04/1800.04 c pscostdiving : 0.00 0 0
1800.04/1800.04 c fracdiving : 0.00 0 0
1800.04/1800.04 c veclendiving : 0.00 0 0
1800.04/1800.04 c intdiving : 0.00 0 0
1800.04/1800.04 c actconsdiving : 0.00 0 0
1800.04/1800.04 c objpscostdiving : 0.00 0 0
1800.04/1800.04 c rootsoldiving : 0.00 0 0
1800.04/1800.04 c linesearchdiving : 0.00 0 0
1800.04/1800.04 c guideddiving : 0.00 0 0
1800.04/1800.04 c octane : 0.00 0 0
1800.04/1800.04 c rens : 0.00 0 0
1800.04/1800.04 c rins : 0.00 0 0
1800.04/1800.04 c localbranching : 0.00 0 0
1800.04/1800.04 c mutation : 0.00 0 0
1800.04/1800.04 c crossover : 0.00 0 0
1800.04/1800.04 c dins : 0.00 0 0
1800.04/1800.04 c undercover : 0.00 0 0
1800.04/1800.04 c nlp : 0.34 0 0
1800.04/1800.04 c trysol : 0.45 1 0
1800.04/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.04 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.04 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.04 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.04 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.04 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.04 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.04 c (at root node) : - 0 0 0.00 -
1800.04/1800.04 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.04 c B&B Tree :
1800.04/1800.04 c number of runs : 1
1800.04/1800.04 c nodes : 1871146
1800.04/1800.04 c nodes (total) : 1871146
1800.04/1800.04 c nodes left : 1093152
1800.04/1800.04 c max depth : 1862
1800.04/1800.04 c max depth (total): 1862
1800.04/1800.04 c backtracks : 252546 (13.5%)
1800.04/1800.04 c delayed cutoffs : 211852
1800.04/1800.04 c repropagations : 953707 (11878331 domain reductions, 169394 cutoffs)
1800.04/1800.04 c avg switch length: 27.58
1800.04/1800.04 c switching time : 532.49
1800.04/1800.04 c Solution :
1800.04/1800.04 c Solutions found : 29 (29 improvements)
1800.04/1800.04 c First Solution : +1.07700000000000e+03 (in run 1, after 8596 nodes, 2.17 seconds, depth 1430, found by <relaxation>)
1800.04/1800.04 c Primal Bound : +2.00000000000000e+00 (in run 1, after 966726 nodes, 696.74 seconds, depth 378, found by <relaxation>)
1800.04/1800.04 c Dual Bound : +0.00000000000000e+00
1800.04/1800.04 c Gap : infinite
1800.04/1800.04 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.04 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-2694177-1277909414/watcher-2694177-1277909414 -o /tmp/evaluation-result-2694177-1277909414/solver-2694177-1277909414 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694177-1277909414.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.93 2.84 2.73 5/178 12377 /proc/meminfo: memFree=31567776/32951124 swapFree=67111528/67111528 [pid=12377] ppid=12375 vsize=8264 CPUtime=0 /proc/12377/stat : 12377 (pbscip.linux.x8) R 12375 12377 10848 0 -1 4202496 1548 0 0 0 0 0 0 0 25 0 1 0 132239407 8462336 1470 4089446400 4194304 7136930 140733961565648 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/12377/statm: 2066 1470 275 719 0 1345 0 [startup+0.0181001 s] /proc/loadavg: 2.93 2.84 2.73 5/178 12377 /proc/meminfo: memFree=31567776/32951124 swapFree=67111528/67111528 [pid=12377] ppid=12375 vsize=11576 CPUtime=0.01 /proc/12377/stat : 12377 (pbscip.linux.x8) R 12375 12377 10848 0 -1 4202496 2376 0 0 0 1 0 0 0 25 0 1 0 132239407 11853824 2298 4089446400 4194304 7136930 140733961565648 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/12377/statm: 2894 2298 275 719 0 2173 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11576 [startup+0.103112 s] /proc/loadavg: 2.93 2.84 2.73 5/178 12377 /proc/meminfo: memFree=31567776/32951124 swapFree=67111528/67111528 [pid=12377] ppid=12375 vsize=27704 CPUtime=0.1 /proc/12377/stat : 12377 (pbscip.linux.x8) R 12375 12377 10848 0 -1 4202496 7347 0 0 0 9 1 0 0 25 0 1 0 132239407 28368896 6144 4089446400 4194304 7136930 140733961565648 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12377/statm: 6926 6144 354 719 0 6205 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 27704 [startup+0.301065 s] /proc/loadavg: 2.93 2.84 2.73 5/178 12377 /proc/meminfo: memFree=31567776/32951124 swapFree=67111528/67111528 [pid=12377] ppid=12375 vsize=29576 CPUtime=0.29 /proc/12377/stat : 12377 (pbscip.linux.x8) R 12375 12377 10848 0 -1 4202496 10418 0 0 0 28 1 0 0 25 0 1 0 132239407 30285824 6645 4089446400 4194304 7136930 140733961565648 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12377/statm: 7394 6645 391 719 0 6673 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29576 [startup+0.700994 s] /proc/loadavg: 2.93 2.84 2.73 5/178 12377 /proc/meminfo: memFree=31567776/32951124 swapFree=67111528/67111528 [pid=12377] ppid=12375 vsize=31736 CPUtime=0.69 /proc/12377/stat : 12377 (pbscip.linux.x8) R 12375 12377 10848 0 -1 4202496 10960 0 0 0 66 3 0 0 25 0 1 0 132239407 32497664 7187 4089446400 4194304 7136930 140733961565648 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12377/statm: 7934 7187 395 719 0 7213 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31736 [startup+1.50085 s] /proc/loadavg: 2.93 2.84 2.73 4/179 12378 /proc/meminfo: memFree=31539124/32951124 swapFree=67111528/67111528 [pid=12377] ppid=12375 vsize=33640 CPUtime=1.49 /proc/12377/stat : 12377 (pbscip.linux.x8) R 12375 12377 10848 0 -1 4202496 11467 0 0 0 144 5 0 0 25 0 1 0 132239407 34447360 7694 4089446400 4194304 7136930 140733961565648 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12377/statm: 8410 7694 395 719 0 7689 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 33640 [startup+3.10057 s] /proc/loadavg: 2.86 2.83 2.73 3/179 12378 /proc/meminfo: memFree=31536272/32951124 swapFree=67111528/67111528 [pid=12377] ppid=12375 vsize=36224 CPUtime=3.09 /proc/12377/stat : 12377 (pbscip.linux.x8) R 12375 12377 10848 0 -1 4202496 12098 0 0 0 300 9 0 0 25 0 1 0 132239407 37093376 8325 4089446400 4194304 7136930 140733961565648 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12377/statm: 9056 8325 395 719 0 8335 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 36224 [startup+6.30102 s] /proc/loadavg: 2.86 2.83 2.73 3/179 12378 /proc/meminfo: memFree=31525536/32951124 swapFree=67111528/67111528 [pid=12377] ppid=12375 vsize=49692 CPUtime=6.29 /proc/12377/stat : 12377 (pbscip.linux.x8) R 12375 12377 10848 0 -1 4202496 15483 0 0 0 609 20 0 0 25 0 1 0 132239407 50884608 11710 4089446400 4194304 7136930 140733961565648 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12377/statm: 12423 11710 395 719 0 11702 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49692 [startup+12.7009 s] /proc/loadavg: 2.79 2.81 2.72 3/179 12379 /proc/meminfo: memFree=31505340/32951124 swapFree=67111528/67111528 [pid=12377] ppid=12375 vsize=71544 CPUtime=12.7 /proc/12377/stat : 12377 (pbscip.linux.x8) R 12375 12377 10848 0 -1 4202496 20743 0 0 0 1234 36 0 0 25 0 1 0 132239407 73261056 16970 4089446400 4194304 7136930 140733961565648 18446744073709551615 4225861 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12377/statm: 17886 16970 398 719 0 17165 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 71544 [startup+25.5006 s] /proc/loadavg: 2.61 2.77 2.71 3/179 12379 /proc/meminfo: memFree=31463692/32951124 swapFree=67111528/67111528 [pid=12377] ppid=12375 vsize=111876 CPUtime=25.49 /proc/12377/stat : 12377 (pbscip.linux.x8) R 12375 12377 10848 0 -1 4202496 30651 0 0 0 2477 72 0 0 25 0 1 0 132239407 114561024 26878 4089446400 4194304 7136930 140733961565648 18446744073709551615 4225857 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12377/statm: 27969 26878 398 719 0 27248 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 111876 [startup+51.1011 s] /proc/loadavg: 2.40 2.71 2.69 3/179 12379 /proc/meminfo: memFree=31399356/32951124 swapFree=67111528/67111528 [pid=12377] ppid=12375 vsize=177552 CPUtime=51.09 /proc/12377/stat : 12377 (pbscip.linux.x8) R 12375 12377 10848 0 -1 4202496 46660 0 0 0 4976 133 0 0 25 0 1 0 132239407 181813248 42887 4089446400 4194304 7136930 140733961565648 18446744073709551615 6123168 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12377/statm: 44388 42887 398 719 0 43667 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 177552 [startup+102.307 s] /proc/loadavg: 2.16 2.59 2.65 3/179 12381 /proc/meminfo: memFree=31298484/32951124 swapFree=67111528/67111528 [pid=12377] ppid=12375 vsize=279072 CPUtime=102.3 /proc/12377/stat : 12377 (pbscip.linux.x8) R 12375 12377 10848 0 -1 4202496 71353 0 0 0 9986 244 0 0 25 0 1 0 132239407 285769728 67580 4089446400 4194304 7136930 140733961565648 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12377/statm: 69768 67580 398 719 0 69047 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 279072 [startup+162.3 s] /proc/loadavg: 2.06 2.49 2.61 3/179 12383 /proc/meminfo: memFree=31189276/32951124 swapFree=67111528/67111528 [pid=12377] ppid=12375 vsize=392528 CPUtime=162.29 /proc/12377/stat : 12377 (pbscip.linux.x8) R 12375 12377 10848 0 -1 4202496 98630 0 0 0 15851 378 0 0 25 0 1 0 132239407 401948672 94857 4089446400 4194304 7136930 140733961565648 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12377/statm: 98132 94857 398 719 0 97411 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 392528 [startup+222.301 s] /proc/loadavg: 2.02 2.39 2.56 3/179 12384 /proc/meminfo: memFree=31080444/32951124 swapFree=67111528/67111528 [pid=12377] ppid=12375 vsize=500180 CPUtime=222.3 /proc/12377/stat : 12377 (pbscip.linux.x8) R 12375 12377 10848 0 -1 4202496 125658 0 0 0 21716 514 0 0 25 0 1 0 132239407 512184320 121885 4089446400 4194304 7136930 140733961565648 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12377/statm: 125045 121885 398 719 0 124324 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 500180 [startup+282.3 s] /proc/loadavg: 2.01 2.32 2.53 3/179 12385 /proc/meminfo: memFree=30991448/32951124 swapFree=67111528/67111528 [pid=12377] ppid=12375 vsize=589624 CPUtime=282.3 /proc/12377/stat : 12377 (pbscip.linux.x8) R 12375 12377 10848 0 -1 4202496 148072 0 0 0 27616 614 0 0 25 0 1 0 132239407 603774976 144299 4089446400 4194304 7136930 140733961565648 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12377/statm: 147406 144299 398 719 0 146685 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 589624 [startup+342.301 s] /proc/loadavg: 2.00 2.26 2.49 3/179 12387 /proc/meminfo: memFree=30924060/32951124 swapFree=67111528/67111528 [pid=12377] ppid=12375 vsize=653524 CPUtime=342.29 /proc/12377/stat : 12377 (pbscip.linux.x8) R 12375 12377 10848 0 -1 4202496 164140 0 0 0 33534 695 0 0 25 0 1 0 132239407 669208576 160367 4089446400 4194304 7136930 140733961565648 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12377/statm: 163381 160367 398 719 0 162660 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 653524 [startup+402.301 s] /proc/loadavg: 2.11 2.24 2.47 3/179 12389 /proc/meminfo: memFree=30880948/32951124 swapFree=67111528/67111528 [pid=12377] ppid=12375 vsize=696688 CPUtime=402.3 /proc/12377/stat : 12377 (pbscip.linux.x8) R 12375 12377 10848 0 -1 4202496 174979 0 0 0 39459 771 0 0 25 0 1 0 132239407 713408512 171206 4089446400 4194304 7136930 140733961565648 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12377/statm: 174172 171206 398 719 0 173451 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 696688 [startup+462.3 s] /proc/loadavg: 2.04 2.19 2.44 3/179 12391 /proc/meminfo: memFree=30848164/32951124 swapFree=67111528/67111528 [pid=12377] ppid=12375 vsize=729000 CPUtime=462.3 /proc/12377/stat : 12377 (pbscip.linux.x8) R 12375 12377 10848 0 -1 4202496 183049 0 0 0 45402 828 0 0 25 0 1 0 132239407 746496000 179276 4089446400 4194304 7136930 140733961565648 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12377/statm: 182250 179276 398 719 0 181529 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 729000 [startup+522.301 s] /proc/loadavg: 2.01 2.16 2.41 3/179 12392 /proc/meminfo: memFree=30802460/32951124 swapFree=67111528/67111528 [pid=12377] ppid=12375 vsize=787388 CPUtime=522.3 /proc/12377/stat : 12377 (pbscip.linux.x8) R 12375 12377 10848 0 -1 4202496 194376 0 0 0 51340 890 0 0 25 0 1 0 132239407 806285312 190603 4089446400 4194304 7136930 140733961565648 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12377/statm: 196847 190603 398 719 0 196126 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 787388 [startup+582.3 s] /proc/loadavg: 2.00 2.12 2.38 3/179 12393 /proc/meminfo: memFree=30605336/32951124 swapFree=67111528/67111528 [pid=12377] ppid=12375 vsize=1006696 CPUtime=582.3 /proc/12377/stat : 12377 (pbscip.linux.x8) R 12375 12377 10848 0 -1 4202496 243812 0 0 0 57256 974 0 0 25 0 1 0 132239407 1030856704 240039 4089446400 4194304 7136930 140733961565648 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12377/statm: 251674 240039 398 719 0 250953 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1006696 [startup+642.301 s] /proc/loadavg: 2.00 2.10 2.35 3/179 12395 /proc/meminfo: memFree=30474716/32951124 swapFree=67111528/67111528 [pid=12377] ppid=12375 vsize=1159440 CPUtime=642.31 /proc/12377/stat : 12377 (pbscip.linux.x8) R 12375 12377 10848 0 -1 4202496 275667 0 0 0 63169 1062 0 0 25 0 1 0 132239407 1187266560 271894 4089446400 4194304 7136930 140733961565648 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12377/statm: 289860 271894 398 719 0 289139 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1159440 [startup+702.301 s] ################ # More data... # ################ /proc/12377/stat : 12377 (pbscip.linux.x8) R 12375 12377 10848 0 -1 4202496 379514 0 0 0 98757 1474 0 0 25 0 1 0 132239407 1659396096 375741 4089446400 4194304 7136930 140733961565648 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12377/statm: 405126 375741 398 719 0 404405 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1620504 [startup+1062.3 s] /proc/loadavg: 2.02 2.04 2.22 3/179 12416 /proc/meminfo: memFree=30026520/32951124 swapFree=67111528/67111528 [pid=12377] ppid=12375 vsize=1646804 CPUtime=1062.31 /proc/12377/stat : 12377 (pbscip.linux.x8) R 12375 12377 10848 0 -1 4202496 386086 0 0 0 104702 1529 0 0 25 0 1 0 132239407 1686327296 382313 4089446400 4194304 7136930 140733961565648 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12377/statm: 411701 382313 398 719 0 410980 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1646804 [startup+1122.3 s] /proc/loadavg: 2.00 2.03 2.20 3/179 12417 /proc/meminfo: memFree=29971512/32951124 swapFree=67111528/67111528 [pid=12377] ppid=12375 vsize=1701436 CPUtime=1122.32 /proc/12377/stat : 12377 (pbscip.linux.x8) R 12375 12377 10848 0 -1 4202496 399740 0 0 0 110634 1598 0 0 25 0 1 0 132239407 1742270464 395967 4089446400 4194304 7136930 140733961565648 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12377/statm: 425359 395967 398 719 0 424638 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1701436 [startup+1182.3 s] /proc/loadavg: 2.00 2.02 2.18 3/179 12418 /proc/meminfo: memFree=29937000/32951124 swapFree=67111528/67111528 [pid=12377] ppid=12375 vsize=1737504 CPUtime=1182.31 /proc/12377/stat : 12377 (pbscip.linux.x8) R 12375 12377 10848 0 -1 4202496 408327 0 0 0 116579 1652 0 0 25 0 1 0 132239407 1779204096 404554 4089446400 4194304 7136930 140733961565648 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12377/statm: 434376 404554 398 719 0 433655 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 1737504 [startup+1242.3 s] /proc/loadavg: 2.00 2.01 2.17 3/179 12420 /proc/meminfo: memFree=29897168/32951124 swapFree=67111528/67111528 [pid=12377] ppid=12375 vsize=1777312 CPUtime=1242.32 /proc/12377/stat : 12377 (pbscip.linux.x8) R 12375 12377 10848 0 -1 4202496 418148 0 0 0 122522 1710 0 0 25 0 1 0 132239407 1819967488 414375 4089446400 4194304 7136930 140733961565648 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12377/statm: 444328 414375 398 719 0 443607 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1777312 [startup+1302.3 s] /proc/loadavg: 2.00 2.01 2.16 3/179 12422 /proc/meminfo: memFree=29848380/32951124 swapFree=67111528/67111528 [pid=12377] ppid=12375 vsize=1825520 CPUtime=1302.33 /proc/12377/stat : 12377 (pbscip.linux.x8) R 12375 12377 10848 0 -1 4202496 430304 0 0 0 128456 1777 0 0 25 0 1 0 132239407 1869332480 426531 4089446400 4194304 7136930 140733961565648 18446744073709551615 4221190 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12377/statm: 456380 426531 398 719 0 455659 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1825520 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.15 3/179 12424 /proc/meminfo: memFree=29802208/32951124 swapFree=67111528/67111528 [pid=12377] ppid=12375 vsize=1870904 CPUtime=1362.32 /proc/12377/stat : 12377 (pbscip.linux.x8) R 12375 12377 10848 0 -1 4202496 441842 0 0 0 134380 1852 0 0 25 0 1 0 132239407 1915805696 438069 4089446400 4194304 7136930 140733961565648 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12377/statm: 467726 438069 398 719 0 467005 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1870904 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.14 3/179 12453 /proc/meminfo: memFree=29850000/32951124 swapFree=67111528/67111528 [pid=12377] ppid=12375 vsize=1900044 CPUtime=1422.33 /proc/12377/stat : 12377 (pbscip.linux.x8) R 12375 12377 10848 0 -1 4202496 449101 0 0 0 140237 1996 0 0 25 0 1 0 132239407 1945645056 445328 4089446400 4194304 7136930 140733961565648 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12377/statm: 475011 445328 398 719 0 474290 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1900044 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.12 3/179 12454 /proc/meminfo: memFree=29812360/32951124 swapFree=67111528/67111528 [pid=12377] ppid=12375 vsize=1936724 CPUtime=1482.32 /proc/12377/stat : 12377 (pbscip.linux.x8) R 12375 12377 10848 0 -1 4202496 458396 0 0 0 146038 2194 0 0 25 0 1 0 132239407 1983205376 454623 4089446400 4194304 7136930 140733961565648 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12377/statm: 484181 454623 398 719 0 483460 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 1936724 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.11 3/179 12456 /proc/meminfo: memFree=29771164/32951124 swapFree=67111528/67111528 [pid=12377] ppid=12375 vsize=1991924 CPUtime=1542.33 /proc/12377/stat : 12377 (pbscip.linux.x8) R 12375 12377 10848 0 -1 4202496 468262 0 0 0 151833 2400 0 0 25 0 1 0 132239407 2039730176 464489 4089446400 4194304 7136930 140733961565648 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12377/statm: 497981 464489 398 719 0 497260 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 1991924 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.10 3/179 12458 /proc/meminfo: memFree=29725244/32951124 swapFree=67111528/67111528 [pid=12377] ppid=12375 vsize=2036896 CPUtime=1602.32 /proc/12377/stat : 12377 (pbscip.linux.x8) R 12375 12377 10848 0 -1 4202496 479693 0 0 0 157623 2609 0 0 25 0 1 0 132239407 2085781504 475920 4089446400 4194304 7136930 140733961565648 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12377/statm: 509224 475920 398 719 0 508503 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 2036896 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.09 3/179 12460 /proc/meminfo: memFree=29684108/32951124 swapFree=67111528/67111528 [pid=12377] ppid=12375 vsize=2076892 CPUtime=1662.33 /proc/12377/stat : 12377 (pbscip.linux.x8) R 12375 12377 10848 0 -1 4202496 489867 0 0 0 163423 2810 0 0 25 0 1 0 132239407 2126737408 486094 4089446400 4194304 7136930 140733961565648 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12377/statm: 519223 486094 398 719 0 518502 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 2076892 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.08 3/179 12461 /proc/meminfo: memFree=29653076/32951124 swapFree=67111528/67111528 [pid=12377] ppid=12375 vsize=2107200 CPUtime=1722.32 /proc/12377/stat : 12377 (pbscip.linux.x8) R 12375 12377 10848 0 -1 4202496 497530 0 0 0 169250 2982 0 0 25 0 1 0 132239407 2157772800 493757 4089446400 4194304 7136930 140733961565648 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12377/statm: 526800 493757 398 719 0 526079 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 2107200 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.08 3/179 12462 /proc/meminfo: memFree=29630692/32951124 swapFree=67111528/67111528 [pid=12377] ppid=12375 vsize=2129256 CPUtime=1782.33 /proc/12377/stat : 12377 (pbscip.linux.x8) R 12375 12377 10848 0 -1 4202496 503079 0 0 0 175112 3121 0 0 25 0 1 0 132239407 2180358144 499306 4089446400 4194304 7136930 140733961565648 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12377/statm: 532314 499306 398 719 0 531593 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 2129256 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.08 3/179 12463 /proc/meminfo: memFree=29627448/32951124 swapFree=67111528/67111528 [pid=12377] ppid=12375 vsize=2132560 CPUtime=1800.04 /proc/12377/stat : 12377 (pbscip.linux.x8) R 12375 12377 10848 0 -1 4202496 503899 0 0 0 176845 3159 0 0 25 0 1 0 132239407 2183741440 500126 4089446400 4194304 7136930 140733961565648 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12377/statm: 533140 500126 398 719 0 532419 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 2132560 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -12377 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.00 2.08 3/180 12464 /proc/meminfo: memFree=29627440/32951124 swapFree=67111528/67111528 [pid=12377] ppid=12375 vsize=2132560 CPUtime=1801.43 /proc/12377/stat : 12377 (pbscip.linux.x8) R 12375 12377 10848 0 -1 4202496 503904 0 0 0 176984 3159 0 0 19 0 1 0 132239407 2183741440 500131 4089446400 4194304 7136930 140733961565648 18446744073709551615 6165654 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/12377/statm: 533140 500131 403 719 0 532419 0 Current children cumulated CPU time (s) 1801.43 Current children cumulated vsize (KiB) 2132560 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 2.08 3/180 12464 /proc/meminfo: memFree=29627440/32951124 swapFree=67111528/67111528 [pid=12377] ppid=12375 vsize=2132560 CPUtime=1801.84 /proc/12377/stat : 12377 (pbscip.linux.x8) R 12375 12377 10848 0 -1 4202496 503904 0 0 0 177025 3159 0 0 20 0 1 0 132239407 2183741440 500131 4089446400 4194304 7136930 140733961565648 18446744073709551615 6165617 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/12377/statm: 533140 500131 403 719 0 532419 0 Current children cumulated CPU time (s) 1801.84 Current children cumulated vsize (KiB) 2132560 [startup+1802 s] /proc/loadavg: 2.00 2.00 2.08 3/180 12464 /proc/meminfo: memFree=29627440/32951124 swapFree=67111528/67111528 [pid=12377] ppid=12375 vsize=2132560 CPUtime=1802.03 /proc/12377/stat : 12377 (pbscip.linux.x8) R 12375 12377 10848 0 -1 4202496 503904 0 0 0 177044 3159 0 0 21 0 1 0 132239407 2183741440 500131 4089446400 4194304 7136930 140733961565648 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/12377/statm: 533140 500131 403 719 0 532419 0 Current children cumulated CPU time (s) 1802.03 Current children cumulated vsize (KiB) 2132560 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.08 CPU time (s): 1802.12 CPU user time (s): 1770.45 CPU system time (s): 31.6632 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 2132560 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1770.45 system time used= 31.6632 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 503904 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= 3641 runsolver used 3.13752 second user time and 6.581 second system time The end
Begin job on node103 at 2010-06-30 16:50:14 IDJOB=2694177 IDBENCH=78967 IDSOLVER=1206 FILE ID=node103/2694177-1277909414 PBS_JOBID= 11197186 Free space on /tmp= 74204 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900669797--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-2694177-1277909414/watcher-2694177-1277909414 -o /tmp/evaluation-result-2694177-1277909414/solver-2694177-1277909414 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694177-1277909414.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ebc456211cf99aa767d1987ef9daf648 RANDOM SEED=102840910 node103.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.817 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.63 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.817 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.817 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 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.817 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.817 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.817 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.817 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: 31568180 kB Buffers: 195344 kB Cached: 909864 kB SwapCached: 0 kB Active: 601212 kB Inactive: 639860 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31568180 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3156 kB Writeback: 0 kB AnonPages: 136360 kB Mapped: 17456 kB Slab: 77600 kB PageTables: 5344 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 285284 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node103 at 2010-06-30 17:20:16