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.1 | 1801.05 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110974372--soft-33-100-0.wbo |
| MD5SUM | 9e79fcc5962892fd65131f45b2c5bc52 |
| 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 | 29 |
| Best CPU time to get the best result obtained on this benchmark | 0.238963 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 169 |
| Total number of constraints | 101 |
| Number of soft constraints | 64 |
| Number of constraints which are clauses | 30 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 169 |
| Top cost | 3426 |
| Min constraint cost | 1 |
| Max constraint cost | 99 |
| Sum of constraints costs | 3425 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1266 |
| Number of bits of the biggest sum of numbers | 11 |
| 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-2693975-1277898831.wbo>
0.00/0.00 c original problem has 297 variables (233 bin, 0 int, 0 impl, 64 cont) and 166 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 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.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 64 impls, 30 clqs
0.00/0.01 c (round 2) 0 del vars, 6 del conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 64 impls, 30 clqs
0.00/0.01 c (round 3) 2 del vars, 8 del conss, 62 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 64 impls, 30 clqs
0.00/0.01 c (round 4) 4 del vars, 8 del conss, 62 chg bounds, 2 chg sides, 0 chg coeffs, 34 upgd conss, 64 impls, 30 clqs
0.00/0.02 c (0.0s) probing: 101/231 (43.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (5 rounds):
0.00/0.02 c 4 deleted vars, 8 deleted constraints, 62 tightened bounds, 0 added holes, 2 changed sides, 0 changed coefficients
0.00/0.02 c 64 implications, 30 cliques
0.00/0.02 c presolved problem has 293 variables (231 bin, 0 int, 0 impl, 62 cont) and 158 constraints
0.00/0.02 c 62 constraints of type <indicator>
0.00/0.02 c 30 constraints of type <setppc>
0.00/0.02 c 62 constraints of type <linear>
0.00/0.02 c 4 constraints of type <logicor>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 3420
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 2 | 0 | - | 926k| 0 | - | 293 | 158 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.19/1.28 c 1.2s| 10000 | 6627 | 0 | 0.0 |6886k| 176 | - | 293 |4112 | 0 | 0 | 0 |8232 | 0 | 0.000000e+00 | -- | Inf
3.59/3.61 c 3.5s| 20000 | 11229 | 0 | 0.0 | 12M| 176 | - | 293 |7511 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
7.19/7.29 c 7.0s| 30000 | 13881 | 0 | 0.0 | 18M| 176 | - | 293 | 11k| 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
12.10/12.13 c 11.8s| 40000 | 14450 | 0 | 0.0 | 23M| 176 | - | 293 | 16k| 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
15.40/15.42 c 15.0s| 50000 | 19545 | 0 | 0.0 | 24M| 176 | - | 293 |7079 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
18.99/19.00 c 18.4s| 60000 | 22165 | 0 | 0.0 | 28M| 176 | - | 293 | 11k| 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
24.99/25.05 c 24.4s| 70000 | 22054 | 0 | 0.0 | 32M| 176 | - | 293 | 18k| 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
34.79/34.82 c 34.0s| 80000 | 19100 | 0 | 0.0 | 33M| 176 | - | 293 | 27k| 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
40.09/40.13 c 39.3s| 90000 | 24583 | 0 | 0.0 | 32M| 176 | - | 293 | 11k| 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
44.29/44.39 c 43.4s|100000 | 27788 | 0 | 0.0 | 36M| 176 | - | 293 | 11k| 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
47.39/47.41 o 644
47.39/47.41 c *46.4s|106158 | 29207 | 0 | 0.0 | 37M| 176 | - | 293 | 10k| 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | 6.440000e+02 | Inf
47.89/47.95 c 46.9s|110000 | 32492 | 0 | 0.0 | 37M| 176 | - | 293 |3964 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | 6.440000e+02 | Inf
47.89/47.95 o 421
47.89/47.95 c *46.9s|110031 | 32518 | 0 | 0.0 | 37M| 176 | - | 293 |3965 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | 4.210000e+02 | Inf
48.69/48.75 o 369
48.69/48.75 c *47.6s|116988 | 38228 | 0 | 0.0 | 39M| 176 | - | 293 |3626 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | 3.690000e+02 | Inf
48.69/48.75 o 226
48.69/48.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
48.69/48.75 c *47.6s|116989 | 38201 | 0 | 0.0 | 39M| 176 | - | 293 |3626 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | 2.260000e+02 | Inf
49.09/49.12 c 48.0s|120000 | 40576 | 0 | 0.0 | 41M| 176 | - | 293 |3850 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | 2.260000e+02 | Inf
50.89/50.99 c 49.8s|130000 | 46385 | 0 | 0.0 | 44M| 176 | - | 293 |5644 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 2.260000e+02 | Inf
59.99/60.08 c 58.7s|140000 | 41791 | 0 | 0.0 | 44M| 176 | - | 293 | 19k| 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | 2.260000e+02 | Inf
67.89/67.97 c 66.5s|150000 | 42303 | 0 | 0.0 | 41M| 176 | - | 293 | 13k| 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | 2.260000e+02 | Inf
75.59/75.61 c 74.1s|160000 | 42909 | 0 | 0.0 | 45M| 176 | - | 293 | 17k| 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 2.260000e+02 | Inf
85.29/85.37 c 83.7s|170000 | 41676 | 0 | 0.0 | 47M| 176 | - | 293 | 20k| 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | 2.260000e+02 | Inf
94.10/94.11 c 92.3s|180000 | 41904 | 0 | 0.0 | 46M| 176 | - | 293 | 18k| 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | 2.260000e+02 | Inf
95.99/96.06 c 94.2s|190000 | 49454 | 0 | 0.0 | 45M| 176 | - | 293 |3742 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | 2.260000e+02 | Inf
97.59/97.62 c 95.7s|200000 | 56700 | 0 | 0.0 | 49M| 176 | - | 293 |4135 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | 2.260000e+02 | Inf
99.19/99.27 c 97.3s|210000 | 63694 | 0 | 0.0 | 53M| 176 | - | 293 |4544 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | 2.260000e+02 | Inf
100.89/100.93 c 98.8s|220000 | 70725 | 0 | 0.0 | 57M| 176 | - | 293 |5074 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | 2.260000e+02 | Inf
102.69/102.70 c 101s|230000 | 77568 | 0 | 0.0 | 61M| 176 | - | 293 |5591 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | 2.260000e+02 | Inf
104.39/104.49 c 102s|240000 | 84406 | 0 | 0.0 | 64M| 176 | - | 293 |6012 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 2.260000e+02 | Inf
106.29/106.39 c 104s|250000 | 91050 | 0 | 0.0 | 68M| 176 | - | 293 |6559 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | 2.260000e+02 | Inf
108.09/108.17 o 205
108.09/108.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
108.09/108.17 c * 106s|258897 | 96722 | 0 | 0.0 | 71M| 176 | - | 293 |6920 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | 2.050000e+02 | Inf
108.29/108.35 c 106s|260000 | 97549 | 0 | 0.0 | 72M| 176 | - | 293 |6841 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | 2.050000e+02 | Inf
110.19/110.27 c 108s|270000 |104162 | 0 | 0.0 | 75M| 176 | - | 293 |7072 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 2.050000e+02 | Inf
112.10/112.13 c 110s|280000 |110922 | 0 | 0.0 | 79M| 176 | - | 293 |7155 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 2.050000e+02 | Inf
114.09/114.18 c 112s|290000 |117246 | 0 | 0.0 | 82M| 176 | - | 293 |7414 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 2.050000e+02 | Inf
116.29/116.38 c 114s|300000 |123286 | 0 | 0.0 | 86M| 176 | - | 293 |7602 | 0 | 0 | 0 | 326k| 0 | 1.000000e+00 | 2.050000e+02 | Large
118.89/118.92 c 116s|310000 |128384 | 0 | 0.0 | 90M| 176 | - | 293 |8318 | 0 | 0 | 0 | 332k| 0 | 1.000000e+00 | 2.050000e+02 | Large
121.19/121.23 c 118s|320000 |133790 | 0 | 0.0 | 93M| 176 | - | 293 |5345 | 0 | 0 | 0 | 342k| 0 | 1.000000e+00 | 2.050000e+02 | Large
128.29/128.35 c 125s|330000 |132006 | 0 | 0.0 | 97M| 176 | - | 293 | 17k| 0 | 0 | 0 | 363k| 0 | 1.000000e+00 | 2.050000e+02 | Large
142.69/142.78 c 140s|340000 |126385 | 0 | 0.0 | 97M| 176 | - | 293 | 28k| 0 | 0 | 0 | 387k| 0 | 1.000000e+00 | 2.050000e+02 | Large
151.39/151.42 c 148s|350000 |128969 | 0 | 0.0 | 90M| 176 | - | 293 |8145 | 0 | 0 | 0 | 397k| 0 | 1.000000e+00 | 2.050000e+02 | Large
154.00/154.04 c 151s|360000 |134870 | 0 | 0.0 | 93M| 176 | - | 293 |5711 | 0 | 0 | 0 | 404k| 0 | 1.000000e+00 | 2.050000e+02 | Large
156.30/156.34 c 153s|370000 |140998 | 0 | 0.0 | 96M| 176 | - | 293 |5738 | 0 | 0 | 0 | 410k| 0 | 1.000000e+00 | 2.050000e+02 | Large
158.50/158.57 c 155s|380000 |147198 | 0 | 0.0 | 100M| 176 | - | 293 |5949 | 0 | 0 | 0 | 415k| 0 | 1.000000e+00 | 2.050000e+02 | Large
160.90/160.91 c 157s|390000 |153152 | 0 | 0.0 | 104M| 176 | - | 293 |6182 | 0 | 0 | 0 | 421k| 0 | 1.000000e+00 | 2.050000e+02 | Large
163.29/163.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
163.29/163.36 c 160s|400000 |158891 | 0 | 0.0 | 108M| 176 | - | 293 |6308 | 0 | 0 | 0 | 428k| 0 | 1.000000e+00 | 2.050000e+02 | Large
165.79/165.83 c 162s|410000 |164583 | 0 | 0.0 | 111M| 176 | - | 293 |6393 | 0 | 0 | 0 | 435k| 0 | 1.000000e+00 | 2.050000e+02 | Large
166.00/166.06 o 200
166.00/166.06 c * 162s|410903 |165064 | 0 | 0.0 | 112M| 176 | - | 293 |6288 | 0 | 0 | 0 | 435k| 0 | 1.000000e+00 | 2.000000e+02 | Large
168.19/168.26 c 164s|420000 |170339 | 0 | 0.0 | 115M| 176 | - | 293 |6350 | 0 | 0 | 0 | 441k| 0 | 1.000000e+00 | 2.000000e+02 | Large
170.60/170.60 c 167s|430000 |176252 | 0 | 0.0 | 119M| 176 | - | 293 |6275 | 0 | 0 | 0 | 447k| 0 | 1.000000e+00 | 2.000000e+02 | Large
172.89/172.93 c 169s|440000 |182044 | 0 | 0.0 | 122M| 176 | - | 293 |6293 | 0 | 0 | 0 | 453k| 0 | 1.000000e+00 | 2.000000e+02 | Large
175.20/175.20 c 171s|450000 |188006 | 0 | 0.0 | 125M| 176 | - | 293 |6077 | 0 | 0 | 0 | 459k| 0 | 1.000000e+00 | 2.000000e+02 | Large
177.49/177.50 c 173s|460000 |193845 | 0 | 0.0 | 129M| 176 | - | 293 |6368 | 0 | 0 | 0 | 465k| 0 | 1.000000e+00 | 2.000000e+02 | Large
179.79/179.83 c 176s|470000 |199658 | 0 | 0.0 | 132M| 176 | - | 293 |6491 | 0 | 0 | 0 | 471k| 0 | 1.000000e+00 | 2.000000e+02 | Large
182.09/182.18 c 178s|480000 |205417 | 0 | 0.0 | 135M| 176 | - | 293 |6291 | 0 | 0 | 0 | 477k| 0 | 1.000000e+00 | 2.000000e+02 | Large
184.49/184.50 c 180s|490000 |211225 | 0 | 0.0 | 139M| 176 | - | 293 |6339 | 0 | 0 | 0 | 483k| 0 | 1.000000e+00 | 2.000000e+02 | Large
186.70/186.77 c 182s|500000 |217099 | 0 | 0.0 | 142M| 176 | - | 293 |6402 | 0 | 0 | 0 | 488k| 0 | 1.000000e+00 | 2.000000e+02 | Large
189.10/189.17 c 185s|510000 |222679 | 0 | 0.0 | 146M| 176 | - | 293 |6595 | 0 | 0 | 0 | 494k| 0 | 1.000000e+00 | 2.000000e+02 | Large
191.50/191.52 c 187s|520000 |228458 | 0 | 0.0 | 149M| 176 | - | 293 |6647 | 0 | 0 | 0 | 500k| 0 | 1.000000e+00 | 2.000000e+02 | Large
193.00/193.05 o 198
193.00/193.05 c * 188s|527465 |233227 | 0 | 0.0 | 152M| 176 | - | 293 |6676 | 0 | 0 | 0 | 504k| 0 | 1.000000e+00 | 1.980000e+02 | Large
193.70/193.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
193.70/193.79 c 189s|530000 |234362 | 0 | 0.0 | 153M| 176 | - | 293 |6661 | 0 | 0 | 0 | 505k| 0 | 1.000000e+00 | 1.980000e+02 | Large
196.00/196.09 c 191s|540000 |240200 | 0 | 0.0 | 156M| 176 | - | 293 |6823 | 0 | 0 | 0 | 511k| 0 | 1.000000e+00 | 1.980000e+02 | Large
198.39/198.41 c 193s|550000 |245959 | 0 | 0.0 | 160M| 176 | - | 293 |7052 | 0 | 0 | 0 | 517k| 0 | 1.000000e+00 | 1.980000e+02 | Large
200.20/200.25 o 192
200.20/200.25 c * 195s|558152 |250785 | 0 | 0.0 | 162M| 176 | - | 293 |7035 | 0 | 0 | 0 | 521k| 0 | 1.000000e+00 | 1.920000e+02 | Large
200.69/200.70 c 196s|560000 |251774 | 0 | 0.0 | 163M| 176 | - | 293 |7028 | 0 | 0 | 0 | 522k| 0 | 1.000000e+00 | 1.920000e+02 | Large
202.80/202.84 c 198s|570000 |257925 | 0 | 0.0 | 166M| 176 | - | 293 |7040 | 0 | 0 | 0 | 527k| 0 | 1.000000e+00 | 1.920000e+02 | Large
205.19/205.23 c 200s|580000 |263581 | 0 | 0.0 | 169M| 176 | - | 293 |7004 | 0 | 0 | 0 | 533k| 0 | 1.000000e+00 | 1.920000e+02 | Large
207.30/207.36 o 181
207.30/207.36 c * 202s|589091 |268581 | 0 | 0.0 | 172M| 176 | - | 293 |6944 | 0 | 0 | 0 | 538k| 0 | 1.000000e+00 | 1.810000e+02 | Large
207.49/207.53 c 202s|590000 |269183 | 0 | 0.0 | 173M| 176 | - | 293 |6969 | 0 | 0 | 0 | 539k| 0 | 1.000000e+00 | 1.810000e+02 | Large
209.89/209.90 c 205s|600000 |274830 | 0 | 0.0 | 176M| 176 | - | 293 |7390 | 0 | 0 | 0 | 544k| 0 | 2.000000e+00 | 1.810000e+02 |8950.00%
211.80/211.85 o 152
211.80/211.85 c * 206s|608042 |278204 | 0 | 0.0 | 178M| 176 | - | 293 |7283 | 0 | 0 | 0 | 549k| 0 | 2.000000e+00 | 1.520000e+02 |7500.00%
211.99/212.00 o 150
211.99/212.00 c * 207s|608611 |278476 | 0 | 0.0 | 178M| 176 | - | 293 |7377 | 0 | 0 | 0 | 549k| 0 | 2.000000e+00 | 1.500000e+02 |7400.00%
212.20/212.29 c 207s|610000 |279367 | 0 | 0.0 | 178M| 176 | - | 293 |7341 | 0 | 0 | 0 | 550k| 0 | 2.000000e+00 | 1.500000e+02 |7400.00%
214.50/214.59 c 209s|620000 |285094 | 0 | 0.0 | 183M| 176 | - | 293 |7494 | 0 | 0 | 0 | 555k| 0 | 2.000000e+00 | 1.500000e+02 |7400.00%
216.89/216.98 c 211s|630000 |290687 | 0 | 0.0 | 187M| 176 | - | 293 |7839 | 0 | 0 | 0 | 561k| 0 | 2.000000e+00 | 1.500000e+02 |7400.00%
219.50/219.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
219.50/219.50 c 214s|640000 |295997 | 0 | 0.0 | 191M| 176 | - | 293 |7727 | 0 | 0 | 0 | 567k| 0 | 2.000000e+00 | 1.500000e+02 |7400.00%
221.79/221.84 c 216s|650000 |301662 | 0 | 0.0 | 196M| 176 | - | 293 |7630 | 0 | 0 | 0 | 572k| 0 | 2.000000e+00 | 1.500000e+02 |7400.00%
223.70/223.74 o 137
223.70/223.74 c * 218s|657520 |303013 | 0 | 0.0 | 197M| 176 | - | 293 |7617 | 0 | 0 | 0 | 577k| 0 | 2.000000e+00 | 1.370000e+02 |6750.00%
224.30/224.35 c 218s|660000 |304313 | 0 | 0.0 | 198M| 176 | - | 293 |7825 | 0 | 0 | 0 | 579k| 0 | 2.000000e+00 | 1.370000e+02 |6750.00%
226.89/226.91 c 221s|670000 |309515 | 0 | 0.0 | 202M| 176 | - | 293 |7879 | 0 | 0 | 0 | 584k| 0 | 2.000000e+00 | 1.370000e+02 |6750.00%
229.50/229.54 c 223s|680000 |314418 | 0 | 0.0 | 207M| 176 | - | 293 |7897 | 0 | 0 | 0 | 591k| 0 | 2.000000e+00 | 1.370000e+02 |6750.00%
232.29/232.30 c 226s|690000 |319059 | 0 | 0.0 | 211M| 176 | - | 293 |8005 | 0 | 0 | 0 | 597k| 0 | 2.000000e+00 | 1.370000e+02 |6750.00%
235.10/235.13 c 229s|700000 |323555 | 0 | 0.0 | 216M| 176 | - | 293 |8101 | 0 | 0 | 0 | 604k| 0 | 2.000000e+00 | 1.370000e+02 |6750.00%
238.00/238.04 c 232s|710000 |327872 | 0 | 0.0 | 220M| 176 | - | 293 |8081 | 0 | 0 | 0 | 611k| 0 | 2.000000e+00 | 1.370000e+02 |6750.00%
241.00/241.06 c 235s|720000 |331940 | 0 | 0.0 | 225M| 176 | - | 293 |8507 | 0 | 0 | 0 | 618k| 0 | 2.000000e+00 | 1.370000e+02 |6750.00%
244.59/244.62 c 238s|730000 |334831 | 0 | 0.0 | 229M| 176 | - | 293 |8661 | 0 | 0 | 0 | 627k| 0 | 2.000000e+00 | 1.370000e+02 |6750.00%
248.39/248.43 c 242s|740000 |336894 | 0 | 0.0 | 233M| 176 | - | 293 |9114 | 0 | 0 | 0 | 635k| 0 | 2.000000e+00 | 1.370000e+02 |6750.00%
251.20/251.28 c 244s|750000 |342272 | 0 | 0.0 | 236M| 176 | - | 293 |6602 | 0 | 0 | 0 | 643k| 0 | 2.000000e+00 | 1.370000e+02 |6750.00%
254.19/254.23 c 247s|760000 |347407 | 0 | 0.0 | 241M| 176 | - | 293 |7765 | 0 | 0 | 0 | 652k| 0 | 2.000000e+00 | 1.370000e+02 |6750.00%
257.90/257.97 c 251s|770000 |350628 | 0 | 0.0 | 245M| 176 | - | 293 |8690 | 0 | 0 | 0 | 664k| 0 | 2.000000e+00 | 1.370000e+02 |6750.00%
261.19/261.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
261.19/261.27 c 254s|780000 |354233 | 0 | 0.0 | 248M| 176 | - | 293 |3638 | 0 | 0 | 0 | 675k| 0 | 2.000000e+00 | 1.370000e+02 |6750.00%
264.00/264.05 c 257s|790000 |358589 | 0 | 0.0 | 252M| 176 | - | 293 |5355 | 0 | 0 | 0 | 683k| 0 | 2.000000e+00 | 1.370000e+02 |6750.00%
267.20/267.26 c 260s|800000 |362663 | 0 | 0.0 | 256M| 176 | - | 293 |6368 | 0 | 0 | 0 | 692k| 0 | 2.000000e+00 | 1.370000e+02 |6750.00%
270.70/270.71 c 263s|810000 |366627 | 0 | 0.0 | 260M| 176 | - | 293 |7374 | 0 | 0 | 0 | 701k| 0 | 2.000000e+00 | 1.370000e+02 |6750.00%
274.00/274.09 c 266s|820000 |370855 | 0 | 0.0 | 264M| 176 | - | 293 |7921 | 0 | 0 | 0 | 709k| 0 | 2.000000e+00 | 1.370000e+02 |6750.00%
277.40/277.46 c 269s|830000 |375257 | 0 | 0.0 | 269M| 176 | - | 293 |8670 | 0 | 0 | 0 | 717k| 0 | 2.000000e+00 | 1.370000e+02 |6750.00%
281.00/281.06 c 272s|840000 |379557 | 0 | 0.0 | 273M| 176 | - | 293 |8971 | 0 | 0 | 0 | 725k| 0 | 2.000000e+00 | 1.370000e+02 |6750.00%
284.60/284.68 c 276s|850000 |383654 | 0 | 0.0 | 276M| 176 | - | 293 |8929 | 0 | 0 | 0 | 733k| 0 | 2.000000e+00 | 1.370000e+02 |6750.00%
288.40/288.47 c 279s|860000 |387478 | 0 | 0.0 | 280M| 176 | - | 293 |8819 | 0 | 0 | 0 | 742k| 0 | 2.000000e+00 | 1.370000e+02 |6750.00%
291.90/291.98 c 282s|870000 |391723 | 0 | 0.0 | 284M| 176 | - | 293 |8858 | 0 | 0 | 0 | 749k| 0 | 2.000000e+00 | 1.370000e+02 |6750.00%
295.50/295.52 c 286s|880000 |395831 | 0 | 0.0 | 288M| 176 | - | 293 |8894 | 0 | 0 | 0 | 758k| 0 | 2.000000e+00 | 1.370000e+02 |6750.00%
298.80/298.86 c 289s|890000 |400281 | 0 | 0.0 | 292M| 176 | - | 293 |8660 | 0 | 0 | 0 | 765k| 0 | 2.000000e+00 | 1.370000e+02 |6750.00%
302.40/302.47 c 292s|900000 |404133 | 0 | 0.0 | 296M| 176 | - | 293 |8763 | 0 | 0 | 0 | 774k| 0 | 2.000000e+00 | 1.370000e+02 |6750.00%
305.81/305.89 c 295s|910000 |408219 | 0 | 0.0 | 299M| 176 | - | 293 |8528 | 0 | 0 | 0 | 782k| 0 | 2.000000e+00 | 1.370000e+02 |6750.00%
309.19/309.24 c 298s|920000 |412519 | 0 | 0.0 | 303M| 176 | - | 293 |8072 | 0 | 0 | 0 | 789k| 0 | 2.000000e+00 | 1.370000e+02 |6750.00%
312.70/312.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
312.70/312.71 c 301s|930000 |416364 | 0 | 0.0 | 307M| 176 | - | 293 |8232 | 0 | 0 | 0 | 798k| 0 | 2.000000e+00 | 1.370000e+02 |6750.00%
315.90/315.96 c 304s|940000 |420656 | 0 | 0.0 | 311M| 176 | - | 293 |8296 | 0 | 0 | 0 | 805k| 0 | 2.000000e+00 | 1.370000e+02 |6750.00%
319.70/319.70 c 308s|950000 |424033 | 0 | 0.0 | 314M| 176 | - | 293 |8101 | 0 | 0 | 0 | 814k| 0 | 2.000000e+00 | 1.370000e+02 |6750.00%
323.20/323.29 c 311s|960000 |427642 | 0 | 0.0 | 318M| 176 | - | 293 |7952 | 0 | 0 | 0 | 822k| 0 | 2.000000e+00 | 1.370000e+02 |6750.00%
326.61/326.69 c 314s|970000 |431554 | 0 | 0.0 | 322M| 176 | - | 293 |7941 | 0 | 0 | 0 | 831k| 0 | 2.000000e+00 | 1.370000e+02 |6750.00%
329.90/329.99 o 134
329.90/329.99 c * 317s|978609 |434068 | 0 | 0.0 | 324M| 176 | - | 293 |7922 | 0 | 0 | 0 | 838k| 0 | 2.000000e+00 | 1.340000e+02 |6600.00%
330.40/330.45 c 317s|980000 |434630 | 0 | 0.0 | 325M| 176 | - | 293 |8023 | 0 | 0 | 0 | 839k| 0 | 2.000000e+00 | 1.340000e+02 |6600.00%
334.00/334.10 c 321s|990000 |438030 | 0 | 0.0 | 329M| 176 | - | 293 |8191 | 0 | 0 | 0 | 848k| 0 | 2.000000e+00 | 1.340000e+02 |6600.00%
337.70/337.76 c 324s| 1000k|441499 | 0 | 0.0 | 332M| 176 | - | 293 |7947 | 0 | 0 | 0 | 857k| 0 | 2.000000e+00 | 1.340000e+02 |6600.00%
341.40/341.48 c 327s| 1010k|444755 | 0 | 0.0 | 336M| 176 | - | 293 |7793 | 0 | 0 | 0 | 866k| 0 | 2.000000e+00 | 1.340000e+02 |6600.00%
345.31/345.39 c 331s| 1020k|447641 | 0 | 0.0 | 339M| 176 | - | 293 |8042 | 0 | 0 | 0 | 875k| 0 | 2.000000e+00 | 1.340000e+02 |6600.00%
347.70/347.77 o 101
347.70/347.77 c * 333s| 1026k|436947 | 0 | 0.0 | 330M| 176 | - | 293 |7879 | 0 | 0 | 0 | 880k| 0 | 2.000000e+00 | 1.010000e+02 |4950.00%
349.60/349.61 c 335s| 1030k|437449 | 0 | 0.0 | 331M| 176 | - | 293 |8223 | 0 | 0 | 0 | 884k| 0 | 2.000000e+00 | 1.010000e+02 |4950.00%
354.20/354.25 c 339s| 1040k|439372 | 0 | 0.0 | 335M| 176 | - | 293 |8172 | 0 | 0 | 0 | 895k| 0 | 2.000000e+00 | 1.010000e+02 |4950.00%
359.10/359.15 c 344s| 1050k|440707 | 0 | 0.0 | 338M| 176 | - | 293 |8208 | 0 | 0 | 0 | 906k| 0 | 2.000000e+00 | 1.010000e+02 |4950.00%
363.90/363.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
363.90/363.91 c 348s| 1060k|442091 | 0 | 0.0 | 341M| 176 | - | 293 |8195 | 0 | 0 | 0 | 916k| 0 | 2.000000e+00 | 1.010000e+02 |4950.00%
368.60/368.68 c 353s| 1070k|443417 | 0 | 0.0 | 345M| 176 | - | 293 |8320 | 0 | 0 | 0 | 927k| 0 | 2.000000e+00 | 1.010000e+02 |4950.00%
373.70/373.72 c 357s| 1080k|444411 | 0 | 0.0 | 348M| 176 | - | 293 |8687 | 0 | 0 | 0 | 938k| 0 | 2.000000e+00 | 1.010000e+02 |4950.00%
378.60/378.63 c 362s| 1090k|445745 | 0 | 0.0 | 352M| 176 | - | 293 |8543 | 0 | 0 | 0 | 949k| 0 | 2.000000e+00 | 1.010000e+02 |4950.00%
383.30/383.36 c 366s| 1100k|447332 | 0 | 0.0 | 355M| 176 | - | 293 |9223 | 0 | 0 | 0 | 959k| 0 | 2.000000e+00 | 1.010000e+02 |4950.00%
388.70/388.80 c 371s| 1110k|448097 | 0 | 0.0 | 359M| 176 | - | 293 |9899 | 0 | 0 | 0 | 970k| 0 | 2.000000e+00 | 1.010000e+02 |4950.00%
394.40/394.47 c 377s| 1120k|448817 | 0 | 0.0 | 363M| 176 | - | 293 | 10k| 0 | 0 | 0 | 982k| 0 | 2.000000e+00 | 1.010000e+02 |4950.00%
400.31/400.39 c 382s| 1130k|449234 | 0 | 0.0 | 366M| 176 | - | 293 | 10k| 0 | 0 | 0 | 993k| 0 | 2.000000e+00 | 1.010000e+02 |4950.00%
406.60/406.63 c 388s| 1140k|449407 | 0 | 0.0 | 370M| 176 | - | 293 | 11k| 0 | 0 | 0 |1004k| 0 | 2.000000e+00 | 1.010000e+02 |4950.00%
413.30/413.37 c 394s| 1150k|449200 | 0 | 0.0 | 373M| 176 | - | 293 | 11k| 0 | 0 | 0 |1015k| 0 | 2.000000e+00 | 1.010000e+02 |4950.00%
420.50/420.57 c 401s| 1160k|448164 | 0 | 0.0 | 376M| 176 | - | 293 | 11k| 0 | 0 | 0 |1027k| 0 | 2.000000e+00 | 1.010000e+02 |4950.00%
428.01/428.09 c 408s| 1170k|446363 | 0 | 0.0 | 380M| 176 | - | 293 | 11k| 0 | 0 | 0 |1039k| 0 | 2.000000e+00 | 1.010000e+02 |4950.00%
436.20/436.20 c 416s| 1180k|443620 | 0 | 0.0 | 382M| 176 | - | 293 | 12k| 0 | 0 | 0 |1052k| 0 | 2.000000e+00 | 1.010000e+02 |4950.00%
445.51/445.53 c 424s| 1190k|439223 | 0 | 0.0 | 383M| 176 | - | 293 | 13k| 0 | 0 | 0 |1065k| 0 | 2.000000e+00 | 1.010000e+02 |4950.00%
451.20/451.29 c 430s| 1200k|442456 | 0 | 0.0 | 387M| 176 | - | 293 | 12k| 0 | 0 | 0 |1078k| 0 | 2.000000e+00 | 1.010000e+02 |4950.00%
458.30/458.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
458.30/458.35 c 436s| 1210k|444437 | 0 | 0.0 | 392M| 176 | - | 293 | 15k| 0 | 0 | 0 |1092k| 0 | 2.000000e+00 | 1.010000e+02 |4950.00%
467.31/467.32 c 445s| 1220k|444800 | 0 | 0.0 | 395M| 176 | - | 293 | 17k| 0 | 0 | 0 |1109k| 0 | 2.000000e+00 | 1.010000e+02 |4950.00%
477.01/477.02 c 454s| 1230k|444852 | 0 | 0.0 | 398M| 176 | - | 293 | 19k| 0 | 0 | 0 |1125k| 0 | 2.000000e+00 | 1.010000e+02 |4950.00%
488.00/488.04 c 465s| 1240k|443937 | 0 | 0.0 | 399M| 176 | - | 293 | 20k| 0 | 0 | 0 |1142k| 0 | 2.000000e+00 | 1.010000e+02 |4950.00%
493.21/493.22 c 470s| 1250k|446148 | 0 | 0.0 | 398M| 176 | - | 293 |5552 | 0 | 0 | 0 |1152k| 0 | 2.000000e+00 | 1.010000e+02 |4950.00%
498.00/498.06 c 474s| 1260k|447803 | 0 | 0.0 | 402M| 176 | - | 293 |7435 | 0 | 0 | 0 |1164k| 0 | 2.000000e+00 | 1.010000e+02 |4950.00%
503.21/503.23 c 479s| 1270k|449551 | 0 | 0.0 | 405M| 176 | - | 293 |8421 | 0 | 0 | 0 |1176k| 0 | 2.000000e+00 | 1.010000e+02 |4950.00%
508.41/508.47 c 484s| 1280k|451365 | 0 | 0.0 | 409M| 176 | - | 293 |9325 | 0 | 0 | 0 |1187k| 0 | 2.000000e+00 | 1.010000e+02 |4950.00%
514.50/514.51 c 490s| 1290k|452588 | 0 | 0.0 | 412M| 176 | - | 293 | 10k| 0 | 0 | 0 |1198k| 0 | 2.000000e+00 | 1.010000e+02 |4950.00%
521.10/521.14 c 496s| 1300k|453598 | 0 | 0.0 | 415M| 176 | - | 293 | 11k| 0 | 0 | 0 |1211k| 0 | 2.000000e+00 | 1.010000e+02 |4950.00%
528.61/528.68 c 503s| 1310k|453743 | 0 | 0.0 | 418M| 176 | - | 293 | 12k| 0 | 0 | 0 |1224k| 0 | 2.000000e+00 | 1.010000e+02 |4950.00%
536.71/536.79 c 511s| 1320k|453636 | 0 | 0.0 | 421M| 176 | - | 293 | 13k| 0 | 0 | 0 |1237k| 0 | 2.000000e+00 | 1.010000e+02 |4950.00%
545.21/545.24 c 519s| 1330k|453903 | 0 | 0.0 | 424M| 176 | - | 293 | 14k| 0 | 0 | 0 |1250k| 0 | 2.000000e+00 | 1.010000e+02 |4950.00%
554.20/554.28 c 527s| 1340k|453591 | 0 | 0.0 | 427M| 176 | - | 293 | 14k| 0 | 0 | 0 |1263k| 0 | 2.000000e+00 | 1.010000e+02 |4950.00%
563.91/563.96 c 537s| 1350k|452821 | 0 | 0.0 | 428M| 176 | - | 293 | 14k| 0 | 0 | 0 |1277k| 0 | 2.000000e+00 | 1.010000e+02 |4950.00%
573.81/573.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
573.81/573.86 c 546s| 1360k|451946 | 0 | 0.0 | 431M| 176 | - | 293 | 14k| 0 | 0 | 0 |1291k| 0 | 2.000000e+00 | 1.010000e+02 |4950.00%
584.41/584.41 c 556s| 1370k|450534 | 0 | 0.0 | 433M| 176 | - | 293 | 15k| 0 | 0 | 0 |1305k| 0 | 2.000000e+00 | 1.010000e+02 |4950.00%
592.81/592.82 o 75
592.81/592.82 c * 564s| 1377k|401334 | 0 | 0.0 | 390M| 176 | - | 293 | 15k| 0 | 0 | 0 |1316k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
595.61/595.62 c 567s| 1380k|400583 | 0 | 0.0 | 391M| 176 | - | 293 | 13k| 0 | 0 | 0 |1320k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
607.21/607.25 c 578s| 1390k|396593 | 0 | 0.0 | 392M| 176 | - | 293 | 12k| 0 | 0 | 0 |1339k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
620.51/620.58 c 591s| 1400k|391497 | 0 | 0.0 | 393M| 176 | - | 293 | 14k| 0 | 0 | 0 |1359k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
636.40/636.47 c 606s| 1410k|385727 | 0 | 0.0 | 393M| 176 | - | 293 | 16k| 0 | 0 | 0 |1379k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
654.61/654.62 c 624s| 1420k|378993 | 0 | 0.0 | 392M| 176 | - | 293 | 17k| 0 | 0 | 0 |1399k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
675.01/675.03 c 644s| 1430k|370929 | 0 | 0.0 | 389M| 176 | - | 293 | 20k| 0 | 0 | 0 |1419k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
698.51/698.54 c 667s| 1440k|361455 | 0 | 0.0 | 383M| 176 | - | 293 | 18k| 0 | 0 | 0 |1441k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
717.81/717.80 c 686s| 1450k|356350 | 0 | 0.0 | 384M| 176 | - | 293 | 23k| 0 | 0 | 0 |1464k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
739.31/739.31 c 707s| 1460k|351101 | 0 | 0.0 | 382M| 176 | - | 293 | 27k| 0 | 0 | 0 |1485k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
757.01/757.01 c 724s| 1470k|349254 | 0 | 0.0 | 374M| 176 | - | 293 | 10k| 0 | 0 | 0 |1502k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
759.51/759.58 c 726s| 1480k|355736 | 0 | 0.0 | 379M| 176 | - | 293 |8007 | 0 | 0 | 0 |1509k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
768.82/768.82 c 735s| 1490k|352250 | 0 | 0.0 | 380M| 176 | - | 293 | 12k| 0 | 0 | 0 |1527k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
787.52/787.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
787.52/787.55 c 753s| 1500k|344696 | 0 | 0.0 | 378M| 176 | - | 293 | 18k| 0 | 0 | 0 |1550k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
815.31/815.32 c 780s| 1510k|335664 | 0 | 0.0 | 375M| 176 | - | 293 | 26k| 0 | 0 | 0 |1572k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
851.92/851.98 c 816s| 1520k|325271 | 0 | 0.0 | 367M| 176 | - | 293 | 33k| 0 | 0 | 0 |1594k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
885.02/885.04 c 849s| 1530k|317423 | 0 | 0.0 | 358M| 176 | - | 293 | 32k| 0 | 0 | 0 |1617k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
903.02/903.03 c 867s| 1540k|317723 | 0 | 0.0 | 349M| 176 | - | 293 | 13k| 0 | 0 | 0 |1631k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
906.21/906.22 c 870s| 1550k|324668 | 0 | 0.0 | 352M| 176 | - | 293 | 11k| 0 | 0 | 0 |1638k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
909.82/909.84 c 873s| 1560k|331033 | 0 | 0.0 | 356M| 176 | - | 293 | 12k| 0 | 0 | 0 |1647k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
914.03/914.10 c 877s| 1570k|336772 | 0 | 0.0 | 361M| 176 | - | 293 | 14k| 0 | 0 | 0 |1657k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
919.32/919.35 c 882s| 1580k|341457 | 0 | 0.0 | 366M| 176 | - | 293 | 16k| 0 | 0 | 0 |1667k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
926.32/926.34 c 888s| 1590k|344699 | 0 | 0.0 | 370M| 176 | - | 293 | 17k| 0 | 0 | 0 |1680k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
933.42/933.47 c 895s| 1600k|348254 | 0 | 0.0 | 371M| 176 | - | 293 | 12k| 0 | 0 | 0 |1690k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
943.42/943.40 c 905s| 1610k|344655 | 0 | 0.0 | 371M| 176 | - | 293 | 12k| 0 | 0 | 0 |1707k| 0 | 3.000000e+00 | 7.500000e+01 |2400.00%
955.62/955.64 c 916s| 1620k|340262 | 0 | 0.0 | 371M| 176 | - | 293 | 14k| 0 | 0 | 0 |1723k| 0 | 3.000000e+00 | 7.500000e+01 |2400.00%
963.22/963.29 c 924s| 1630k|342067 | 0 | 0.0 | 370M| 176 | - | 293 | 13k| 0 | 0 | 0 |1734k| 0 | 3.000000e+00 | 7.500000e+01 |2400.00%
968.42/968.48 c 929s| 1640k|347383 | 0 | 0.0 | 374M| 176 | - | 293 | 14k| 0 | 0 | 0 |1744k| 0 | 6.000000e+00 | 7.500000e+01 |1150.00%
974.62/974.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
974.62/974.61 c 934s| 1650k|352164 | 0 | 0.0 | 379M| 176 | - | 293 | 16k| 0 | 0 | 0 |1756k| 0 | 6.000000e+00 | 7.500000e+01 |1150.00%
981.72/981.79 c 941s| 1660k|356468 | 0 | 0.0 | 384M| 176 | - | 293 | 18k| 0 | 0 | 0 |1768k| 0 | 6.000000e+00 | 7.500000e+01 |1150.00%
990.12/990.11 c 949s| 1670k|360175 | 0 | 0.0 | 389M| 176 | - | 293 | 19k| 0 | 0 | 0 |1781k| 0 | 6.000000e+00 | 7.500000e+01 |1150.00%
999.22/999.24 c 958s| 1680k|363579 | 0 | 0.0 | 393M| 176 | - | 293 | 20k| 0 | 0 | 0 |1795k| 0 | 6.000000e+00 | 7.500000e+01 |1150.00%
1009.12/1009.19 c 968s| 1690k|366421 | 0 | 0.0 | 398M| 176 | - | 293 | 21k| 0 | 0 | 0 |1810k| 0 | 6.000000e+00 | 7.500000e+01 |1150.00%
1019.22/1019.23 c 977s| 1700k|369197 | 0 | 0.0 | 402M| 176 | - | 293 | 22k| 0 | 0 | 0 |1824k| 0 | 6.000000e+00 | 7.500000e+01 |1150.00%
1029.32/1029.35 c 987s| 1710k|371764 | 0 | 0.0 | 406M| 176 | - | 293 | 22k| 0 | 0 | 0 |1838k| 0 | 6.000000e+00 | 7.500000e+01 |1150.00%
1039.92/1039.97 c 997s| 1720k|373836 | 0 | 0.0 | 411M| 176 | - | 293 | 23k| 0 | 0 | 0 |1853k| 0 | 6.000000e+00 | 7.500000e+01 |1150.00%
1051.53/1051.56 c 1008s| 1730k|375117 | 0 | 0.0 | 414M| 176 | - | 293 | 24k| 0 | 0 | 0 |1869k| 0 | 6.000000e+00 | 7.500000e+01 |1150.00%
1063.82/1063.88 c 1020s| 1740k|375302 | 0 | 0.0 | 418M| 176 | - | 293 | 26k| 0 | 0 | 0 |1886k| 0 | 6.000000e+00 | 7.500000e+01 |1150.00%
1079.22/1079.21 c 1035s| 1750k|373673 | 0 | 0.0 | 420M| 176 | - | 293 | 28k| 0 | 0 | 0 |1903k| 0 | 6.000000e+00 | 7.500000e+01 |1150.00%
1091.82/1091.83 c 1047s| 1760k|374766 | 0 | 0.0 | 419M| 176 | - | 293 | 19k| 0 | 0 | 0 |1919k| 0 | 6.000000e+00 | 7.500000e+01 |1150.00%
1099.43/1099.42 c 1055s| 1770k|378966 | 0 | 0.0 | 422M| 176 | - | 293 | 14k| 0 | 0 | 0 |1931k| 0 | 6.000000e+00 | 7.500000e+01 |1150.00%
1106.53/1106.57 c 1062s| 1780k|382104 | 0 | 0.0 | 425M| 176 | - | 293 | 16k| 0 | 0 | 0 |1945k| 0 | 6.000000e+00 | 7.500000e+01 |1150.00%
1118.92/1118.96 c 1074s| 1790k|378813 | 0 | 0.0 | 424M| 176 | - | 293 | 17k| 0 | 0 | 0 |1964k| 0 | 6.000000e+00 | 7.500000e+01 |1150.00%
1127.22/1127.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1127.22/1127.29 c 1082s| 1800k|381644 | 0 | 0.0 | 427M| 176 | - | 293 | 18k| 0 | 0 | 0 |1978k| 0 | 6.000000e+00 | 7.500000e+01 |1150.00%
1136.82/1136.81 c 1091s| 1810k|384484 | 0 | 0.0 | 433M| 176 | - | 293 | 22k| 0 | 0 | 0 |1994k| 0 | 6.000000e+00 | 7.500000e+01 |1150.00%
1147.93/1147.98 c 1102s| 1820k|387166 | 0 | 0.0 | 438M| 176 | - | 293 | 26k| 0 | 0 | 0 |2009k| 0 | 6.000000e+00 | 7.500000e+01 |1150.00%
1162.53/1162.57 c 1116s| 1830k|388896 | 0 | 0.0 | 443M| 176 | - | 293 | 31k| 0 | 0 | 0 |2025k| 0 | 6.000000e+00 | 7.500000e+01 |1150.00%
1180.12/1180.17 c 1133s| 1840k|390017 | 0 | 0.0 | 447M| 176 | - | 293 | 34k| 0 | 0 | 0 |2042k| 0 | 6.000000e+00 | 7.500000e+01 |1150.00%
1199.93/1199.95 c 1152s| 1850k|390750 | 0 | 0.0 | 451M| 176 | - | 293 | 38k| 0 | 0 | 0 |2059k| 0 | 6.000000e+00 | 7.500000e+01 |1150.00%
1221.93/1221.92 c 1174s| 1860k|390912 | 0 | 0.0 | 454M| 176 | - | 293 | 40k| 0 | 0 | 0 |2077k| 0 | 6.000000e+00 | 7.500000e+01 |1150.00%
1245.93/1245.91 c 1197s| 1870k|390546 | 0 | 0.0 | 458M| 176 | - | 293 | 42k| 0 | 0 | 0 |2095k| 0 | 6.000000e+00 | 7.500000e+01 |1150.00%
1269.93/1269.94 c 1221s| 1880k|390123 | 0 | 0.0 | 460M| 176 | - | 293 | 43k| 0 | 0 | 0 |2112k| 0 | 6.000000e+00 | 7.500000e+01 |1150.00%
1296.53/1296.50 c 1247s| 1890k|388539 | 0 | 0.0 | 461M| 176 | - | 293 | 43k| 0 | 0 | 0 |2131k| 0 | 6.000000e+00 | 7.500000e+01 |1150.00%
1322.74/1322.70 c 1273s| 1900k|386732 | 0 | 0.0 | 462M| 176 | - | 293 | 43k| 0 | 0 | 0 |2149k| 0 | 6.000000e+00 | 7.500000e+01 |1150.00%
1351.84/1351.83 c 1301s| 1910k|383162 | 0 | 0.0 | 461M| 176 | - | 293 | 43k| 0 | 0 | 0 |2168k| 0 | 6.000000e+00 | 7.500000e+01 |1150.00%
1385.03/1385.00 c 1334s| 1920k|377825 | 0 | 0.0 | 454M| 176 | - | 293 | 40k| 0 | 0 | 0 |2189k| 0 | 6.000000e+00 | 7.500000e+01 |1150.00%
1404.84/1404.84 c 1354s| 1930k|378169 | 0 | 0.0 | 454M| 176 | - | 293 | 31k| 0 | 0 | 0 |2207k| 0 | 6.000000e+00 | 7.500000e+01 |1150.00%
1424.93/1424.98 c 1373s| 1940k|377166 | 0 | 0.0 | 455M| 176 | - | 293 | 32k| 0 | 0 | 0 |2226k| 0 | 6.000000e+00 | 7.500000e+01 |1150.00%
1441.74/1441.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1441.74/1441.78 c 1390s| 1950k|377742 | 0 | 0.0 | 455M| 176 | - | 293 | 26k| 0 | 0 | 0 |2242k| 0 | 6.000000e+00 | 7.500000e+01 |1150.00%
1455.35/1455.35 c 1403s| 1960k|378986 | 0 | 0.0 | 456M| 176 | - | 293 | 23k| 0 | 0 | 0 |2258k| 0 | 6.000000e+00 | 7.500000e+01 |1150.00%
1472.44/1472.49 c 1420s| 1970k|378067 | 0 | 0.0 | 459M| 176 | - | 293 | 28k| 0 | 0 | 0 |2277k| 0 | 6.000000e+00 | 7.500000e+01 |1150.00%
1492.44/1492.40 c 1439s| 1980k|375800 | 0 | 0.0 | 459M| 176 | - | 293 | 31k| 0 | 0 | 0 |2299k| 0 | 6.000000e+00 | 7.500000e+01 |1150.00%
1513.65/1513.63 c 1460s| 1990k|374769 | 0 | 0.0 | 460M| 176 | - | 293 | 29k| 0 | 0 | 0 |2319k| 0 | 6.000000e+00 | 7.500000e+01 |1150.00%
1538.14/1538.15 c 1484s| 2000k|372546 | 0 | 0.0 | 462M| 176 | - | 293 | 34k| 0 | 0 | 0 |2339k| 0 | 6.000000e+00 | 7.500000e+01 |1150.00%
1568.84/1568.84 c 1514s| 2010k|369274 | 0 | 0.0 | 463M| 176 | - | 293 | 41k| 0 | 0 | 0 |2360k| 0 | 6.000000e+00 | 7.500000e+01 |1150.00%
1609.65/1609.69 c 1555s| 2020k|364058 | 0 | 0.0 | 461M| 176 | - | 293 | 48k| 0 | 0 | 0 |2382k| 0 | 6.000000e+00 | 7.500000e+01 |1150.00%
1660.05/1660.01 c 1605s| 2030k|355962 | 0 | 0.0 | 453M| 176 | - | 293 | 55k| 0 | 0 | 0 |2405k| 0 | 6.000000e+00 | 7.500000e+01 |1150.00%
1698.15/1698.19 c 1642s| 2040k|352865 | 0 | 0.0 | 444M| 176 | - | 293 | 37k| 0 | 0 | 0 |2426k| 0 | 6.000000e+00 | 7.500000e+01 |1150.00%
1734.54/1734.52 c 1678s| 2050k|347538 | 0 | 0.0 | 442M| 176 | - | 293 | 42k| 0 | 0 | 0 |2448k| 0 | 6.000000e+00 | 7.500000e+01 |1150.00%
1771.15/1771.16 c 1714s| 2060k|342705 | 0 | 0.0 | 437M| 176 | - | 293 | 44k| 0 | 0 | 0 |2468k| 0 | 6.000000e+00 | 7.500000e+01 |1150.00%
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.01 c
1800.05/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.01 c Solving Time (sec) : 1742.69
1800.05/1800.01 c Solving Nodes : 2069380
1800.05/1800.01 c Primal Bound : +7.50000000000000e+01 (15 solutions)
1800.05/1800.01 c Dual Bound : +6.00000000000000e+00
1800.05/1800.01 c Gap : 1150.00 %
1800.05/1800.01 s SATISFIABLE
1800.05/1800.01 v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148
1800.05/1800.01 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
1800.05/1800.01 v -x126 -x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
1800.05/1800.01 v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82
1800.05/1800.01 v -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57
1800.05/1800.01 v -x56 x55 -x54 -x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31
1800.05/1800.01 v -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5
1800.05/1800.01 v -x4 -x3 -x2 x1
1800.05/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.01 c Solving Time : 1742.69
1800.05/1800.01 c Original Problem :
1800.05/1800.01 c Problem name : HOME/instance-2693975-1277898831.wbo
1800.05/1800.01 c Variables : 297 (233 binary, 0 integer, 0 implicit integer, 64 continuous)
1800.05/1800.01 c Constraints : 166 initial, 166 maximal
1800.05/1800.01 c Presolved Problem :
1800.05/1800.01 c Problem name : t_HOME/instance-2693975-1277898831.wbo
1800.05/1800.01 c Variables : 293 (231 binary, 0 integer, 0 implicit integer, 62 continuous)
1800.05/1800.01 c Constraints : 158 initial, 56233 maximal
1800.05/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c dualfix : 0.00 4 0 0 0 0 0 0 0
1800.05/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c probing : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c indicator : 0.00 0 0 0 0 0 2 0 0
1800.05/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c linear : 0.00 0 0 0 62 0 6 2 0
1800.05/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c root node : - 0 - - 0 - - - -
1800.05/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c indicator : 62 0 5667784 0 1369284 26293 3564479 0 0 0
1800.05/1800.01 c setppc : 30 0 5928192 0 1424929 56993 6097839 0 0 0
1800.05/1800.01 c linear : 62 0 5871491 0 1424987 495182 27322483 0 0 0
1800.05/1800.01 c logicor : 4+ 0 2934064 0 1271471 275805 2410144 0 0 0
1800.05/1800.01 c bounddisjunction : 0+ 0 285078 0 0 0 29339 0 0 0
1800.05/1800.01 c countsols : 0 0 0 0 1425002 0 0 0 0 0
1800.05/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.01 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.01 c indicator : 5.57 0.00 3.89 0.00 1.68
1800.05/1800.01 c setppc : 18.62 0.00 14.39 0.00 4.23
1800.05/1800.01 c linear : 127.67 0.00 127.38 0.00 0.29
1800.05/1800.01 c logicor : 801.97 0.00 801.56 0.00 0.41
1800.05/1800.01 c bounddisjunction : 0.47 0.00 0.47 0.00 0.00
1800.05/1800.01 c countsols : 0.14 0.00 0.00 0.00 0.14
1800.05/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.01 c vbounds : 0.40 2 0 0
1800.05/1800.01 c rootredcost : 0.42 0 0 0
1800.05/1800.01 c pseudoobj : 19.26 5997083 42464 3282838
1800.05/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.01 c propagation : 50.68 870443 870086 4512412 25.7 241439 14.6 -
1800.05/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c pseudo solution : 0.01 180 180 921 27.4 64 13.9 -
1800.05/1800.01 c applied globally : - - - 2407008 18.2 - - -
1800.05/1800.01 c applied locally : - - - 80292 37.4 - - -
1800.05/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.01 c redcost : 0.00 0 0 0 0 0
1800.05/1800.01 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.01 c intobj : 0.00 0 0 0 0 0
1800.05/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.01 c gomory : 0.00 0 0 0 0 0
1800.05/1800.01 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.01 c cmir : 0.00 0 0 0 0 0
1800.05/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.01 c clique : 0.00 0 0 0 0 0
1800.05/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.01 c mcf : 0.00 0 0 0 0 0
1800.05/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.01 c Pricers : Time Calls Vars
1800.05/1800.01 c problem variables: 0.00 0 0
1800.05/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.01 c inference : 12.07 1424987 0 0 0 0 2849974
1800.05/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c random : 0.00 0 0 0 0 0 0
1800.05/1800.01 c Primal Heuristics : Time Calls Found
1800.05/1800.01 c LP solutions : 0.00 - 0
1800.05/1800.01 c pseudo solutions : 0.19 - 15
1800.05/1800.01 c oneopt : 0.32 0 0
1800.05/1800.01 c trivial : 0.01 2 0
1800.05/1800.01 c simplerounding : 0.00 0 0
1800.05/1800.01 c zirounding : 0.00 0 0
1800.05/1800.01 c rounding : 0.00 0 0
1800.05/1800.01 c shifting : 0.00 0 0
1800.05/1800.01 c intshifting : 0.00 0 0
1800.05/1800.01 c twoopt : 0.00 0 0
1800.05/1800.01 c fixandinfer : 0.00 0 0
1800.05/1800.01 c feaspump : 0.00 0 0
1800.05/1800.01 c coefdiving : 0.00 0 0
1800.05/1800.01 c pscostdiving : 0.00 0 0
1800.05/1800.01 c fracdiving : 0.00 0 0
1800.05/1800.01 c veclendiving : 0.00 0 0
1800.05/1800.01 c intdiving : 0.00 0 0
1800.05/1800.01 c actconsdiving : 0.00 0 0
1800.05/1800.01 c objpscostdiving : 0.00 0 0
1800.05/1800.01 c rootsoldiving : 0.00 0 0
1800.05/1800.01 c linesearchdiving : 0.00 0 0
1800.05/1800.01 c guideddiving : 0.00 0 0
1800.05/1800.01 c octane : 0.00 0 0
1800.05/1800.01 c rens : 0.00 0 0
1800.05/1800.01 c rins : 0.00 0 0
1800.05/1800.01 c localbranching : 0.00 0 0
1800.05/1800.01 c mutation : 0.00 0 0
1800.05/1800.01 c crossover : 0.00 0 0
1800.05/1800.01 c dins : 0.00 0 0
1800.05/1800.01 c undercover : 0.00 0 0
1800.05/1800.01 c nlp : 0.16 0 0
1800.05/1800.01 c trysol : 0.16 1 0
1800.05/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.01 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.01 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.01 c (at root node) : - 0 0 0.00 -
1800.05/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.01 c B&B Tree :
1800.05/1800.01 c number of runs : 1
1800.05/1800.01 c nodes : 2069380
1800.05/1800.01 c nodes (total) : 2069380
1800.05/1800.01 c nodes left : 339942
1800.05/1800.01 c max depth : 176
1800.05/1800.01 c max depth (total): 176
1800.05/1800.01 c backtracks : 667590 (32.3%)
1800.05/1800.01 c delayed cutoffs : 375599
1800.05/1800.01 c repropagations : 2241234 (10216673 domain reductions, 252539 cutoffs)
1800.05/1800.01 c avg switch length: 22.15
1800.05/1800.01 c switching time : 564.55
1800.05/1800.01 c Solution :
1800.05/1800.01 c Solutions found : 15 (15 improvements)
1800.05/1800.01 c First Solution : +6.44000000000000e+02 (in run 1, after 106158 nodes, 46.38 seconds, depth 92, found by <relaxation>)
1800.05/1800.01 c Primal Bound : +7.50000000000000e+01 (in run 1, after 1377832 nodes, 564.25 seconds, depth 75, found by <relaxation>)
1800.05/1800.01 c Dual Bound : +6.00000000000000e+00
1800.05/1800.01 c Gap : 1150.00 %
1800.05/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Root Iterations : 0
1801.04/1801.04 c Time complete: 1801.09.
OK 75
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693975-1277898831/watcher-2693975-1277898831 -o /tmp/evaluation-result-2693975-1277898831/solver-2693975-1277898831 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693975-1277898831.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.04 2.02 2.00 4/196 23516 /proc/meminfo: memFree=31152676/32950928 swapFree=67111528/67111528 [pid=23516] ppid=23514 vsize=8248 CPUtime=0 /proc/23516/stat : 23516 (pbscip.linux.x8) R 23514 23516 22951 0 -1 4202496 1545 0 0 0 0 0 0 0 25 0 1 0 165486616 8445952 1468 4089446400 4194304 7136930 140734960013504 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/23516/statm: 2062 1468 275 719 0 1341 0 [startup+0.0895561 s] /proc/loadavg: 2.04 2.02 2.00 4/196 23516 /proc/meminfo: memFree=31152676/32950928 swapFree=67111528/67111528 [pid=23516] ppid=23514 vsize=12996 CPUtime=0.08 /proc/23516/stat : 23516 (pbscip.linux.x8) R 23514 23516 22951 0 -1 4202496 4748 0 0 0 8 0 0 0 18 0 1 0 165486616 13307904 2519 4089446400 4194304 7136930 140734960013504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23516/statm: 3249 2519 395 719 0 2528 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 12996 [startup+0.100551 s] /proc/loadavg: 2.04 2.02 2.00 4/196 23516 /proc/meminfo: memFree=31152676/32950928 swapFree=67111528/67111528 [pid=23516] ppid=23514 vsize=12996 CPUtime=0.09 /proc/23516/stat : 23516 (pbscip.linux.x8) R 23514 23516 22951 0 -1 4202496 4782 0 0 0 9 0 0 0 18 0 1 0 165486616 13307904 2553 4089446400 4194304 7136930 140734960013504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23516/statm: 3249 2553 395 719 0 2528 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12996 [startup+0.30051 s] /proc/loadavg: 2.04 2.02 2.00 4/196 23516 /proc/meminfo: memFree=31152676/32950928 swapFree=67111528/67111528 [pid=23516] ppid=23514 vsize=15064 CPUtime=0.29 /proc/23516/stat : 23516 (pbscip.linux.x8) R 23514 23516 22951 0 -1 4202496 5275 0 0 0 28 1 0 0 18 0 1 0 165486616 15425536 3046 4089446400 4194304 7136930 140734960013504 18446744073709551615 4678888 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23516/statm: 3766 3046 395 719 0 3045 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15064 [startup+0.700435 s] /proc/loadavg: 2.04 2.02 2.00 4/196 23516 /proc/meminfo: memFree=31152676/32950928 swapFree=67111528/67111528 [pid=23516] ppid=23514 vsize=17988 CPUtime=0.69 /proc/23516/stat : 23516 (pbscip.linux.x8) R 23514 23516 22951 0 -1 4202496 6041 0 0 0 65 4 0 0 18 0 1 0 165486616 18419712 3812 4089446400 4194304 7136930 140734960013504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23516/statm: 4497 3812 395 719 0 3776 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17988 [startup+1.50029 s] /proc/loadavg: 2.04 2.02 2.00 3/197 23517 /proc/meminfo: memFree=31137416/32950928 swapFree=67111528/67111528 [pid=23516] ppid=23514 vsize=21616 CPUtime=1.49 /proc/23516/stat : 23516 (pbscip.linux.x8) R 23514 23516 22951 0 -1 4202496 6955 0 0 0 142 7 0 0 20 0 1 0 165486616 22134784 4726 4089446400 4194304 7136930 140734960013504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23516/statm: 5404 4726 395 719 0 4683 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21616 [startup+3.10099 s] /proc/loadavg: 2.04 2.02 2.00 3/197 23517 /proc/meminfo: memFree=31132952/32950928 swapFree=67111528/67111528 [pid=23516] ppid=23514 vsize=27936 CPUtime=3.09 /proc/23516/stat : 23516 (pbscip.linux.x8) R 23514 23516 22951 0 -1 4202496 8522 0 0 0 295 14 0 0 25 0 1 0 165486616 28606464 6293 4089446400 4194304 7136930 140734960013504 18446744073709551615 5958398 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23516/statm: 6984 6293 395 719 0 6263 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27936 [startup+6.3004 s] /proc/loadavg: 2.03 2.02 2.00 3/197 23517 /proc/meminfo: memFree=31124888/32950928 swapFree=67111528/67111528 [pid=23516] ppid=23514 vsize=35104 CPUtime=6.29 /proc/23516/stat : 23516 (pbscip.linux.x8) R 23514 23516 22951 0 -1 4202496 10329 0 0 0 607 22 0 0 25 0 1 0 165486616 35946496 8100 4089446400 4194304 7136930 140734960013504 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23516/statm: 8776 8100 395 719 0 8055 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 35104 [startup+12.7002 s] /proc/loadavg: 2.03 2.01 2.00 3/197 23517 /proc/meminfo: memFree=31115448/32950928 swapFree=67111528/67111528 [pid=23516] ppid=23514 vsize=43036 CPUtime=12.69 /proc/23516/stat : 23516 (pbscip.linux.x8) R 23514 23516 22951 0 -1 4202496 12295 0 0 0 1233 36 0 0 25 0 1 0 165486616 44068864 10066 4089446400 4194304 7136930 140734960013504 18446744073709551615 4221383 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/23516/statm: 10759 10066 395 719 0 10038 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 43036 [startup+25.5008 s] /proc/loadavg: 2.02 2.01 2.00 3/197 23518 /proc/meminfo: memFree=31103708/32950928 swapFree=67111528/67111528 [pid=23516] ppid=23514 vsize=55328 CPUtime=25.49 /proc/23516/stat : 23516 (pbscip.linux.x8) R 23514 23516 22951 0 -1 4202496 15327 0 0 0 2483 66 0 0 25 0 1 0 165486616 56655872 13075 4089446400 4194304 7136930 140734960013504 18446744073709551615 4999886 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/23516/statm: 13832 13075 395 719 0 13111 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 55328 [startup+51.1011 s] /proc/loadavg: 2.01 2.01 2.00 3/197 23519 /proc/meminfo: memFree=31083764/32950928 swapFree=67111528/67111528 [pid=23516] ppid=23514 vsize=74084 CPUtime=51.09 /proc/23516/stat : 23516 (pbscip.linux.x8) R 23514 23516 22951 0 -1 4202496 20127 0 0 0 4988 121 0 0 25 0 1 0 165486616 75862016 17875 4089446400 4194304 7136930 140734960013504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/23516/statm: 18521 17875 396 719 0 17800 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 74084 [startup+102.307 s] /proc/loadavg: 2.00 2.01 2.00 3/197 23520 /proc/meminfo: memFree=31060916/32950928 swapFree=67111528/67111528 [pid=23516] ppid=23514 vsize=95472 CPUtime=102.3 /proc/23516/stat : 23516 (pbscip.linux.x8) R 23514 23516 22951 0 -1 4202496 24926 0 0 0 10017 213 0 0 25 0 1 0 165486616 97763328 22674 4089446400 4194304 7136930 140734960013504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/23516/statm: 23868 22674 396 719 0 23147 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 95472 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 23521 /proc/meminfo: memFree=30999600/32950928 swapFree=67111528/67111528 [pid=23516] ppid=23514 vsize=151352 CPUtime=162.3 /proc/23516/stat : 23516 (pbscip.linux.x8) R 23514 23516 22951 0 -1 4202496 39053 0 0 0 15864 366 0 0 25 0 1 0 165486616 154984448 36801 4089446400 4194304 7136930 140734960013504 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/23516/statm: 37838 36801 396 719 0 37117 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 151352 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 23523 /proc/meminfo: memFree=30870948/32950928 swapFree=67111528/67111528 [pid=23516] ppid=23514 vsize=257556 CPUtime=222.29 /proc/23516/stat : 23516 (pbscip.linux.x8) R 23514 23516 22951 0 -1 4202496 65063 0 0 0 21651 578 0 0 25 0 1 0 165486616 263737344 62811 4089446400 4194304 7136930 140734960013504 18446744073709551615 5000143 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/23516/statm: 64389 62811 396 719 0 63668 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 257556 [startup+282.3 s] /proc/loadavg: 2.07 2.02 2.00 3/197 23594 /proc/meminfo: memFree=30996600/32950928 swapFree=67111528/67111528 [pid=23516] ppid=23514 vsize=340388 CPUtime=282.3 /proc/23516/stat : 23516 (pbscip.linux.x8) R 23514 23516 22951 0 -1 4202496 85988 0 0 0 27347 883 0 0 25 0 1 0 165486616 348557312 83736 4089446400 4194304 7136930 140734960013504 18446744073709551615 4999678 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23516/statm: 85097 83736 398 719 0 84376 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 340388 [startup+342.301 s] /proc/loadavg: 2.02 2.01 2.00 3/197 23595 /proc/meminfo: memFree=30899660/32950928 swapFree=67111528/67111528 [pid=23516] ppid=23514 vsize=410256 CPUtime=342.3 /proc/23516/stat : 23516 (pbscip.linux.x8) R 23514 23516 22951 0 -1 4202496 103625 0 0 0 32824 1406 0 0 25 0 1 0 165486616 420102144 101373 4089446400 4194304 7136930 140734960013504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23516/statm: 102564 101373 398 719 0 101843 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 410256 [startup+402.301 s] /proc/loadavg: 2.01 2.00 2.00 3/197 23597 /proc/meminfo: memFree=30849388/32950928 swapFree=67111528/67111528 [pid=23516] ppid=23514 vsize=442888 CPUtime=402.3 /proc/23516/stat : 23516 (pbscip.linux.x8) R 23514 23516 22951 0 -1 4202496 111708 0 0 0 38394 1836 0 0 25 0 1 0 165486616 453517312 109456 4089446400 4194304 7136930 140734960013504 18446744073709551615 4661200 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23516/statm: 110722 109456 398 719 0 110001 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 442888 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 23607 /proc/meminfo: memFree=30802300/32950928 swapFree=67111528/67111528 [pid=23516] ppid=23514 vsize=473256 CPUtime=462.3 /proc/23516/stat : 23516 (pbscip.linux.x8) R 23514 23516 22951 0 -1 4202496 119217 0 0 0 44027 2203 0 0 25 0 1 0 165486616 484614144 116965 4089446400 4194304 7136930 140734960013504 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23516/statm: 118314 116965 398 719 0 117593 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 473256 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 23609 /proc/meminfo: memFree=30740604/32950928 swapFree=67111528/67111528 [pid=23516] ppid=23514 vsize=497992 CPUtime=522.3 /proc/23516/stat : 23516 (pbscip.linux.x8) R 23514 23516 22951 0 -1 4202496 125444 0 0 0 49694 2536 0 0 25 0 1 0 165486616 509943808 123192 4089446400 4194304 7136930 140734960013504 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23516/statm: 124498 123192 398 719 0 123777 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 497992 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 23611 /proc/meminfo: memFree=30708068/32950928 swapFree=67111528/67111528 [pid=23516] ppid=23514 vsize=521812 CPUtime=582.31 /proc/23516/stat : 23516 (pbscip.linux.x8) R 23514 23516 22951 0 -1 4202496 131262 0 0 0 55424 2807 0 0 25 0 1 0 165486616 534335488 129010 4089446400 4194304 7136930 140734960013504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23516/statm: 130453 129010 398 719 0 129732 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 521812 [startup+642.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 23612 /proc/meminfo: memFree=30688312/32950928 swapFree=67111528/67111528 [pid=23516] ppid=23514 vsize=522680 CPUtime=642.31 /proc/23516/stat : 23516 (pbscip.linux.x8) R 23514 23516 22951 0 -1 4202496 131420 0 0 0 61210 3021 0 0 25 0 1 0 165486616 535224320 129168 4089446400 4194304 7136930 140734960013504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23516/statm: 130670 129168 398 719 0 129949 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 522680 [startup+702.3 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 23620 /proc/meminfo: memFree=30610992/32950928 swapFree=67111528/67111528 [pid=23516] ppid=23514 vsize=527596 CPUtime=942.32 /proc/23516/stat : 23516 (pbscip.linux.x8) R 23514 23516 22951 0 -1 4202496 132468 0 0 0 90365 3867 0 0 25 0 1 0 165486616 540258304 130216 4089446400 4194304 7136930 140734960013504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23516/statm: 131899 130216 398 719 0 131178 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 527596 [startup+1002.3 s] /proc/loadavg: 2.03 2.01 2.00 3/197 23622 /proc/meminfo: memFree=30608692/32950928 swapFree=67111528/67111528 [pid=23516] ppid=23514 vsize=527596 CPUtime=1002.32 /proc/23516/stat : 23516 (pbscip.linux.x8) R 23514 23516 22951 0 -1 4202496 132473 0 0 0 96089 4143 0 0 25 0 1 0 165486616 540258304 130221 4089446400 4194304 7136930 140734960013504 18446744073709551615 5004476 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23516/statm: 131899 130221 398 719 0 131178 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 527596 [startup+1062.3 s] /proc/loadavg: 2.01 2.01 2.00 3/197 23623 /proc/meminfo: memFree=30585704/32950928 swapFree=67111528/67111528 [pid=23516] ppid=23514 vsize=536312 CPUtime=1062.33 /proc/23516/stat : 23516 (pbscip.linux.x8) R 23514 23516 22951 0 -1 4202496 134678 0 0 0 101885 4348 0 0 25 0 1 0 165486616 549183488 132426 4089446400 4194304 7136930 140734960013504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23516/statm: 134078 132426 398 719 0 133357 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 536312 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 23625 /proc/meminfo: memFree=30563716/32950928 swapFree=67111528/67111528 [pid=23516] ppid=23514 vsize=539388 CPUtime=1122.33 /proc/23516/stat : 23516 (pbscip.linux.x8) R 23514 23516 22951 0 -1 4202496 135462 0 0 0 107670 4563 0 0 25 0 1 0 165486616 552333312 133210 4089446400 4194304 7136930 140734960013504 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23516/statm: 134847 133210 398 719 0 134126 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 539388 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 23627 /proc/meminfo: memFree=30540364/32950928 swapFree=67111528/67111528 [pid=23516] ppid=23514 vsize=551080 CPUtime=1182.32 /proc/23516/stat : 23516 (pbscip.linux.x8) R 23514 23516 22951 0 -1 4202496 138384 0 0 0 113500 4732 0 0 25 0 1 0 165486616 564305920 136132 4089446400 4194304 7136930 140734960013504 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23516/statm: 137770 136132 398 719 0 137049 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 551080 [startup+1242.3 s] /proc/loadavg: 2.07 2.02 2.00 3/197 23631 /proc/meminfo: memFree=30519324/32950928 swapFree=67111528/67111528 [pid=23516] ppid=23514 vsize=566584 CPUtime=1242.33 /proc/23516/stat : 23516 (pbscip.linux.x8) R 23514 23516 22951 0 -1 4202496 142277 0 0 0 119383 4850 0 0 25 0 1 0 165486616 580182016 140025 4089446400 4194304 7136930 140734960013504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23516/statm: 141646 140025 398 719 0 140925 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 566584 [startup+1302.3 s] /proc/loadavg: 2.02 2.01 2.00 3/197 23633 /proc/meminfo: memFree=30507148/32950928 swapFree=67111528/67111528 [pid=23516] ppid=23514 vsize=571336 CPUtime=1302.34 /proc/23516/stat : 23516 (pbscip.linux.x8) R 23514 23516 22951 0 -1 4202496 143452 0 0 0 125275 4959 0 0 25 0 1 0 165486616 585048064 141200 4089446400 4194304 7136930 140734960013504 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23516/statm: 142834 141200 398 719 0 142113 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 571336 [startup+1362.3 s] /proc/loadavg: 2.01 2.00 2.00 3/197 23634 /proc/meminfo: memFree=30505004/32950928 swapFree=67111528/67111528 [pid=23516] ppid=23514 vsize=571336 CPUtime=1362.34 /proc/23516/stat : 23516 (pbscip.linux.x8) R 23514 23516 22951 0 -1 4202496 143456 0 0 0 131179 5055 0 0 25 0 1 0 165486616 585048064 141204 4089446400 4194304 7136930 140734960013504 18446744073709551615 4209174 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23516/statm: 142834 141204 398 719 0 142113 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 571336 [startup+1422.31 s] /proc/loadavg: 2.10 2.04 2.01 3/197 23636 /proc/meminfo: memFree=30495796/32950928 swapFree=67111528/67111528 [pid=23516] ppid=23514 vsize=572508 CPUtime=1422.34 /proc/23516/stat : 23516 (pbscip.linux.x8) R 23514 23516 22951 0 -1 4202496 143543 0 0 0 137075 5159 0 0 25 0 1 0 165486616 586248192 141291 4089446400 4194304 7136930 140734960013504 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23516/statm: 143127 141291 398 719 0 142406 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 572508 [startup+1482.3 s] /proc/loadavg: 2.04 2.03 2.01 3/197 23638 /proc/meminfo: memFree=30486588/32950928 swapFree=67111528/67111528 [pid=23516] ppid=23514 vsize=573532 CPUtime=1482.33 /proc/23516/stat : 23516 (pbscip.linux.x8) R 23514 23516 22951 0 -1 4202496 143799 0 0 0 142930 5303 0 0 25 0 1 0 165486616 587296768 141547 4089446400 4194304 7136930 140734960013504 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23516/statm: 143383 141547 398 719 0 142662 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 573532 [startup+1542.3 s] /proc/loadavg: 2.06 2.04 2.00 3/197 23639 /proc/meminfo: memFree=30476760/32950928 swapFree=67111528/67111528 [pid=23516] ppid=23514 vsize=573532 CPUtime=1542.34 /proc/23516/stat : 23516 (pbscip.linux.x8) R 23514 23516 22951 0 -1 4202496 143810 0 0 0 148821 5413 0 0 25 0 1 0 165486616 587296768 141558 4089446400 4194304 7136930 140734960013504 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23516/statm: 143383 141558 398 719 0 142662 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 573532 [startup+1602.3 s] /proc/loadavg: 2.02 2.03 2.00 3/197 23641 /proc/meminfo: memFree=30471776/32950928 swapFree=67111528/67111528 [pid=23516] ppid=23514 vsize=575848 CPUtime=1602.34 /proc/23516/stat : 23516 (pbscip.linux.x8) R 23514 23516 22951 0 -1 4202496 144396 0 0 0 154741 5493 0 0 25 0 1 0 165486616 589668352 142144 4089446400 4194304 7136930 140734960013504 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23516/statm: 143962 142144 398 719 0 143241 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 575848 [startup+1662.3 s] /proc/loadavg: 2.00 2.02 2.00 3/197 23642 /proc/meminfo: memFree=30466032/32950928 swapFree=67111528/67111528 [pid=23516] ppid=23514 vsize=577060 CPUtime=1662.34 /proc/23516/stat : 23516 (pbscip.linux.x8) R 23514 23516 22951 0 -1 4202496 144571 0 0 0 160678 5556 0 0 25 0 1 0 165486616 590909440 142319 4089446400 4194304 7136930 140734960013504 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23516/statm: 144265 142319 398 719 0 143544 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 577060 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 2.00 3/197 23644 /proc/meminfo: memFree=30454968/32950928 swapFree=67111528/67111528 [pid=23516] ppid=23514 vsize=577612 CPUtime=1722.34 /proc/23516/stat : 23516 (pbscip.linux.x8) R 23514 23516 22951 0 -1 4202496 144664 0 0 0 166605 5629 0 0 25 0 1 0 165486616 591474688 142412 4089446400 4194304 7136930 140734960013504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23516/statm: 144403 142412 398 719 0 143682 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 577612 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.00 3/197 23646 /proc/meminfo: memFree=30447872/32950928 swapFree=67111528/67111528 [pid=23516] ppid=23514 vsize=577612 CPUtime=1782.35 /proc/23516/stat : 23516 (pbscip.linux.x8) R 23514 23516 22951 0 -1 4202496 144665 0 0 0 172523 5712 0 0 25 0 1 0 165486616 591474688 142413 4089446400 4194304 7136930 140734960013504 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23516/statm: 144403 142413 398 719 0 143682 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 577612 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.01 2.00 3/197 23646 /proc/meminfo: memFree=30448116/32950928 swapFree=67111528/67111528 [pid=23516] ppid=23514 vsize=577612 CPUtime=1800.05 /proc/23516/stat : 23516 (pbscip.linux.x8) R 23514 23516 22951 0 -1 4202496 144665 0 0 0 174268 5737 0 0 25 0 1 0 165486616 591474688 142413 4089446400 4194304 7136930 140734960013504 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23516/statm: 144403 142413 398 719 0 143682 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 577612 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.00 2.01 2.00 3/198 23647 /proc/meminfo: memFree=30447860/32950928 swapFree=67111528/67111528 [pid=23516] ppid=23514 vsize=577612 CPUtime=1800.65 /proc/23516/stat : 23516 (pbscip.linux.x8) R 23514 23516 22951 0 -1 4202496 144673 0 0 0 174328 5737 0 0 18 0 1 0 165486616 591474688 142421 4089446400 4194304 7136930 140734960013504 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/23516/statm: 144403 142421 403 719 0 143682 0 Current children cumulated CPU time (s) 1800.65 Current children cumulated vsize (KiB) 577612 [startup+1801 s] /proc/loadavg: 2.00 2.01 2.00 3/198 23647 /proc/meminfo: memFree=30447860/32950928 swapFree=67111528/67111528 [pid=23516] ppid=23514 vsize=512808 CPUtime=1801.04 /proc/23516/stat : 23516 (pbscip.linux.x8) R 23514 23516 22951 0 -1 4202496 144673 0 0 0 174367 5737 0 0 19 0 1 0 165486616 525115392 126221 4089446400 4194304 7136930 140734960013504 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/23516/statm: 128202 126221 403 719 0 127481 0 Current children cumulated CPU time (s) 1801.04 Current children cumulated vsize (KiB) 512808 Child status: 0 Real time (s): 1801.05 CPU time (s): 1801.1 CPU user time (s): 1743.71 CPU system time (s): 57.3973 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 577612 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1743.71 system time used= 57.3973 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 144680 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= 4 involuntary context switches= 3723 runsolver used 3.15052 second user time and 6.44602 second system time The end
Begin job on node113 at 2010-06-30 13:53:51 IDJOB=2693975 IDBENCH=78848 IDSOLVER=1206 FILE ID=node113/2693975-1277898831 PBS_JOBID= 11197153 Free space on /tmp= 74212 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/wnqueen/normalized-t2001.13queen13.1110974372--soft-33-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693975-1277898831/watcher-2693975-1277898831 -o /tmp/evaluation-result-2693975-1277898831/solver-2693975-1277898831 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693975-1277898831.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9e79fcc5962892fd65131f45b2c5bc52 RANDOM SEED=2124685687 node113.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.812 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.62 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.812 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 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.812 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.812 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.812 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.812 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.812 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.812 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: 31153204 kB Buffers: 179564 kB Cached: 1028764 kB SwapCached: 0 kB Active: 980516 kB Inactive: 672196 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31153204 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3372 kB Writeback: 0 kB AnonPages: 444508 kB Mapped: 20388 kB Slab: 79200 kB PageTables: 6052 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1654644 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 node113 at 2010-06-30 14:23:53