| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | MSAT (TO) | 1800.33 | 1800.28 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110974372--soft-66-100-0.wbo |
| MD5SUM | 9cfbc8b4b7b0ac87604f7a971d1e096c |
| 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 | 207 |
| Best CPU time to get the best result obtained on this benchmark | 0.088986 |
| 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 | 29 |
| 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 | 1556 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 1555 |
| 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-2693987-1277899110.wbo>
0.00/0.00 c original problem has 227 variables (198 bin, 0 int, 0 impl, 29 cont) and 131 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, 37 impls, 48 clqs
0.00/0.01 c (round 2) 0 del vars, 18 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 37 impls, 48 clqs
0.00/0.01 c (round 3) 1 del vars, 19 del conss, 28 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 37 impls, 48 clqs
0.00/0.01 c (round 4) 2 del vars, 19 del conss, 28 chg bounds, 1 chg sides, 0 chg coeffs, 56 upgd conss, 37 impls, 48 clqs
0.00/0.02 c (0.0s) probing: 101/197 (51.3%) - 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 2 deleted vars, 19 deleted constraints, 28 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.00/0.02 c 37 implications, 48 cliques
0.00/0.02 c presolved problem has 225 variables (197 bin, 0 int, 0 impl, 28 cont) and 112 constraints
0.00/0.02 c 28 constraints of type <indicator>
0.00/0.02 c 1 constraints of type <knapsack>
0.00/0.02 c 48 constraints of type <setppc>
0.00/0.02 c 28 constraints of type <linear>
0.00/0.02 c 7 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 | - | 868k| 0 | - | 225 | 112 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.39/1.42 c 1.1s| 10000 | 6672 | 0 | 0.0 |6464k| 150 | - | 225 |3915 | 0 | 0 | 0 |6091 | 0 | 0.000000e+00 | -- | Inf
3.79/3.81 c 3.2s| 20000 | 11504 | 0 | 0.0 | 11M| 150 | - | 225 |5225 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
6.79/6.89 c 5.9s| 30000 | 15386 | 0 | 0.0 | 16M| 150 | - | 225 |8899 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
10.90/10.92 c 9.6s| 40000 | 17859 | 0 | 0.0 | 21M| 150 | - | 225 | 14k| 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
15.50/15.52 c 13.8s| 50000 | 20936 | 0 | 0.0 | 23M| 150 | - | 225 |7949 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
19.49/19.56 c 17.5s| 60000 | 23433 | 0 | 0.0 | 27M| 150 | - | 225 | 10k| 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
26.69/26.76 c 24.4s| 70000 | 22184 | 0 | 0.0 | 31M| 150 | - | 225 | 18k| 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
35.49/35.55 c 32.8s| 80000 | 20533 | 0 | 0.0 | 34M| 150 | - | 225 | 26k| 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
46.50/46.56 c 43.4s| 90000 | 19458 | 0 | 0.0 | 32M| 150 | - | 225 | 22k| 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
50.50/50.55 c 47.0s|100000 | 25307 | 0 | 0.0 | 32M| 150 | - | 225 |9941 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
54.69/54.70 c 50.9s|110000 | 28993 | 0 | 0.0 | 36M| 150 | - | 225 | 11k| 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
63.40/63.44 c 59.2s|120000 | 26573 | 0 | 0.0 | 36M| 150 | - | 225 | 18k| 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
76.79/76.90 c 72.2s|130000 | 22343 | 0 | 0.0 | 29M| 150 | - | 225 | 19k| 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
84.40/84.45 c 79.4s|140000 | 24505 | 0 | 0.0 | 30M| 150 | - | 225 | 15k| 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
92.19/92.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
92.19/92.20 c 86.8s|150000 | 25693 | 0 | 0.0 | 32M| 150 | - | 225 | 18k| 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
100.99/101.07 c 95.3s|160000 | 26307 | 0 | 0.0 | 34M| 150 | - | 225 | 21k| 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
112.59/112.63 c 106s|170000 | 24589 | 0 | 0.0 | 34M| 150 | - | 225 | 25k| 0 | 0 | 0 | 222k| 0 | 1.000000e+00 | -- | Inf
129.20/129.27 c 123s|180000 | 21817 | 0 | 0.0 | 35M| 150 | - | 225 | 28k| 0 | 0 | 0 | 243k| 0 | 1.000000e+00 | -- | Inf
149.60/149.64 c 142s|190000 | 17439 | 0 | 0.0 | 36M| 150 | - | 225 | 35k| 0 | 0 | 0 | 263k| 0 | 1.000000e+00 | -- | Inf
175.40/175.46 c 168s|200000 | 11211 | 0 | 0.0 | 31M| 150 | - | 225 | 39k| 0 | 0 | 0 | 285k| 0 | 1.000000e+00 | -- | Inf
187.80/187.81 c 180s|210000 | 13323 | 0 | 0.0 | 19M| 150 | - | 225 |8276 | 0 | 0 | 0 | 294k| 0 | 7.000000e+00 | -- | Inf
190.20/190.27 c 182s|220000 | 19331 | 0 | 0.0 | 22M| 150 | - | 225 |6396 | 0 | 0 | 0 | 298k| 0 | 7.000000e+00 | -- | Inf
192.51/192.58 c 184s|230000 | 25751 | 0 | 0.0 | 26M| 150 | - | 225 |6716 | 0 | 0 | 0 | 302k| 0 | 7.000000e+00 | -- | Inf
195.40/195.45 c 186s|240000 | 31218 | 0 | 0.0 | 31M| 150 | - | 225 |8091 | 0 | 0 | 0 | 307k| 0 | 7.000000e+00 | -- | Inf
199.19/199.23 c 190s|250000 | 35241 | 0 | 0.0 | 35M| 150 | - | 225 | 10k| 0 | 0 | 0 | 313k| 0 | 7.000000e+00 | -- | Inf
204.60/204.66 c 195s|260000 | 36482 | 0 | 0.0 | 38M| 150 | - | 225 | 13k| 0 | 0 | 0 | 322k| 0 | 7.000000e+00 | -- | Inf
209.29/209.39 c 199s|270000 | 40546 | 0 | 0.0 | 42M| 150 | - | 225 | 11k| 0 | 0 | 0 | 329k| 0 | 7.000000e+00 | -- | Inf
213.89/213.97 c 204s|280000 | 44377 | 0 | 0.0 | 46M| 150 | - | 225 | 12k| 0 | 0 | 0 | 336k| 0 | 7.000000e+00 | -- | Inf
219.60/219.60 c 209s|290000 | 46847 | 0 | 0.0 | 50M| 150 | - | 225 | 13k| 0 | 0 | 0 | 344k| 0 | 7.000000e+00 | -- | Inf
226.00/226.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
226.00/226.09 c 215s|300000 | 48410 | 0 | 0.0 | 53M| 150 | - | 225 | 15k| 0 | 0 | 0 | 353k| 0 | 7.000000e+00 | -- | Inf
233.30/233.32 c 222s|310000 | 49052 | 0 | 0.0 | 56M| 150 | - | 225 | 15k| 0 | 0 | 0 | 363k| 0 | 7.000000e+00 | -- | Inf
242.20/242.21 c 230s|320000 | 47508 | 0 | 0.0 | 58M| 150 | - | 225 | 18k| 0 | 0 | 0 | 375k| 0 | 7.000000e+00 | -- | Inf
252.10/252.10 c 240s|330000 | 46138 | 0 | 0.0 | 58M| 150 | - | 225 | 19k| 0 | 0 | 0 | 386k| 0 | 7.000000e+00 | -- | Inf
263.80/263.84 c 251s|340000 | 44580 | 0 | 0.0 | 60M| 150 | - | 225 | 20k| 0 | 0 | 0 | 399k| 0 | 7.000000e+00 | -- | Inf
276.89/276.94 c 264s|350000 | 42554 | 0 | 0.0 | 62M| 150 | - | 225 | 23k| 0 | 0 | 0 | 412k| 0 | 7.000000e+00 | -- | Inf
292.51/292.55 c 279s|360000 | 39179 | 0 | 0.0 | 62M| 150 | - | 225 | 26k| 0 | 0 | 0 | 426k| 0 | 7.000000e+00 | -- | Inf
310.50/310.55 c 296s|370000 | 33025 | 0 | 0.0 | 56M| 150 | - | 225 | 27k| 0 | 0 | 0 | 442k| 0 | 7.000000e+00 | -- | Inf
333.60/333.64 c 319s|380000 | 25178 | 0 | 0.0 | 49M| 150 | - | 225 | 32k| 0 | 0 | 0 | 460k| 0 | 7.000000e+00 | -- | Inf
342.50/342.58 c 327s|390000 | 28221 | 0 | 0.0 | 41M| 150 | - | 225 | 13k| 0 | 0 | 0 | 467k| 0 | 1.400000e+01 | -- | Inf
346.40/346.49 c 331s|400000 | 33473 | 0 | 0.0 | 44M| 150 | - | 225 |8760 | 0 | 0 | 0 | 473k| 0 | 1.400000e+01 | -- | Inf
350.20/350.23 c 334s|410000 | 38515 | 0 | 0.0 | 48M| 150 | - | 225 | 10k| 0 | 0 | 0 | 480k| 0 | 1.400000e+01 | -- | Inf
356.10/356.12 c 340s|420000 | 40772 | 0 | 0.0 | 53M| 150 | - | 225 | 15k| 0 | 0 | 0 | 489k| 0 | 1.400000e+01 | -- | Inf
363.01/363.08 c 346s|430000 | 43389 | 0 | 0.0 | 56M| 150 | - | 225 | 15k| 0 | 0 | 0 | 499k| 0 | 1.400000e+01 | -- | Inf
370.51/370.54 c 353s|440000 | 45644 | 0 | 0.0 | 59M| 150 | - | 225 | 15k| 0 | 0 | 0 | 510k| 0 | 1.400000e+01 | -- | Inf
379.60/379.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
379.60/379.61 c 362s|450000 | 45722 | 0 | 0.0 | 63M| 150 | - | 225 | 17k| 0 | 0 | 0 | 523k| 0 | 1.400000e+01 | -- | Inf
390.90/390.92 c 373s|460000 | 43666 | 0 | 0.0 | 64M| 150 | - | 225 | 22k| 0 | 0 | 0 | 537k| 0 | 1.400000e+01 | -- | Inf
401.00/401.07 c 383s|470000 | 43578 | 0 | 0.0 | 64M| 150 | - | 225 | 20k| 0 | 0 | 0 | 550k| 0 | 1.400000e+01 | -- | Inf
413.90/413.94 c 395s|480000 | 41645 | 0 | 0.0 | 66M| 150 | - | 225 | 23k| 0 | 0 | 0 | 565k| 0 | 1.400000e+01 | -- | Inf
430.51/430.55 c 411s|490000 | 37459 | 0 | 0.0 | 58M| 150 | - | 225 | 14k| 0 | 0 | 0 | 581k| 0 | 1.400000e+01 | -- | Inf
437.81/437.85 c 418s|500000 | 35962 | 0 | 0.0 | 56M| 150 | - | 225 | 12k| 0 | 0 | 0 | 596k| 0 | 1.400000e+01 | -- | Inf
445.60/445.64 c 426s|510000 | 36444 | 0 | 0.0 | 52M| 150 | - | 225 |8573 | 0 | 0 | 0 | 608k| 0 | 1.400000e+01 | -- | Inf
451.10/451.17 c 431s|520000 | 38133 | 0 | 0.0 | 55M| 150 | - | 225 | 13k| 0 | 0 | 0 | 620k| 0 | 1.400000e+01 | -- | Inf
457.00/457.05 c 436s|530000 | 39615 | 0 | 0.0 | 57M| 150 | - | 225 | 10k| 0 | 0 | 0 | 633k| 0 | 1.700000e+01 | -- | Inf
466.10/466.12 c 445s|540000 | 38345 | 0 | 0.0 | 60M| 150 | - | 225 | 17k| 0 | 0 | 0 | 649k| 0 | 1.700000e+01 | -- | Inf
473.10/473.12 c 452s|550000 | 40989 | 0 | 0.0 | 59M| 150 | - | 225 |7586 | 0 | 0 | 0 | 659k| 0 | 1.700000e+01 | -- | Inf
476.80/476.82 c 455s|560000 | 44516 | 0 | 0.0 | 61M| 150 | - | 225 |7206 | 0 | 0 | 0 | 669k| 0 | 1.700000e+01 | -- | Inf
485.91/485.95 c 464s|570000 | 40780 | 0 | 0.0 | 59M| 150 | - | 225 | 15k| 0 | 0 | 0 | 689k| 0 | 1.700000e+01 | -- | Inf
494.00/494.05 c 471s|580000 | 42265 | 0 | 0.0 | 57M| 150 | - | 225 | 10k| 0 | 0 | 0 | 700k| 0 | 1.700000e+01 | -- | Inf
497.21/497.22 c 474s|590000 | 48241 | 0 | 0.0 | 60M| 150 | - | 225 |8778 | 0 | 0 | 0 | 706k| 0 | 1.700000e+01 | -- | Inf
501.81/501.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
501.81/501.85 c 478s|600000 | 51517 | 0 | 0.0 | 64M| 150 | - | 225 |9742 | 0 | 0 | 0 | 715k| 0 | 1.700000e+01 | -- | Inf
506.11/506.17 c 482s|610000 | 54807 | 0 | 0.0 | 65M| 150 | - | 225 |3559 | 0 | 0 | 0 | 723k| 0 | 1.700000e+01 | -- | Inf
511.01/511.02 c 487s|620000 | 55162 | 0 | 0.0 | 65M| 150 | - | 225 |8213 | 0 | 0 | 0 | 736k| 0 | 1.700000e+01 | -- | Inf
515.11/515.13 c 491s|630000 | 59129 | 0 | 0.0 | 66M| 150 | - | 225 |8853 | 0 | 0 | 0 | 745k| 0 | 1.700000e+01 | -- | Inf
519.60/519.69 c 495s|640000 | 62860 | 0 | 0.0 | 70M| 150 | - | 225 | 11k| 0 | 0 | 0 | 754k| 0 | 1.900000e+01 | -- | Inf
525.91/525.97 c 501s|650000 | 64890 | 0 | 0.0 | 74M| 150 | - | 225 | 14k| 0 | 0 | 0 | 766k| 0 | 1.900000e+01 | -- | Inf
534.31/534.32 c 509s|660000 | 65558 | 0 | 0.0 | 78M| 150 | - | 225 | 18k| 0 | 0 | 0 | 778k| 0 | 1.900000e+01 | -- | Inf
546.91/546.96 c 521s|670000 | 62975 | 0 | 0.0 | 79M| 150 | - | 225 | 22k| 0 | 0 | 0 | 795k| 0 | 1.900000e+01 | -- | Inf
552.80/552.80 c 526s|680000 | 67126 | 0 | 0.0 | 77M| 150 | - | 225 |4886 | 0 | 0 | 0 | 800k| 0 | 1.900000e+01 | -- | Inf
555.71/555.76 c 529s|690000 | 71775 | 0 | 0.0 | 80M| 150 | - | 225 |4981 | 0 | 0 | 0 | 806k| 0 | 1.900000e+01 | -- | Inf
560.00/560.08 c 533s|700000 | 73818 | 0 | 0.0 | 84M| 150 | - | 225 |6921 | 0 | 0 | 0 | 815k| 0 | 1.900000e+01 | -- | Inf
565.91/565.95 c 538s|710000 | 74099 | 0 | 0.0 | 86M| 150 | - | 225 | 10k| 0 | 0 | 0 | 827k| 0 | 1.900000e+01 | -- | Inf
574.01/574.03 c 546s|720000 | 74226 | 0 | 0.0 | 90M| 150 | - | 225 | 15k| 0 | 0 | 0 | 842k| 0 | 1.900000e+01 | -- | Inf
585.41/585.40 c 557s|730000 | 72935 | 0 | 0.0 | 93M| 150 | - | 225 | 20k| 0 | 0 | 0 | 859k| 0 | 1.900000e+01 | -- | Inf
604.50/604.59 c 576s|740000 | 68210 | 0 | 0.0 | 93M| 150 | - | 225 | 29k| 0 | 0 | 0 | 879k| 0 | 1.900000e+01 | -- | Inf
623.21/623.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
623.21/623.25 c 594s|750000 | 65681 | 0 | 0.0 | 83M| 150 | - | 225 | 12k| 0 | 0 | 0 | 892k| 0 | 1.900000e+01 | -- | Inf
628.81/628.84 c 599s|760000 | 67561 | 0 | 0.0 | 85M| 150 | - | 225 |8598 | 0 | 0 | 0 | 900k| 0 | 1.900000e+01 | -- | Inf
634.62/634.61 c 605s|770000 | 68623 | 0 | 0.0 | 88M| 150 | - | 225 |9343 | 0 | 0 | 0 | 910k| 0 | 1.900000e+01 | -- | Inf
640.71/640.74 c 610s|780000 | 69283 | 0 | 0.0 | 90M| 150 | - | 225 |9694 | 0 | 0 | 0 | 919k| 0 | 1.900000e+01 | -- | Inf
648.21/648.22 c 618s|790000 | 67668 | 0 | 0.0 | 91M| 150 | - | 225 | 12k| 0 | 0 | 0 | 931k| 0 | 1.900000e+01 | -- | Inf
664.01/664.08 c 633s|800000 | 61252 | 0 | 0.0 | 84M| 150 | - | 225 | 18k| 0 | 0 | 0 | 952k| 0 | 1.900000e+01 | -- | Inf
673.71/673.71 c 642s|810000 | 60452 | 0 | 0.0 | 82M| 150 | - | 225 | 14k| 0 | 0 | 0 | 963k| 0 | 1.900000e+01 | -- | Inf
683.52/683.57 c 652s|820000 | 59092 | 0 | 0.0 | 82M| 150 | - | 225 | 16k| 0 | 0 | 0 | 975k| 0 | 2.000000e+01 | -- | Inf
695.61/695.63 c 663s|830000 | 55329 | 0 | 0.0 | 80M| 150 | - | 225 | 18k| 0 | 0 | 0 | 988k| 0 | 2.000000e+01 | -- | Inf
707.22/707.25 c 674s|840000 | 52699 | 0 | 0.0 | 79M| 150 | - | 225 | 20k| 0 | 0 | 0 |1000k| 0 | 2.000000e+01 | -- | Inf
724.41/724.44 c 691s|850000 | 46656 | 0 | 0.0 | 74M| 150 | - | 225 | 23k| 0 | 0 | 0 |1015k| 0 | 2.000000e+01 | -- | Inf
734.51/734.51 c 701s|860000 | 46006 | 0 | 0.0 | 68M| 150 | - | 225 | 10k| 0 | 0 | 0 |1025k| 0 | 2.600000e+01 | -- | Inf
737.91/737.98 c 704s|870000 | 50933 | 0 | 0.0 | 68M| 150 | - | 225 |3270 | 0 | 0 | 0 |1031k| 0 | 2.600000e+01 | -- | Inf
740.71/740.76 c 706s|880000 | 55567 | 0 | 0.0 | 71M| 150 | - | 225 |4833 | 0 | 0 | 0 |1036k| 0 | 2.600000e+01 | -- | Inf
744.22/744.25 c 709s|890000 | 59025 | 0 | 0.0 | 75M| 150 | - | 225 |6930 | 0 | 0 | 0 |1043k| 0 | 2.600000e+01 | -- | Inf
746.82/746.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
746.82/746.88 c 712s|900000 | 65203 | 0 | 0.0 | 77M| 150 | - | 225 |4217 | 0 | 0 | 0 |1049k| 0 | 2.600000e+01 | -- | Inf
749.21/749.21 c 714s|910000 | 71381 | 0 | 0.0 | 81M| 150 | - | 225 |4918 | 0 | 0 | 0 |1054k| 0 | 2.600000e+01 | -- | Inf
751.82/751.83 c 716s|920000 | 77139 | 0 | 0.0 | 85M| 150 | - | 225 |5276 | 0 | 0 | 0 |1059k| 0 | 2.600000e+01 | -- | Inf
755.01/755.06 c 719s|930000 | 81814 | 0 | 0.0 | 89M| 150 | - | 225 |6438 | 0 | 0 | 0 |1064k| 0 | 2.600000e+01 | -- | Inf
758.81/758.81 c 722s|940000 | 85858 | 0 | 0.0 | 93M| 150 | - | 225 |7669 | 0 | 0 | 0 |1071k| 0 | 2.600000e+01 | -- | Inf
763.22/763.21 c 726s|950000 | 89065 | 0 | 0.0 | 97M| 150 | - | 225 |8979 | 0 | 0 | 0 |1079k| 0 | 2.600000e+01 | -- | Inf
768.52/768.52 c 731s|960000 | 91025 | 0 | 0.0 | 101M| 150 | - | 225 | 11k| 0 | 0 | 0 |1088k| 0 | 2.600000e+01 | -- | Inf
775.52/775.54 c 738s|970000 | 90750 | 0 | 0.0 | 103M| 150 | - | 225 | 13k| 0 | 0 | 0 |1099k| 0 | 2.600000e+01 | -- | Inf
780.22/780.21 c 742s|980000 | 95190 | 0 | 0.0 | 105M| 150 | - | 225 |8822 | 0 | 0 | 0 |1106k| 0 | 2.600000e+01 | -- | Inf
784.72/784.76 c 747s|990000 | 98948 | 0 | 0.0 | 109M| 150 | - | 225 | 10k| 0 | 0 | 0 |1114k| 0 | 2.600000e+01 | -- | Inf
789.72/789.73 c 751s| 1000k|102391 | 0 | 0.0 | 113M| 150 | - | 225 | 10k| 0 | 0 | 0 |1122k| 0 | 2.600000e+01 | -- | Inf
794.92/794.96 c 756s| 1010k|105385 | 0 | 0.0 | 116M| 150 | - | 225 | 10k| 0 | 0 | 0 |1131k| 0 | 2.600000e+01 | -- | Inf
800.72/800.79 c 762s| 1020k|107513 | 0 | 0.0 | 119M| 150 | - | 225 | 11k| 0 | 0 | 0 |1140k| 0 | 2.600000e+01 | -- | Inf
806.91/806.96 c 767s| 1030k|109132 | 0 | 0.0 | 123M| 150 | - | 225 | 11k| 0 | 0 | 0 |1150k| 0 | 2.600000e+01 | -- | Inf
813.52/813.51 c 774s| 1040k|110314 | 0 | 0.0 | 125M| 150 | - | 225 | 11k| 0 | 0 | 0 |1159k| 0 | 2.600000e+01 | -- | Inf
820.91/820.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
820.91/820.94 c 781s| 1050k|110495 | 0 | 0.0 | 128M| 150 | - | 225 | 13k| 0 | 0 | 0 |1170k| 0 | 2.600000e+01 | -- | Inf
829.32/829.34 c 789s| 1060k|109848 | 0 | 0.0 | 129M| 150 | - | 225 | 14k| 0 | 0 | 0 |1182k| 0 | 2.600000e+01 | -- | Inf
839.23/839.22 c 798s| 1070k|108087 | 0 | 0.0 | 131M| 150 | - | 225 | 16k| 0 | 0 | 0 |1195k| 0 | 2.600000e+01 | -- | Inf
850.61/850.61 c 809s| 1080k|105092 | 0 | 0.0 | 130M| 150 | - | 225 | 20k| 0 | 0 | 0 |1209k| 0 | 2.600000e+01 | -- | Inf
860.62/860.68 c 819s| 1090k|104439 | 0 | 0.0 | 128M| 150 | - | 225 | 13k| 0 | 0 | 0 |1221k| 0 | 2.600000e+01 | -- | Inf
871.92/871.95 c 830s| 1100k|103034 | 0 | 0.0 | 131M| 150 | - | 225 | 19k| 0 | 0 | 0 |1235k| 0 | 2.600000e+01 | -- | Inf
885.61/885.67 c 843s| 1110k|101678 | 0 | 0.0 | 134M| 150 | - | 225 | 23k| 0 | 0 | 0 |1249k| 0 | 2.600000e+01 | -- | Inf
902.41/902.43 c 859s| 1120k| 99082 | 0 | 0.0 | 134M| 150 | - | 225 | 23k| 0 | 0 | 0 |1263k| 0 | 2.600000e+01 | -- | Inf
919.01/919.05 c 875s| 1130k| 96003 | 0 | 0.0 | 133M| 150 | - | 225 | 22k| 0 | 0 | 0 |1278k| 0 | 2.600000e+01 | -- | Inf
935.92/935.96 c 892s| 1140k| 91968 | 0 | 0.0 | 130M| 150 | - | 225 | 21k| 0 | 0 | 0 |1293k| 0 | 2.600000e+01 | -- | Inf
954.22/954.24 c 910s| 1150k| 86759 | 0 | 0.0 | 127M| 150 | - | 225 | 23k| 0 | 0 | 0 |1310k| 0 | 2.600000e+01 | -- | Inf
976.12/976.13 c 931s| 1160k| 78237 | 0 | 0.0 | 118M| 150 | - | 225 | 26k| 0 | 0 | 0 |1329k| 0 | 2.600000e+01 | -- | Inf
981.72/981.70 c 936s| 1170k| 82353 | 0 | 0.0 | 116M| 150 | - | 225 | 11k| 0 | 0 | 0 |1335k| 0 | 2.600000e+01 | -- | Inf
999.52/999.54 c 954s| 1180k| 73869 | 0 | 0.0 | 110M| 150 | - | 225 | 22k| 0 | 0 | 0 |1355k| 0 | 2.600000e+01 | -- | Inf
1018.32/1018.36 c 972s| 1190k| 69238 | 0 | 0.0 | 95M| 150 | - | 225 | 12k| 0 | 0 | 0 |1370k| 0 | 2.600000e+01 | -- | Inf
1022.02/1022.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1022.02/1022.05 c 975s| 1200k| 74933 | 0 | 0.0 | 98M| 150 | - | 225 |9739 | 0 | 0 | 0 |1374k| 0 | 2.600000e+01 | -- | Inf
1027.33/1027.34 c 980s| 1210k| 77919 | 0 | 0.0 | 102M| 150 | - | 225 | 12k| 0 | 0 | 0 |1382k| 0 | 2.600000e+01 | -- | Inf
1033.52/1033.54 c 986s| 1220k| 80316 | 0 | 0.0 | 103M| 150 | - | 225 | 14k| 0 | 0 | 0 |1391k| 0 | 2.900000e+01 | -- | Inf
1039.72/1039.70 c 992s| 1230k| 84162 | 0 | 0.0 | 107M| 150 | - | 225 | 14k| 0 | 0 | 0 |1399k| 0 | 2.900000e+01 | -- | Inf
1046.92/1046.96 c 999s| 1240k| 86730 | 0 | 0.0 | 111M| 150 | - | 225 | 15k| 0 | 0 | 0 |1408k| 0 | 2.900000e+01 | -- | Inf
1056.52/1056.53 c 1008s| 1250k| 87297 | 0 | 0.0 | 114M| 150 | - | 225 | 18k| 0 | 0 | 0 |1419k| 0 | 2.900000e+01 | -- | Inf
1068.12/1068.11 c 1019s| 1260k| 85974 | 0 | 0.0 | 116M| 150 | - | 225 | 22k| 0 | 0 | 0 |1431k| 0 | 2.900000e+01 | -- | Inf
1080.12/1080.19 c 1031s| 1270k| 85615 | 0 | 0.0 | 118M| 150 | - | 225 | 23k| 0 | 0 | 0 |1444k| 0 | 2.900000e+01 | -- | Inf
1096.22/1096.24 c 1046s| 1280k| 84827 | 0 | 0.0 | 120M| 150 | - | 225 | 25k| 0 | 0 | 0 |1458k| 0 | 2.900000e+01 | -- | Inf
1116.22/1116.26 c 1066s| 1290k| 81696 | 0 | 0.0 | 120M| 150 | - | 225 | 28k| 0 | 0 | 0 |1474k| 0 | 2.900000e+01 | -- | Inf
1138.62/1138.69 c 1088s| 1300k| 76732 | 0 | 0.0 | 117M| 150 | - | 225 | 32k| 0 | 0 | 0 |1491k| 0 | 2.900000e+01 | -- | Inf
1158.34/1158.31 c 1107s| 1310k| 73541 | 0 | 0.0 | 112M| 150 | - | 225 | 24k| 0 | 0 | 0 |1505k| 0 | 2.900000e+01 | -- | Inf
1183.83/1183.82 c 1132s| 1320k| 65811 | 0 | 0.0 | 102M| 150 | - | 225 | 28k| 0 | 0 | 0 |1525k| 0 | 2.900000e+01 | -- | Inf
1196.23/1196.26 c 1144s| 1330k| 66448 | 0 | 0.0 | 95M| 150 | - | 225 | 10k| 0 | 0 | 0 |1536k| 0 | 3.600000e+01 | -- | Inf
1202.23/1202.26 c 1150s| 1340k| 67972 | 0 | 0.0 | 97M| 150 | - | 225 |8877 | 0 | 0 | 0 |1547k| 0 | 3.600000e+01 | -- | Inf
1209.53/1209.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1209.53/1209.56 c 1157s| 1350k| 67698 | 0 | 0.0 | 97M| 150 | - | 225 |6273 | 0 | 0 | 0 |1559k| 0 | 3.600000e+01 | -- | Inf
1217.03/1217.04 c 1164s| 1360k| 65301 | 0 | 0.0 | 96M| 150 | - | 225 | 10k| 0 | 0 | 0 |1573k| 0 | 3.600000e+01 | -- | Inf
1224.82/1224.88 c 1171s| 1370k| 62429 | 0 | 0.0 | 94M| 150 | - | 225 |9844 | 0 | 0 | 0 |1585k| 0 | 3.600000e+01 | -- | Inf
1232.93/1232.99 c 1179s| 1380k| 59739 | 0 | 0.0 | 91M| 150 | - | 225 |9068 | 0 | 0 | 0 |1598k| 0 | 4.300000e+01 | -- | Inf
1238.72/1238.76 c 1184s| 1390k| 60129 | 0 | 0.0 | 91M| 150 | - | 225 |7814 | 0 | 0 | 0 |1609k| 0 | 4.300000e+01 | -- | Inf
1245.63/1245.61 c 1191s| 1400k| 59358 | 0 | 0.0 | 91M| 150 | - | 225 |9398 | 0 | 0 | 0 |1621k| 0 | 4.300000e+01 | -- | Inf
1254.03/1254.03 c 1199s| 1410k| 57832 | 0 | 0.0 | 89M| 150 | - | 225 | 10k| 0 | 0 | 0 |1633k| 0 | 4.500000e+01 | -- | Inf
1264.73/1264.72 c 1209s| 1420k| 54473 | 0 | 0.0 | 88M| 150 | - | 225 | 13k| 0 | 0 | 0 |1649k| 0 | 4.500000e+01 | -- | Inf
1274.23/1274.22 c 1218s| 1430k| 52113 | 0 | 0.0 | 82M| 150 | - | 225 |6933 | 0 | 0 | 0 |1662k| 0 | 4.600000e+01 | -- | Inf
1277.63/1277.67 c 1221s| 1440k| 56056 | 0 | 0.0 | 84M| 150 | - | 225 |7255 | 0 | 0 | 0 |1668k| 0 | 4.700000e+01 | -- | Inf
1280.03/1280.06 c 1223s| 1450k| 62754 | 0 | 0.0 | 87M| 150 | - | 225 |5184 | 0 | 0 | 0 |1671k| 0 | 4.700000e+01 | -- | Inf
1282.83/1282.89 c 1226s| 1460k| 68202 | 0 | 0.0 | 91M| 150 | - | 225 |7296 | 0 | 0 | 0 |1676k| 0 | 4.700000e+01 | -- | Inf
1287.93/1287.90 c 1230s| 1470k| 70178 | 0 | 0.0 | 96M| 150 | - | 225 | 10k| 0 | 0 | 0 |1683k| 0 | 4.700000e+01 | -- | Inf
1292.63/1292.64 c 1235s| 1480k| 72973 | 0 | 0.0 | 96M| 150 | - | 225 |5755 | 0 | 0 | 0 |1691k| 0 | 4.700000e+01 | -- | Inf
1295.63/1295.66 c 1237s| 1490k| 78045 | 0 | 0.0 | 100M| 150 | - | 225 |5807 | 0 | 0 | 0 |1695k| 0 | 4.700000e+01 | -- | Inf
1299.63/1299.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1299.63/1299.69 c 1241s| 1500k| 81318 | 0 | 0.0 | 105M| 150 | - | 225 |7684 | 0 | 0 | 0 |1702k| 0 | 4.700000e+01 | -- | Inf
1305.13/1305.12 c 1246s| 1510k| 82970 | 0 | 0.0 | 109M| 150 | - | 225 | 10k| 0 | 0 | 0 |1710k| 0 | 4.700000e+01 | -- | Inf
1312.43/1312.47 c 1253s| 1520k| 82897 | 0 | 0.0 | 112M| 150 | - | 225 | 12k| 0 | 0 | 0 |1720k| 0 | 4.700000e+01 | -- | Inf
1322.03/1322.02 c 1262s| 1530k| 80617 | 0 | 0.0 | 112M| 150 | - | 225 | 14k| 0 | 0 | 0 |1731k| 0 | 4.700000e+01 | -- | Inf
1326.93/1326.97 c 1267s| 1540k| 84805 | 0 | 0.0 | 114M| 150 | - | 225 |9505 | 0 | 0 | 0 |1739k| 0 | 4.700000e+01 | -- | Inf
1333.24/1333.28 c 1272s| 1550k| 85903 | 0 | 0.0 | 116M| 150 | - | 225 | 10k| 0 | 0 | 0 |1749k| 0 | 4.700000e+01 | -- | Inf
1339.33/1339.35 c 1278s| 1560k| 87485 | 0 | 0.0 | 119M| 150 | - | 225 | 10k| 0 | 0 | 0 |1757k| 0 | 4.700000e+01 | -- | Inf
1346.93/1346.98 c 1285s| 1570k| 87428 | 0 | 0.0 | 121M| 150 | - | 225 | 13k| 0 | 0 | 0 |1768k| 0 | 4.700000e+01 | -- | Inf
1357.63/1357.70 c 1296s| 1580k| 84934 | 0 | 0.0 | 122M| 150 | - | 225 | 17k| 0 | 0 | 0 |1780k| 0 | 4.700000e+01 | -- | Inf
1371.34/1371.36 c 1309s| 1590k| 80780 | 0 | 0.0 | 117M| 150 | - | 225 | 17k| 0 | 0 | 0 |1793k| 0 | 4.700000e+01 | -- | Inf
1379.83/1379.80 c 1317s| 1600k| 80666 | 0 | 0.0 | 118M| 150 | - | 225 | 12k| 0 | 0 | 0 |1806k| 0 | 4.700000e+01 | -- | Inf
1388.73/1388.73 c 1325s| 1610k| 80055 | 0 | 0.0 | 120M| 150 | - | 225 | 18k| 0 | 0 | 0 |1820k| 0 | 4.700000e+01 | -- | Inf
1402.13/1402.19 c 1338s| 1620k| 76023 | 0 | 0.0 | 117M| 150 | - | 225 | 19k| 0 | 0 | 0 |1833k| 0 | 4.700000e+01 | -- | Inf
1420.04/1420.01 c 1356s| 1630k| 68804 | 0 | 0.0 | 108M| 150 | - | 225 | 18k| 0 | 0 | 0 |1851k| 0 | 4.700000e+01 | -- | Inf
1435.04/1435.03 c 1370s| 1640k| 62847 | 0 | 0.0 | 104M| 150 | - | 225 | 22k| 0 | 0 | 0 |1869k| 0 | 4.700000e+01 | -- | Inf
1444.34/1444.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1444.34/1444.31 c 1379s| 1650k| 62615 | 0 | 0.0 | 95M| 150 | - | 225 |8858 | 0 | 0 | 0 |1879k| 0 | 4.800000e+01 | -- | Inf
1447.64/1447.61 c 1382s| 1660k| 67500 | 0 | 0.0 | 97M| 150 | - | 225 |7123 | 0 | 0 | 0 |1884k| 0 | 5.200000e+01 | -- | Inf
1449.63/1449.62 c 1384s| 1670k| 74698 | 0 | 0.0 | 100M| 150 | - | 225 |4843 | 0 | 0 | 0 |1886k| 0 | 5.200000e+01 | -- | Inf
1451.94/1451.90 c 1386s| 1680k| 81103 | 0 | 0.0 | 104M| 150 | - | 225 |6423 | 0 | 0 | 0 |1889k| 0 | 5.200000e+01 | -- | Inf
1454.93/1454.96 c 1388s| 1690k| 86216 | 0 | 0.0 | 108M| 150 | - | 225 |7264 | 0 | 0 | 0 |1894k| 0 | 5.200000e+01 | -- | Inf
1459.53/1459.51 c 1393s| 1700k| 88722 | 0 | 0.0 | 112M| 150 | - | 225 |8990 | 0 | 0 | 0 |1900k| 0 | 5.200000e+01 | -- | Inf
1463.84/1463.85 c 1397s| 1710k| 92307 | 0 | 0.0 | 114M| 150 | - | 225 |7539 | 0 | 0 | 0 |1906k| 0 | 5.200000e+01 | -- | Inf
1467.23/1467.29 c 1400s| 1720k| 97300 | 0 | 0.0 | 118M| 150 | - | 225 |7469 | 0 | 0 | 0 |1911k| 0 | 5.200000e+01 | -- | Inf
1471.84/1471.86 c 1404s| 1730k|100545 | 0 | 0.0 | 122M| 150 | - | 225 |9263 | 0 | 0 | 0 |1917k| 0 | 5.200000e+01 | -- | Inf
1477.63/1477.63 c 1409s| 1740k|102569 | 0 | 0.0 | 126M| 150 | - | 225 | 11k| 0 | 0 | 0 |1924k| 0 | 5.200000e+01 | -- | Inf
1484.53/1484.56 c 1416s| 1750k|103502 | 0 | 0.0 | 129M| 150 | - | 225 | 13k| 0 | 0 | 0 |1932k| 0 | 5.200000e+01 | -- | Inf
1493.34/1493.36 c 1424s| 1760k|102758 | 0 | 0.0 | 132M| 150 | - | 225 | 14k| 0 | 0 | 0 |1942k| 0 | 5.200000e+01 | -- | Inf
1503.44/1503.41 c 1434s| 1770k|100234 | 0 | 0.0 | 133M| 150 | - | 225 | 14k| 0 | 0 | 0 |1953k| 0 | 5.200000e+01 | -- | Inf
1511.14/1511.17 c 1441s| 1780k|100339 | 0 | 0.0 | 130M| 150 | - | 225 |7486 | 0 | 0 | 0 |1963k| 0 | 5.200000e+01 | -- | Inf
1515.44/1515.49 c 1445s| 1790k|103983 | 0 | 0.0 | 134M| 150 | - | 225 |8631 | 0 | 0 | 0 |1968k| 0 | 5.200000e+01 | -- | Inf
1521.74/1521.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1521.74/1521.75 c 1451s| 1800k|105427 | 0 | 0.0 | 138M| 150 | - | 225 | 11k| 0 | 0 | 0 |1977k| 0 | 5.200000e+01 | -- | Inf
1530.44/1530.45 c 1459s| 1810k|104967 | 0 | 0.0 | 140M| 150 | - | 225 | 14k| 0 | 0 | 0 |1986k| 0 | 5.200000e+01 | -- | Inf
1542.83/1542.85 c 1471s| 1820k|102444 | 0 | 0.0 | 142M| 150 | - | 225 | 19k| 0 | 0 | 0 |1998k| 0 | 5.200000e+01 | -- | Inf
1559.63/1559.63 c 1488s| 1830k| 97799 | 0 | 0.0 | 139M| 150 | - | 225 | 23k| 0 | 0 | 0 |2011k| 0 | 5.200000e+01 | -- | Inf
1572.04/1572.05 c 1500s| 1840k| 97263 | 0 | 0.0 | 133M| 150 | - | 225 | 10k| 0 | 0 | 0 |2021k| 0 | 5.200000e+01 | -- | Inf
1576.64/1576.69 c 1504s| 1850k| 99425 | 0 | 0.0 | 134M| 150 | - | 225 |6290 | 0 | 0 | 0 |2031k| 0 | 5.200000e+01 | -- | Inf
1582.95/1583.00 c 1510s| 1860k| 99012 | 0 | 0.0 | 135M| 150 | - | 225 |9640 | 0 | 0 | 0 |2040k| 0 | 5.200000e+01 | -- | Inf
1596.84/1596.85 c 1523s| 1870k| 92258 | 0 | 0.0 | 130M| 150 | - | 225 | 18k| 0 | 0 | 0 |2055k| 0 | 5.200000e+01 | -- | Inf
1603.94/1603.98 c 1530s| 1880k| 95649 | 0 | 0.0 | 128M| 150 | - | 225 |8377 | 0 | 0 | 0 |2063k| 0 | 5.200000e+01 | -- | Inf
1608.14/1608.13 c 1534s| 1890k| 99984 | 0 | 0.0 | 132M| 150 | - | 225 |8928 | 0 | 0 | 0 |2071k| 0 | 5.200000e+01 | -- | Inf
1614.34/1614.37 c 1540s| 1900k|101191 | 0 | 0.0 | 134M| 150 | - | 225 |9619 | 0 | 0 | 0 |2081k| 0 | 5.200000e+01 | -- | Inf
1618.94/1618.98 c 1544s| 1910k|103044 | 0 | 0.0 | 135M| 150 | - | 225 |7599 | 0 | 0 | 0 |2089k| 0 | 5.200000e+01 | -- | Inf
1620.74/1620.72 o 290
1620.74/1620.72 c *1545s| 1911k|101368 | 0 | 0.0 | 133M| 150 | - | 225 |9528 | 0 | 0 | 0 |2092k| 0 | 5.200000e+01 | 2.900000e+02 | 457.69%
1625.34/1625.34 c 1550s| 1920k|103465 | 0 | 0.0 | 134M| 150 | - | 225 |9484 | 0 | 0 | 0 |2101k| 0 | 5.200000e+01 | 2.900000e+02 | 457.69%
1631.04/1631.04 c 1555s| 1930k|106435 | 0 | 0.0 | 137M| 150 | - | 225 | 11k| 0 | 0 | 0 |2113k| 0 | 5.500000e+01 | 2.900000e+02 | 427.27%
1638.74/1638.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1638.74/1638.78 c 1562s| 1940k|107553 | 0 | 0.0 | 141M| 150 | - | 225 | 14k| 0 | 0 | 0 |2126k| 0 | 5.500000e+01 | 2.900000e+02 | 427.27%
1649.24/1649.26 c 1572s| 1950k|106240 | 0 | 0.0 | 143M| 150 | - | 225 | 16k| 0 | 0 | 0 |2140k| 0 | 5.500000e+01 | 2.900000e+02 | 427.27%
1658.94/1658.94 c 1582s| 1960k|106248 | 0 | 0.0 | 142M| 150 | - | 225 | 12k| 0 | 0 | 0 |2152k| 0 | 5.500000e+01 | 2.900000e+02 | 427.27%
1663.25/1663.21 c 1586s| 1970k|111094 | 0 | 0.0 | 145M| 150 | - | 225 |8988 | 0 | 0 | 0 |2158k| 0 | 5.500000e+01 | 2.900000e+02 | 427.27%
1669.24/1669.27 c 1591s| 1980k|112316 | 0 | 0.0 | 148M| 150 | - | 225 | 12k| 0 | 0 | 0 |2168k| 0 | 5.500000e+01 | 2.900000e+02 | 427.27%
1678.65/1678.67 c 1600s| 1990k|112260 | 0 | 0.0 | 152M| 150 | - | 225 | 16k| 0 | 0 | 0 |2183k| 0 | 5.500000e+01 | 2.900000e+02 | 427.27%
1692.95/1692.93 c 1614s| 2000k|109805 | 0 | 0.0 | 153M| 150 | - | 225 | 21k| 0 | 0 | 0 |2201k| 0 | 5.500000e+01 | 2.900000e+02 | 427.27%
1714.34/1714.36 c 1635s| 2010k|103519 | 0 | 0.0 | 148M| 150 | - | 225 | 26k| 0 | 0 | 0 |2222k| 0 | 5.500000e+01 | 2.900000e+02 | 427.27%
1723.34/1723.31 c 1644s| 2020k|105953 | 0 | 0.0 | 146M| 150 | - | 225 | 12k| 0 | 0 | 0 |2231k| 0 | 5.500000e+01 | 2.900000e+02 | 427.27%
1730.94/1730.91 c 1651s| 2030k|106598 | 0 | 0.0 | 148M| 150 | - | 225 | 13k| 0 | 0 | 0 |2241k| 0 | 5.500000e+01 | 2.900000e+02 | 427.27%
1739.05/1739.06 c 1659s| 2040k|107495 | 0 | 0.0 | 151M| 150 | - | 225 | 17k| 0 | 0 | 0 |2252k| 0 | 5.500000e+01 | 2.900000e+02 | 427.27%
1750.15/1750.12 c 1669s| 2050k|105863 | 0 | 0.0 | 149M| 150 | - | 225 | 15k| 0 | 0 | 0 |2266k| 0 | 5.500000e+01 | 2.900000e+02 | 427.27%
1766.35/1766.32 c 1685s| 2060k|101211 | 0 | 0.0 | 142M| 150 | - | 225 | 17k| 0 | 0 | 0 |2284k| 0 | 5.500000e+01 | 2.900000e+02 | 427.27%
1778.76/1778.76 c 1697s| 2070k| 98617 | 0 | 0.0 | 140M| 150 | - | 225 | 18k| 0 | 0 | 0 |2299k| 0 | 5.600000e+01 | 2.900000e+02 | 417.86%
1791.75/1791.75 c 1710s| 2080k| 96006 | 0 | 0.0 | 140M| 150 | - | 225 | 22k| 0 | 0 | 0 |2313k| 0 | 5.600000e+01 | 2.900000e+02 | 417.86%
1799.14/1799.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1799.14/1799.16 c 1717s| 2090k| 99607 | 0 | 0.0 | 137M| 150 | - | 225 |7056 | 0 | 0 | 0 |2320k| 0 | 5.600000e+01 | 2.900000e+02 | 417.86%
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1717.41
1800.05/1800.00 c Solving Nodes : 2092078
1800.05/1800.00 c Primal Bound : +2.90000000000000e+02 (1 solutions)
1800.05/1800.00 c Dual Bound : +5.60000000000000e+01
1800.05/1800.00 c Gap : 417.86 %
1800.05/1800.00 s SATISFIABLE
1800.05/1800.00 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.00 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.00 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.00 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.00 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.00 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.00 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.00 v -x4 -x3 -x2 -x1
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time : 1717.41
1800.05/1800.00 c Original Problem :
1800.05/1800.00 c Problem name : HOME/instance-2693987-1277899110.wbo
1800.05/1800.00 c Variables : 227 (198 binary, 0 integer, 0 implicit integer, 29 continuous)
1800.05/1800.00 c Constraints : 131 initial, 131 maximal
1800.05/1800.00 c Presolved Problem :
1800.05/1800.00 c Problem name : t_HOME/instance-2693987-1277899110.wbo
1800.05/1800.00 c Variables : 225 (197 binary, 0 integer, 0 implicit integer, 28 continuous)
1800.05/1800.00 c Constraints : 112 initial, 42233 maximal
1800.05/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.05/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c probing : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 0.00 0 0 0 0 0 1 0 0
1800.05/1800.00 c knapsack : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c linear : 0.00 0 0 0 28 0 18 1 0
1800.05/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c root node : - 0 - - 0 - - - -
1800.05/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 28 0 6432971 0 1265352 4 191376 0 0 0
1800.05/1800.00 c knapsack : 1 0 6753526 0 1324300 136428 31149095 0 0 0
1800.05/1800.00 c setppc : 48 0 6617096 0 1324300 843169 9587332 0 0 0
1800.05/1800.00 c linear : 28 0 5773928 0 1324296 82182 2564950 0 0 0
1800.05/1800.00 c logicor : 7+ 0 2895631 0 1314012 40369 1185978 0 0 0
1800.05/1800.00 c countsols : 0 0 0 0 1324297 0 0 0 0 0
1800.05/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c indicator : 1.04 0.00 0.39 0.00 0.65
1800.05/1800.00 c knapsack : 218.04 0.00 215.57 0.00 2.47
1800.05/1800.00 c setppc : 44.67 0.00 39.07 0.00 5.60
1800.05/1800.00 c linear : 27.79 0.00 27.74 0.00 0.05
1800.05/1800.00 c logicor : 667.12 0.00 666.88 0.00 0.24
1800.05/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.00 c vbounds : 0.00 2 0 0
1800.05/1800.00 c rootredcost : 0.00 0 0 0
1800.05/1800.00 c pseudoobj : 3.45 6753333 1 170
1800.05/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.00 c propagation : 25.83 1102148 1102085 5299605 18.0 84069 13.3 -
1800.05/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.00 c applied globally : - - - 2313223 14.9 - - -
1800.05/1800.00 c applied locally : - - - 8170 35.6 - - -
1800.05/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.00 c redcost : 0.00 0 0 0 0 0
1800.05/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.00 c intobj : 0.00 0 0 0 0 0
1800.05/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.00 c gomory : 0.00 0 0 0 0 0
1800.05/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.00 c cmir : 0.00 0 0 0 0 0
1800.05/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.00 c clique : 0.00 0 0 0 0 0
1800.05/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.00 c mcf : 0.00 0 0 0 0 0
1800.05/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.00 c Pricers : Time Calls Vars
1800.05/1800.00 c problem variables: 0.00 0 0
1800.05/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c inference : 9.36 1324296 0 0 0 0 2648592
1800.05/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c random : 0.00 0 0 0 0 0 0
1800.05/1800.00 c Primal Heuristics : Time Calls Found
1800.05/1800.00 c LP solutions : 0.00 - 0
1800.05/1800.00 c pseudo solutions : 0.00 - 1
1800.05/1800.00 c oneopt : 0.01 0 0
1800.05/1800.00 c trivial : 0.00 2 0
1800.05/1800.00 c simplerounding : 0.00 0 0
1800.05/1800.00 c zirounding : 0.00 0 0
1800.05/1800.00 c rounding : 0.00 0 0
1800.05/1800.00 c shifting : 0.00 0 0
1800.05/1800.00 c intshifting : 0.00 0 0
1800.05/1800.00 c twoopt : 0.00 0 0
1800.05/1800.00 c fixandinfer : 0.00 0 0
1800.05/1800.00 c feaspump : 0.00 0 0
1800.05/1800.00 c coefdiving : 0.00 0 0
1800.05/1800.00 c pscostdiving : 0.00 0 0
1800.05/1800.00 c fracdiving : 0.00 0 0
1800.05/1800.00 c veclendiving : 0.00 0 0
1800.05/1800.00 c intdiving : 0.00 0 0
1800.05/1800.00 c actconsdiving : 0.00 0 0
1800.05/1800.00 c objpscostdiving : 0.00 0 0
1800.05/1800.00 c rootsoldiving : 0.00 0 0
1800.05/1800.00 c linesearchdiving : 0.00 0 0
1800.05/1800.00 c guideddiving : 0.00 0 0
1800.05/1800.00 c octane : 0.00 0 0
1800.05/1800.00 c rens : 0.00 0 0
1800.05/1800.00 c rins : 0.00 0 0
1800.05/1800.00 c localbranching : 0.00 0 0
1800.05/1800.00 c mutation : 0.00 0 0
1800.05/1800.00 c crossover : 0.00 0 0
1800.05/1800.00 c dins : 0.00 0 0
1800.05/1800.00 c undercover : 0.00 0 0
1800.05/1800.00 c nlp : 0.00 0 0
1800.05/1800.00 c trysol : 0.00 1 0
1800.05/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.00 c (at root node) : - 0 0 0.00 -
1800.05/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.00 c B&B Tree :
1800.05/1800.00 c number of runs : 1
1800.05/1800.00 c nodes : 2092078
1800.05/1800.00 c nodes (total) : 2092078
1800.05/1800.00 c nodes left : 100305
1800.05/1800.00 c max depth : 150
1800.05/1800.00 c max depth (total): 150
1800.05/1800.00 c backtracks : 803876 (38.4%)
1800.05/1800.00 c delayed cutoffs : 456210
1800.05/1800.00 c repropagations : 2584141 (11914657 domain reductions, 334372 cutoffs)
1800.05/1800.00 c avg switch length: 18.33
1800.05/1800.00 c switching time : 556.94
1800.05/1800.00 c Solution :
1800.05/1800.00 c Solutions found : 1 (1 improvements)
1800.05/1800.00 c First Solution : +2.90000000000000e+02 (in run 1, after 1911823 nodes, 1545.48 seconds, depth 36, found by <relaxation>)
1800.05/1800.00 c Primal Bound : +2.90000000000000e+02 (in run 1, after 1911823 nodes, 1545.48 seconds, depth 36, found by <relaxation>)
1800.05/1800.00 c Dual Bound : +5.60000000000000e+01
1800.05/1800.00 c Gap : 417.86 %
1800.05/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Root Iterations : 0
1800.24/1800.27 c Time complete: 1800.32.
OK 238
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693987-1277899110/watcher-2693987-1277899110 -o /tmp/evaluation-result-2693987-1277899110/solver-2693987-1277899110 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693987-1277899110.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.93 1.98 1.99 4/178 15421 /proc/meminfo: memFree=30933896/32951124 swapFree=67111528/67111528 [pid=15421] ppid=15419 vsize=8140 CPUtime=0 /proc/15421/stat : 15421 (pbscip.linux.x8) R 15419 15421 12496 0 -1 4202496 1543 0 0 0 0 0 0 0 21 0 1 0 131206531 8335360 1466 4089446400 4194304 7136930 140734764701392 18446744073709551615 4333519 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/15421/statm: 2035 1466 276 719 0 1314 0 [startup+0.073761 s] /proc/loadavg: 1.93 1.98 1.99 4/178 15421 /proc/meminfo: memFree=30933896/32951124 swapFree=67111528/67111528 [pid=15421] ppid=15419 vsize=12284 CPUtime=0.06 /proc/15421/stat : 15421 (pbscip.linux.x8) R 15419 15421 12496 0 -1 4202496 4874 0 0 0 4 2 0 0 21 0 1 0 131206531 12578816 2388 4089446400 4194304 7136930 140734764701392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15421/statm: 3104 2390 404 719 0 2383 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 12284 [startup+0.100756 s] /proc/loadavg: 1.93 1.98 1.99 4/178 15421 /proc/meminfo: memFree=30933896/32951124 swapFree=67111528/67111528 [pid=15421] ppid=15419 vsize=12548 CPUtime=0.09 /proc/15421/stat : 15421 (pbscip.linux.x8) R 15419 15421 12496 0 -1 4202496 4941 0 0 0 6 3 0 0 21 0 1 0 131206531 12849152 2455 4089446400 4194304 7136930 140734764701392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15421/statm: 3137 2455 404 719 0 2416 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12548 [startup+0.300715 s] /proc/loadavg: 1.93 1.98 1.99 4/178 15421 /proc/meminfo: memFree=30933896/32951124 swapFree=67111528/67111528 [pid=15421] ppid=15419 vsize=14140 CPUtime=0.29 /proc/15421/stat : 15421 (pbscip.linux.x8) R 15419 15421 12496 0 -1 4202496 5336 0 0 0 21 8 0 0 21 0 1 0 131206531 14479360 2850 4089446400 4194304 7136930 140734764701392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15421/statm: 3535 2850 404 719 0 2814 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14140 [startup+0.700647 s] /proc/loadavg: 1.93 1.98 1.99 4/178 15421 /proc/meminfo: memFree=30933896/32951124 swapFree=67111528/67111528 [pid=15421] ppid=15419 vsize=16708 CPUtime=0.69 /proc/15421/stat : 15421 (pbscip.linux.x8) R 15419 15421 12496 0 -1 4202496 5975 0 0 0 51 18 0 0 22 0 1 0 131206531 17108992 3489 4089446400 4194304 7136930 140734764701392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15421/statm: 4177 3489 404 719 0 3456 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16708 [startup+1.50049 s] /proc/loadavg: 1.93 1.98 1.99 3/179 15422 /proc/meminfo: memFree=30919628/32951124 swapFree=67111528/67111528 [pid=15421] ppid=15419 vsize=20440 CPUtime=1.49 /proc/15421/stat : 15421 (pbscip.linux.x8) R 15419 15421 12496 0 -1 4202496 6904 0 0 0 118 31 0 0 25 0 1 0 131206531 20930560 4418 4089446400 4194304 7136930 140734764701392 18446744073709551615 4660982 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15421/statm: 5110 4418 404 719 0 4389 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20440 [startup+3.10021 s] /proc/loadavg: 1.93 1.98 1.99 3/179 15422 /proc/meminfo: memFree=30916020/32951124 swapFree=67111528/67111528 [pid=15421] ppid=15419 vsize=24804 CPUtime=3.09 /proc/15421/stat : 15421 (pbscip.linux.x8) R 15419 15421 12496 0 -1 4202496 8019 0 0 0 256 53 0 0 25 0 1 0 131206531 25399296 5533 4089446400 4194304 7136930 140734764701392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15421/statm: 6201 5533 404 719 0 5480 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24804 [startup+6.30062 s] /proc/loadavg: 1.93 1.98 1.99 3/179 15422 /proc/meminfo: memFree=30908208/32951124 swapFree=67111528/67111528 [pid=15421] ppid=15419 vsize=31420 CPUtime=6.29 /proc/15421/stat : 15421 (pbscip.linux.x8) R 15419 15421 12496 0 -1 4202496 9684 0 0 0 540 89 0 0 25 0 1 0 131206531 32174080 7198 4089446400 4194304 7136930 140734764701392 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15421/statm: 7855 7198 404 719 0 7134 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 31420 [startup+12.7004 s] /proc/loadavg: 1.94 1.98 1.99 3/179 15423 /proc/meminfo: memFree=30899712/32951124 swapFree=67111528/67111528 [pid=15421] ppid=15419 vsize=40348 CPUtime=12.69 /proc/15421/stat : 15421 (pbscip.linux.x8) R 15419 15421 12496 0 -1 4202496 11931 0 0 0 1127 142 0 0 25 0 1 0 131206531 41316352 9445 4089446400 4194304 7136930 140734764701392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15421/statm: 10087 9445 404 719 0 9366 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 40348 [startup+25.5011 s] /proc/loadavg: 1.95 1.98 1.99 3/179 15423 /proc/meminfo: memFree=30887548/32951124 swapFree=67111528/67111528 [pid=15421] ppid=15419 vsize=53148 CPUtime=25.49 /proc/15421/stat : 15421 (pbscip.linux.x8) R 15419 15421 12496 0 -1 4202496 15058 0 0 0 2314 235 0 0 25 0 1 0 131206531 54423552 12550 4089446400 4194304 7136930 140734764701392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15421/statm: 13287 12550 404 719 0 12566 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 53148 [startup+51.1004 s] /proc/loadavg: 1.97 1.98 1.99 3/179 15423 /proc/meminfo: memFree=30878456/32951124 swapFree=67111528/67111528 [pid=15421] ppid=15419 vsize=63112 CPUtime=51.09 /proc/15421/stat : 15421 (pbscip.linux.x8) R 15419 15421 12496 0 -1 4202496 17497 0 0 0 4755 354 0 0 25 0 1 0 131206531 64626688 14989 4089446400 4194304 7136930 140734764701392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15421/statm: 15778 14989 404 719 0 15057 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 63112 [startup+102.307 s] /proc/loadavg: 1.98 1.98 1.99 3/179 15425 /proc/meminfo: memFree=30872440/32951124 swapFree=67111528/67111528 [pid=15421] ppid=15419 vsize=67964 CPUtime=102.3 /proc/15421/stat : 15421 (pbscip.linux.x8) R 15419 15421 12496 0 -1 4202496 18571 0 0 0 9643 587 0 0 25 0 1 0 131206531 69595136 16063 4089446400 4194304 7136930 140734764701392 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15421/statm: 16991 16063 404 719 0 16270 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 67964 [startup+162.301 s] /proc/loadavg: 1.99 1.98 1.99 3/179 15436 /proc/meminfo: memFree=30866896/32951124 swapFree=67111528/67111528 [pid=15421] ppid=15419 vsize=72084 CPUtime=162.29 /proc/15421/stat : 15421 (pbscip.linux.x8) R 15419 15421 12496 0 -1 4202496 19530 0 0 0 15490 739 0 0 25 0 1 0 131206531 73814016 17022 4089446400 4194304 7136930 140734764701392 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15421/statm: 18021 17022 404 719 0 17300 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 72084 [startup+222.301 s] /proc/loadavg: 1.99 1.98 1.99 3/179 15437 /proc/meminfo: memFree=30851324/32951124 swapFree=67111528/67111528 [pid=15421] ppid=15419 vsize=87372 CPUtime=222.3 /proc/15421/stat : 15421 (pbscip.linux.x8) R 15419 15421 12496 0 -1 4202496 23399 0 0 0 21137 1093 0 0 25 0 1 0 131206531 89468928 20891 4089446400 4194304 7136930 140734764701392 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15421/statm: 21843 20891 404 719 0 21122 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 87372 [startup+282.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 15439 /proc/meminfo: memFree=30841956/32951124 swapFree=67111528/67111528 [pid=15421] ppid=15419 vsize=97756 CPUtime=282.29 /proc/15421/stat : 15421 (pbscip.linux.x8) R 15419 15421 12496 0 -1 4202496 25974 0 0 0 26871 1358 0 0 25 0 1 0 131206531 100102144 23466 4089446400 4194304 7136930 140734764701392 18446744073709551615 4209110 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15421/statm: 24439 23466 404 719 0 23718 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 97756 [startup+342.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 15440 /proc/meminfo: memFree=30840808/32951124 swapFree=67111528/67111528 [pid=15421] ppid=15419 vsize=98984 CPUtime=342.3 /proc/15421/stat : 15421 (pbscip.linux.x8) R 15419 15421 12496 0 -1 4202496 26222 0 0 0 32698 1532 0 0 25 0 1 0 131206531 101359616 23714 4089446400 4194304 7136930 140734764701392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15421/statm: 24746 23714 404 719 0 24025 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 98984 [startup+402.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 15442 /proc/meminfo: memFree=30834076/32951124 swapFree=67111528/67111528 [pid=15421] ppid=15419 vsize=103384 CPUtime=402.3 /proc/15421/stat : 15421 (pbscip.linux.x8) R 15419 15421 12496 0 -1 4202496 27324 0 0 0 38398 1832 0 0 25 0 1 0 131206531 105865216 24816 4089446400 4194304 7136930 140734764701392 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15421/statm: 25846 24816 404 719 0 25125 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 103384 [startup+462.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 15444 /proc/meminfo: memFree=30831648/32951124 swapFree=67111528/67111528 [pid=15421] ppid=15419 vsize=105116 CPUtime=462.31 /proc/15421/stat : 15421 (pbscip.linux.x8) R 15419 15421 12496 0 -1 4202496 27781 0 0 0 44123 2108 0 0 25 0 1 0 131206531 107638784 25273 4089446400 4194304 7136930 140734764701392 18446744073709551615 5000109 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15421/statm: 26279 25273 404 719 0 25558 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 105116 [startup+522.3 s] /proc/loadavg: 2.05 2.00 1.99 3/179 15445 /proc/meminfo: memFree=30823672/32951124 swapFree=67111528/67111528 [pid=15421] ppid=15419 vsize=111376 CPUtime=522.3 /proc/15421/stat : 15421 (pbscip.linux.x8) R 15419 15421 12496 0 -1 4202496 29435 0 0 0 49735 2495 0 0 25 0 1 0 131206531 114049024 26927 4089446400 4194304 7136930 140734764701392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15421/statm: 27844 26927 404 719 0 27123 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 111376 [startup+582.3 s] /proc/loadavg: 2.02 2.00 1.99 3/179 15447 /proc/meminfo: memFree=30803656/32951124 swapFree=67111528/67111528 [pid=15421] ppid=15419 vsize=133992 CPUtime=582.3 /proc/15421/stat : 15421 (pbscip.linux.x8) R 15419 15421 12496 0 -1 4202496 34529 0 0 0 55413 2817 0 0 25 0 1 0 131206531 137207808 32021 4089446400 4194304 7136930 140734764701392 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15421/statm: 33498 32021 404 719 0 32777 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 133992 [startup+642.301 s] /proc/loadavg: 2.00 2.00 1.99 3/179 15448 /proc/meminfo: memFree=30797916/32951124 swapFree=67111528/67111528 [pid=15421] ppid=15419 vsize=139392 CPUtime=642.31 /proc/15421/stat : 15421 (pbscip.linux.x8) R 15419 15421 12496 0 -1 4202496 35871 0 0 0 61191 3040 0 0 25 0 1 0 131206531 142737408 33363 4089446400 4194304 7136930 140734764701392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15421/statm: 34848 33363 404 719 0 34127 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 139392 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15455 /proc/meminfo: memFree=30757056/32951124 swapFree=67111528/67111528 [pid=15421] ppid=15419 vsize=178708 CPUtime=882.32 /proc/15421/stat : 15421 (pbscip.linux.x8) R 15419 15421 12496 0 -1 4202496 45799 0 0 0 83951 4281 0 0 25 0 1 0 131206531 182996992 43291 4089446400 4194304 7136930 140734764701392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15421/statm: 44677 43291 404 719 0 43956 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 178708 [startup+942.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15456 /proc/meminfo: memFree=30752676/32951124 swapFree=67111528/67111528 [pid=15421] ppid=15419 vsize=182228 CPUtime=942.32 /proc/15421/stat : 15421 (pbscip.linux.x8) R 15419 15421 12496 0 -1 4202496 46716 0 0 0 89796 4436 0 0 25 0 1 0 131206531 186601472 44208 4089446400 4194304 7136930 140734764701392 18446744073709551615 4221383 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15421/statm: 45557 44208 404 719 0 44836 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 182228 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15458 /proc/meminfo: memFree=30752144/32951124 swapFree=67111528/67111528 [pid=15421] ppid=15419 vsize=182228 CPUtime=1002.32 /proc/15421/stat : 15421 (pbscip.linux.x8) R 15419 15421 12496 0 -1 4202496 46716 0 0 0 95629 4603 0 0 25 0 1 0 131206531 186601472 44208 4089446400 4194304 7136930 140734764701392 18446744073709551615 6166784 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15421/statm: 45557 44208 404 719 0 44836 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 182228 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15460 /proc/meminfo: memFree=30751972/32951124 swapFree=67111528/67111528 [pid=15421] ppid=15419 vsize=182368 CPUtime=1062.33 /proc/15421/stat : 15421 (pbscip.linux.x8) R 15419 15421 12496 0 -1 4202496 46725 0 0 0 101355 4878 0 0 25 0 1 0 131206531 186744832 44217 4089446400 4194304 7136930 140734764701392 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15421/statm: 45592 44217 404 719 0 44871 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 182368 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15461 /proc/meminfo: memFree=30751564/32951124 swapFree=67111528/67111528 [pid=15421] ppid=15419 vsize=182368 CPUtime=1122.33 /proc/15421/stat : 15421 (pbscip.linux.x8) R 15419 15421 12496 0 -1 4202496 46746 0 0 0 107198 5035 0 0 25 0 1 0 131206531 186744832 44238 4089446400 4194304 7136930 140734764701392 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15421/statm: 45592 44238 404 719 0 44871 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 182368 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15517 /proc/meminfo: memFree=30783132/32951124 swapFree=67111528/67111528 [pid=15421] ppid=15419 vsize=182368 CPUtime=1182.33 /proc/15421/stat : 15421 (pbscip.linux.x8) R 15419 15421 12496 0 -1 4202496 46779 0 0 0 113070 5163 0 0 25 0 1 0 131206531 186744832 44271 4089446400 4194304 7136930 140734764701392 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15421/statm: 45592 44271 404 719 0 44871 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 182368 [startup+1242.3 s] /proc/loadavg: 1.96 1.98 1.99 3/179 15545 /proc/meminfo: memFree=30893240/32951124 swapFree=67111528/67111528 [pid=15421] ppid=15419 vsize=182940 CPUtime=1242.33 /proc/15421/stat : 15421 (pbscip.linux.x8) R 15419 15421 12496 0 -1 4202496 46825 0 0 0 118746 5487 0 0 25 0 1 0 131206531 187330560 44317 4089446400 4194304 7136930 140734764701392 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15421/statm: 45735 44317 404 719 0 45014 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 182940 [startup+1302.3 s] /proc/loadavg: 1.98 1.98 1.99 3/179 15547 /proc/meminfo: memFree=30892432/32951124 swapFree=67111528/67111528 [pid=15421] ppid=15419 vsize=183128 CPUtime=1302.33 /proc/15421/stat : 15421 (pbscip.linux.x8) R 15419 15421 12496 0 -1 4202496 46881 0 0 0 124329 5904 0 0 25 0 1 0 131206531 187523072 44373 4089446400 4194304 7136930 140734764701392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15421/statm: 45782 44373 404 719 0 45061 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 183128 [startup+1362.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 15549 /proc/meminfo: memFree=30891512/32951124 swapFree=67111528/67111528 [pid=15421] ppid=15419 vsize=183980 CPUtime=1362.34 /proc/15421/stat : 15421 (pbscip.linux.x8) R 15419 15421 12496 0 -1 4202496 47125 0 0 0 130006 6228 0 0 25 0 1 0 131206531 188395520 44617 4089446400 4194304 7136930 140734764701392 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15421/statm: 45995 44617 404 719 0 45274 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 183980 [startup+1422.31 s] /proc/loadavg: 2.03 2.00 2.00 3/179 15550 /proc/meminfo: memFree=30891340/32951124 swapFree=67111528/67111528 [pid=15421] ppid=15419 vsize=183980 CPUtime=1422.34 /proc/15421/stat : 15421 (pbscip.linux.x8) R 15419 15421 12496 0 -1 4202496 47125 0 0 0 135790 6444 0 0 25 0 1 0 131206531 188395520 44617 4089446400 4194304 7136930 140734764701392 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15421/statm: 45995 44617 404 719 0 45274 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 183980 [startup+1482.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 15552 /proc/meminfo: memFree=30890292/32951124 swapFree=67111528/67111528 [pid=15421] ppid=15419 vsize=184904 CPUtime=1482.34 /proc/15421/stat : 15421 (pbscip.linux.x8) R 15419 15421 12496 0 -1 4202496 47341 0 0 0 141373 6861 0 0 25 0 1 0 131206531 189341696 44833 4089446400 4194304 7136930 140734764701392 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15421/statm: 46226 44833 404 719 0 45505 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 184904 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15553 /proc/meminfo: memFree=30882536/32951124 swapFree=67111528/67111528 [pid=15421] ppid=15419 vsize=192548 CPUtime=1542.33 /proc/15421/stat : 15421 (pbscip.linux.x8) R 15419 15421 12496 0 -1 4202496 49262 0 0 0 147072 7161 0 0 25 0 1 0 131206531 197169152 46754 4089446400 4194304 7136930 140734764701392 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15421/statm: 48137 46754 404 719 0 47416 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 192548 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15555 /proc/meminfo: memFree=30882252/32951124 swapFree=67111528/67111528 [pid=15421] ppid=15419 vsize=192548 CPUtime=1602.34 /proc/15421/stat : 15421 (pbscip.linux.x8) R 15419 15421 12496 0 -1 4202496 49267 0 0 0 152835 7399 0 0 25 0 1 0 131206531 197169152 46759 4089446400 4194304 7136930 140734764701392 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15421/statm: 48137 46759 404 719 0 47416 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 192548 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15557 /proc/meminfo: memFree=30878944/32951124 swapFree=67111528/67111528 [pid=15421] ppid=15419 vsize=195768 CPUtime=1662.34 /proc/15421/stat : 15421 (pbscip.linux.x8) R 15419 15421 12496 0 -1 4202496 50062 0 0 0 158477 7757 0 0 25 0 1 0 131206531 200466432 47554 4089446400 4194304 7136930 140734764701392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15421/statm: 48942 47554 404 719 0 48221 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 195768 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15558 /proc/meminfo: memFree=30868260/32951124 swapFree=67111528/67111528 [pid=15421] ppid=15419 vsize=206540 CPUtime=1722.34 /proc/15421/stat : 15421 (pbscip.linux.x8) R 15419 15421 12496 0 -1 4202496 52746 0 0 0 164265 7969 0 0 25 0 1 0 131206531 211496960 50238 4089446400 4194304 7136930 140734764701392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15421/statm: 51635 50238 404 719 0 50914 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 206540 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15560 /proc/meminfo: memFree=30867976/32951124 swapFree=67111528/67111528 [pid=15421] ppid=15419 vsize=206540 CPUtime=1782.34 /proc/15421/stat : 15421 (pbscip.linux.x8) R 15419 15421 12496 0 -1 4202496 52746 0 0 0 170041 8193 0 0 25 0 1 0 131206531 211496960 50238 4089446400 4194304 7136930 140734764701392 18446744073709551615 4221383 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15421/statm: 51635 50238 404 719 0 50914 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 206540 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15560 /proc/meminfo: memFree=30867956/32951124 swapFree=67111528/67111528 [pid=15421] ppid=15419 vsize=206540 CPUtime=1800.05 /proc/15421/stat : 15421 (pbscip.linux.x8) R 15419 15421 12496 0 -1 4202496 52746 0 0 0 171741 8264 0 0 25 0 1 0 131206531 211496960 50238 4089446400 4194304 7136930 140734764701392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15421/statm: 51635 50238 404 719 0 50914 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 206540 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.2 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15560 /proc/meminfo: memFree=30867956/32951124 swapFree=67111528/67111528 [pid=15421] ppid=15419 vsize=205516 CPUtime=1800.24 /proc/15421/stat : 15421 (pbscip.linux.x8) R 15419 15421 12496 0 -1 4202496 52751 0 0 0 171760 8264 0 0 25 0 1 0 131206531 210448384 49987 4089446400 4194304 7136930 140734764701392 18446744073709551615 6165654 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/15421/statm: 51379 49987 409 719 0 50658 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 205516 Child status: 0 Real time (s): 1800.28 CPU time (s): 1800.33 CPU user time (s): 1717.67 CPU system time (s): 82.6564 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 206540 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1717.67 system time used= 82.6564 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 52758 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= 3860 runsolver used 3.18751 second user time and 6.592 second system time The end
Begin job on node139 at 2010-06-30 13:58:30 IDJOB=2693987 IDBENCH=78854 IDSOLVER=1206 FILE ID=node139/2693987-1277899110 PBS_JOBID= 11197075 Free space on /tmp= 74120 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-66-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693987-1277899110/watcher-2693987-1277899110 -o /tmp/evaluation-result-2693987-1277899110/solver-2693987-1277899110 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693987-1277899110.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9cfbc8b4b7b0ac87604f7a971d1e096c RANDOM SEED=1074519201 node139.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.840 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.840 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 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.840 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.840 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.840 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.78 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.840 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.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.840 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.840 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30934300 kB Buffers: 187076 kB Cached: 1469972 kB SwapCached: 0 kB Active: 884644 kB Inactive: 984728 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30934300 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3364 kB Writeback: 0 kB AnonPages: 211912 kB Mapped: 16040 kB Slab: 82804 kB PageTables: 5236 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 357168 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= 74120 MiB End job on node139 at 2010-06-30 14:28:32