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.88 | 1801.83 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900564824--soft-66-100-0.wbo |
| MD5SUM | bcc83dde29b6f868056a0bfa1b1372de |
| 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 | 19 |
| Best CPU time to get the best result obtained on this benchmark | 49.4775 |
| 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 | 928 |
| 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 | 47257 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 47256 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 813 |
| 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-2694027-1277900560.wbo>
0.02/0.02 c original problem has 2087 variables (1159 bin, 0 int, 0 impl, 928 cont) and 3636 constraints
0.02/0.02 c problem read
0.02/0.02 c presolving settings loaded
0.02/0.02 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.02/0.04 c presolving:
0.02/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1134 impls, 14 clqs
0.02/0.07 c (round 2) 0 del vars, 112 del conss, 928 chg bounds, 51 chg sides, 0 chg coeffs, 0 upgd conss, 1134 impls, 14 clqs
0.02/0.09 c (round 3) 51 del vars, 262 del conss, 955 chg bounds, 150 chg sides, 0 chg coeffs, 0 upgd conss, 1134 impls, 14 clqs
0.02/0.09 c (round 4) 129 del vars, 295 del conss, 958 chg bounds, 156 chg sides, 0 chg coeffs, 0 upgd conss, 1134 impls, 14 clqs
0.09/0.11 c (round 5) 159 del vars, 298 del conss, 958 chg bounds, 156 chg sides, 0 chg coeffs, 1644 upgd conss, 1134 impls, 14 clqs
0.09/0.12 c (round 6) 162 del vars, 298 del conss, 958 chg bounds, 156 chg sides, 0 chg coeffs, 1644 upgd conss, 1134 impls, 14 clqs
0.09/0.16 c (0.1s) probing: 101/1078 (9.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.16 c presolving (7 rounds):
0.09/0.16 c 162 deleted vars, 298 deleted constraints, 958 tightened bounds, 0 added holes, 156 changed sides, 0 changed coefficients
0.09/0.16 c 1134 implications, 14 cliques
0.09/0.16 c presolved problem has 1925 variables (1078 bin, 0 int, 0 impl, 847 cont) and 3338 constraints
0.09/0.16 c 847 constraints of type <indicator>
0.09/0.16 c 1 constraints of type <knapsack>
0.09/0.16 c 14 constraints of type <setppc>
0.09/0.16 c 847 constraints of type <linear>
0.09/0.16 c 1629 constraints of type <logicor>
0.09/0.16 c transformed objective value is always integral (scale: 1)
0.09/0.16 c Presolving Time: 0.11
0.09/0.16 c - non default parameters ----------------------------------------------------------------------
0.09/0.16 c # SCIP version 1.2.1.2
0.09/0.16 c
0.09/0.16 c # frequency for displaying node information lines
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16 c display/freq = 10000
0.09/0.16 c
0.09/0.16 c # maximal time in seconds to run
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/time = 1799.98
0.09/0.16 c
0.09/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/memory = 3420
0.09/0.16 c
0.09/0.16 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.16 c lp/solvefreq = -1
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify inequalities
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/linear/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify knapsacks
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16 c separating/rapidlearning/freq = 0
0.09/0.16 c
0.09/0.16 c -----------------------------------------------------------------------------------------------
0.09/0.16 c start solving
0.09/0.16 c
0.09/0.16 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.16 c 0.1s| 1 | 2 | 0 | - |7588k| 0 | - |1925 |3338 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.00/1.03 o 560
1.00/1.03 c * 1.0s| 3725 | 3262 | 0 | 0.0 |9989k|1024 | - |1925 |3795 | 0 | 0 | 0 | 655 | 0 | 0.000000e+00 | 5.600000e+02 | Inf
2.69/2.70 c 2.6s| 10000 | 8412 | 0 | 0.0 | 14M|1024 | - |1925 |4463 | 0 | 0 | 0 |2632 | 0 | 0.000000e+00 | 5.600000e+02 | Inf
6.19/6.27 o 292
6.19/6.27 c * 6.0s| 19587 | 13837 | 0 | 0.0 | 21M|1024 | - |1925 |6362 | 0 | 0 | 0 |9961 | 0 | 0.000000e+00 | 2.920000e+02 | Inf
6.39/6.40 c 6.1s| 20000 | 14226 | 0 | 0.0 | 21M|1024 | - |1925 |6173 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 2.920000e+02 | Inf
6.59/6.60 o 285
6.59/6.60 c * 6.3s| 20689 | 14841 | 0 | 0.0 | 22M|1024 | - |1925 |5947 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 2.850000e+02 | Inf
6.59/6.60 o 263
6.59/6.60 c * 6.3s| 20690 | 14769 | 0 | 0.0 | 22M|1024 | - |1925 |5947 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 2.630000e+02 | Inf
7.79/7.81 o 257
7.79/7.81 c * 7.5s| 24679 | 18364 | 0 | 0.0 | 24M|1024 | - |1925 |5169 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
7.79/7.81 o 198
7.79/7.81 c * 7.5s| 24688 | 18222 | 0 | 0.0 | 24M|1024 | - |1925 |5169 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.980000e+02 | Inf
7.79/7.82 o 178
7.79/7.82 c * 7.5s| 24689 | 18112 | 0 | 0.0 | 24M|1024 | - |1925 |5169 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.780000e+02 | Inf
9.19/9.28 c 8.9s| 30000 | 22739 | 0 | 0.0 | 27M|1024 | - |1925 |4945 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.780000e+02 | Inf
12.09/12.19 c 11.7s| 40000 | 30419 | 0 | 0.0 | 34M|1024 | - |1925 |5541 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.780000e+02 | Inf
15.59/15.65 c 15.0s| 50000 | 37168 | 0 | 0.0 | 41M|1024 | - |1925 |6461 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.780000e+02 | Inf
19.80/19.88 c 19.1s| 60000 | 42823 | 0 | 0.0 | 48M|1024 | - |1925 |7710 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.780000e+02 | Inf
24.69/24.74 c 23.8s| 70000 | 47644 | 0 | 0.0 | 56M|1024 | - |1925 |8217 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 1.780000e+02 | Inf
30.09/30.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.09/30.11 c 29.0s| 80000 | 51684 | 0 | 0.0 | 63M|1024 | - |1925 |9435 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 1.780000e+02 | Inf
37.19/37.20 c 35.9s| 90000 | 53642 | 0 | 0.0 | 71M|1024 | - |1925 | 13k| 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 1.780000e+02 | Inf
41.99/42.03 c 40.6s|100000 | 60787 | 0 | 0.0 | 76M|1024 | - |1925 |6487 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | 1.780000e+02 | Inf
43.19/43.21 o 123
43.19/43.21 c *41.8s|103390 | 63134 | 0 | 0.0 | 76M|1024 | - |1925 |5892 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | 1.230000e+02 | Inf
43.79/43.87 o 73
43.79/43.87 c *42.4s|105218 | 61607 | 0 | 0.0 | 74M|1024 | - |1925 |5639 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
45.69/45.72 c 44.1s|110000 | 65574 | 0 | 0.0 | 82M|1024 | - |1925 |5496 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
49.99/50.05 c 48.3s|120000 | 73302 | 0 | 0.0 | 93M|1024 | - |1925 |4412 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
55.09/55.15 c 53.2s|130000 | 79464 | 0 | 0.0 | 108M|1024 | - |1925 |5155 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
58.69/58.75 c 56.7s|140000 | 87566 | 0 | 0.0 | 117M|1024 | - |1925 |5183 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
62.59/62.62 c 60.4s|150000 | 95018 | 0 | 0.0 | 125M|1024 | - |1925 |5224 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
66.39/66.42 c 64.1s|160000 |102491 | 0 | 0.0 | 134M|1024 | - |1925 |5882 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
69.99/70.04 c 67.6s|170000 |110187 | 0 | 0.0 | 143M|1024 | - |1925 |6930 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
73.60/73.69 c 71.1s|180000 |117614 | 0 | 0.0 | 150M|1024 | - |1925 |6455 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
77.49/77.50 c 74.7s|190000 |124361 | 0 | 0.0 | 156M|1024 | - |1925 |6804 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
80.59/80.69 c 77.8s|200000 |132191 | 0 | 0.0 | 163M|1024 | - |1925 |6760 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
84.39/84.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
84.39/84.46 c 81.4s|210000 |138956 | 0 | 0.0 | 169M|1024 | - |1925 |7618 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
88.79/88.88 c 85.7s|220000 |145211 | 0 | 0.0 | 175M|1024 | - |1925 |5130 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
92.69/92.76 c 89.5s|230000 |151845 | 0 | 0.0 | 182M|1024 | - |1925 |6357 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
97.79/97.80 c 94.3s|240000 |156814 | 0 | 0.0 | 189M|1024 | - |1925 |7790 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
103.60/103.63 c 100s|250000 |160708 | 0 | 0.0 | 196M|1024 | - |1925 |8324 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
109.90/109.90 c 106s|260000 |163927 | 0 | 0.0 | 203M|1024 | - |1925 |8711 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
116.50/116.57 c 113s|270000 |166577 | 0 | 0.0 | 209M|1024 | - |1925 |8939 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
123.30/123.30 c 119s|280000 |169038 | 0 | 0.0 | 215M|1024 | - |1925 |8869 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
130.19/130.28 c 126s|290000 |171027 | 0 | 0.0 | 220M|1024 | - |1925 |9178 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
137.59/137.68 c 133s|300000 |172458 | 0 | 0.0 | 226M|1024 | - |1925 |9566 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
145.79/145.84 c 141s|310000 |173030 | 0 | 0.0 | 231M|1024 | - |1925 | 10k| 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
154.59/154.63 c 150s|320000 |172987 | 0 | 0.0 | 235M|1024 | - |1925 | 11k| 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
165.20/165.22 c 160s|330000 |171344 | 0 | 0.0 | 238M|1024 | - |1925 | 14k| 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
176.80/176.83 c 171s|340000 |170470 | 0 | 0.0 | 236M|1024 | - |1925 |8053 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
181.00/181.05 c 176s|350000 |178393 | 0 | 0.0 | 246M|1024 | - |1925 |5486 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
183.50/183.53 o 66
183.50/183.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
183.50/183.53 c * 178s|356161 |182721 | 0 | 0.0 | 248M|1024 | - |1925 |5598 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
183.50/183.54 o 48
183.50/183.54 c * 178s|356162 |180479 | 0 | 0.0 | 234M|1024 | - |1925 |5598 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
185.20/185.30 c 180s|360000 |183328 | 0 | 0.0 | 241M|1024 | - |1925 |5606 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
189.60/189.69 c 184s|370000 |190629 | 0 | 0.0 | 250M|1024 | - |1925 |4122 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
193.80/193.84 c 188s|380000 |197798 | 0 | 0.0 | 259M|1024 | - |1925 |4581 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
198.20/198.29 c 192s|390000 |204636 | 0 | 0.0 | 269M|1024 | - |1925 |4467 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
201.00/201.04 o 27
201.00/201.04 c * 195s|396119 |205744 | 0 | 0.0 | 256M|1024 | - |1925 |4350 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
203.00/203.04 c 197s|400000 |208027 | 0 | 0.0 | 263M|1024 | - |1925 |4537 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
208.09/208.11 c 202s|410000 |213675 | 0 | 0.0 | 272M|1024 | - |1925 |5109 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
213.40/213.49 c 207s|420000 |218858 | 0 | 0.0 | 280M|1024 | - |1925 |5661 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
218.80/218.84 c 212s|430000 |224159 | 0 | 0.0 | 289M|1024 | - |1925 |5984 | 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
224.50/224.56 c 218s|440000 |228940 | 0 | 0.0 | 297M|1024 | - |1925 |6470 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
230.49/230.51 c 223s|450000 |233352 | 0 | 0.0 | 305M|1024 | - |1925 |6443 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
236.90/236.93 c 230s|460000 |237224 | 0 | 0.0 | 314M|1024 | - |1925 |7356 | 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
243.90/243.92 c 236s|470000 |240410 | 0 | 0.0 | 322M|1024 | - |1925 |7824 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
252.09/252.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
252.09/252.13 c 244s|480000 |242229 | 0 | 0.0 | 330M|1024 | - |1925 |8570 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
262.19/262.26 c 254s|490000 |241495 | 0 | 0.0 | 335M|1024 | - |1925 |8757 | 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
266.30/266.37 c 258s|500000 |248568 | 0 | 0.0 | 342M|1024 | - |1925 |6735 | 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
270.61/270.61 c 262s|510000 |255298 | 0 | 0.0 | 349M|1024 | - |1925 |7456 | 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
275.90/275.93 c 267s|520000 |260655 | 0 | 0.0 | 358M|1024 | - |1925 |9010 | 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
282.80/282.80 c 274s|530000 |264390 | 0 | 0.0 | 367M|1024 | - |1925 | 11k| 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
292.00/292.04 c 283s|540000 |265008 | 0 | 0.0 | 372M|1024 | - |1925 | 13k| 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
296.09/296.19 c 287s|550000 |272367 | 0 | 0.0 | 378M|1024 | - |1925 |8770 | 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
300.60/300.65 c 291s|560000 |279082 | 0 | 0.0 | 385M|1024 | - |1925 |9486 | 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
305.80/305.83 c 296s|570000 |284977 | 0 | 0.0 | 392M|1024 | - |1925 |9667 | 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
311.80/311.81 c 302s|580000 |289745 | 0 | 0.0 | 400M|1024 | - |1925 | 11k| 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
319.30/319.36 c 310s|590000 |293097 | 0 | 0.0 | 407M|1024 | - |1925 | 14k| 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
327.30/327.30 c 317s|600000 |296058 | 0 | 0.0 | 411M|1024 | - |1925 |9781 | 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
331.50/331.52 c 321s|610000 |303175 | 0 | 0.0 | 418M|1024 | - |1925 | 10k| 0 | 0 | 0 | 482k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
336.30/336.35 c 326s|620000 |309527 | 0 | 0.0 | 426M|1024 | - |1925 | 11k| 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
342.60/342.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
342.60/342.65 c 332s|630000 |314297 | 0 | 0.0 | 434M|1024 | - |1925 | 13k| 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
351.00/351.08 c 340s|640000 |316912 | 0 | 0.0 | 443M|1024 | - |1925 | 16k| 0 | 0 | 0 | 509k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
360.10/360.19 c 349s|650000 |318681 | 0 | 0.0 | 446M|1024 | - |1925 | 12k| 0 | 0 | 0 | 522k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
364.60/364.67 c 354s|660000 |325775 | 0 | 0.0 | 453M|1024 | - |1925 | 12k| 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
369.30/369.34 c 358s|670000 |332447 | 0 | 0.0 | 460M|1024 | - |1925 | 12k| 0 | 0 | 0 | 532k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
374.80/374.86 c 364s|680000 |338278 | 0 | 0.0 | 468M|1024 | - |1925 | 13k| 0 | 0 | 0 | 538k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
381.10/381.18 c 370s|690000 |343314 | 0 | 0.0 | 475M|1024 | - |1925 | 15k| 0 | 0 | 0 | 546k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
386.11/386.18 o 23
386.11/386.18 c * 375s|696697 |344604 | 0 | 0.0 | 474M|1024 | - |1925 | 16k| 0 | 0 | 0 | 553k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
388.80/388.88 c 377s|700000 |345755 | 0 | 0.0 | 476M|1024 | - |1925 | 16k| 0 | 0 | 0 | 556k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
399.71/399.73 c 388s|710000 |346517 | 0 | 0.0 | 483M|1024 | - |1925 | 19k| 0 | 0 | 0 | 571k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
405.60/405.64 c 394s|720000 |352103 | 0 | 0.0 | 486M|1024 | - |1925 | 11k| 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
410.50/410.59 c 398s|730000 |358533 | 0 | 0.0 | 493M|1024 | - |1925 | 12k| 0 | 0 | 0 | 582k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
415.71/415.79 c 403s|740000 |364654 | 0 | 0.0 | 500M|1024 | - |1925 | 13k| 0 | 0 | 0 | 588k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
421.71/421.72 c 409s|750000 |370049 | 0 | 0.0 | 507M|1024 | - |1925 | 13k| 0 | 0 | 0 | 594k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
428.00/428.01 c 415s|760000 |374973 | 0 | 0.0 | 514M|1024 | - |1925 | 13k| 0 | 0 | 0 | 602k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
434.80/434.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
434.80/434.80 c 422s|770000 |379345 | 0 | 0.0 | 520M|1024 | - |1925 | 13k| 0 | 0 | 0 | 611k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
441.50/441.51 c 428s|780000 |383769 | 0 | 0.0 | 526M|1024 | - |1925 | 13k| 0 | 0 | 0 | 619k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
448.20/448.22 c 435s|790000 |388058 | 0 | 0.0 | 532M|1024 | - |1925 | 13k| 0 | 0 | 0 | 628k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
455.20/455.30 c 442s|800000 |392031 | 0 | 0.0 | 538M|1024 | - |1925 | 14k| 0 | 0 | 0 | 637k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
462.00/462.03 c 449s|810000 |396358 | 0 | 0.0 | 543M|1024 | - |1925 | 14k| 0 | 0 | 0 | 646k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
469.91/469.94 c 456s|820000 |399616 | 0 | 0.0 | 549M|1024 | - |1925 | 16k| 0 | 0 | 0 | 656k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
477.41/477.48 c 464s|830000 |403524 | 0 | 0.0 | 550M|1024 | - |1925 |5596 | 0 | 0 | 0 | 665k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
481.80/481.88 c 468s|840000 |410062 | 0 | 0.0 | 558M|1024 | - |1925 |5493 | 0 | 0 | 0 | 671k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
486.21/486.21 c 472s|850000 |416458 | 0 | 0.0 | 564M|1024 | - |1925 |5001 | 0 | 0 | 0 | 676k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
490.20/490.24 c 476s|860000 |423083 | 0 | 0.0 | 571M|1024 | - |1925 |5279 | 0 | 0 | 0 | 682k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
494.20/494.26 c 480s|870000 |429645 | 0 | 0.0 | 578M|1024 | - |1925 |5709 | 0 | 0 | 0 | 687k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
498.21/498.20 c 484s|880000 |436382 | 0 | 0.0 | 584M|1024 | - |1925 |6036 | 0 | 0 | 0 | 693k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
502.21/502.24 c 488s|890000 |443063 | 0 | 0.0 | 591M|1024 | - |1925 |5134 | 0 | 0 | 0 | 698k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
509.71/509.74 c 495s|900000 |444439 | 0 | 0.0 | 596M|1024 | - |1925 |8914 | 0 | 0 | 0 | 710k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
520.50/520.52 c 505s|910000 |442815 | 0 | 0.0 | 598M|1024 | - |1925 | 10k| 0 | 0 | 0 | 727k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
532.31/532.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
532.31/532.32 c 517s|920000 |440674 | 0 | 0.0 | 598M|1024 | - |1925 | 12k| 0 | 0 | 0 | 744k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
544.51/544.56 c 529s|930000 |438572 | 0 | 0.0 | 597M|1024 | - |1925 | 11k| 0 | 0 | 0 | 761k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
557.01/557.01 c 541s|940000 |435891 | 0 | 0.0 | 595M|1024 | - |1925 | 11k| 0 | 0 | 0 | 780k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
570.31/570.36 c 554s|950000 |432479 | 0 | 0.0 | 591M|1024 | - |1925 | 13k| 0 | 0 | 0 | 800k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
585.71/585.70 c 570s|960000 |427357 | 0 | 0.0 | 582M|1024 | - |1925 | 14k| 0 | 0 | 0 | 823k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
602.31/602.33 c 586s|970000 |422245 | 0 | 0.0 | 568M|1024 | - |1925 | 10k| 0 | 0 | 0 | 847k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
608.70/608.73 c 592s|980000 |427316 | 0 | 0.0 | 575M|1024 | - |1925 |7850 | 0 | 0 | 0 | 854k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
615.01/615.01 c 598s|990000 |432216 | 0 | 0.0 | 584M|1024 | - |1925 |7732 | 0 | 0 | 0 | 862k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
621.41/621.46 c 605s| 1000k|436921 | 0 | 0.0 | 592M|1024 | - |1925 |8377 | 0 | 0 | 0 | 870k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
628.11/628.10 c 611s| 1010k|441519 | 0 | 0.0 | 601M|1024 | - |1925 |8934 | 0 | 0 | 0 | 878k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
635.20/635.21 c 618s| 1020k|445770 | 0 | 0.0 | 609M|1024 | - |1925 |9326 | 0 | 0 | 0 | 887k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
642.41/642.49 c 625s| 1030k|449753 | 0 | 0.0 | 617M|1024 | - |1925 |9323 | 0 | 0 | 0 | 896k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
649.90/649.93 c 632s| 1040k|453570 | 0 | 0.0 | 625M|1024 | - |1925 |9920 | 0 | 0 | 0 | 906k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
657.61/657.61 c 640s| 1050k|457119 | 0 | 0.0 | 633M|1024 | - |1925 | 10k| 0 | 0 | 0 | 915k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
665.51/665.51 c 647s| 1060k|460443 | 0 | 0.0 | 640M|1024 | - |1925 | 10k| 0 | 0 | 0 | 926k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
673.21/673.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
673.21/673.23 c 655s| 1070k|463886 | 0 | 0.0 | 647M|1024 | - |1925 | 10k| 0 | 0 | 0 | 936k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
681.01/681.08 c 662s| 1080k|467187 | 0 | 0.0 | 654M|1024 | - |1925 | 10k| 0 | 0 | 0 | 946k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
688.81/688.83 c 670s| 1090k|470764 | 0 | 0.0 | 663M|1024 | - |1925 | 10k| 0 | 0 | 0 | 956k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
697.42/697.43 c 678s| 1100k|473590 | 0 | 0.0 | 670M|1024 | - |1925 | 10k| 0 | 0 | 0 | 967k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
706.51/706.50 c 687s| 1110k|476052 | 0 | 0.0 | 676M|1024 | - |1925 | 11k| 0 | 0 | 0 | 979k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
715.51/715.55 c 696s| 1120k|478637 | 0 | 0.0 | 683M|1024 | - |1925 | 11k| 0 | 0 | 0 | 991k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
724.70/724.80 c 705s| 1130k|481096 | 0 | 0.0 | 689M|1024 | - |1925 | 12k| 0 | 0 | 0 |1003k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
733.91/733.96 c 714s| 1140k|483848 | 0 | 0.0 | 696M|1024 | - |1925 | 12k| 0 | 0 | 0 |1014k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
743.11/743.16 c 723s| 1150k|486752 | 0 | 0.0 | 704M|1024 | - |1925 | 12k| 0 | 0 | 0 |1026k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
753.01/753.07 c 733s| 1160k|488948 | 0 | 0.0 | 710M|1024 | - |1925 | 12k| 0 | 0 | 0 |1039k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
763.51/763.58 c 743s| 1170k|490741 | 0 | 0.0 | 716M|1024 | - |1925 | 12k| 0 | 0 | 0 |1052k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
774.01/774.00 c 753s| 1180k|492599 | 0 | 0.0 | 722M|1024 | - |1925 | 12k| 0 | 0 | 0 |1065k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
784.21/784.29 c 763s| 1190k|494588 | 0 | 0.0 | 728M|1024 | - |1925 | 13k| 0 | 0 | 0 |1078k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
794.92/794.94 c 773s| 1200k|496468 | 0 | 0.0 | 734M|1024 | - |1925 | 13k| 0 | 0 | 0 |1092k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
806.11/806.17 c 784s| 1210k|498013 | 0 | 0.0 | 740M|1024 | - |1925 | 14k| 0 | 0 | 0 |1106k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
817.72/817.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
817.72/817.77 c 796s| 1220k|499502 | 0 | 0.0 | 746M|1024 | - |1925 | 14k| 0 | 0 | 0 |1120k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
829.11/829.18 c 807s| 1230k|501173 | 0 | 0.0 | 752M|1024 | - |1925 | 15k| 0 | 0 | 0 |1135k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
841.42/841.45 c 819s| 1240k|502383 | 0 | 0.0 | 757M|1024 | - |1925 | 16k| 0 | 0 | 0 |1150k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
854.91/854.92 c 832s| 1250k|502886 | 0 | 0.0 | 762M|1024 | - |1925 | 16k| 0 | 0 | 0 |1166k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
868.21/868.20 c 845s| 1260k|503645 | 0 | 0.0 | 767M|1024 | - |1925 | 18k| 0 | 0 | 0 |1182k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
882.61/882.66 c 859s| 1270k|503789 | 0 | 0.0 | 772M|1024 | - |1925 | 19k| 0 | 0 | 0 |1200k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
898.62/898.68 c 875s| 1280k|503237 | 0 | 0.0 | 776M|1024 | - |1925 | 23k| 0 | 0 | 0 |1219k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
915.81/915.84 c 892s| 1290k|502955 | 0 | 0.0 | 777M|1024 | - |1925 | 22k| 0 | 0 | 0 |1238k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
925.21/925.26 c 901s| 1300k|508074 | 0 | 0.0 | 783M|1024 | - |1925 | 17k| 0 | 0 | 0 |1246k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
934.92/934.91 c 911s| 1310k|512261 | 0 | 0.0 | 792M|1024 | - |1925 | 17k| 0 | 0 | 0 |1255k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
945.02/945.03 c 921s| 1320k|516079 | 0 | 0.0 | 801M|1024 | - |1925 | 19k| 0 | 0 | 0 |1265k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
955.52/955.51 c 931s| 1330k|519747 | 0 | 0.0 | 809M|1024 | - |1925 | 21k| 0 | 0 | 0 |1276k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
966.71/966.71 c 942s| 1340k|523282 | 0 | 0.0 | 818M|1024 | - |1925 | 22k| 0 | 0 | 0 |1287k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
977.71/977.75 c 953s| 1350k|527095 | 0 | 0.0 | 827M|1024 | - |1925 | 24k| 0 | 0 | 0 |1297k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
990.12/990.16 c 965s| 1360k|530172 | 0 | 0.0 | 834M|1024 | - |1925 | 25k| 0 | 0 | 0 |1310k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1004.22/1004.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1004.22/1004.24 c 979s| 1370k|532572 | 0 | 0.0 | 843M|1024 | - |1925 | 28k| 0 | 0 | 0 |1323k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1019.22/1019.30 c 993s| 1380k|534921 | 0 | 0.0 | 852M|1024 | - |1925 | 30k| 0 | 0 | 0 |1338k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1035.82/1035.88 c 1010s| 1390k|536690 | 0 | 0.0 | 859M|1024 | - |1925 | 34k| 0 | 0 | 0 |1353k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1056.02/1056.07 c 1030s| 1400k|536821 | 0 | 0.0 | 864M|1024 | - |1925 | 37k| 0 | 0 | 0 |1372k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1072.91/1072.93 c 1046s| 1410k|539319 | 0 | 0.0 | 865M|1024 | - |1925 | 26k| 0 | 0 | 0 |1384k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1081.72/1081.74 c 1055s| 1420k|545469 | 0 | 0.0 | 871M|1024 | - |1925 | 24k| 0 | 0 | 0 |1391k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1090.42/1090.47 c 1063s| 1430k|551406 | 0 | 0.0 | 878M|1024 | - |1925 | 23k| 0 | 0 | 0 |1398k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1099.72/1099.72 c 1072s| 1440k|556877 | 0 | 0.0 | 886M|1024 | - |1925 | 22k| 0 | 0 | 0 |1406k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1108.92/1108.94 c 1081s| 1450k|562237 | 0 | 0.0 | 893M|1024 | - |1925 | 22k| 0 | 0 | 0 |1414k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1118.42/1118.40 c 1091s| 1460k|567332 | 0 | 0.0 | 900M|1024 | - |1925 | 22k| 0 | 0 | 0 |1422k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1129.02/1129.07 c 1101s| 1470k|571585 | 0 | 0.0 | 907M|1024 | - |1925 | 23k| 0 | 0 | 0 |1431k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1140.62/1140.67 c 1113s| 1480k|575401 | 0 | 0.0 | 915M|1024 | - |1925 | 24k| 0 | 0 | 0 |1441k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1153.83/1153.90 c 1126s| 1490k|578202 | 0 | 0.0 | 921M|1024 | - |1925 | 25k| 0 | 0 | 0 |1453k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1168.52/1168.54 c 1140s| 1500k|580344 | 0 | 0.0 | 929M|1024 | - |1925 | 27k| 0 | 0 | 0 |1466k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1184.92/1184.92 c 1156s| 1510k|581729 | 0 | 0.0 | 935M|1024 | - |1925 | 28k| 0 | 0 | 0 |1480k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1202.72/1202.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1202.72/1202.73 c 1174s| 1520k|582638 | 0 | 0.0 | 941M|1024 | - |1925 | 30k| 0 | 0 | 0 |1495k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1220.02/1220.08 c 1191s| 1530k|582971 | 0 | 0.0 | 943M|1024 | - |1925 | 30k| 0 | 0 | 0 |1511k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1241.12/1241.19 c 1212s| 1540k|581054 | 0 | 0.0 | 947M|1024 | - |1925 | 39k| 0 | 0 | 0 |1532k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1252.82/1252.84 c 1223s| 1550k|586253 | 0 | 0.0 | 948M|1024 | - |1925 | 24k| 0 | 0 | 0 |1540k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1261.83/1261.87 c 1232s| 1560k|591719 | 0 | 0.0 | 954M|1024 | - |1925 | 23k| 0 | 0 | 0 |1548k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1270.93/1270.99 c 1241s| 1570k|597004 | 0 | 0.0 | 960M|1024 | - |1925 | 24k| 0 | 0 | 0 |1556k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1280.43/1280.45 c 1250s| 1580k|602188 | 0 | 0.0 | 967M|1024 | - |1925 | 25k| 0 | 0 | 0 |1565k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1290.93/1290.99 c 1261s| 1590k|606633 | 0 | 0.0 | 973M|1024 | - |1925 | 26k| 0 | 0 | 0 |1575k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1302.03/1302.03 c 1271s| 1600k|610911 | 0 | 0.0 | 979M|1024 | - |1925 | 27k| 0 | 0 | 0 |1585k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1309.33/1309.30 o 21
1309.33/1309.30 c *1279s| 1605k|611002 | 0 | 0.0 | 973M|1024 | - |1925 | 28k| 0 | 0 | 0 |1591k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1315.02/1315.04 c 1284s| 1610k|612183 | 0 | 0.0 | 975M|1024 | - |1925 | 29k| 0 | 0 | 0 |1596k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1329.93/1329.93 c 1299s| 1620k|614638 | 0 | 0.0 | 982M|1024 | - |1925 | 30k| 0 | 0 | 0 |1609k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1346.02/1346.00 c 1315s| 1630k|616598 | 0 | 0.0 | 988M|1024 | - |1925 | 33k| 0 | 0 | 0 |1623k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1364.22/1364.28 c 1333s| 1640k|617610 | 0 | 0.0 | 993M|1024 | - |1925 | 37k| 0 | 0 | 0 |1638k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1385.73/1385.77 c 1354s| 1650k|617185 | 0 | 0.0 | 997M|1024 | - |1925 | 42k| 0 | 0 | 0 |1657k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1408.43/1408.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1408.43/1408.47 c 1377s| 1660k|617474 | 0 | 0.0 | 997M|1024 | - |1925 | 37k| 0 | 0 | 0 |1673k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1420.43/1420.48 c 1388s| 1670k|623088 | 0 | 0.0 |1002M|1024 | - |1925 | 30k| 0 | 0 | 0 |1681k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1432.03/1432.01 c 1400s| 1680k|628185 | 0 | 0.0 |1009M|1024 | - |1925 | 28k| 0 | 0 | 0 |1689k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1442.63/1442.62 c 1410s| 1690k|633403 | 0 | 0.0 |1016M|1024 | - |1925 | 27k| 0 | 0 | 0 |1697k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1453.43/1453.46 c 1421s| 1700k|638269 | 0 | 0.0 |1023M|1024 | - |1925 | 27k| 0 | 0 | 0 |1705k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1465.03/1465.02 c 1432s| 1710k|642581 | 0 | 0.0 |1030M|1024 | - |1925 | 28k| 0 | 0 | 0 |1714k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1476.73/1476.76 c 1444s| 1720k|646705 | 0 | 0.0 |1037M|1024 | - |1925 | 28k| 0 | 0 | 0 |1724k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1489.72/1489.73 c 1457s| 1730k|650000 | 0 | 0.0 |1043M|1024 | - |1925 | 29k| 0 | 0 | 0 |1735k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1503.13/1503.14 c 1470s| 1740k|653137 | 0 | 0.0 |1050M|1024 | - |1925 | 29k| 0 | 0 | 0 |1746k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1518.23/1518.27 c 1485s| 1750k|655273 | 0 | 0.0 |1056M|1024 | - |1925 | 30k| 0 | 0 | 0 |1759k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1533.73/1533.78 c 1500s| 1760k|657307 | 0 | 0.0 |1062M|1024 | - |1925 | 32k| 0 | 0 | 0 |1771k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1552.03/1552.05 c 1518s| 1770k|657939 | 0 | 0.0 |1067M|1024 | - |1925 | 33k| 0 | 0 | 0 |1786k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1572.83/1572.83 c 1539s| 1780k|657735 | 0 | 0.0 |1070M|1024 | - |1925 | 35k| 0 | 0 | 0 |1801k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1597.33/1597.37 c 1563s| 1790k|656255 | 0 | 0.0 |1071M|1024 | - |1925 | 38k| 0 | 0 | 0 |1818k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1622.43/1622.50 c 1588s| 1800k|655353 | 0 | 0.0 |1068M|1024 | - |1925 | 32k| 0 | 0 | 0 |1834k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1637.43/1637.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1637.43/1637.42 c 1602s| 1810k|659037 | 0 | 0.0 |1072M|1024 | - |1925 | 28k| 0 | 0 | 0 |1843k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1653.33/1653.31 c 1618s| 1820k|661809 | 0 | 0.0 |1079M|1024 | - |1925 | 30k| 0 | 0 | 0 |1854k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1670.34/1670.31 c 1634s| 1830k|664163 | 0 | 0.0 |1085M|1024 | - |1925 | 31k| 0 | 0 | 0 |1865k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1687.24/1687.24 c 1651s| 1840k|666569 | 0 | 0.0 |1090M|1024 | - |1925 | 31k| 0 | 0 | 0 |1876k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1704.53/1704.50 c 1668s| 1850k|668846 | 0 | 0.0 |1095M|1024 | - |1925 | 31k| 0 | 0 | 0 |1888k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1722.23/1722.27 c 1686s| 1860k|670925 | 0 | 0.0 |1099M|1024 | - |1925 | 33k| 0 | 0 | 0 |1901k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1738.73/1738.77 c 1702s| 1870k|673674 | 0 | 0.0 |1102M|1024 | - |1925 | 32k| 0 | 0 | 0 |1913k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1757.14/1757.11 c 1720s| 1880k|675126 | 0 | 0.0 |1104M|1024 | - |1925 | 32k| 0 | 0 | 0 |1926k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1775.44/1775.43 c 1738s| 1890k|676932 | 0 | 0.0 |1106M|1024 | - |1925 | 31k| 0 | 0 | 0 |1938k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1796.73/1796.72 c 1759s| 1900k|677857 | 0 | 0.0 |1108M|1024 | - |1925 | 31k| 0 | 0 | 0 |1952k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1762.37
1800.04/1800.00 c Solving Nodes : 1901577
1800.04/1800.00 c Primal Bound : +2.10000000000000e+01 (14 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.02 s SATISFIABLE
1800.04/1800.02 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210
1800.04/1800.02 v x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.04/1800.02 v -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.04/1800.02 v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.04/1800.02 v -x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.04/1800.02 v -x125 -x124 x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105
1800.04/1800.02 v -x104 -x103 -x102 -x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80
1800.04/1800.02 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
1800.04/1800.02 v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 x33 -x32 -x31 -x30 -x29
1800.04/1800.02 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
1800.04/1800.02 v -x2 -x1
1800.04/1800.02 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.02 c Solving Time : 1762.37
1800.04/1800.02 c Original Problem :
1800.04/1800.02 c Problem name : HOME/instance-2694027-1277900560.wbo
1800.04/1800.02 c Variables : 2087 (1159 binary, 0 integer, 0 implicit integer, 928 continuous)
1800.04/1800.02 c Constraints : 3636 initial, 3636 maximal
1800.04/1800.02 c Presolved Problem :
1800.04/1800.02 c Problem name : t_HOME/instance-2694027-1277900560.wbo
1800.04/1800.02 c Variables : 1925 (1078 binary, 0 integer, 0 implicit integer, 847 continuous)
1800.04/1800.02 c Constraints : 3338 initial, 48676 maximal
1800.04/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.02 c trivial : 0.00 81 0 0 0 0 0 0 0
1800.04/1800.02 c dualfix : 0.00 81 0 0 0 0 0 0 0
1800.04/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c probing : 0.03 0 0 0 0 0 0 0 0
1800.04/1800.02 c indicator : 0.00 0 0 0 0 0 81 0 0
1800.04/1800.02 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c linear : 0.07 0 0 0 958 0 217 156 0
1800.04/1800.02 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.02 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c root node : - 441 - - 882 - - - -
1800.04/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.02 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.02 c indicator : 847 0 5541633 0 1257261 984 4470339 0 0 0
1800.04/1800.02 c knapsack : 1 0 6908268 0 1453751 151175 22483785 0 0 0
1800.04/1800.02 c setppc : 14 0 6786320 0 1454008 88837 5804618 0 0 0
1800.04/1800.02 c linear : 847 0 6697860 0 1454140 78105 7519568 0 0 0
1800.04/1800.02 c logicor : 1629+ 0 4870637 0 1454150 351385 13107527 0 0 0
1800.04/1800.02 c bounddisjunction : 0+ 0 42758 0 0 0 47 0 0 0
1800.04/1800.02 c countsols : 0 0 0 0 1454140 0 0 0 0 0
1800.04/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.02 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.02 c indicator : 23.92 0.00 13.65 0.00 10.27
1800.04/1800.02 c knapsack : 79.16 0.00 76.62 0.00 2.54
1800.04/1800.02 c setppc : 26.50 0.00 24.05 0.00 2.45
1800.04/1800.02 c linear : 107.64 0.00 106.01 0.00 1.63
1800.04/1800.02 c logicor : 618.82 0.00 549.87 0.00 68.95
1800.04/1800.02 c bounddisjunction : 0.04 0.00 0.04 0.00 0.00
1800.04/1800.02 c countsols : 0.29 0.00 0.00 0.00 0.29
1800.04/1800.02 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.02 c vbounds : 2.08 2 0 0
1800.04/1800.02 c rootredcost : 1.47 0 0 0
1800.04/1800.02 c pseudoobj : 143.10 6946748 7997 4380866
1800.04/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.02 c propagation : 26.94 677499 677279 3178768 21.2 74976 7.9 -
1800.04/1800.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.02 c pseudo solution : 0.03 158 158 682 15.7 59 7.8 -
1800.04/1800.02 c applied globally : - - - 1954391 18.7 - - -
1800.04/1800.02 c applied locally : - - - 16 120.9 - - -
1800.04/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.02 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.02 c redcost : 0.00 0 0 0 0 0
1800.04/1800.02 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.02 c intobj : 0.00 0 0 0 0 0
1800.04/1800.02 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.02 c gomory : 0.00 0 0 0 0 0
1800.04/1800.02 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.02 c cmir : 0.00 0 0 0 0 0
1800.04/1800.02 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.02 c clique : 0.00 0 0 0 0 0
1800.04/1800.02 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.02 c mcf : 0.00 0 0 0 0 0
1800.04/1800.02 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.02 c Pricers : Time Calls Vars
1800.04/1800.02 c problem variables: 0.00 0 0
1800.04/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.02 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.02 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.02 c inference : 33.92 1454126 0 0 0 0 2908252
1800.04/1800.02 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.02 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.02 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.02 c random : 0.00 0 0 0 0 0 0
1800.04/1800.02 c Primal Heuristics : Time Calls Found
1800.04/1800.02 c LP solutions : 0.00 - 0
1800.04/1800.02 c pseudo solutions : 0.05 - 14
1800.04/1800.02 c oneopt : 0.65 0 0
1800.04/1800.02 c trivial : 0.00 2 0
1800.04/1800.02 c simplerounding : 0.00 0 0
1800.04/1800.02 c zirounding : 0.00 0 0
1800.04/1800.02 c rounding : 0.00 0 0
1800.04/1800.02 c shifting : 0.00 0 0
1800.04/1800.02 c intshifting : 0.00 0 0
1800.04/1800.02 c twoopt : 0.00 0 0
1800.04/1800.02 c fixandinfer : 0.00 0 0
1800.04/1800.02 c feaspump : 0.00 0 0
1800.04/1800.02 c coefdiving : 0.00 0 0
1800.04/1800.02 c pscostdiving : 0.00 0 0
1800.04/1800.02 c fracdiving : 0.00 0 0
1800.04/1800.02 c veclendiving : 0.00 0 0
1800.04/1800.02 c intdiving : 0.00 0 0
1800.04/1800.02 c actconsdiving : 0.00 0 0
1800.04/1800.02 c objpscostdiving : 0.00 0 0
1800.04/1800.02 c rootsoldiving : 0.00 0 0
1800.04/1800.02 c linesearchdiving : 0.00 0 0
1800.04/1800.02 c guideddiving : 0.00 0 0
1800.04/1800.02 c octane : 0.00 0 0
1800.04/1800.02 c rens : 0.00 0 0
1800.04/1800.02 c rins : 0.00 0 0
1800.04/1800.02 c localbranching : 0.00 0 0
1800.04/1800.02 c mutation : 0.00 0 0
1800.04/1800.02 c crossover : 0.00 0 0
1800.04/1800.02 c dins : 0.00 0 0
1800.04/1800.02 c undercover : 0.00 0 0
1800.04/1800.02 c nlp : 0.47 0 0
1800.04/1800.02 c trysol : 0.53 1 0
1800.04/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.02 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.02 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.02 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.02 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.02 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.02 c (at root node) : - 0 0 0.00 -
1800.04/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.02 c B&B Tree :
1800.04/1800.02 c number of runs : 1
1800.04/1800.02 c nodes : 1901577
1800.04/1800.02 c nodes (total) : 1901577
1800.04/1800.02 c nodes left : 678119
1800.04/1800.02 c max depth : 1024
1800.04/1800.02 c max depth (total): 1024
1800.04/1800.02 c backtracks : 449264 (23.6%)
1800.04/1800.02 c delayed cutoffs : 314760
1800.04/1800.02 c repropagations : 1758194 (16878441 domain reductions, 231204 cutoffs)
1800.04/1800.02 c avg switch length: 29.84
1800.04/1800.02 c switching time : 541.06
1800.04/1800.02 c Solution :
1800.04/1800.02 c Solutions found : 14 (14 improvements)
1800.04/1800.02 c First Solution : +5.60000000000000e+02 (in run 1, after 3725 nodes, 0.96 seconds, depth 601, found by <relaxation>)
1800.04/1800.02 c Primal Bound : +2.10000000000000e+01 (in run 1, after 1605941 nodes, 1278.61 seconds, depth 455, found by <relaxation>)
1800.04/1800.02 c Dual Bound : +0.00000000000000e+00
1800.04/1800.02 c Gap : infinite
1800.04/1800.02 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.02 c Root Iterations : 0
1801.84/1801.83 c Time complete: 1801.87.
OK 20
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694027-1277900560/watcher-2694027-1277900560 -o /tmp/evaluation-result-2694027-1277900560/solver-2694027-1277900560 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694027-1277900560.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/178 12997 /proc/meminfo: memFree=31306568/32950928 swapFree=67111528/67111528 [pid=12997] ppid=12995 vsize=8304 CPUtime=0 /proc/12997/stat : 12997 (pbscip.linux.x8) R 12995 12997 12656 0 -1 4202496 1554 0 0 0 0 0 0 0 25 0 1 0 131352774 8503296 1476 4089446400 4194304 7136930 140735159761200 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/12997/statm: 2076 1476 275 719 0 1355 0 [startup+0.023643 s] /proc/loadavg: 2.00 2.00 2.00 4/178 12997 /proc/meminfo: memFree=31306568/32950928 swapFree=67111528/67111528 [pid=12997] ppid=12995 vsize=11836 CPUtime=0.02 /proc/12997/stat : 12997 (pbscip.linux.x8) R 12995 12997 12656 0 -1 4202496 2464 0 0 0 2 0 0 0 25 0 1 0 131352774 12120064 2386 4089446400 4194304 7136930 140735159761200 18446744073709551615 6269017 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/12997/statm: 2959 2386 275 719 0 2238 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11836 [startup+0.100629 s] /proc/loadavg: 2.00 2.00 2.00 4/178 12997 /proc/meminfo: memFree=31306568/32950928 swapFree=67111528/67111528 [pid=12997] ppid=12995 vsize=21332 CPUtime=0.09 /proc/12997/stat : 12997 (pbscip.linux.x8) R 12995 12997 12656 0 -1 4202496 6794 0 0 0 9 0 0 0 25 0 1 0 131352774 21843968 4563 4089446400 4194304 7136930 140735159761200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12997/statm: 5333 4563 354 719 0 4612 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 21332 [startup+0.300596 s] /proc/loadavg: 2.00 2.00 2.00 4/178 12997 /proc/meminfo: memFree=31306568/32950928 swapFree=67111528/67111528 [pid=12997] ppid=12995 vsize=24176 CPUtime=0.29 /proc/12997/stat : 12997 (pbscip.linux.x8) R 12995 12997 12656 0 -1 4202496 10125 0 0 0 27 2 0 0 25 0 1 0 131352774 24756224 5324 4089446400 4194304 7136930 140735159761200 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12997/statm: 6044 5324 399 719 0 5323 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24176 [startup+0.700586 s] /proc/loadavg: 2.00 2.00 2.00 4/178 12997 /proc/meminfo: memFree=31306568/32950928 swapFree=67111528/67111528 [pid=12997] ppid=12995 vsize=26136 CPUtime=0.69 /proc/12997/stat : 12997 (pbscip.linux.x8) R 12995 12997 12656 0 -1 4202496 10596 0 0 0 66 3 0 0 25 0 1 0 131352774 26763264 5795 4089446400 4194304 7136930 140735159761200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12997/statm: 6534 5795 404 719 0 5813 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26136 [startup+1.50044 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12999 /proc/meminfo: memFree=31283744/32950928 swapFree=67111528/67111528 [pid=12997] ppid=12995 vsize=27936 CPUtime=1.49 /proc/12997/stat : 12997 (pbscip.linux.x8) R 12995 12997 12656 0 -1 4202496 11064 0 0 0 142 7 0 0 25 0 1 0 131352774 28606464 6263 4089446400 4194304 7136930 140735159761200 18446744073709551615 4209154 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12997/statm: 6984 6263 404 719 0 6263 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27936 [startup+3.1011 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12999 /proc/meminfo: memFree=31280752/32950928 swapFree=67111528/67111528 [pid=12997] ppid=12995 vsize=33588 CPUtime=3.09 /proc/12997/stat : 12997 (pbscip.linux.x8) R 12995 12997 12656 0 -1 4202496 12494 0 0 0 297 12 0 0 25 0 1 0 131352774 34394112 7693 4089446400 4194304 7136930 140735159761200 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12997/statm: 8397 7693 404 719 0 7676 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33588 [startup+6.30053 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12999 /proc/meminfo: memFree=31269840/32950928 swapFree=67111528/67111528 [pid=12997] ppid=12995 vsize=42264 CPUtime=6.29 /proc/12997/stat : 12997 (pbscip.linux.x8) R 12995 12997 12656 0 -1 4202496 14666 0 0 0 603 26 0 0 25 0 1 0 131352774 43278336 9865 4089446400 4194304 7136930 140735159761200 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12997/statm: 10566 9865 404 719 0 9845 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 42264 [startup+12.7004 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12999 /proc/meminfo: memFree=31253044/32950928 swapFree=67111528/67111528 [pid=12997] ppid=12995 vsize=58920 CPUtime=12.69 /proc/12997/stat : 12997 (pbscip.linux.x8) R 12995 12997 12656 0 -1 4202496 18862 0 0 0 1216 53 0 0 25 0 1 0 131352774 60334080 14061 4089446400 4194304 7136930 140735159761200 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12997/statm: 14730 14061 407 719 0 14009 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 58920 [startup+25.5001 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13000 /proc/meminfo: memFree=31224392/32950928 swapFree=67111528/67111528 [pid=12997] ppid=12995 vsize=87532 CPUtime=25.49 /proc/12997/stat : 12997 (pbscip.linux.x8) R 12995 12997 12656 0 -1 4202496 26034 0 0 0 2450 99 0 0 25 0 1 0 131352774 89632768 21233 4089446400 4194304 7136930 140735159761200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12997/statm: 21883 21233 407 719 0 21162 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 87532 [startup+51.1006 s] /proc/loadavg: 2.06 2.02 2.00 3/179 13000 /proc/meminfo: memFree=31165636/32950928 swapFree=67111528/67111528 [pid=12997] ppid=12995 vsize=151228 CPUtime=51.09 /proc/12997/stat : 12997 (pbscip.linux.x8) R 12995 12997 12656 0 -1 4202496 40739 0 0 0 4935 174 0 0 25 0 1 0 131352774 154857472 35938 4089446400 4194304 7136930 140735159761200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12997/statm: 37807 35938 407 719 0 37086 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 151228 [startup+102.306 s] /proc/loadavg: 2.02 2.01 2.00 3/179 13002 /proc/meminfo: memFree=31051392/32950928 swapFree=67111528/67111528 [pid=12997] ppid=12995 vsize=269100 CPUtime=102.3 /proc/12997/stat : 12997 (pbscip.linux.x8) R 12995 12997 12656 0 -1 4202496 68844 0 0 0 9874 356 0 0 25 0 1 0 131352774 275558400 64043 4089446400 4194304 7136930 140735159761200 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12997/statm: 67275 64043 407 719 0 66554 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 269100 [startup+162.301 s] /proc/loadavg: 2.01 2.00 2.00 3/179 13003 /proc/meminfo: memFree=30999136/32950928 swapFree=67111528/67111528 [pid=12997] ppid=12995 vsize=321184 CPUtime=162.29 /proc/12997/stat : 12997 (pbscip.linux.x8) R 12995 12997 12656 0 -1 4202496 81741 0 0 0 15720 509 0 0 25 0 1 0 131352774 328892416 76940 4089446400 4194304 7136930 140735159761200 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12997/statm: 80296 76940 407 719 0 79575 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 321184 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13004 /proc/meminfo: memFree=30904732/32950928 swapFree=67111528/67111528 [pid=12997] ppid=12995 vsize=424168 CPUtime=222.3 /proc/12997/stat : 12997 (pbscip.linux.x8) R 12995 12997 12656 0 -1 4202496 104425 0 0 0 21535 695 0 0 25 0 1 0 131352774 434348032 99624 4089446400 4194304 7136930 140735159761200 18446744073709551615 4210441 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12997/statm: 106042 99624 407 719 0 105321 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 424168 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13006 /proc/meminfo: memFree=30803484/32950928 swapFree=67111528/67111528 [pid=12997] ppid=12995 vsize=509528 CPUtime=282.3 /proc/12997/stat : 12997 (pbscip.linux.x8) R 12995 12997 12656 0 -1 4202496 125070 0 0 0 27365 865 0 0 25 0 1 0 131352774 521756672 120269 4089446400 4194304 7136930 140735159761200 18446744073709551615 4409178 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12997/statm: 127382 120269 407 719 0 126661 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 509528 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13008 /proc/meminfo: memFree=30719360/32950928 swapFree=67111528/67111528 [pid=12997] ppid=12995 vsize=587460 CPUtime=342.3 /proc/12997/stat : 12997 (pbscip.linux.x8) R 12995 12997 12656 0 -1 4202496 144045 0 0 0 33187 1043 0 0 25 0 1 0 131352774 601559040 139244 4089446400 4194304 7136930 140735159761200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12997/statm: 146865 139244 407 719 0 146144 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 587460 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13010 /proc/meminfo: memFree=30656212/32950928 swapFree=67111528/67111528 [pid=12997] ppid=12995 vsize=645612 CPUtime=402.3 /proc/12997/stat : 12997 (pbscip.linux.x8) R 12995 12997 12656 0 -1 4202496 158494 0 0 0 39041 1189 0 0 25 0 1 0 131352774 661106688 153693 4089446400 4194304 7136930 140735159761200 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12997/statm: 161403 153693 407 719 0 160682 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 645612 [startup+462.301 s] /proc/loadavg: 2.05 2.01 2.00 3/179 13011 /proc/meminfo: memFree=30597760/32950928 swapFree=67111528/67111528 [pid=12997] ppid=12995 vsize=701932 CPUtime=462.3 /proc/12997/stat : 12997 (pbscip.linux.x8) R 12995 12997 12656 0 -1 4202496 172848 0 0 0 44881 1349 0 0 25 0 1 0 131352774 718778368 168047 4089446400 4194304 7136930 140735159761200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12997/statm: 175483 168047 407 719 0 174762 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 701932 [startup+522.301 s] /proc/loadavg: 2.02 2.01 2.00 3/179 13012 /proc/meminfo: memFree=30536460/32950928 swapFree=67111528/67111528 [pid=12997] ppid=12995 vsize=762488 CPUtime=522.3 /proc/12997/stat : 12997 (pbscip.linux.x8) R 12995 12997 12656 0 -1 4202496 188134 0 0 0 50723 1507 0 0 25 0 1 0 131352774 780787712 183333 4089446400 4194304 7136930 140735159761200 18446744073709551615 4999886 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12997/statm: 190622 183333 407 719 0 189901 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 762488 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13017 /proc/meminfo: memFree=30528156/32950928 swapFree=67111528/67111528 [pid=12997] ppid=12995 vsize=768740 CPUtime=582.3 /proc/12997/stat : 12997 (pbscip.linux.x8) R 12995 12997 12656 0 -1 4202496 189648 0 0 0 56625 1605 0 0 25 0 1 0 131352774 787189760 184847 4089446400 4194304 7136930 140735159761200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12997/statm: 192185 184847 407 719 0 191464 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 768740 [startup+642.301 s] /proc/loadavg: 2.17 2.04 2.01 3/197 13065 /proc/meminfo: memFree=30641392/32950928 swapFree=67111528/67111528 [pid=12997] ppid=12995 vsize=784852 CPUtime=642.31 /proc/12997/stat : 12997 (pbscip.linux.x8) R 12995 12997 12656 0 -1 4202496 193277 0 0 0 62475 1756 0 0 25 0 1 0 131352774 803688448 188476 4089446400 4194304 7136930 140735159761200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12997/statm: 196213 188476 407 719 0 195492 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 784852 [startup+702.301 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 2.07 2.04 2.00 3/197 13075 /proc/meminfo: memFree=30413872/32950928 swapFree=67111528/67111528 [pid=12997] ppid=12995 vsize=1031808 CPUtime=1002.32 /proc/12997/stat : 12997 (pbscip.linux.x8) R 12995 12997 12656 0 -1 4202496 249555 0 0 0 97669 2563 0 0 25 0 1 0 131352774 1056571392 244754 4089446400 4194304 7136930 140735159761200 18446744073709551615 4924114 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12997/statm: 257952 244754 407 719 0 257231 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1031808 [startup+1062.3 s] /proc/loadavg: 2.02 2.03 2.00 3/197 13076 /proc/meminfo: memFree=30378672/32950928 swapFree=67111528/67111528 [pid=12997] ppid=12995 vsize=1069288 CPUtime=1062.32 /proc/12997/stat : 12997 (pbscip.linux.x8) R 12995 12997 12656 0 -1 4202496 258403 0 0 0 103570 2662 0 0 25 0 1 0 131352774 1094950912 253602 4089446400 4194304 7136930 140735159761200 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12997/statm: 267322 253602 407 719 0 266601 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1069288 [startup+1122.3 s] /proc/loadavg: 2.01 2.02 2.00 3/197 13077 /proc/meminfo: memFree=30336200/32950928 swapFree=67111528/67111528 [pid=12997] ppid=12995 vsize=1111340 CPUtime=1122.32 /proc/12997/stat : 12997 (pbscip.linux.x8) R 12995 12997 12656 0 -1 4202496 268910 0 0 0 109449 2783 0 0 25 0 1 0 131352774 1138012160 264109 4089446400 4194304 7136930 140735159761200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12997/statm: 277835 264109 407 719 0 277114 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1111340 [startup+1182.3 s] /proc/loadavg: 2.00 2.02 2.00 3/197 13079 /proc/meminfo: memFree=30308356/32950928 swapFree=67111528/67111528 [pid=12997] ppid=12995 vsize=1140024 CPUtime=1182.32 /proc/12997/stat : 12997 (pbscip.linux.x8) R 12995 12997 12656 0 -1 4202496 276141 0 0 0 115343 2889 0 0 25 0 1 0 131352774 1167384576 271340 4089446400 4194304 7136930 140735159761200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12997/statm: 285006 271340 407 719 0 284285 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1140024 [startup+1242.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 13109 /proc/meminfo: memFree=30184592/32950928 swapFree=67111528/67111528 [pid=12997] ppid=12995 vsize=1152372 CPUtime=1242.32 /proc/12997/stat : 12997 (pbscip.linux.x8) R 12995 12997 12656 0 -1 4202496 279116 0 0 0 121268 2964 0 0 25 0 1 0 131352774 1180028928 274315 4089446400 4194304 7136930 140735159761200 18446744073709551615 4999754 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12997/statm: 288093 274315 407 719 0 287372 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1152372 [startup+1302.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 13111 /proc/meminfo: memFree=29987520/32950928 swapFree=67111528/67111528 [pid=12997] ppid=12995 vsize=1181016 CPUtime=1302.33 /proc/12997/stat : 12997 (pbscip.linux.x8) R 12995 12997 12656 0 -1 4202496 286434 0 0 0 127173 3060 0 0 25 0 1 0 131352774 1209360384 281633 4089446400 4194304 7136930 140735159761200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12997/statm: 295254 281633 407 719 0 294533 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1181016 [startup+1362.3 s] /proc/loadavg: 2.05 2.02 2.00 3/179 13112 /proc/meminfo: memFree=29825400/32950928 swapFree=67111528/67111528 [pid=12997] ppid=12995 vsize=1200264 CPUtime=1362.32 /proc/12997/stat : 12997 (pbscip.linux.x8) R 12995 12997 12656 0 -1 4202496 291270 0 0 0 133098 3134 0 0 25 0 1 0 131352774 1229070336 286469 4089446400 4194304 7136930 140735159761200 18446744073709551615 5001160 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12997/statm: 300066 286469 407 719 0 299345 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1200264 [startup+1422.31 s] /proc/loadavg: 2.02 2.01 2.00 3/179 13113 /proc/meminfo: memFree=29781960/32950928 swapFree=67111528/67111528 [pid=12997] ppid=12995 vsize=1212784 CPUtime=1422.34 /proc/12997/stat : 12997 (pbscip.linux.x8) R 12995 12997 12656 0 -1 4202496 294552 0 0 0 139029 3205 0 0 25 0 1 0 131352774 1241890816 289751 4089446400 4194304 7136930 140735159761200 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12997/statm: 303196 289751 407 719 0 302475 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 1212784 [startup+1482.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 13115 /proc/meminfo: memFree=29742360/32950928 swapFree=67111528/67111528 [pid=12997] ppid=12995 vsize=1253704 CPUtime=1482.33 /proc/12997/stat : 12997 (pbscip.linux.x8) R 12995 12997 12656 0 -1 4202496 304828 0 0 0 144935 3298 0 0 25 0 1 0 131352774 1283792896 300027 4089446400 4194304 7136930 140735159761200 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12997/statm: 313426 300027 407 719 0 312705 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 1253704 [startup+1542.3 s] /proc/loadavg: 1.82 1.95 1.98 4/200 13199 /proc/meminfo: memFree=30013084/32950928 swapFree=67111528/67111528 [pid=12997] ppid=12995 vsize=1280624 CPUtime=1542.33 /proc/12997/stat : 12997 (pbscip.linux.x8) R 12995 12997 12656 0 -1 4202496 311324 0 0 0 150858 3375 0 0 25 0 1 0 131352774 1311358976 306523 4089446400 4194304 7136930 140735159761200 18446744073709551615 4221327 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12997/statm: 320156 306523 407 719 0 319435 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 1280624 [startup+1602.3 s] /proc/loadavg: 2.60 2.16 2.05 4/200 13203 /proc/meminfo: memFree=29984992/32950928 swapFree=67111528/67111528 [pid=12997] ppid=12995 vsize=1287304 CPUtime=1602.33 /proc/12997/stat : 12997 (pbscip.linux.x8) R 12995 12997 12656 0 -1 4202496 313094 0 0 0 156764 3469 0 0 25 0 1 0 131352774 1318199296 308293 4089446400 4194304 7136930 140735159761200 18446744073709551615 4677424 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12997/statm: 321826 308293 407 719 0 321105 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 1287304 [startup+1662.3 s] /proc/loadavg: 2.73 2.28 2.10 4/200 13204 /proc/meminfo: memFree=29956040/32950928 swapFree=67111528/67111528 [pid=12997] ppid=12995 vsize=1293700 CPUtime=1662.34 /proc/12997/stat : 12997 (pbscip.linux.x8) R 12995 12997 12656 0 -1 4202496 314705 0 0 0 162662 3572 0 0 25 0 1 0 131352774 1324748800 309904 4089446400 4194304 7136930 140735159761200 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12997/statm: 323425 309904 407 719 0 322704 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 1293700 [startup+1722.3 s] /proc/loadavg: 2.77 2.37 2.14 4/200 13205 /proc/meminfo: memFree=29923312/32950928 swapFree=67111528/67111528 [pid=12997] ppid=12995 vsize=1311548 CPUtime=1722.33 /proc/12997/stat : 12997 (pbscip.linux.x8) R 12995 12997 12656 0 -1 4202496 319234 0 0 0 168568 3665 0 0 25 0 1 0 131352774 1343025152 314433 4089446400 4194304 7136930 140735159761200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12997/statm: 327887 314433 407 719 0 327166 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 1311548 [startup+1782.3 s] /proc/loadavg: 2.90 2.48 2.19 4/200 13207 /proc/meminfo: memFree=29905268/32950928 swapFree=67111528/67111528 [pid=12997] ppid=12995 vsize=1318616 CPUtime=1782.33 /proc/12997/stat : 12997 (pbscip.linux.x8) R 12995 12997 12656 0 -1 4202496 321049 0 0 0 174492 3741 0 0 25 0 1 0 131352774 1350262784 316248 4089446400 4194304 7136930 140735159761200 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12997/statm: 329654 316248 407 719 0 328933 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 1318616 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.85 2.50 2.20 4/200 13207 /proc/meminfo: memFree=29904628/32950928 swapFree=67111528/67111528 [pid=12997] ppid=12995 vsize=1318616 CPUtime=1800.04 /proc/12997/stat : 12997 (pbscip.linux.x8) R 12995 12997 12656 0 -1 4202496 321056 0 0 0 176239 3765 0 0 25 0 1 0 131352774 1350262784 316255 4089446400 4194304 7136930 140735159761200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12997/statm: 329654 316255 407 719 0 328933 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1318616 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.85 2.50 2.20 3/201 13209 /proc/meminfo: memFree=29904372/32950928 swapFree=67111528/67111528 [pid=12997] ppid=12995 vsize=1318616 CPUtime=1800.64 /proc/12997/stat : 12997 (pbscip.linux.x8) R 12995 12997 12656 0 -1 4202496 321061 0 0 0 176299 3765 0 0 18 0 1 0 131352774 1350262784 316260 4089446400 4194304 7136930 140735159761200 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/12997/statm: 329654 316260 412 719 0 328933 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (KiB) 1318616 [startup+1801.4 s] /proc/loadavg: 2.85 2.50 2.20 3/201 13209 /proc/meminfo: memFree=29904372/32950928 swapFree=67111528/67111528 [pid=12997] ppid=12995 vsize=1318616 CPUtime=1801.44 /proc/12997/stat : 12997 (pbscip.linux.x8) R 12995 12997 12656 0 -1 4202496 321061 0 0 0 176379 3765 0 0 19 0 1 0 131352774 1350262784 316260 4089446400 4194304 7136930 140735159761200 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/12997/statm: 329654 316260 412 719 0 328933 0 Current children cumulated CPU time (s) 1801.44 Current children cumulated vsize (KiB) 1318616 [startup+1801.81 s] /proc/loadavg: 2.85 2.50 2.20 4/201 13209 /proc/meminfo: memFree=29912424/32950928 swapFree=67111528/67111528 [pid=12997] ppid=12995 vsize=547928 CPUtime=1801.84 /proc/12997/stat : 12997 (pbscip.linux.x8) R 12995 12997 12656 0 -1 4202496 321064 0 0 0 176416 3768 0 0 20 0 1 0 131352774 561078272 129324 4089446400 4194304 7136930 140735159761200 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/12997/statm: 136726 129068 412 719 0 136005 0 Current children cumulated CPU time (s) 1801.84 Current children cumulated vsize (KiB) 547928 Child status: 0 Real time (s): 1801.83 CPU time (s): 1801.88 CPU user time (s): 1764.17 CPU system time (s): 37.7103 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1318616 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1764.17 system time used= 37.7103 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 321071 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= 1495 runsolver used 2.55661 second user time and 5.82011 second system time The end
Begin job on node123 at 2010-06-30 14:22:40 IDJOB=2694027 IDBENCH=78883 IDSOLVER=1206 FILE ID=node123/2694027-1277900560 PBS_JOBID= 11197206 Free space on /tmp= 74208 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.1900564824--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-2694027-1277900560/watcher-2694027-1277900560 -o /tmp/evaluation-result-2694027-1277900560/solver-2694027-1277900560 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694027-1277900560.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= bcc83dde29b6f868056a0bfa1b1372de RANDOM SEED=803303176 node123.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.804 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.60 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.804 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 : 5294.59 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.804 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.804 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.804 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.75 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.804 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.71 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.804 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.804 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31307220 kB Buffers: 185864 kB Cached: 1108640 kB SwapCached: 0 kB Active: 720104 kB Inactive: 782000 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31307220 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3172 kB Writeback: 0 kB AnonPages: 207820 kB Mapped: 16100 kB Slab: 78432 kB PageTables: 5120 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 356380 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 node123 at 2010-06-30 14:52:42