Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | MSAT (TO) | 1802.13 | 1802.09 |
| Name | /SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-floppy1-6.ucl--soft-0-100-0.wbo |
| MD5SUM | b1fb405af1ad97be8e8be6f605703dc4 |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.023995 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 719 |
| Total number of constraints | 593 |
| Number of soft constraints | 593 |
| Number of constraints which are clauses | 371 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 222 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 19 |
| Top cost | 31065 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 31064 |
| Biggest number in a constraint | 773 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 2306 |
| Number of bits of the biggest sum of numbers | 12 |
| 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: SoPlex 1.4.2] [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-2692497-1277931661.wbo>
0.00/0.01 c original problem has 1905 variables (1312 bin, 0 int, 0 impl, 593 cont) and 1187 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 o 31064
0.00/0.02 c feasible solution found by trivial heuristic, objective value 3.106400e+04
0.00/0.02 c presolving:
0.00/0.03 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 115 chg sides, 230 chg coeffs, 0 upgd conss, 593 impls, 0 clqs
0.00/0.03 c (round 2) 0 del vars, 1 del conss, 593 chg bounds, 115 chg sides, 230 chg coeffs, 0 upgd conss, 593 impls, 0 clqs
0.00/0.03 c (round 3) 0 del vars, 1 del conss, 593 chg bounds, 115 chg sides, 230 chg coeffs, 1 upgd conss, 593 impls, 0 clqs
0.00/0.05 c (0.0s) probing: 101/1312 (7.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.05 c presolving (4 rounds):
0.00/0.05 c 0 deleted vars, 1 deleted constraints, 593 tightened bounds, 0 added holes, 115 changed sides, 230 changed coefficients
0.00/0.05 c 594 implications, 0 cliques
0.00/0.05 c presolved problem has 1905 variables (1312 bin, 0 int, 0 impl, 593 cont) and 1186 constraints
0.00/0.05 c 593 constraints of type <indicator>
0.00/0.05 c 1 constraints of type <varbound>
0.00/0.05 c 592 constraints of type <linear>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.03
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 1.2.1.2
0.00/0.05 c
0.00/0.05 c # frequency for displaying node information lines
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.05 c display/freq = 10000
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/time = 1799.99
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/memory = 3420
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify inequalities
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/linear/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify knapsacks
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c separating/rapidlearning/freq = 0
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.05 c
0.00/0.05 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.05 c t 0.0s| 1 | 0 | 0 | - |5697k| 0 | 0 |1905 |1186 |1905 | 0 | 0 | 0 | 0 | 0.000000e+00 | 3.106400e+04 | Inf
0.00/0.06 c 0.0s| 1 | 0 | 102 | - |5842k| 0 | 90 |1905 |1186 |1905 | 105 | 105 | 0 | 0 | 0.000000e+00 | 3.106400e+04 | Inf
0.00/0.06 o 30969
0.00/0.06 c y 0.0s| 1 | 0 | 102 | - |5880k| 0 | 90 |1905 |1186 |1905 | 105 | 105 | 0 | 0 | 0.000000e+00 | 3.096900e+04 | Inf
0.00/0.08 c 0.1s| 1 | 0 | 205 | - |6043k| 0 | 98 |1905 |1186 |1905 | 245 | 245 | 0 | 0 | 0.000000e+00 | 3.096900e+04 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 386 | - |6220k| 0 | 171 |1905 |1186 |1905 | 330 | 330 | 0 | 0 | 0.000000e+00 | 3.096900e+04 | Inf
0.09/0.17 c 0.1s| 1 | 0 | 470 | - |6393k| 0 | 213 |1905 |1186 |1905 | 398 | 398 | 0 | 0 | 0.000000e+00 | 3.096900e+04 | Inf
0.19/0.24 c 0.2s| 1 | 0 | 553 | - |6524k| 0 | 225 |1905 |1186 |1905 | 452 | 452 | 0 | 0 | 0.000000e+00 | 3.096900e+04 | Inf
0.29/0.33 c 0.3s| 1 | 0 | 719 | - |6630k| 0 | 249 |1905 |1186 |1905 | 509 | 509 | 0 | 0 | 0.000000e+00 | 3.096900e+04 | Inf
0.49/0.50 c 0.5s| 1 | 2 | 1111 | - |6660k| 0 | 249 |1905 |1186 |1905 | 509 | 509 | 0 | 33 | 0.000000e+00 | 3.096900e+04 | Inf
16.39/16.49 c 15.5s| 10000 | 9995 | 47118 | 4.6 | 16M| 321 | 43 |1905 |1190 |1905 | 338 |2164 | 4 |1650 | 0.000000e+00 | 3.096900e+04 | Inf
24.79/24.80 c 23.2s| 20000 | 19995 | 82987 | 4.1 | 26M| 349 | 7 |1905 |1190 |1905 | 356 |3941 | 4 |1978 | 0.000000e+00 | 3.096900e+04 | Inf
32.59/32.65 c 30.6s| 30000 | 29995 |107466 | 3.6 | 36M| 365 | 9 |1905 |1190 |1905 | 358 |5801 | 4 |2041 | 0.000000e+00 | 3.096900e+04 | Inf
40.90/40.93 c 38.4s| 40000 | 39995 |131806 | 3.3 | 47M| 371 | 11 |1905 |1190 |1905 | 358 |7654 | 4 |2455 | 0.000000e+00 | 3.096900e+04 | Inf
48.69/48.75 c 45.7s| 50000 | 49991 |146905 | 2.9 | 58M| 481 | 0 |1905 |1192 |1905 | 374 |9284 | 6 |2502 | 0.000000e+00 | 3.096900e+04 | Inf
56.59/56.65 c 53.2s| 60000 | 59989 |157377 | 2.6 | 69M| 483 | 0 |1905 |1194 |1905 | 372 | 10k| 8 |2661 | 0.000000e+00 | 3.096900e+04 | Inf
64.49/64.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.49/64.58 c 60.6s| 70000 | 69989 |168866 | 2.4 | 79M| 483 | 0 |1905 |1194 |1905 | 372 | 11k| 8 |2816 | 0.000000e+00 | 3.096900e+04 | Inf
72.50/72.52 c 68.1s| 80000 | 79989 |179872 | 2.2 | 89M| 483 | 0 |1905 |1194 |1905 | 372 | 13k| 8 |2955 | 0.000000e+00 | 3.096900e+04 | Inf
80.10/80.15 c 75.3s| 90000 | 89989 |186322 | 2.1 | 100M| 495 | 5 |1905 |1194 |1905 | 356 | 14k| 8 |2958 | 0.000000e+00 | 3.096900e+04 | Inf
88.00/88.05 c 82.8s|100000 | 99989 |197600 | 2.0 | 110M| 497 | 0 |1905 |1194 |1905 | 368 | 15k| 8 |3078 | 0.000000e+00 | 3.096900e+04 | Inf
97.40/97.40 c 91.5s|110000 |109989 |254355 | 2.3 | 120M| 497 | 0 |1905 |1194 |1905 | 358 | 16k| 8 |3367 | 0.000000e+00 | 3.096900e+04 | Inf
104.99/105.09 c 98.8s|120000 |119989 |269115 | 2.2 | 130M| 497 | 0 |1905 |1194 |1905 | 372 | 17k| 8 |3375 | 0.000000e+00 | 3.096900e+04 | Inf
112.80/112.82 c 106s|130000 |129989 |286209 | 2.2 | 140M| 497 | 0 |1905 |1194 |1905 | 374 | 19k| 8 |3383 | 0.000000e+00 | 3.096900e+04 | Inf
120.39/120.47 c 113s|140000 |139989 |297471 | 2.1 | 150M| 497 | 0 |1905 |1194 |1905 | 368 | 20k| 8 |3442 | 0.000000e+00 | 3.096900e+04 | Inf
128.09/128.14 c 120s|150000 |149989 |307494 | 2.0 | 160M| 497 | 0 |1905 |1194 |1905 | 367 | 21k| 8 |3492 | 0.000000e+00 | 3.096900e+04 | Inf
135.70/135.79 c 128s|160000 |159989 |315565 | 2.0 | 170M| 497 | 0 |1905 |1194 |1905 | 369 | 22k| 8 |3583 | 0.000000e+00 | 3.096900e+04 | Inf
143.40/143.40 c 135s|170000 |169989 |323647 | 1.9 | 181M| 497 | 0 |1905 |1194 |1905 | 365 | 23k| 8 |3629 | 0.000000e+00 | 3.096900e+04 | Inf
150.99/151.03 c 142s|180000 |179989 |331551 | 1.8 | 191M| 497 | 0 |1905 |1194 |1905 | 368 | 25k| 8 |3682 | 0.000000e+00 | 3.096900e+04 | Inf
158.59/158.63 c 149s|190000 |189989 |339963 | 1.8 | 201M| 497 | 0 |1905 |1194 |1905 | 369 | 26k| 8 |3697 | 0.000000e+00 | 3.096900e+04 | Inf
166.20/166.23 c 156s|200000 |199989 |347993 | 1.7 | 211M| 497 | 0 |1905 |1194 |1905 | 369 | 27k| 8 |3697 | 0.000000e+00 | 3.096900e+04 | Inf
173.80/173.88 c 164s|210000 |209989 |356367 | 1.7 | 221M| 497 | 0 |1905 |1194 |1905 | 370 | 28k| 8 |3698 | 0.000000e+00 | 3.096900e+04 | Inf
181.50/181.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
181.50/181.52 c 171s|220000 |219989 |364354 | 1.7 | 232M| 497 | 0 |1905 |1193 |1905 | 370 | 30k| 8 |3699 | 0.000000e+00 | 3.096900e+04 | Inf
189.10/189.19 c 178s|230000 |229989 |377153 | 1.6 | 242M| 497 | 0 |1905 |1193 |1905 | 363 | 31k| 8 |3701 | 0.000000e+00 | 3.096900e+04 | Inf
196.80/196.83 c 185s|240000 |239989 |386090 | 1.6 | 252M| 497 | 0 |1905 |1193 |1905 | 364 | 32k| 8 |3708 | 0.000000e+00 | 3.096900e+04 | Inf
204.39/204.49 c 193s|250000 |249989 |395302 | 1.6 | 262M| 497 | 0 |1905 |1192 |1905 | 367 | 33k| 8 |3713 | 0.000000e+00 | 3.096900e+04 | Inf
212.10/212.14 c 200s|260000 |259989 |403550 | 1.5 | 273M| 497 | 0 |1905 |1192 |1905 | 368 | 34k| 8 |3713 | 0.000000e+00 | 3.096900e+04 | Inf
219.70/219.80 c 207s|270000 |269989 |411388 | 1.5 | 283M| 497 | 0 |1905 |1192 |1905 | 367 | 35k| 8 |3713 | 0.000000e+00 | 3.096900e+04 | Inf
227.40/227.45 c 214s|280000 |279989 |418835 | 1.5 | 293M| 497 | 0 |1905 |1192 |1905 | 367 | 36k| 8 |3713 | 0.000000e+00 | 3.096900e+04 | Inf
235.10/235.11 c 222s|290000 |289989 |426277 | 1.5 | 303M| 497 | 0 |1905 |1192 |1905 | 368 | 38k| 8 |3713 | 0.000000e+00 | 3.096900e+04 | Inf
242.70/242.78 c 229s|300000 |299989 |433604 | 1.4 | 314M| 497 | 0 |1905 |1192 |1905 | 368 | 39k| 8 |3713 | 0.000000e+00 | 3.096900e+04 | Inf
250.40/250.45 c 236s|310000 |309989 |441082 | 1.4 | 324M| 497 | 0 |1905 |1192 |1905 | 368 | 40k| 8 |3713 | 0.000000e+00 | 3.096900e+04 | Inf
258.10/258.14 c 243s|320000 |319989 |448349 | 1.4 | 334M| 497 | 0 |1905 |1192 |1905 | 368 | 41k| 8 |3743 | 0.000000e+00 | 3.096900e+04 | Inf
265.79/265.81 c 251s|330000 |329989 |455789 | 1.4 | 344M| 497 | 0 |1905 |1192 |1905 | 368 | 43k| 8 |3750 | 0.000000e+00 | 3.096900e+04 | Inf
273.40/273.48 c 258s|340000 |339989 |463135 | 1.4 | 355M| 497 | 0 |1905 |1192 |1905 | 368 | 44k| 8 |3750 | 0.000000e+00 | 3.096900e+04 | Inf
281.09/281.16 c 265s|350000 |349989 |470519 | 1.3 | 365M| 497 | 0 |1905 |1192 |1905 | 369 | 45k| 8 |3750 | 0.000000e+00 | 3.096900e+04 | Inf
288.80/288.85 c 272s|360000 |359989 |477967 | 1.3 | 375M| 497 | 0 |1905 |1192 |1905 | 368 | 46k| 8 |3774 | 0.000000e+00 | 3.096900e+04 | Inf
296.50/296.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
296.50/296.52 c 280s|370000 |369989 |485328 | 1.3 | 386M| 497 | 0 |1905 |1192 |1905 | 368 | 47k| 8 |3788 | 0.000000e+00 | 3.096900e+04 | Inf
304.39/304.44 c 287s|380000 |379987 |494052 | 1.3 | 396M| 497 | 0 |1905 |1193 |1905 | 370 | 49k| 9 |4052 | 0.000000e+00 | 3.096900e+04 | Inf
312.00/312.09 c 294s|390000 |389987 |500421 | 1.3 | 406M| 497 | 0 |1905 |1193 |1905 | 369 | 50k| 9 |4062 | 0.000000e+00 | 3.096900e+04 | Inf
319.70/319.72 c 302s|400000 |399987 |506361 | 1.3 | 416M| 497 | 0 |1905 |1193 |1905 | 367 | 51k| 9 |4062 | 0.000000e+00 | 3.096900e+04 | Inf
327.30/327.38 c 309s|410000 |409987 |512342 | 1.2 | 427M| 497 | 0 |1905 |1193 |1905 | 369 | 52k| 9 |4062 | 0.000000e+00 | 3.096900e+04 | Inf
334.99/335.03 c 316s|420000 |419987 |518679 | 1.2 | 437M| 497 | 0 |1905 |1193 |1905 | 367 | 53k| 9 |4063 | 0.000000e+00 | 3.096900e+04 | Inf
342.60/342.68 c 323s|430000 |429987 |524860 | 1.2 | 447M| 497 | 0 |1905 |1193 |1905 | 367 | 55k| 9 |4098 | 0.000000e+00 | 3.096900e+04 | Inf
350.29/350.30 c 330s|440000 |439987 |530644 | 1.2 | 457M| 497 | 0 |1905 |1193 |1905 | 367 | 56k| 9 |4098 | 0.000000e+00 | 3.096900e+04 | Inf
357.90/357.94 c 338s|450000 |449987 |537139 | 1.2 | 468M| 497 | 0 |1905 |1193 |1905 | 369 | 57k| 9 |4111 | 0.000000e+00 | 3.096900e+04 | Inf
365.50/365.56 c 345s|460000 |459987 |543434 | 1.2 | 478M| 497 | 0 |1905 |1193 |1905 | 367 | 58k| 9 |4113 | 0.000000e+00 | 3.096900e+04 | Inf
373.10/373.16 c 352s|470000 |469987 |549426 | 1.2 | 488M| 497 | 0 |1905 |1193 |1905 | 367 | 60k| 9 |4113 | 0.000000e+00 | 3.096900e+04 | Inf
380.80/380.84 c 359s|480000 |479987 |555386 | 1.2 | 499M| 497 | 0 |1905 |1193 |1905 | 371 | 61k| 9 |4160 | 0.000000e+00 | 3.096900e+04 | Inf
388.40/388.46 c 366s|490000 |489987 |561829 | 1.1 | 509M| 497 | 0 |1905 |1193 |1905 | 371 | 62k| 9 |4176 | 0.000000e+00 | 3.096900e+04 | Inf
396.00/396.05 c 374s|500000 |499987 |567962 | 1.1 | 519M| 497 | 0 |1905 |1193 |1905 | 367 | 63k| 9 |4177 | 0.000000e+00 | 3.096900e+04 | Inf
403.60/403.66 c 381s|510000 |509987 |573972 | 1.1 | 529M| 497 | 0 |1905 |1193 |1905 | 371 | 64k| 9 |4183 | 0.000000e+00 | 3.096900e+04 | Inf
411.30/411.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
411.30/411.32 c 388s|520000 |519987 |580723 | 1.1 | 540M| 497 | 0 |1905 |1193 |1905 | 367 | 66k| 9 |4192 | 0.000000e+00 | 3.096900e+04 | Inf
419.20/419.23 c 396s|530000 |529987 |589775 | 1.1 | 550M| 497 | 0 |1905 |1192 |1905 | 367 | 67k| 9 |4445 | 0.000000e+00 | 3.096900e+04 | Inf
426.90/426.91 c 403s|540000 |539987 |599758 | 1.1 | 560M| 497 | 0 |1905 |1192 |1905 | 366 | 68k| 9 |4480 | 0.000000e+00 | 3.096900e+04 | Inf
434.60/434.60 c 410s|550000 |549987 |608547 | 1.1 | 570M| 497 | 0 |1905 |1192 |1905 | 369 | 69k| 9 |4528 | 0.000000e+00 | 3.096900e+04 | Inf
442.20/442.28 c 417s|560000 |559987 |617122 | 1.1 | 581M| 497 | 0 |1905 |1192 |1905 | 366 | 70k| 9 |4531 | 0.000000e+00 | 3.096900e+04 | Inf
449.91/449.93 c 424s|570000 |569987 |627288 | 1.1 | 591M| 497 | 0 |1905 |1192 |1905 | 367 | 72k| 9 |4531 | 0.000000e+00 | 3.096900e+04 | Inf
457.61/457.61 c 432s|580000 |579987 |637212 | 1.1 | 601M| 497 | 0 |1905 |1192 |1905 | 366 | 73k| 9 |4580 | 0.000000e+00 | 3.096900e+04 | Inf
465.21/465.25 c 439s|590000 |589987 |647615 | 1.1 | 611M| 497 | 0 |1905 |1192 |1905 | 367 | 74k| 9 |4585 | 0.000000e+00 | 3.096900e+04 | Inf
472.80/472.88 c 446s|600000 |599987 |658063 | 1.1 | 622M| 497 | 0 |1905 |1192 |1905 | 367 | 75k| 9 |4585 | 0.000000e+00 | 3.096900e+04 | Inf
480.50/480.57 c 453s|610000 |609987 |668227 | 1.1 | 632M| 497 | 0 |1905 |1192 |1905 | 368 | 76k| 9 |4627 | 0.000000e+00 | 3.096900e+04 | Inf
488.30/488.32 c 461s|620000 |619987 |677519 | 1.1 | 642M| 497 | 0 |1905 |1191 |1905 | 366 | 77k| 9 |4753 | 0.000000e+00 | 3.096900e+04 | Inf
496.00/496.06 c 468s|630000 |629987 |686956 | 1.1 | 652M| 497 | 0 |1905 |1191 |1905 | 369 | 78k| 9 |4845 | 0.000000e+00 | 3.096900e+04 | Inf
503.70/503.73 c 475s|640000 |639987 |694786 | 1.1 | 663M| 497 | 0 |1905 |1191 |1905 | 367 | 80k| 9 |4860 | 0.000000e+00 | 3.096900e+04 | Inf
511.30/511.39 c 482s|650000 |649987 |702576 | 1.1 | 673M| 497 | 0 |1905 |1191 |1905 | 367 | 81k| 9 |4864 | 0.000000e+00 | 3.096900e+04 | Inf
519.00/519.09 c 489s|660000 |659987 |713909 | 1.1 | 683M| 497 | 0 |1905 |1191 |1905 | 366 | 82k| 9 |4898 | 0.000000e+00 | 3.096900e+04 | Inf
526.70/526.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
526.70/526.76 c 497s|670000 |669987 |725206 | 1.1 | 694M| 497 | 0 |1905 |1191 |1905 | 370 | 83k| 9 |4902 | 0.000000e+00 | 3.096900e+04 | Inf
534.40/534.42 c 504s|680000 |679987 |736038 | 1.1 | 704M| 497 | 0 |1905 |1191 |1905 | 369 | 84k| 9 |4902 | 0.000000e+00 | 3.096900e+04 | Inf
542.10/542.11 c 511s|690000 |689987 |746771 | 1.1 | 714M| 497 | 0 |1905 |1191 |1905 | 366 | 85k| 9 |4934 | 0.000000e+00 | 3.096900e+04 | Inf
549.71/549.77 c 518s|700000 |699987 |757602 | 1.1 | 724M| 497 | 0 |1905 |1190 |1905 | 366 | 87k| 9 |4935 | 0.000000e+00 | 3.096900e+04 | Inf
557.40/557.43 c 526s|710000 |709987 |768281 | 1.1 | 735M| 497 | 0 |1905 |1190 |1905 | 367 | 88k| 9 |4935 | 0.000000e+00 | 3.096900e+04 | Inf
565.10/565.10 c 533s|720000 |719987 |779035 | 1.1 | 745M| 497 | 0 |1905 |1190 |1905 | 366 | 89k| 9 |4969 | 0.000000e+00 | 3.096900e+04 | Inf
572.70/572.76 c 540s|730000 |729987 |789578 | 1.1 | 755M| 497 | 0 |1905 |1190 |1905 | 366 | 90k| 9 |4974 | 0.000000e+00 | 3.096900e+04 | Inf
580.40/580.43 c 547s|740000 |739987 |799894 | 1.1 | 765M| 497 | 0 |1905 |1190 |1905 | 366 | 91k| 9 |4974 | 0.000000e+00 | 3.096900e+04 | Inf
588.10/588.19 c 555s|750000 |749987 |809456 | 1.1 | 776M| 497 | 0 |1905 |1190 |1905 | 368 | 92k| 9 |5111 | 0.000000e+00 | 3.096900e+04 | Inf
595.90/595.91 c 562s|760000 |759987 |819374 | 1.1 | 786M| 497 | 0 |1905 |1190 |1905 | 367 | 93k| 9 |5189 | 0.000000e+00 | 3.096900e+04 | Inf
603.50/603.58 c 569s|770000 |769987 |829726 | 1.1 | 796M| 497 | 0 |1905 |1190 |1905 | 367 | 95k| 9 |5192 | 0.000000e+00 | 3.096900e+04 | Inf
611.20/611.22 c 576s|780000 |779987 |840895 | 1.1 | 807M| 497 | 0 |1905 |1190 |1905 | 366 | 96k| 9 |5192 | 0.000000e+00 | 3.096900e+04 | Inf
618.81/618.88 c 584s|790000 |789987 |850929 | 1.1 | 817M| 497 | 0 |1905 |1190 |1905 | 369 | 97k| 9 |5198 | 0.000000e+00 | 3.096900e+04 | Inf
626.60/626.63 c 591s|800000 |799987 |859977 | 1.1 | 827M| 497 | 0 |1905 |1190 |1905 | 366 | 98k| 9 |5301 | 0.000000e+00 | 3.096900e+04 | Inf
634.31/634.36 c 598s|810000 |809987 |869558 | 1.1 | 837M| 497 | 0 |1905 |1190 |1905 | 366 | 99k| 9 |5373 | 0.000000e+00 | 3.096900e+04 | Inf
642.31/642.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
642.31/642.36 c 606s|820000 |819987 |879654 | 1.1 | 848M| 497 | 0 |1905 |1190 |1905 | 367 | 100k| 9 |5723 | 0.000000e+00 | 3.096900e+04 | Inf
650.01/650.05 c 613s|830000 |829987 |888459 | 1.1 | 858M| 497 | 0 |1905 |1190 |1905 | 369 | 101k| 9 |5777 | 0.000000e+00 | 3.096900e+04 | Inf
657.71/657.71 c 620s|840000 |839987 |897729 | 1.1 | 868M| 497 | 0 |1905 |1190 |1905 | 366 | 103k| 9 |5797 | 0.000000e+00 | 3.096900e+04 | Inf
665.30/665.32 c 627s|850000 |849985 |902608 | 1.1 | 878M| 497 | 0 |1905 |1191 |1905 | 355 | 103k| 10 |5805 | 0.000000e+00 | 3.096900e+04 | Inf
672.91/672.91 c 635s|860000 |859985 |906301 | 1.1 | 889M| 497 | 0 |1905 |1191 |1905 | 366 | 104k| 10 |5814 | 0.000000e+00 | 3.096900e+04 | Inf
680.41/680.49 c 642s|870000 |869985 |909927 | 1.0 | 899M| 497 | 0 |1905 |1191 |1905 | 355 | 105k| 10 |5816 | 0.000000e+00 | 3.096900e+04 | Inf
688.11/688.12 c 649s|880000 |879985 |914257 | 1.0 | 909M| 497 | 0 |1905 |1191 |1905 | 358 | 106k| 10 |5874 | 0.000000e+00 | 3.096900e+04 | Inf
695.61/695.69 c 656s|890000 |889985 |918252 | 1.0 | 919M| 497 | 0 |1905 |1191 |1905 | 360 | 107k| 10 |5878 | 0.000000e+00 | 3.096900e+04 | Inf
703.20/703.26 c 663s|900000 |899985 |922438 | 1.0 | 930M| 503 | 0 |1905 |1191 |1905 | 357 | 108k| 10 |5885 | 0.000000e+00 | 3.096900e+04 | Inf
710.80/710.83 c 670s|910000 |909985 |926427 | 1.0 | 940M| 503 | 0 |1905 |1191 |1905 | 372 | 108k| 10 |5896 | 0.000000e+00 | 3.096900e+04 | Inf
718.31/718.39 c 678s|920000 |919985 |931004 | 1.0 | 950M| 503 | 0 |1905 |1191 |1905 | 363 | 109k| 10 |5900 | 0.000000e+00 | 3.096900e+04 | Inf
725.91/725.96 c 685s|930000 |929985 |936388 | 1.0 | 960M| 503 | 4 |1905 |1191 |1905 | 352 | 110k| 10 |5902 | 0.000000e+00 | 3.096900e+04 | Inf
733.51/733.52 c 692s|940000 |939985 |940766 | 1.0 | 971M| 503 | 0 |1905 |1191 |1905 | 363 | 111k| 10 |5902 | 0.000000e+00 | 3.096900e+04 | Inf
741.00/741.09 c 699s|950000 |949985 |945849 | 1.0 | 981M| 503 | 0 |1905 |1190 |1905 | 365 | 112k| 10 |5903 | 0.000000e+00 | 3.096900e+04 | Inf
748.61/748.67 c 706s|960000 |959985 |950956 | 1.0 | 991M| 503 | 0 |1905 |1190 |1905 | 370 | 113k| 10 |5931 | 0.000000e+00 | 3.096900e+04 | Inf
756.21/756.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
756.21/756.25 c 713s|970000 |969985 |956381 | 1.0 |1001M| 503 | 0 |1905 |1190 |1905 | 355 | 115k| 10 |5943 | 0.000000e+00 | 3.096900e+04 | Inf
763.81/763.83 c 721s|980000 |979985 |961369 | 1.0 |1012M| 503 | 0 |1905 |1190 |1905 | 366 | 116k| 10 |5947 | 0.000000e+00 | 3.096900e+04 | Inf
771.41/771.41 c 728s|990000 |989985 |966823 | 1.0 |1022M| 503 | 3 |1905 |1190 |1905 | 362 | 117k| 10 |5947 | 0.000000e+00 | 3.096900e+04 | Inf
780.61/780.65 c 737s| 1000k|999985 |974252 | 1.0 |1032M| 503 | 0 |1905 |1190 |1905 | 359 | 118k| 10 |7218 | 0.000000e+00 | 3.096900e+04 | Inf
788.80/788.89 c 744s| 1010k| 1009k|984277 | 1.0 |1042M| 503 | 3 |1905 |1190 |1905 | 359 | 119k| 10 |7701 | 0.000000e+00 | 3.096900e+04 | Inf
796.41/796.47 c 752s| 1020k| 1019k|989998 | 1.0 |1053M| 503 | 0 |1905 |1190 |1905 | 364 | 120k| 10 |7719 | 0.000000e+00 | 3.096900e+04 | Inf
804.01/804.04 c 759s| 1030k| 1029k|995289 | 1.0 |1063M| 503 | 5 |1905 |1190 |1905 | 358 | 121k| 10 |7719 | 0.000000e+00 | 3.096900e+04 | Inf
811.51/811.60 c 766s| 1040k| 1039k| 1000k| 1.0 |1073M| 503 | 0 |1905 |1190 |1905 | 364 | 122k| 10 |7719 | 0.000000e+00 | 3.096900e+04 | Inf
819.11/819.16 c 773s| 1050k| 1049k| 1004k| 1.0 |1083M| 503 | 1 |1905 |1190 |1905 | 338 | 123k| 10 |7719 | 0.000000e+00 | 3.096900e+04 | Inf
826.71/826.71 c 780s| 1060k| 1059k| 1009k| 1.0 |1094M| 503 | 0 |1905 |1190 |1905 | 363 | 124k| 10 |7719 | 0.000000e+00 | 3.096900e+04 | Inf
834.21/834.27 c 787s| 1070k| 1069k| 1013k| 0.9 |1104M| 503 | 2 |1905 |1190 |1905 | 338 | 125k| 10 |7719 | 0.000000e+00 | 3.096900e+04 | Inf
841.81/841.86 c 795s| 1080k| 1079k| 1018k| 0.9 |1114M| 503 | 0 |1905 |1190 |1905 | 359 | 126k| 10 |7719 | 0.000000e+00 | 3.096900e+04 | Inf
849.41/849.41 c 802s| 1090k| 1089k| 1022k| 0.9 |1124M| 503 | 0 |1905 |1190 |1905 | 356 | 127k| 10 |7719 | 0.000000e+00 | 3.096900e+04 | Inf
856.92/856.99 c 809s| 1100k| 1099k| 1027k| 0.9 |1135M| 503 | 0 |1905 |1190 |1905 | 378 | 128k| 10 |7719 | 0.000000e+00 | 3.096900e+04 | Inf
864.51/864.57 c 816s| 1110k| 1109k| 1032k| 0.9 |1145M| 503 | 0 |1905 |1190 |1905 | 366 | 129k| 10 |7719 | 0.000000e+00 | 3.096900e+04 | Inf
872.11/872.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
872.11/872.14 c 823s| 1120k| 1119k| 1037k| 0.9 |1155M| 503 | 0 |1905 |1190 |1905 | 371 | 130k| 10 |7719 | 0.000000e+00 | 3.096900e+04 | Inf
879.71/879.72 c 830s| 1130k| 1129k| 1042k| 0.9 |1165M| 503 | 0 |1905 |1190 |1905 | 358 | 131k| 10 |7720 | 0.000000e+00 | 3.096900e+04 | Inf
887.21/887.29 c 838s| 1140k| 1139k| 1047k| 0.9 |1176M| 503 | 0 |1905 |1190 |1905 | 373 | 132k| 10 |7720 | 0.000000e+00 | 3.096900e+04 | Inf
894.81/894.86 c 845s| 1150k| 1149k| 1052k| 0.9 |1186M| 503 | 0 |1905 |1190 |1905 | 355 | 133k| 10 |7720 | 0.000000e+00 | 3.096900e+04 | Inf
902.41/902.43 c 852s| 1160k| 1159k| 1056k| 0.9 |1196M| 503 | 0 |1905 |1190 |1905 | 358 | 133k| 10 |7720 | 0.000000e+00 | 3.096900e+04 | Inf
909.91/909.99 c 859s| 1170k| 1169k| 1061k| 0.9 |1206M| 505 | 0 |1905 |1189 |1905 | 361 | 134k| 10 |7720 | 0.000000e+00 | 3.096900e+04 | Inf
917.51/917.57 c 866s| 1180k| 1179k| 1066k| 0.9 |1217M| 505 | 0 |1905 |1189 |1905 | 361 | 135k| 10 |7724 | 0.000000e+00 | 3.096900e+04 | Inf
925.12/925.14 c 873s| 1190k| 1189k| 1071k| 0.9 |1227M| 505 | 0 |1905 |1189 |1905 | 367 | 136k| 10 |7724 | 0.000000e+00 | 3.096900e+04 | Inf
932.72/932.71 c 880s| 1200k| 1199k| 1076k| 0.9 |1237M| 505 | 0 |1905 |1189 |1905 | 358 | 137k| 10 |7724 | 0.000000e+00 | 3.096900e+04 | Inf
940.22/940.27 c 888s| 1210k| 1209k| 1081k| 0.9 |1247M| 505 | 0 |1905 |1189 |1905 | 356 | 139k| 10 |7724 | 0.000000e+00 | 3.096900e+04 | Inf
947.81/947.84 c 895s| 1220k| 1219k| 1086k| 0.9 |1258M| 505 | 0 |1905 |1189 |1905 | 371 | 140k| 10 |7725 | 0.000000e+00 | 3.096900e+04 | Inf
955.41/955.42 c 902s| 1230k| 1229k| 1091k| 0.9 |1268M| 505 | 0 |1905 |1189 |1905 | 359 | 141k| 10 |7725 | 0.000000e+00 | 3.096900e+04 | Inf
962.91/962.99 c 909s| 1240k| 1239k| 1095k| 0.9 |1278M| 505 | 4 |1905 |1189 |1905 | 358 | 142k| 10 |7725 | 0.000000e+00 | 3.096900e+04 | Inf
970.51/970.55 c 916s| 1250k| 1249k| 1100k| 0.9 |1288M| 505 | 0 |1905 |1189 |1905 | 363 | 143k| 10 |7725 | 0.000000e+00 | 3.096900e+04 | Inf
978.11/978.11 c 924s| 1260k| 1259k| 1105k| 0.9 |1299M| 505 | 0 |1905 |1189 |1905 | 360 | 144k| 10 |7725 | 0.000000e+00 | 3.096900e+04 | Inf
985.62/985.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
985.62/985.67 c 931s| 1270k| 1269k| 1110k| 0.9 |1309M| 505 | 0 |1905 |1189 |1905 | 361 | 145k| 10 |7726 | 0.000000e+00 | 3.096900e+04 | Inf
993.22/993.24 c 938s| 1280k| 1279k| 1115k| 0.9 |1319M| 505 | 0 |1905 |1189 |1905 | 363 | 146k| 10 |7726 | 0.000000e+00 | 3.096900e+04 | Inf
1000.82/1000.81 c 945s| 1290k| 1289k| 1119k| 0.9 |1329M| 505 | 0 |1905 |1189 |1905 | 361 | 147k| 10 |7727 | 0.000000e+00 | 3.096900e+04 | Inf
1008.32/1008.36 c 952s| 1300k| 1299k| 1124k| 0.9 |1340M| 505 | 0 |1905 |1189 |1905 | 359 | 148k| 10 |7727 | 0.000000e+00 | 3.096900e+04 | Inf
1015.91/1015.95 c 959s| 1310k| 1309k| 1129k| 0.9 |1350M| 505 | 0 |1905 |1189 |1905 | 371 | 149k| 10 |7752 | 0.000000e+00 | 3.096900e+04 | Inf
1023.52/1023.51 c 966s| 1320k| 1319k| 1133k| 0.9 |1360M| 505 | 0 |1905 |1189 |1905 | 356 | 150k| 10 |7752 | 0.000000e+00 | 3.096900e+04 | Inf
1031.02/1031.08 c 974s| 1330k| 1329k| 1138k| 0.9 |1370M| 505 | 0 |1905 |1189 |1905 | 368 | 151k| 10 |7753 | 0.000000e+00 | 3.096900e+04 | Inf
1038.62/1038.63 c 981s| 1340k| 1339k| 1143k| 0.9 |1381M| 505 | 0 |1905 |1189 |1905 | 373 | 152k| 10 |7756 | 0.000000e+00 | 3.096900e+04 | Inf
1046.22/1046.21 c 988s| 1350k| 1349k| 1148k| 0.8 |1391M| 507 | 0 |1905 |1189 |1905 | 370 | 153k| 10 |7759 | 0.000000e+00 | 3.096900e+04 | Inf
1053.72/1053.76 c 995s| 1360k| 1359k| 1152k| 0.8 |1401M| 507 | 0 |1905 |1189 |1905 | 361 | 153k| 10 |7759 | 0.000000e+00 | 3.096900e+04 | Inf
1061.32/1061.32 c 1002s| 1370k| 1369k| 1157k| 0.8 |1412M| 511 | 0 |1905 |1189 |1905 | 361 | 154k| 10 |7759 | 0.000000e+00 | 3.096900e+04 | Inf
1068.82/1068.87 c 1009s| 1380k| 1379k| 1162k| 0.8 |1422M| 513 | 0 |1905 |1189 |1905 | 369 | 155k| 10 |7760 | 0.000000e+00 | 3.096900e+04 | Inf
1076.42/1076.47 c 1017s| 1390k| 1389k| 1167k| 0.8 |1432M| 513 | 2 |1905 |1191 |1905 | 360 | 157k| 12 |7776 | 0.000000e+00 | 3.096900e+04 | Inf
1084.02/1084.06 c 1024s| 1400k| 1399k| 1173k| 0.8 |1442M| 513 | 0 |1905 |1191 |1905 | 373 | 158k| 12 |7805 | 0.000000e+00 | 3.096900e+04 | Inf
1091.61/1091.66 c 1031s| 1410k| 1409k| 1178k| 0.8 |1453M| 513 | 0 |1905 |1191 |1905 | 370 | 159k| 12 |7810 | 0.000000e+00 | 3.096900e+04 | Inf
1099.22/1099.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1099.22/1099.23 c 1038s| 1420k| 1419k| 1183k| 0.8 |1463M| 513 | 0 |1905 |1191 |1905 | 365 | 160k| 12 |7811 | 0.000000e+00 | 3.096900e+04 | Inf
1106.82/1106.81 c 1045s| 1430k| 1429k| 1189k| 0.8 |1473M| 513 | 0 |1905 |1191 |1905 | 364 | 161k| 12 |7813 | 0.000000e+00 | 3.096900e+04 | Inf
1114.32/1114.38 c 1053s| 1440k| 1439k| 1193k| 0.8 |1483M| 513 | 0 |1905 |1191 |1905 | 362 | 162k| 12 |7815 | 0.000000e+00 | 3.096900e+04 | Inf
1121.92/1121.96 c 1060s| 1450k| 1449k| 1199k| 0.8 |1494M| 513 | 0 |1905 |1191 |1905 | 367 | 163k| 12 |7815 | 0.000000e+00 | 3.096900e+04 | Inf
1129.51/1129.54 c 1067s| 1460k| 1459k| 1204k| 0.8 |1504M| 513 | 0 |1905 |1191 |1905 | 363 | 164k| 12 |7815 | 0.000000e+00 | 3.096900e+04 | Inf
1137.12/1137.12 c 1074s| 1470k| 1469k| 1209k| 0.8 |1514M| 513 | 0 |1905 |1191 |1905 | 362 | 165k| 12 |7815 | 0.000000e+00 | 3.096900e+04 | Inf
1144.72/1144.73 c 1081s| 1480k| 1479k| 1215k| 0.8 |1524M| 513 | 0 |1905 |1191 |1905 | 358 | 166k| 12 |7849 | 0.000000e+00 | 3.096900e+04 | Inf
1152.32/1152.31 c 1088s| 1490k| 1489k| 1220k| 0.8 |1535M| 513 | 0 |1905 |1191 |1905 | 370 | 167k| 12 |7851 | 0.000000e+00 | 3.096900e+04 | Inf
1159.82/1159.89 c 1096s| 1500k| 1499k| 1225k| 0.8 |1545M| 513 | 0 |1905 |1191 |1905 | 363 | 168k| 12 |7853 | 0.000000e+00 | 3.096900e+04 | Inf
1167.42/1167.45 c 1103s| 1510k| 1509k| 1231k| 0.8 |1555M| 513 | 0 |1905 |1191 |1905 | 377 | 169k| 12 |7853 | 0.000000e+00 | 3.096900e+04 | Inf
1175.02/1175.02 c 1110s| 1520k| 1519k| 1236k| 0.8 |1565M| 513 | 0 |1905 |1191 |1905 | 360 | 171k| 12 |7853 | 0.000000e+00 | 3.096900e+04 | Inf
1182.62/1182.60 c 1117s| 1530k| 1529k| 1241k| 0.8 |1576M| 513 | 0 |1905 |1191 |1905 | 368 | 172k| 12 |7853 | 0.000000e+00 | 3.096900e+04 | Inf
1190.12/1190.17 c 1124s| 1540k| 1539k| 1247k| 0.8 |1586M| 513 | 0 |1905 |1191 |1905 | 366 | 173k| 12 |7853 | 0.000000e+00 | 3.096900e+04 | Inf
1197.72/1197.76 c 1132s| 1550k| 1549k| 1252k| 0.8 |1596M| 513 | 0 |1905 |1191 |1905 | 364 | 174k| 12 |7874 | 0.000000e+00 | 3.096900e+04 | Inf
1205.32/1205.33 c 1139s| 1560k| 1559k| 1258k| 0.8 |1606M| 513 | 0 |1905 |1190 |1905 | 374 | 175k| 12 |7882 | 0.000000e+00 | 3.096900e+04 | Inf
1212.92/1212.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1212.92/1212.90 c 1146s| 1570k| 1569k| 1263k| 0.8 |1617M| 513 | 0 |1905 |1190 |1905 | 372 | 176k| 12 |7882 | 0.000000e+00 | 3.096900e+04 | Inf
1220.42/1220.47 c 1153s| 1580k| 1579k| 1268k| 0.8 |1627M| 513 | 0 |1905 |1190 |1905 | 361 | 177k| 12 |7885 | 0.000000e+00 | 3.096900e+04 | Inf
1228.02/1228.05 c 1160s| 1590k| 1589k| 1274k| 0.8 |1637M| 513 | 0 |1905 |1190 |1905 | 363 | 178k| 12 |7886 | 0.000000e+00 | 3.096900e+04 | Inf
1235.63/1235.63 c 1167s| 1600k| 1599k| 1279k| 0.8 |1647M| 513 | 0 |1905 |1190 |1905 | 363 | 179k| 12 |7886 | 0.000000e+00 | 3.096900e+04 | Inf
1243.12/1243.19 c 1174s| 1610k| 1609k| 1284k| 0.8 |1658M| 513 | 0 |1905 |1190 |1905 | 358 | 180k| 12 |7886 | 0.000000e+00 | 3.096900e+04 | Inf
1250.73/1250.75 c 1182s| 1620k| 1619k| 1289k| 0.8 |1668M| 513 | 0 |1905 |1190 |1905 | 356 | 181k| 12 |7886 | 0.000000e+00 | 3.096900e+04 | Inf
1258.32/1258.33 c 1189s| 1630k| 1629k| 1294k| 0.8 |1678M| 513 | 0 |1905 |1190 |1905 | 370 | 183k| 12 |7909 | 0.000000e+00 | 3.096900e+04 | Inf
1265.92/1265.91 c 1196s| 1640k| 1639k| 1299k| 0.8 |1688M| 513 | 0 |1905 |1190 |1905 | 372 | 184k| 12 |7914 | 0.000000e+00 | 3.096900e+04 | Inf
1273.42/1273.48 c 1203s| 1650k| 1649k| 1305k| 0.8 |1699M| 513 | 0 |1905 |1190 |1905 | 364 | 185k| 12 |7915 | 0.000000e+00 | 3.096900e+04 | Inf
1281.02/1281.03 c 1210s| 1660k| 1659k| 1310k| 0.8 |1709M| 513 | 2 |1905 |1190 |1905 | 358 | 186k| 12 |7915 | 0.000000e+00 | 3.096900e+04 | Inf
1288.52/1288.59 c 1217s| 1670k| 1669k| 1315k| 0.8 |1719M| 513 | 0 |1905 |1190 |1905 | 367 | 187k| 12 |7917 | 0.000000e+00 | 3.096900e+04 | Inf
1296.12/1296.16 c 1225s| 1680k| 1679k| 1320k| 0.8 |1729M| 513 | 0 |1905 |1190 |1905 | 364 | 188k| 12 |7919 | 0.000000e+00 | 3.096900e+04 | Inf
1303.73/1303.72 c 1232s| 1690k| 1689k| 1325k| 0.8 |1740M| 513 | 9 |1905 |1190 |1905 | 361 | 189k| 12 |7921 | 0.000000e+00 | 3.096900e+04 | Inf
1311.23/1311.27 c 1239s| 1700k| 1699k| 1330k| 0.8 |1750M| 513 | 0 |1905 |1190 |1905 | 377 | 190k| 12 |7928 | 0.000000e+00 | 3.096900e+04 | Inf
1318.83/1318.84 c 1246s| 1710k| 1709k| 1336k| 0.8 |1760M| 513 | 0 |1905 |1190 |1905 | 363 | 191k| 12 |7933 | 0.000000e+00 | 3.096900e+04 | Inf
1326.43/1326.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1326.43/1326.42 c 1253s| 1720k| 1719k| 1341k| 0.8 |1770M| 513 | 0 |1905 |1190 |1905 | 367 | 192k| 12 |7963 | 0.000000e+00 | 3.096900e+04 | Inf
1333.93/1333.99 c 1260s| 1730k| 1729k| 1346k| 0.8 |1781M| 513 | 0 |1905 |1190 |1905 | 375 | 193k| 12 |7971 | 0.000000e+00 | 3.096900e+04 | Inf
1341.53/1341.58 c 1267s| 1740k| 1739k| 1352k| 0.8 |1791M| 513 | 0 |1905 |1190 |1905 | 358 | 194k| 12 |7997 | 0.000000e+00 | 3.096900e+04 | Inf
1349.13/1349.14 c 1274s| 1750k| 1749k| 1357k| 0.8 |1801M| 513 | 0 |1905 |1190 |1905 | 368 | 195k| 12 |7997 | 0.000000e+00 | 3.096900e+04 | Inf
1356.72/1356.71 c 1281s| 1760k| 1759k| 1363k| 0.8 |1811M| 513 | 0 |1905 |1190 |1905 | 375 | 197k| 12 |7997 | 0.000000e+00 | 3.096900e+04 | Inf
1364.22/1364.28 c 1288s| 1770k| 1769k| 1368k| 0.8 |1821M| 513 | 0 |1905 |1190 |1905 | 367 | 198k| 12 |7997 | 0.000000e+00 | 3.096900e+04 | Inf
1371.82/1371.83 c 1295s| 1780k| 1779k| 1374k| 0.8 |1832M| 513 | 0 |1905 |1190 |1905 | 375 | 199k| 12 |7997 | 0.000000e+00 | 3.096900e+04 | Inf
1379.43/1379.44 c 1302s| 1790k| 1789k| 1380k| 0.8 |1842M| 513 | 0 |1905 |1190 |1905 | 362 | 200k| 12 |8013 | 0.000000e+00 | 3.096900e+04 | Inf
1387.03/1387.01 c 1309s| 1800k| 1799k| 1385k| 0.8 |1852M| 513 | 0 |1905 |1190 |1905 | 372 | 201k| 12 |8030 | 0.000000e+00 | 3.096900e+04 | Inf
1394.52/1394.55 c 1316s| 1810k| 1809k| 1390k| 0.8 |1862M| 513 | 0 |1905 |1190 |1905 | 371 | 202k| 12 |8030 | 0.000000e+00 | 3.096900e+04 | Inf
1402.13/1402.11 c 1323s| 1820k| 1819k| 1395k| 0.8 |1873M| 513 | 0 |1905 |1190 |1905 | 370 | 203k| 12 |8031 | 0.000000e+00 | 3.096900e+04 | Inf
1409.62/1409.65 c 1330s| 1830k| 1829k| 1400k| 0.8 |1883M| 513 | 0 |1905 |1190 |1905 | 375 | 204k| 12 |8034 | 0.000000e+00 | 3.096900e+04 | Inf
1417.22/1417.23 c 1337s| 1840k| 1839k| 1406k| 0.8 |1893M| 513 | 0 |1905 |1190 |1905 | 373 | 206k| 12 |8046 | 0.000000e+00 | 3.096900e+04 | Inf
1424.73/1424.78 c 1344s| 1850k| 1849k| 1411k| 0.8 |1903M| 513 | 1 |1905 |1190 |1905 | 338 | 207k| 12 |8046 | 0.000000e+00 | 3.096900e+04 | Inf
1432.32/1432.33 c 1351s| 1860k| 1859k| 1416k| 0.8 |1914M| 513 | 0 |1905 |1190 |1905 | 369 | 208k| 12 |8046 | 0.000000e+00 | 3.096900e+04 | Inf
1439.83/1439.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1439.83/1439.88 c 1358s| 1870k| 1869k| 1421k| 0.8 |1924M| 513 | 0 |1905 |1190 |1905 | 360 | 209k| 12 |8046 | 0.000000e+00 | 3.096900e+04 | Inf
1447.42/1447.47 c 1365s| 1880k| 1879k| 1426k| 0.8 |1934M| 513 | 0 |1905 |1190 |1905 | 361 | 210k| 12 |8081 | 0.000000e+00 | 3.096900e+04 | Inf
1455.03/1455.02 c 1372s| 1890k| 1889k| 1432k| 0.8 |1944M| 513 | 0 |1905 |1190 |1905 | 370 | 211k| 12 |8081 | 0.000000e+00 | 3.096900e+04 | Inf
1462.53/1462.56 c 1379s| 1900k| 1899k| 1436k| 0.8 |1955M| 513 | 0 |1905 |1190 |1905 | 361 | 212k| 12 |8081 | 0.000000e+00 | 3.096900e+04 | Inf
1470.13/1470.13 c 1386s| 1910k| 1909k| 1442k| 0.8 |1965M| 513 | 0 |1905 |1190 |1905 | 368 | 213k| 12 |8084 | 0.000000e+00 | 3.096900e+04 | Inf
1477.73/1477.70 c 1393s| 1920k| 1919k| 1447k| 0.8 |1975M| 513 | 0 |1905 |1190 |1905 | 375 | 214k| 12 |8088 | 0.000000e+00 | 3.096900e+04 | Inf
1485.23/1485.26 c 1400s| 1930k| 1929k| 1452k| 0.8 |1985M| 513 | 0 |1905 |1190 |1905 | 375 | 215k| 12 |8089 | 0.000000e+00 | 3.096900e+04 | Inf
1492.83/1492.82 c 1407s| 1940k| 1939k| 1457k| 0.8 |1996M| 513 | 0 |1905 |1190 |1905 | 368 | 216k| 12 |8094 | 0.000000e+00 | 3.096900e+04 | Inf
1500.33/1500.38 c 1415s| 1950k| 1949k| 1462k| 0.7 |2006M| 513 | 4 |1905 |1190 |1905 | 359 | 217k| 12 |8094 | 0.000000e+00 | 3.096900e+04 | Inf
1507.93/1507.97 c 1422s| 1960k| 1959k| 1468k| 0.7 |2016M| 513 | 0 |1905 |1190 |1905 | 373 | 218k| 12 |8132 | 0.000000e+00 | 3.096900e+04 | Inf
1515.53/1515.53 c 1429s| 1970k| 1969k| 1473k| 0.7 |2026M| 513 | 0 |1905 |1190 |1905 | 363 | 219k| 12 |8138 | 0.000000e+00 | 3.096900e+04 | Inf
1523.03/1523.07 c 1436s| 1980k| 1979k| 1478k| 0.7 |2037M| 513 | 0 |1905 |1190 |1905 | 372 | 220k| 12 |8139 | 0.000000e+00 | 3.096900e+04 | Inf
1530.63/1530.64 c 1443s| 1990k| 1989k| 1483k| 0.7 |2047M| 513 | 0 |1905 |1190 |1905 | 361 | 222k| 12 |8141 | 0.000000e+00 | 3.096900e+04 | Inf
1538.13/1538.19 c 1450s| 2000k| 1999k| 1488k| 0.7 |2057M| 513 | 4 |1905 |1190 |1905 | 358 | 223k| 12 |8142 | 0.000000e+00 | 3.096900e+04 | Inf
1545.73/1545.76 c 1457s| 2010k| 2009k| 1493k| 0.7 |2067M| 513 | 0 |1905 |1190 |1905 | 375 | 224k| 12 |8146 | 0.000000e+00 | 3.096900e+04 | Inf
1553.33/1553.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1553.33/1553.32 c 1464s| 2020k| 2019k| 1498k| 0.7 |2078M| 513 | 0 |1905 |1190 |1905 | 358 | 225k| 12 |8146 | 0.000000e+00 | 3.096900e+04 | Inf
1560.83/1560.86 c 1471s| 2030k| 2029k| 1503k| 0.7 |2088M| 513 | 0 |1905 |1190 |1905 | 360 | 226k| 12 |8146 | 0.000000e+00 | 3.096900e+04 | Inf
1568.43/1568.44 c 1478s| 2040k| 2039k| 1508k| 0.7 |2098M| 513 | 0 |1905 |1190 |1905 | 370 | 227k| 12 |8159 | 0.000000e+00 | 3.096900e+04 | Inf
1576.03/1576.04 c 1485s| 2050k| 2049k| 1514k| 0.7 |2108M| 513 | 0 |1905 |1190 |1905 | 375 | 228k| 12 |8187 | 0.000000e+00 | 3.096900e+04 | Inf
1583.53/1583.58 c 1492s| 2060k| 2059k| 1519k| 0.7 |2119M| 513 | 0 |1905 |1190 |1905 | 367 | 229k| 12 |8188 | 0.000000e+00 | 3.096900e+04 | Inf
1591.13/1591.14 c 1499s| 2070k| 2069k| 1523k| 0.7 |2129M| 513 | 0 |1905 |1190 |1905 | 364 | 230k| 12 |8192 | 0.000000e+00 | 3.096900e+04 | Inf
1598.63/1598.69 c 1506s| 2080k| 2079k| 1528k| 0.7 |2139M| 513 | 3 |1905 |1190 |1905 | 359 | 231k| 12 |8197 | 0.000000e+00 | 3.096900e+04 | Inf
1606.23/1606.26 c 1513s| 2090k| 2089k| 1534k| 0.7 |2149M| 513 | 3 |1905 |1190 |1905 | 366 | 232k| 12 |8197 | 0.000000e+00 | 3.096900e+04 | Inf
1613.83/1613.80 c 1520s| 2100k| 2099k| 1539k| 0.7 |2160M| 519 | 3 |1905 |1190 |1905 | 363 | 233k| 12 |8199 | 0.000000e+00 | 3.096900e+04 | Inf
1621.34/1621.35 c 1527s| 2110k| 2109k| 1544k| 0.7 |2170M| 519 | 0 |1905 |1190 |1905 | 364 | 234k| 12 |8199 | 0.000000e+00 | 3.096900e+04 | Inf
1628.93/1628.90 c 1534s| 2120k| 2119k| 1549k| 0.7 |2180M| 519 | 0 |1905 |1190 |1905 | 373 | 235k| 12 |8199 | 0.000000e+00 | 3.096900e+04 | Inf
1636.43/1636.46 c 1541s| 2130k| 2129k| 1553k| 0.7 |2190M| 519 | 0 |1905 |1190 |1905 | 361 | 236k| 12 |8234 | 0.000000e+00 | 3.096900e+04 | Inf
1644.03/1644.00 c 1548s| 2140k| 2139k| 1558k| 0.7 |2201M| 521 | 0 |1905 |1190 |1905 | 361 | 237k| 12 |8235 | 0.000000e+00 | 3.096900e+04 | Inf
1651.54/1651.54 c 1555s| 2150k| 2149k| 1563k| 0.7 |2211M| 521 | 0 |1905 |1190 |1905 | 367 | 238k| 12 |8235 | 0.000000e+00 | 3.096900e+04 | Inf
1659.03/1659.07 c 1562s| 2160k| 2159k| 1567k| 0.7 |2221M| 521 | 0 |1905 |1190 |1905 | 358 | 239k| 12 |8235 | 0.000000e+00 | 3.096900e+04 | Inf
1666.64/1666.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1666.64/1666.62 c 1569s| 2170k| 2169k| 1572k| 0.7 |2231M| 521 | 0 |1905 |1190 |1905 | 374 | 240k| 12 |8243 | 0.000000e+00 | 3.096900e+04 | Inf
1674.14/1674.16 c 1576s| 2180k| 2179k| 1577k| 0.7 |2242M| 521 | 0 |1905 |1190 |1905 | 366 | 241k| 12 |8244 | 0.000000e+00 | 3.096900e+04 | Inf
1681.74/1681.70 c 1583s| 2190k| 2189k| 1582k| 0.7 |2252M| 521 | 0 |1905 |1190 |1905 | 375 | 242k| 12 |8245 | 0.000000e+00 | 3.096900e+04 | Inf
1689.23/1689.24 c 1590s| 2200k| 2199k| 1586k| 0.7 |2262M| 521 | 0 |1905 |1190 |1905 | 373 | 244k| 12 |8245 | 0.000000e+00 | 3.096900e+04 | Inf
1696.73/1696.79 c 1597s| 2210k| 2209k| 1591k| 0.7 |2272M| 521 | 0 |1905 |1190 |1905 | 361 | 245k| 12 |8246 | 0.000000e+00 | 3.096900e+04 | Inf
1704.34/1704.33 c 1604s| 2220k| 2219k| 1595k| 0.7 |2283M| 521 | 0 |1905 |1190 |1905 | 366 | 246k| 12 |8270 | 0.000000e+00 | 3.096900e+04 | Inf
1711.94/1711.90 c 1611s| 2230k| 2229k| 1600k| 0.7 |2293M| 521 | 0 |1905 |1190 |1905 | 356 | 246k| 12 |8276 | 0.000000e+00 | 3.096900e+04 | Inf
1719.43/1719.44 c 1618s| 2240k| 2239k| 1603k| 0.7 |2303M| 521 | 0 |1905 |1190 |1905 | 355 | 247k| 12 |8276 | 0.000000e+00 | 3.096900e+04 | Inf
1726.94/1726.97 c 1625s| 2250k| 2249k| 1606k| 0.7 |2313M| 521 | 0 |1905 |1190 |1905 | 356 | 248k| 12 |8276 | 0.000000e+00 | 3.096900e+04 | Inf
1734.53/1734.55 c 1632s| 2260k| 2259k| 1610k| 0.7 |2324M| 521 | 0 |1905 |1190 |1905 | 355 | 249k| 12 |8281 | 0.000000e+00 | 3.096900e+04 | Inf
1742.13/1742.11 c 1639s| 2270k| 2269k| 1614k| 0.7 |2334M| 521 | 0 |1905 |1190 |1905 | 371 | 249k| 12 |8284 | 0.000000e+00 | 3.096900e+04 | Inf
1749.63/1749.68 c 1646s| 2280k| 2279k| 1617k| 0.7 |2344M| 521 | 0 |1905 |1190 |1905 | 356 | 250k| 12 |8284 | 0.000000e+00 | 3.096900e+04 | Inf
1757.24/1757.25 c 1654s| 2290k| 2289k| 1621k| 0.7 |2354M| 521 | 0 |1905 |1190 |1905 | 357 | 251k| 12 |8284 | 0.000000e+00 | 3.096900e+04 | Inf
1764.83/1764.82 c 1661s| 2300k| 2299k| 1625k| 0.7 |2365M| 521 | 0 |1905 |1190 |1905 | 358 | 252k| 12 |8285 | 0.000000e+00 | 3.096900e+04 | Inf
1772.33/1772.38 c 1668s| 2310k| 2309k| 1629k| 0.7 |2375M| 521 | 0 |1905 |1190 |1905 | 358 | 253k| 12 |8285 | 0.000000e+00 | 3.096900e+04 | Inf
1779.94/1779.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1779.94/1779.93 c 1675s| 2320k| 2319k| 1634k| 0.7 |2385M| 521 | 0 |1905 |1190 |1905 | 358 | 253k| 12 |8287 | 0.000000e+00 | 3.096900e+04 | Inf
1787.44/1787.50 c 1682s| 2330k| 2329k| 1638k| 0.7 |2395M| 521 | 0 |1905 |1190 |1905 | 362 | 254k| 12 |8301 | 0.000000e+00 | 3.096900e+04 | Inf
1795.03/1795.06 c 1689s| 2340k| 2339k| 1642k| 0.7 |2406M| 521 | 0 |1905 |1190 |1905 | 371 | 255k| 12 |8318 | 0.000000e+00 | 3.096900e+04 | 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) : 1693.31
1800.04/1800.00 c Solving Nodes : 2346529
1800.04/1800.00 c Primal Bound : +3.09690000000000e+04 (100 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.01 s SATISFIABLE
1800.04/1800.01 v -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698
1800.04/1800.01 v -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678
1800.04/1800.01 v -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657
1800.04/1800.01 v -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636
1800.04/1800.01 v -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615
1800.04/1800.01 v -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594
1800.04/1800.01 v -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573
1800.04/1800.01 v -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553
1800.04/1800.01 v -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532
1800.04/1800.01 v -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511
1800.04/1800.01 v -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490
1800.04/1800.01 v -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469
1800.04/1800.01 v -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448
1800.04/1800.01 v -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428
1800.04/1800.01 v -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407
1800.04/1800.01 v -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386
1800.04/1800.01 v -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365
1800.04/1800.01 v -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344
1800.04/1800.01 v -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323
1800.04/1800.01 v -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303
1800.04/1800.01 v -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282
1800.04/1800.01 v -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261
1800.04/1800.01 v -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240
1800.04/1800.01 v -x239 x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219
1800.04/1800.01 v -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198
1800.04/1800.01 v -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177
1800.04/1800.01 v -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157
1800.04/1800.01 v -x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 x147 -x146 -x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135
1800.04/1800.01 v -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114
1800.04/1800.01 v -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104 -x103 x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92
1800.04/1800.01 v -x91 -x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66
1800.04/1800.01 v -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 x44 -x43 -x42 -x41
1800.04/1800.01 v -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 x19 -x18 -x17 -x16
1800.04/1800.01 v -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.01 c Solving Time : 1693.31
1800.04/1800.01 c Original Problem :
1800.04/1800.01 c Problem name : HOME/instance-2692497-1277931661.wbo
1800.04/1800.01 c Variables : 1905 (1312 binary, 0 integer, 0 implicit integer, 593 continuous)
1800.04/1800.01 c Constraints : 1187 initial, 1187 maximal
1800.04/1800.01 c Presolved Problem :
1800.04/1800.01 c Problem name : t_HOME/instance-2692497-1277931661.wbo
1800.04/1800.01 c Variables : 1905 (1312 binary, 0 integer, 0 implicit integer, 593 continuous)
1800.04/1800.01 c Constraints : 1186 initial, 1194 maximal
1800.04/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c probing : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.01 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c varbound : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c linear : 0.01 0 0 0 593 0 1 115 230
1800.04/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c root node : - 0 - - 0 - - - -
1800.04/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c integral : 0 0 0 2375356 0 0 0 0 0 615018
1800.04/1800.01 c indicator : 593 0 3626354 2067847 0 0 2108939 0 0 0
1800.04/1800.01 c varbound : 1 6 817762 268835 0 0 0 1 0 0
1800.04/1800.01 c linear : 592 6 3626354 2067847 0 8 1313011 255858 0 0
1800.04/1800.01 c logicor : 0+ 0 18686 0 0 1 1527 0 0 0
1800.04/1800.01 c countsols : 0 0 0 2039011 0 0 0 0 0 0
1800.04/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.01 c integral : 14.72 0.00 0.00 14.72 0.00
1800.04/1800.01 c indicator : 84.83 0.00 19.56 65.27 0.00
1800.04/1800.01 c varbound : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.01 c linear : 82.55 0.00 13.02 69.53 0.00
1800.04/1800.01 c logicor : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.01 c vbounds : 0.02 18193 0 9093
1800.04/1800.01 c rootredcost : 0.00 1 0 0
1800.04/1800.01 c pseudoobj : 45.90 3626154 0 0
1800.04/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.01 c propagation : 0.00 9 9 13 16.2 2 12.0 -
1800.04/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.01 c applied globally : - - - 12 15.9 - - -
1800.04/1800.01 c applied locally : - - - 0 0.0 - - -
1800.04/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.01 c cut pool : 0.00 4 - - 107 - (maximal pool size: 930)
1800.04/1800.01 c redcost : 84.17 2375361 0 0 0 0
1800.04/1800.01 c impliedbounds : 0.00 5 0 0 0 0
1800.04/1800.01 c intobj : 0.00 0 0 0 0 0
1800.04/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.01 c gomory : 0.01 5 0 0 44 0
1800.04/1800.01 c strongcg : 0.02 5 0 0 0 0
1800.04/1800.01 c cmir : 0.06 5 0 0 397 0
1800.04/1800.01 c flowcover : 0.13 5 0 0 627 0
1800.04/1800.01 c clique : 0.00 1 0 0 0 0
1800.04/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.01 c mcf : 0.00 1 0 0 0 0
1800.04/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.01 c Pricers : Time Calls Vars
1800.04/1800.01 c problem variables: 0.00 0 0
1800.04/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c relpscost : 14.70 307509 0 0 0 0 615018
1800.04/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c inference : 134.64 2039011 0 0 0 0 4078022
1800.04/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c random : 0.00 0 0 0 0 0 0
1800.04/1800.01 c Primal Heuristics : Time Calls Found
1800.04/1800.01 c LP solutions : 0.00 - 0
1800.04/1800.01 c pseudo solutions : 0.00 - 0
1800.04/1800.01 c feaspump : 0.00 0 0
1800.04/1800.01 c oneopt : 0.05 1 0
1800.04/1800.01 c intshifting : 0.04 9 0
1800.04/1800.01 c crossover : 0.10 5 0
1800.04/1800.01 c coefdiving : 5.18 9277 0
1800.04/1800.01 c pscostdiving : 4.69 9277 0
1800.04/1800.01 c fracdiving : 4.89 9277 0
1800.04/1800.01 c veclendiving : 4.83 9277 0
1800.04/1800.01 c linesearchdiving : 5.20 9277 0
1800.04/1800.01 c guideddiving : 4.47 9278 0
1800.04/1800.01 c objpscostdiving : 5.02 9275 0
1800.04/1800.01 c rootsoldiving : 5.42 9275 0
1800.04/1800.01 c trivial : 0.01 2 2
1800.04/1800.01 c simplerounding : 0.02 296152 0
1800.04/1800.01 c zirounding : 0.08 1000 0
1800.04/1800.01 c rounding : 0.33 7655 0
1800.04/1800.01 c shifting : 1.01 2484 0
1800.04/1800.01 c twoopt : 0.00 0 0
1800.04/1800.01 c fixandinfer : 0.00 0 0
1800.04/1800.01 c intdiving : 0.00 0 0
1800.04/1800.01 c actconsdiving : 0.00 0 0
1800.04/1800.01 c octane : 0.00 0 0
1800.04/1800.01 c rens : 0.02 1 0
1800.04/1800.01 c rins : 0.00 0 0
1800.04/1800.01 c localbranching : 0.00 0 0
1800.04/1800.01 c mutation : 0.00 0 0
1800.04/1800.01 c dins : 0.00 0 0
1800.04/1800.01 c undercover : 0.00 0 0
1800.04/1800.01 c nlp : 0.01 0 0
1800.04/1800.01 c trysol : 1.15 12574 98
1800.04/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.01 c primal LP : 0.01 0 0 0.00 0.00
1800.04/1800.01 c dual LP : 751.89 363419 1643758 4.52 2186.17
1800.04/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.01 c diving/probing LP: 0.17 397 1479 3.73 8700.00
1800.04/1800.01 c strong branching : 13.26 8318 143305 17.23 10807.32
1800.04/1800.01 c (at root node) : - 33 790 23.94 -
1800.04/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.01 c B&B Tree :
1800.04/1800.01 c number of runs : 1
1800.04/1800.01 c nodes : 2346529
1800.04/1800.01 c nodes (total) : 2346529
1800.04/1800.01 c nodes left : 2346512
1800.04/1800.01 c max depth : 521
1800.04/1800.01 c max depth (total): 521
1800.04/1800.01 c backtracks : 9295 (0.4%)
1800.04/1800.01 c delayed cutoffs : 0
1800.04/1800.01 c repropagations : 487 (9 domain reductions, 0 cutoffs)
1800.04/1800.01 c avg switch length: 2.07
1800.04/1800.01 c switching time : 75.85
1800.04/1800.01 c Solution :
1800.04/1800.01 c Solutions found : 100 (2 improvements)
1800.04/1800.01 c First Solution : +3.10640000000000e+04 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1800.04/1800.01 c Primal Bound : +3.09690000000000e+04 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trysol>)
1800.04/1800.01 c Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Gap : infinite
1800.04/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Root Iterations : 719
OK 5738
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692497-1277931661/watcher-2692497-1277931661 -o /tmp/evaluation-result-2692497-1277931661/solver-2692497-1277931661 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692497-1277931661.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.16 2.03 2.01 4/178 15495 /proc/meminfo: memFree=30646872/32951124 swapFree=67111528/67111528 [pid=15495] ppid=15493 vsize=9404 CPUtime=0 /proc/15495/stat : 15495 (pbscip.linux.x8) R 15493 15495 14279 0 -1 4202496 1643 0 0 0 0 0 0 0 23 0 1 0 134463747 9629696 1564 4089446400 4194304 8223781 140734524769008 18446744073709551615 7235108 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/15495/statm: 2351 1568 369 984 0 1364 0 [startup+0.0930561 s] /proc/loadavg: 2.16 2.03 2.01 4/178 15495 /proc/meminfo: memFree=30646872/32951124 swapFree=67111528/67111528 [pid=15495] ppid=15493 vsize=22448 CPUtime=0.08 /proc/15495/stat : 15495 (pbscip.linux.x8) R 15493 15495 14279 0 -1 4202496 5419 0 0 0 8 0 0 0 23 0 1 0 134463747 22986752 4706 4089446400 4194304 8223781 140734524769008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15495/statm: 5612 4706 564 984 0 4625 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 22448 [startup+0.101052 s] /proc/loadavg: 2.16 2.03 2.01 4/178 15495 /proc/meminfo: memFree=30646872/32951124 swapFree=67111528/67111528 [pid=15495] ppid=15493 vsize=22448 CPUtime=0.09 /proc/15495/stat : 15495 (pbscip.linux.x8) R 15493 15495 14279 0 -1 4202496 5419 0 0 0 9 0 0 0 23 0 1 0 134463747 22986752 4706 4089446400 4194304 8223781 140734524769008 18446744073709551615 5727842 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15495/statm: 5612 4706 564 984 0 4625 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22448 [startup+0.301017 s] /proc/loadavg: 2.16 2.03 2.01 4/178 15495 /proc/meminfo: memFree=30646872/32951124 swapFree=67111528/67111528 [pid=15495] ppid=15493 vsize=24452 CPUtime=0.29 /proc/15495/stat : 15495 (pbscip.linux.x8) R 15493 15495 14279 0 -1 4202496 5913 0 0 0 28 1 0 0 23 0 1 0 134463747 25038848 5192 4089446400 4194304 8223781 140734524769008 18446744073709551615 5727768 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15495/statm: 6113 5192 565 984 0 5126 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24452 [startup+0.700956 s] /proc/loadavg: 2.16 2.03 2.01 4/178 15495 /proc/meminfo: memFree=30646872/32951124 swapFree=67111528/67111528 [pid=15495] ppid=15493 vsize=24396 CPUtime=0.69 /proc/15495/stat : 15495 (pbscip.linux.x8) R 15493 15495 14279 0 -1 4202496 9514 0 0 0 66 3 0 0 25 0 1 0 134463747 24981504 5214 4089446400 4194304 8223781 140734524769008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15495/statm: 6099 5214 578 984 0 5112 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24396 [startup+1.5008 s] /proc/loadavg: 2.16 2.03 2.01 3/179 15505 /proc/meminfo: memFree=30625900/32951124 swapFree=67111528/67111528 [pid=15495] ppid=15493 vsize=24396 CPUtime=1.49 /proc/15495/stat : 15495 (pbscip.linux.x8) R 15493 15495 14279 0 -1 4202496 9514 0 0 0 142 7 0 0 25 0 1 0 134463747 24981504 5214 4089446400 4194304 8223781 140734524769008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15495/statm: 6099 5214 578 984 0 5112 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24396 [startup+3.10051 s] /proc/loadavg: 2.16 2.03 2.01 3/179 15505 /proc/meminfo: memFree=30626428/32951124 swapFree=67111528/67111528 [pid=15495] ppid=15493 vsize=24396 CPUtime=3.09 /proc/15495/stat : 15495 (pbscip.linux.x8) R 15493 15495 14279 0 -1 4202496 9515 0 0 0 291 18 0 0 25 0 1 0 134463747 24981504 5214 4089446400 4194304 8223781 140734524769008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15495/statm: 6099 5214 578 984 0 5112 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24396 [startup+6.30093 s] /proc/loadavg: 2.15 2.03 2.01 3/179 15505 /proc/meminfo: memFree=30624944/32951124 swapFree=67111528/67111528 [pid=15495] ppid=15493 vsize=24396 CPUtime=6.29 /proc/15495/stat : 15495 (pbscip.linux.x8) R 15493 15495 14279 0 -1 4202496 9516 0 0 0 593 36 0 0 25 0 1 0 134463747 24981504 5214 4089446400 4194304 8223781 140734524769008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15495/statm: 6099 5214 578 984 0 5112 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24396 [startup+12.7008 s] /proc/loadavg: 2.13 2.03 2.01 3/179 15505 /proc/meminfo: memFree=30613724/32951124 swapFree=67111528/67111528 [pid=15495] ppid=15493 vsize=30608 CPUtime=12.69 /proc/15495/stat : 15495 (pbscip.linux.x8) R 15493 15495 14279 0 -1 4202496 15712 0 0 0 1194 75 0 0 25 0 1 0 134463747 31342592 6786 4089446400 4194304 8223781 140734524769008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15495/statm: 7652 6786 585 984 0 6665 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30608 [startup+25.5004 s] /proc/loadavg: 2.10 2.03 2.01 3/179 15505 /proc/meminfo: memFree=30588584/32951124 swapFree=67111528/67111528 [pid=15495] ppid=15493 vsize=46468 CPUtime=25.49 /proc/15495/stat : 15495 (pbscip.linux.x8) R 15493 15495 14279 0 -1 4202496 21900 0 0 0 2390 159 0 0 25 0 1 0 134463747 47583232 10801 4089446400 4194304 8223781 140734524769008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15495/statm: 11617 10801 585 984 0 10630 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 46468 [startup+51.1008 s] /proc/loadavg: 2.07 2.03 2.01 3/179 15506 /proc/meminfo: memFree=30534440/32951124 swapFree=67111528/67111528 [pid=15495] ppid=15493 vsize=82032 CPUtime=51.09 /proc/15495/stat : 15495 (pbscip.linux.x8) R 15493 15495 14279 0 -1 4202496 32945 0 0 0 4797 312 0 0 25 0 1 0 134463747 84000768 19725 4089446400 4194304 8223781 140734524769008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15495/statm: 20508 19725 585 984 0 19521 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 82032 [startup+102.307 s] /proc/loadavg: 2.03 2.02 2.00 3/179 15507 /proc/meminfo: memFree=30428640/32951124 swapFree=67111528/67111528 [pid=15495] ppid=15493 vsize=146824 CPUtime=102.3 /proc/15495/stat : 15495 (pbscip.linux.x8) R 15493 15495 14279 0 -1 4202496 53324 0 0 0 9615 615 0 0 25 0 1 0 134463747 150347776 35649 4089446400 4194304 8223781 140734524769008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15495/statm: 36706 35649 585 984 0 35719 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 146824 [startup+162.301 s] /proc/loadavg: 2.01 2.02 2.00 3/179 15509 /proc/meminfo: memFree=30315004/32951124 swapFree=67111528/67111528 [pid=15495] ppid=15493 vsize=225660 CPUtime=162.29 /proc/15495/stat : 15495 (pbscip.linux.x8) R 15493 15495 14279 0 -1 4202496 73366 0 0 0 15280 949 0 0 25 0 1 0 134463747 231075840 55668 4089446400 4194304 8223781 140734524769008 18446744073709551615 6446769 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15495/statm: 56415 55668 585 984 0 55428 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 225660 [startup+222.301 s] /proc/loadavg: 2.00 2.01 2.00 3/179 15511 /proc/meminfo: memFree=30179056/32951124 swapFree=67111528/67111528 [pid=15495] ppid=15493 vsize=309004 CPUtime=222.3 /proc/15495/stat : 15495 (pbscip.linux.x8) R 15493 15495 14279 0 -1 4202496 96826 0 0 0 20944 1286 0 0 25 0 1 0 134463747 316420096 75798 4089446400 4194304 8223781 140734524769008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15495/statm: 77251 75798 585 984 0 76264 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 309004 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15512 /proc/meminfo: memFree=30051264/32951124 swapFree=67111528/67111528 [pid=15495] ppid=15493 vsize=388016 CPUtime=282.29 /proc/15495/stat : 15495 (pbscip.linux.x8) R 15493 15495 14279 0 -1 4202496 116868 0 0 0 26612 1617 0 0 25 0 1 0 134463747 397328384 95840 4089446400 4194304 8223781 140734524769008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15495/statm: 97004 95840 585 984 0 96017 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 388016 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15513 /proc/meminfo: memFree=29927948/32951124 swapFree=67111528/67111528 [pid=15495] ppid=15493 vsize=466344 CPUtime=342.29 /proc/15495/stat : 15495 (pbscip.linux.x8) R 15493 15495 14279 0 -1 4202496 140076 0 0 0 32280 1949 0 0 25 0 1 0 134463747 477536256 115725 4089446400 4194304 8223781 140734524769008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15495/statm: 116586 115725 585 984 0 115599 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 466344 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15515 /proc/meminfo: memFree=29805268/32951124 swapFree=67111528/67111528 [pid=15495] ppid=15493 vsize=554368 CPUtime=402.3 /proc/15495/stat : 15495 (pbscip.linux.x8) R 15493 15495 14279 0 -1 4202496 160339 0 0 0 37947 2283 0 0 25 0 1 0 134463747 567672832 135988 4089446400 4194304 8223781 140734524769008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15495/statm: 138592 135988 585 984 0 137605 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 554368 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15517 /proc/meminfo: memFree=29690284/32951124 swapFree=67111528/67111528 [pid=15495] ppid=15493 vsize=635064 CPUtime=462.3 /proc/15495/stat : 15495 (pbscip.linux.x8) R 15493 15495 14279 0 -1 4202496 180835 0 0 0 43604 2626 0 0 25 0 1 0 134463747 650305536 156480 4089446400 4194304 8223781 140734524769008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15495/statm: 158766 156480 585 984 0 157779 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 635064 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15519 /proc/meminfo: memFree=29577024/32951124 swapFree=67111528/67111528 [pid=15495] ppid=15493 vsize=712268 CPUtime=522.3 /proc/15495/stat : 15495 (pbscip.linux.x8) R 15493 15495 14279 0 -1 4202496 200427 0 0 0 49246 2984 0 0 25 0 1 0 134463747 729362432 176072 4089446400 4194304 8223781 140734524769008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15495/statm: 178067 176072 585 984 0 177080 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 712268 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15520 /proc/meminfo: memFree=29463672/32951124 swapFree=67111528/67111528 [pid=15495] ppid=15493 vsize=793416 CPUtime=582.3 /proc/15495/stat : 15495 (pbscip.linux.x8) R 15493 15495 14279 0 -1 4202496 221022 0 0 0 54902 3328 0 0 25 0 1 0 134463747 812457984 196667 4089446400 4194304 8223781 140734524769008 18446744073709551615 4642088 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15495/statm: 198354 196667 585 984 0 197367 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 793416 [startup+642.301 s] /proc/loadavg: 2.05 2.01 2.00 3/179 15521 /proc/meminfo: memFree=29349784/32951124 swapFree=67111528/67111528 [pid=15495] ppid=15493 vsize=869260 CPUtime=642.31 /proc/15495/stat : 15495 (pbscip.linux.x8) R 15493 15495 14279 0 -1 4202496 243614 0 0 0 60562 3669 0 0 25 0 1 0 134463747 890122240 215944 4089446400 4194304 8223781 140734524769008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15495/statm: 217315 215944 585 984 0 216328 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 869260 [startup+702.301 s] ################ # More data... # ################ /proc/15495/stat : 15495 (pbscip.linux.x8) R 15493 15495 14279 0 -1 4202496 366206 0 0 0 94637 5594 0 0 25 0 1 0 134463747 1395961856 337169 4089446400 4194304 8223781 140734524769008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15495/statm: 340811 337169 585 984 0 339824 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1363244 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15533 /proc/meminfo: memFree=28548884/32951124 swapFree=67111528/67111528 [pid=15495] ppid=15493 vsize=1442744 CPUtime=1062.31 /proc/15495/stat : 15495 (pbscip.linux.x8) R 15493 15495 14279 0 -1 4202496 386398 0 0 0 100322 5909 0 0 25 0 1 0 134463747 1477369856 357361 4089446400 4194304 8223781 140734524769008 18446744073709551615 6482565 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15495/statm: 360686 357361 585 984 0 359699 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1442744 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15535 /proc/meminfo: memFree=28425572/32951124 swapFree=67111528/67111528 [pid=15495] ppid=15493 vsize=1522412 CPUtime=1122.32 /proc/15495/stat : 15495 (pbscip.linux.x8) R 15493 15495 14279 0 -1 4202496 406629 0 0 0 106003 6229 0 0 25 0 1 0 134463747 1558949888 377592 4089446400 4194304 8223781 140734524769008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15495/statm: 380603 377592 585 984 0 379616 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1522412 [startup+1182.3 s] /proc/loadavg: 2.07 2.02 2.00 3/179 15536 /proc/meminfo: memFree=28312560/32951124 swapFree=67111528/67111528 [pid=15495] ppid=15493 vsize=1603144 CPUtime=1182.32 /proc/15495/stat : 15495 (pbscip.linux.x8) R 15493 15495 14279 0 -1 4202496 427125 0 0 0 111692 6540 0 0 25 0 1 0 134463747 1641619456 398088 4089446400 4194304 8223781 140734524769008 18446744073709551615 6444428 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15495/statm: 400786 398088 585 984 0 399799 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1603144 [startup+1242.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 15537 /proc/meminfo: memFree=28197064/32951124 swapFree=67111528/67111528 [pid=15495] ppid=15493 vsize=1681988 CPUtime=1242.32 /proc/15495/stat : 15495 (pbscip.linux.x8) R 15493 15495 14279 0 -1 4202496 447150 0 0 0 117360 6872 0 0 25 0 1 0 134463747 1722355712 418113 4089446400 4194304 8223781 140734524769008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15495/statm: 420497 418113 585 984 0 419510 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1681988 [startup+1302.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 15539 /proc/meminfo: memFree=28086760/32951124 swapFree=67111528/67111528 [pid=15495] ppid=15493 vsize=1761788 CPUtime=1302.33 /proc/15495/stat : 15495 (pbscip.linux.x8) R 15493 15495 14279 0 -1 4202496 470704 0 0 0 123045 7188 0 0 25 0 1 0 134463747 1804070912 438360 4089446400 4194304 8223781 140734524769008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15495/statm: 440447 438360 585 984 0 439460 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1761788 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15569 /proc/meminfo: memFree=29240580/32951124 swapFree=67111528/67111528 [pid=15495] ppid=15493 vsize=1842404 CPUtime=1362.32 /proc/15495/stat : 15495 (pbscip.linux.x8) R 15493 15495 14279 0 -1 4202496 491153 0 0 0 128644 7588 0 0 25 0 1 0 134463747 1886621696 458809 4089446400 4194304 8223781 140734524769008 18446744073709551615 6482896 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15495/statm: 460601 458809 585 984 0 459614 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1842404 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15571 /proc/meminfo: memFree=29152500/32951124 swapFree=67111528/67111528 [pid=15495] ppid=15493 vsize=1921688 CPUtime=1422.33 /proc/15495/stat : 15495 (pbscip.linux.x8) R 15493 15495 14279 0 -1 4202496 511290 0 0 0 134202 8031 0 0 25 0 1 0 134463747 1967808512 478946 4089446400 4194304 8223781 140734524769008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15495/statm: 480422 478946 585 984 0 479435 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1921688 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15572 /proc/meminfo: memFree=29069996/32951124 swapFree=67111528/67111528 [pid=15495] ppid=15493 vsize=1999968 CPUtime=1482.33 /proc/15495/stat : 15495 (pbscip.linux.x8) R 15493 15495 14279 0 -1 4202496 531169 0 0 0 139776 8457 0 0 25 0 1 0 134463747 2047967232 498825 4089446400 4194304 8223781 140734524769008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15495/statm: 499992 498825 585 984 0 499005 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 1999968 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15573 /proc/meminfo: memFree=28985508/32951124 swapFree=67111528/67111528 [pid=15495] ppid=15493 vsize=2080364 CPUtime=1542.33 /proc/15495/stat : 15495 (pbscip.linux.x8) R 15493 15495 14279 0 -1 4202496 551583 0 0 0 145345 8888 0 0 25 0 1 0 134463747 2130292736 519239 4089446400 4194304 8223781 140734524769008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15495/statm: 520091 519239 585 984 0 519104 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 2080364 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15575 /proc/meminfo: memFree=28899276/32951124 swapFree=67111528/67111528 [pid=15495] ppid=15493 vsize=2195196 CPUtime=1602.33 /proc/15495/stat : 15495 (pbscip.linux.x8) R 15493 15495 14279 0 -1 4202496 572415 0 0 0 150919 9314 0 0 25 0 1 0 134463747 2247880704 540071 4089446400 4194304 8223781 140734524769008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15495/statm: 548799 540071 585 984 0 547812 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 2195196 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15577 /proc/meminfo: memFree=28815884/32951124 swapFree=67111528/67111528 [pid=15495] ppid=15493 vsize=2274736 CPUtime=1662.34 /proc/15495/stat : 15495 (pbscip.linux.x8) R 15493 15495 14279 0 -1 4202496 592612 0 0 0 156505 9729 0 0 25 0 1 0 134463747 2329329664 560268 4089446400 4194304 8223781 140734524769008 18446744073709551615 6162896 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15495/statm: 568684 560268 585 984 0 567697 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 2274736 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15579 /proc/meminfo: memFree=28732136/32951124 swapFree=67111528/67111528 [pid=15495] ppid=15493 vsize=2354252 CPUtime=1722.33 /proc/15495/stat : 15495 (pbscip.linux.x8) R 15493 15495 14279 0 -1 4202496 612793 0 0 0 162096 10137 0 0 25 0 1 0 134463747 2410754048 580449 4089446400 4194304 8223781 140734524769008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15495/statm: 588563 580449 585 984 0 587576 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 2354252 [startup+1782.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 15580 /proc/meminfo: memFree=28644908/32951124 swapFree=67111528/67111528 [pid=15495] ppid=15493 vsize=2434460 CPUtime=1782.33 /proc/15495/stat : 15495 (pbscip.linux.x8) R 15493 15495 14279 0 -1 4202496 633159 0 0 0 167682 10551 0 0 25 0 1 0 134463747 2492887040 600815 4089446400 4194304 8223781 140734524769008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15495/statm: 608615 600815 585 984 0 607628 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 2434460 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.02 2.01 2.00 3/179 15581 /proc/meminfo: memFree=28620348/32951124 swapFree=67111528/67111528 [pid=15495] ppid=15493 vsize=2458496 CPUtime=1800.04 /proc/15495/stat : 15495 (pbscip.linux.x8) R 15493 15495 14279 0 -1 4202496 639260 0 0 0 169332 10672 0 0 25 0 1 0 134463747 2517499904 606916 4089446400 4194304 8223781 140734524769008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15495/statm: 614624 606916 585 984 0 613637 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 2458496 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -15495 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.02 2.01 2.00 3/180 15582 /proc/meminfo: memFree=28620216/32951124 swapFree=67111528/67111528 [pid=15495] ppid=15493 vsize=2458496 CPUtime=1801.43 /proc/15495/stat : 15495 (pbscip.linux.x8) R 15493 15495 14279 0 -1 4202496 639262 0 0 0 169471 10672 0 0 25 0 1 0 134463747 2517499904 606918 4089446400 4194304 8223781 140734524769008 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15495/statm: 614624 606918 587 984 0 613637 0 Current children cumulated CPU time (s) 1801.43 Current children cumulated vsize (KiB) 2458496 [startup+1801.81 s] /proc/loadavg: 2.02 2.01 2.00 3/180 15582 /proc/meminfo: memFree=28620324/32951124 swapFree=67111528/67111528 [pid=15495] ppid=15493 vsize=2458496 CPUtime=1801.84 /proc/15495/stat : 15495 (pbscip.linux.x8) R 15493 15495 14279 0 -1 4202496 639262 0 0 0 169512 10672 0 0 25 0 1 0 134463747 2517499904 606918 4089446400 4194304 8223781 140734524769008 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15495/statm: 614624 606918 587 984 0 613637 0 Current children cumulated CPU time (s) 1801.84 Current children cumulated vsize (KiB) 2458496 [startup+1802 s] /proc/loadavg: 2.02 2.01 2.00 3/180 15582 /proc/meminfo: memFree=28620324/32951124 swapFree=67111528/67111528 [pid=15495] ppid=15493 vsize=2451580 CPUtime=1802.03 /proc/15495/stat : 15495 (pbscip.linux.x8) R 15493 15495 14279 0 -1 4202496 639262 0 0 0 169531 10672 0 0 25 0 1 0 134463747 2510417920 605189 4089446400 4194304 8223781 140734524769008 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15495/statm: 612895 605189 587 984 0 611908 0 Current children cumulated CPU time (s) 1802.03 Current children cumulated vsize (KiB) 2451580 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.09 CPU time (s): 1802.13 CPU user time (s): 1695.33 CPU system time (s): 106.805 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 2458496 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1695.33 system time used= 106.805 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 639262 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= 1 involuntary context switches= 1353 runsolver used 2.42763 second user time and 5.78312 second system time The end
Begin job on node106 at 2010-06-30 23:01:01 IDJOB=2692497 IDBENCH=79320 IDSOLVER=1204 FILE ID=node106/2692497-1277931661 PBS_JOBID= 11197359 Free space on /tmp= 74208 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl--soft-0-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692497-1277931661/watcher-2692497-1277931661 -o /tmp/evaluation-result-2692497-1277931661/solver-2692497-1277931661 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692497-1277931661.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b1fb405af1ad97be8e8be6f605703dc4 RANDOM SEED=1748946919 node106.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.825 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.65 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.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 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.76 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.825 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.82 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.825 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.73 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.825 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.83 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.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30647400 kB Buffers: 217448 kB Cached: 1280792 kB SwapCached: 0 kB Active: 1103312 kB Inactive: 1052680 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30647400 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 5024 kB Writeback: 0 kB AnonPages: 657980 kB Mapped: 17112 kB Slab: 81336 kB PageTables: 5508 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 852648 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= 74204 MiB End job on node106 at 2010-06-30 23:31:03