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.73 | 1800.69 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900581320--soft-66-100-0.wbo |
| MD5SUM | 4c1853ff60c53f26c44f2cbc4e9273c7 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 194.25 |
| 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 | 641 |
| 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-2694133-1277907069.wbo>
0.00/0.02 c original problem has 2087 variables (1159 bin, 0 int, 0 impl, 928 cont) and 3636 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/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.00/0.04 c presolving:
0.00/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.00/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.07/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.07/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.09
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.05 o 586
1.00/1.05 c * 0.9s| 3809 | 3297 | 0 | 0.0 | 10M|1024 | - |1925 |3990 | 0 | 0 | 0 | 924 | 0 | 0.000000e+00 | 5.860000e+02 | Inf
1.00/1.05 o 488
1.00/1.05 c * 0.9s| 3810 | 3296 | 0 | 0.0 | 10M|1024 | - |1925 |3990 | 0 | 0 | 0 | 924 | 0 | 0.000000e+00 | 4.880000e+02 | Inf
1.10/1.19 o 449
1.10/1.19 c * 1.0s| 4376 | 3826 | 0 | 0.0 | 10M|1024 | - |1925 |4024 | 0 | 0 | 0 |1000 | 0 | 0.000000e+00 | 4.490000e+02 | Inf
2.49/2.53 c 2.2s| 10000 | 8625 | 0 | 0.0 | 14M|1024 | - |1925 |4566 | 0 | 0 | 0 |3083 | 0 | 0.000000e+00 | 4.490000e+02 | Inf
5.19/5.24 c 4.6s| 20000 | 16402 | 0 | 0.0 | 21M|1024 | - |1925 |5348 | 0 | 0 | 0 |8294 | 0 | 0.000000e+00 | 4.490000e+02 | Inf
8.89/8.94 o 262
8.89/8.94 c * 7.9s| 29617 | 22102 | 0 | 0.0 | 28M|1024 | - |1925 |6728 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 2.620000e+02 | Inf
8.99/9.05 c 8.0s| 30000 | 22459 | 0 | 0.0 | 28M|1024 | - |1925 |6454 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 2.620000e+02 | Inf
9.09/9.16 o 252
9.09/9.16 c * 8.1s| 30338 | 22762 | 0 | 0.0 | 28M|1024 | - |1925 |6275 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 2.520000e+02 | Inf
9.09/9.16 o 198
9.09/9.16 c * 8.1s| 30339 | 22693 | 0 | 0.0 | 28M|1024 | - |1925 |6275 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.980000e+02 | Inf
9.49/9.53 o 184
9.49/9.53 c * 8.5s| 31581 | 23826 | 0 | 0.0 | 29M|1024 | - |1925 |5917 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
9.49/9.53 o 181
9.49/9.53 c * 8.5s| 31582 | 23785 | 0 | 0.0 | 29M|1024 | - |1925 |5917 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.810000e+02 | Inf
9.99/10.01 o 176
9.99/10.01 c * 8.9s| 33136 | 25175 | 0 | 0.0 | 30M|1024 | - |1925 |5665 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.760000e+02 | Inf
10.29/10.33 o 124
10.29/10.33 c * 9.2s| 34134 | 25834 | 0 | 0.0 | 30M|1024 | - |1925 |5284 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.240000e+02 | Inf
10.39/10.47 o 120
10.39/10.47 c * 9.3s| 34569 | 26187 | 0 | 0.0 | 31M|1024 | - |1925 |5326 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.200000e+02 | Inf
10.49/10.52 o 115
10.49/10.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.49/10.52 c * 9.4s| 34742 | 26324 | 0 | 0.0 | 31M|1024 | - |1925 |5274 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.150000e+02 | Inf
11.00/11.06 o 96
11.00/11.06 c * 9.8s| 36571 | 27832 | 0 | 0.0 | 32M|1024 | - |1925 |5029 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
11.00/11.06 o 91
11.00/11.06 c * 9.8s| 36572 | 27732 | 0 | 0.0 | 32M|1024 | - |1925 |5029 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 9.100000e+01 | Inf
11.29/11.35 o 28
11.29/11.35 c *10.1s| 37551 | 25905 | 0 | 0.0 | 30M|1024 | - |1925 |5026 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
12.00/12.01 c 10.7s| 40000 | 28005 | 0 | 0.0 | 33M|1024 | - |1925 |4978 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
14.69/14.73 c 13.1s| 50000 | 35960 | 0 | 0.0 | 40M|1024 | - |1925 |6149 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
17.69/17.72 c 15.7s| 60000 | 43521 | 0 | 0.0 | 47M|1024 | - |1925 |6551 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
20.79/20.86 c 18.5s| 70000 | 50835 | 0 | 0.0 | 54M|1024 | - |1925 |6874 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
24.20/24.24 c 21.6s| 80000 | 57777 | 0 | 0.0 | 61M|1024 | - |1925 |7265 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
27.90/27.97 c 25.0s| 90000 | 64246 | 0 | 0.0 | 68M|1024 | - |1925 |7907 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
31.80/31.85 c 28.5s|100000 | 70516 | 0 | 0.0 | 75M|1024 | - |1925 |8526 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
35.89/35.90 c 32.3s|110000 | 76569 | 0 | 0.0 | 83M|1024 | - |1925 |8723 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
40.09/40.19 c 36.2s|120000 | 82322 | 0 | 0.0 | 90M|1024 | - |1925 |9133 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
44.79/44.83 c 40.4s|130000 | 87639 | 0 | 0.0 | 97M|1024 | - |1925 |8857 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
49.59/49.69 c 44.9s|140000 | 92627 | 0 | 0.0 | 105M|1024 | - |1925 | 10k| 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
54.79/54.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.79/54.83 c 49.6s|150000 | 97476 | 0 | 0.0 | 113M|1024 | - |1925 | 11k| 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
60.49/60.53 c 55.0s|160000 |101726 | 0 | 0.0 | 121M|1024 | - |1925 | 12k| 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
67.49/67.53 c 61.5s|170000 |104831 | 0 | 0.0 | 128M|1024 | - |1925 | 14k| 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
74.89/74.91 c 68.5s|180000 |108357 | 0 | 0.0 | 136M|1024 | - |1925 |8622 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
78.29/78.32 c 71.5s|190000 |116733 | 0 | 0.0 | 149M|1024 | - |1925 |5770 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
81.89/81.91 c 74.7s|200000 |124616 | 0 | 0.0 | 156M|1024 | - |1925 |6637 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
83.10/83.12 o 27
83.10/83.12 c *75.8s|203249 |127025 | 0 | 0.0 | 158M|1024 | - |1925 |7252 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
83.10/83.12 o 25
83.10/83.12 c *75.8s|203250 |126982 | 0 | 0.0 | 158M|1024 | - |1925 |7252 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
86.69/86.74 c 79.1s|210000 |130986 | 0 | 0.0 | 166M|1024 | - |1925 |9691 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
87.19/87.24 o 21
87.19/87.24 c *79.6s|210737 |131145 | 0 | 0.0 | 166M|1024 | - |1925 |9978 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
87.79/87.87 o 20
87.79/87.87 c *80.2s|211607 |131393 | 0 | 0.0 | 167M|1024 | - |1925 | 10k| 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
87.79/87.87 o 16
87.79/87.87 c *80.2s|211608 |131089 | 0 | 0.0 | 166M|1024 | - |1925 | 10k| 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
91.20/91.23 c 83.1s|220000 |137839 | 0 | 0.0 | 190M|1024 | - |1925 |7281 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
95.19/95.28 c 86.8s|230000 |144774 | 0 | 0.0 | 204M|1024 | - |1925 |8834 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
99.39/99.42 c 90.5s|240000 |151712 | 0 | 0.0 | 221M|1024 | - |1925 | 11k| 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
102.79/102.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
102.79/102.87 c 93.6s|250000 |159727 | 0 | 0.0 | 233M|1024 | - |1925 | 10k| 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
106.99/107.06 c 97.4s|260000 |166438 | 0 | 0.0 | 240M|1024 | - |1925 | 10k| 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
110.89/110.90 c 101s|270000 |173586 | 0 | 0.0 | 249M|1024 | - |1925 | 14k| 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
114.49/114.56 c 104s|280000 |181362 | 0 | 0.0 | 254M|1024 | - |1925 | 11k| 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
117.90/117.98 c 107s|290000 |189156 | 0 | 0.0 | 261M|1024 | - |1925 | 12k| 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
122.00/122.05 c 111s|300000 |196091 | 0 | 0.0 | 269M|1024 | - |1925 | 14k| 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
126.60/126.68 c 115s|310000 |202614 | 0 | 0.0 | 275M|1024 | - |1925 |9985 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
129.80/129.85 c 118s|320000 |210365 | 0 | 0.0 | 282M|1024 | - |1925 |8068 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
133.40/133.46 c 121s|330000 |217330 | 0 | 0.0 | 289M|1024 | - |1925 |9785 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
137.50/137.58 c 125s|340000 |223883 | 0 | 0.0 | 296M|1024 | - |1925 | 10k| 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
141.90/141.99 c 129s|350000 |230184 | 0 | 0.0 | 303M|1024 | - |1925 | 10k| 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
146.59/146.67 c 133s|360000 |236076 | 0 | 0.0 | 309M|1024 | - |1925 | 10k| 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
151.39/151.43 c 138s|370000 |241858 | 0 | 0.0 | 316M|1024 | - |1925 | 10k| 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
156.40/156.45 c 142s|380000 |247249 | 0 | 0.0 | 323M|1024 | - |1925 | 10k| 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
161.49/161.53 c 147s|390000 |252569 | 0 | 0.0 | 330M|1024 | - |1925 | 11k| 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
166.49/166.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
166.49/166.57 c 152s|400000 |258110 | 0 | 0.0 | 337M|1024 | - |1925 | 11k| 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
171.79/171.81 c 157s|410000 |263440 | 0 | 0.0 | 344M|1024 | - |1925 | 11k| 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
177.10/177.12 c 161s|420000 |268793 | 0 | 0.0 | 351M|1024 | - |1925 | 12k| 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
182.80/182.87 c 167s|430000 |273712 | 0 | 0.0 | 358M|1024 | - |1925 | 12k| 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
188.69/188.72 c 172s|440000 |278679 | 0 | 0.0 | 365M|1024 | - |1925 | 12k| 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
194.80/194.86 c 178s|450000 |283330 | 0 | 0.0 | 372M|1024 | - |1925 | 13k| 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
200.59/200.66 c 183s|460000 |288347 | 0 | 0.0 | 380M|1024 | - |1925 | 14k| 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
207.19/207.20 c 190s|470000 |292684 | 0 | 0.0 | 386M|1024 | - |1925 | 14k| 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
213.49/213.59 c 196s|480000 |297423 | 0 | 0.0 | 393M|1024 | - |1925 | 14k| 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
220.00/220.03 c 202s|490000 |302018 | 0 | 0.0 | 401M|1024 | - |1925 | 14k| 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
226.70/226.76 c 208s|500000 |306299 | 0 | 0.0 | 408M|1024 | - |1925 | 15k| 0 | 0 | 0 | 478k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
233.11/233.14 c 214s|510000 |311089 | 0 | 0.0 | 415M|1024 | - |1925 | 15k| 0 | 0 | 0 | 491k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
240.10/240.19 c 221s|520000 |315173 | 0 | 0.0 | 421M|1024 | - |1925 | 15k| 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
246.99/247.07 c 227s|530000 |319521 | 0 | 0.0 | 428M|1024 | - |1925 | 16k| 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
253.69/253.79 c 234s|540000 |324096 | 0 | 0.0 | 434M|1024 | - |1925 | 15k| 0 | 0 | 0 | 533k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
261.39/261.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
261.39/261.45 c 241s|550000 |327661 | 0 | 0.0 | 441M|1024 | - |1925 | 16k| 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
269.20/269.27 c 248s|560000 |331283 | 0 | 0.0 | 447M|1024 | - |1925 | 16k| 0 | 0 | 0 | 564k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
276.89/276.91 c 255s|570000 |335193 | 0 | 0.0 | 454M|1024 | - |1925 | 16k| 0 | 0 | 0 | 579k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
285.09/285.15 c 263s|580000 |338449 | 0 | 0.0 | 461M|1024 | - |1925 | 17k| 0 | 0 | 0 | 596k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
293.49/293.50 c 271s|590000 |341569 | 0 | 0.0 | 467M|1024 | - |1925 | 17k| 0 | 0 | 0 | 613k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
301.90/301.93 c 279s|600000 |344751 | 0 | 0.0 | 474M|1024 | - |1925 | 18k| 0 | 0 | 0 | 630k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
310.70/310.74 c 288s|610000 |347705 | 0 | 0.0 | 480M|1024 | - |1925 | 18k| 0 | 0 | 0 | 648k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
319.29/319.33 c 296s|620000 |350922 | 0 | 0.0 | 486M|1024 | - |1925 | 18k| 0 | 0 | 0 | 665k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
328.49/328.54 c 305s|630000 |353483 | 0 | 0.0 | 492M|1024 | - |1925 | 18k| 0 | 0 | 0 | 684k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
338.00/338.01 c 314s|640000 |355684 | 0 | 0.0 | 497M|1024 | - |1925 | 18k| 0 | 0 | 0 | 704k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
347.50/347.51 c 323s|650000 |356170 | 0 | 0.0 | 501M|1024 | - |1925 | 15k| 0 | 0 | 0 | 726k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
358.90/358.92 c 334s|660000 |351439 | 0 | 0.0 | 502M|1024 | - |1925 | 18k| 0 | 0 | 0 | 751k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
372.50/372.56 c 347s|670000 |341492 | 0 | 0.0 | 491M|1024 | - |1925 | 20k| 0 | 0 | 0 | 779k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
376.70/376.70 c 350s|680000 |349680 | 0 | 0.0 | 497M|1024 | - |1925 |8548 | 0 | 0 | 0 | 784k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
380.50/380.51 c 354s|690000 |357648 | 0 | 0.0 | 508M|1024 | - |1925 |7982 | 0 | 0 | 0 | 789k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
381.30/381.36 o 7
381.30/381.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
381.30/381.36 c * 355s|692287 |357160 | 0 | 0.0 | 505M|1024 | - |1925 |8175 | 0 | 0 | 0 | 791k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
384.30/384.37 c 357s|700000 |363179 | 0 | 0.0 | 516M|1024 | - |1925 |8066 | 0 | 0 | 0 | 795k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
388.50/388.52 c 361s|710000 |370747 | 0 | 0.0 | 532M|1024 | - |1925 |8247 | 0 | 0 | 0 | 800k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
392.61/392.70 c 365s|720000 |378216 | 0 | 0.0 | 547M|1024 | - |1925 |8367 | 0 | 0 | 0 | 806k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
396.80/396.89 c 369s|730000 |385638 | 0 | 0.0 | 563M|1024 | - |1925 |8739 | 0 | 0 | 0 | 812k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
401.20/401.20 c 373s|740000 |393047 | 0 | 0.0 | 578M|1024 | - |1925 |8702 | 0 | 0 | 0 | 818k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
405.60/405.65 c 377s|750000 |400266 | 0 | 0.0 | 593M|1024 | - |1925 |9247 | 0 | 0 | 0 | 824k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
407.20/407.27 o 6
407.20/407.27 c * 378s|753641 |402674 | 0 | 0.0 | 598M|1024 | - |1925 |9062 | 0 | 0 | 0 | 826k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
410.21/410.21 c 381s|760000 |407245 | 0 | 0.0 | 608M|1024 | - |1925 |9507 | 0 | 0 | 0 | 831k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
414.90/414.92 c 385s|770000 |414475 | 0 | 0.0 | 624M|1024 | - |1925 |9886 | 0 | 0 | 0 | 838k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
419.60/419.65 c 389s|780000 |421632 | 0 | 0.0 | 640M|1024 | - |1925 |9854 | 0 | 0 | 0 | 845k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
424.40/424.46 c 394s|790000 |428389 | 0 | 0.0 | 650M|1024 | - |1925 | 10k| 0 | 0 | 0 | 853k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
429.30/429.39 c 398s|800000 |435125 | 0 | 0.0 | 660M|1024 | - |1925 | 11k| 0 | 0 | 0 | 861k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
434.80/434.80 c 403s|810000 |441641 | 0 | 0.0 | 672M|1024 | - |1925 | 11k| 0 | 0 | 0 | 870k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
440.70/440.79 c 409s|820000 |447772 | 0 | 0.0 | 684M|1024 | - |1925 | 12k| 0 | 0 | 0 | 880k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
447.60/447.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
447.60/447.66 c 415s|830000 |453273 | 0 | 0.0 | 698M|1024 | - |1925 | 13k| 0 | 0 | 0 | 891k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
454.60/454.67 c 422s|840000 |458758 | 0 | 0.0 | 712M|1024 | - |1925 | 14k| 0 | 0 | 0 | 902k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
457.70/457.77 o 2
457.70/457.77 c * 425s|844178 |446227 | 0 | 0.0 | 698M|1024 | - |1925 | 15k| 0 | 0 | 0 | 907k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
462.50/462.52 c 429s|850000 |449133 | 0 | 0.0 | 708M|1024 | - |1925 | 15k| 0 | 0 | 0 | 914k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
471.40/471.44 c 438s|860000 |453663 | 0 | 0.0 | 725M|1024 | - |1925 | 15k| 0 | 0 | 0 | 926k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
481.50/481.54 c 447s|870000 |457505 | 0 | 0.0 | 743M|1024 | - |1925 | 18k| 0 | 0 | 0 | 942k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
492.81/492.88 c 458s|880000 |460715 | 0 | 0.0 | 761M|1024 | - |1925 | 20k| 0 | 0 | 0 | 958k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
507.31/507.35 c 472s|890000 |461941 | 0 | 0.0 | 777M|1024 | - |1925 | 24k| 0 | 0 | 0 | 979k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
515.40/515.48 c 480s|900000 |467978 | 0 | 0.0 | 785M|1024 | - |1925 | 18k| 0 | 0 | 0 | 989k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
521.00/521.03 c 485s|910000 |475097 | 0 | 0.0 | 797M|1024 | - |1925 | 16k| 0 | 0 | 0 | 996k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
526.51/526.56 c 490s|920000 |481893 | 0 | 0.0 | 810M|1024 | - |1925 | 16k| 0 | 0 | 0 |1004k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
531.70/531.74 c 495s|930000 |488758 | 0 | 0.0 | 819M|1024 | - |1925 |9608 | 0 | 0 | 0 |1010k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
536.41/536.41 c 499s|940000 |494534 | 0 | 0.0 | 826M|1024 | - |1925 | 10k| 0 | 0 | 0 |1016k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
541.71/541.70 c 504s|950000 |499651 | 0 | 0.0 | 834M|1024 | - |1925 | 11k| 0 | 0 | 0 |1024k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
547.90/547.93 c 509s|960000 |503703 | 0 | 0.0 | 841M|1024 | - |1925 | 13k| 0 | 0 | 0 |1034k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
556.20/556.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
556.20/556.27 c 517s|970000 |505609 | 0 | 0.0 | 847M|1024 | - |1925 | 16k| 0 | 0 | 0 |1047k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
560.50/560.58 c 521s|980000 |512576 | 0 | 0.0 | 851M|1024 | - |1925 | 10k| 0 | 0 | 0 |1052k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
563.80/563.88 c 524s|990000 |520371 | 0 | 0.0 | 857M|1024 | - |1925 | 11k| 0 | 0 | 0 |1055k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
567.40/567.50 c 527s| 1000k|527781 | 0 | 0.0 | 864M|1024 | - |1925 | 11k| 0 | 0 | 0 |1059k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
571.30/571.35 c 531s| 1010k|534939 | 0 | 0.0 | 870M|1024 | - |1925 | 11k| 0 | 0 | 0 |1063k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
575.40/575.48 c 535s| 1020k|541761 | 0 | 0.0 | 876M|1024 | - |1925 | 12k| 0 | 0 | 0 |1068k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
580.70/580.75 c 539s| 1030k|547112 | 0 | 0.0 | 884M|1024 | - |1925 | 13k| 0 | 0 | 0 |1076k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
586.60/586.60 c 545s| 1040k|551792 | 0 | 0.0 | 891M|1024 | - |1925 | 15k| 0 | 0 | 0 |1084k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
594.20/594.22 c 552s| 1050k|554761 | 0 | 0.0 | 898M|1024 | - |1925 | 17k| 0 | 0 | 0 |1096k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
600.80/600.82 c 558s| 1060k|559533 | 0 | 0.0 | 901M|1024 | - |1925 | 11k| 0 | 0 | 0 |1104k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
604.20/604.28 c 561s| 1070k|567294 | 0 | 0.0 | 907M|1024 | - |1925 | 10k| 0 | 0 | 0 |1108k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
607.81/607.82 c 564s| 1080k|574835 | 0 | 0.0 | 914M|1024 | - |1925 | 11k| 0 | 0 | 0 |1111k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
611.70/611.75 c 568s| 1090k|581894 | 0 | 0.0 | 920M|1024 | - |1925 | 11k| 0 | 0 | 0 |1116k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
616.01/616.03 c 572s| 1100k|588553 | 0 | 0.0 | 927M|1024 | - |1925 | 12k| 0 | 0 | 0 |1121k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
620.90/620.94 c 576s| 1110k|594497 | 0 | 0.0 | 934M|1024 | - |1925 | 14k| 0 | 0 | 0 |1128k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
626.91/626.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
626.91/626.94 c 582s| 1120k|599300 | 0 | 0.0 | 941M|1024 | - |1925 | 15k| 0 | 0 | 0 |1137k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
634.40/634.40 c 589s| 1130k|602587 | 0 | 0.0 | 947M|1024 | - |1925 | 17k| 0 | 0 | 0 |1148k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
640.61/640.64 o 1
640.61/640.64 c * 595s| 1135k|229852 | 0 | 0.0 | 342M|1024 | - |1925 | 19k| 0 | 0 | 0 |1157k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
644.31/644.32 c 598s| 1140k|231863 | 0 | 0.0 | 343M|1024 | - |1925 | 14k| 0 | 0 | 0 |1161k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
652.21/652.27 c 606s| 1150k|235314 | 0 | 0.0 | 349M|1024 | - |1925 | 14k| 0 | 0 | 0 |1171k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
660.31/660.39 c 614s| 1160k|238409 | 0 | 0.0 | 356M|1024 | - |1925 | 15k| 0 | 0 | 0 |1180k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
668.50/668.55 c 621s| 1170k|241765 | 0 | 0.0 | 363M|1024 | - |1925 | 16k| 0 | 0 | 0 |1190k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
677.21/677.26 c 629s| 1180k|244750 | 0 | 0.0 | 369M|1024 | - |1925 | 17k| 0 | 0 | 0 |1201k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
686.21/686.20 c 638s| 1190k|247589 | 0 | 0.0 | 375M|1024 | - |1925 | 16k| 0 | 0 | 0 |1211k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
695.81/695.88 c 647s| 1200k|249604 | 0 | 0.0 | 381M|1024 | - |1925 | 17k| 0 | 0 | 0 |1223k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
705.01/705.08 c 656s| 1210k|252349 | 0 | 0.0 | 387M|1024 | - |1925 | 15k| 0 | 0 | 0 |1234k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
714.81/714.83 c 665s| 1220k|254423 | 0 | 0.0 | 394M|1024 | - |1925 | 16k| 0 | 0 | 0 |1246k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
724.92/724.98 c 675s| 1230k|255801 | 0 | 0.0 | 400M|1024 | - |1925 | 16k| 0 | 0 | 0 |1259k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
735.00/735.02 c 685s| 1240k|257320 | 0 | 0.0 | 404M|1024 | - |1925 | 15k| 0 | 0 | 0 |1271k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
744.61/744.62 c 694s| 1250k|259409 | 0 | 0.0 | 411M|1024 | - |1925 | 16k| 0 | 0 | 0 |1283k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
754.61/754.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
754.61/754.65 c 703s| 1260k|260630 | 0 | 0.0 | 416M|1024 | - |1925 | 16k| 0 | 0 | 0 |1296k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
764.71/764.74 c 713s| 1270k|262435 | 0 | 0.0 | 422M|1024 | - |1925 | 15k| 0 | 0 | 0 |1308k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
774.80/774.89 c 723s| 1280k|263455 | 0 | 0.0 | 426M|1024 | - |1925 | 16k| 0 | 0 | 0 |1322k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
785.11/785.10 c 732s| 1290k|265170 | 0 | 0.0 | 430M|1024 | - |1925 | 13k| 0 | 0 | 0 |1334k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
795.51/795.53 c 742s| 1300k|265494 | 0 | 0.0 | 435M|1024 | - |1925 | 16k| 0 | 0 | 0 |1349k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
805.41/805.42 c 752s| 1310k|267017 | 0 | 0.0 | 439M|1024 | - |1925 | 14k| 0 | 0 | 0 |1361k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
815.81/815.81 c 762s| 1320k|267544 | 0 | 0.0 | 443M|1024 | - |1925 | 17k| 0 | 0 | 0 |1376k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
825.91/825.92 c 771s| 1330k|268842 | 0 | 0.0 | 447M|1024 | - |1925 | 15k| 0 | 0 | 0 |1388k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
836.61/836.66 c 782s| 1340k|269039 | 0 | 0.0 | 451M|1024 | - |1925 | 18k| 0 | 0 | 0 |1403k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
847.31/847.39 c 792s| 1350k|269889 | 0 | 0.0 | 454M|1024 | - |1925 | 16k| 0 | 0 | 0 |1417k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
858.61/858.68 c 803s| 1360k|270013 | 0 | 0.0 | 458M|1024 | - |1925 | 19k| 0 | 0 | 0 |1432k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
869.81/869.89 c 813s| 1370k|270403 | 0 | 0.0 | 460M|1024 | - |1925 | 17k| 0 | 0 | 0 |1446k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
881.02/881.03 c 824s| 1380k|270867 | 0 | 0.0 | 465M|1024 | - |1925 | 20k| 0 | 0 | 0 |1460k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
893.12/893.11 c 836s| 1390k|270141 | 0 | 0.0 | 466M|1024 | - |1925 | 18k| 0 | 0 | 0 |1476k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
905.11/905.18 c 847s| 1400k|270204 | 0 | 0.0 | 471M|1024 | - |1925 | 21k| 0 | 0 | 0 |1491k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
917.91/917.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
917.91/917.96 c 860s| 1410k|268907 | 0 | 0.0 | 472M|1024 | - |1925 | 20k| 0 | 0 | 0 |1507k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
930.81/930.81 c 872s| 1420k|268787 | 0 | 0.0 | 476M|1024 | - |1925 | 17k| 0 | 0 | 0 |1523k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
943.51/943.56 c 884s| 1430k|267189 | 0 | 0.0 | 477M|1024 | - |1925 | 22k| 0 | 0 | 0 |1540k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
956.71/956.79 c 897s| 1440k|266292 | 0 | 0.0 | 479M|1024 | - |1925 | 19k| 0 | 0 | 0 |1555k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
969.92/969.94 c 910s| 1450k|264875 | 0 | 0.0 | 482M|1024 | - |1925 | 21k| 0 | 0 | 0 |1572k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
984.11/984.10 c 923s| 1460k|262679 | 0 | 0.0 | 481M|1024 | - |1925 | 22k| 0 | 0 | 0 |1590k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
997.92/997.97 c 937s| 1470k|261541 | 0 | 0.0 | 484M|1024 | - |1925 | 20k| 0 | 0 | 0 |1606k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1012.81/1012.83 c 951s| 1480k|258815 | 0 | 0.0 | 483M|1024 | - |1925 | 24k| 0 | 0 | 0 |1624k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1028.01/1028.00 c 966s| 1490k|255749 | 0 | 0.0 | 481M|1024 | - |1925 | 23k| 0 | 0 | 0 |1643k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1043.62/1043.61 c 981s| 1500k|252338 | 0 | 0.0 | 479M|1024 | - |1925 | 23k| 0 | 0 | 0 |1661k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1059.62/1059.66 c 996s| 1510k|248475 | 0 | 0.0 | 477M|1024 | - |1925 | 23k| 0 | 0 | 0 |1681k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1075.92/1075.96 c 1012s| 1520k|244150 | 0 | 0.0 | 474M|1024 | - |1925 | 24k| 0 | 0 | 0 |1700k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1093.22/1093.27 c 1029s| 1530k|238965 | 0 | 0.0 | 470M|1024 | - |1925 | 25k| 0 | 0 | 0 |1721k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1110.61/1110.68 c 1046s| 1540k|233279 | 0 | 0.0 | 464M|1024 | - |1925 | 24k| 0 | 0 | 0 |1741k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1128.52/1128.51 c 1063s| 1550k|227976 | 0 | 0.0 | 457M|1024 | - |1925 | 24k| 0 | 0 | 0 |1763k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1148.21/1148.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1148.21/1148.28 c 1082s| 1560k|221971 | 0 | 0.0 | 449M|1024 | - |1925 | 26k| 0 | 0 | 0 |1787k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1169.32/1169.34 c 1102s| 1570k|214130 | 0 | 0.0 | 434M|1024 | - |1925 | 30k| 0 | 0 | 0 |1813k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1192.72/1192.75 c 1125s| 1580k|211775 | 0 | 0.0 | 436M|1024 | - |1925 | 29k| 0 | 0 | 0 |1831k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1218.02/1218.02 c 1150s| 1590k|208848 | 0 | 0.0 | 436M|1024 | - |1925 | 31k| 0 | 0 | 0 |1850k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1243.82/1243.87 c 1175s| 1600k|206169 | 0 | 0.0 | 439M|1024 | - |1925 | 32k| 0 | 0 | 0 |1869k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1272.82/1272.89 c 1204s| 1610k|201792 | 0 | 0.0 | 436M|1024 | - |1925 | 34k| 0 | 0 | 0 |1889k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1302.43/1302.45 c 1233s| 1620k|197605 | 0 | 0.0 | 435M|1024 | - |1925 | 35k| 0 | 0 | 0 |1909k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1332.32/1332.37 c 1262s| 1630k|193529 | 0 | 0.0 | 434M|1024 | - |1925 | 36k| 0 | 0 | 0 |1930k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1363.83/1363.86 c 1293s| 1640k|189059 | 0 | 0.0 | 431M|1024 | - |1925 | 37k| 0 | 0 | 0 |1951k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1395.83/1395.81 c 1325s| 1650k|184286 | 0 | 0.0 | 427M|1024 | - |1925 | 37k| 0 | 0 | 0 |1973k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1426.92/1426.91 c 1355s| 1660k|179613 | 0 | 0.0 | 423M|1024 | - |1925 | 38k| 0 | 0 | 0 |1994k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1458.33/1458.36 c 1386s| 1670k|174747 | 0 | 0.0 | 418M|1024 | - |1925 | 39k| 0 | 0 | 0 |2016k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1490.53/1490.54 c 1418s| 1680k|170200 | 0 | 0.0 | 414M|1024 | - |1925 | 41k| 0 | 0 | 0 |2039k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1523.32/1523.39 c 1450s| 1690k|165851 | 0 | 0.0 | 411M|1024 | - |1925 | 43k| 0 | 0 | 0 |2061k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1556.92/1556.94 c 1483s| 1700k|161381 | 0 | 0.0 | 408M|1024 | - |1925 | 44k| 0 | 0 | 0 |2084k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1590.42/1590.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1590.42/1590.45 c 1516s| 1710k|157202 | 0 | 0.0 | 404M|1024 | - |1925 | 46k| 0 | 0 | 0 |2106k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1627.73/1627.77 c 1553s| 1720k|151849 | 0 | 0.0 | 399M|1024 | - |1925 | 48k| 0 | 0 | 0 |2130k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1666.43/1666.41 c 1591s| 1730k|146056 | 0 | 0.0 | 393M|1024 | - |1925 | 50k| 0 | 0 | 0 |2154k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1707.14/1707.15 c 1631s| 1740k|139493 | 0 | 0.0 | 385M|1024 | - |1925 | 51k| 0 | 0 | 0 |2179k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1747.94/1747.99 c 1671s| 1750k|132679 | 0 | 0.0 | 375M|1024 | - |1925 | 51k| 0 | 0 | 0 |2203k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1790.04/1790.09 c 1713s| 1760k|125280 | 0 | 0.0 | 364M|1024 | - |1925 | 53k| 0 | 0 | 0 |2229k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1722.48
1800.04/1800.00 c Solving Nodes : 1762427
1800.04/1800.00 c Primal Bound : +1.00000000000000e+00 (24 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 -x104
1800.04/1800.02 v -x103 -x102 -x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.04/1800.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 -x54
1800.04/1800.02 v -x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.04/1800.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 -x2
1800.04/1800.02 v -x1
1800.04/1800.02 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.02 c Solving Time : 1722.48
1800.04/1800.02 c Original Problem :
1800.04/1800.02 c Problem name : HOME/instance-2694133-1277907069.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-2694133-1277907069.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, 53706 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.04 0 0 0 958 0 217 156 0
1800.04/1800.02 c logicor : 0.02 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 : - 838 - - 1676 - - - -
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 1730892 0 525159 29 2601974 0 0 0
1800.04/1800.02 c knapsack : 1 0 6138198 0 1324724 129036 17637966 0 0 0
1800.04/1800.02 c setppc : 14 0 6022780 0 1324616 59791 5308347 0 0 0
1800.04/1800.02 c linear : 847 0 5963302 0 1324733 74286 6964927 0 0 0
1800.04/1800.02 c logicor : 1629+ 0 4566634 0 1324751 403197 11867395 0 0 0
1800.04/1800.02 c bounddisjunction : 0+ 0 16242 0 0 0 4 0 0 0
1800.04/1800.02 c countsols : 0 0 0 0 1324750 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 : 3.48 0.00 2.15 0.00 1.33
1800.04/1800.02 c knapsack : 74.68 0.00 72.54 0.00 2.14
1800.04/1800.02 c setppc : 21.55 0.00 19.86 0.00 1.69
1800.04/1800.02 c linear : 93.80 0.00 90.53 0.00 3.27
1800.04/1800.02 c logicor : 701.59 0.00 642.03 0.00 59.56
1800.04/1800.02 c bounddisjunction : 0.02 0.00 0.02 0.00 0.00
1800.04/1800.02 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.02 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.02 c vbounds : 0.00 2 0 0
1800.04/1800.02 c rootredcost : 0.00 0 0 0
1800.04/1800.02 c pseudoobj : 97.02 6152313 262 2597238
1800.04/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.02 c propagation : 27.51 666572 666451 3466882 23.6 177658 9.7 -
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.00 12 12 50 23.2 13 14.1 -
1800.04/1800.02 c applied globally : - - - 2235574 21.0 - - -
1800.04/1800.02 c applied locally : - - - 35 118.7 - - -
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 : 16.82 1324726 0 0 0 0 2649452
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.82 - 24
1800.04/1800.02 c oneopt : 0.04 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.00 0 0
1800.04/1800.02 c trysol : 0.00 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 : 1762427
1800.04/1800.02 c nodes (total) : 1762427
1800.04/1800.02 c nodes left : 123546
1800.04/1800.02 c max depth : 1024
1800.04/1800.02 c max depth (total): 1024
1800.04/1800.02 c backtracks : 451712 (25.6%)
1800.04/1800.02 c delayed cutoffs : 369265
1800.04/1800.02 c repropagations : 1490429 (12569252 domain reductions, 228936 cutoffs)
1800.04/1800.02 c avg switch length: 20.14
1800.04/1800.02 c switching time : 542.63
1800.04/1800.02 c Solution :
1800.04/1800.02 c Solutions found : 24 (24 improvements)
1800.04/1800.02 c First Solution : +5.86000000000000e+02 (in run 1, after 3809 nodes, 0.87 seconds, depth 240, found by <relaxation>)
1800.04/1800.02 c Primal Bound : +1.00000000000000e+00 (in run 1, after 1135249 nodes, 594.09 seconds, depth 469, 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
1800.64/1800.68 c Time complete: 1800.72.
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694133-1277907069/watcher-2694133-1277907069 -o /tmp/evaluation-result-2694133-1277907069/solver-2694133-1277907069 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694133-1277907069.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 11863 /proc/meminfo: memFree=31347656/32951124 swapFree=67111528/67111528 [pid=11863] ppid=11861 vsize=8144 CPUtime=0 /proc/11863/stat : 11863 (pbscip.linux.x8) R 11861 11863 11294 0 -1 4202496 1544 0 0 0 0 0 0 0 25 0 1 0 132004161 8339456 1466 4089446400 4194304 7136930 140736678671072 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/11863/statm: 2036 1466 275 719 0 1315 0 [startup+0.0841029 s] /proc/loadavg: 2.00 2.00 2.00 4/178 11863 /proc/meminfo: memFree=31347656/32951124 swapFree=67111528/67111528 [pid=11863] ppid=11861 vsize=21328 CPUtime=0.07 /proc/11863/stat : 11863 (pbscip.linux.x8) R 11861 11863 11294 0 -1 4202496 5766 0 0 0 6 1 0 0 25 0 1 0 132004161 21839872 4563 4089446400 4194304 7136930 140736678671072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11863/statm: 5332 4563 354 719 0 4611 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 21328 [startup+0.1011 s] /proc/loadavg: 2.00 2.00 2.00 4/178 11863 /proc/meminfo: memFree=31347656/32951124 swapFree=67111528/67111528 [pid=11863] ppid=11861 vsize=21328 CPUtime=0.09 /proc/11863/stat : 11863 (pbscip.linux.x8) R 11861 11863 11294 0 -1 4202496 6794 0 0 0 7 2 0 0 25 0 1 0 132004161 21839872 4563 4089446400 4194304 7136930 140736678671072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11863/statm: 5332 4563 354 719 0 4611 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 21328 [startup+0.301063 s] /proc/loadavg: 2.00 2.00 2.00 4/178 11863 /proc/meminfo: memFree=31347656/32951124 swapFree=67111528/67111528 [pid=11863] ppid=11861 vsize=24172 CPUtime=0.29 /proc/11863/stat : 11863 (pbscip.linux.x8) R 11861 11863 11294 0 -1 4202496 10125 0 0 0 24 5 0 0 25 0 1 0 132004161 24752128 5324 4089446400 4194304 7136930 140736678671072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11863/statm: 6043 5324 399 719 0 5322 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24172 [startup+0.700956 s] /proc/loadavg: 2.00 2.00 2.00 4/178 11863 /proc/meminfo: memFree=31347656/32951124 swapFree=67111528/67111528 [pid=11863] ppid=11861 vsize=26392 CPUtime=0.69 /proc/11863/stat : 11863 (pbscip.linux.x8) R 11861 11863 11294 0 -1 4202496 10694 0 0 0 58 11 0 0 25 0 1 0 132004161 27025408 5893 4089446400 4194304 7136930 140736678671072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11863/statm: 6598 5893 404 719 0 5877 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26392 [startup+1.50082 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11864 /proc/meminfo: memFree=31324708/32951124 swapFree=67111528/67111528 [pid=11863] ppid=11861 vsize=27852 CPUtime=1.49 /proc/11863/stat : 11863 (pbscip.linux.x8) R 11861 11863 11294 0 -1 4202496 11053 0 0 0 129 20 0 0 25 0 1 0 132004161 28520448 6252 4089446400 4194304 7136930 140736678671072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11863/statm: 6963 6252 404 719 0 6242 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27852 [startup+3.10056 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11864 /proc/meminfo: memFree=31321608/32951124 swapFree=67111528/67111528 [pid=11863] ppid=11861 vsize=34024 CPUtime=3.09 /proc/11863/stat : 11863 (pbscip.linux.x8) R 11861 11863 11294 0 -1 4202496 12600 0 0 0 269 40 0 0 25 0 1 0 132004161 34840576 7799 4089446400 4194304 7136930 140736678671072 18446744073709551615 4221906 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11863/statm: 8506 7799 404 719 0 7785 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 34024 [startup+6.30098 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11864 /proc/meminfo: memFree=31307132/32951124 swapFree=67111528/67111528 [pid=11863] ppid=11861 vsize=44828 CPUtime=6.29 /proc/11863/stat : 11863 (pbscip.linux.x8) R 11861 11863 11294 0 -1 4202496 15340 0 0 0 553 76 0 0 25 0 1 0 132004161 45903872 10539 4089446400 4194304 7136930 140736678671072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11863/statm: 11207 10539 404 719 0 10486 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 44828 [startup+12.7009 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11864 /proc/meminfo: memFree=31277760/32951124 swapFree=67111528/67111528 [pid=11863] ppid=11861 vsize=64212 CPUtime=12.7 /proc/11863/stat : 11863 (pbscip.linux.x8) R 11861 11863 11294 0 -1 4202496 20128 0 0 0 1130 140 0 0 25 0 1 0 132004161 65753088 15327 4089446400 4194304 7136930 140736678671072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11863/statm: 16053 15327 405 719 0 15332 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 64212 [startup+25.5006 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11864 /proc/meminfo: memFree=31231216/32951124 swapFree=67111528/67111528 [pid=11863] ppid=11861 vsize=96016 CPUtime=25.49 /proc/11863/stat : 11863 (pbscip.linux.x8) R 11861 11863 11294 0 -1 4202496 28121 0 0 0 2276 273 0 0 25 0 1 0 132004161 98320384 23320 4089446400 4194304 7136930 140736678671072 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11863/statm: 24004 23320 405 719 0 23283 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 96016 [startup+51.1011 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11865 /proc/meminfo: memFree=31158936/32951124 swapFree=67111528/67111528 [pid=11863] ppid=11861 vsize=155364 CPUtime=51.09 /proc/11863/stat : 11863 (pbscip.linux.x8) R 11861 11863 11294 0 -1 4202496 42541 0 0 0 4621 488 0 0 25 0 1 0 132004161 159092736 37740 4089446400 4194304 7136930 140736678671072 18446744073709551615 4659897 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11863/statm: 38841 37740 405 719 0 38120 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 155364 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11866 /proc/meminfo: memFree=31007360/32951124 swapFree=67111528/67111528 [pid=11863] ppid=11861 vsize=303720 CPUtime=102.3 /proc/11863/stat : 11863 (pbscip.linux.x8) R 11861 11863 11294 0 -1 4202496 76025 0 0 0 9312 918 0 0 25 0 1 0 132004161 311009280 71224 4089446400 4194304 7136930 140736678671072 18446744073709551615 5955558 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11863/statm: 75930 71224 407 719 0 75209 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 303720 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11868 /proc/meminfo: memFree=30893236/32951124 swapFree=67111528/67111528 [pid=11863] ppid=11861 vsize=414140 CPUtime=162.29 /proc/11863/stat : 11863 (pbscip.linux.x8) R 11861 11863 11294 0 -1 4202496 102696 0 0 0 14775 1454 0 0 25 0 1 0 132004161 424079360 97895 4089446400 4194304 7136930 140736678671072 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11863/statm: 103535 97895 407 719 0 102814 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 414140 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11870 /proc/meminfo: memFree=30805628/32951124 swapFree=67111528/67111528 [pid=11863] ppid=11861 vsize=498988 CPUtime=222.3 /proc/11863/stat : 11863 (pbscip.linux.x8) R 11861 11863 11294 0 -1 4202496 123998 0 0 0 20383 1847 0 0 25 0 1 0 132004161 510963712 119197 4089446400 4194304 7136930 140736678671072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11863/statm: 124747 119197 407 719 0 124026 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 498988 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11872 /proc/meminfo: memFree=30753008/32951124 swapFree=67111528/67111528 [pid=11863] ppid=11861 vsize=550072 CPUtime=282.3 /proc/11863/stat : 11863 (pbscip.linux.x8) R 11861 11863 11294 0 -1 4202496 136837 0 0 0 26060 2170 0 0 25 0 1 0 132004161 563273728 132036 4089446400 4194304 7136930 140736678671072 18446744073709551615 4999782 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11863/statm: 137518 132036 407 719 0 136797 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 550072 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11873 /proc/meminfo: memFree=30712048/32951124 swapFree=67111528/67111528 [pid=11863] ppid=11861 vsize=590804 CPUtime=342.29 /proc/11863/stat : 11863 (pbscip.linux.x8) R 11861 11863 11294 0 -1 4202496 147036 0 0 0 31776 2453 0 0 25 0 1 0 132004161 604983296 142235 4089446400 4194304 7136930 140736678671072 18446744073709551615 5957523 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11863/statm: 147701 142235 407 719 0 146980 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 590804 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11874 /proc/meminfo: memFree=30608944/32951124 swapFree=67111528/67111528 [pid=11863] ppid=11861 vsize=704324 CPUtime=402.3 /proc/11863/stat : 11863 (pbscip.linux.x8) R 11861 11863 11294 0 -1 4202496 171595 0 0 0 37360 2870 0 0 25 0 1 0 132004161 721227776 166794 4089446400 4194304 7136930 140736678671072 18446744073709551615 4999707 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11863/statm: 176081 166794 407 719 0 175360 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 704324 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11876 /proc/meminfo: memFree=30460844/32951124 swapFree=67111528/67111528 [pid=11863] ppid=11861 vsize=866876 CPUtime=462.29 /proc/11863/stat : 11863 (pbscip.linux.x8) R 11861 11863 11294 0 -1 4202496 207958 0 0 0 42896 3333 0 0 25 0 1 0 132004161 887681024 203157 4089446400 4194304 7136930 140736678671072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11863/statm: 216719 203157 407 719 0 215998 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 866876 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11878 /proc/meminfo: memFree=30373020/32951124 swapFree=67111528/67111528 [pid=11863] ppid=11861 vsize=966524 CPUtime=522.3 /proc/11863/stat : 11863 (pbscip.linux.x8) R 11861 11863 11294 0 -1 4202496 230005 0 0 0 48589 3641 0 0 25 0 1 0 132004161 989720576 225204 4089446400 4194304 7136930 140736678671072 18446744073709551615 4947638 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11863/statm: 241631 225204 407 719 0 240910 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 966524 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11880 /proc/meminfo: memFree=30275744/32951124 swapFree=67111528/67111528 [pid=11863] ppid=11861 vsize=1067060 CPUtime=582.3 /proc/11863/stat : 11863 (pbscip.linux.x8) R 11861 11863 11294 0 -1 4202496 253744 0 0 0 54089 4141 0 0 25 0 1 0 132004161 1092669440 248943 4089446400 4194304 7136930 140736678671072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11863/statm: 266765 248943 407 719 0 266044 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1067060 [startup+642.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11881 /proc/meminfo: memFree=30204508/32951124 swapFree=67111528/67111528 [pid=11863] ppid=11861 vsize=1135708 CPUtime=642.31 /proc/11863/stat : 11863 (pbscip.linux.x8) R 11861 11863 11294 0 -1 4202496 271201 0 0 0 59644 4587 0 0 25 0 1 0 132004161 1162964992 266271 4089446400 4194304 7136930 140736678671072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11863/statm: 283927 266271 407 719 0 283206 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1135708 [startup+702.301 s] ################ # More data... # ################ [startup+942.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11889 /proc/meminfo: memFree=30201556/32951124 swapFree=67111528/67111528 [pid=11863] ppid=11861 vsize=1135964 CPUtime=942.31 /proc/11863/stat : 11863 (pbscip.linux.x8) R 11861 11863 11294 0 -1 4202496 271276 0 0 0 88305 5926 0 0 25 0 1 0 132004161 1163227136 266346 4089446400 4194304 7136930 140736678671072 18446744073709551615 4999850 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11863/statm: 283991 266346 407 719 0 283270 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 1135964 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11890 /proc/meminfo: memFree=30199788/32951124 swapFree=67111528/67111528 [pid=11863] ppid=11861 vsize=1136588 CPUtime=1002.32 /proc/11863/stat : 11863 (pbscip.linux.x8) R 11861 11863 11294 0 -1 4202496 271421 0 0 0 94086 6146 0 0 25 0 1 0 132004161 1163866112 266491 4089446400 4194304 7136930 140736678671072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11863/statm: 284147 266491 407 719 0 283426 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1136588 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11892 /proc/meminfo: memFree=30197520/32951124 swapFree=67111528/67111528 [pid=11863] ppid=11861 vsize=1137824 CPUtime=1062.32 /proc/11863/stat : 11863 (pbscip.linux.x8) R 11861 11863 11294 0 -1 4202496 271681 0 0 0 99876 6356 0 0 25 0 1 0 132004161 1165131776 266751 4089446400 4194304 7136930 140736678671072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11863/statm: 284456 266751 407 719 0 283735 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1137824 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11894 /proc/meminfo: memFree=30195868/32951124 swapFree=67111528/67111528 [pid=11863] ppid=11861 vsize=1138692 CPUtime=1122.31 /proc/11863/stat : 11863 (pbscip.linux.x8) R 11861 11863 11294 0 -1 4202496 271906 0 0 0 105684 6547 0 0 25 0 1 0 132004161 1166020608 266976 4089446400 4194304 7136930 140736678671072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11863/statm: 284673 266976 407 719 0 283952 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1138692 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11896 /proc/meminfo: memFree=30194224/32951124 swapFree=67111528/67111528 [pid=11863] ppid=11861 vsize=1139412 CPUtime=1182.32 /proc/11863/stat : 11863 (pbscip.linux.x8) R 11861 11863 11294 0 -1 4202496 272095 0 0 0 111506 6726 0 0 25 0 1 0 132004161 1166757888 267165 4089446400 4194304 7136930 140736678671072 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11863/statm: 284853 267165 407 719 0 284132 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1139412 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11900 /proc/meminfo: memFree=30191552/32951124 swapFree=67111528/67111528 [pid=11863] ppid=11861 vsize=1141252 CPUtime=1242.32 /proc/11863/stat : 11863 (pbscip.linux.x8) R 11861 11863 11294 0 -1 4202496 272481 0 0 0 117387 6845 0 0 25 0 1 0 132004161 1168642048 267551 4089446400 4194304 7136930 140736678671072 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11863/statm: 285313 267551 407 719 0 284592 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1141252 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11901 /proc/meminfo: memFree=30189440/32951124 swapFree=67111528/67111528 [pid=11863] ppid=11861 vsize=1142772 CPUtime=1302.32 /proc/11863/stat : 11863 (pbscip.linux.x8) R 11861 11863 11294 0 -1 4202496 272769 0 0 0 123272 6960 0 0 25 0 1 0 132004161 1170198528 267839 4089446400 4194304 7136930 140736678671072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11863/statm: 285693 267839 407 719 0 284972 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 1142772 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11903 /proc/meminfo: memFree=30189036/32951124 swapFree=67111528/67111528 [pid=11863] ppid=11861 vsize=1143276 CPUtime=1362.32 /proc/11863/stat : 11863 (pbscip.linux.x8) R 11861 11863 11294 0 -1 4202496 272836 0 0 0 129164 7068 0 0 25 0 1 0 132004161 1170714624 267906 4089446400 4194304 7136930 140736678671072 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11863/statm: 285819 267906 407 719 0 285098 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1143276 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11905 /proc/meminfo: memFree=30187772/32951124 swapFree=67111528/67111528 [pid=11863] ppid=11861 vsize=1143440 CPUtime=1422.33 /proc/11863/stat : 11863 (pbscip.linux.x8) R 11861 11863 11294 0 -1 4202496 272876 0 0 0 135062 7171 0 0 25 0 1 0 132004161 1170882560 267946 4089446400 4194304 7136930 140736678671072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11863/statm: 285860 267946 407 719 0 285139 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1143440 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11907 /proc/meminfo: memFree=30185620/32951124 swapFree=67111528/67111528 [pid=11863] ppid=11861 vsize=1144540 CPUtime=1482.32 /proc/11863/stat : 11863 (pbscip.linux.x8) R 11861 11863 11294 0 -1 4202496 273168 0 0 0 140956 7276 0 0 25 0 1 0 132004161 1172008960 268238 4089446400 4194304 7136930 140736678671072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11863/statm: 286135 268238 407 719 0 285414 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 1144540 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11908 /proc/meminfo: memFree=30184828/32951124 swapFree=67111528/67111528 [pid=11863] ppid=11861 vsize=1145504 CPUtime=1542.33 /proc/11863/stat : 11863 (pbscip.linux.x8) R 11861 11863 11294 0 -1 4202496 273449 0 0 0 146856 7377 0 0 25 0 1 0 132004161 1172996096 268519 4089446400 4194304 7136930 140736678671072 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11863/statm: 286376 268519 407 719 0 285655 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 1145504 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11909 /proc/meminfo: memFree=30183276/32951124 swapFree=67111528/67111528 [pid=11863] ppid=11861 vsize=1145832 CPUtime=1602.32 /proc/11863/stat : 11863 (pbscip.linux.x8) R 11861 11863 11294 0 -1 4202496 273500 0 0 0 152761 7471 0 0 25 0 1 0 132004161 1173331968 268570 4089446400 4194304 7136930 140736678671072 18446744073709551615 4408793 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11863/statm: 286458 268570 407 719 0 285737 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 1145832 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11911 /proc/meminfo: memFree=30180500/32951124 swapFree=67111528/67111528 [pid=11863] ppid=11861 vsize=1147300 CPUtime=1662.33 /proc/11863/stat : 11863 (pbscip.linux.x8) R 11861 11863 11294 0 -1 4202496 273687 0 0 0 158673 7560 0 0 25 0 1 0 132004161 1174835200 268757 4089446400 4194304 7136930 140736678671072 18446744073709551615 5956090 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11863/statm: 286825 268757 407 719 0 286104 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 1147300 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11913 /proc/meminfo: memFree=30178476/32951124 swapFree=67111528/67111528 [pid=11863] ppid=11861 vsize=1148304 CPUtime=1722.33 /proc/11863/stat : 11863 (pbscip.linux.x8) R 11861 11863 11294 0 -1 4202496 273897 0 0 0 164589 7644 0 0 25 0 1 0 132004161 1175863296 268967 4089446400 4194304 7136930 140736678671072 18446744073709551615 4221551 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11863/statm: 287076 268967 407 719 0 286355 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 1148304 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11915 /proc/meminfo: memFree=30177280/32951124 swapFree=67111528/67111528 [pid=11863] ppid=11861 vsize=1148304 CPUtime=1782.33 /proc/11863/stat : 11863 (pbscip.linux.x8) R 11861 11863 11294 0 -1 4202496 273912 0 0 0 170504 7729 0 0 25 0 1 0 132004161 1175863296 268982 4089446400 4194304 7136930 140736678671072 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11863/statm: 287076 268982 407 719 0 286355 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 1148304 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 1.93 1.98 1.99 3/179 11943 /proc/meminfo: memFree=30263668/32951124 swapFree=67111528/67111528 [pid=11863] ppid=11861 vsize=1148740 CPUtime=1800.04 /proc/11863/stat : 11863 (pbscip.linux.x8) R 11861 11863 11294 0 -1 4202496 274022 0 0 0 172250 7754 0 0 25 0 1 0 132004161 1176309760 269092 4089446400 4194304 7136930 140736678671072 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11863/statm: 287185 269092 407 719 0 286464 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1148740 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: 1.93 1.98 1.99 3/179 11943 /proc/meminfo: memFree=30263668/32951124 swapFree=67111528/67111528 [pid=11863] ppid=11861 vsize=1146956 CPUtime=1800.23 /proc/11863/stat : 11863 (pbscip.linux.x8) R 11861 11863 11294 0 -1 4202496 274088 0 0 0 172269 7754 0 0 18 0 1 0 132004161 1174482944 268646 4089446400 4194304 7136930 140736678671072 18446744073709551615 6165693 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/11863/statm: 286739 268646 412 719 0 286018 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 1146956 [startup+1800.6 s] /proc/loadavg: 1.93 1.98 1.99 3/180 11944 /proc/meminfo: memFree=30322808/32951124 swapFree=67111528/67111528 [pid=11863] ppid=11861 vsize=1085980 CPUtime=1800.64 /proc/11863/stat : 11863 (pbscip.linux.x8) R 11861 11863 11294 0 -1 4202496 274093 0 0 0 172310 7754 0 0 18 0 1 0 132004161 1112043520 253412 4089446400 4194304 7136930 140736678671072 18446744073709551615 6166194 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/11863/statm: 271495 253412 412 719 0 270774 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (KiB) 1085980 Child status: 0 Real time (s): 1800.69 CPU time (s): 1800.73 CPU user time (s): 1723.14 CPU system time (s): 77.5822 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1148740 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1723.15 system time used= 77.5822 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 274100 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= 2098 runsolver used 3.10153 second user time and 6.74397 second system time The end
Begin job on node108 at 2010-06-30 16:11:09 IDJOB=2694133 IDBENCH=78945 IDSOLVER=1206 FILE ID=node108/2694133-1277907069 PBS_JOBID= 11197240 Free space on /tmp= 74204 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900581320--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-2694133-1277907069/watcher-2694133-1277907069 -o /tmp/evaluation-result-2694133-1277907069/solver-2694133-1277907069 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694133-1277907069.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4c1853ff60c53f26c44f2cbc4e9273c7 RANDOM SEED=1741911121 node108.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.855 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.71 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.855 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 : 5320.05 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.855 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.855 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.83 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.855 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.79 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.855 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.83 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.855 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.855 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: 32951124 kB MemFree: 31348184 kB Buffers: 190608 kB Cached: 1174540 kB SwapCached: 0 kB Active: 618128 kB Inactive: 841684 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31348184 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 9688 kB Writeback: 0 kB AnonPages: 94664 kB Mapped: 17344 kB Slab: 79016 kB PageTables: 5112 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 244824 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= 74200 MiB End job on node108 at 2010-06-30 16:41:11