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) | 1801.11 | 1801.07 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900548667--soft-66-100-0.wbo |
| MD5SUM | b93cc320d1c40ed770cd566486d12ca9 |
| 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 | 548.835 |
| 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 | 930 |
| 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 | 46532 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 46531 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 625 |
| 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-2694187-1277909951.wbo>
0.00/0.03 c original problem has 2091 variables (1161 bin, 0 int, 0 impl, 930 cont) and 3638 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.00/0.04 c presolving:
0.00/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs
0.00/0.08 c (round 2) 0 del vars, 110 del conss, 930 chg bounds, 57 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs
0.00/0.09 c (round 3) 57 del vars, 168 del conss, 931 chg bounds, 58 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs
0.09/0.10 c (round 4) 115 del vars, 229 del conss, 947 chg bounds, 118 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs
0.09/0.11 c (round 5) 132 del vars, 266 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs
0.09/0.12 c (round 6) 155 del vars, 273 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 1667 upgd conss, 1142 impls, 14 clqs
0.09/0.13 c (round 7) 162 del vars, 273 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 1667 upgd conss, 1142 impls, 14 clqs
0.09/0.18 c (0.1s) probing: 101/1080 (9.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (8 rounds):
0.09/0.18 c 162 deleted vars, 273 deleted constraints, 954 tightened bounds, 0 added holes, 139 changed sides, 0 changed coefficients
0.09/0.18 c 1142 implications, 14 cliques
0.09/0.18 c presolved problem has 1929 variables (1080 bin, 0 int, 0 impl, 849 cont) and 3365 constraints
0.09/0.18 c 849 constraints of type <indicator>
0.09/0.18 c 1 constraints of type <knapsack>
0.09/0.18 c 14 constraints of type <setppc>
0.09/0.18 c 849 constraints of type <linear>
0.09/0.18 c 1652 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 | - |7608k| 0 | - |1929 |3365 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.69/2.77 c 2.6s| 10000 | 8681 | 0 | 0.0 | 14M|1040 | - |1929 |4555 | 0 | 0 | 0 |3296 | 0 | 0.000000e+00 | -- | Inf
5.69/5.75 c 5.5s| 20000 | 16652 | 0 | 0.0 | 21M|1040 | - |1929 |5084 | 0 | 0 | 0 |9000 | 0 | 0.000000e+00 | -- | Inf
8.49/8.51 o 128
8.49/8.51 c * 8.2s| 27926 | 21350 | 0 | 0.0 | 26M|1040 | - |1929 |5749 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
8.49/8.58 o 82
8.49/8.58 c * 8.2s| 28150 | 21356 | 0 | 0.0 | 26M|1040 | - |1929 |5663 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
9.10/9.16 o 34
9.10/9.16 c * 8.8s| 29899 | 22369 | 0 | 0.0 | 27M|1040 | - |1929 |4889 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
9.10/9.19 c 8.8s| 30000 | 22461 | 0 | 0.0 | 27M|1040 | - |1929 |4869 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
12.39/12.43 c 11.9s| 40000 | 30454 | 0 | 0.0 | 38M|1040 | - |1929 |5546 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
15.59/15.62 c 15.0s| 50000 | 38219 | 0 | 0.0 | 44M|1040 | - |1929 |6125 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
18.89/18.93 c 18.2s| 60000 | 45826 | 0 | 0.0 | 51M|1040 | - |1929 |6549 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
22.29/22.36 c 21.6s| 70000 | 53312 | 0 | 0.0 | 58M|1040 | - |1929 |6685 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
25.89/25.92 c 25.0s| 80000 | 60621 | 0 | 0.0 | 65M|1040 | - |1929 |7107 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
29.29/29.38 c 28.4s| 90000 | 67984 | 0 | 0.0 | 72M|1040 | - |1929 |7255 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
32.79/32.88 c 31.8s|100000 | 75282 | 0 | 0.0 | 78M|1040 | - |1929 |7695 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
36.40/36.49 c 35.3s|110000 | 82311 | 0 | 0.0 | 84M|1040 | - |1929 |7661 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
40.70/40.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.70/40.73 c 39.4s|120000 | 88248 | 0 | 0.0 | 91M|1040 | - |1929 |8650 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
45.59/45.64 c 44.2s|130000 | 93024 | 0 | 0.0 | 98M|1040 | - |1929 |9225 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
50.99/51.01 c 49.4s|140000 | 96741 | 0 | 0.0 | 106M|1040 | - |1929 | 10k| 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
57.69/57.78 c 56.0s|150000 | 97902 | 0 | 0.0 | 111M|1040 | - |1929 | 10k| 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
62.10/62.10 o 32
62.10/62.10 c *60.3s|155585 | 98717 | 0 | 0.0 | 114M|1040 | - |1929 | 11k| 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
62.10/62.18 o 21
62.10/62.18 c *60.4s|155769 | 98758 | 0 | 0.0 | 114M|1040 | - |1929 | 11k| 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
62.29/62.32 o 11
62.29/62.32 c *60.5s|156103 | 98945 | 0 | 0.0 | 114M|1040 | - |1929 |9310 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
63.59/63.62 c 61.8s|160000 |102263 | 0 | 0.0 | 116M|1040 | - |1929 |5762 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
63.69/63.75 o 8
63.69/63.75 c *61.9s|160378 |102539 | 0 | 0.0 | 116M|1040 | - |1929 |5696 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
64.69/64.79 o 5
64.69/64.79 c *62.9s|163385 |104925 | 0 | 0.0 | 119M|1040 | - |1929 |5768 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
67.19/67.23 c 65.2s|170000 |110175 | 0 | 0.0 | 126M|1040 | - |1929 |6683 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
72.09/72.11 c 70.0s|180000 |117078 | 0 | 0.0 | 138M|1040 | - |1929 |9305 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
77.50/77.59 c 75.3s|190000 |123609 | 0 | 0.0 | 148M|1040 | - |1929 |8942 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
82.19/82.27 c 79.8s|200000 |130593 | 0 | 0.0 | 161M|1040 | - |1929 | 10k| 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
86.69/86.79 c 84.2s|210000 |137411 | 0 | 0.0 | 171M|1040 | - |1929 | 12k| 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
90.10/90.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.10/90.11 c 87.4s|220000 |145684 | 0 | 0.0 | 177M|1040 | - |1929 | 10k| 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
94.39/94.40 c 91.6s|230000 |152583 | 0 | 0.0 | 184M|1040 | - |1929 | 12k| 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
99.00/99.04 c 96.2s|240000 |159469 | 0 | 0.0 | 192M|1040 | - |1929 |6379 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
103.19/103.23 c 100s|250000 |166129 | 0 | 0.0 | 199M|1040 | - |1929 |8137 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
107.29/107.34 c 104s|260000 |173033 | 0 | 0.0 | 206M|1040 | - |1929 |8749 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
111.49/111.58 c 108s|270000 |179801 | 0 | 0.0 | 213M|1040 | - |1929 |8953 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
116.29/116.38 c 113s|280000 |185964 | 0 | 0.0 | 220M|1040 | - |1929 |9468 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
121.20/121.29 c 118s|290000 |191986 | 0 | 0.0 | 227M|1040 | - |1929 |9484 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
126.19/126.29 c 123s|300000 |197886 | 0 | 0.0 | 234M|1040 | - |1929 |9624 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
131.19/131.27 c 128s|310000 |203785 | 0 | 0.0 | 241M|1040 | - |1929 |9704 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
136.19/136.22 c 132s|320000 |209671 | 0 | 0.0 | 248M|1040 | - |1929 |9539 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
141.09/141.13 c 137s|330000 |215612 | 0 | 0.0 | 255M|1040 | - |1929 |9339 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
146.40/146.43 c 142s|340000 |221124 | 0 | 0.0 | 262M|1040 | - |1929 |9916 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
151.80/151.84 c 148s|350000 |226472 | 0 | 0.0 | 270M|1040 | - |1929 | 10k| 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
157.10/157.12 c 153s|360000 |231952 | 0 | 0.0 | 277M|1040 | - |1929 |9959 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
162.49/162.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
162.49/162.52 c 158s|370000 |237318 | 0 | 0.0 | 284M|1040 | - |1929 | 10k| 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
168.30/168.37 c 164s|380000 |242203 | 0 | 0.0 | 291M|1040 | - |1929 | 10k| 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
174.20/174.29 c 170s|390000 |246915 | 0 | 0.0 | 298M|1040 | - |1929 | 10k| 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
179.99/180.08 c 175s|400000 |251850 | 0 | 0.0 | 305M|1040 | - |1929 | 10k| 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
186.10/186.14 c 181s|410000 |256357 | 0 | 0.0 | 312M|1040 | - |1929 | 10k| 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
192.30/192.35 c 187s|420000 |260553 | 0 | 0.0 | 318M|1040 | - |1929 | 10k| 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
198.60/198.65 c 193s|430000 |264826 | 0 | 0.0 | 325M|1040 | - |1929 | 10k| 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
205.09/205.16 c 200s|440000 |268823 | 0 | 0.0 | 331M|1040 | - |1929 | 10k| 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
211.89/211.98 c 207s|450000 |272360 | 0 | 0.0 | 338M|1040 | - |1929 | 11k| 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
218.80/218.82 c 213s|460000 |276028 | 0 | 0.0 | 344M|1040 | - |1929 | 10k| 0 | 0 | 0 | 454k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
225.90/225.98 c 220s|470000 |279514 | 0 | 0.0 | 351M|1040 | - |1929 | 11k| 0 | 0 | 0 | 470k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
233.40/233.41 c 228s|480000 |282926 | 0 | 0.0 | 357M|1040 | - |1929 | 12k| 0 | 0 | 0 | 487k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
240.90/240.93 c 235s|490000 |286345 | 0 | 0.0 | 363M|1040 | - |1929 | 13k| 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
248.70/248.74 c 243s|500000 |289517 | 0 | 0.0 | 369M|1040 | - |1929 | 12k| 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
257.19/257.21 c 251s|510000 |292241 | 0 | 0.0 | 375M|1040 | - |1929 | 13k| 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
265.89/265.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
265.89/265.91 c 260s|520000 |294834 | 0 | 0.0 | 381M|1040 | - |1929 | 13k| 0 | 0 | 0 | 557k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
274.80/274.88 c 268s|530000 |297494 | 0 | 0.0 | 387M|1040 | - |1929 | 14k| 0 | 0 | 0 | 576k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
284.20/284.28 c 278s|540000 |299902 | 0 | 0.0 | 393M|1040 | - |1929 | 14k| 0 | 0 | 0 | 596k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
293.70/293.71 c 287s|550000 |302447 | 0 | 0.0 | 398M|1040 | - |1929 | 15k| 0 | 0 | 0 | 615k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
303.80/303.83 c 297s|560000 |304541 | 0 | 0.0 | 403M|1040 | - |1929 | 15k| 0 | 0 | 0 | 635k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
314.40/314.45 c 307s|570000 |306397 | 0 | 0.0 | 409M|1040 | - |1929 | 17k| 0 | 0 | 0 | 656k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
325.70/325.73 c 318s|580000 |308093 | 0 | 0.0 | 414M|1040 | - |1929 | 17k| 0 | 0 | 0 | 677k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
338.50/338.57 c 331s|590000 |308726 | 0 | 0.0 | 419M|1040 | - |1929 | 18k| 0 | 0 | 0 | 701k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
352.10/352.15 c 344s|600000 |308925 | 0 | 0.0 | 423M|1040 | - |1929 | 18k| 0 | 0 | 0 | 726k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
367.10/367.13 c 359s|610000 |307972 | 0 | 0.0 | 426M|1040 | - |1929 | 18k| 0 | 0 | 0 | 754k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
383.00/383.09 c 375s|620000 |305872 | 0 | 0.0 | 426M|1040 | - |1929 | 21k| 0 | 0 | 0 | 783k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
388.60/388.60 c 380s|630000 |313185 | 0 | 0.0 | 430M|1040 | - |1929 |9610 | 0 | 0 | 0 | 791k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
392.90/392.99 c 385s|640000 |320888 | 0 | 0.0 | 439M|1040 | - |1929 |9442 | 0 | 0 | 0 | 797k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
397.50/397.58 c 389s|650000 |328380 | 0 | 0.0 | 449M|1040 | - |1929 |9910 | 0 | 0 | 0 | 804k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
401.60/401.64 c 393s|660000 |335695 | 0 | 0.0 | 454M|1040 | - |1929 |4887 | 0 | 0 | 0 | 808k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
401.70/401.80 o 2
401.70/401.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
401.70/401.80 c * 393s|660399 |330728 | 0 | 0.0 | 447M|1040 | - |1929 |4880 | 0 | 0 | 0 | 809k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
405.50/405.57 c 397s|670000 |337550 | 0 | 0.0 | 454M|1040 | - |1929 |5144 | 0 | 0 | 0 | 813k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
409.60/409.68 c 401s|680000 |344313 | 0 | 0.0 | 461M|1040 | - |1929 |5535 | 0 | 0 | 0 | 818k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
413.90/413.95 c 405s|690000 |350897 | 0 | 0.0 | 468M|1040 | - |1929 |5781 | 0 | 0 | 0 | 823k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
418.10/418.18 c 409s|700000 |357530 | 0 | 0.0 | 475M|1040 | - |1929 |5963 | 0 | 0 | 0 | 828k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
422.70/422.73 c 414s|710000 |363786 | 0 | 0.0 | 482M|1040 | - |1929 |6238 | 0 | 0 | 0 | 834k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
427.40/427.41 c 418s|720000 |369843 | 0 | 0.0 | 489M|1040 | - |1929 |6655 | 0 | 0 | 0 | 841k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
432.10/432.17 c 423s|730000 |375835 | 0 | 0.0 | 496M|1040 | - |1929 |6925 | 0 | 0 | 0 | 847k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
437.30/437.34 c 428s|740000 |381338 | 0 | 0.0 | 503M|1040 | - |1929 |7345 | 0 | 0 | 0 | 854k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
442.60/442.60 c 433s|750000 |386825 | 0 | 0.0 | 509M|1040 | - |1929 |7339 | 0 | 0 | 0 | 861k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
448.11/448.11 c 438s|760000 |391900 | 0 | 0.0 | 516M|1040 | - |1929 |8033 | 0 | 0 | 0 | 869k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
454.00/454.04 c 444s|770000 |396616 | 0 | 0.0 | 522M|1040 | - |1929 |8639 | 0 | 0 | 0 | 877k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
460.20/460.22 c 450s|780000 |401127 | 0 | 0.0 | 528M|1040 | - |1929 |8878 | 0 | 0 | 0 | 886k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
466.90/466.94 c 457s|790000 |404916 | 0 | 0.0 | 535M|1040 | - |1929 |9186 | 0 | 0 | 0 | 896k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
474.70/474.74 c 464s|800000 |407639 | 0 | 0.0 | 540M|1040 | - |1929 | 10k| 0 | 0 | 0 | 907k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
482.50/482.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
482.50/482.53 c 472s|810000 |410715 | 0 | 0.0 | 543M|1040 | - |1929 |6651 | 0 | 0 | 0 | 918k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
485.91/485.94 c 475s|820000 |418497 | 0 | 0.0 | 549M|1040 | - |1929 |5361 | 0 | 0 | 0 | 921k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
489.41/489.46 c 479s|830000 |426014 | 0 | 0.0 | 555M|1040 | - |1929 |5753 | 0 | 0 | 0 | 925k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
493.11/493.19 c 482s|840000 |433220 | 0 | 0.0 | 562M|1040 | - |1929 |6373 | 0 | 0 | 0 | 929k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
497.21/497.22 c 486s|850000 |440033 | 0 | 0.0 | 569M|1040 | - |1929 |7000 | 0 | 0 | 0 | 934k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
501.70/501.71 c 490s|860000 |446329 | 0 | 0.0 | 576M|1040 | - |1929 |7763 | 0 | 0 | 0 | 940k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
506.80/506.88 c 495s|870000 |451796 | 0 | 0.0 | 583M|1040 | - |1929 |8948 | 0 | 0 | 0 | 946k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
513.20/513.26 c 502s|880000 |455983 | 0 | 0.0 | 589M|1040 | - |1929 | 10k| 0 | 0 | 0 | 955k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
521.81/521.81 c 510s|890000 |457868 | 0 | 0.0 | 594M|1040 | - |1929 | 12k| 0 | 0 | 0 | 967k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
525.21/525.21 c 513s|900000 |465924 | 0 | 0.0 | 598M|1040 | - |1929 |5310 | 0 | 0 | 0 | 970k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
528.41/528.48 c 516s|910000 |473674 | 0 | 0.0 | 604M|1040 | - |1929 |5549 | 0 | 0 | 0 | 974k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
531.91/531.95 c 520s|920000 |481127 | 0 | 0.0 | 611M|1040 | - |1929 |6134 | 0 | 0 | 0 | 978k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
535.50/535.58 c 523s|930000 |488376 | 0 | 0.0 | 617M|1040 | - |1929 |6986 | 0 | 0 | 0 | 982k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
539.60/539.68 c 527s|940000 |495078 | 0 | 0.0 | 624M|1040 | - |1929 |7820 | 0 | 0 | 0 | 987k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
544.01/544.00 c 532s|950000 |501505 | 0 | 0.0 | 630M|1040 | - |1929 |8534 | 0 | 0 | 0 | 993k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
549.81/549.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
549.81/549.83 c 537s|960000 |506238 | 0 | 0.0 | 638M|1040 | - |1929 | 10k| 0 | 0 | 0 |1001k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
556.90/557.00 c 544s|970000 |509771 | 0 | 0.0 | 644M|1040 | - |1929 | 13k| 0 | 0 | 0 |1012k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
562.81/562.83 c 550s|980000 |515396 | 0 | 0.0 | 647M|1040 | - |1929 |6450 | 0 | 0 | 0 |1019k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
566.00/566.01 c 553s|990000 |523346 | 0 | 0.0 | 653M|1040 | - |1929 |5937 | 0 | 0 | 0 |1022k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
569.30/569.30 c 556s| 1000k|531095 | 0 | 0.0 | 659M|1040 | - |1929 |5667 | 0 | 0 | 0 |1026k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
572.60/572.65 c 559s| 1010k|538689 | 0 | 0.0 | 665M|1040 | - |1929 |5769 | 0 | 0 | 0 |1029k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
576.00/576.08 c 563s| 1020k|546143 | 0 | 0.0 | 671M|1040 | - |1929 |5822 | 0 | 0 | 0 |1033k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
579.61/579.64 c 566s| 1030k|553439 | 0 | 0.0 | 677M|1040 | - |1929 |6015 | 0 | 0 | 0 |1037k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
583.20/583.29 c 570s| 1040k|560562 | 0 | 0.0 | 683M|1040 | - |1929 |6257 | 0 | 0 | 0 |1042k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
587.10/587.11 c 573s| 1050k|567516 | 0 | 0.0 | 690M|1040 | - |1929 |6467 | 0 | 0 | 0 |1047k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
591.20/591.22 c 577s| 1060k|574083 | 0 | 0.0 | 696M|1040 | - |1929 |7015 | 0 | 0 | 0 |1052k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
595.80/595.86 c 582s| 1070k|580004 | 0 | 0.0 | 703M|1040 | - |1929 |7930 | 0 | 0 | 0 |1059k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
600.80/600.88 c 587s| 1080k|585577 | 0 | 0.0 | 709M|1040 | - |1929 |8530 | 0 | 0 | 0 |1065k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
606.11/606.13 c 592s| 1090k|591007 | 0 | 0.0 | 716M|1040 | - |1929 |9108 | 0 | 0 | 0 |1073k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
611.21/611.29 c 597s| 1100k|596539 | 0 | 0.0 | 722M|1040 | - |1929 |9342 | 0 | 0 | 0 |1080k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
616.70/616.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
616.70/616.74 c 602s| 1110k|601724 | 0 | 0.0 | 728M|1040 | - |1929 | 10k| 0 | 0 | 0 |1088k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
622.40/622.42 c 608s| 1120k|606795 | 0 | 0.0 | 735M|1040 | - |1929 | 11k| 0 | 0 | 0 |1096k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
628.91/628.90 c 614s| 1130k|611065 | 0 | 0.0 | 742M|1040 | - |1929 | 12k| 0 | 0 | 0 |1105k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
632.21/632.25 o 1
632.21/632.25 c * 617s| 1133k|238560 | 0 | 0.0 | 342M|1040 | - |1929 | 13k| 0 | 0 | 0 |1108k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
636.50/636.52 c 622s| 1140k|241615 | 0 | 0.0 | 345M|1040 | - |1929 |6381 | 0 | 0 | 0 |1114k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
642.51/642.56 c 627s| 1150k|245929 | 0 | 0.0 | 352M|1040 | - |1929 |7306 | 0 | 0 | 0 |1123k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
648.81/648.87 c 634s| 1160k|250035 | 0 | 0.0 | 358M|1040 | - |1929 |8625 | 0 | 0 | 0 |1132k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
655.21/655.28 c 640s| 1170k|254145 | 0 | 0.0 | 365M|1040 | - |1929 |8549 | 0 | 0 | 0 |1140k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
661.81/661.86 c 646s| 1180k|258011 | 0 | 0.0 | 371M|1040 | - |1929 |8745 | 0 | 0 | 0 |1150k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
668.41/668.46 c 653s| 1190k|261852 | 0 | 0.0 | 377M|1040 | - |1929 |8449 | 0 | 0 | 0 |1159k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
674.91/674.96 c 659s| 1200k|266001 | 0 | 0.0 | 384M|1040 | - |1929 |6499 | 0 | 0 | 0 |1167k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
681.71/681.71 c 666s| 1210k|269390 | 0 | 0.0 | 390M|1040 | - |1929 |8768 | 0 | 0 | 0 |1177k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
688.61/688.62 c 673s| 1220k|272821 | 0 | 0.0 | 396M|1040 | - |1929 |8343 | 0 | 0 | 0 |1187k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
695.40/695.45 c 679s| 1230k|276553 | 0 | 0.0 | 403M|1040 | - |1929 |9278 | 0 | 0 | 0 |1197k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
702.21/702.27 c 686s| 1240k|280034 | 0 | 0.0 | 408M|1040 | - |1929 |8435 | 0 | 0 | 0 |1206k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
709.31/709.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
709.31/709.38 c 693s| 1250k|283496 | 0 | 0.0 | 415M|1040 | - |1929 |9483 | 0 | 0 | 0 |1216k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
716.21/716.20 c 700s| 1260k|287418 | 0 | 0.0 | 421M|1040 | - |1929 |7016 | 0 | 0 | 0 |1226k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
723.71/723.73 c 707s| 1270k|290135 | 0 | 0.0 | 427M|1040 | - |1929 |9624 | 0 | 0 | 0 |1236k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
731.01/731.03 c 714s| 1280k|293688 | 0 | 0.0 | 433M|1040 | - |1929 |8580 | 0 | 0 | 0 |1246k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
738.71/738.75 c 722s| 1290k|295993 | 0 | 0.0 | 438M|1040 | - |1929 |9682 | 0 | 0 | 0 |1257k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
746.11/746.18 c 729s| 1300k|299334 | 0 | 0.0 | 445M|1040 | - |1929 |9910 | 0 | 0 | 0 |1268k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
753.21/753.20 c 736s| 1310k|302943 | 0 | 0.0 | 450M|1040 | - |1929 |7660 | 0 | 0 | 0 |1277k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
761.71/761.78 c 744s| 1320k|304740 | 0 | 0.0 | 456M|1040 | - |1929 | 10k| 0 | 0 | 0 |1289k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
769.01/769.07 c 751s| 1330k|308383 | 0 | 0.0 | 462M|1040 | - |1929 | 10k| 0 | 0 | 0 |1299k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
777.11/777.13 c 759s| 1340k|310567 | 0 | 0.0 | 466M|1040 | - |1929 |9757 | 0 | 0 | 0 |1311k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
785.51/785.59 c 768s| 1350k|312957 | 0 | 0.0 | 472M|1040 | - |1929 | 10k| 0 | 0 | 0 |1323k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
793.41/793.44 c 775s| 1360k|316226 | 0 | 0.0 | 479M|1040 | - |1929 | 10k| 0 | 0 | 0 |1333k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
802.41/802.42 c 784s| 1370k|317463 | 0 | 0.0 | 482M|1040 | - |1929 | 10k| 0 | 0 | 0 |1346k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
810.91/810.93 c 793s| 1380k|319913 | 0 | 0.0 | 489M|1040 | - |1929 | 11k| 0 | 0 | 0 |1357k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
819.11/819.16 c 801s| 1390k|322813 | 0 | 0.0 | 495M|1040 | - |1929 |9592 | 0 | 0 | 0 |1368k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
828.41/828.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
828.41/828.45 c 810s| 1400k|323773 | 0 | 0.0 | 498M|1040 | - |1929 | 10k| 0 | 0 | 0 |1382k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
837.32/837.34 c 819s| 1410k|325984 | 0 | 0.0 | 505M|1040 | - |1929 | 11k| 0 | 0 | 0 |1394k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
845.61/845.63 c 827s| 1420k|328890 | 0 | 0.0 | 510M|1040 | - |1929 |9801 | 0 | 0 | 0 |1405k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
855.11/855.16 c 836s| 1430k|329676 | 0 | 0.0 | 514M|1040 | - |1929 | 11k| 0 | 0 | 0 |1418k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
864.22/864.24 c 845s| 1440k|331663 | 0 | 0.0 | 520M|1040 | - |1929 | 11k| 0 | 0 | 0 |1430k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
872.81/872.82 c 854s| 1450k|334365 | 0 | 0.0 | 526M|1040 | - |1929 | 10k| 0 | 0 | 0 |1442k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
882.62/882.63 c 863s| 1460k|334922 | 0 | 0.0 | 529M|1040 | - |1929 | 11k| 0 | 0 | 0 |1456k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
892.41/892.45 c 873s| 1470k|336376 | 0 | 0.0 | 535M|1040 | - |1929 | 11k| 0 | 0 | 0 |1469k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
901.32/901.39 c 882s| 1480k|338860 | 0 | 0.0 | 541M|1040 | - |1929 | 10k| 0 | 0 | 0 |1480k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
912.32/912.32 c 892s| 1490k|338668 | 0 | 0.0 | 544M|1040 | - |1929 | 11k| 0 | 0 | 0 |1496k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
922.31/922.32 c 902s| 1500k|340129 | 0 | 0.0 | 550M|1040 | - |1929 | 11k| 0 | 0 | 0 |1509k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
931.51/931.57 c 911s| 1510k|342059 | 0 | 0.0 | 554M|1040 | - |1929 |9420 | 0 | 0 | 0 |1522k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
942.52/942.51 c 922s| 1520k|341731 | 0 | 0.0 | 557M|1040 | - |1929 | 11k| 0 | 0 | 0 |1537k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
952.11/952.13 c 932s| 1530k|343543 | 0 | 0.0 | 563M|1040 | - |1929 | 11k| 0 | 0 | 0 |1550k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
962.12/962.16 c 942s| 1540k|343894 | 0 | 0.0 | 566M|1040 | - |1929 | 10k| 0 | 0 | 0 |1565k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
972.82/972.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
972.82/972.88 c 952s| 1550k|344248 | 0 | 0.0 | 570M|1040 | - |1929 | 11k| 0 | 0 | 0 |1580k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
982.52/982.57 c 962s| 1560k|345619 | 0 | 0.0 | 575M|1040 | - |1929 |8205 | 0 | 0 | 0 |1594k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
994.02/994.05 c 973s| 1570k|344460 | 0 | 0.0 | 577M|1040 | - |1929 | 11k| 0 | 0 | 0 |1611k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1004.32/1004.31 c 983s| 1580k|345550 | 0 | 0.0 | 582M|1040 | - |1929 |9251 | 0 | 0 | 0 |1625k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1015.22/1015.28 c 994s| 1590k|344741 | 0 | 0.0 | 584M|1040 | - |1929 | 11k| 0 | 0 | 0 |1642k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1025.92/1025.95 c 1004s| 1600k|345354 | 0 | 0.0 | 589M|1040 | - |1929 | 10k| 0 | 0 | 0 |1657k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1037.22/1037.30 c 1016s| 1610k|344144 | 0 | 0.0 | 590M|1040 | - |1929 | 11k| 0 | 0 | 0 |1674k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1048.42/1048.42 c 1026s| 1620k|344358 | 0 | 0.0 | 595M|1040 | - |1929 | 10k| 0 | 0 | 0 |1689k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1060.02/1060.09 c 1038s| 1630k|342871 | 0 | 0.0 | 595M|1040 | - |1929 | 11k| 0 | 0 | 0 |1706k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1071.21/1071.24 c 1049s| 1640k|343204 | 0 | 0.0 | 599M|1040 | - |1929 |9454 | 0 | 0 | 0 |1722k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1083.32/1083.39 c 1061s| 1650k|341474 | 0 | 0.0 | 600M|1040 | - |1929 | 12k| 0 | 0 | 0 |1740k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1094.72/1094.77 c 1072s| 1660k|341213 | 0 | 0.0 | 603M|1040 | - |1929 | 11k| 0 | 0 | 0 |1756k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1107.52/1107.56 c 1085s| 1670k|339512 | 0 | 0.0 | 604M|1040 | - |1929 | 13k| 0 | 0 | 0 |1774k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1120.12/1120.14 c 1097s| 1680k|338386 | 0 | 0.0 | 605M|1040 | - |1929 | 12k| 0 | 0 | 0 |1791k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1132.42/1132.41 c 1109s| 1690k|337812 | 0 | 0.0 | 608M|1040 | - |1929 | 11k| 0 | 0 | 0 |1808k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1145.62/1145.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1145.62/1145.65 c 1122s| 1700k|335748 | 0 | 0.0 | 609M|1040 | - |1929 | 13k| 0 | 0 | 0 |1827k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1158.92/1158.97 c 1136s| 1710k|334107 | 0 | 0.0 | 609M|1040 | - |1929 | 13k| 0 | 0 | 0 |1845k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1172.63/1172.69 c 1149s| 1720k|332258 | 0 | 0.0 | 609M|1040 | - |1929 | 13k| 0 | 0 | 0 |1863k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1187.12/1187.17 c 1163s| 1730k|329854 | 0 | 0.0 | 609M|1040 | - |1929 | 14k| 0 | 0 | 0 |1882k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1202.23/1202.29 c 1178s| 1740k|327096 | 0 | 0.0 | 608M|1040 | - |1929 | 14k| 0 | 0 | 0 |1902k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1218.12/1218.15 c 1194s| 1750k|323770 | 0 | 0.0 | 606M|1040 | - |1929 | 15k| 0 | 0 | 0 |1923k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1234.92/1234.94 c 1211s| 1760k|319979 | 0 | 0.0 | 602M|1040 | - |1929 | 16k| 0 | 0 | 0 |1944k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1252.43/1252.43 c 1228s| 1770k|315377 | 0 | 0.0 | 595M|1040 | - |1929 | 15k| 0 | 0 | 0 |1967k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1269.83/1269.80 c 1245s| 1780k|310677 | 0 | 0.0 | 587M|1040 | - |1929 | 14k| 0 | 0 | 0 |1991k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1285.93/1285.94 c 1261s| 1790k|309009 | 0 | 0.0 | 590M|1040 | - |1929 | 17k| 0 | 0 | 0 |2009k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1304.12/1304.14 c 1279s| 1800k|307428 | 0 | 0.0 | 594M|1040 | - |1929 | 19k| 0 | 0 | 0 |2026k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1324.22/1324.20 c 1299s| 1810k|305335 | 0 | 0.0 | 598M|1040 | - |1929 | 20k| 0 | 0 | 0 |2044k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1344.93/1344.96 c 1320s| 1820k|302936 | 0 | 0.0 | 600M|1040 | - |1929 | 20k| 0 | 0 | 0 |2062k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1366.53/1366.57 c 1341s| 1830k|299885 | 0 | 0.0 | 600M|1040 | - |1929 | 20k| 0 | 0 | 0 |2081k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1386.32/1386.32 c 1361s| 1840k|298159 | 0 | 0.0 | 604M|1040 | - |1929 | 19k| 0 | 0 | 0 |2098k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1407.33/1407.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1407.33/1407.39 c 1381s| 1850k|295273 | 0 | 0.0 | 605M|1040 | - |1929 | 20k| 0 | 0 | 0 |2117k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1427.52/1427.53 c 1401s| 1860k|292456 | 0 | 0.0 | 603M|1040 | - |1929 | 19k| 0 | 0 | 0 |2136k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1446.53/1446.58 c 1420s| 1870k|290782 | 0 | 0.0 | 608M|1040 | - |1929 | 18k| 0 | 0 | 0 |2153k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1467.62/1467.67 c 1441s| 1880k|287065 | 0 | 0.0 | 605M|1040 | - |1929 | 20k| 0 | 0 | 0 |2173k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1486.73/1486.74 c 1460s| 1890k|285442 | 0 | 0.0 | 610M|1040 | - |1929 | 19k| 0 | 0 | 0 |2191k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1508.83/1508.85 c 1482s| 1900k|281422 | 0 | 0.0 | 606M|1040 | - |1929 | 20k| 0 | 0 | 0 |2212k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1529.13/1529.18 c 1502s| 1910k|279213 | 0 | 0.0 | 610M|1040 | - |1929 | 20k| 0 | 0 | 0 |2231k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1552.73/1552.70 c 1526s| 1920k|274545 | 0 | 0.0 | 605M|1040 | - |1929 | 20k| 0 | 0 | 0 |2252k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1573.33/1573.30 c 1546s| 1930k|271904 | 0 | 0.0 | 607M|1040 | - |1929 | 20k| 0 | 0 | 0 |2272k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1596.93/1596.94 c 1569s| 1940k|267328 | 0 | 0.0 | 603M|1040 | - |1929 | 20k| 0 | 0 | 0 |2293k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1618.83/1618.83 c 1591s| 1950k|263869 | 0 | 0.0 | 602M|1040 | - |1929 | 21k| 0 | 0 | 0 |2314k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1643.53/1643.56 c 1616s| 1960k|259297 | 0 | 0.0 | 599M|1040 | - |1929 | 21k| 0 | 0 | 0 |2335k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1667.64/1667.65 c 1640s| 1970k|255085 | 0 | 0.0 | 595M|1040 | - |1929 | 22k| 0 | 0 | 0 |2356k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1692.53/1692.58 c 1664s| 1980k|250734 | 0 | 0.0 | 593M|1040 | - |1929 | 22k| 0 | 0 | 0 |2378k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1718.44/1718.42 c 1690s| 1990k|246117 | 0 | 0.0 | 588M|1040 | - |1929 | 24k| 0 | 0 | 0 |2400k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1744.83/1744.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1744.83/1744.89 c 1716s| 2000k|241732 | 0 | 0.0 | 586M|1040 | - |1929 | 24k| 0 | 0 | 0 |2421k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1771.64/1771.60 c 1743s| 2010k|236574 | 0 | 0.0 | 579M|1040 | - |1929 | 24k| 0 | 0 | 0 |2444k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1797.84/1797.84 c 1769s| 2020k|232312 | 0 | 0.0 | 577M|1040 | - |1929 | 24k| 0 | 0 | 0 |2465k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1771.08
1800.05/1800.00 c Solving Nodes : 2020780
1800.05/1800.00 c Primal Bound : +1.00000000000000e+00 (10 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.01 s SATISFIABLE
1800.05/1800.01 v -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 x210
1800.05/1800.01 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.05/1800.01 v -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168
1800.05/1800.01 v -x167 -x166 -x165 x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 -x147
1800.05/1800.01 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125
1800.05/1800.01 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.05/1800.01 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 -x81 -x80
1800.05/1800.01 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 -x67 -x66 -x65 -x64 -x63 -x62 x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54
1800.05/1800.01 v -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 x32 -x31 -x30 -x29
1800.05/1800.01 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 x9 x8 -x7 -x6 -x5 -x4 -x3 -x2
1800.05/1800.01 v -x1
1800.05/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.01 c Solving Time : 1771.08
1800.05/1800.01 c Original Problem :
1800.05/1800.01 c Problem name : HOME/instance-2694187-1277909951.wbo
1800.05/1800.01 c Variables : 2091 (1161 binary, 0 integer, 0 implicit integer, 930 continuous)
1800.05/1800.01 c Constraints : 3638 initial, 3638 maximal
1800.05/1800.01 c Presolved Problem :
1800.05/1800.01 c Problem name : t_HOME/instance-2694187-1277909951.wbo
1800.05/1800.01 c Variables : 1929 (1080 binary, 0 integer, 0 implicit integer, 849 continuous)
1800.05/1800.01 c Constraints : 3365 initial, 25091 maximal
1800.05/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.01 c trivial : 0.00 81 0 0 0 0 0 0 0
1800.05/1800.01 c dualfix : 0.00 81 0 0 0 0 0 0 0
1800.05/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c probing : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.01 c indicator : 0.00 0 0 0 0 0 81 0 0
1800.05/1800.01 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c linear : 0.08 0 0 0 954 0 192 139 0
1800.05/1800.01 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.05/1800.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c root node : - 822 - - 1644 - - - -
1800.05/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c indicator : 849 0 1607629 0 510086 5 432393 0 0 0
1800.05/1800.01 c knapsack : 1 0 6878971 0 1506383 190191 21283189 0 0 0
1800.05/1800.01 c setppc : 14 0 6716962 0 1506296 137599 5703336 0 0 0
1800.05/1800.01 c linear : 849 0 6579544 0 1506384 127394 9459216 0 0 0
1800.05/1800.01 c logicor : 1652+ 0 5173475 0 1506394 337255 14614791 0 0 0
1800.05/1800.01 c bounddisjunction : 0+ 0 11277 0 0 0 2 0 0 0
1800.05/1800.01 c countsols : 0 0 0 0 1506391 0 0 0 0 0
1800.05/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.01 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.01 c indicator : 1.10 0.00 0.74 0.00 0.36
1800.05/1800.01 c knapsack : 99.40 0.00 96.11 0.00 3.29
1800.05/1800.01 c setppc : 31.40 0.00 27.98 0.00 3.42
1800.05/1800.01 c linear : 124.29 0.00 123.24 0.00 1.05
1800.05/1800.01 c logicor : 625.79 0.00 557.06 0.00 68.73
1800.05/1800.01 c bounddisjunction : 0.02 0.00 0.02 0.00 0.00
1800.05/1800.01 c countsols : 0.35 0.00 0.00 0.00 0.35
1800.05/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.01 c vbounds : 1.81 2 0 0
1800.05/1800.01 c rootredcost : 1.94 0 0 0
1800.05/1800.01 c pseudoobj : 125.99 6907257 60 431100
1800.05/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.01 c propagation : 29.95 792499 792378 4039902 21.4 184043 10.1 -
1800.05/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c pseudo solution : 0.01 9 9 45 25.0 12 11.8 -
1800.05/1800.01 c applied globally : - - - 2467578 19.3 - - -
1800.05/1800.01 c applied locally : - - - 7 111.4 - - -
1800.05/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.01 c redcost : 0.00 0 0 0 0 0
1800.05/1800.01 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.01 c intobj : 0.00 0 0 0 0 0
1800.05/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.01 c gomory : 0.00 0 0 0 0 0
1800.05/1800.01 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.01 c cmir : 0.00 0 0 0 0 0
1800.05/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.01 c clique : 0.00 0 0 0 0 0
1800.05/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.01 c mcf : 0.00 0 0 0 0 0
1800.05/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.01 c Pricers : Time Calls Vars
1800.05/1800.01 c problem variables: 0.00 0 0
1800.05/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.01 c inference : 19.29 1506381 0 0 0 0 3012762
1800.05/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c random : 0.00 0 0 0 0 0 0
1800.05/1800.01 c Primal Heuristics : Time Calls Found
1800.05/1800.01 c LP solutions : 0.00 - 0
1800.05/1800.01 c pseudo solutions : 0.79 - 10
1800.05/1800.01 c oneopt : 0.90 0 0
1800.05/1800.01 c trivial : 0.00 2 0
1800.05/1800.01 c simplerounding : 0.00 0 0
1800.05/1800.01 c zirounding : 0.00 0 0
1800.05/1800.01 c rounding : 0.00 0 0
1800.05/1800.01 c shifting : 0.00 0 0
1800.05/1800.01 c intshifting : 0.00 0 0
1800.05/1800.01 c twoopt : 0.00 0 0
1800.05/1800.01 c fixandinfer : 0.00 0 0
1800.05/1800.01 c feaspump : 0.00 0 0
1800.05/1800.01 c coefdiving : 0.00 0 0
1800.05/1800.01 c pscostdiving : 0.00 0 0
1800.05/1800.01 c fracdiving : 0.00 0 0
1800.05/1800.01 c veclendiving : 0.00 0 0
1800.05/1800.01 c intdiving : 0.00 0 0
1800.05/1800.01 c actconsdiving : 0.00 0 0
1800.05/1800.01 c objpscostdiving : 0.00 0 0
1800.05/1800.01 c rootsoldiving : 0.00 0 0
1800.05/1800.01 c linesearchdiving : 0.00 0 0
1800.05/1800.01 c guideddiving : 0.00 0 0
1800.05/1800.01 c octane : 0.00 0 0
1800.05/1800.01 c rens : 0.00 0 0
1800.05/1800.01 c rins : 0.00 0 0
1800.05/1800.01 c localbranching : 0.00 0 0
1800.05/1800.01 c mutation : 0.00 0 0
1800.05/1800.01 c crossover : 0.00 0 0
1800.05/1800.01 c dins : 0.00 0 0
1800.05/1800.01 c undercover : 0.00 0 0
1800.05/1800.01 c nlp : 0.52 0 0
1800.05/1800.01 c trysol : 0.53 1 0
1800.05/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.01 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.01 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.01 c (at root node) : - 0 0 0.00 -
1800.05/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.01 c B&B Tree :
1800.05/1800.01 c number of runs : 1
1800.05/1800.01 c nodes : 2020780
1800.05/1800.01 c nodes (total) : 2020780
1800.05/1800.01 c nodes left : 231902
1800.05/1800.01 c max depth : 1040
1800.05/1800.01 c max depth (total): 1040
1800.05/1800.01 c backtracks : 526252 (26.0%)
1800.05/1800.01 c delayed cutoffs : 380075
1800.05/1800.01 c repropagations : 1559709 (14682929 domain reductions, 278124 cutoffs)
1800.05/1800.01 c avg switch length: 18.19
1800.05/1800.01 c switching time : 544.85
1800.05/1800.01 c Solution :
1800.05/1800.01 c Solutions found : 10 (10 improvements)
1800.05/1800.01 c First Solution : +1.28000000000000e+02 (in run 1, after 27926 nodes, 8.17 seconds, depth 363, found by <relaxation>)
1800.05/1800.01 c Primal Bound : +1.00000000000000e+00 (in run 1, after 1133308 nodes, 616.59 seconds, depth 901, found by <relaxation>)
1800.05/1800.01 c Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Gap : infinite
1800.05/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Root Iterations : 0
1801.04/1801.06 c Time complete: 1801.11.
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694187-1277909951/watcher-2694187-1277909951 -o /tmp/evaluation-result-2694187-1277909951/solver-2694187-1277909951 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694187-1277909951.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.00 2.00 2.00 4/182 13787 /proc/meminfo: memFree=31264988/32951124 swapFree=67111528/67111528 [pid=13787] ppid=13785 vsize=8296 CPUtime=0 /proc/13787/stat : 13787 (pbscip.linux.x8) R 13785 13787 13138 0 -1 4202496 1550 0 0 0 0 0 0 0 25 0 1 0 132291285 8495104 1473 4089446400 4194304 7136930 140733626396912 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/13787/statm: 2074 1473 275 719 0 1353 0 [startup+0.00858596 s] /proc/loadavg: 2.00 2.00 2.00 4/182 13787 /proc/meminfo: memFree=31264988/32951124 swapFree=67111528/67111528 [pid=13787] ppid=13785 vsize=8664 CPUtime=0 /proc/13787/stat : 13787 (pbscip.linux.x8) R 13785 13787 13138 0 -1 4202496 1666 0 0 0 0 0 0 0 25 0 1 0 132291285 8871936 1589 4089446400 4194304 7136930 140733626396912 18446744073709551615 6431708 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/13787/statm: 2166 1589 275 719 0 1445 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8664 [startup+0.100573 s] /proc/loadavg: 2.00 2.00 2.00 4/182 13787 /proc/meminfo: memFree=31264988/32951124 swapFree=67111528/67111528 [pid=13787] ppid=13785 vsize=21296 CPUtime=0.09 /proc/13787/stat : 13787 (pbscip.linux.x8) R 13785 13787 13138 0 -1 4202496 6277 0 0 0 8 1 0 0 25 0 1 0 132291285 21807104 4561 4089446400 4194304 7136930 140733626396912 18446744073709551615 4938088 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13787/statm: 5324 4561 354 719 0 4603 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 21296 [startup+0.300538 s] /proc/loadavg: 2.00 2.00 2.00 4/182 13787 /proc/meminfo: memFree=31264988/32951124 swapFree=67111528/67111528 [pid=13787] ppid=13785 vsize=24124 CPUtime=0.29 /proc/13787/stat : 13787 (pbscip.linux.x8) R 13785 13787 13138 0 -1 4202496 10625 0 0 0 27 2 0 0 18 0 1 0 132291285 24702976 5311 4089446400 4194304 7136930 140733626396912 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13787/statm: 6031 5311 399 719 0 5310 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24124 [startup+0.700467 s] /proc/loadavg: 2.00 2.00 2.00 4/182 13787 /proc/meminfo: memFree=31264988/32951124 swapFree=67111528/67111528 [pid=13787] ppid=13785 vsize=25996 CPUtime=0.69 /proc/13787/stat : 13787 (pbscip.linux.x8) R 13785 13787 13138 0 -1 4202496 11102 0 0 0 66 3 0 0 18 0 1 0 132291285 26619904 5788 4089446400 4194304 7136930 140733626396912 18446744073709551615 4983040 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13787/statm: 6499 5788 404 719 0 5778 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25996 [startup+1.50032 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13788 /proc/meminfo: memFree=31242164/32951124 swapFree=67111528/67111528 [pid=13787] ppid=13785 vsize=27892 CPUtime=1.49 /proc/13787/stat : 13787 (pbscip.linux.x8) R 13785 13787 13138 0 -1 4202496 11576 0 0 0 143 6 0 0 19 0 1 0 132291285 28561408 6262 4089446400 4194304 7136930 140733626396912 18446744073709551615 4854295 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13787/statm: 6973 6262 404 719 0 6252 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27892 [startup+3.10104 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13788 /proc/meminfo: memFree=31239556/32951124 swapFree=67111528/67111528 [pid=13787] ppid=13785 vsize=32840 CPUtime=3.09 /proc/13787/stat : 13787 (pbscip.linux.x8) R 13785 13787 13138 0 -1 4202496 12845 0 0 0 296 13 0 0 24 0 1 0 132291285 33628160 7531 4089446400 4194304 7136930 140733626396912 18446744073709551615 5004423 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13787/statm: 8210 7531 404 719 0 7489 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32840 [startup+6.30047 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13788 /proc/meminfo: memFree=31228520/32951124 swapFree=67111528/67111528 [pid=13787] ppid=13785 vsize=43324 CPUtime=6.29 /proc/13787/stat : 13787 (pbscip.linux.x8) R 13785 13787 13138 0 -1 4202496 15473 0 0 0 605 24 0 0 25 0 1 0 132291285 44363776 10159 4089446400 4194304 7136930 140733626396912 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13787/statm: 10831 10159 404 719 0 10110 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 43324 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13788 /proc/meminfo: memFree=31207988/32951124 swapFree=67111528/67111528 [pid=13787] ppid=13785 vsize=64584 CPUtime=12.69 /proc/13787/stat : 13787 (pbscip.linux.x8) R 13785 13787 13138 0 -1 4202496 20716 0 0 0 1224 45 0 0 25 0 1 0 132291285 66134016 15402 4089446400 4194304 7136930 140733626396912 18446744073709551615 4210021 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13787/statm: 16146 15402 405 719 0 15425 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 64584 [startup+25.5011 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13789 /proc/meminfo: memFree=31174440/32951124 swapFree=67111528/67111528 [pid=13787] ppid=13785 vsize=95148 CPUtime=25.49 /proc/13787/stat : 13787 (pbscip.linux.x8) R 13785 13787 13138 0 -1 4202496 28451 0 0 0 2464 85 0 0 25 0 1 0 132291285 97431552 23137 4089446400 4194304 7136930 140733626396912 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13787/statm: 23787 23137 405 719 0 23066 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 95148 [startup+51.1005 s] /proc/loadavg: 2.07 2.02 2.00 3/183 13790 /proc/meminfo: memFree=31125056/32951124 swapFree=67111528/67111528 [pid=13787] ppid=13785 vsize=145840 CPUtime=51.09 /proc/13787/stat : 13787 (pbscip.linux.x8) R 13785 13787 13138 0 -1 4202496 40671 0 0 0 4953 156 0 0 25 0 1 0 132291285 149340160 35357 4089446400 4194304 7136930 140733626396912 18446744073709551615 4926075 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13787/statm: 36460 35357 405 719 0 35739 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 145840 [startup+102.306 s] /proc/loadavg: 2.03 2.01 2.00 3/183 13791 /proc/meminfo: memFree=31015652/32951124 swapFree=67111528/67111528 [pid=13787] ppid=13785 vsize=258352 CPUtime=102.3 /proc/13787/stat : 13787 (pbscip.linux.x8) R 13785 13787 13138 0 -1 4202496 67704 0 0 0 9933 297 0 0 25 0 1 0 132291285 264552448 62390 4089446400 4194304 7136930 140733626396912 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13787/statm: 64588 62390 407 719 0 63867 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 258352 [startup+162.301 s] /proc/loadavg: 2.01 2.00 2.00 3/183 13801 /proc/meminfo: memFree=30917896/32951124 swapFree=67111528/67111528 [pid=13787] ppid=13785 vsize=359208 CPUtime=162.3 /proc/13787/stat : 13787 (pbscip.linux.x8) R 13785 13787 13138 0 -1 4202496 92021 0 0 0 15787 443 0 0 25 0 1 0 132291285 367828992 86707 4089446400 4194304 7136930 140733626396912 18446744073709551615 5953162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13787/statm: 89802 86707 407 719 0 89081 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 359208 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13803 /proc/meminfo: memFree=30850640/32951124 swapFree=67111528/67111528 [pid=13787] ppid=13785 vsize=424228 CPUtime=222.3 /proc/13787/stat : 13787 (pbscip.linux.x8) R 13785 13787 13138 0 -1 4202496 108348 0 0 0 21667 563 0 0 25 0 1 0 132291285 434409472 103034 4089446400 4194304 7136930 140733626396912 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13787/statm: 106057 103034 407 719 0 105336 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 424228 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13805 /proc/meminfo: memFree=30800372/32951124 swapFree=67111528/67111528 [pid=13787] ppid=13785 vsize=474140 CPUtime=282.3 /proc/13787/stat : 13787 (pbscip.linux.x8) R 13785 13787 13138 0 -1 4202496 120931 0 0 0 27564 666 0 0 25 0 1 0 132291285 485519360 115617 4089446400 4194304 7136930 140733626396912 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13787/statm: 118535 115617 407 719 0 117814 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 474140 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13807 /proc/meminfo: memFree=30770200/32951124 swapFree=67111528/67111528 [pid=13787] ppid=13785 vsize=504108 CPUtime=342.3 /proc/13787/stat : 13787 (pbscip.linux.x8) R 13785 13787 13138 0 -1 4202496 128372 0 0 0 33476 754 0 0 25 0 1 0 132291285 516206592 123058 4089446400 4194304 7136930 140733626396912 18446744073709551615 4227171 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13787/statm: 126027 123058 407 719 0 125306 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 504108 [startup+402.301 s] /proc/loadavg: 2.07 2.02 2.00 3/183 13808 /proc/meminfo: memFree=30730096/32951124 swapFree=67111528/67111528 [pid=13787] ppid=13785 vsize=543680 CPUtime=402.3 /proc/13787/stat : 13787 (pbscip.linux.x8) R 13785 13787 13138 0 -1 4202496 138163 0 0 0 39377 853 0 0 25 0 1 0 132291285 556728320 132849 4089446400 4194304 7136930 140733626396912 18446744073709551615 4923278 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13787/statm: 135920 132849 407 719 0 135199 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 543680 [startup+462.3 s] /proc/loadavg: 2.02 2.01 2.00 3/183 13809 /proc/meminfo: memFree=30651048/32951124 swapFree=67111528/67111528 [pid=13787] ppid=13785 vsize=621368 CPUtime=462.31 /proc/13787/stat : 13787 (pbscip.linux.x8) R 13785 13787 13138 0 -1 4202496 157873 0 0 0 45208 1023 0 0 25 0 1 0 132291285 636280832 152559 4089446400 4194304 7136930 140733626396912 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13787/statm: 155342 152559 407 719 0 154621 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 621368 [startup+522.301 s] /proc/loadavg: 2.04 2.02 2.00 3/183 13811 /proc/meminfo: memFree=30578952/32951124 swapFree=67111528/67111528 [pid=13787] ppid=13785 vsize=701260 CPUtime=522.31 /proc/13787/stat : 13787 (pbscip.linux.x8) R 13785 13787 13138 0 -1 4202496 175914 0 0 0 51052 1179 0 0 25 0 1 0 132291285 718090240 170600 4089446400 4194304 7136930 140733626396912 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13787/statm: 175315 170600 407 719 0 174594 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 701260 [startup+582.301 s] /proc/loadavg: 2.12 2.06 2.01 3/183 13813 /proc/meminfo: memFree=30492212/32951124 swapFree=67111528/67111528 [pid=13787] ppid=13785 vsize=784508 CPUtime=582.31 /proc/13787/stat : 13787 (pbscip.linux.x8) R 13785 13787 13138 0 -1 4202496 197058 0 0 0 56877 1354 0 0 25 0 1 0 132291285 803336192 191744 4089446400 4194304 7136930 140733626396912 18446744073709551615 5905720 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13787/statm: 196127 191744 407 719 0 195406 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 784508 [startup+642.3 s] /proc/loadavg: 2.10 2.06 2.01 3/183 13815 /proc/meminfo: memFree=30427192/32951124 swapFree=67111528/67111528 [pid=13787] ppid=13785 vsize=849104 CPUtime=642.31 /proc/13787/stat : 13787 (pbscip.linux.x8) R 13785 13787 13138 0 -1 4202496 213256 0 0 0 62718 1513 0 0 25 0 1 0 132291285 869482496 207942 4089446400 4194304 7136930 140733626396912 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13787/statm: 212276 207942 407 719 0 211555 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 849104 [startup+702.301 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 2.06 2.03 2.00 3/183 13851 /proc/meminfo: memFree=30435996/32951124 swapFree=67111528/67111528 [pid=13787] ppid=13785 vsize=857008 CPUtime=942.31 /proc/13787/stat : 13787 (pbscip.linux.x8) R 13785 13787 13138 0 -1 4202496 215250 0 0 0 92195 2036 0 0 25 0 1 0 132291285 877576192 209936 4089446400 4194304 7136930 140733626396912 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13787/statm: 214252 209936 407 719 0 213531 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 857008 [startup+1002.3 s] /proc/loadavg: 2.02 2.02 2.00 3/183 13852 /proc/meminfo: memFree=30420940/32951124 swapFree=67111528/67111528 [pid=13787] ppid=13785 vsize=865196 CPUtime=1002.31 /proc/13787/stat : 13787 (pbscip.linux.x8) R 13785 13787 13138 0 -1 4202496 217280 0 0 0 98107 2124 0 0 25 0 1 0 132291285 885960704 211966 4089446400 4194304 7136930 140733626396912 18446744073709551615 5004405 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13787/statm: 216299 211966 407 719 0 215578 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 865196 [startup+1062.3 s] /proc/loadavg: 2.01 2.02 2.00 3/183 13853 /proc/meminfo: memFree=30410468/32951124 swapFree=67111528/67111528 [pid=13787] ppid=13785 vsize=871144 CPUtime=1062.32 /proc/13787/stat : 13787 (pbscip.linux.x8) R 13785 13787 13138 0 -1 4202496 218713 0 0 0 104019 2213 0 0 25 0 1 0 132291285 892051456 213399 4089446400 4194304 7136930 140733626396912 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13787/statm: 217786 213399 407 719 0 217065 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 871144 [startup+1122.3 s] /proc/loadavg: 2.00 2.01 2.00 3/183 13855 /proc/meminfo: memFree=30400752/32951124 swapFree=67111528/67111528 [pid=13787] ppid=13785 vsize=877584 CPUtime=1122.32 /proc/13787/stat : 13787 (pbscip.linux.x8) R 13785 13787 13138 0 -1 4202496 220276 0 0 0 109935 2297 0 0 25 0 1 0 132291285 898646016 214962 4089446400 4194304 7136930 140733626396912 18446744073709551615 5507363 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13787/statm: 219396 214962 407 719 0 218675 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 877584 [startup+1182.3 s] /proc/loadavg: 2.00 2.01 2.00 3/183 13857 /proc/meminfo: memFree=30397232/32951124 swapFree=67111528/67111528 [pid=13787] ppid=13785 vsize=878608 CPUtime=1182.32 /proc/13787/stat : 13787 (pbscip.linux.x8) R 13785 13787 13138 0 -1 4202496 220541 0 0 0 115858 2374 0 0 25 0 1 0 132291285 899694592 215227 4089446400 4194304 7136930 140733626396912 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13787/statm: 219652 215227 407 719 0 218931 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 878608 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13859 /proc/meminfo: memFree=30392720/32951124 swapFree=67111528/67111528 [pid=13787] ppid=13785 vsize=879288 CPUtime=1242.32 /proc/13787/stat : 13787 (pbscip.linux.x8) R 13785 13787 13138 0 -1 4202496 220713 0 0 0 121787 2445 0 0 25 0 1 0 132291285 900390912 215399 4089446400 4194304 7136930 140733626396912 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13787/statm: 219822 215399 407 719 0 219101 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 879288 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13860 /proc/meminfo: memFree=30386232/32951124 swapFree=67111528/67111528 [pid=13787] ppid=13785 vsize=880996 CPUtime=1302.33 /proc/13787/stat : 13787 (pbscip.linux.x8) R 13785 13787 13138 0 -1 4202496 221109 0 0 0 127726 2507 0 0 25 0 1 0 132291285 902139904 215795 4089446400 4194304 7136930 140733626396912 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13787/statm: 220249 215795 407 719 0 219528 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 880996 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13861 /proc/meminfo: memFree=30383600/32951124 swapFree=67111528/67111528 [pid=13787] ppid=13785 vsize=882856 CPUtime=1362.33 /proc/13787/stat : 13787 (pbscip.linux.x8) R 13785 13787 13138 0 -1 4202496 221623 0 0 0 133676 2557 0 0 25 0 1 0 132291285 904044544 216309 4089446400 4194304 7136930 140733626396912 18446744073709551615 4660843 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13787/statm: 220714 216309 407 719 0 219993 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 882856 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13863 /proc/meminfo: memFree=30378472/32951124 swapFree=67111528/67111528 [pid=13787] ppid=13785 vsize=886768 CPUtime=1422.33 /proc/13787/stat : 13787 (pbscip.linux.x8) R 13785 13787 13138 0 -1 4202496 222609 0 0 0 139624 2609 0 0 25 0 1 0 132291285 908050432 217295 4089446400 4194304 7136930 140733626396912 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13787/statm: 221692 217295 407 719 0 220971 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 886768 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13865 /proc/meminfo: memFree=30376944/32951124 swapFree=67111528/67111528 [pid=13787] ppid=13785 vsize=888336 CPUtime=1482.33 /proc/13787/stat : 13787 (pbscip.linux.x8) R 13785 13787 13138 0 -1 4202496 222907 0 0 0 145573 2660 0 0 25 0 1 0 132291285 909656064 217593 4089446400 4194304 7136930 140733626396912 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13787/statm: 222084 217593 407 719 0 221363 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 888336 [startup+1542.3 s] /proc/loadavg: 2.07 2.03 2.01 3/183 13867 /proc/meminfo: memFree=30374148/32951124 swapFree=67111528/67111528 [pid=13787] ppid=13785 vsize=889360 CPUtime=1542.33 /proc/13787/stat : 13787 (pbscip.linux.x8) R 13785 13787 13138 0 -1 4202496 223183 0 0 0 151527 2706 0 0 25 0 1 0 132291285 910704640 217869 4089446400 4194304 7136930 140733626396912 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13787/statm: 222340 217869 407 719 0 221619 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 889360 [startup+1602.3 s] /proc/loadavg: 2.08 2.04 2.00 3/183 13868 /proc/meminfo: memFree=30372980/32951124 swapFree=67111528/67111528 [pid=13787] ppid=13785 vsize=890536 CPUtime=1602.34 /proc/13787/stat : 13787 (pbscip.linux.x8) R 13785 13787 13138 0 -1 4202496 223466 0 0 0 157482 2752 0 0 25 0 1 0 132291285 911908864 218152 4089446400 4194304 7136930 140733626396912 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13787/statm: 222634 218152 407 719 0 221913 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 890536 [startup+1662.3 s] /proc/loadavg: 2.18 2.06 2.01 3/183 13869 /proc/meminfo: memFree=30372060/32951124 swapFree=67111528/67111528 [pid=13787] ppid=13785 vsize=891044 CPUtime=1662.33 /proc/13787/stat : 13787 (pbscip.linux.x8) R 13785 13787 13138 0 -1 4202496 223598 0 0 0 163435 2798 0 0 25 0 1 0 132291285 912429056 218284 4089446400 4194304 7136930 140733626396912 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13787/statm: 222761 218284 407 719 0 222040 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 891044 [startup+1722.3 s] /proc/loadavg: 2.06 2.05 2.00 3/183 13871 /proc/meminfo: memFree=30370024/32951124 swapFree=67111528/67111528 [pid=13787] ppid=13785 vsize=893452 CPUtime=1722.34 /proc/13787/stat : 13787 (pbscip.linux.x8) R 13785 13787 13138 0 -1 4202496 224123 0 0 0 169392 2842 0 0 25 0 1 0 132291285 914894848 218809 4089446400 4194304 7136930 140733626396912 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13787/statm: 223363 218809 407 719 0 222642 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 893452 [startup+1782.3 s] /proc/loadavg: 2.02 2.04 2.00 3/183 13873 /proc/meminfo: memFree=30368496/32951124 swapFree=67111528/67111528 [pid=13787] ppid=13785 vsize=894168 CPUtime=1782.34 /proc/13787/stat : 13787 (pbscip.linux.x8) R 13785 13787 13138 0 -1 4202496 224237 0 0 0 175350 2884 0 0 25 0 1 0 132291285 915628032 218923 4089446400 4194304 7136930 140733626396912 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13787/statm: 223542 218923 407 719 0 222821 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 894168 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.02 2.03 2.00 3/183 13873 /proc/meminfo: memFree=30368484/32951124 swapFree=67111528/67111528 [pid=13787] ppid=13785 vsize=894168 CPUtime=1800.05 /proc/13787/stat : 13787 (pbscip.linux.x8) R 13785 13787 13138 0 -1 4202496 224238 0 0 0 177110 2895 0 0 25 0 1 0 132291285 915628032 218924 4089446400 4194304 7136930 140733626396912 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13787/statm: 223542 218924 407 719 0 222821 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 894168 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 2.02 2.03 2.00 3/184 13874 /proc/meminfo: memFree=30368848/32951124 swapFree=67111528/67111528 [pid=13787] ppid=13785 vsize=893208 CPUtime=1800.64 /proc/13787/stat : 13787 (pbscip.linux.x8) R 13785 13787 13138 0 -1 4202496 224260 0 0 0 177169 2895 0 0 25 0 1 0 132291285 914644992 218688 4089446400 4194304 7136930 140733626396912 18446744073709551615 6165617 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/13787/statm: 223302 218688 412 719 0 222581 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (KiB) 893208 [startup+1801 s] /proc/loadavg: 2.02 2.03 2.00 3/184 13874 /proc/meminfo: memFree=30368848/32951124 swapFree=67111528/67111528 [pid=13787] ppid=13785 vsize=800708 CPUtime=1801.04 /proc/13787/stat : 13787 (pbscip.linux.x8) R 13785 13787 13138 0 -1 4202496 224265 0 0 0 177209 2895 0 0 25 0 1 0 132291285 819924992 195569 4089446400 4194304 7136930 140733626396912 18446744073709551615 4333573 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/13787/statm: 200177 195569 412 719 0 199456 0 Current children cumulated CPU time (s) 1801.04 Current children cumulated vsize (KiB) 800708 Child status: 0 Real time (s): 1801.07 CPU time (s): 1801.11 CPU user time (s): 1772.13 CPU system time (s): 28.9836 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 894240 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1772.13 system time used= 28.9836 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 224272 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= 21019 runsolver used 2.85956 second user time and 6.98094 second system time The end
Begin job on node132 at 2010-06-30 16:59:11 IDJOB=2694187 IDBENCH=78972 IDSOLVER=1206 FILE ID=node132/2694187-1277909951 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.1900548667--soft-66-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2694187-1277909951/watcher-2694187-1277909951 -o /tmp/evaluation-result-2694187-1277909951/solver-2694187-1277909951 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694187-1277909951.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b93cc320d1c40ed770cd566486d12ca9 RANDOM SEED=629956159 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: 31265516 kB Buffers: 189768 kB Cached: 1216732 kB SwapCached: 0 kB Active: 677016 kB Inactive: 865460 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31265516 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3148 kB Writeback: 0 kB AnonPages: 135552 kB Mapped: 16936 kB Slab: 81212 kB PageTables: 5080 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 284088 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 17:29:13