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) | 1800.48 | 1800.42 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900562192--soft-0-100-0.wbo |
| MD5SUM | db6ee27e0a2875f2e81d96fef92170ce |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 137.819 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of soft constraints | 2707 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| Top cost | 135641 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 135640 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 765 |
| 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-2693600-1277926168.wbo>
0.02/0.03 c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.02/0.03 c problem read
0.02/0.03 c presolving settings loaded
0.02/0.03 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.09/0.13 o 135640
0.09/0.13 c feasible solution found by trivial heuristic, objective value 1.356400e+05
0.09/0.13 c presolving:
0.09/0.14 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.15 c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.19/0.20 c (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.20 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.20 c presolving (3 rounds):
0.19/0.20 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.20 c 2707 implications, 0 cliques
0.19/0.20 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.19/0.20 c 2707 constraints of type <indicator>
0.19/0.20 c 2707 constraints of type <linear>
0.19/0.20 c transformed objective value is always integral (scale: 1)
0.19/0.20 c Presolving Time: 0.14
0.19/0.20 c - non default parameters ----------------------------------------------------------------------
0.19/0.20 c # SCIP version 1.2.1.2
0.19/0.20 c
0.19/0.20 c # frequency for displaying node information lines
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.20 c display/freq = 10000
0.19/0.20 c
0.19/0.20 c # maximal time in seconds to run
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/time = 1799.97
0.19/0.20 c
0.19/0.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/memory = 3420
0.19/0.20 c
0.19/0.20 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.20 c lp/solvefreq = -1
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify inequalities
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/linear/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify knapsacks
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20 c separating/rapidlearning/freq = 0
0.19/0.20 c
0.19/0.20 c -----------------------------------------------------------------------------------------------
0.19/0.20 c start solving
0.19/0.20 c
0.19/0.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.21 c t 0.2s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.356400e+05 | Inf
3.09/3.15 o 492
3.09/3.15 c * 3.0s| 9052 | 7803 | 0 | 0.0 | 24M|2816 | - |5645 |6629 | 0 | 0 | 0 |1215 | 0 | 0.000000e+00 | 4.920000e+02 | Inf
3.09/3.15 o 444
3.09/3.15 c * 3.0s| 9053 | 7622 | 0 | 0.0 | 23M|2816 | - |5645 |6629 | 0 | 0 | 0 |1215 | 0 | 0.000000e+00 | 4.440000e+02 | Inf
3.19/3.26 o 396
3.19/3.26 c * 3.1s| 9296 | 7708 | 0 | 0.0 | 24M|2816 | - |5645 |6659 | 0 | 0 | 0 |1245 | 0 | 0.000000e+00 | 3.960000e+02 | Inf
3.19/3.26 o 322
3.19/3.26 c * 3.1s| 9297 | 5926 | 0 | 0.0 | 24M|2816 | - |5645 |6659 | 0 | 0 | 0 |1245 | 0 | 0.000000e+00 | 3.220000e+02 | Inf
3.39/3.41 o 231
3.39/3.41 c * 3.3s| 9642 | 5680 | 0 | 0.0 | 23M|2816 | - |5645 |6706 | 0 | 0 | 0 |1293 | 0 | 0.000000e+00 | 2.310000e+02 | Inf
3.39/3.41 o 205
3.39/3.41 c * 3.3s| 9643 | 5623 | 0 | 0.0 | 23M|2816 | - |5645 |6706 | 0 | 0 | 0 |1293 | 0 | 0.000000e+00 | 2.050000e+02 | Inf
3.49/3.55 c 3.4s| 10000 | 5968 | 0 | 0.0 | 24M|2816 | - |5645 |6774 | 0 | 0 | 0 |1363 | 0 | 0.000000e+00 | 2.050000e+02 | Inf
3.69/3.71 o 122
3.69/3.71 c * 3.6s| 10470 | 6174 | 0 | 0.0 | 24M|2816 | - |5645 |6929 | 0 | 0 | 0 |1521 | 0 | 0.000000e+00 | 1.220000e+02 | Inf
7.49/7.54 c 7.4s| 20000 | 13839 | 0 | 0.0 | 35M|2816 | - |5645 |7820 | 0 | 0 | 0 |8602 | 0 | 0.000000e+00 | 1.220000e+02 | Inf
13.89/13.99 c 13.7s| 30000 | 20215 | 0 | 0.0 | 50M|2816 | - |5645 |8854 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.220000e+02 | Inf
15.49/15.50 o 117
15.49/15.50 c *15.2s| 32087 | 22124 | 0 | 0.0 | 53M|2816 | - |5645 |8469 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
16.29/16.32 o 110
16.29/16.32 c *16.0s| 33159 | 23057 | 0 | 0.0 | 55M|2816 | - |5645 |8552 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.100000e+02 | Inf
16.29/16.32 o 94
16.29/16.32 c *16.0s| 33160 | 22729 | 0 | 0.0 | 53M|2816 | - |5645 |8552 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
19.89/19.91 o 92
19.89/19.91 c *19.5s| 37326 | 26379 | 0 | 0.0 | 59M|2816 | - |5645 |7644 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
19.99/20.01 o 83
19.99/20.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.99/20.01 c *19.6s| 37424 | 26053 | 0 | 0.0 | 59M|2816 | - |5645 |7754 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
19.99/20.02 o 77
19.99/20.02 c *19.6s| 37425 | 25788 | 0 | 0.0 | 58M|2816 | - |5645 |7754 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 7.700000e+01 | Inf
21.39/21.48 c 21.0s| 40000 | 28065 | 0 | 0.0 | 61M|2816 | - |5645 |7676 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 7.700000e+01 | Inf
23.10/23.10 o 62
23.10/23.10 c *22.6s| 41898 | 28944 | 0 | 0.0 | 60M|2816 | - |5645 |7155 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
23.79/23.83 o 53
23.79/23.83 c *23.4s| 43154 | 29424 | 0 | 0.0 | 61M|2816 | - |5645 |7806 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
25.79/25.89 o 47
25.79/25.89 c *25.4s| 46519 | 32036 | 0 | 0.0 | 64M|2816 | - |5645 |7012 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
27.99/28.05 c 27.5s| 50000 | 34897 | 0 | 0.0 | 68M|2816 | - |5645 |7180 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
29.70/29.74 o 46
29.70/29.74 c *29.2s| 53741 | 38041 | 0 | 0.0 | 72M|2816 | - |5645 |7420 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
32.90/32.90 o 44
32.90/32.90 c *32.3s| 59028 | 42306 | 0 | 0.0 | 77M|2816 | - |5645 |7427 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
33.29/33.33 c 32.7s| 60000 | 43125 | 0 | 0.0 | 78M|2816 | - |5645 |7282 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
37.69/37.79 c 37.0s| 70000 | 51358 | 0 | 0.0 | 87M|2816 | - |5645 |5952 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
42.90/42.92 c 42.1s| 80000 | 58754 | 0 | 0.0 | 98M|2816 | - |5645 |6898 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
48.49/48.55 c 47.6s| 90000 | 65757 | 0 | 0.0 | 110M|2816 | - |5645 |7342 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
55.49/55.58 c 54.5s|100000 | 71641 | 0 | 0.0 | 122M|2816 | - |5645 |7928 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
63.19/63.21 c 62.0s|110000 | 76937 | 0 | 0.0 | 134M|2816 | - |5645 |8457 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
70.89/70.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.89/70.97 c 69.7s|120000 | 82069 | 0 | 0.0 | 146M|2816 | - |5645 |8765 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
79.59/79.66 c 78.3s|130000 | 86442 | 0 | 0.0 | 159M|2816 | - |5645 |9561 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
88.79/88.80 c 87.3s|140000 | 90511 | 0 | 0.0 | 171M|2816 | - |5645 | 10k| 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
100.50/100.50 c 98.9s|150000 | 92440 | 0 | 0.0 | 180M|2816 | - |5645 | 12k| 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
107.30/107.34 c 106s|160000 |100692 | 0 | 0.0 | 189M|2816 | - |5645 |5822 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
110.30/110.32 o 36
110.30/110.32 c * 109s|163771 |103149 | 0 | 0.0 | 191M|2816 | - |5645 |5409 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
110.79/110.84 o 27
110.79/110.84 c * 109s|164430 |102734 | 0 | 0.0 | 190M|2816 | - |5645 |5564 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
115.09/115.16 c 113s|170000 |107008 | 0 | 0.0 | 201M|2816 | - |5645 |6103 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
116.70/116.78 o 18
116.70/116.78 c * 115s|172177 |107911 | 0 | 0.0 | 201M|2816 | - |5645 |6451 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
120.39/120.42 o 12
120.39/120.42 c * 118s|175975 |109892 | 0 | 0.0 | 206M|2816 | - |5645 |7236 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
125.30/125.38 c 123s|180000 |111769 | 0 | 0.0 | 214M|2816 | - |5645 |8708 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
127.09/127.11 o 3
127.09/127.11 c * 125s|181125 |110434 | 0 | 0.0 | 210M|2816 | - |5645 |9554 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
134.79/134.85 c 133s|190000 |114477 | 0 | 0.0 | 221M|2816 | - |5645 |9998 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
142.19/142.22 c 140s|200000 |120205 | 0 | 0.0 | 231M|2816 | - |5645 |9295 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
148.59/148.65 c 146s|210000 |127326 | 0 | 0.0 | 243M|2816 | - |5645 | 10k| 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
155.29/155.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
155.29/155.32 c 153s|220000 |134269 | 0 | 0.0 | 256M|2816 | - |5645 | 10k| 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
162.50/162.51 c 160s|230000 |140862 | 0 | 0.0 | 269M|2816 | - |5645 | 11k| 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
169.69/169.79 c 167s|240000 |147421 | 0 | 0.0 | 279M|2816 | - |5645 | 11k| 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
176.59/176.67 c 174s|250000 |154759 | 0 | 0.0 | 291M|2816 | - |5645 | 12k| 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
185.39/185.43 c 183s|260000 |160950 | 0 | 0.0 | 302M|2816 | - |5645 | 13k| 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
193.90/193.90 c 191s|270000 |166915 | 0 | 0.0 | 311M|2816 | - |5645 | 12k| 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
200.69/200.74 c 198s|280000 |173774 | 0 | 0.0 | 322M|2816 | - |5645 | 12k| 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
207.49/207.58 c 204s|290000 |180443 | 0 | 0.0 | 332M|2816 | - |5645 | 14k| 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
212.79/212.89 c 210s|300000 |188700 | 0 | 0.0 | 345M|2816 | - |5645 | 13k| 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
220.89/220.92 c 218s|310000 |195368 | 0 | 0.0 | 357M|2816 | - |5645 | 15k| 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
228.29/228.30 c 225s|320000 |202033 | 0 | 0.0 | 368M|2816 | - |5645 | 14k| 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
234.99/235.08 c 231s|330000 |209024 | 0 | 0.0 | 379M|2816 | - |5645 | 14k| 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
240.81/240.80 c 237s|340000 |217077 | 0 | 0.0 | 390M|2816 | - |5645 | 15k| 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
249.61/249.68 c 246s|350000 |222702 | 0 | 0.0 | 401M|2816 | - |5645 | 18k| 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
257.20/257.24 c 253s|360000 |229473 | 0 | 0.0 | 414M|2816 | - |5645 | 18k| 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
264.70/264.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
264.70/264.72 c 261s|370000 |236280 | 0 | 0.0 | 424M|2816 | - |5645 | 16k| 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
272.10/272.10 c 268s|380000 |243212 | 0 | 0.0 | 435M|2816 | - |5645 | 16k| 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
280.50/280.52 c 276s|390000 |249572 | 0 | 0.0 | 446M|2816 | - |5645 | 18k| 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
289.00/289.00 c 285s|400000 |255998 | 0 | 0.0 | 459M|2816 | - |5645 | 17k| 0 | 0 | 0 | 394k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
296.40/296.45 c 292s|410000 |262906 | 0 | 0.0 | 470M|2816 | - |5645 | 17k| 0 | 0 | 0 | 404k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
303.29/303.35 c 299s|420000 |270051 | 0 | 0.0 | 481M|2816 | - |5645 | 17k| 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
310.50/310.53 c 306s|430000 |276999 | 0 | 0.0 | 491M|2816 | - |5645 | 17k| 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
317.30/317.37 c 313s|440000 |284368 | 0 | 0.0 | 502M|2816 | - |5645 | 12k| 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
323.00/323.05 c 318s|450000 |292432 | 0 | 0.0 | 515M|2816 | - |5645 | 11k| 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
329.70/329.78 c 325s|460000 |299440 | 0 | 0.0 | 527M|2816 | - |5645 | 13k| 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
338.90/338.97 c 334s|470000 |304852 | 0 | 0.0 | 538M|2816 | - |5645 | 15k| 0 | 0 | 0 | 455k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
348.50/348.59 c 343s|480000 |310167 | 0 | 0.0 | 549M|2816 | - |5645 | 15k| 0 | 0 | 0 | 467k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
359.20/359.24 c 354s|490000 |314812 | 0 | 0.0 | 560M|2816 | - |5645 | 16k| 0 | 0 | 0 | 479k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
371.10/371.16 c 366s|500000 |318809 | 0 | 0.0 | 571M|2816 | - |5645 | 17k| 0 | 0 | 0 | 493k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
383.91/383.96 c 378s|510000 |322388 | 0 | 0.0 | 581M|2816 | - |5645 | 17k| 0 | 0 | 0 | 508k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
397.01/397.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
397.01/397.09 c 391s|520000 |325835 | 0 | 0.0 | 591M|2816 | - |5645 | 16k| 0 | 0 | 0 | 523k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
410.40/410.40 c 405s|530000 |329020 | 0 | 0.0 | 601M|2816 | - |5645 | 18k| 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
424.51/424.53 c 419s|540000 |331619 | 0 | 0.0 | 610M|2816 | - |5645 | 17k| 0 | 0 | 0 | 556k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
438.20/438.20 c 432s|550000 |334611 | 0 | 0.0 | 619M|2816 | - |5645 | 18k| 0 | 0 | 0 | 572k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
452.81/452.86 c 447s|560000 |336946 | 0 | 0.0 | 627M|2816 | - |5645 | 18k| 0 | 0 | 0 | 590k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
466.80/466.89 c 461s|570000 |339702 | 0 | 0.0 | 635M|2816 | - |5645 | 17k| 0 | 0 | 0 | 607k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
481.91/481.94 c 476s|580000 |341728 | 0 | 0.0 | 644M|2816 | - |5645 | 18k| 0 | 0 | 0 | 625k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
497.71/497.75 c 491s|590000 |343483 | 0 | 0.0 | 652M|2816 | - |5645 | 18k| 0 | 0 | 0 | 644k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
514.91/514.96 c 508s|600000 |344138 | 0 | 0.0 | 659M|2816 | - |5645 | 19k| 0 | 0 | 0 | 666k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
533.51/533.53 c 526s|610000 |344246 | 0 | 0.0 | 665M|2816 | - |5645 | 20k| 0 | 0 | 0 | 690k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
555.61/555.61 c 548s|620000 |337102 | 0 | 0.0 | 655M|2816 | - |5645 | 21k| 0 | 0 | 0 | 718k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
565.61/565.62 c 558s|630000 |344593 | 0 | 0.0 | 682M|2816 | - |5645 |8589 | 0 | 0 | 0 | 725k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
571.51/571.53 c 563s|640000 |351450 | 0 | 0.0 | 692M|2816 | - |5645 |5254 | 0 | 0 | 0 | 730k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
578.01/578.09 c 570s|650000 |357170 | 0 | 0.0 | 703M|2816 | - |5645 |6025 | 0 | 0 | 0 | 735k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
585.51/585.56 c 577s|660000 |362176 | 0 | 0.0 | 715M|2816 | - |5645 |6130 | 0 | 0 | 0 | 742k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
593.81/593.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
593.81/593.89 c 585s|670000 |366314 | 0 | 0.0 | 725M|2816 | - |5645 |6282 | 0 | 0 | 0 | 749k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
602.81/602.87 c 593s|680000 |369861 | 0 | 0.0 | 735M|2816 | - |5645 |6342 | 0 | 0 | 0 | 757k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
611.71/611.70 c 602s|690000 |373476 | 0 | 0.0 | 745M|2816 | - |5645 |6705 | 0 | 0 | 0 | 765k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
620.41/620.48 c 610s|700000 |376907 | 0 | 0.0 | 754M|2816 | - |5645 |7064 | 0 | 0 | 0 | 773k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
629.61/629.64 c 619s|710000 |380181 | 0 | 0.0 | 762M|2816 | - |5645 |8090 | 0 | 0 | 0 | 781k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
641.32/641.37 c 631s|720000 |381698 | 0 | 0.0 | 770M|2816 | - |5645 | 10k| 0 | 0 | 0 | 792k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
651.31/651.34 c 640s|730000 |384599 | 0 | 0.0 | 773M|2816 | - |5645 |7308 | 0 | 0 | 0 | 800k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
656.41/656.49 c 645s|740000 |391550 | 0 | 0.0 | 782M|2816 | - |5645 |6856 | 0 | 0 | 0 | 804k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
662.52/662.59 c 651s|750000 |397572 | 0 | 0.0 | 792M|2816 | - |5645 |7584 | 0 | 0 | 0 | 809k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
671.71/671.76 c 660s|760000 |401160 | 0 | 0.0 | 802M|2816 | - |5645 |9638 | 0 | 0 | 0 | 818k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
680.41/680.45 c 668s|770000 |405532 | 0 | 0.0 | 809M|2816 | - |5645 |7117 | 0 | 0 | 0 | 826k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
685.52/685.55 c 673s|780000 |412400 | 0 | 0.0 | 818M|2816 | - |5645 |7057 | 0 | 0 | 0 | 830k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
691.51/691.59 c 678s|790000 |418420 | 0 | 0.0 | 828M|2816 | - |5645 |7613 | 0 | 0 | 0 | 835k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
700.72/700.79 c 687s|800000 |422013 | 0 | 0.0 | 839M|2816 | - |5645 |9828 | 0 | 0 | 0 | 843k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
709.62/709.66 c 696s|810000 |426262 | 0 | 0.0 | 845M|2816 | - |5645 |6507 | 0 | 0 | 0 | 851k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
714.82/714.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
714.82/714.87 c 700s|820000 |433226 | 0 | 0.0 | 854M|2816 | - |5645 |6722 | 0 | 0 | 0 | 855k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
720.62/720.64 c 706s|830000 |439617 | 0 | 0.0 | 864M|2816 | - |5645 |7224 | 0 | 0 | 0 | 860k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
727.31/727.35 c 712s|840000 |445184 | 0 | 0.0 | 874M|2816 | - |5645 |7941 | 0 | 0 | 0 | 866k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
735.21/735.22 c 720s|850000 |449825 | 0 | 0.0 | 884M|2816 | - |5645 |8776 | 0 | 0 | 0 | 873k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
744.31/744.38 c 729s|860000 |453389 | 0 | 0.0 | 893M|2816 | - |5645 | 10k| 0 | 0 | 0 | 882k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
754.52/754.56 c 739s|870000 |456653 | 0 | 0.0 | 898M|2816 | - |5645 |7569 | 0 | 0 | 0 | 891k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
759.52/759.50 c 743s|880000 |463846 | 0 | 0.0 | 908M|2816 | - |5645 |7026 | 0 | 0 | 0 | 895k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
765.42/765.46 c 749s|890000 |470085 | 0 | 0.0 | 918M|2816 | - |5645 |7765 | 0 | 0 | 0 | 900k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
772.22/772.24 c 756s|900000 |475618 | 0 | 0.0 | 928M|2816 | - |5645 |9233 | 0 | 0 | 0 | 906k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
780.31/780.36 c 763s|910000 |480084 | 0 | 0.0 | 938M|2816 | - |5645 | 11k| 0 | 0 | 0 | 914k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
791.71/791.78 c 774s|920000 |482240 | 0 | 0.0 | 946M|2816 | - |5645 | 13k| 0 | 0 | 0 | 924k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
798.82/798.82 c 781s|930000 |488276 | 0 | 0.0 | 952M|2816 | - |5645 |7597 | 0 | 0 | 0 | 930k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
803.82/803.85 c 786s|940000 |495367 | 0 | 0.0 | 962M|2816 | - |5645 |7457 | 0 | 0 | 0 | 934k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
809.31/809.39 c 791s|950000 |502033 | 0 | 0.0 | 971M|2816 | - |5645 |7843 | 0 | 0 | 0 | 938k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
815.82/815.84 c 797s|960000 |507766 | 0 | 0.0 | 981M|2816 | - |5645 |8857 | 0 | 0 | 0 | 944k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
824.12/824.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
824.12/824.12 c 805s|970000 |512081 | 0 | 0.0 | 991M|2816 | - |5645 | 10k| 0 | 0 | 0 | 951k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
835.12/835.12 c 816s|980000 |514468 | 0 | 0.0 | 997M|2816 | - |5645 | 12k| 0 | 0 | 0 | 962k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
839.92/839.93 c 821s|990000 |522096 | 0 | 0.0 |1006M|2816 | - |5645 |7226 | 0 | 0 | 0 | 965k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
845.12/845.10 c 826s| 1000k|529114 | 0 | 0.0 |1016M|2816 | - |5645 |7563 | 0 | 0 | 0 | 969k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
850.72/850.74 c 831s| 1010k|535701 | 0 | 0.0 |1026M|2816 | - |5645 |7861 | 0 | 0 | 0 | 974k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
856.83/856.89 c 837s| 1020k|541942 | 0 | 0.0 |1036M|2816 | - |5645 |8203 | 0 | 0 | 0 | 979k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
863.43/863.41 c 843s| 1030k|547853 | 0 | 0.0 |1046M|2816 | - |5645 |8478 | 0 | 0 | 0 | 985k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
869.92/869.98 c 849s| 1040k|553720 | 0 | 0.0 |1055M|2816 | - |5645 |8873 | 0 | 0 | 0 | 991k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
876.82/876.84 c 856s| 1050k|559326 | 0 | 0.0 |1065M|2816 | - |5645 |8951 | 0 | 0 | 0 | 997k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
883.72/883.72 c 862s| 1060k|565006 | 0 | 0.0 |1074M|2816 | - |5645 |8969 | 0 | 0 | 0 |1003k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
890.52/890.53 c 869s| 1070k|570730 | 0 | 0.0 |1083M|2816 | - |5645 |8808 | 0 | 0 | 0 |1009k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
897.42/897.49 c 876s| 1080k|576305 | 0 | 0.0 |1092M|2816 | - |5645 |9023 | 0 | 0 | 0 |1016k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
904.42/904.41 c 882s| 1090k|581980 | 0 | 0.0 |1101M|2816 | - |5645 |9066 | 0 | 0 | 0 |1022k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
911.12/911.17 c 889s| 1100k|587743 | 0 | 0.0 |1110M|2816 | - |5645 |9338 | 0 | 0 | 0 |1029k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
917.82/917.87 c 895s| 1110k|593536 | 0 | 0.0 |1120M|2816 | - |5645 |9461 | 0 | 0 | 0 |1035k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
924.62/924.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
924.62/924.65 c 902s| 1120k|599285 | 0 | 0.0 |1129M|2816 | - |5645 | 10k| 0 | 0 | 0 |1042k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
931.92/931.96 c 909s| 1130k|604722 | 0 | 0.0 |1138M|2816 | - |5645 | 11k| 0 | 0 | 0 |1049k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
940.12/940.14 c 917s| 1140k|609512 | 0 | 0.0 |1147M|2816 | - |5645 | 13k| 0 | 0 | 0 |1057k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
949.33/949.40 c 926s| 1150k|613763 | 0 | 0.0 |1154M|2816 | - |5645 | 10k| 0 | 0 | 0 |1066k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
954.83/954.88 c 931s| 1160k|620511 | 0 | 0.0 |1163M|2816 | - |5645 |8594 | 0 | 0 | 0 |1070k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
959.92/959.99 c 936s| 1170k|627415 | 0 | 0.0 |1172M|2816 | - |5645 |8750 | 0 | 0 | 0 |1075k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
965.72/965.77 c 941s| 1180k|633797 | 0 | 0.0 |1182M|2816 | - |5645 |9700 | 0 | 0 | 0 |1080k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
972.22/972.23 c 947s| 1190k|639687 | 0 | 0.0 |1192M|2816 | - |5645 | 11k| 0 | 0 | 0 |1087k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
980.52/980.56 c 955s| 1200k|644299 | 0 | 0.0 |1201M|2816 | - |5645 | 13k| 0 | 0 | 0 |1095k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
990.83/990.86 c 965s| 1210k|648088 | 0 | 0.0 |1206M|2816 | - |5645 |9259 | 0 | 0 | 0 |1104k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
995.22/995.20 c 970s| 1220k|655879 | 0 | 0.0 |1215M|2816 | - |5645 |8217 | 0 | 0 | 0 |1107k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
999.73/999.77 c 974s| 1230k|663345 | 0 | 0.0 |1225M|2816 | - |5645 |8459 | 0 | 0 | 0 |1111k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1004.82/1004.89 c 979s| 1240k|670384 | 0 | 0.0 |1235M|2816 | - |5645 |9325 | 0 | 0 | 0 |1115k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1010.52/1010.51 c 984s| 1250k|676973 | 0 | 0.0 |1245M|2816 | - |5645 | 10k| 0 | 0 | 0 |1120k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1017.02/1017.08 c 990s| 1260k|682841 | 0 | 0.0 |1255M|2816 | - |5645 | 11k| 0 | 0 | 0 |1126k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1024.82/1024.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1024.82/1024.83 c 998s| 1270k|687750 | 0 | 0.0 |1264M|2816 | - |5645 | 11k| 0 | 0 | 0 |1134k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1034.82/1034.84 c 1007s| 1280k|690700 | 0 | 0.0 |1272M|2816 | - |5645 | 12k| 0 | 0 | 0 |1144k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1042.02/1042.06 c 1014s| 1290k|696235 | 0 | 0.0 |1278M|2816 | - |5645 |7756 | 0 | 0 | 0 |1151k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1046.23/1046.23 c 1018s| 1300k|704068 | 0 | 0.0 |1288M|2816 | - |5645 |7672 | 0 | 0 | 0 |1154k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1050.63/1050.62 c 1022s| 1310k|711700 | 0 | 0.0 |1297M|2816 | - |5645 |7729 | 0 | 0 | 0 |1157k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1055.42/1055.46 c 1027s| 1320k|718937 | 0 | 0.0 |1307M|2816 | - |5645 |8165 | 0 | 0 | 0 |1161k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1060.44/1060.42 c 1031s| 1330k|726009 | 0 | 0.0 |1316M|2816 | - |5645 |8381 | 0 | 0 | 0 |1165k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1065.63/1065.70 c 1036s| 1340k|732830 | 0 | 0.0 |1326M|2816 | - |5645 |8666 | 0 | 0 | 0 |1170k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1071.22/1071.24 c 1042s| 1350k|739414 | 0 | 0.0 |1335M|2816 | - |5645 |8990 | 0 | 0 | 0 |1175k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1077.42/1077.46 c 1048s| 1360k|745494 | 0 | 0.0 |1345M|2816 | - |5645 |9180 | 0 | 0 | 0 |1181k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1083.82/1083.87 c 1054s| 1370k|751331 | 0 | 0.0 |1356M|2816 | - |5645 |9353 | 0 | 0 | 0 |1187k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1090.53/1090.57 c 1060s| 1380k|756939 | 0 | 0.0 |1365M|2816 | - |5645 |9658 | 0 | 0 | 0 |1194k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1097.52/1097.53 c 1067s| 1390k|762275 | 0 | 0.0 |1375M|2816 | - |5645 | 10k| 0 | 0 | 0 |1201k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1104.83/1104.80 c 1074s| 1400k|767384 | 0 | 0.0 |1384M|2816 | - |5645 | 10k| 0 | 0 | 0 |1208k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1112.92/1112.95 c 1081s| 1410k|771832 | 0 | 0.0 |1393M|2816 | - |5645 | 11k| 0 | 0 | 0 |1217k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1122.43/1122.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1122.43/1122.42 c 1090s| 1420k|775130 | 0 | 0.0 |1400M|2816 | - |5645 | 12k| 0 | 0 | 0 |1227k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1131.23/1131.22 c 1099s| 1430k|779421 | 0 | 0.0 |1406M|2816 | - |5645 |8467 | 0 | 0 | 0 |1236k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1135.43/1135.42 c 1103s| 1440k|787220 | 0 | 0.0 |1415M|2816 | - |5645 |8110 | 0 | 0 | 0 |1239k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1140.03/1140.05 c 1107s| 1450k|794597 | 0 | 0.0 |1425M|2816 | - |5645 |8431 | 0 | 0 | 0 |1243k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1145.23/1145.25 c 1112s| 1460k|801501 | 0 | 0.0 |1435M|2816 | - |5645 |9062 | 0 | 0 | 0 |1247k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1150.83/1150.86 c 1117s| 1470k|808030 | 0 | 0.0 |1444M|2816 | - |5645 |9802 | 0 | 0 | 0 |1252k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1157.43/1157.49 c 1124s| 1480k|813694 | 0 | 0.0 |1454M|2816 | - |5645 | 10k| 0 | 0 | 0 |1259k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1165.43/1165.46 c 1131s| 1490k|818214 | 0 | 0.0 |1464M|2816 | - |5645 | 11k| 0 | 0 | 0 |1267k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1176.43/1176.41 c 1142s| 1500k|820326 | 0 | 0.0 |1471M|2816 | - |5645 | 12k| 0 | 0 | 0 |1279k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1180.63/1180.66 c 1146s| 1510k|828252 | 0 | 0.0 |1478M|2816 | - |5645 |7474 | 0 | 0 | 0 |1282k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1184.53/1184.54 c 1150s| 1520k|836208 | 0 | 0.0 |1487M|2816 | - |5645 |7185 | 0 | 0 | 0 |1285k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1188.73/1188.71 c 1154s| 1530k|843901 | 0 | 0.0 |1497M|2816 | - |5645 |7356 | 0 | 0 | 0 |1289k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1193.03/1193.00 c 1158s| 1540k|851401 | 0 | 0.0 |1507M|2816 | - |5645 |7421 | 0 | 0 | 0 |1292k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1197.43/1197.49 c 1162s| 1550k|858718 | 0 | 0.0 |1516M|2816 | - |5645 |7594 | 0 | 0 | 0 |1296k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1202.03/1202.04 c 1166s| 1560k|865973 | 0 | 0.0 |1526M|2816 | - |5645 |7434 | 0 | 0 | 0 |1300k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1207.03/1207.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1207.03/1207.08 c 1171s| 1570k|872769 | 0 | 0.0 |1536M|2816 | - |5645 |7909 | 0 | 0 | 0 |1305k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1212.73/1212.76 c 1176s| 1580k|879062 | 0 | 0.0 |1546M|2816 | - |5645 |8469 | 0 | 0 | 0 |1310k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1218.53/1218.55 c 1182s| 1590k|885324 | 0 | 0.0 |1556M|2816 | - |5645 |8655 | 0 | 0 | 0 |1316k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1224.93/1224.90 c 1188s| 1600k|891161 | 0 | 0.0 |1566M|2816 | - |5645 |8986 | 0 | 0 | 0 |1322k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1231.53/1231.50 c 1194s| 1610k|896678 | 0 | 0.0 |1576M|2816 | - |5645 |9635 | 0 | 0 | 0 |1328k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1238.54/1238.51 c 1201s| 1620k|901942 | 0 | 0.0 |1585M|2816 | - |5645 | 10k| 0 | 0 | 0 |1335k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1246.03/1246.10 c 1208s| 1630k|906790 | 0 | 0.0 |1594M|2816 | - |5645 | 10k| 0 | 0 | 0 |1343k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1254.53/1254.57 c 1216s| 1640k|910882 | 0 | 0.0 |1603M|2816 | - |5645 | 11k| 0 | 0 | 0 |1352k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1264.63/1264.67 c 1226s| 1650k|913786 | 0 | 0.0 |1611M|2816 | - |5645 | 13k| 0 | 0 | 0 |1362k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1272.53/1272.59 c 1234s| 1660k|918619 | 0 | 0.0 |1616M|2816 | - |5645 |8619 | 0 | 0 | 0 |1370k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1277.34/1277.35 c 1238s| 1670k|925929 | 0 | 0.0 |1627M|2816 | - |5645 |8639 | 0 | 0 | 0 |1374k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1283.13/1283.10 c 1243s| 1680k|932386 | 0 | 0.0 |1637M|2816 | - |5645 |9379 | 0 | 0 | 0 |1379k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1289.73/1289.71 c 1250s| 1690k|938124 | 0 | 0.0 |1648M|2816 | - |5645 | 10k| 0 | 0 | 0 |1385k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1297.83/1297.84 c 1257s| 1700k|942633 | 0 | 0.0 |1659M|2816 | - |5645 | 12k| 0 | 0 | 0 |1393k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1308.73/1308.74 c 1268s| 1710k|945369 | 0 | 0.0 |1666M|2816 | - |5645 | 10k| 0 | 0 | 0 |1403k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1313.53/1313.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1313.53/1313.50 c 1273s| 1720k|952812 | 0 | 0.0 |1675M|2816 | - |5645 |8602 | 0 | 0 | 0 |1407k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1318.84/1318.83 c 1278s| 1730k|959616 | 0 | 0.0 |1685M|2816 | - |5645 |9283 | 0 | 0 | 0 |1411k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1325.54/1325.58 c 1284s| 1740k|965193 | 0 | 0.0 |1695M|2816 | - |5645 | 10k| 0 | 0 | 0 |1417k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1337.93/1337.91 o 1
1337.93/1337.91 c *1296s| 1749k| 95685 | 0 | 0.0 | 289M|2816 | - |5645 | 14k| 0 | 0 | 0 |1427k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1338.34/1338.37 c 1297s| 1750k| 95593 | 0 | 0.0 | 288M|2816 | - |5645 | 14k| 0 | 0 | 0 |1427k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1353.23/1353.20 c 1311s| 1760k| 95525 | 0 | 0.0 | 293M|2816 | - |5645 | 12k| 0 | 0 | 0 |1440k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1368.74/1368.74 c 1326s| 1770k| 95361 | 0 | 0.0 | 300M|2816 | - |5645 | 14k| 0 | 0 | 0 |1454k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1386.04/1386.01 c 1343s| 1780k| 94654 | 0 | 0.0 | 305M|2816 | - |5645 | 15k| 0 | 0 | 0 |1469k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1404.43/1404.45 c 1362s| 1790k| 93693 | 0 | 0.0 | 309M|2816 | - |5645 | 16k| 0 | 0 | 0 |1484k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1424.24/1424.20 c 1381s| 1800k| 92333 | 0 | 0.0 | 311M|2816 | - |5645 | 16k| 0 | 0 | 0 |1500k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1444.54/1444.59 c 1401s| 1810k| 90572 | 0 | 0.0 | 313M|2816 | - |5645 | 17k| 0 | 0 | 0 |1516k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1464.84/1464.84 c 1421s| 1820k| 89335 | 0 | 0.0 | 316M|2816 | - |5645 | 18k| 0 | 0 | 0 |1532k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1486.24/1486.27 c 1442s| 1830k| 87625 | 0 | 0.0 | 316M|2816 | - |5645 | 18k| 0 | 0 | 0 |1549k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1507.84/1507.87 c 1463s| 1840k| 85820 | 0 | 0.0 | 317M|2816 | - |5645 | 18k| 0 | 0 | 0 |1566k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1530.64/1530.62 c 1485s| 1850k| 82901 | 0 | 0.0 | 315M|2816 | - |5645 | 19k| 0 | 0 | 0 |1583k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1555.35/1555.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1555.35/1555.32 c 1510s| 1860k| 78031 | 0 | 0.0 | 309M|2816 | - |5645 | 18k| 0 | 0 | 0 |1602k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1584.55/1584.54 c 1538s| 1870k| 65229 | 0 | 0.0 | 277M|2816 | - |5645 | 18k| 0 | 0 | 0 |1626k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1608.64/1608.63 c 1562s| 1880k| 59761 | 0 | 0.0 | 261M|2816 | - |5645 | 19k| 0 | 0 | 0 |1645k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1635.84/1635.89 c 1589s| 1890k| 55992 | 0 | 0.0 | 257M|2816 | - |5645 | 23k| 0 | 0 | 0 |1665k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1671.04/1671.06 c 1624s| 1900k| 50268 | 0 | 0.0 | 246M|2816 | - |5645 | 27k| 0 | 0 | 0 |1687k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1711.75/1711.79 c 1664s| 1910k| 43118 | 0 | 0.0 | 226M|2816 | - |5645 | 30k| 0 | 0 | 0 |1711k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1757.76/1757.72 c 1709s| 1920k| 34121 | 0 | 0.0 | 200M|2816 | - |5645 | 33k| 0 | 0 | 0 |1737k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1800.06/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.00 c
1800.06/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.00 c Solving Time (sec) : 1751.34
1800.06/1800.00 c Solving Nodes : 1928419
1800.06/1800.00 c Primal Bound : +1.00000000000000e+00 (27 solutions)
1800.06/1800.00 c Dual Bound : +0.00000000000000e+00
1800.06/1800.00 c Gap : infinite
1800.06/1800.05 s SATISFIABLE
1800.06/1800.05 v x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.06/1800.05 v -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.06/1800.05 v -x188 -x187 -x186 x185 -x184 -x183 -x182 x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.06/1800.05 v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 -x147
1800.06/1800.05 v -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125
1800.06/1800.05 v -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.06/1800.05 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.06/1800.05 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.06/1800.05 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.06/1800.05 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.06/1800.05 v x1
1800.06/1800.05 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.05 c Solving Time : 1751.34
1800.06/1800.05 c Original Problem :
1800.06/1800.05 c Problem name : HOME/instance-2693600-1277926168.wbo
1800.06/1800.05 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.06/1800.05 c Constraints : 5415 initial, 5415 maximal
1800.06/1800.05 c Presolved Problem :
1800.06/1800.05 c Problem name : t_HOME/instance-2693600-1277926168.wbo
1800.06/1800.05 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.06/1800.05 c Constraints : 5414 initial, 35327 maximal
1800.06/1800.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.05 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.06 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.06 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.06 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.06 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.06 c probing : 0.04 0 0 0 0 0 0 0 0
1800.06/1800.06 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.06 c linear : 0.02 0 0 0 2707 0 1 0 0
1800.06/1800.06 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.06 c root node : - 2656 - - 5312 - - - -
1800.06/1800.06 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.06 c integral : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.06 c indicator : 2707 0 4322670 0 1234716 72 1457344 0 0 0
1800.06/1800.06 c linear : 2707 0 6407650 0 1559473 483732 42489056 0 0 0
1800.06/1800.06 c logicor : 0+ 0 3125621 0 0 91665 1948244 0 0 0
1800.06/1800.06 c countsols : 0 0 0 0 1559486 0 0 0 0 0
1800.06/1800.06 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.06 c integral : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.06 c indicator : 11.23 0.00 4.70 0.00 6.53
1800.06/1800.06 c linear : 431.14 0.00 429.99 0.00 1.15
1800.06/1800.06 c logicor : 320.79 0.00 320.79 0.00 0.00
1800.06/1800.06 c countsols : 0.07 0.00 0.00 0.00 0.07
1800.06/1800.06 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.06 c vbounds : 0.50 2 0 0
1800.06/1800.06 c rootredcost : 0.42 0 0 0
1800.06/1800.06 c pseudoobj : 335.07 6408969 1351 1440467
1800.06/1800.06 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.06 c propagation : 31.68 576748 576747 2598636 19.9 220376 10.8 -
1800.06/1800.06 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.06 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.06 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.06 c pseudo solution : 0.02 131 131 500 28.0 417 9.4 -
1800.06/1800.06 c applied globally : - - - 1760934 17.9 - - -
1800.06/1800.06 c applied locally : - - - 1 311.0 - - -
1800.06/1800.06 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.06 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.06/1800.06 c redcost : 0.00 0 0 0 0 0
1800.06/1800.06 c impliedbounds : 0.00 0 0 0 0 0
1800.06/1800.06 c intobj : 0.00 0 0 0 0 0
1800.06/1800.06 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.06 c gomory : 0.00 0 0 0 0 0
1800.06/1800.06 c strongcg : 0.00 0 0 0 0 0
1800.06/1800.06 c cmir : 0.00 0 0 0 0 0
1800.06/1800.06 c flowcover : 0.00 0 0 0 0 0
1800.06/1800.06 c clique : 0.00 0 0 0 0 0
1800.06/1800.06 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.06 c mcf : 0.00 0 0 0 0 0
1800.06/1800.06 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.06 c Pricers : Time Calls Vars
1800.06/1800.06 c problem variables: 0.00 0 0
1800.06/1800.06 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.06 c relpscost : 0.00 0 0 0 0 0 0
1800.06/1800.06 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.06 c inference : 28.73 1559462 0 0 0 0 3118924
1800.06/1800.06 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.06 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.06 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.06 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.06 c random : 0.00 0 0 0 0 0 0
1800.06/1800.06 c Primal Heuristics : Time Calls Found
1800.06/1800.06 c LP solutions : 0.00 - 0
1800.06/1800.06 c pseudo solutions : 2.44 - 24
1800.06/1800.06 c oneopt : 0.32 0 0
1800.06/1800.06 c trivial : 0.09 2 2
1800.06/1800.06 c simplerounding : 0.00 0 0
1800.06/1800.06 c zirounding : 0.00 0 0
1800.06/1800.06 c rounding : 0.00 0 0
1800.06/1800.06 c shifting : 0.00 0 0
1800.06/1800.06 c intshifting : 0.00 0 0
1800.06/1800.06 c twoopt : 0.00 0 0
1800.06/1800.06 c fixandinfer : 0.00 0 0
1800.06/1800.06 c feaspump : 0.00 0 0
1800.06/1800.06 c coefdiving : 0.00 0 0
1800.06/1800.06 c pscostdiving : 0.00 0 0
1800.06/1800.06 c fracdiving : 0.00 0 0
1800.06/1800.06 c veclendiving : 0.00 0 0
1800.06/1800.06 c intdiving : 0.00 0 0
1800.06/1800.06 c actconsdiving : 0.00 0 0
1800.06/1800.06 c objpscostdiving : 0.00 0 0
1800.06/1800.06 c rootsoldiving : 0.00 0 0
1800.06/1800.06 c linesearchdiving : 0.00 0 0
1800.06/1800.06 c guideddiving : 0.00 0 0
1800.06/1800.06 c octane : 0.00 0 0
1800.06/1800.06 c rens : 0.00 0 0
1800.06/1800.06 c rins : 0.00 0 0
1800.06/1800.06 c localbranching : 0.00 0 0
1800.06/1800.06 c mutation : 0.00 0 0
1800.06/1800.06 c crossover : 0.00 0 0
1800.06/1800.06 c dins : 0.00 0 0
1800.06/1800.06 c undercover : 0.00 0 0
1800.06/1800.06 c nlp : 0.21 0 0
1800.06/1800.06 c trysol : 0.21 1 1
1800.06/1800.06 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.06 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.06 c dual LP : 0.00 0 0 0.00 -
1800.06/1800.06 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.06 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.06 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.06 c strong branching : 0.00 0 0 0.00 -
1800.06/1800.06 c (at root node) : - 0 0 0.00 -
1800.06/1800.06 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.06 c B&B Tree :
1800.06/1800.06 c number of runs : 1
1800.06/1800.06 c nodes : 1928419
1800.06/1800.06 c nodes (total) : 1928419
1800.06/1800.06 c nodes left : 24117
1800.06/1800.06 c max depth : 2816
1800.06/1800.06 c max depth (total): 2816
1800.06/1800.06 c backtracks : 354856 (18.4%)
1800.06/1800.06 c delayed cutoffs : 282750
1800.06/1800.06 c repropagations : 1450659 (14031799 domain reductions, 208018 cutoffs)
1800.06/1800.06 c avg switch length: 38.06
1800.06/1800.06 c switching time : 519.01
1800.06/1800.06 c Solution :
1800.06/1800.06 c Solutions found : 27 (25 improvements)
1800.06/1800.06 c First Solution : +1.35640000000000e+05 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.06/1800.06 c Primal Bound : +1.00000000000000e+00 (in run 1, after 1749760 nodes, 1293.84 seconds, depth 2052, found by <relaxation>)
1800.06/1800.06 c Dual Bound : +0.00000000000000e+00
1800.06/1800.06 c Gap : infinite
1800.06/1800.06 c Root Dual Bound : +0.00000000000000e+00
1800.06/1800.06 c Root Iterations : 0
1800.45/1800.41 c Time complete: 1800.46.
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693600-1277926168/watcher-2693600-1277926168 -o /tmp/evaluation-result-2693600-1277926168/solver-2693600-1277926168 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693600-1277926168.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 1.98 1.99 4/196 12650 /proc/meminfo: memFree=30390880/32951124 swapFree=67111528/67111528 [pid=12650] ppid=12648 vsize=8260 CPUtime=0 /proc/12650/stat : 12650 (pbscip.linux.x8) R 12648 12650 12625 0 -1 4202496 1548 0 0 0 0 0 0 0 23 0 1 0 133914203 8458240 1470 4089446400 4194304 7136930 140734721519232 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/12650/statm: 2065 1470 275 719 0 1344 0 [startup+0.034346 s] /proc/loadavg: 1.92 1.98 1.99 4/196 12650 /proc/meminfo: memFree=30390880/32951124 swapFree=67111528/67111528 [pid=12650] ppid=12648 vsize=16956 CPUtime=0.02 /proc/12650/stat : 12650 (pbscip.linux.x8) R 12648 12650 12625 0 -1 4202496 3736 0 0 0 2 0 0 0 23 0 1 0 133914203 17362944 3658 4089446400 4194304 7136930 140734721519232 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/12650/statm: 4239 3658 275 719 0 3518 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 16956 [startup+0.10033 s] /proc/loadavg: 1.92 1.98 1.99 4/196 12650 /proc/meminfo: memFree=30390880/32951124 swapFree=67111528/67111528 [pid=12650] ppid=12648 vsize=33676 CPUtime=0.09 /proc/12650/stat : 12650 (pbscip.linux.x8) R 12648 12650 12625 0 -1 4202496 7968 0 0 0 8 1 0 0 23 0 1 0 133914203 34484224 7536 4089446400 4194304 7136930 140734721519232 18446744073709551615 4241142 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12650/statm: 8419 7536 323 719 0 7698 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33676 [startup+0.30029 s] /proc/loadavg: 1.92 1.98 1.99 4/196 12650 /proc/meminfo: memFree=30390880/32951124 swapFree=67111528/67111528 [pid=12650] ppid=12648 vsize=36496 CPUtime=0.29 /proc/12650/stat : 12650 (pbscip.linux.x8) R 12648 12650 12625 0 -1 4202496 9240 0 0 0 28 1 0 0 23 0 1 0 133914203 37371904 8294 4089446400 4194304 7136930 140734721519232 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12650/statm: 9124 8294 383 719 0 8403 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36496 [startup+0.700229 s] /proc/loadavg: 1.92 1.98 1.99 4/196 12650 /proc/meminfo: memFree=30390880/32951124 swapFree=67111528/67111528 [pid=12650] ppid=12648 vsize=37636 CPUtime=0.69 /proc/12650/stat : 12650 (pbscip.linux.x8) R 12648 12650 12625 0 -1 4202496 9500 0 0 0 67 2 0 0 25 0 1 0 133914203 38539264 8554 4089446400 4194304 7136930 140734721519232 18446744073709551615 4827071 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12650/statm: 9409 8554 383 719 0 8688 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37636 [startup+1.50107 s] /proc/loadavg: 1.93 1.98 1.99 3/197 12651 /proc/meminfo: memFree=30356276/32951124 swapFree=67111528/67111528 [pid=12650] ppid=12648 vsize=41960 CPUtime=1.49 /proc/12650/stat : 12650 (pbscip.linux.x8) R 12648 12650 12625 0 -1 4202496 10601 0 0 0 145 4 0 0 25 0 1 0 133914203 42967040 9655 4089446400 4194304 7136930 140734721519232 18446744073709551615 5507373 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12650/statm: 10490 9655 390 719 0 9769 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 41960 [startup+3.10077 s] /proc/loadavg: 1.93 1.98 1.99 3/197 12651 /proc/meminfo: memFree=30352424/32951124 swapFree=67111528/67111528 [pid=12650] ppid=12648 vsize=44632 CPUtime=3.09 /proc/12650/stat : 12650 (pbscip.linux.x8) R 12648 12650 12625 0 -1 4202496 11310 0 0 0 302 7 0 0 25 0 1 0 133914203 45703168 10364 4089446400 4194304 7136930 140734721519232 18446744073709551615 4834641 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12650/statm: 11158 10364 390 719 0 10437 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 44632 [startup+6.30018 s] /proc/loadavg: 1.93 1.98 1.99 3/197 12651 /proc/meminfo: memFree=30343996/32951124 swapFree=67111528/67111528 [pid=12650] ppid=12648 vsize=56300 CPUtime=6.29 /proc/12650/stat : 12650 (pbscip.linux.x8) R 12648 12650 12625 0 -1 4202496 14071 0 0 0 617 12 0 0 25 0 1 0 133914203 57651200 13125 4089446400 4194304 7136930 140734721519232 18446744073709551615 4998124 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12650/statm: 14075 13125 391 719 0 13354 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 56300 [startup+12.701 s] /proc/loadavg: 1.94 1.98 1.99 3/197 12651 /proc/meminfo: memFree=30323180/32951124 swapFree=67111528/67111528 [pid=12650] ppid=12648 vsize=75820 CPUtime=12.69 /proc/12650/stat : 12650 (pbscip.linux.x8) R 12648 12650 12625 0 -1 4202496 18860 0 0 0 1244 25 0 0 25 0 1 0 133914203 77639680 17914 4089446400 4194304 7136930 140734721519232 18446744073709551615 4978944 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12650/statm: 18955 17914 391 719 0 18234 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 75820 [startup+25.5006 s] /proc/loadavg: 1.95 1.98 1.99 3/197 12651 /proc/meminfo: memFree=30282380/32951124 swapFree=67111528/67111528 [pid=12650] ppid=12648 vsize=116104 CPUtime=25.49 /proc/12650/stat : 12650 (pbscip.linux.x8) R 12648 12650 12625 0 -1 4202496 28664 0 0 0 2502 47 0 0 25 0 1 0 133914203 118890496 27718 4089446400 4194304 7136930 140734721519232 18446744073709551615 4983070 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12650/statm: 29026 27718 391 719 0 28305 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 116104 [startup+51.1009 s] /proc/loadavg: 1.96 1.98 1.99 3/197 12652 /proc/meminfo: memFree=30229016/32951124 swapFree=67111528/67111528 [pid=12650] ppid=12648 vsize=173640 CPUtime=51.09 /proc/12650/stat : 12650 (pbscip.linux.x8) R 12648 12650 12625 0 -1 4202496 42580 0 0 0 5016 93 0 0 25 0 1 0 133914203 177807360 41634 4089446400 4194304 7136930 140734721519232 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12650/statm: 43410 41634 391 719 0 42689 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 173640 [startup+102.305 s] /proc/loadavg: 1.98 1.98 1.99 3/197 12653 /proc/meminfo: memFree=30151604/32951124 swapFree=67111528/67111528 [pid=12650] ppid=12648 vsize=249328 CPUtime=102.3 /proc/12650/stat : 12650 (pbscip.linux.x8) R 12648 12650 12625 0 -1 4202496 61350 0 0 0 10070 160 0 0 25 0 1 0 133914203 255311872 60404 4089446400 4194304 7136930 140734721519232 18446744073709551615 6166784 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12650/statm: 62332 60404 391 719 0 61611 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 249328 [startup+162.3 s] /proc/loadavg: 1.99 1.98 1.99 3/197 12658 /proc/meminfo: memFree=30035160/32951124 swapFree=67111528/67111528 [pid=12650] ppid=12648 vsize=362204 CPUtime=162.29 /proc/12650/stat : 12650 (pbscip.linux.x8) R 12648 12650 12625 0 -1 4202496 88254 0 0 0 15975 254 0 0 25 0 1 0 133914203 370896896 87308 4089446400 4194304 7136930 140734721519232 18446744073709551615 5955597 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12650/statm: 90551 87308 391 719 0 89830 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 362204 [startup+222.3 s] /proc/loadavg: 1.99 1.98 1.99 3/197 12660 /proc/meminfo: memFree=29940856/32951124 swapFree=67111528/67111528 [pid=12650] ppid=12648 vsize=455040 CPUtime=222.29 /proc/12650/stat : 12650 (pbscip.linux.x8) R 12648 12650 12625 0 -1 4202496 111530 0 0 0 21893 336 0 0 25 0 1 0 133914203 465960960 110584 4089446400 4194304 7136930 140734721519232 18446744073709551615 5955642 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12650/statm: 113760 110584 391 719 0 113039 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 455040 [startup+282.3 s] /proc/loadavg: 2.04 2.00 2.00 3/197 12661 /proc/meminfo: memFree=29831204/32951124 swapFree=67111528/67111528 [pid=12650] ppid=12648 vsize=564996 CPUtime=282.3 /proc/12650/stat : 12650 (pbscip.linux.x8) R 12648 12650 12625 0 -1 4202496 137600 0 0 0 27805 425 0 0 25 0 1 0 133914203 578555904 136654 4089446400 4194304 7136930 140734721519232 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12650/statm: 141249 136654 391 719 0 140528 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 564996 [startup+342.301 s] /proc/loadavg: 2.01 2.00 2.00 3/197 12663 /proc/meminfo: memFree=29722904/32951124 swapFree=67111528/67111528 [pid=12650] ppid=12648 vsize=663184 CPUtime=342.3 /proc/12650/stat : 12650 (pbscip.linux.x8) R 12648 12650 12625 0 -1 4202496 161432 0 0 0 33721 509 0 0 25 0 1 0 133914203 679100416 160486 4089446400 4194304 7136930 140734721519232 18446744073709551615 5955592 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12650/statm: 165796 160486 391 719 0 165075 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 663184 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12664 /proc/meminfo: memFree=29647960/32951124 swapFree=67111528/67111528 [pid=12650] ppid=12648 vsize=718768 CPUtime=402.31 /proc/12650/stat : 12650 (pbscip.linux.x8) R 12648 12650 12625 0 -1 4202496 175388 0 0 0 39665 566 0 0 25 0 1 0 133914203 736018432 174442 4089446400 4194304 7136930 140734721519232 18446744073709551615 4409090 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12650/statm: 179692 174442 391 719 0 178971 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 718768 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12666 /proc/meminfo: memFree=29611840/32951124 swapFree=67111528/67111528 [pid=12650] ppid=12648 vsize=752688 CPUtime=462.31 /proc/12650/stat : 12650 (pbscip.linux.x8) R 12648 12650 12625 0 -1 4202496 183978 0 0 0 45617 614 0 0 25 0 1 0 133914203 770752512 183032 4089446400 4194304 7136930 140734721519232 18446744073709551615 5507463 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12650/statm: 188172 183032 391 719 0 187451 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 752688 [startup+522.301 s] /proc/loadavg: 2.05 2.01 2.00 3/197 12736 /proc/meminfo: memFree=29722392/32951124 swapFree=67111528/67111528 [pid=12650] ppid=12648 vsize=786120 CPUtime=522.3 /proc/12650/stat : 12650 (pbscip.linux.x8) R 12648 12650 12625 0 -1 4202496 192199 0 0 0 51527 703 0 0 25 0 1 0 133914203 804986880 191253 4089446400 4194304 7136930 140734721519232 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12650/statm: 196530 191253 391 719 0 195809 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 786120 [startup+582.301 s] /proc/loadavg: 2.02 2.01 2.00 3/197 12738 /proc/meminfo: memFree=29642044/32951124 swapFree=67111528/67111528 [pid=12650] ppid=12648 vsize=837900 CPUtime=582.31 /proc/12650/stat : 12650 (pbscip.linux.x8) R 12648 12650 12625 0 -1 4202496 204036 0 0 0 57365 866 0 0 25 0 1 0 133914203 858009600 203090 4089446400 4194304 7136930 140734721519232 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12650/statm: 209475 203090 391 719 0 208754 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 837900 [startup+642.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12740 /proc/meminfo: memFree=29538856/32951124 swapFree=67111528/67111528 [pid=12650] ppid=12648 vsize=910516 CPUtime=642.31 /proc/12650/stat : 12650 (pbscip.linux.x8) R 12648 12650 12625 0 -1 4202496 222124 0 0 0 63149 1082 0 0 25 0 1 0 133914203 932368384 221178 4089446400 4194304 7136930 140734721519232 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12650/statm: 227629 221178 391 719 0 226908 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 910516 [startup+702.3 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 2.12 2.07 2.02 3/197 12748 /proc/meminfo: memFree=28996488/32951124 swapFree=67111528/67111528 [pid=12650] ppid=12648 vsize=1295296 CPUtime=942.33 /proc/12650/stat : 12650 (pbscip.linux.x8) R 12648 12650 12625 0 -1 4202496 316951 0 0 0 91881 2352 0 0 25 0 1 0 133914203 1326383104 316005 4089446400 4194304 7136930 140734721519232 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12650/statm: 323824 316005 391 719 0 323103 0 Current children cumulated CPU time (s) 942.33 Current children cumulated vsize (KiB) 1295296 [startup+1002.3 s] /proc/loadavg: 2.18 2.09 2.03 4/197 12749 /proc/meminfo: memFree=28886636/32951124 swapFree=67111528/67111528 [pid=12650] ppid=12648 vsize=1378976 CPUtime=1002.32 /proc/12650/stat : 12650 (pbscip.linux.x8) R 12648 12650 12625 0 -1 4202496 338010 0 0 0 97620 2612 0 0 25 0 1 0 133914203 1412071424 337064 4089446400 4194304 7136930 140734721519232 18446744073709551615 4923193 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12650/statm: 344744 337064 391 719 0 344023 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1378976 [startup+1062.3 s] /proc/loadavg: 2.65 2.25 2.09 3/197 12751 /proc/meminfo: memFree=28761724/32951124 swapFree=67111528/67111528 [pid=12650] ppid=12648 vsize=1468196 CPUtime=1062.33 /proc/12650/stat : 12650 (pbscip.linux.x8) R 12648 12650 12625 0 -1 4202496 360482 0 0 0 103321 2912 0 0 25 0 1 0 133914203 1503432704 359536 4089446400 4194304 7136930 140734721519232 18446744073709551615 5956121 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12650/statm: 367049 359536 391 719 0 366328 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 1468196 [startup+1122.3 s] /proc/loadavg: 2.24 2.20 2.08 3/197 12753 /proc/meminfo: memFree=28653040/32951124 swapFree=67111528/67111528 [pid=12650] ppid=12648 vsize=1551040 CPUtime=1122.33 /proc/12650/stat : 12650 (pbscip.linux.x8) R 12648 12650 12625 0 -1 4202496 381166 0 0 0 109041 3192 0 0 25 0 1 0 133914203 1588264960 380220 4089446400 4194304 7136930 140734721519232 18446744073709551615 5950290 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12650/statm: 387760 380220 391 719 0 387039 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 1551040 [startup+1182.3 s] /proc/loadavg: 2.09 2.16 2.07 3/197 12754 /proc/meminfo: memFree=28571652/32951124 swapFree=67111528/67111528 [pid=12650] ppid=12648 vsize=1626968 CPUtime=1182.33 /proc/12650/stat : 12650 (pbscip.linux.x8) R 12648 12650 12625 0 -1 4202496 400431 0 0 0 114761 3472 0 0 25 0 1 0 133914203 1666015232 399485 4089446400 4194304 7136930 140734721519232 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12650/statm: 406742 399485 391 719 0 406021 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 1626968 [startup+1242.3 s] /proc/loadavg: 2.03 2.13 2.07 3/197 12756 /proc/meminfo: memFree=28461492/32951124 swapFree=67111528/67111528 [pid=12650] ppid=12648 vsize=1734376 CPUtime=1242.33 /proc/12650/stat : 12650 (pbscip.linux.x8) R 12648 12650 12625 0 -1 4202496 427582 0 0 0 120449 3784 0 0 25 0 1 0 133914203 1776001024 426636 4089446400 4194304 7136930 140734721519232 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12650/statm: 433594 426636 391 719 0 432873 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 1734376 [startup+1302.3 s] /proc/loadavg: 2.01 2.10 2.06 3/197 12757 /proc/meminfo: memFree=28391384/32951124 swapFree=67111528/67111528 [pid=12650] ppid=12648 vsize=1803328 CPUtime=1302.34 /proc/12650/stat : 12650 (pbscip.linux.x8) R 12648 12650 12625 0 -1 4202496 444680 0 0 0 126186 4048 0 0 25 0 1 0 133914203 1846607872 443734 4089446400 4194304 7136930 140734721519232 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12650/statm: 450832 443734 391 719 0 450111 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 1803328 [startup+1362.3 s] /proc/loadavg: 2.00 2.08 2.06 3/197 12759 /proc/meminfo: memFree=28371280/32951124 swapFree=67111528/67111528 [pid=12650] ppid=12648 vsize=1822544 CPUtime=1362.33 /proc/12650/stat : 12650 (pbscip.linux.x8) R 12648 12650 12625 0 -1 4202496 456227 0 0 0 132014 4219 0 0 25 0 1 0 133914203 1866285056 448616 4089446400 4194304 7136930 140734721519232 18446744073709551615 5955544 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12650/statm: 455636 448616 391 719 0 454915 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 1822544 [startup+1422.31 s] /proc/loadavg: 2.03 2.08 2.06 3/197 12761 /proc/meminfo: memFree=28370996/32951124 swapFree=67111528/67111528 [pid=12650] ppid=12648 vsize=1822544 CPUtime=1422.34 /proc/12650/stat : 12650 (pbscip.linux.x8) R 12648 12650 12625 0 -1 4202496 456227 0 0 0 137906 4328 0 0 25 0 1 0 133914203 1866285056 448616 4089446400 4194304 7136930 140734721519232 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12650/statm: 455636 448616 391 719 0 454915 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 1822544 [startup+1482.3 s] /proc/loadavg: 2.01 2.06 2.05 3/197 12762 /proc/meminfo: memFree=28336856/32951124 swapFree=67111528/67111528 [pid=12650] ppid=12648 vsize=1822544 CPUtime=1482.34 /proc/12650/stat : 12650 (pbscip.linux.x8) R 12648 12650 12625 0 -1 4202496 456228 0 0 0 143796 4438 0 0 25 0 1 0 133914203 1866285056 448617 4089446400 4194304 7136930 140734721519232 18446744073709551615 4999850 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12650/statm: 455636 448617 391 719 0 454915 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 1822544 [startup+1542.3 s] /proc/loadavg: 2.00 2.05 2.04 3/197 12764 /proc/meminfo: memFree=28287968/32951124 swapFree=67111528/67111528 [pid=12650] ppid=12648 vsize=1822544 CPUtime=1542.34 /proc/12650/stat : 12650 (pbscip.linux.x8) R 12648 12650 12625 0 -1 4202496 456229 0 0 0 149685 4549 0 0 25 0 1 0 133914203 1866285056 448618 4089446400 4194304 7136930 140734721519232 18446744073709551615 4980105 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12650/statm: 455636 448618 391 719 0 454915 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 1822544 [startup+1602.3 s] /proc/loadavg: 2.74 2.24 2.11 3/197 12765 /proc/meminfo: memFree=28242924/32951124 swapFree=67111528/67111528 [pid=12650] ppid=12648 vsize=1822284 CPUtime=1602.35 /proc/12650/stat : 12650 (pbscip.linux.x8) R 12648 12650 12625 0 -1 4202496 456229 0 0 0 155595 4640 0 0 25 0 1 0 133914203 1866018816 448553 4089446400 4194304 7136930 140734721519232 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12650/statm: 455571 448553 391 719 0 454850 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 1822284 [startup+1662.3 s] /proc/loadavg: 2.27 2.19 2.10 3/197 12767 /proc/meminfo: memFree=28193688/32951124 swapFree=67111528/67111528 [pid=12650] ppid=12648 vsize=1821080 CPUtime=1662.34 /proc/12650/stat : 12650 (pbscip.linux.x8) R 12648 12650 12625 0 -1 4202496 456311 0 0 0 161511 4723 0 0 25 0 1 0 133914203 1864785920 448183 4089446400 4194304 7136930 140734721519232 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12650/statm: 455270 448183 391 719 0 454549 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 1821080 [startup+1722.3 s] /proc/loadavg: 2.10 2.15 2.09 3/197 12768 /proc/meminfo: memFree=28152244/32951124 swapFree=67111528/67111528 [pid=12650] ppid=12648 vsize=1819352 CPUtime=1722.35 /proc/12650/stat : 12650 (pbscip.linux.x8) R 12648 12650 12625 0 -1 4202496 456453 0 0 0 167444 4791 0 0 25 0 1 0 133914203 1863016448 447684 4089446400 4194304 7136930 140734721519232 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12650/statm: 454838 447684 391 719 0 454117 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 1819352 [startup+1782.3 s] /proc/loadavg: 2.38 2.22 2.11 3/197 12770 /proc/meminfo: memFree=28146352/32951124 swapFree=67111528/67111528 [pid=12650] ppid=12648 vsize=1816384 CPUtime=1782.35 /proc/12650/stat : 12650 (pbscip.linux.x8) R 12648 12650 12625 0 -1 4202496 456530 0 0 0 173385 4850 0 0 25 0 1 0 133914203 1859977216 446992 4089446400 4194304 7136930 140734721519232 18446744073709551615 4999707 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12650/statm: 454096 446992 391 719 0 453375 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 1816384 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.29 2.21 2.11 3/197 12771 /proc/meminfo: memFree=28147824/32951124 swapFree=67111528/67111528 [pid=12650] ppid=12648 vsize=1812288 CPUtime=1800.06 /proc/12650/stat : 12650 (pbscip.linux.x8) R 12648 12650 12625 0 -1 4202496 456544 0 0 0 175137 4869 0 0 25 0 1 0 133914203 1855782912 445982 4089446400 4194304 7136930 140734721519232 18446744073709551615 5953097 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12650/statm: 453072 445982 391 719 0 452351 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1812288 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.2 s] /proc/loadavg: 2.29 2.21 2.11 3/197 12771 /proc/meminfo: memFree=28147824/32951124 swapFree=67111528/67111528 [pid=12650] ppid=12648 vsize=1754280 CPUtime=1800.25 /proc/12650/stat : 12650 (pbscip.linux.x8) R 12648 12650 12625 0 -1 4202496 456589 0 0 0 175156 4869 0 0 18 0 1 0 133914203 1796382720 431560 4089446400 4194304 7136930 140734721519232 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/12650/statm: 438570 431560 397 719 0 437849 0 Current children cumulated CPU time (s) 1800.25 Current children cumulated vsize (KiB) 1754280 [startup+1800.4 s] /proc/loadavg: 2.29 2.21 2.11 3/197 12771 /proc/meminfo: memFree=28147824/32951124 swapFree=67111528/67111528 [pid=12650] ppid=12648 vsize=277240 CPUtime=1800.45 /proc/12650/stat : 12650 (pbscip.linux.x8) R 12648 12650 12625 0 -1 4202496 456623 0 0 0 175170 4875 0 0 18 0 1 0 133914203 283893760 65332 4089446400 4194304 7136930 140734721519232 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/12650/statm: 68996 65159 397 719 0 68275 0 Current children cumulated CPU time (s) 1800.45 Current children cumulated vsize (KiB) 277240 Child status: 0 Real time (s): 1800.42 CPU time (s): 1800.48 CPU user time (s): 1751.71 CPU system time (s): 48.7676 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1849208 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1751.71 system time used= 48.7676 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 456630 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 6738 runsolver used 2.68559 second user time and 5.62914 second system time The end
Begin job on node105 at 2010-06-30 21:29:28 IDJOB=2693600 IDBENCH=79266 IDSOLVER=1206 FILE ID=node105/2693600-1277926168 PBS_JOBID= 11197368 Free space on /tmp= 74212 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900562192--soft-0-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693600-1277926168/watcher-2693600-1277926168 -o /tmp/evaluation-result-2693600-1277926168/solver-2693600-1277926168 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693600-1277926168.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= db6ee27e0a2875f2e81d96fef92170ce RANDOM SEED=2066372462 node105.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.840 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.68 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.840 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 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.840 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.840 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.840 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.94 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.840 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.70 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.840 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.82 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.840 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30391284 kB Buffers: 208408 kB Cached: 1817500 kB SwapCached: 0 kB Active: 864056 kB Inactive: 1550672 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30391284 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3244 kB Writeback: 0 kB AnonPages: 388608 kB Mapped: 20248 kB Slab: 81004 kB PageTables: 5412 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1659836 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= 74208 MiB End job on node105 at 2010-06-30 21:59:30