Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver | MSAT | 1793.08 | 1793.02 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh205_wcsp.wbo |
| MD5SUM | dcd6541236cc8e3c8ecb4a3e0452a499 |
| 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 | 0 |
| Best CPU time to get the best result obtained on this benchmark | 0.705892 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 200 |
| Total number of constraints | 900 |
| Number of soft constraints | 800 |
| Number of constraints which are clauses | 800 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 11 |
| Top cost | 394239 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 394238 |
| Biggest number in a constraint | 10 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 21 |
| Number of bits of the biggest sum of numbers | 5 |
| 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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
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-2705760-1278580140.wbo>
0.00/0.01 c original problem has 1800 variables (1000 bin, 0 int, 800 impl, 0 cont) and 1701 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 200 impls, 0 clqs
0.00/0.03 c (round 2) 100 del vars, 101 del conss, 800 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 200 impls, 0 clqs
0.00/0.05 c (0.0s) probing: 101/900 (11.2%) - 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 (3 rounds):
0.00/0.05 c 100 deleted vars, 101 deleted constraints, 800 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.05 c 1800 implications, 0 cliques
0.00/0.05 c presolved problem has 1700 variables (900 bin, 0 int, 800 impl, 0 cont) and 1600 constraints
0.00/0.05 c 800 constraints of type <linear>
0.00/0.05 c 800 constraints of type <indicator>
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.3
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 = 1789.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 # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.05 c # [type: int, range: [1,2], default: 1]
0.00/0.05 c timing/clocktype = 2
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 # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/indicator/addCouplingCons = 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 o 394238
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 | - |5948k| 0 | - |1700 |1600 | 0 | 0 | 0 | 0 | 0 | -- | 3.942380e+05 | Inf
0.00/0.05 c 0.0s| 1 | 0 | 0 | - |6320k| 0 | 0 |1700 |1600 |1700 | 0 | 0 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 41 | - |6381k| 0 | 0 |1700 |1600 |1700 | 63 | 63 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 125 | - |6409k| 0 | 58 |1700 |1600 |1700 | 113 | 113 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 187 | - |6584k| 0 | 66 |1700 |1600 |1700 | 168 | 168 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 228 | - |6952k| 0 | 69 |1700 |1600 |1700 | 186 | 186 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.18 c 0.2s| 1 | 0 | 311 | - |7534k| 0 | 55 |1700 |1600 |1700 | 192 | 192 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 352 | - |7647k| 0 | 56 |1700 |1600 |1700 | 196 | 196 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.39/0.41 c 0.4s| 1 | 2 | 352 | - |7672k| 0 | 56 |1700 |1600 |1700 | 196 | 196 | 0 | 33 | 0.000000e+00 | 3.942380e+05 | Inf
7.99/8.01 c 8.0s| 10000 | 9991 | 10187 | 1.0 | 18M| 659 | 0 |1700 |1613 |1700 | 248 |1520 | 13 | 727 | 0.000000e+00 | 3.942380e+05 | Inf
14.09/14.18 c 14.2s| 20000 | 19978 | 14717 | 0.7 | 29M| 659 | 0 |1700 |1623 |1700 | 224 |2232 | 23 | 751 | 0.000000e+00 | 3.942380e+05 | Inf
20.09/20.11 c 20.1s| 30000 | 29976 | 17668 | 0.6 | 38M| 659 | 0 |1700 |1625 |1700 | 238 |2615 | 25 | 758 | 0.000000e+00 | 3.942380e+05 | Inf
25.99/26.08 c 26.1s| 40000 | 39972 | 20674 | 0.5 | 48M| 659 | 0 |1700 |1627 |1700 | 218 |3041 | 27 | 761 | 0.000000e+00 | 3.942380e+05 | Inf
31.99/32.03 c 32.0s| 50000 | 49972 | 23551 | 0.5 | 57M| 659 | 0 |1700 |1627 |1700 | 212 |3391 | 27 | 763 | 0.000000e+00 | 3.942380e+05 | Inf
37.99/38.01 c 38.0s| 60000 | 59972 | 26906 | 0.4 | 66M| 659 | 0 |1700 |1627 |1700 | 225 |3816 | 27 | 763 | 0.000000e+00 | 3.942380e+05 | Inf
43.90/43.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
43.90/43.95 c 43.9s| 70000 | 69970 | 29992 | 0.4 | 76M| 659 | 0 |1700 |1627 |1700 | 223 |4213 | 27 | 763 | 0.000000e+00 | 3.942380e+05 | Inf
49.89/49.92 c 49.9s| 80000 | 79968 | 33589 | 0.4 | 85M| 659 | 0 |1700 |1627 |1700 | 224 |4689 | 27 | 765 | 0.000000e+00 | 3.942380e+05 | Inf
55.89/55.91 c 55.9s| 90000 | 89964 | 36964 | 0.4 | 94M| 659 | 0 |1700 |1628 |1700 | 226 |5167 | 28 | 767 | 0.000000e+00 | 3.942380e+05 | Inf
61.80/61.87 c 61.9s|100000 | 99964 | 40198 | 0.4 | 104M| 659 | 0 |1700 |1628 |1700 | 224 |5574 | 28 | 767 | 0.000000e+00 | 3.942380e+05 | Inf
67.49/67.58 c 67.6s|110000 |109958 | 42141 | 0.4 | 113M| 673 | 0 |1700 |1630 |1700 | 213 |5802 | 30 | 767 | 0.000000e+00 | 3.942380e+05 | Inf
72.99/73.00 c 73.0s|120000 |119956 | 44071 | 0.4 | 122M| 689 | 0 |1700 |1631 |1700 | 212 |6066 | 31 | 768 | 0.000000e+00 | 3.942380e+05 | Inf
78.60/78.69 c 78.7s|130000 |129956 | 46446 | 0.4 | 132M| 689 | 0 |1700 |1631 |1700 | 228 |6339 | 31 | 769 | 0.000000e+00 | 3.942380e+05 | Inf
84.29/84.38 c 84.4s|140000 |139954 | 49140 | 0.3 | 141M| 689 | 0 |1700 |1633 |1700 | 223 |6641 | 33 | 769 | 0.000000e+00 | 3.942380e+05 | Inf
90.20/90.22 c 90.2s|150000 |149954 | 51657 | 0.3 | 150M| 689 | 0 |1700 |1633 |1700 | 210 |6986 | 33 | 772 | 0.000000e+00 | 3.942380e+05 | Inf
95.99/96.00 c 96.0s|160000 |159954 | 54216 | 0.3 | 160M| 689 | 0 |1700 |1633 |1700 | 215 |7234 | 33 | 775 | 0.000000e+00 | 3.942380e+05 | Inf
101.70/101.79 c 102s|170000 |169954 | 56778 | 0.3 | 169M| 689 | 4 |1700 |1633 |1700 | 228 |7491 | 33 | 775 | 0.000000e+00 | 3.942380e+05 | Inf
107.59/107.65 c 108s|180000 |179954 | 58888 | 0.3 | 178M| 689 | 0 |1700 |1633 |1700 | 246 |7864 | 33 | 775 | 0.000000e+00 | 3.942380e+05 | Inf
113.49/113.51 c 114s|190000 |189954 | 61004 | 0.3 | 188M| 689 | 0 |1700 |1633 |1700 | 243 |8219 | 33 | 775 | 0.000000e+00 | 3.942380e+05 | Inf
119.30/119.31 c 119s|200000 |199954 | 63139 | 0.3 | 197M| 689 | 0 |1700 |1632 |1700 | 213 |8498 | 33 | 775 | 0.000000e+00 | 3.942380e+05 | Inf
125.00/125.04 c 125s|210000 |209952 | 65316 | 0.3 | 207M| 689 | 0 |1700 |1629 |1700 | 222 |8798 | 34 | 775 | 0.000000e+00 | 3.942380e+05 | Inf
130.80/130.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
130.80/130.86 c 131s|220000 |219952 | 67960 | 0.3 | 216M| 689 | 0 |1700 |1629 |1700 | 225 |9170 | 34 | 775 | 0.000000e+00 | 3.942380e+05 | Inf
136.70/136.74 c 137s|230000 |229952 | 70813 | 0.3 | 225M| 689 | 0 |1700 |1629 |1700 | 211 |9503 | 34 | 775 | 0.000000e+00 | 3.942380e+05 | Inf
142.50/142.58 c 143s|240000 |239948 | 74099 | 0.3 | 235M| 689 | 0 |1700 |1629 |1700 | 232 |9871 | 34 | 775 | 0.000000e+00 | 3.942380e+05 | Inf
148.29/148.32 c 148s|250000 |249948 | 76775 | 0.3 | 244M| 689 | 0 |1700 |1628 |1700 | 215 | 10k| 34 | 775 | 0.000000e+00 | 3.942380e+05 | Inf
154.09/154.18 c 154s|260000 |259948 | 80165 | 0.3 | 253M| 689 | 0 |1700 |1627 |1700 | 224 | 10k| 34 | 775 | 0.000000e+00 | 3.942380e+05 | Inf
159.80/159.85 c 160s|270000 |269948 | 83296 | 0.3 | 263M| 689 | 0 |1700 |1627 |1700 | 226 | 10k| 34 | 775 | 0.000000e+00 | 3.942380e+05 | Inf
165.80/165.82 c 166s|280000 |279948 | 87548 | 0.3 | 272M| 689 | 0 |1700 |1627 |1700 | 217 | 11k| 34 | 775 | 0.000000e+00 | 3.942380e+05 | Inf
171.69/171.74 c 172s|290000 |289946 | 91311 | 0.3 | 281M| 689 | 0 |1700 |1627 |1700 | 215 | 12k| 34 | 775 | 0.000000e+00 | 3.942380e+05 | Inf
177.50/177.55 c 178s|300000 |299946 | 94854 | 0.3 | 291M| 689 | 0 |1700 |1626 |1700 | 229 | 12k| 34 | 775 | 0.000000e+00 | 3.942380e+05 | Inf
183.20/183.24 c 183s|310000 |309944 | 98534 | 0.3 | 300M| 689 | 0 |1700 |1625 |1700 | 217 | 12k| 35 | 777 | 0.000000e+00 | 3.942380e+05 | Inf
189.11/189.18 c 189s|320000 |319942 |102883 | 0.3 | 310M| 689 | 0 |1700 |1625 |1700 | 225 | 13k| 36 | 777 | 0.000000e+00 | 3.942380e+05 | Inf
195.00/195.09 c 195s|330000 |329942 |106178 | 0.3 | 319M| 689 | 0 |1700 |1623 |1700 | 214 | 14k| 36 | 777 | 0.000000e+00 | 3.942380e+05 | Inf
201.10/201.16 c 201s|340000 |339942 |110345 | 0.3 | 328M| 689 | 0 |1700 |1620 |1700 | 221 | 14k| 36 | 777 | 0.000000e+00 | 3.942380e+05 | Inf
207.10/207.14 c 207s|350000 |349942 |114075 | 0.3 | 338M| 689 | 0 |1700 |1620 |1700 | 212 | 15k| 36 | 777 | 0.000000e+00 | 3.942380e+05 | Inf
213.00/213.06 c 213s|360000 |359942 |116388 | 0.3 | 347M| 689 | 0 |1700 |1618 |1700 | 218 | 15k| 36 | 777 | 0.000000e+00 | 3.942380e+05 | Inf
218.91/218.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
218.91/218.92 c 219s|370000 |369940 |119229 | 0.3 | 356M| 689 | 0 |1700 |1618 |1700 | 211 | 15k| 38 | 777 | 0.000000e+00 | 3.942380e+05 | Inf
224.70/224.79 c 225s|380000 |379938 |122571 | 0.3 | 366M| 689 | 0 |1700 |1618 |1700 | 231 | 16k| 38 | 777 | 0.000000e+00 | 3.942380e+05 | Inf
230.70/230.76 c 231s|390000 |389938 |126235 | 0.3 | 375M| 689 | 0 |1700 |1618 |1700 | 203 | 16k| 38 | 777 | 0.000000e+00 | 3.942380e+05 | Inf
236.50/236.55 c 237s|400000 |399938 |129054 | 0.3 | 384M| 689 | 0 |1700 |1618 |1700 | 217 | 16k| 38 | 777 | 0.000000e+00 | 3.942380e+05 | Inf
242.40/242.45 c 242s|410000 |409938 |132499 | 0.3 | 394M| 689 | 0 |1700 |1618 |1700 | 237 | 17k| 38 | 806 | 0.000000e+00 | 3.942380e+05 | Inf
248.30/248.32 c 248s|420000 |419938 |135531 | 0.3 | 403M| 689 | 0 |1700 |1618 |1700 | 227 | 17k| 38 | 808 | 0.000000e+00 | 3.942380e+05 | Inf
254.20/254.26 c 254s|430000 |429938 |138739 | 0.3 | 412M| 689 | 0 |1700 |1618 |1700 | 220 | 18k| 38 | 826 | 0.000000e+00 | 3.942380e+05 | Inf
260.10/260.19 c 260s|440000 |439936 |142128 | 0.3 | 422M| 689 | 0 |1700 |1617 |1700 | 218 | 18k| 39 | 831 | 0.000000e+00 | 3.942380e+05 | Inf
266.00/266.08 c 266s|450000 |449934 |145373 | 0.3 | 431M| 689 | 0 |1700 |1616 |1700 | 221 | 18k| 40 | 840 | 0.000000e+00 | 3.942380e+05 | Inf
271.90/271.96 c 272s|460000 |459932 |148139 | 0.3 | 440M| 689 | 0 |1700 |1617 |1700 | 206 | 19k| 41 | 841 | 0.000000e+00 | 3.942380e+05 | Inf
277.80/277.82 c 278s|470000 |469932 |151004 | 0.3 | 450M| 689 | 0 |1700 |1617 |1700 | 211 | 19k| 41 | 847 | 0.000000e+00 | 3.942380e+05 | Inf
283.60/283.66 c 284s|480000 |479932 |153425 | 0.3 | 459M| 689 | 0 |1700 |1617 |1700 | 220 | 19k| 41 | 853 | 0.000000e+00 | 3.942380e+05 | Inf
289.50/289.51 c 289s|490000 |489932 |156154 | 0.3 | 468M| 689 | 0 |1700 |1617 |1700 | 215 | 20k| 41 | 856 | 0.000000e+00 | 3.942380e+05 | Inf
295.31/295.32 c 295s|500000 |499932 |158606 | 0.3 | 478M| 689 | 0 |1700 |1617 |1700 | 219 | 20k| 41 | 859 | 0.000000e+00 | 3.942380e+05 | Inf
301.10/301.16 c 301s|510000 |509932 |161173 | 0.3 | 487M| 689 | 0 |1700 |1617 |1700 | 217 | 20k| 41 | 860 | 0.000000e+00 | 3.942380e+05 | Inf
307.01/307.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
307.01/307.05 c 307s|520000 |519930 |163894 | 0.3 | 496M| 689 | 0 |1700 |1618 |1700 | 216 | 21k| 42 | 867 | 0.000000e+00 | 3.942380e+05 | Inf
312.80/312.86 c 313s|530000 |529930 |166295 | 0.3 | 506M| 689 | 0 |1700 |1618 |1700 | 219 | 21k| 42 | 867 | 0.000000e+00 | 3.942380e+05 | Inf
318.71/318.75 c 319s|540000 |539930 |169031 | 0.3 | 515M| 689 | 0 |1700 |1618 |1700 | 198 | 21k| 42 | 884 | 0.000000e+00 | 3.942380e+05 | Inf
324.51/324.53 c 325s|550000 |549928 |171175 | 0.3 | 524M| 689 | 0 |1700 |1618 |1700 | 196 | 22k| 42 | 951 | 0.000000e+00 | 3.942380e+05 | Inf
330.30/330.32 c 330s|560000 |559928 |173130 | 0.3 | 534M| 689 | 0 |1700 |1618 |1700 | 212 | 22k| 42 | 952 | 0.000000e+00 | 3.942380e+05 | Inf
336.10/336.18 c 336s|570000 |569928 |175682 | 0.3 | 543M| 689 | 0 |1700 |1618 |1700 | 215 | 22k| 42 | 954 | 0.000000e+00 | 3.942380e+05 | Inf
341.90/341.96 c 342s|580000 |579928 |177955 | 0.3 | 552M| 689 | 0 |1700 |1618 |1700 | 202 | 22k| 42 | 956 | 0.000000e+00 | 3.942380e+05 | Inf
347.81/347.87 c 348s|590000 |589928 |181147 | 0.3 | 562M| 689 | 0 |1700 |1618 |1700 | 219 | 23k| 42 | 970 | 0.000000e+00 | 3.942380e+05 | Inf
353.71/353.79 c 354s|600000 |599928 |183910 | 0.3 | 571M| 689 | 0 |1700 |1618 |1700 | 224 | 23k| 42 | 976 | 0.000000e+00 | 3.942380e+05 | Inf
359.61/359.64 c 360s|610000 |609928 |186592 | 0.3 | 580M| 689 | 0 |1700 |1618 |1700 | 218 | 23k| 42 | 997 | 0.000000e+00 | 3.942380e+05 | Inf
365.31/365.39 c 365s|620000 |619928 |188802 | 0.3 | 590M| 689 | 0 |1700 |1618 |1700 | 225 | 23k| 42 | 997 | 0.000000e+00 | 3.942380e+05 | Inf
371.21/371.25 c 371s|630000 |629928 |191599 | 0.3 | 599M| 689 | 0 |1700 |1617 |1700 | 215 | 24k| 42 |1009 | 0.000000e+00 | 3.942380e+05 | Inf
377.11/377.14 c 377s|640000 |639928 |194472 | 0.3 | 608M| 689 | 0 |1700 |1617 |1700 | 209 | 24k| 42 |1011 | 0.000000e+00 | 3.942380e+05 | Inf
383.01/383.07 c 383s|650000 |649928 |197764 | 0.3 | 618M| 689 | 0 |1700 |1615 |1700 | 222 | 24k| 42 |1041 | 0.000000e+00 | 3.942380e+05 | Inf
388.91/388.99 c 389s|660000 |659928 |200579 | 0.3 | 627M| 689 | 0 |1700 |1615 |1700 | 225 | 25k| 42 |1054 | 0.000000e+00 | 3.942380e+05 | Inf
394.82/394.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
394.82/394.86 c 395s|670000 |669928 |204004 | 0.3 | 636M| 689 | 0 |1700 |1614 |1700 | 214 | 25k| 42 |1086 | 0.000000e+00 | 3.942380e+05 | Inf
400.71/400.77 c 401s|680000 |679928 |206824 | 0.3 | 646M| 689 | 0 |1700 |1614 |1700 | 213 | 26k| 42 |1087 | 0.000000e+00 | 3.942380e+05 | Inf
406.61/406.66 c 407s|690000 |689928 |209495 | 0.3 | 655M| 689 | 0 |1700 |1614 |1700 | 216 | 26k| 42 |1111 | 0.000000e+00 | 3.942380e+05 | Inf
412.52/412.58 c 413s|700000 |699928 |212193 | 0.3 | 664M| 689 | 0 |1700 |1614 |1700 | 213 | 26k| 42 |1115 | 0.000000e+00 | 3.942380e+05 | Inf
418.41/418.42 c 418s|710000 |709928 |214537 | 0.3 | 674M| 689 | 0 |1700 |1614 |1700 | 211 | 27k| 42 |1115 | 0.000000e+00 | 3.942380e+05 | Inf
424.21/424.27 c 424s|720000 |719928 |216986 | 0.3 | 683M| 689 | 0 |1700 |1614 |1700 | 222 | 27k| 42 |1119 | 0.000000e+00 | 3.942380e+05 | Inf
430.01/430.06 c 430s|730000 |729928 |219315 | 0.3 | 692M| 689 | 0 |1700 |1614 |1700 | 216 | 27k| 42 |1128 | 0.000000e+00 | 3.942380e+05 | Inf
435.91/435.92 c 436s|740000 |739928 |222557 | 0.3 | 701M| 689 | 0 |1700 |1614 |1700 | 213 | 27k| 42 |1176 | 0.000000e+00 | 3.942380e+05 | Inf
441.71/441.79 c 442s|750000 |749926 |225791 | 0.3 | 711M| 689 | 0 |1700 |1616 |1700 | 229 | 28k| 44 |1184 | 0.000000e+00 | 3.942380e+05 | Inf
447.61/447.67 c 448s|760000 |759926 |228745 | 0.3 | 720M| 689 | 0 |1700 |1615 |1700 | 225 | 28k| 44 |1185 | 0.000000e+00 | 3.942380e+05 | Inf
453.51/453.53 c 454s|770000 |769924 |231525 | 0.3 | 729M| 689 | 0 |1700 |1616 |1700 | 216 | 29k| 45 |1192 | 0.000000e+00 | 3.942380e+05 | Inf
459.31/459.37 c 459s|780000 |779924 |233844 | 0.3 | 739M| 689 | 0 |1700 |1616 |1700 | 217 | 29k| 45 |1198 | 0.000000e+00 | 3.942380e+05 | Inf
465.21/465.23 c 465s|790000 |789924 |236188 | 0.3 | 748M| 689 | 0 |1700 |1616 |1700 | 217 | 29k| 45 |1209 | 0.000000e+00 | 3.942380e+05 | Inf
471.11/471.13 c 471s|800000 |799924 |238886 | 0.3 | 757M| 689 | 0 |1700 |1616 |1700 | 212 | 30k| 45 |1211 | 0.000000e+00 | 3.942380e+05 | Inf
476.91/476.96 c 477s|810000 |809924 |241106 | 0.3 | 767M| 689 | 0 |1700 |1616 |1700 | 209 | 30k| 45 |1211 | 0.000000e+00 | 3.942380e+05 | Inf
482.71/482.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
482.71/482.80 c 483s|820000 |819922 |243465 | 0.3 | 776M| 689 | 0 |1700 |1617 |1700 | 221 | 30k| 46 |1220 | 0.000000e+00 | 3.942380e+05 | Inf
488.51/488.55 c 489s|830000 |829920 |245354 | 0.3 | 785M| 689 | 0 |1700 |1617 |1700 | 211 | 31k| 47 |1235 | 0.000000e+00 | 3.942380e+05 | Inf
494.21/494.28 c 494s|840000 |839920 |247277 | 0.3 | 795M| 689 | 0 |1700 |1617 |1700 | 226 | 31k| 47 |1244 | 0.000000e+00 | 3.942380e+05 | Inf
500.02/500.01 c 500s|850000 |849920 |249178 | 0.3 | 804M| 689 | 0 |1700 |1617 |1700 | 209 | 31k| 47 |1246 | 0.000000e+00 | 3.942380e+05 | Inf
505.61/505.66 c 506s|860000 |859920 |250660 | 0.3 | 813M| 689 | 0 |1700 |1617 |1700 | 210 | 31k| 47 |1248 | 0.000000e+00 | 3.942380e+05 | Inf
511.31/511.34 c 511s|870000 |869920 |252236 | 0.3 | 823M| 689 | 0 |1700 |1617 |1700 | 212 | 31k| 47 |1252 | 0.000000e+00 | 3.942380e+05 | Inf
516.92/517.00 c 517s|880000 |879920 |254117 | 0.3 | 832M| 689 | 0 |1700 |1617 |1700 | 219 | 32k| 47 |1255 | 0.000000e+00 | 3.942380e+05 | Inf
522.72/522.70 c 523s|890000 |889920 |256213 | 0.3 | 841M| 689 | 0 |1700 |1616 |1700 | 217 | 32k| 47 |1279 | 0.000000e+00 | 3.942380e+05 | Inf
528.61/528.60 c 529s|900000 |899920 |258869 | 0.3 | 851M| 689 | 0 |1700 |1615 |1700 | 215 | 32k| 47 |1294 | 0.000000e+00 | 3.942380e+05 | Inf
534.41/534.50 c 534s|910000 |909918 |261801 | 0.3 | 860M| 689 | 0 |1700 |1615 |1700 | 238 | 33k| 47 |1294 | 0.000000e+00 | 3.942380e+05 | Inf
540.42/540.42 c 540s|920000 |919918 |264869 | 0.3 | 869M| 689 | 0 |1700 |1615 |1700 | 218 | 33k| 47 |1296 | 0.000000e+00 | 3.942380e+05 | Inf
546.32/546.33 c 546s|930000 |929918 |267645 | 0.3 | 879M| 689 | 0 |1700 |1615 |1700 | 230 | 33k| 47 |1317 | 0.000000e+00 | 3.942380e+05 | Inf
552.12/552.19 c 552s|940000 |939918 |269917 | 0.3 | 888M| 689 | 0 |1700 |1615 |1700 | 212 | 34k| 47 |1319 | 0.000000e+00 | 3.942380e+05 | Inf
558.11/558.10 c 558s|950000 |949916 |272638 | 0.3 | 897M| 689 | 0 |1700 |1615 |1700 | 219 | 34k| 48 |1326 | 0.000000e+00 | 3.942380e+05 | Inf
563.91/563.97 c 564s|960000 |959916 |274933 | 0.3 | 907M| 689 | 0 |1700 |1615 |1700 | 218 | 34k| 48 |1327 | 0.000000e+00 | 3.942380e+05 | Inf
569.91/569.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
569.91/569.90 c 570s|970000 |969916 |277668 | 0.3 | 916M| 689 | 0 |1700 |1615 |1700 | 225 | 35k| 48 |1327 | 0.000000e+00 | 3.942380e+05 | Inf
575.81/575.80 c 576s|980000 |979916 |279991 | 0.3 | 925M| 689 | 0 |1700 |1615 |1700 | 216 | 35k| 48 |1327 | 0.000000e+00 | 3.942380e+05 | Inf
581.72/581.77 c 582s|990000 |989916 |282737 | 0.3 | 935M| 689 | 0 |1700 |1615 |1700 | 229 | 35k| 48 |1328 | 0.000000e+00 | 3.942380e+05 | Inf
587.62/587.64 c 588s| 1000k|999916 |285277 | 0.3 | 944M| 689 | 0 |1700 |1613 |1700 | 209 | 36k| 48 |1347 | 0.000000e+00 | 3.942380e+05 | Inf
593.41/593.43 c 593s| 1010k| 1009k|287405 | 0.3 | 953M| 689 | 0 |1700 |1613 |1700 | 213 | 36k| 48 |1358 | 0.000000e+00 | 3.942380e+05 | Inf
599.31/599.32 c 599s| 1020k| 1019k|290281 | 0.3 | 963M| 689 | 0 |1700 |1613 |1700 | 219 | 36k| 48 |1372 | 0.000000e+00 | 3.942380e+05 | Inf
605.12/605.17 c 605s| 1030k| 1029k|293186 | 0.3 | 972M| 689 | 0 |1700 |1613 |1700 | 220 | 36k| 48 |1374 | 0.000000e+00 | 3.942380e+05 | Inf
611.02/611.05 c 611s| 1040k| 1039k|295932 | 0.3 | 981M| 689 | 0 |1700 |1612 |1700 | 231 | 37k| 48 |1374 | 0.000000e+00 | 3.942380e+05 | Inf
616.92/616.90 c 617s| 1050k| 1049k|298471 | 0.3 | 991M| 689 | 0 |1700 |1612 |1700 | 228 | 37k| 48 |1374 | 0.000000e+00 | 3.942380e+05 | Inf
622.82/622.81 c 623s| 1060k| 1059k|301324 | 0.3 |1000M| 689 | 0 |1700 |1611 |1700 | 220 | 37k| 48 |1378 | 0.000000e+00 | 3.942380e+05 | Inf
628.72/628.76 c 629s| 1070k| 1069k|304097 | 0.3 |1010M| 689 | 0 |1700 |1611 |1700 | 217 | 38k| 48 |1383 | 0.000000e+00 | 3.942380e+05 | Inf
634.72/634.74 c 635s| 1080k| 1079k|306966 | 0.3 |1019M| 689 | 0 |1700 |1611 |1700 | 225 | 38k| 48 |1409 | 0.000000e+00 | 3.942380e+05 | Inf
640.72/640.70 c 641s| 1090k| 1089k|309819 | 0.3 |1028M| 689 | 0 |1700 |1611 |1700 | 228 | 39k| 48 |1409 | 0.000000e+00 | 3.942380e+05 | Inf
646.61/646.63 c 647s| 1100k| 1099k|312453 | 0.3 |1038M| 689 | 0 |1700 |1611 |1700 | 226 | 39k| 48 |1409 | 0.000000e+00 | 3.942380e+05 | Inf
652.52/652.50 c 652s| 1110k| 1109k|315133 | 0.3 |1047M| 689 | 0 |1700 |1610 |1700 | 216 | 39k| 48 |1429 | 0.000000e+00 | 3.942380e+05 | Inf
658.32/658.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
658.32/658.38 c 658s| 1120k| 1119k|318050 | 0.3 |1056M| 689 | 0 |1700 |1610 |1700 | 224 | 40k| 48 |1433 | 0.000000e+00 | 3.942380e+05 | Inf
664.32/664.37 c 664s| 1130k| 1129k|321652 | 0.3 |1066M| 689 | 0 |1700 |1610 |1700 | 209 | 40k| 48 |1508 | 0.000000e+00 | 3.942380e+05 | Inf
670.22/670.28 c 670s| 1140k| 1139k|324728 | 0.3 |1075M| 689 | 0 |1700 |1610 |1700 | 225 | 41k| 48 |1508 | 0.000000e+00 | 3.942380e+05 | Inf
676.21/676.22 c 676s| 1150k| 1149k|327554 | 0.3 |1084M| 689 | 0 |1700 |1610 |1700 | 214 | 41k| 48 |1508 | 0.000000e+00 | 3.942380e+05 | Inf
682.12/682.17 c 682s| 1160k| 1159k|330479 | 0.3 |1094M| 689 | 0 |1700 |1610 |1700 | 221 | 42k| 48 |1513 | 0.000000e+00 | 3.942380e+05 | Inf
688.01/688.09 c 688s| 1170k| 1169k|333088 | 0.3 |1103M| 689 | 0 |1700 |1610 |1700 | 227 | 42k| 48 |1517 | 0.000000e+00 | 3.942380e+05 | Inf
694.02/694.03 c 694s| 1180k| 1179k|336273 | 0.3 |1112M| 689 | 0 |1700 |1610 |1700 | 225 | 42k| 48 |1526 | 0.000000e+00 | 3.942380e+05 | Inf
699.92/699.92 c 700s| 1190k| 1189k|339060 | 0.3 |1122M| 689 | 0 |1700 |1610 |1700 | 223 | 43k| 48 |1533 | 0.000000e+00 | 3.942380e+05 | Inf
705.72/705.75 c 706s| 1200k| 1199k|341371 | 0.3 |1131M| 689 | 0 |1700 |1610 |1700 | 221 | 43k| 48 |1537 | 0.000000e+00 | 3.942380e+05 | Inf
711.62/711.65 c 712s| 1210k| 1209k|343454 | 0.3 |1140M| 689 | 0 |1700 |1610 |1700 | 224 | 43k| 48 |1538 | 0.000000e+00 | 3.942380e+05 | Inf
717.52/717.51 c 718s| 1220k| 1219k|346221 | 0.3 |1150M| 689 | 0 |1700 |1611 |1700 | 201 | 43k| 49 |1553 | 0.000000e+00 | 3.942380e+05 | Inf
723.32/723.39 c 723s| 1230k| 1229k|349191 | 0.3 |1159M| 689 | 0 |1700 |1611 |1700 | 216 | 44k| 49 |1573 | 0.000000e+00 | 3.942380e+05 | Inf
729.22/729.29 c 729s| 1240k| 1239k|352066 | 0.3 |1168M| 689 | 0 |1700 |1611 |1700 | 211 | 44k| 49 |1581 | 0.000000e+00 | 3.942380e+05 | Inf
735.12/735.15 c 735s| 1250k| 1249k|354462 | 0.3 |1178M| 689 | 0 |1700 |1611 |1700 | 204 | 44k| 49 |1587 | 0.000000e+00 | 3.942380e+05 | Inf
740.92/740.98 c 741s| 1260k| 1259k|357115 | 0.3 |1187M| 689 | 0 |1700 |1611 |1700 | 216 | 45k| 49 |1594 | 0.000000e+00 | 3.942380e+05 | Inf
746.83/746.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
746.83/746.82 c 747s| 1270k| 1269k|359370 | 0.3 |1196M| 689 | 0 |1700 |1610 |1700 | 208 | 45k| 49 |1601 | 0.000000e+00 | 3.942380e+05 | Inf
752.71/752.71 c 753s| 1280k| 1279k|361813 | 0.3 |1206M| 689 | 0 |1700 |1610 |1700 | 222 | 45k| 49 |1604 | 0.000000e+00 | 3.942380e+05 | Inf
758.51/758.58 c 759s| 1290k| 1289k|364470 | 0.3 |1215M| 689 | 0 |1700 |1610 |1700 | 225 | 45k| 49 |1616 | 0.000000e+00 | 3.942380e+05 | Inf
764.32/764.39 c 764s| 1300k| 1299k|367028 | 0.3 |1224M| 689 | 0 |1700 |1610 |1700 | 209 | 46k| 49 |1622 | 0.000000e+00 | 3.942380e+05 | Inf
770.22/770.25 c 770s| 1310k| 1309k|369819 | 0.3 |1234M| 689 | 0 |1700 |1610 |1700 | 217 | 46k| 49 |1622 | 0.000000e+00 | 3.942380e+05 | Inf
776.12/776.12 c 776s| 1320k| 1319k|372613 | 0.3 |1243M| 689 | 0 |1700 |1610 |1700 | 219 | 46k| 49 |1622 | 0.000000e+00 | 3.942380e+05 | Inf
782.02/782.05 c 782s| 1330k| 1329k|375282 | 0.3 |1252M| 689 | 0 |1700 |1609 |1700 | 221 | 47k| 49 |1627 | 0.000000e+00 | 3.942380e+05 | Inf
788.02/788.01 c 788s| 1340k| 1339k|378187 | 0.3 |1262M| 689 | 0 |1700 |1609 |1700 | 228 | 47k| 49 |1627 | 0.000000e+00 | 3.942380e+05 | Inf
794.02/794.01 c 794s| 1350k| 1349k|381019 | 0.3 |1271M| 689 | 0 |1700 |1609 |1700 | 216 | 47k| 49 |1635 | 0.000000e+00 | 3.942380e+05 | Inf
799.92/799.99 c 800s| 1360k| 1359k|384097 | 0.3 |1280M| 689 | 0 |1700 |1609 |1700 | 219 | 48k| 49 |1635 | 0.000000e+00 | 3.942380e+05 | Inf
805.92/805.97 c 806s| 1370k| 1369k|387347 | 0.3 |1290M| 689 | 0 |1700 |1609 |1700 | 225 | 48k| 49 |1635 | 0.000000e+00 | 3.942380e+05 | Inf
811.92/811.94 c 812s| 1380k| 1379k|390094 | 0.3 |1299M| 689 | 0 |1700 |1609 |1700 | 234 | 49k| 49 |1642 | 0.000000e+00 | 3.942380e+05 | Inf
817.92/817.92 c 818s| 1390k| 1389k|393075 | 0.3 |1309M| 689 | 0 |1700 |1609 |1700 | 215 | 49k| 49 |1644 | 0.000000e+00 | 3.942380e+05 | Inf
823.83/823.83 c 824s| 1400k| 1399k|396142 | 0.3 |1318M| 689 | 0 |1700 |1608 |1700 | 232 | 49k| 49 |1645 | 0.000000e+00 | 3.942380e+05 | Inf
829.62/829.68 c 830s| 1410k| 1409k|398613 | 0.3 |1327M| 689 | 0 |1700 |1608 |1700 | 222 | 50k| 49 |1651 | 0.000000e+00 | 3.942380e+05 | Inf
835.52/835.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
835.52/835.52 c 836s| 1420k| 1419k|400967 | 0.3 |1337M| 689 | 0 |1700 |1608 |1700 | 222 | 50k| 49 |1661 | 0.000000e+00 | 3.942380e+05 | Inf
841.33/841.31 c 841s| 1430k| 1429k|403088 | 0.3 |1346M| 689 | 0 |1700 |1608 |1700 | 226 | 50k| 49 |1685 | 0.000000e+00 | 3.942380e+05 | Inf
847.03/847.08 c 847s| 1440k| 1439k|405133 | 0.3 |1355M| 689 | 0 |1700 |1608 |1700 | 215 | 51k| 49 |1691 | 0.000000e+00 | 3.942380e+05 | Inf
852.72/852.73 c 853s| 1450k| 1449k|406467 | 0.3 |1365M| 689 | 0 |1700 |1608 |1700 | 215 | 51k| 49 |1691 | 0.000000e+00 | 3.942380e+05 | Inf
858.42/858.42 c 858s| 1460k| 1459k|408705 | 0.3 |1374M| 689 | 0 |1700 |1611 |1700 | 212 | 51k| 52 |1708 | 0.000000e+00 | 3.942380e+05 | Inf
864.32/864.30 c 864s| 1470k| 1469k|411177 | 0.3 |1383M| 689 | 0 |1700 |1611 |1700 | 214 | 51k| 52 |1737 | 0.000000e+00 | 3.942380e+05 | Inf
870.03/870.09 c 870s| 1480k| 1479k|413100 | 0.3 |1393M| 689 | 0 |1700 |1611 |1700 | 215 | 52k| 52 |1740 | 0.000000e+00 | 3.942380e+05 | Inf
875.82/875.87 c 876s| 1490k| 1489k|415500 | 0.3 |1402M| 689 | 0 |1700 |1609 |1700 | 230 | 52k| 52 |1746 | 0.000000e+00 | 3.942380e+05 | Inf
881.62/881.69 c 882s| 1500k| 1499k|417967 | 0.3 |1411M| 689 | 0 |1700 |1608 |1700 | 230 | 52k| 52 |1748 | 0.000000e+00 | 3.942380e+05 | Inf
887.52/887.50 c 887s| 1510k| 1509k|420205 | 0.3 |1421M| 689 | 0 |1700 |1607 |1700 | 209 | 53k| 52 |1748 | 0.000000e+00 | 3.942380e+05 | Inf
893.32/893.32 c 893s| 1520k| 1519k|422606 | 0.3 |1430M| 689 | 0 |1700 |1607 |1700 | 215 | 53k| 52 |1750 | 0.000000e+00 | 3.942380e+05 | Inf
899.13/899.18 c 899s| 1530k| 1529k|425136 | 0.3 |1439M| 689 | 0 |1700 |1607 |1700 | 226 | 53k| 52 |1768 | 0.000000e+00 | 3.942380e+05 | Inf
905.03/905.04 c 905s| 1540k| 1539k|427535 | 0.3 |1449M| 689 | 0 |1700 |1607 |1700 | 223 | 54k| 52 |1770 | 0.000000e+00 | 3.942380e+05 | Inf
910.84/910.88 c 911s| 1550k| 1549k|430007 | 0.3 |1458M| 689 | 0 |1700 |1607 |1700 | 220 | 54k| 52 |1791 | 0.000000e+00 | 3.942380e+05 | Inf
916.63/916.67 c 917s| 1560k| 1559k|432178 | 0.3 |1467M| 689 | 0 |1700 |1607 |1700 | 213 | 54k| 52 |1808 | 0.000000e+00 | 3.942380e+05 | Inf
922.43/922.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
922.43/922.45 c 922s| 1570k| 1569k|434138 | 0.3 |1477M| 689 | 0 |1700 |1607 |1700 | 223 | 55k| 52 |1815 | 0.000000e+00 | 3.942380e+05 | Inf
928.23/928.25 c 928s| 1580k| 1579k|436307 | 0.3 |1486M| 689 | 0 |1700 |1607 |1700 | 213 | 55k| 52 |1837 | 0.000000e+00 | 3.942380e+05 | Inf
934.03/934.05 c 934s| 1590k| 1589k|438301 | 0.3 |1495M| 689 | 0 |1700 |1607 |1700 | 210 | 55k| 52 |1838 | 0.000000e+00 | 3.942380e+05 | Inf
939.93/939.90 c 940s| 1600k| 1599k|440476 | 0.3 |1505M| 689 | 0 |1700 |1607 |1700 | 228 | 56k| 52 |1847 | 0.000000e+00 | 3.942380e+05 | Inf
945.73/945.74 c 946s| 1610k| 1609k|442700 | 0.3 |1514M| 689 | 0 |1700 |1607 |1700 | 217 | 56k| 52 |1853 | 0.000000e+00 | 3.942380e+05 | Inf
951.43/951.50 c 951s| 1620k| 1619k|444542 | 0.3 |1523M| 689 | 0 |1700 |1607 |1700 | 211 | 56k| 52 |1876 | 0.000000e+00 | 3.942380e+05 | Inf
957.13/957.16 c 957s| 1630k| 1629k|445962 | 0.3 |1533M| 689 | 0 |1700 |1607 |1700 | 219 | 56k| 52 |1880 | 0.000000e+00 | 3.942380e+05 | Inf
962.83/962.80 c 963s| 1640k| 1639k|447081 | 0.3 |1542M| 689 | 0 |1700 |1607 |1700 | 216 | 56k| 52 |1880 | 0.000000e+00 | 3.942380e+05 | Inf
968.23/968.25 c 968s| 1650k| 1649k|448002 | 0.3 |1551M| 689 | 0 |1700 |1607 |1700 | 207 | 56k| 52 |1881 | 0.000000e+00 | 3.942380e+05 | Inf
973.83/973.87 c 974s| 1660k| 1659k|450047 | 0.3 |1561M| 689 | 0 |1700 |1607 |1700 | 254 | 57k| 52 |1881 | 0.000000e+00 | 3.942380e+05 | Inf
979.63/979.66 c 980s| 1670k| 1669k|452629 | 0.3 |1570M| 689 | 0 |1700 |1606 |1700 | 211 | 57k| 52 |1897 | 0.000000e+00 | 3.942380e+05 | Inf
985.33/985.39 c 985s| 1680k| 1679k|454875 | 0.3 |1579M| 689 | 0 |1700 |1606 |1700 | 216 | 57k| 52 |1903 | 0.000000e+00 | 3.942380e+05 | Inf
991.13/991.13 c 991s| 1690k| 1689k|456848 | 0.3 |1589M| 689 | 0 |1700 |1605 |1700 | 208 | 57k| 52 |1914 | 0.000000e+00 | 3.942380e+05 | Inf
996.83/996.86 c 997s| 1700k| 1699k|458865 | 0.3 |1598M| 689 | 0 |1700 |1605 |1700 | 203 | 58k| 52 |1929 | 0.000000e+00 | 3.942380e+05 | Inf
1002.53/1002.60 c 1003s| 1710k| 1709k|460639 | 0.3 |1607M| 689 | 0 |1700 |1605 |1700 | 225 | 58k| 52 |1950 | 0.000000e+00 | 3.942380e+05 | Inf
1007.63/1007.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1007.63/1007.65 c 1008s| 1720k| 1719k|461725 | 0.3 |1617M| 691 | 0 |1700 |1605 |1700 | 254 | 58k| 52 |1980 | 0.000000e+00 | 3.942380e+05 | Inf
1013.43/1013.41 c 1013s| 1730k| 1729k|463773 | 0.3 |1626M| 691 | 0 |1700 |1605 |1700 | 212 | 58k| 52 |2011 | 0.000000e+00 | 3.942380e+05 | Inf
1019.13/1019.12 c 1019s| 1740k| 1739k|465823 | 0.3 |1635M| 691 | 0 |1700 |1604 |1700 | 212 | 59k| 52 |2015 | 0.000000e+00 | 3.942380e+05 | Inf
1024.83/1024.87 c 1025s| 1750k| 1749k|467936 | 0.3 |1645M| 691 | 0 |1700 |1604 |1700 | 210 | 59k| 52 |2023 | 0.000000e+00 | 3.942380e+05 | Inf
1030.64/1030.61 c 1031s| 1760k| 1759k|470396 | 0.3 |1654M| 691 | 0 |1700 |1604 |1700 | 223 | 59k| 52 |2046 | 0.000000e+00 | 3.942380e+05 | Inf
1036.33/1036.30 c 1036s| 1770k| 1769k|472424 | 0.3 |1663M| 691 | 0 |1700 |1604 |1700 | 215 | 59k| 52 |2049 | 0.000000e+00 | 3.942380e+05 | Inf
1042.03/1042.04 c 1042s| 1780k| 1779k|474433 | 0.3 |1673M| 691 | 0 |1700 |1604 |1700 | 215 | 59k| 52 |2053 | 0.000000e+00 | 3.942380e+05 | Inf
1047.84/1047.81 c 1048s| 1790k| 1789k|476567 | 0.3 |1682M| 691 | 0 |1700 |1604 |1700 | 220 | 60k| 52 |2053 | 0.000000e+00 | 3.942380e+05 | Inf
1053.53/1053.56 c 1054s| 1800k| 1799k|478521 | 0.3 |1691M| 691 | 0 |1700 |1604 |1700 | 217 | 60k| 52 |2053 | 0.000000e+00 | 3.942380e+05 | Inf
1059.24/1059.27 c 1059s| 1810k| 1809k|480315 | 0.3 |1701M| 691 | 0 |1700 |1604 |1700 | 220 | 60k| 52 |2056 | 0.000000e+00 | 3.942380e+05 | Inf
1065.04/1065.02 c 1065s| 1820k| 1819k|482429 | 0.3 |1710M| 691 | 0 |1700 |1603 |1700 | 209 | 60k| 52 |2062 | 0.000000e+00 | 3.942380e+05 | Inf
1070.73/1070.75 c 1071s| 1830k| 1829k|484486 | 0.3 |1719M| 691 | 0 |1700 |1603 |1700 | 217 | 61k| 52 |2065 | 0.000000e+00 | 3.942380e+05 | Inf
1076.54/1076.55 c 1077s| 1840k| 1839k|486691 | 0.3 |1729M| 691 | 0 |1700 |1603 |1700 | 231 | 61k| 52 |2070 | 0.000000e+00 | 3.942380e+05 | Inf
1082.23/1082.24 c 1082s| 1850k| 1849k|488402 | 0.3 |1738M| 691 | 0 |1700 |1603 |1700 | 215 | 61k| 52 |2079 | 0.000000e+00 | 3.942380e+05 | Inf
1087.94/1087.97 c 1088s| 1860k| 1859k|490445 | 0.3 |1747M| 691 | 0 |1700 |1603 |1700 | 221 | 61k| 52 |2088 | 0.000000e+00 | 3.942380e+05 | Inf
1093.63/1093.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1093.63/1093.69 c 1094s| 1870k| 1869k|492257 | 0.3 |1757M| 691 | 0 |1700 |1603 |1700 | 224 | 62k| 52 |2090 | 0.000000e+00 | 3.942380e+05 | Inf
1099.44/1099.43 c 1099s| 1880k| 1879k|494334 | 0.3 |1766M| 691 | 0 |1700 |1603 |1700 | 198 | 62k| 52 |2094 | 0.000000e+00 | 3.942380e+05 | Inf
1105.13/1105.14 c 1105s| 1890k| 1889k|496489 | 0.3 |1775M| 691 | 0 |1700 |1603 |1700 | 218 | 62k| 52 |2096 | 0.000000e+00 | 3.942380e+05 | Inf
1110.94/1110.92 c 1111s| 1900k| 1899k|498422 | 0.3 |1785M| 691 | 0 |1700 |1603 |1700 | 220 | 63k| 52 |2098 | 0.000000e+00 | 3.942380e+05 | Inf
1116.64/1116.67 c 1117s| 1910k| 1909k|500325 | 0.3 |1794M| 691 | 0 |1700 |1603 |1700 | 217 | 63k| 52 |2106 | 0.000000e+00 | 3.942380e+05 | Inf
1122.44/1122.44 c 1122s| 1920k| 1919k|502168 | 0.3 |1803M| 691 | 0 |1700 |1603 |1700 | 217 | 63k| 52 |2108 | 0.000000e+00 | 3.942380e+05 | Inf
1128.23/1128.24 c 1128s| 1930k| 1929k|504420 | 0.3 |1813M| 691 | 0 |1700 |1603 |1700 | 209 | 63k| 52 |2110 | 0.000000e+00 | 3.942380e+05 | Inf
1133.93/1133.98 c 1134s| 1940k| 1939k|506456 | 0.3 |1822M| 691 | 0 |1700 |1603 |1700 | 226 | 64k| 52 |2120 | 0.000000e+00 | 3.942380e+05 | Inf
1139.74/1139.70 c 1140s| 1950k| 1949k|508454 | 0.3 |1831M| 691 | 0 |1700 |1603 |1700 | 222 | 64k| 52 |2130 | 0.000000e+00 | 3.942380e+05 | Inf
1145.43/1145.45 c 1145s| 1960k| 1959k|510267 | 0.3 |1841M| 691 | 0 |1700 |1603 |1700 | 210 | 64k| 52 |2134 | 0.000000e+00 | 3.942380e+05 | Inf
1151.14/1151.15 c 1151s| 1970k| 1969k|512086 | 0.3 |1850M| 691 | 0 |1700 |1604 |1700 | 221 | 64k| 53 |2149 | 0.000000e+00 | 3.942380e+05 | Inf
1156.84/1156.87 c 1157s| 1980k| 1979k|514087 | 0.3 |1859M| 691 | 0 |1700 |1604 |1700 | 215 | 65k| 53 |2160 | 0.000000e+00 | 3.942380e+05 | Inf
1162.64/1162.63 c 1163s| 1990k| 1989k|516162 | 0.3 |1869M| 691 | 0 |1700 |1604 |1700 | 213 | 65k| 53 |2165 | 0.000000e+00 | 3.942380e+05 | Inf
1168.44/1168.42 c 1168s| 2000k| 1999k|518205 | 0.3 |1878M| 691 | 0 |1700 |1604 |1700 | 214 | 65k| 53 |2165 | 0.000000e+00 | 3.942380e+05 | Inf
1174.14/1174.18 c 1174s| 2010k| 2009k|520025 | 0.3 |1887M| 691 | 0 |1700 |1604 |1700 | 213 | 65k| 53 |2175 | 0.000000e+00 | 3.942380e+05 | Inf
1179.94/1179.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1179.94/1179.92 c 1180s| 2020k| 2019k|522046 | 0.3 |1897M| 691 | 0 |1700 |1604 |1700 | 215 | 66k| 53 |2178 | 0.000000e+00 | 3.942380e+05 | Inf
1185.74/1185.73 c 1186s| 2030k| 2029k|523924 | 0.3 |1906M| 691 | 0 |1700 |1604 |1700 | 218 | 66k| 53 |2178 | 0.000000e+00 | 3.942380e+05 | Inf
1191.54/1191.51 c 1192s| 2040k| 2039k|525816 | 0.3 |1915M| 691 | 0 |1700 |1604 |1700 | 221 | 66k| 53 |2178 | 0.000000e+00 | 3.942380e+05 | Inf
1197.34/1197.31 c 1197s| 2050k| 2049k|527793 | 0.3 |1925M| 691 | 0 |1700 |1604 |1700 | 216 | 66k| 53 |2178 | 0.000000e+00 | 3.942380e+05 | Inf
1203.14/1203.11 c 1203s| 2060k| 2059k|529795 | 0.3 |1934M| 691 | 0 |1700 |1603 |1700 | 219 | 67k| 53 |2184 | 0.000000e+00 | 3.942380e+05 | Inf
1208.84/1208.87 c 1209s| 2070k| 2069k|531909 | 0.3 |1943M| 691 | 0 |1700 |1603 |1700 | 224 | 67k| 53 |2184 | 0.000000e+00 | 3.942380e+05 | Inf
1214.64/1214.69 c 1215s| 2080k| 2079k|534214 | 0.3 |1953M| 691 | 0 |1700 |1603 |1700 | 227 | 67k| 53 |2188 | 0.000000e+00 | 3.942380e+05 | Inf
1220.54/1220.52 c 1221s| 2090k| 2089k|536556 | 0.3 |1962M| 691 | 0 |1700 |1603 |1700 | 218 | 68k| 53 |2188 | 0.000000e+00 | 3.942380e+05 | Inf
1226.45/1226.44 c 1226s| 2100k| 2099k|539016 | 0.3 |1971M| 691 | 0 |1700 |1603 |1700 | 234 | 68k| 53 |2188 | 0.000000e+00 | 3.942380e+05 | Inf
1232.24/1232.22 c 1232s| 2110k| 2109k|541101 | 0.3 |1981M| 691 | 0 |1700 |1603 |1700 | 219 | 68k| 53 |2216 | 0.000000e+00 | 3.942380e+05 | Inf
1238.04/1238.03 c 1238s| 2120k| 2119k|543018 | 0.3 |1990M| 691 | 0 |1700 |1603 |1700 | 227 | 69k| 53 |2224 | 0.000000e+00 | 3.942380e+05 | Inf
1243.95/1243.93 c 1244s| 2130k| 2129k|545738 | 0.3 |1999M| 691 | 0 |1700 |1603 |1700 | 212 | 69k| 53 |2224 | 0.000000e+00 | 3.942380e+05 | Inf
1249.65/1249.66 c 1250s| 2140k| 2139k|547499 | 0.3 |2009M| 691 | 0 |1700 |1603 |1700 | 237 | 69k| 53 |2224 | 0.000000e+00 | 3.942380e+05 | Inf
1255.54/1255.50 c 1255s| 2150k| 2149k|549515 | 0.3 |2018M| 691 | 0 |1700 |1603 |1700 | 231 | 69k| 53 |2227 | 0.000000e+00 | 3.942380e+05 | Inf
1261.34/1261.31 c 1261s| 2160k| 2159k|551511 | 0.3 |2027M| 691 | 0 |1700 |1603 |1700 | 213 | 70k| 53 |2229 | 0.000000e+00 | 3.942380e+05 | Inf
1267.05/1267.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1267.05/1267.02 c 1267s| 2170k| 2169k|553170 | 0.3 |2037M| 691 | 0 |1700 |1604 |1700 | 217 | 70k| 54 |2233 | 0.000000e+00 | 3.942380e+05 | Inf
1272.65/1272.69 c 1273s| 2180k| 2179k|554546 | 0.3 |2046M| 691 | 0 |1700 |1604 |1700 | 236 | 70k| 55 |2237 | 0.000000e+00 | 3.942380e+05 | Inf
1278.45/1278.42 c 1278s| 2190k| 2189k|556349 | 0.3 |2055M| 691 | 0 |1700 |1604 |1700 | 212 | 70k| 55 |2237 | 0.000000e+00 | 3.942380e+05 | Inf
1284.24/1284.20 c 1284s| 2200k| 2199k|558268 | 0.3 |2065M| 691 | 0 |1700 |1604 |1700 | 226 | 71k| 55 |2243 | 0.000000e+00 | 3.942380e+05 | Inf
1289.95/1289.94 c 1290s| 2210k| 2209k|560116 | 0.3 |2074M| 691 | 0 |1700 |1604 |1700 | 204 | 71k| 55 |2251 | 0.000000e+00 | 3.942380e+05 | Inf
1295.65/1295.66 c 1296s| 2220k| 2219k|561935 | 0.3 |2083M| 691 | 0 |1700 |1604 |1700 | 216 | 71k| 55 |2252 | 0.000000e+00 | 3.942380e+05 | Inf
1301.45/1301.40 c 1301s| 2230k| 2229k|563729 | 0.3 |2092M| 691 | 0 |1700 |1604 |1700 | 213 | 71k| 55 |2252 | 0.000000e+00 | 3.942380e+05 | Inf
1307.15/1307.16 c 1307s| 2240k| 2239k|565440 | 0.3 |2102M| 691 | 0 |1700 |1603 |1700 | 226 | 72k| 55 |2252 | 0.000000e+00 | 3.942380e+05 | Inf
1312.94/1312.93 c 1313s| 2250k| 2249k|567176 | 0.3 |2111M| 691 | 0 |1700 |1602 |1700 | 228 | 72k| 55 |2255 | 0.000000e+00 | 3.942380e+05 | Inf
1318.65/1318.69 c 1319s| 2260k| 2259k|569018 | 0.3 |2120M| 691 | 0 |1700 |1602 |1700 | 213 | 72k| 55 |2255 | 0.000000e+00 | 3.942380e+05 | Inf
1324.46/1324.42 c 1324s| 2270k| 2269k|570707 | 0.3 |2130M| 691 | 0 |1700 |1602 |1700 | 215 | 72k| 55 |2259 | 0.000000e+00 | 3.942380e+05 | Inf
1330.14/1330.18 c 1330s| 2280k| 2279k|572407 | 0.3 |2139M| 691 | 0 |1700 |1602 |1700 | 210 | 73k| 55 |2270 | 0.000000e+00 | 3.942380e+05 | Inf
1335.94/1335.91 c 1336s| 2290k| 2289k|573928 | 0.3 |2148M| 691 | 0 |1700 |1602 |1700 | 225 | 73k| 55 |2272 | 0.000000e+00 | 3.942380e+05 | Inf
1341.64/1341.64 c 1342s| 2300k| 2299k|575378 | 0.3 |2158M| 691 | 0 |1700 |1602 |1700 | 213 | 73k| 55 |2272 | 0.000000e+00 | 3.942380e+05 | Inf
1347.35/1347.37 c 1347s| 2310k| 2309k|576952 | 0.2 |2167M| 691 | 0 |1700 |1602 |1700 | 220 | 73k| 55 |2272 | 0.000000e+00 | 3.942380e+05 | Inf
1353.05/1353.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1353.05/1353.07 c 1353s| 2320k| 2319k|578296 | 0.2 |2176M| 691 | 0 |1700 |1602 |1700 | 220 | 74k| 55 |2272 | 0.000000e+00 | 3.942380e+05 | Inf
1358.85/1358.83 c 1359s| 2330k| 2329k|580047 | 0.2 |2185M| 691 | 0 |1700 |1602 |1700 | 214 | 74k| 55 |2280 | 0.000000e+00 | 3.942380e+05 | Inf
1364.55/1364.56 c 1365s| 2340k| 2339k|581853 | 0.2 |2195M| 691 | 0 |1700 |1602 |1700 | 219 | 74k| 55 |2284 | 0.000000e+00 | 3.942380e+05 | Inf
1370.25/1370.27 c 1370s| 2350k| 2349k|583364 | 0.2 |2204M| 691 | 0 |1700 |1602 |1700 | 207 | 74k| 55 |2284 | 0.000000e+00 | 3.942380e+05 | Inf
1375.95/1375.96 c 1376s| 2360k| 2359k|584759 | 0.2 |2213M| 691 | 0 |1700 |1602 |1700 | 224 | 74k| 55 |2286 | 0.000000e+00 | 3.942380e+05 | Inf
1381.65/1381.67 c 1382s| 2370k| 2369k|586600 | 0.2 |2223M| 691 | 0 |1700 |1602 |1700 | 227 | 75k| 55 |2299 | 0.000000e+00 | 3.942380e+05 | Inf
1387.45/1387.40 c 1387s| 2380k| 2379k|588376 | 0.2 |2232M| 691 | 0 |1700 |1602 |1700 | 217 | 75k| 55 |2302 | 0.000000e+00 | 3.942380e+05 | Inf
1393.35/1393.32 c 1393s| 2390k| 2389k|591048 | 0.2 |2241M| 691 | 0 |1700 |1602 |1700 | 227 | 75k| 55 |2303 | 0.000000e+00 | 3.942380e+05 | Inf
1399.15/1399.18 c 1399s| 2400k| 2399k|593583 | 0.2 |2251M| 691 | 0 |1700 |1602 |1700 | 228 | 76k| 55 |2303 | 0.000000e+00 | 3.942380e+05 | Inf
1405.05/1405.09 c 1405s| 2410k| 2409k|596155 | 0.2 |2260M| 691 | 0 |1700 |1602 |1700 | 227 | 76k| 55 |2304 | 0.000000e+00 | 3.942380e+05 | Inf
1411.05/1411.01 c 1411s| 2420k| 2419k|598806 | 0.2 |2270M| 691 | 0 |1700 |1602 |1700 | 237 | 76k| 55 |2304 | 0.000000e+00 | 3.942380e+05 | Inf
1416.95/1416.95 c 1417s| 2430k| 2429k|601445 | 0.2 |2279M| 691 | 0 |1700 |1602 |1700 | 224 | 77k| 55 |2304 | 0.000000e+00 | 3.942380e+05 | Inf
1422.85/1422.80 c 1423s| 2440k| 2439k|603805 | 0.2 |2288M| 691 | 0 |1700 |1602 |1700 | 215 | 77k| 55 |2304 | 0.000000e+00 | 3.942380e+05 | Inf
1428.65/1428.60 c 1429s| 2450k| 2449k|605999 | 0.2 |2298M| 691 | 0 |1700 |1602 |1700 | 233 | 78k| 55 |2304 | 0.000000e+00 | 3.942380e+05 | Inf
1434.45/1434.45 c 1434s| 2460k| 2459k|608289 | 0.2 |2307M| 691 | 0 |1700 |1602 |1700 | 219 | 78k| 55 |2304 | 0.000000e+00 | 3.942380e+05 | Inf
1440.35/1440.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1440.35/1440.31 c 1440s| 2470k| 2469k|610542 | 0.2 |2317M| 691 | 0 |1700 |1602 |1700 | 227 | 78k| 55 |2304 | 0.000000e+00 | 3.942380e+05 | Inf
1446.25/1446.21 c 1446s| 2480k| 2479k|613091 | 0.2 |2326M| 691 | 0 |1700 |1602 |1700 | 220 | 79k| 55 |2304 | 0.000000e+00 | 3.942380e+05 | Inf
1452.06/1452.09 c 1452s| 2490k| 2489k|615396 | 0.2 |2335M| 691 | 0 |1700 |1602 |1700 | 218 | 79k| 55 |2304 | 0.000000e+00 | 3.942380e+05 | Inf
1457.95/1457.94 c 1458s| 2500k| 2499k|617857 | 0.2 |2345M| 691 | 0 |1700 |1602 |1700 | 222 | 80k| 55 |2304 | 0.000000e+00 | 3.942380e+05 | Inf
1463.75/1463.78 c 1464s| 2510k| 2509k|620332 | 0.2 |2354M| 691 | 0 |1700 |1602 |1700 | 234 | 80k| 55 |2304 | 0.000000e+00 | 3.942380e+05 | Inf
1469.55/1469.60 c 1470s| 2520k| 2519k|622927 | 0.2 |2364M| 691 | 0 |1700 |1602 |1700 | 220 | 80k| 55 |2304 | 0.000000e+00 | 3.942380e+05 | Inf
1475.35/1475.39 c 1475s| 2530k| 2529k|625409 | 0.2 |2373M| 691 | 0 |1700 |1602 |1700 | 227 | 81k| 55 |2304 | 0.000000e+00 | 3.942380e+05 | Inf
1481.25/1481.21 c 1481s| 2540k| 2539k|627915 | 0.2 |2382M| 691 | 0 |1700 |1602 |1700 | 222 | 81k| 55 |2304 | 0.000000e+00 | 3.942380e+05 | Inf
1487.05/1487.06 c 1487s| 2550k| 2549k|630757 | 0.2 |2392M| 691 | 0 |1700 |1602 |1700 | 230 | 81k| 55 |2304 | 0.000000e+00 | 3.942380e+05 | Inf
1492.85/1492.89 c 1493s| 2560k| 2559k|632964 | 0.2 |2401M| 691 | 0 |1700 |1602 |1700 | 211 | 82k| 55 |2317 | 0.000000e+00 | 3.942380e+05 | Inf
1498.65/1498.63 c 1499s| 2570k| 2569k|635013 | 0.2 |2410M| 691 | 0 |1700 |1602 |1700 | 235 | 82k| 55 |2322 | 0.000000e+00 | 3.942380e+05 | Inf
1504.35/1504.38 c 1504s| 2580k| 2579k|637031 | 0.2 |2420M| 691 | 0 |1700 |1602 |1700 | 213 | 82k| 55 |2328 | 0.000000e+00 | 3.942380e+05 | Inf
1510.16/1510.17 c 1510s| 2590k| 2589k|639040 | 0.2 |2429M| 691 | 0 |1700 |1602 |1700 | 212 | 82k| 55 |2331 | 0.000000e+00 | 3.942380e+05 | Inf
1515.95/1515.92 c 1516s| 2600k| 2599k|640993 | 0.2 |2438M| 691 | 0 |1700 |1602 |1700 | 212 | 83k| 55 |2331 | 0.000000e+00 | 3.942380e+05 | Inf
1521.65/1521.62 c 1522s| 2610k| 2609k|642705 | 0.2 |2448M| 691 | 0 |1700 |1602 |1700 | 214 | 83k| 55 |2331 | 0.000000e+00 | 3.942380e+05 | Inf
1527.36/1527.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1527.36/1527.31 c 1527s| 2620k| 2619k|644033 | 0.2 |2457M| 691 | 0 |1700 |1602 |1700 | 210 | 83k| 55 |2331 | 0.000000e+00 | 3.942380e+05 | Inf
1533.05/1533.05 c 1533s| 2630k| 2629k|645668 | 0.2 |2466M| 691 | 0 |1700 |1602 |1700 | 224 | 83k| 55 |2341 | 0.000000e+00 | 3.942380e+05 | Inf
1538.95/1538.91 c 1539s| 2640k| 2639k|647767 | 0.2 |2476M| 691 | 0 |1700 |1602 |1700 | 225 | 83k| 55 |2356 | 0.000000e+00 | 3.942380e+05 | Inf
1544.75/1544.76 c 1545s| 2650k| 2649k|650119 | 0.2 |2485M| 691 | 0 |1700 |1601 |1700 | 219 | 84k| 55 |2367 | 0.000000e+00 | 3.942380e+05 | Inf
1550.55/1550.59 c 1551s| 2660k| 2659k|652163 | 0.2 |2494M| 691 | 0 |1700 |1601 |1700 | 230 | 84k| 55 |2368 | 0.000000e+00 | 3.942380e+05 | Inf
1556.36/1556.34 c 1556s| 2670k| 2669k|654102 | 0.2 |2504M| 691 | 0 |1700 |1601 |1700 | 213 | 84k| 55 |2375 | 0.000000e+00 | 3.942380e+05 | Inf
1562.06/1562.04 c 1562s| 2680k| 2679k|655833 | 0.2 |2513M| 691 | 0 |1700 |1601 |1700 | 215 | 84k| 55 |2377 | 0.000000e+00 | 3.942380e+05 | Inf
1567.86/1567.81 c 1568s| 2690k| 2689k|657516 | 0.2 |2522M| 691 | 0 |1700 |1601 |1700 | 209 | 85k| 55 |2382 | 0.000000e+00 | 3.942380e+05 | Inf
1573.55/1573.58 c 1574s| 2700k| 2699k|659542 | 0.2 |2532M| 691 | 0 |1700 |1601 |1700 | 237 | 85k| 55 |2391 | 0.000000e+00 | 3.942380e+05 | Inf
1579.36/1579.36 c 1579s| 2710k| 2709k|661284 | 0.2 |2541M| 691 | 0 |1700 |1601 |1700 | 232 | 85k| 55 |2397 | 0.000000e+00 | 3.942380e+05 | Inf
1585.16/1585.18 c 1585s| 2720k| 2719k|663629 | 0.2 |2550M| 691 | 0 |1700 |1601 |1700 | 224 | 85k| 55 |2401 | 0.000000e+00 | 3.942380e+05 | Inf
1590.96/1590.98 c 1591s| 2730k| 2729k|666203 | 0.2 |2560M| 691 | 0 |1700 |1601 |1700 | 217 | 85k| 55 |2404 | 0.000000e+00 | 3.942380e+05 | Inf
1596.76/1596.76 c 1597s| 2740k| 2739k|668612 | 0.2 |2569M| 691 | 0 |1700 |1601 |1700 | 227 | 86k| 55 |2413 | 0.000000e+00 | 3.942380e+05 | Inf
1602.56/1602.57 c 1603s| 2750k| 2749k|671071 | 0.2 |2578M| 691 | 0 |1700 |1601 |1700 | 215 | 86k| 55 |2441 | 0.000000e+00 | 3.942380e+05 | Inf
1608.36/1608.32 c 1608s| 2760k| 2759k|673120 | 0.2 |2588M| 691 | 0 |1700 |1601 |1700 | 221 | 86k| 55 |2448 | 0.000000e+00 | 3.942380e+05 | Inf
1614.16/1614.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1614.16/1614.14 c 1614s| 2770k| 2769k|674871 | 0.2 |2597M| 691 | 0 |1700 |1601 |1700 | 228 | 87k| 55 |2453 | 0.000000e+00 | 3.942380e+05 | Inf
1619.86/1619.89 c 1620s| 2780k| 2779k|676669 | 0.2 |2606M| 691 | 0 |1700 |1601 |1700 | 227 | 87k| 55 |2453 | 0.000000e+00 | 3.942380e+05 | Inf
1625.65/1625.65 c 1626s| 2790k| 2789k|678571 | 0.2 |2616M| 691 | 0 |1700 |1601 |1700 | 208 | 87k| 55 |2462 | 0.000000e+00 | 3.942380e+05 | Inf
1631.46/1631.43 c 1631s| 2800k| 2799k|680864 | 0.2 |2625M| 691 | 0 |1700 |1601 |1700 | 224 | 87k| 55 |2486 | 0.000000e+00 | 3.942380e+05 | Inf
1637.26/1637.20 c 1637s| 2810k| 2809k|683250 | 0.2 |2634M| 691 | 0 |1700 |1601 |1700 | 206 | 88k| 55 |2495 | 0.000000e+00 | 3.942380e+05 | Inf
1642.96/1642.95 c 1643s| 2820k| 2819k|685541 | 0.2 |2644M| 691 | 0 |1700 |1601 |1700 | 228 | 88k| 55 |2497 | 0.000000e+00 | 3.942380e+05 | Inf
1648.76/1648.73 c 1649s| 2830k| 2829k|687930 | 0.2 |2653M| 691 | 0 |1700 |1601 |1700 | 230 | 88k| 55 |2508 | 0.000000e+00 | 3.942380e+05 | Inf
1654.56/1654.59 c 1655s| 2840k| 2839k|690560 | 0.2 |2662M| 691 | 0 |1700 |1601 |1700 | 222 | 88k| 55 |2513 | 0.000000e+00 | 3.942380e+05 | Inf
1660.36/1660.39 c 1660s| 2850k| 2849k|693193 | 0.2 |2672M| 691 | 0 |1700 |1600 |1700 | 201 | 89k| 55 |2519 | 0.000000e+00 | 3.942380e+05 | Inf
1666.26/1666.21 c 1666s| 2860k| 2859k|695574 | 0.2 |2681M| 691 | 0 |1700 |1600 |1700 | 229 | 89k| 55 |2524 | 0.000000e+00 | 3.942380e+05 | Inf
1672.07/1672.01 c 1672s| 2870k| 2869k|697590 | 0.2 |2690M| 691 | 0 |1700 |1600 |1700 | 206 | 89k| 55 |2526 | 0.000000e+00 | 3.942380e+05 | Inf
1677.76/1677.78 c 1678s| 2880k| 2879k|699914 | 0.2 |2700M| 691 | 0 |1700 |1600 |1700 | 217 | 90k| 55 |2533 | 0.000000e+00 | 3.942380e+05 | Inf
1683.56/1683.57 c 1684s| 2890k| 2889k|702184 | 0.2 |2709M| 691 | 0 |1700 |1600 |1700 | 216 | 90k| 55 |2533 | 0.000000e+00 | 3.942380e+05 | Inf
1689.36/1689.37 c 1689s| 2900k| 2899k|704451 | 0.2 |2718M| 691 | 0 |1700 |1600 |1700 | 214 | 90k| 55 |2533 | 0.000000e+00 | 3.942380e+05 | Inf
1695.17/1695.16 c 1695s| 2910k| 2909k|706684 | 0.2 |2728M| 691 | 0 |1700 |1600 |1700 | 220 | 90k| 55 |2533 | 0.000000e+00 | 3.942380e+05 | Inf
1700.96/1700.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1700.96/1700.93 c 1701s| 2920k| 2919k|709138 | 0.2 |2737M| 691 | 0 |1700 |1600 |1700 | 214 | 91k| 55 |2538 | 0.000000e+00 | 3.942380e+05 | Inf
1706.76/1706.71 c 1707s| 2930k| 2929k|711097 | 0.2 |2746M| 691 | 0 |1700 |1600 |1700 | 218 | 91k| 55 |2540 | 0.000000e+00 | 3.942380e+05 | Inf
1712.46/1712.49 c 1712s| 2940k| 2939k|712926 | 0.2 |2756M| 691 | 0 |1700 |1600 |1700 | 217 | 91k| 55 |2540 | 0.000000e+00 | 3.942380e+05 | Inf
1718.36/1718.34 c 1718s| 2950k| 2949k|715275 | 0.2 |2765M| 691 | 0 |1700 |1600 |1700 | 210 | 91k| 55 |2544 | 0.000000e+00 | 3.942380e+05 | Inf
1724.06/1724.08 c 1724s| 2960k| 2959k|717109 | 0.2 |2774M| 691 | 0 |1700 |1600 |1700 | 216 | 92k| 55 |2546 | 0.000000e+00 | 3.942380e+05 | Inf
1729.87/1729.87 c 1730s| 2970k| 2969k|718852 | 0.2 |2783M| 691 | 0 |1700 |1600 |1700 | 216 | 92k| 55 |2552 | 0.000000e+00 | 3.942380e+05 | Inf
1735.56/1735.59 c 1736s| 2980k| 2979k|720580 | 0.2 |2793M| 691 | 0 |1700 |1600 |1700 | 216 | 92k| 55 |2557 | 0.000000e+00 | 3.942380e+05 | Inf
1741.37/1741.30 c 1741s| 2990k| 2989k|722287 | 0.2 |2802M| 691 | 0 |1700 |1600 |1700 | 215 | 92k| 55 |2559 | 0.000000e+00 | 3.942380e+05 | Inf
1747.06/1747.04 c 1747s| 3000k| 2999k|724130 | 0.2 |2811M| 691 | 0 |1700 |1600 |1700 | 230 | 93k| 55 |2559 | 0.000000e+00 | 3.942380e+05 | Inf
1752.86/1752.86 c 1753s| 3010k| 3009k|726448 | 0.2 |2821M| 691 | 0 |1700 |1600 |1700 | 222 | 93k| 55 |2559 | 0.000000e+00 | 3.942380e+05 | Inf
1758.66/1758.65 c 1759s| 3020k| 3019k|728617 | 0.2 |2830M| 691 | 0 |1700 |1600 |1700 | 231 | 93k| 55 |2561 | 0.000000e+00 | 3.942380e+05 | Inf
1764.47/1764.45 c 1764s| 3030k| 3029k|730844 | 0.2 |2839M| 691 | 0 |1700 |1600 |1700 | 218 | 93k| 55 |2568 | 0.000000e+00 | 3.942380e+05 | Inf
1770.16/1770.19 c 1770s| 3040k| 3039k|732740 | 0.2 |2849M| 691 | 0 |1700 |1600 |1700 | 215 | 94k| 55 |2577 | 0.000000e+00 | 3.942380e+05 | Inf
1775.96/1775.97 c 1776s| 3050k| 3049k|734481 | 0.2 |2858M| 691 | 0 |1700 |1600 |1700 | 212 | 94k| 55 |2586 | 0.000000e+00 | 3.942380e+05 | Inf
1781.76/1781.72 c 1782s| 3060k| 3059k|736199 | 0.2 |2867M| 691 | 0 |1700 |1600 |1700 | 209 | 94k| 55 |2599 | 0.000000e+00 | 3.942380e+05 | Inf
1782.36/1782.38 c (node 3061148) switching to memory saving mode (mem: 2736.0M/3420.0M)
1783.76/1783.79 o 14535
1783.76/1783.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1783.76/1783.79 c *1784s| 3061k| 2551k|736530 | 0.2 |2425M| 751 | - |1700 |1600 |1700 | 223 | 94k| 55 |2599 | 0.000000e+00 | 1.453500e+04 | Inf
1786.16/1786.16 o 10902
1786.16/1786.16 c *1786s| 3061k| 1500k|736595 | 0.2 |1458M| 827 | - |1700 |1600 |1700 | 257 | 94k| 55 |2599 | 0.000000e+00 | 1.090200e+04 | Inf
1786.76/1786.72 o 10186
1786.76/1786.72 c *1787s| 3061k| 1295k|736598 | 0.2 |1266M| 827 | - |1700 |1600 |1700 | 257 | 94k| 55 |2599 | 0.000000e+00 | 1.018600e+04 | Inf
1786.76/1786.72 c (node 3061896) switching to standard mode (mem: 1208.1M/3420.0M)
1788.46/1788.50 o 10008
1788.46/1788.50 c *1788s| 3063k| 1248k|738032 | 0.2 |1222M| 827 | - |1700 |2082 |1700 | 242 | 94k| 540 |2622 | 0.000000e+00 | 1.000800e+04 | Inf
1790.17/1790.10 o 9667
1790.17/1790.10 c *1790s| 3065k| 1157k|739537 | 0.2 |1137M| 827 | - |1700 |2752 |1700 | 254 | 94k|1334 |2646 | 0.000000e+00 | 9.667000e+03 | Inf
1790.17/1790.10 c
1790.17/1790.10 c SCIP Status : solving was interrupted [time limit reached]
1790.17/1790.10 c Solving Time (sec) : 1790.09
1790.17/1790.10 c Solving Nodes : 3065879
1790.17/1790.10 c Primal Bound : +9.66700000000000e+03 (105 solutions)
1790.17/1790.10 c Dual Bound : +0.00000000000000e+00
1790.17/1790.10 c Gap : infinite
1790.17/1790.11 s SATISFIABLE
1790.17/1790.11 v -x200 x199 x198 -x197 x196 -x195 x194 -x193 -x192 x191 -x190 x189 -x188 x187 x186 -x185 -x184 x183 x182 -x181 x180 -x179 x178 -x177
1790.17/1790.11 v x176 -x175 x174 -x173 x172 -x171 -x170 x169 x168 -x167 x166 -x165 -x164 x163 -x162 x161 -x160 x159 -x158 x157 x156 -x155
1790.17/1790.11 v x154 -x153 x152 -x151 -x150 x149 -x148 x147 x146 -x145 x144 -x143 -x142 x141 -x140 x139 x138 -x137 x136 -x135 x134 -x133 -x132
1790.17/1790.11 v x131 x130 -x129 x128 -x127 x126 -x125 x124 -x123 -x122 x121 -x120 x119 x118 -x117 -x116 x115 -x114 x113 -x112 x111 x110 -x109
1790.17/1790.11 v x108 -x107 -x106 x105 x104 -x103 -x102 x101 x100 -x99 x98 -x97 x96 -x95 x94 -x93 -x92 x91 -x90 x89 -x88 x87 -x86 x85 -x84
1790.17/1790.11 v x83 -x82 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 x56
1790.17/1790.11 v -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 -x30 x29 x28
1790.17/1790.11 v -x27 -x26 x25 x24 -x23 x22 -x21 x20 -x19 -x18 x17 -x16 x15 x14 -x13 x12 -x11 x10 -x9 -x8 x7 x6 -x5 -x4 x3 x2 -x1
1790.17/1790.11 c SCIP Status : solving was interrupted [time limit reached]
1790.17/1790.11 c Solving Time : 1790.09
1790.17/1790.11 c Original Problem :
1790.17/1790.11 c Problem name : HOME/instance-2705760-1278580140.wbo
1790.17/1790.11 c Variables : 1800 (1000 binary, 0 integer, 800 implicit integer, 0 continuous)
1790.17/1790.11 c Constraints : 1701 initial, 1701 maximal
1790.17/1790.11 c Presolved Problem :
1790.17/1790.11 c Problem name : t_HOME/instance-2705760-1278580140.wbo
1790.17/1790.11 c Variables : 1700 (900 binary, 0 integer, 800 implicit integer, 0 continuous)
1790.17/1790.11 c Constraints : 1600 initial, 2752 maximal
1790.17/1790.11 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.17/1790.11 c trivial : 0.00 0 0 0 0 0 0 0 0
1790.17/1790.11 c dualfix : 0.00 0 0 0 0 0 0 0 0
1790.17/1790.11 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.17/1790.11 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.17/1790.11 c implics : 0.00 0 0 0 0 0 0 0 0
1790.17/1790.11 c probing : 0.01 0 0 0 0 0 0 0 0
1790.17/1790.11 c linear : 0.02 0 100 0 800 0 101 0 0
1790.17/1790.11 c indicator : 0.00 0 0 0 0 0 0 0 0
1790.17/1790.11 c logicor : 0.00 0 0 0 0 0 0 0 0
1790.17/1790.11 c root node : - 0 - - 0 - - - -
1790.17/1790.11 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.17/1790.11 c integral : 0 0 0 3122746 0 0 135 0 0 7880
1790.17/1790.11 c linear : 800 6 3844805 3118676 0 63 450318 94990 0 0
1790.17/1790.11 c indicator : 800 0 3844747 3118680 0 44 3026884 0 0 0
1790.17/1790.11 c logicor : 0+ 0 31606 0 0 9 3884 0 0 0
1790.17/1790.11 c countsols : 0 0 0 3061735 0 0 0 0 0 0
1790.17/1790.11 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.17/1790.11 c integral : 3.23 0.00 0.00 3.23 0.00
1790.17/1790.11 c linear : 31.84 0.00 8.52 23.32 0.00
1790.17/1790.11 c indicator : 229.64 0.06 79.89 149.70 0.00
1790.17/1790.11 c logicor : 0.04 0.00 0.04 0.00 0.00
1790.17/1790.11 c countsols : 0.36 0.00 0.00 0.36 0.00
1790.17/1790.11 c Propagators : Time Calls Cutoffs DomReds
1790.17/1790.11 c vbounds : 0.75 2 0 0
1790.17/1790.11 c rootredcost : 0.70 4 0 0
1790.17/1790.11 c pseudoobj : 46.22 3844742 132 42836
1790.17/1790.11 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.17/1790.11 c propagation : 0.01 204 204 1556 37.8 1 31.0 -
1790.17/1790.11 c infeasible LP : 0.00 14 14 27 20.0 0 0.0 0
1790.17/1790.11 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.17/1790.11 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.17/1790.11 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.17/1790.11 c applied globally : - - - 1334 36.1 - - -
1790.17/1790.11 c applied locally : - - - 0 0.0 - - -
1790.17/1790.11 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.17/1790.11 c cut pool : 0.00 3 - - 9 - (maximal pool size: 318)
1790.17/1790.11 c redcost : 121.92 3122802 0 3741 0 0
1790.17/1790.11 c impliedbounds : 0.00 4 0 0 0 0
1790.17/1790.11 c intobj : 0.00 0 0 0 0 0
1790.17/1790.11 c cgmip : 0.00 0 0 0 0 0
1790.17/1790.11 c gomory : 0.03 4 0 0 98 0
1790.17/1790.11 c strongcg : 0.03 4 0 0 445 0
1790.17/1790.11 c cmir : 0.01 4 0 0 0 0
1790.17/1790.11 c flowcover : 0.02 4 0 0 0 0
1790.17/1790.11 c clique : 0.00 1 0 0 0 0
1790.17/1790.11 c zerohalf : 0.00 0 0 0 0 0
1790.17/1790.11 c mcf : 0.00 1 0 0 0 0
1790.17/1790.11 c rapidlearning : 0.05 1 0 0 0 0
1790.17/1790.11 c Pricers : Time Calls Vars
1790.17/1790.11 c problem variables: 0.00 0 0
1790.17/1790.11 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.17/1790.11 c relpscost : 2.40 4066 0 135 0 0 7880
1790.17/1790.11 c pscost : 0.00 0 0 0 0 0 0
1790.17/1790.11 c inference : 289.16 3061730 0 0 0 0 6123460
1790.17/1790.11 c mostinf : 0.00 0 0 0 0 0 0
1790.17/1790.11 c leastinf : 0.00 0 0 0 0 0 0
1790.17/1790.11 c fullstrong : 0.00 0 0 0 0 0 0
1790.17/1790.11 c allfullstrong : 0.00 0 0 0 0 0 0
1790.17/1790.11 c random : 0.00 0 0 0 0 0 0
1790.17/1790.11 c Primal Heuristics : Time Calls Found
1790.17/1790.11 c LP solutions : 4.11 - 5
1790.17/1790.11 c pseudo solutions : 0.00 - 0
1790.17/1790.11 c feaspump : 0.00 0 0
1790.17/1790.11 c intshifting : 0.00 0 0
1790.17/1790.11 c oneopt : 1.24 4 0
1790.17/1790.11 c coefdiving : 5.51 8784 0
1790.17/1790.11 c pscostdiving : 5.26 8784 0
1790.17/1790.11 c fracdiving : 5.24 8784 0
1790.17/1790.11 c veclendiving : 5.20 8785 0
1790.17/1790.11 c linesearchdiving : 5.20 8785 0
1790.17/1790.11 c guideddiving : 5.20 8785 0
1790.17/1790.11 c objpscostdiving : 5.44 8784 0
1790.17/1790.11 c rootsoldiving : 5.50 8784 0
1790.17/1790.11 c trivial : 0.00 2 1
1790.17/1790.11 c simplerounding : 0.74 4072 0
1790.17/1790.11 c zirounding : 0.61 1000 0
1790.17/1790.11 c rounding : 0.49 853 0
1790.17/1790.11 c shifting : 0.11 248 0
1790.17/1790.11 c twoopt : 0.00 0 0
1790.17/1790.11 c fixandinfer : 0.00 0 0
1790.17/1790.11 c intdiving : 0.00 0 0
1790.17/1790.11 c actconsdiving : 0.00 0 0
1790.17/1790.11 c octane : 0.00 0 0
1790.17/1790.11 c rens : 0.01 1 0
1790.17/1790.11 c rins : 0.00 0 0
1790.17/1790.11 c localbranching : 0.00 0 0
1790.17/1790.11 c mutation : 0.00 0 0
1790.17/1790.11 c crossover : 0.88 13 3
1790.17/1790.11 c dins : 0.00 0 0
1790.17/1790.11 c undercover : 0.00 0 0
1790.17/1790.11 c nlp : 0.42 0 0
1790.17/1790.11 c trysol : 0.69 8863 96
1790.17/1790.11 c LP : Time Calls Iterations Iter/call Iter/sec
1790.17/1790.11 c primal LP : 0.00 0 0 0.00 -
1790.17/1790.11 c dual LP : 611.63 168986 739181 4.37 1208.55
1790.17/1790.11 c lex dual LP : 0.00 0 0 0.00 -
1790.17/1790.11 c barrier LP : 0.00 0 0 0.00 -
1790.17/1790.11 c diving/probing LP: 0.01 10 356 35.60 -
1790.17/1790.11 c strong branching : 2.37 2646 42360 16.01 17876.09
1790.17/1790.11 c (at root node) : - 33 5015 151.97 -
1790.17/1790.11 c conflict analysis: 0.00 0 0 0.00 -
1790.17/1790.11 c B&B Tree :
1790.17/1790.11 c number of runs : 1
1790.17/1790.11 c nodes : 3065879
1790.17/1790.11 c nodes (total) : 3065879
1790.17/1790.11 c nodes left : 1157831
1790.17/1790.11 c max depth : 827
1790.17/1790.11 c max depth (total): 827
1790.17/1790.11 c backtracks : 8860 (0.3%)
1790.17/1790.11 c delayed cutoffs : 59
1790.17/1790.11 c repropagations : 1085 (19531 domain reductions, 58 cutoffs)
1790.17/1790.11 c avg switch length: 2.06
1790.17/1790.11 c switching time : 62.81
1790.17/1790.11 c Solution :
1790.17/1790.11 c Solutions found : 105 (6 improvements)
1790.17/1790.11 c First Solution : +3.94238000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1790.17/1790.11 c Primal Bound : +9.66700000000000e+03 (in run 1, after 3065879 nodes, 1789.85 seconds, depth 394, found by <relaxation>)
1790.17/1790.11 c Dual Bound : +0.00000000000000e+00
1790.17/1790.11 c Gap : infinite
1790.17/1790.11 c Root Dual Bound : +0.00000000000000e+00
1790.17/1790.11 c Root Iterations : 352
1793.06/1793.01 c Time complete: 1793.07.
OK 9504
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705760-1278580140/watcher-2705760-1278580140 -o /tmp/evaluation-result-2705760-1278580140/solver-2705760-1278580140 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705760-1278580140.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.95 4/178 24161 /proc/meminfo: memFree=29295216/32951124 swapFree=67111528/67111528 [pid=24161] ppid=24159 vsize=12332 CPUtime=0 /proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23527 0 -1 4202496 1947 0 0 0 0 0 0 0 25 0 1 0 26226384 12627968 1866 4089446400 4194304 10345943 140736716536720 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/24161/statm: 3136 1877 429 1502 0 1629 0 [startup+0.078873 s] /proc/loadavg: 2.00 2.00 1.95 4/178 24161 /proc/meminfo: memFree=29295216/32951124 swapFree=67111528/67111528 [pid=24161] ppid=24159 vsize=39056 CPUtime=0.06 /proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23527 0 -1 4202496 8644 0 0 0 6 0 0 0 25 0 1 0 26226384 39993344 8209 4089446400 4194304 10345943 140736716536720 18446744073709551615 9186026 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24161/statm: 9764 8209 636 1502 0 8257 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 39056 [startup+0.100879 s] /proc/loadavg: 2.00 2.00 1.95 4/178 24161 /proc/meminfo: memFree=29295216/32951124 swapFree=67111528/67111528 [pid=24161] ppid=24159 vsize=39056 CPUtime=0.09 /proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23527 0 -1 4202496 8668 0 0 0 9 0 0 0 25 0 1 0 26226384 39993344 8233 4089446400 4194304 10345943 140736716536720 18446744073709551615 9186026 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24161/statm: 9764 8233 636 1502 0 8257 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 39056 [startup+0.300829 s] /proc/loadavg: 2.00 2.00 1.95 4/178 24161 /proc/meminfo: memFree=29295216/32951124 swapFree=67111528/67111528 [pid=24161] ppid=24159 vsize=42640 CPUtime=0.29 /proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23527 0 -1 4202496 11749 0 0 0 28 1 0 0 25 0 1 0 26226384 43663360 9513 4089446400 4194304 10345943 140736716536720 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24161/statm: 10660 9513 751 1502 0 9153 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 42640 [startup+0.70075 s] /proc/loadavg: 2.00 2.00 1.95 4/178 24161 /proc/meminfo: memFree=29295216/32951124 swapFree=67111528/67111528 [pid=24161] ppid=24159 vsize=42640 CPUtime=0.69 /proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23527 0 -1 4202496 11756 0 0 0 68 1 0 0 25 0 1 0 26226384 43663360 9520 4089446400 4194304 10345943 140736716536720 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24161/statm: 10660 9520 758 1502 0 9153 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 42640 [startup+1.50059 s] /proc/loadavg: 2.00 2.00 1.95 3/179 24162 /proc/meminfo: memFree=29258380/32951124 swapFree=67111528/67111528 [pid=24161] ppid=24159 vsize=42640 CPUtime=1.49 /proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23527 0 -1 4202496 13043 0 0 0 147 2 0 0 25 0 1 0 26226384 43663360 9526 4089446400 4194304 10345943 140736716536720 18446744073709551615 4688109 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24161/statm: 10660 9526 761 1502 0 9153 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42640 [startup+3.10027 s] /proc/loadavg: 2.00 2.00 1.95 3/179 24162 /proc/meminfo: memFree=29255652/32951124 swapFree=67111528/67111528 [pid=24161] ppid=24159 vsize=44040 CPUtime=3.09 /proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23527 0 -1 4202496 16119 0 0 0 306 3 0 0 25 0 1 0 26226384 45096960 9884 4089446400 4194304 10345943 140736716536720 18446744073709551615 4999669 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24161/statm: 11010 9884 761 1502 0 9503 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 44040 [startup+6.30064 s] /proc/loadavg: 2.00 2.00 1.95 3/179 24162 /proc/meminfo: memFree=29248952/32951124 swapFree=67111528/67111528 [pid=24161] ppid=24159 vsize=56912 CPUtime=6.29 /proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23527 0 -1 4202496 21229 0 0 0 625 4 0 0 25 0 1 0 26226384 58277888 12699 4089446400 4194304 10345943 140736716536720 18446744073709551615 6307378 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24161/statm: 14228 12699 765 1502 0 12721 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 56912 [startup+12.7004 s] /proc/loadavg: 2.00 2.00 1.95 3/179 24162 /proc/meminfo: memFree=29220068/32951124 swapFree=67111528/67111528 [pid=24161] ppid=24159 vsize=65808 CPUtime=12.69 /proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23527 0 -1 4202496 23429 0 0 0 1263 6 0 0 25 0 1 0 26226384 67387392 14899 4089446400 4194304 10345943 140736716536720 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24161/statm: 16452 14899 765 1502 0 14945 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 65808 [startup+25.5009 s] /proc/loadavg: 2.00 2.00 1.95 3/179 24163 /proc/meminfo: memFree=29186968/32951124 swapFree=67111528/67111528 [pid=24161] ppid=24159 vsize=79200 CPUtime=25.49 /proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23527 0 -1 4202496 29301 0 0 0 2539 10 0 0 25 0 1 0 26226384 81100800 18406 4089446400 4194304 10345943 140736716536720 18446744073709551615 4881841 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24161/statm: 19800 18406 765 1502 0 18293 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 79200 [startup+51.1007 s] /proc/loadavg: 2.00 2.00 1.95 3/179 24164 /proc/meminfo: memFree=29111132/32951124 swapFree=67111528/67111528 [pid=24161] ppid=24159 vsize=121636 CPUtime=51.09 /proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23527 0 -1 4202496 41716 0 0 0 5093 16 0 0 25 0 1 0 26226384 124555264 28660 4089446400 4194304 10345943 140736716536720 18446744073709551615 4696445 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24161/statm: 30409 28660 765 1502 0 28902 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 121636 [startup+102.307 s] /proc/loadavg: 2.00 2.00 1.95 3/179 24165 /proc/meminfo: memFree=28949660/32951124 swapFree=67111528/67111528 [pid=24161] ppid=24159 vsize=205216 CPUtime=102.3 /proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23527 0 -1 4202496 64571 0 0 0 10202 28 0 0 25 0 1 0 26226384 210141184 49475 4089446400 4194304 10345943 140736716536720 18446744073709551615 6702697 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24161/statm: 51304 49475 765 1502 0 49797 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 205216 [startup+162.301 s] /proc/loadavg: 2.06 2.02 1.95 3/179 24166 /proc/meminfo: memFree=28761872/32951124 swapFree=67111528/67111528 [pid=24161] ppid=24159 vsize=306692 CPUtime=162.3 /proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23527 0 -1 4202496 90972 0 0 0 16188 42 0 0 25 0 1 0 26226384 314052608 73961 4089446400 4194304 10345943 140736716536720 18446744073709551615 6120333 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24161/statm: 76673 73961 765 1502 0 75166 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 306692 [startup+222.301 s] /proc/loadavg: 2.02 2.01 1.95 3/179 24168 /proc/meminfo: memFree=28573680/32951124 swapFree=67111528/67111528 [pid=24161] ppid=24159 vsize=403556 CPUtime=222.3 /proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23527 0 -1 4202496 115091 0 0 0 22174 56 0 0 25 0 1 0 26226384 413241344 98079 4089446400 4194304 10345943 140736716536720 18446744073709551615 6002324 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24161/statm: 100889 98079 765 1502 0 99382 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 403556 [startup+282.301 s] /proc/loadavg: 2.01 2.00 1.95 3/179 24170 /proc/meminfo: memFree=28391328/32951124 swapFree=67111528/67111528 [pid=24161] ppid=24159 vsize=506808 CPUtime=282.3 /proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23527 0 -1 4202496 140858 0 0 0 28159 71 0 0 25 0 1 0 26226384 518971392 121975 4089446400 4194304 10345943 140736716536720 18446744073709551615 4701030 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24161/statm: 126702 121975 765 1502 0 125195 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 506808 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.95 3/179 24172 /proc/meminfo: memFree=28204152/32951124 swapFree=67111528/67111528 [pid=24161] ppid=24159 vsize=602904 CPUtime=342.3 /proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23527 0 -1 4202496 165054 0 0 0 34147 83 0 0 25 0 1 0 26226384 617373696 146169 4089446400 4194304 10345943 140736716536720 18446744073709551615 6865005 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24161/statm: 150726 146169 765 1502 0 149219 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 602904 [startup+402.301 s] /proc/loadavg: 2.00 2.00 1.95 3/179 24173 /proc/meminfo: memFree=28022536/32951124 swapFree=67111528/67111528 [pid=24161] ppid=24159 vsize=696860 CPUtime=402.3 /proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23527 0 -1 4202496 188437 0 0 0 40134 96 0 0 25 0 1 0 26226384 713584640 169551 4089446400 4194304 10345943 140736716536720 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24161/statm: 174215 169551 765 1502 0 172708 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 696860 [startup+462.301 s] /proc/loadavg: 2.00 2.00 1.95 3/179 24174 /proc/meminfo: memFree=27834852/32951124 swapFree=67111528/67111528 [pid=24161] ppid=24159 vsize=794876 CPUtime=462.31 /proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23527 0 -1 4202496 212762 0 0 0 46120 111 0 0 25 0 1 0 26226384 813953024 193875 4089446400 4194304 10345943 140736716536720 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24161/statm: 198719 193875 765 1502 0 197212 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 794876 [startup+522.301 s] /proc/loadavg: 2.00 2.00 1.95 3/179 24176 /proc/meminfo: memFree=27647028/32951124 swapFree=67111528/67111528 [pid=24161] ppid=24159 vsize=891860 CPUtime=522.32 /proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23527 0 -1 4202496 238795 0 0 0 52108 124 0 0 25 0 1 0 26226384 913264640 217992 4089446400 4194304 10345943 140736716536720 18446744073709551615 6803441 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24161/statm: 222965 217992 765 1502 0 221458 0 Current children cumulated CPU time (s) 522.32 Current children cumulated vsize (KiB) 891860 [startup+582.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 24178 /proc/meminfo: memFree=27460824/32951124 swapFree=67111528/67111528 [pid=24161] ppid=24159 vsize=1002116 CPUtime=582.31 /proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23527 0 -1 4202496 262559 0 0 0 58094 137 0 0 25 0 1 0 26226384 1026166784 241756 4089446400 4194304 10345943 140736716536720 18446744073709551615 6119649 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24161/statm: 250529 241756 765 1502 0 249022 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 1002116 [startup+642.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 24183 /proc/meminfo: memFree=27268184/32951124 swapFree=67111528/67111528 [pid=24161] ppid=24159 vsize=1098416 CPUtime=642.32 /proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23527 0 -1 4202496 286553 0 0 0 64082 150 0 0 25 0 1 0 26226384 1124777984 265750 4089446400 4194304 10345943 140736716536720 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24161/statm: 274604 265750 765 1502 0 273097 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 1098416 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=25763732/32951124 swapFree=67111528/67111528 [pid=24161] ppid=24159 vsize=1872304 CPUtime=1122.34 /proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23527 0 -1 4202496 481353 0 0 0 111972 262 0 0 25 0 1 0 26226384 1917239296 458671 4089446400 4194304 10345943 140736716536720 18446744073709551615 6702772 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24161/statm: 468076 458671 765 1502 0 466569 0 Current children cumulated CPU time (s) 1122.34 Current children cumulated vsize (KiB) 1872304 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 24197 /proc/meminfo: memFree=25576172/32951124 swapFree=67111528/67111528 [pid=24161] ppid=24159 vsize=1969128 CPUtime=1182.34 /proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23527 0 -1 4202496 505883 0 0 0 117959 275 0 0 25 0 1 0 26226384 2016387072 483200 4089446400 4194304 10345943 140736716536720 18446744073709551615 6307366 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24161/statm: 492282 483200 765 1502 0 490775 0 Current children cumulated CPU time (s) 1182.34 Current children cumulated vsize (KiB) 1969128 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 24199 /proc/meminfo: memFree=25386876/32951124 swapFree=67111528/67111528 [pid=24161] ppid=24159 vsize=2098500 CPUtime=1242.34 /proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23527 0 -1 4202496 529851 0 0 0 123943 291 0 0 25 0 1 0 26226384 2148864000 507168 4089446400 4194304 10345943 140736716536720 18446744073709551615 6107954 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24161/statm: 524625 507168 765 1502 0 523118 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 2098500 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 24200 /proc/meminfo: memFree=25193112/32951124 swapFree=67111528/67111528 [pid=24161] ppid=24159 vsize=2196408 CPUtime=1302.35 /proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23527 0 -1 4202496 554229 0 0 0 129930 305 0 0 25 0 1 0 26226384 2249121792 531545 4089446400 4194304 10345943 140736716536720 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24161/statm: 549102 531545 765 1502 0 547595 0 Current children cumulated CPU time (s) 1302.35 Current children cumulated vsize (KiB) 2196408 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 24201 /proc/meminfo: memFree=25009648/32951124 swapFree=67111528/67111528 [pid=24161] ppid=24159 vsize=2291708 CPUtime=1362.35 /proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23527 0 -1 4202496 577934 0 0 0 135917 318 0 0 25 0 1 0 26226384 2346708992 555250 4089446400 4194304 10345943 140736716536720 18446744073709551615 8933842 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24161/statm: 572927 555250 765 1502 0 571420 0 Current children cumulated CPU time (s) 1362.35 Current children cumulated vsize (KiB) 2291708 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.95 3/179 24203 /proc/meminfo: memFree=24818884/32951124 swapFree=67111528/67111528 [pid=24161] ppid=24159 vsize=2388392 CPUtime=1422.36 /proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23527 0 -1 4202496 602217 0 0 0 141905 331 0 0 25 0 1 0 26226384 2445713408 579531 4089446400 4194304 10345943 140736716536720 18446744073709551615 6702694 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24161/statm: 597098 579531 765 1502 0 595591 0 Current children cumulated CPU time (s) 1422.36 Current children cumulated vsize (KiB) 2388392 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 24205 /proc/meminfo: memFree=24631444/32951124 swapFree=67111528/67111528 [pid=24161] ppid=24159 vsize=2485636 CPUtime=1482.35 /proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23527 0 -1 4202496 626394 0 0 0 147891 344 0 0 25 0 1 0 26226384 2545291264 603708 4089446400 4194304 10345943 140736716536720 18446744073709551615 6307378 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24161/statm: 621409 603708 765 1502 0 619902 0 Current children cumulated CPU time (s) 1482.35 Current children cumulated vsize (KiB) 2485636 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 24207 /proc/meminfo: memFree=24445000/32951124 swapFree=67111528/67111528 [pid=24161] ppid=24159 vsize=2581908 CPUtime=1542.35 /proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23527 0 -1 4202496 650420 0 0 0 153875 360 0 0 25 0 1 0 26226384 2643873792 627732 4089446400 4194304 10345943 140736716536720 18446744073709551615 6519518 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24161/statm: 645477 627732 765 1502 0 643970 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 2581908 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 24208 /proc/meminfo: memFree=24257576/32951124 swapFree=67111528/67111528 [pid=24161] ppid=24159 vsize=2679224 CPUtime=1602.36 /proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23527 0 -1 4202496 674810 0 0 0 159861 375 0 0 25 0 1 0 26226384 2743525376 652122 4089446400 4194304 10345943 140736716536720 18446744073709551615 4696487 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24161/statm: 669806 652122 765 1502 0 668299 0 Current children cumulated CPU time (s) 1602.36 Current children cumulated vsize (KiB) 2679224 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 24209 /proc/meminfo: memFree=24067296/32951124 swapFree=67111528/67111528 [pid=24161] ppid=24159 vsize=2775300 CPUtime=1662.36 /proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23527 0 -1 4202496 698676 0 0 0 165849 387 0 0 25 0 1 0 26226384 2841907200 675985 4089446400 4194304 10345943 140736716536720 18446744073709551615 5926485 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24161/statm: 693825 675985 765 1502 0 692318 0 Current children cumulated CPU time (s) 1662.36 Current children cumulated vsize (KiB) 2775300 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 24211 /proc/meminfo: memFree=23876532/32951124 swapFree=67111528/67111528 [pid=24161] ppid=24159 vsize=2872324 CPUtime=1722.36 /proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23527 0 -1 4202496 722952 0 0 0 171836 400 0 0 25 0 1 0 26226384 2941259776 700261 4089446400 4194304 10345943 140736716536720 18446744073709551615 6002282 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24161/statm: 718081 700261 765 1502 0 716574 0 Current children cumulated CPU time (s) 1722.36 Current children cumulated vsize (KiB) 2872324 [startup+1782.3 s] /proc/loadavg: 1.85 1.97 1.94 2/171 24234 /proc/meminfo: memFree=26462928/32951124 swapFree=67111528/67111528 [pid=24161] ppid=24159 vsize=2969664 CPUtime=1782.36 /proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23527 0 -1 4202496 747107 0 0 0 177822 414 0 0 25 0 1 0 26226384 3040935936 724416 4089446400 4194304 10345943 140736716536720 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24161/statm: 742416 724416 765 1502 0 740909 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (KiB) 2969664 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.78 1.95 1.94 2/171 24234 /proc/meminfo: memFree=26462316/32951124 swapFree=67111528/67111528 [pid=24161] ppid=24159 vsize=2969664 CPUtime=1785.56 /proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23527 0 -1 4202496 759068 0 0 0 178141 415 0 0 25 0 1 0 26226384 3040935936 724418 4089446400 4194304 10345943 140736716536720 18446744073709551615 6325130 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24161/statm: 742416 724418 765 1502 0 740909 0 Current children cumulated CPU time (s) 1785.56 Current children cumulated vsize (KiB) 2969664 [startup+1788.7 s] /proc/loadavg: 1.78 1.95 1.94 2/171 24234 /proc/meminfo: memFree=26490364/32951124 swapFree=67111528/67111528 [pid=24161] ppid=24159 vsize=2938128 CPUtime=1788.76 /proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23527 0 -1 4202496 764324 0 0 0 178460 416 0 0 25 0 1 0 26226384 3008643072 717714 4089446400 4194304 10345943 140736716536720 18446744073709551615 6325028 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24161/statm: 734532 717714 765 1502 0 733025 0 Current children cumulated CPU time (s) 1788.76 Current children cumulated vsize (KiB) 2938128 [startup+1790.3 s] /proc/loadavg: 1.72 1.93 1.93 2/171 24234 /proc/meminfo: memFree=26489620/32951124 swapFree=67111528/67111528 [pid=24161] ppid=24159 vsize=2938128 CPUtime=1790.36 /proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23527 0 -1 4202496 764501 0 0 0 178619 417 0 0 25 0 1 0 26226384 3008643072 717891 4089446400 4194304 10345943 140736716536720 18446744073709551615 6325130 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/24161/statm: 734532 717891 769 1502 0 733025 0 Current children cumulated CPU time (s) 1790.36 Current children cumulated vsize (KiB) 2938128 [startup+1791.91 s] /proc/loadavg: 1.72 1.93 1.93 2/171 24234 /proc/meminfo: memFree=26489896/32951124 swapFree=67111528/67111528 [pid=24161] ppid=24159 vsize=2938128 CPUtime=1791.97 /proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23527 0 -1 4202496 764501 0 0 0 178780 417 0 0 25 0 1 0 26226384 3008643072 717891 4089446400 4194304 10345943 140736716536720 18446744073709551615 6324995 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/24161/statm: 734532 717891 769 1502 0 733025 0 Current children cumulated CPU time (s) 1791.97 Current children cumulated vsize (KiB) 2938128 [startup+1792.7 s] /proc/loadavg: 1.72 1.93 1.93 2/171 24234 /proc/meminfo: memFree=26489896/32951124 swapFree=67111528/67111528 [pid=24161] ppid=24159 vsize=2938128 CPUtime=1792.76 /proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23527 0 -1 4202496 764501 0 0 0 178859 417 0 0 25 0 1 0 26226384 3008643072 717891 4089446400 4194304 10345943 140736716536720 18446744073709551615 6324989 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/24161/statm: 734532 717891 769 1502 0 733025 0 Current children cumulated CPU time (s) 1792.76 Current children cumulated vsize (KiB) 2938128 [startup+1792.9 s] /proc/loadavg: 1.72 1.93 1.93 2/171 24234 /proc/meminfo: memFree=26489896/32951124 swapFree=67111528/67111528 [pid=24161] ppid=24159 vsize=2938128 CPUtime=1792.97 /proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23527 0 -1 4202496 764501 0 0 0 178880 417 0 0 25 0 1 0 26226384 3008643072 717891 4089446400 4194304 10345943 140736716536720 18446744073709551615 6325466 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/24161/statm: 734532 717891 769 1502 0 733025 0 Current children cumulated CPU time (s) 1792.97 Current children cumulated vsize (KiB) 2938128 [startup+1793.01 s] /proc/loadavg: 1.72 1.93 1.93 2/171 24234 /proc/meminfo: memFree=26489896/32951124 swapFree=67111528/67111528 [pid=24161] ppid=24159 vsize=1468104 CPUtime=1793.06 /proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23527 0 -1 4202496 764501 0 0 0 178881 425 0 0 25 0 1 0 26226384 1503338496 77409 4089446400 4194304 10345943 140736716536720 18446744073709551615 9366586 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/24161/statm: 367026 76918 769 1502 0 365519 0 Current children cumulated CPU time (s) 1793.06 Current children cumulated vsize (KiB) 1468104 Child status: 0 Real time (s): 1793.02 CPU time (s): 1793.08 CPU user time (s): 1788.82 CPU system time (s): 4.26535 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 3034188 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1788.82 system time used= 4.26535 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 764504 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= 1446 runsolver used 2.49162 second user time and 5.68014 second system time The end
Begin job on node143 at 2010-07-08 11:09:00 IDJOB=2705760 IDBENCH=79424 IDSOLVER=1214 FILE ID=node143/2705760-1278580140 PBS_JOBID= 11240169 Free space on /tmp= 73236 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh205_wcsp.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705760-1278580140/watcher-2705760-1278580140 -o /tmp/evaluation-result-2705760-1278580140/solver-2705760-1278580140 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705760-1278580140.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= dcd6541236cc8e3c8ecb4a3e0452a499 RANDOM SEED=841772143 node143.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.829 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.829 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.829 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.829 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.72 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.829 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 : 5338.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.829 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.829 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29295620 kB Buffers: 157088 kB Cached: 3220516 kB SwapCached: 0 kB Active: 1704980 kB Inactive: 1792732 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29295620 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 25648 kB Writeback: 0 kB AnonPages: 120392 kB Mapped: 17824 kB Slab: 95196 kB PageTables: 4816 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 265256 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= 73236 MiB End job on node143 at 2010-07-08 11:38:53