Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | MSAT (TO) | 1800.22 | 1800.18 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567135--soft-33-100-0.wbo |
| MD5SUM | 98ba7b6540ae93cc2daebc624abceb03 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 29.5945 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of soft constraints | 1777 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| Top cost | 90281 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 90280 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 761 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2692829-1277905805.wbo>
0.00/0.03 c original problem has 3785 variables (2008 bin, 0 int, 0 impl, 1777 cont) and 4485 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.05 c presolving:
0.00/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1913 impls, 7 clqs
0.08/0.09 c (round 2) 0 del vars, 68 del conss, 1777 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1913 impls, 7 clqs
0.09/0.10 c (round 3) 53 del vars, 144 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 0 upgd conss, 1913 impls, 7 clqs
0.09/0.11 c (round 4) 118 del vars, 156 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 905 upgd conss, 1913 impls, 7 clqs
0.09/0.12 c (round 5) 130 del vars, 156 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 905 upgd conss, 1913 impls, 7 clqs
0.09/0.17 c (0.1s) probing: 101/1943 (5.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (6 rounds):
0.09/0.17 c 130 deleted vars, 156 deleted constraints, 1789 tightened bounds, 0 added holes, 76 changed sides, 0 changed coefficients
0.09/0.17 c 1913 implications, 7 cliques
0.09/0.17 c presolved problem has 3655 variables (1943 bin, 0 int, 0 impl, 1712 cont) and 4329 constraints
0.09/0.17 c 1712 constraints of type <indicator>
0.09/0.17 c 7 constraints of type <setppc>
0.09/0.17 c 1712 constraints of type <linear>
0.09/0.17 c 898 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.11
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.2
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1799.98
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 3420
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.09/0.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.18 c 0.1s| 1 | 0 | 22 | - | 13M| 0 | 8 |3655 |4329 |3655 | 905 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 o 86784
0.09/0.19 c y 0.1s| 1 | 0 | 32 | - | 13M| 0 | 8 |3655 |4329 |3655 | 905 | 0 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.19/0.21 c 0.1s| 1 | 0 | 71 | - | 13M| 0 | 36 |3655 |4329 |3655 | 928 | 23 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.19/0.27 c 0.2s| 1 | 0 | 139 | - | 14M| 0 | 42 |3655 |4329 |3655 | 949 | 44 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.29/0.33 c 0.3s| 1 | 0 | 187 | - | 14M| 0 | 48 |3655 |4329 |3655 | 960 | 55 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.39/0.40 c 0.3s| 1 | 0 | 231 | - | 14M| 0 | 54 |3655 |4329 |3655 | 967 | 62 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.39/0.50 c 0.4s| 1 | 0 | 279 | - | 14M| 0 | 49 |3655 |4329 |3655 | 969 | 64 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.49/0.59 c 0.5s| 1 | 0 | 303 | - | 14M| 0 | 49 |3655 |4329 |3655 | 972 | 67 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
1.19/1.25 c 1.1s| 1 | 2 | 303 | - | 14M| 0 | 49 |3655 |4329 |3655 | 972 | 67 | 0 | 33 | 0.000000e+00 | 8.678400e+04 | Inf
25.90/25.90 c 24.9s| 10000 | 9967 | 36456 | 3.6 | 38M| 267 | 0 |3655 |4399 |3655 |1011 |3031 | 77 |1651 | 0.000000e+00 | 8.678400e+04 | Inf
40.49/40.56 c 39.0s| 20000 | 19965 | 54224 | 2.7 | 55M| 267 | 0 |3655 |4385 |3655 |1030 |4545 | 82 |1724 | 0.000000e+00 | 8.678400e+04 | Inf
54.49/54.58 c 52.6s| 30000 | 29955 | 68704 | 2.3 | 72M| 267 | 0 |3655 |4382 |3655 | 980 |6073 | 101 |1755 | 0.000000e+00 | 8.678400e+04 | Inf
68.10/68.13 c 65.7s| 40000 | 39951 | 78487 | 2.0 | 89M| 267 | 0 |3655 |4372 |3655 |1008 |7359 | 106 |1767 | 0.000000e+00 | 8.678400e+04 | Inf
81.49/81.57 c 78.8s| 50000 | 49947 | 85946 | 1.7 | 106M| 267 | 0 |3655 |4376 |3655 | 996 |8668 | 114 |1775 | 0.000000e+00 | 8.678400e+04 | Inf
94.60/94.66 c 91.4s| 60000 | 59943 | 90623 | 1.5 | 123M| 267 | 0 |3655 |4376 |3655 |1001 |9507 | 121 |1782 | 0.000000e+00 | 8.678400e+04 | Inf
107.80/107.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
107.80/107.84 c 104s| 70000 | 69935 | 96817 | 1.4 | 139M| 267 | 0 |3655 |4381 |3655 | 999 | 10k| 134 |1784 | 0.000000e+00 | 8.678400e+04 | Inf
120.90/120.99 c 117s| 80000 | 79933 |102181 | 1.3 | 156M| 267 | 0 |3655 |4379 |3655 |1028 | 11k| 135 |1785 | 0.000000e+00 | 8.678400e+04 | Inf
134.00/134.05 c 130s| 90000 | 89933 |107367 | 1.2 | 172M| 267 | 0 |3655 |4377 |3655 |1011 | 13k| 135 |1785 | 0.000000e+00 | 8.678400e+04 | Inf
147.30/147.33 c 142s|100000 | 99927 |114181 | 1.1 | 189M| 267 | 0 |3655 |4383 |3655 | 993 | 14k| 147 |1785 | 0.000000e+00 | 8.678400e+04 | Inf
160.69/160.70 c 155s|110000 |109921 |122211 | 1.1 | 206M| 267 | 0 |3655 |4383 |3655 | 985 | 15k| 157 |1785 | 0.000000e+00 | 8.678400e+04 | Inf
173.80/173.85 c 168s|120000 |119915 |127828 | 1.1 | 223M| 267 | 0 |3655 |4394 |3655 | 988 | 16k| 171 |1785 | 0.000000e+00 | 8.678400e+04 | Inf
186.90/186.92 c 181s|130000 |129913 |132120 | 1.0 | 239M| 269 | 0 |3655 |4393 |3655 |1016 | 17k| 172 |1785 | 0.000000e+00 | 8.678400e+04 | Inf
199.80/199.87 c 193s|140000 |139909 |136418 | 1.0 | 256M| 269 | 0 |3655 |4393 |3655 | 982 | 18k| 174 |1785 | 0.000000e+00 | 8.678400e+04 | Inf
212.90/212.92 c 206s|150000 |149909 |140938 | 0.9 | 272M| 269 | 0 |3655 |4389 |3655 |1023 | 20k| 174 |1785 | 0.000000e+00 | 8.678400e+04 | Inf
226.00/226.01 c 219s|160000 |159909 |145733 | 0.9 | 289M| 269 | 0 |3655 |4387 |3655 | 998 | 21k| 174 |1785 | 0.000000e+00 | 8.678400e+04 | Inf
239.09/239.16 c 231s|170000 |169901 |151423 | 0.9 | 305M| 269 | 0 |3655 |4387 |3655 | 990 | 22k| 178 |1785 | 0.000000e+00 | 8.678400e+04 | Inf
252.30/252.34 c 244s|180000 |179899 |157211 | 0.9 | 322M| 269 | 0 |3655 |4384 |3655 | 986 | 24k| 179 |1785 | 0.000000e+00 | 8.678400e+04 | Inf
265.20/265.27 c 257s|190000 |189899 |161045 | 0.8 | 339M| 269 | 0 |3655 |4380 |3655 | 992 | 25k| 179 |1785 | 0.000000e+00 | 8.678400e+04 | Inf
278.20/278.28 c 269s|200000 |199893 |165634 | 0.8 | 355M| 269 | 0 |3655 |4384 |3655 | 980 | 25k| 184 |1785 | 0.000000e+00 | 8.678400e+04 | Inf
291.40/291.43 c 282s|210000 |209891 |171544 | 0.8 | 372M| 269 | 0 |3655 |4381 |3655 | 986 | 26k| 185 |1785 | 0.000000e+00 | 8.678400e+04 | Inf
304.40/304.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
304.40/304.48 c 294s|220000 |219887 |176466 | 0.8 | 388M| 269 | 0 |3655 |4383 |3655 |1024 | 28k| 191 |1785 | 0.000000e+00 | 8.678400e+04 | Inf
317.40/317.45 c 307s|230000 |229883 |180892 | 0.8 | 405M| 269 | 0 |3655 |4384 |3655 | 991 | 29k| 193 |1785 | 0.000000e+00 | 8.678400e+04 | Inf
330.40/330.42 c 320s|240000 |239881 |185185 | 0.8 | 422M| 269 | 0 |3655 |4384 |3655 |1013 | 29k| 197 |1785 | 0.000000e+00 | 8.678400e+04 | Inf
343.50/343.56 c 332s|250000 |249881 |191284 | 0.8 | 438M| 269 | 0 |3655 |4379 |3655 | 998 | 31k| 197 |1785 | 0.000000e+00 | 8.678400e+04 | Inf
356.60/356.68 c 345s|260000 |259881 |197446 | 0.8 | 455M| 269 | 0 |3655 |4373 |3655 |1006 | 32k| 197 |1786 | 0.000000e+00 | 8.678400e+04 | Inf
369.70/369.73 c 358s|270000 |269879 |204056 | 0.8 | 472M| 269 | 0 |3655 |4371 |3655 |1006 | 33k| 198 |1786 | 0.000000e+00 | 8.678400e+04 | Inf
376.21/376.25 o 897
376.21/376.25 c * 364s|274921 |227892 |208188 | 0.8 | 408M| 269 | - |3655 |4374 |3655 | 975 | 33k| 202 |1786 | 0.000000e+00 | 8.970000e+02 | Inf
386.00/386.04 c 373s|280000 |232710 |227487 | 0.8 | 419M| 269 | 1 |3655 |5008 |3655 | 974 | 37k| 964 |1786 | 0.000000e+00 | 8.970000e+02 | Inf
393.40/393.41 o 896
393.40/393.41 c * 381s|283773 |236087 |241290 | 0.8 | 426M| 269 | - |3655 |5020 |3655 | 999 | 41k|1461 |1786 | 0.000000e+00 | 8.960000e+02 | Inf
404.81/404.82 c 392s|290000 |242060 |259106 | 0.9 | 438M| 269 | 0 |3655 |5020 |3655 | 998 | 45k|2239 |1786 | 0.000000e+00 | 8.960000e+02 | Inf
405.20/405.26 o 875
405.20/405.26 c * 392s|290236 |237161 |259706 | 0.9 | 430M| 269 | - |3655 |5021 |3655 | 980 | 45k|2276 |1786 | 0.000000e+00 | 8.750000e+02 | Inf
405.20/405.29 o 844
405.20/405.29 c * 392s|290237 |229620 |259706 | 0.9 | 417M| 269 | - |3655 |5018 |3655 | 980 | 45k|2276 |1786 | 0.000000e+00 | 8.440000e+02 | Inf
410.10/410.20 o 843
410.10/410.20 c * 397s|292751 |231732 |268576 | 0.9 | 422M| 269 | - |3655 |5070 |3655 | 989 | 47k|2684 |1786 | 0.000000e+00 | 8.430000e+02 | Inf
412.20/412.26 o 827
412.20/412.26 c * 399s|293722 |228419 |272898 | 0.9 | 417M| 269 | - |3655 |5074 |3655 | 986 | 48k|2829 |1796 | 0.000000e+00 | 8.270000e+02 | Inf
414.80/414.89 o 826
414.80/414.89 c * 401s|294961 |229325 |278912 | 0.9 | 419M| 269 | - |3655 |5102 |3655 |1001 | 49k|3100 |1812 | 0.000000e+00 | 8.260000e+02 | Inf
415.20/415.23 o 813
415.20/415.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
415.20/415.23 c * 402s|295126 |226025 |279428 | 0.9 | 413M| 269 | - |3655 |5113 |3655 | 988 | 49k|3156 |1813 | 0.000000e+00 | 8.130000e+02 | Inf
417.80/417.82 o 793
417.80/417.82 c * 404s|296388 |221827 |284069 | 1.0 | 406M| 269 | - |3655 |5121 |3655 |1013 | 50k|3415 |1815 | 0.000000e+00 | 7.930000e+02 | Inf
417.80/417.83 o 778
417.80/417.83 c * 404s|296389 |217394 |284069 | 1.0 | 399M| 269 | - |3655 |5121 |3655 |1013 | 50k|3415 |1815 | 0.000000e+00 | 7.780000e+02 | Inf
417.90/417.97 o 657
417.90/417.97 c * 404s|296411 |175628 |284459 | 1.0 | 331M| 269 | - |3655 |5107 |3655 | 975 | 50k|3415 |1815 | 0.000000e+00 | 6.570000e+02 | Inf
418.10/418.17 o 627
418.10/418.17 c * 404s|296465 |162704 |285271 | 1.0 | 311M| 269 | - |3655 |5104 |3655 | 974 | 50k|3425 |1815 | 0.000000e+00 | 6.270000e+02 | Inf
419.80/419.84 o 617
419.80/419.84 c * 406s|297197 |158946 |289450 | 1.0 | 305M| 269 | - |3655 |5259 |3655 | 978 | 50k|3749 |1816 | 0.000000e+00 | 6.170000e+02 | Inf
419.80/419.86 o 600
419.80/419.86 c * 406s|297198 |151478 |289450 | 1.0 | 293M| 269 | - |3655 |5259 |3655 | 978 | 50k|3749 |1816 | 0.000000e+00 | 6.000000e+02 | Inf
422.10/422.13 o 598
422.10/422.13 c * 408s|298128 |151313 |295993 | 1.0 | 294M| 269 | - |3655 |5610 |3655 | 989 | 51k|4433 |1845 | 0.000000e+00 | 5.980000e+02 | Inf
422.70/422.78 o 592
422.70/422.78 c * 409s|298433 |149068 |297454 | 1.0 | 291M| 269 | - |3655 |5750 |3655 | 989 | 52k|4668 |1847 | 0.000000e+00 | 5.920000e+02 | Inf
424.00/424.00 o 580
424.00/424.00 c * 410s|299018 |144321 |299691 | 1.0 | 284M| 269 | - |3655 |5868 |3655 |1001 | 52k|5034 |1849 | 0.000000e+00 | 5.800000e+02 | Inf
424.20/424.23 o 569
424.20/424.23 c * 410s|299108 |139823 |300295 | 1.0 | 276M| 269 | - |3655 |5928 |3655 | 981 | 52k|5151 |1849 | 0.000000e+00 | 5.690000e+02 | Inf
424.90/424.98 o 562
424.90/424.98 c * 411s|299441 |137157 |302002 | 1.0 | 272M| 269 | - |3655 |5942 |3655 | 991 | 52k|5344 |1851 | 0.000000e+00 | 5.620000e+02 | Inf
426.20/426.28 c 412s|300000 |137600 |305390 | 1.0 | 273M| 269 | 0 |3655 |5871 |3655 | 993 | 53k|5616 |1852 | 0.000000e+00 | 5.620000e+02 | Inf
428.30/428.39 o 557
428.30/428.39 c * 414s|300975 |136383 |309628 | 1.0 | 272M| 269 | - |3655 |5763 |3655 | 983 | 54k|6013 |1854 | 0.000000e+00 | 5.570000e+02 | Inf
430.30/430.36 o 555
430.30/430.36 c * 416s|301881 |136384 |314417 | 1.0 | 272M| 269 | - |3655 |5602 |3655 | 974 | 54k|6309 |1854 | 0.000000e+00 | 5.550000e+02 | Inf
433.50/433.59 o 535
433.50/433.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
433.50/433.59 c * 419s|303490 |129928 |319216 | 1.1 | 262M| 269 | - |3655 |5536 |3655 |1016 | 56k|6613 |1901 | 0.000000e+00 | 5.350000e+02 | Inf
433.60/433.68 o 532
433.60/433.68 c * 419s|303517 |128710 |319476 | 1.1 | 260M| 269 | - |3655 |5535 |3655 |1008 | 56k|6622 |1903 | 0.000000e+00 | 5.320000e+02 | Inf
437.81/437.87 o 529
437.81/437.87 c * 423s|305606 |129446 |326521 | 1.1 | 263M| 269 | - |3655 |5659 |3655 |1002 | 57k|7191 |1910 | 0.000000e+00 | 5.290000e+02 | Inf
439.60/439.64 o 523
439.60/439.64 c * 425s|306443 |127836 |329788 | 1.1 | 261M| 269 | - |3655 |5672 |3655 |1001 | 58k|7553 |1910 | 0.000000e+00 | 5.230000e+02 | Inf
439.60/439.65 o 521
439.60/439.65 c * 425s|306444 |127053 |329788 | 1.1 | 260M| 269 | - |3655 |5672 |3655 |1001 | 58k|7553 |1910 | 0.000000e+00 | 5.210000e+02 | Inf
441.70/441.76 o 515
441.70/441.76 c * 427s|307426 |125480 |334288 | 1.1 | 258M| 269 | - |3655 |5747 |3655 |1008 | 59k|7900 |1911 | 0.000000e+00 | 5.150000e+02 | Inf
441.70/441.77 o 513
441.70/441.77 c * 427s|307427 |124726 |334288 | 1.1 | 256M| 269 | - |3655 |5747 |3655 |1008 | 59k|7900 |1911 | 0.000000e+00 | 5.130000e+02 | Inf
443.80/443.80 o 508
443.80/443.80 c * 429s|308361 |123580 |338239 | 1.1 | 255M| 269 | - |3655 |5886 |3655 | 988 | 60k|8522 |1935 | 0.000000e+00 | 5.080000e+02 | Inf
443.80/443.81 o 506
443.80/443.81 c * 429s|308362 |122837 |338239 | 1.1 | 254M| 269 | - |3655 |5886 |3655 | 988 | 60k|8522 |1935 | 0.000000e+00 | 5.060000e+02 | Inf
445.00/445.05 o 505
445.00/445.05 c * 430s|308898 |122913 |341136 | 1.1 | 254M| 269 | - |3655 |5838 |3655 |1007 | 60k|8589 |1951 | 0.000000e+00 | 5.050000e+02 | Inf
445.60/445.64 o 504
445.60/445.64 c * 431s|309181 |122739 |341939 | 1.1 | 254M| 269 | - |3655 |5860 |3655 | 996 | 60k|8714 |1953 | 0.000000e+00 | 5.040000e+02 | Inf
445.81/445.82 o 503
445.81/445.82 c * 431s|309262 |122356 |342173 | 1.1 | 254M| 269 | - |3655 |5840 |3655 |1006 | 60k|8717 |1953 | 0.000000e+00 | 5.030000e+02 | Inf
446.00/446.03 o 502
446.00/446.03 c * 431s|309348 |121978 |342490 | 1.1 | 253M| 269 | - |3655 |5815 |3655 |1004 | 61k|8722 |1957 | 0.000000e+00 | 5.020000e+02 | Inf
447.50/447.50 c 433s|310000 |122539 |345203 | 1.1 | 255M| 269 | 0 |3655 |5760 |3655 | 977 | 61k|8948 |1959 | 0.000000e+00 | 5.020000e+02 | Inf
453.71/453.79 o 498
453.71/453.79 c * 439s|312355 |122559 |366327 | 1.2 | 257M| 269 | - |3655 |5809 |3655 | 986 | 64k| 10k|2005 | 0.000000e+00 | 4.980000e+02 | Inf
453.91/453.94 o 477
453.91/453.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
453.91/453.94 c * 439s|312404 |114188 |366603 | 1.2 | 241M| 269 | - |3655 |5810 |3655 | 999 | 64k| 10k|2005 | 0.000000e+00 | 4.770000e+02 | Inf
453.91/453.96 o 468
453.91/453.96 c * 439s|312405 |110617 |366603 | 1.2 | 234M| 269 | - |3655 |5810 |3655 | 999 | 64k| 10k|2005 | 0.000000e+00 | 4.680000e+02 | Inf
454.00/454.02 o 466
454.00/454.02 c * 439s|312424 |109760 |366826 | 1.2 | 233M| 269 | - |3655 |5801 |3655 |1014 | 64k| 10k|2006 | 0.000000e+00 | 4.660000e+02 | Inf
454.21/454.26 o 464
454.21/454.26 c * 439s|312509 |108954 |367246 | 1.2 | 231M| 269 | - |3655 |5796 |3655 | 997 | 64k| 10k|2011 | 0.000000e+00 | 4.640000e+02 | Inf
454.21/454.26 o 462
454.21/454.26 c * 439s|312510 |108159 |367246 | 1.2 | 230M| 269 | - |3655 |5796 |3655 | 997 | 64k| 10k|2011 | 0.000000e+00 | 4.620000e+02 | Inf
454.31/454.36 o 448
454.31/454.36 c * 439s|312548 |102612 |367543 | 1.2 | 220M| 269 | - |3655 |5782 |3655 | 985 | 64k| 10k|2011 | 0.000000e+00 | 4.480000e+02 | Inf
455.90/455.98 o 447
455.90/455.98 c * 441s|313263 |102826 |370485 | 1.2 | 221M| 269 | - |3655 |5753 |3655 |1015 | 65k| 10k|2015 | 0.000000e+00 | 4.470000e+02 | Inf
456.30/456.36 o 424
456.30/456.36 c * 441s|313426 | 93975 |371168 | 1.2 | 205M| 269 | - |3655 |5739 |3655 | 992 | 65k| 10k|2015 | 0.000000e+00 | 4.240000e+02 | Inf
457.10/457.13 o 417
457.10/457.13 c * 442s|313757 | 91487 |372789 | 1.2 | 200M| 269 | - |3655 |5735 |3655 |1002 | 65k| 10k|2017 | 0.000000e+00 | 4.170000e+02 | Inf
457.80/457.80 o 412
457.80/457.80 c * 443s|314006 | 89605 |374647 | 1.2 | 197M| 269 | - |3655 |5797 |3655 |1007 | 66k| 11k|2017 | 0.000000e+00 | 4.120000e+02 | Inf
457.90/457.93 o 409
457.90/457.93 c * 443s|314059 | 88594 |374982 | 1.2 | 195M| 269 | - |3655 |5833 |3655 | 994 | 66k| 11k|2017 | 0.000000e+00 | 4.090000e+02 | Inf
460.21/460.29 o 408
460.21/460.29 c * 445s|314721 | 88587 |385234 | 1.2 | 197M| 269 | - |3655 |5826 |3655 | 989 | 66k| 11k|2025 | 0.000000e+00 | 4.080000e+02 | Inf
461.01/461.01 o 400
461.01/461.01 c * 446s|314927 | 85765 |387690 | 1.2 | 192M| 269 | - |3655 |5837 |3655 | 992 | 66k| 11k|2037 | 0.000000e+00 | 4.000000e+02 | Inf
461.70/461.71 o 399
461.70/461.71 c * 446s|315210 | 85684 |389071 | 1.2 | 192M| 269 | - |3655 |5820 |3655 | 997 | 67k| 11k|2050 | 0.000000e+00 | 3.990000e+02 | Inf
462.41/462.43 o 394
462.41/462.43 c * 447s|315534 | 84080 |389866 | 1.2 | 188M| 269 | - |3655 |5913 |3655 |1000 | 67k| 12k|2057 | 0.000000e+00 | 3.940000e+02 | Inf
462.41/462.44 o 392
462.41/462.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
462.41/462.44 c * 447s|315535 | 83419 |389866 | 1.2 | 187M| 269 | - |3655 |5913 |3655 |1000 | 67k| 12k|2057 | 0.000000e+00 | 3.920000e+02 | Inf
462.70/462.78 o 385
462.70/462.78 c * 447s|315680 | 81124 |390426 | 1.2 | 183M| 269 | - |3655 |5935 |3655 | 996 | 67k| 12k|2059 | 0.000000e+00 | 3.850000e+02 | Inf
462.80/462.87 o 380
462.80/462.87 c * 447s|315709 | 79478 |390687 | 1.2 | 180M| 269 | - |3655 |5912 |3655 |1005 | 67k| 12k|2060 | 0.000000e+00 | 3.800000e+02 | Inf
462.80/462.88 o 378
462.80/462.88 c * 447s|315710 | 78850 |390687 | 1.2 | 179M| 269 | - |3655 |5912 |3655 |1005 | 67k| 12k|2060 | 0.000000e+00 | 3.780000e+02 | Inf
463.01/463.05 o 375
463.01/463.05 c * 448s|315785 | 77868 |390896 | 1.2 | 177M| 269 | - |3655 |5906 |3655 | 992 | 67k| 12k|2063 | 0.000000e+00 | 3.750000e+02 | Inf
463.01/463.05 o 373
463.01/463.05 c * 448s|315786 | 77176 |390896 | 1.2 | 176M| 269 | - |3655 |5906 |3655 | 992 | 67k| 12k|2063 | 0.000000e+00 | 3.730000e+02 | Inf
463.11/463.18 o 368
463.11/463.18 c * 448s|315840 | 75516 |391041 | 1.2 | 173M| 269 | - |3655 |5913 |3655 | 999 | 67k| 12k|2063 | 0.000000e+00 | 3.680000e+02 | Inf
463.11/463.18 o 366
463.11/463.18 c * 448s|315841 | 74882 |391041 | 1.2 | 172M| 269 | - |3655 |5913 |3655 | 999 | 67k| 12k|2063 | 0.000000e+00 | 3.660000e+02 | Inf
463.20/463.28 o 364
463.20/463.28 c * 448s|315884 | 74291 |391141 | 1.2 | 170M| 269 | - |3655 |5909 |3655 | 984 | 67k| 12k|2063 | 0.000000e+00 | 3.640000e+02 | Inf
463.31/463.35 o 348
463.31/463.35 c * 448s|315916 | 69287 |391200 | 1.2 | 161M| 269 | - |3655 |5906 |3655 | 995 | 67k| 12k|2063 | 0.000000e+00 | 3.480000e+02 | Inf
464.30/464.34 o 339
464.30/464.34 c * 449s|316396 | 66655 |392579 | 1.2 | 156M| 269 | - |3655 |5884 |3655 | 996 | 68k| 12k|2064 | 0.000000e+00 | 3.390000e+02 | Inf
464.81/464.89 o 333
464.81/464.89 c * 449s|316673 | 65109 |393115 | 1.2 | 153M| 269 | - |3655 |5882 |3655 | 993 | 68k| 12k|2064 | 0.000000e+00 | 3.330000e+02 | Inf
464.90/464.92 o 318
464.90/464.92 c * 449s|316683 | 60542 |393115 | 1.2 | 144M| 269 | - |3655 |5882 |3655 | 993 | 68k| 12k|2064 | 0.000000e+00 | 3.180000e+02 | Inf
465.90/465.93 o 317
465.90/465.93 c * 450s|317095 | 60400 |395015 | 1.2 | 145M| 269 | - |3655 |6020 |3655 |1000 | 68k| 12k|2069 | 0.000000e+00 | 3.170000e+02 | Inf
465.90/465.98 o 310
465.90/465.98 c * 450s|317116 | 58344 |395093 | 1.2 | 141M| 269 | - |3655 |6030 |3655 |1007 | 68k| 12k|2069 | 0.000000e+00 | 3.100000e+02 | Inf
466.21/466.23 o 290
466.21/466.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
466.21/466.23 c * 451s|317210 | 52385 |395604 | 1.2 | 130M| 269 | - |3655 |6048 |3655 | 993 | 68k| 12k|2069 | 0.000000e+00 | 2.900000e+02 | Inf
466.21/466.24 o 284
466.21/466.24 c * 451s|317211 | 50531 |395604 | 1.2 | 127M| 269 | - |3655 |6048 |3655 | 993 | 68k| 12k|2069 | 0.000000e+00 | 2.840000e+02 | Inf
466.31/466.34 o 280
466.31/466.34 c * 451s|317252 | 49472 |395835 | 1.2 | 125M| 269 | - |3655 |6054 |3655 | 989 | 68k| 12k|2069 | 0.000000e+00 | 2.800000e+02 | Inf
466.31/466.38 o 269
466.31/466.38 c * 451s|317261 | 46391 |395901 | 1.2 | 119M| 269 | - |3655 |6058 |3655 | 991 | 68k| 12k|2069 | 0.000000e+00 | 2.690000e+02 | Inf
466.41/466.45 o 259
466.41/466.45 c * 451s|317285 | 43535 |395995 | 1.2 | 114M| 269 | - |3655 |6054 |3655 | 985 | 68k| 12k|2069 | 0.000000e+00 | 2.590000e+02 | Inf
466.41/466.46 o 236
466.41/466.46 c * 451s|317286 | 37677 |395995 | 1.2 | 102M| 269 | - |3655 |6054 |3655 | 985 | 68k| 12k|2069 | 0.000000e+00 | 2.360000e+02 | Inf
466.70/466.76 o 234
466.70/466.76 c * 451s|317406 | 37185 |396670 | 1.2 | 102M| 269 | - |3655 |5988 |3655 | 998 | 68k| 13k|2070 | 0.000000e+00 | 2.340000e+02 | Inf
466.70/466.77 o 232
466.70/466.77 c * 451s|317407 | 36725 |396670 | 1.2 | 101M| 269 | - |3655 |5988 |3655 | 998 | 68k| 13k|2070 | 0.000000e+00 | 2.320000e+02 | Inf
467.30/467.31 o 231
467.30/467.31 c * 452s|317632 | 36517 |397575 | 1.3 | 101M| 269 | - |3655 |6019 |3655 | 981 | 69k| 13k|2071 | 0.000000e+00 | 2.310000e+02 | Inf
467.30/467.38 o 224
467.30/467.38 c * 452s|317657 | 34543 |397605 | 1.3 | 97M| 269 | - |3655 |6019 |3655 | 983 | 69k| 13k|2071 | 0.000000e+00 | 2.240000e+02 | Inf
467.41/467.47 o 223
467.41/467.47 c * 452s|317689 | 34362 |397661 | 1.3 | 97M| 269 | - |3655 |6017 |3655 | 980 | 69k| 13k|2071 | 0.000000e+00 | 2.230000e+02 | Inf
467.41/467.47 o 221
467.41/467.47 c * 452s|317690 | 33928 |397661 | 1.3 | 96M| 269 | - |3655 |6017 |3655 | 980 | 69k| 13k|2071 | 0.000000e+00 | 2.210000e+02 | Inf
467.51/467.58 o 219
467.51/467.58 c * 452s|317745 | 33557 |397780 | 1.3 | 96M| 269 | - |3655 |6031 |3655 | 974 | 69k| 13k|2071 | 0.000000e+00 | 2.190000e+02 | Inf
467.71/467.70 o 218
467.71/467.70 c * 452s|317800 | 33399 |397914 | 1.3 | 96M| 269 | - |3655 |6035 |3655 | 982 | 69k| 13k|2071 | 0.000000e+00 | 2.180000e+02 | Inf
467.80/467.84 o 211
467.80/467.84 c * 452s|317861 | 31943 |398030 | 1.3 | 93M| 269 | - |3655 |6053 |3655 | 982 | 69k| 13k|2071 | 0.000000e+00 | 2.110000e+02 | Inf
468.10/468.15 o 198
468.10/468.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
468.10/468.15 c * 452s|317990 | 29476 |398558 | 1.3 | 88M| 269 | - |3655 |6091 |3655 | 988 | 69k| 13k|2071 | 0.000000e+00 | 1.980000e+02 | Inf
468.71/468.76 o 197
468.71/468.76 c * 453s|318235 | 29355 |399695 | 1.3 | 88M| 269 | - |3655 |6066 |3655 | 977 | 69k| 13k|2071 | 0.000000e+00 | 1.970000e+02 | Inf
469.70/469.79 o 194
469.70/469.79 c * 454s|318681 | 29105 |401256 | 1.3 | 88M| 269 | - |3655 |6054 |3655 | 979 | 69k| 13k|2071 | 0.000000e+00 | 1.940000e+02 | Inf
469.81/469.80 o 192
469.81/469.80 c * 454s|318682 | 28723 |401256 | 1.3 | 87M| 269 | - |3655 |6054 |3655 | 979 | 69k| 13k|2071 | 0.000000e+00 | 1.920000e+02 | Inf
469.81/469.85 o 181
469.81/469.85 c * 454s|318695 | 26790 |401355 | 1.3 | 83M| 269 | - |3655 |6052 |3655 | 988 | 69k| 13k|2071 | 0.000000e+00 | 1.810000e+02 | Inf
470.00/470.05 o 180
470.00/470.05 c * 454s|318773 | 26481 |401725 | 1.3 | 83M| 269 | - |3655 |6058 |3655 | 982 | 70k| 13k|2071 | 0.000000e+00 | 1.800000e+02 | Inf
470.00/470.07 o 165
470.00/470.07 c * 454s|318780 | 22429 |401725 | 1.3 | 74M| 269 | - |3655 |6058 |3655 | 982 | 70k| 13k|2071 | 0.000000e+00 | 1.650000e+02 | Inf
470.10/470.13 o 153
470.10/470.13 c * 454s|318799 | 20008 |401792 | 1.3 | 69M| 269 | - |3655 |6041 |3655 | 980 | 70k| 13k|2071 | 0.000000e+00 | 1.530000e+02 | Inf
470.10/470.16 o 143
470.10/470.16 c * 454s|318809 | 18220 |401815 | 1.3 | 65M| 269 | - |3655 |6039 |3655 | 983 | 70k| 13k|2071 | 0.000000e+00 | 1.430000e+02 | Inf
470.10/470.19 o 139
470.10/470.19 c * 454s|318814 | 17577 |401824 | 1.3 | 64M| 269 | - |3655 |6036 |3655 | 975 | 70k| 13k|2071 | 0.000000e+00 | 1.390000e+02 | Inf
470.10/470.20 o 137
470.10/470.20 c * 454s|318815 | 16722 |401824 | 1.3 | 62M| 269 | - |3655 |6036 |3655 | 975 | 70k| 13k|2071 | 0.000000e+00 | 1.370000e+02 | Inf
470.20/470.22 o 132
470.20/470.22 c * 454s|318818 | 15808 |401829 | 1.3 | 60M| 269 | - |3655 |6034 |3655 | 974 | 70k| 13k|2071 | 0.000000e+00 | 1.320000e+02 | Inf
470.20/470.22 o 130
470.20/470.22 c * 454s|318819 | 15569 |401829 | 1.3 | 60M| 269 | - |3655 |6034 |3655 | 974 | 70k| 13k|2071 | 0.000000e+00 | 1.300000e+02 | Inf
470.40/470.49 o 120
470.40/470.49 c * 455s|318929 | 14616 |402180 | 1.3 | 57M| 269 | - |3655 |5869 |3655 | 974 | 70k| 13k|2071 | 0.000000e+00 | 1.200000e+02 | Inf
471.20/471.21 o 105
471.20/471.21 c * 455s|319171 | 13043 |403330 | 1.3 | 55M| 269 | - |3655 |5741 |3655 |1000 | 70k| 14k|2072 | 0.000000e+00 | 1.050000e+02 | Inf
471.70/471.80 o 103
471.70/471.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
471.70/471.80 c * 456s|319456 | 12960 |403947 | 1.3 | 55M| 269 | - |3655 |5688 |3655 | 974 | 70k| 14k|2072 | 0.000000e+00 | 1.030000e+02 | Inf
471.81/471.81 o 101
471.81/471.81 c * 456s|319457 | 12573 |403947 | 1.3 | 54M| 269 | - |3655 |5688 |3655 | 974 | 70k| 14k|2072 | 0.000000e+00 | 1.010000e+02 | Inf
471.91/471.92 o 100
471.91/471.92 c * 456s|319482 | 12516 |404398 | 1.3 | 54M| 269 | - |3655 |5650 |3655 | 984 | 70k| 14k|2072 | 0.000000e+00 | 1.000000e+02 | Inf
472.30/472.33 o 90
472.30/472.33 c * 456s|319643 | 11216 |405001 | 1.3 | 51M| 269 | - |3655 |5492 |3655 | 981 | 70k| 14k|2072 | 0.000000e+00 | 9.000000e+01 | Inf
473.10/473.11 o 82
473.10/473.11 c * 457s|319894 | 5703 |406679 | 1.3 | 40M| 269 | - |3655 |5088 |3655 | 970 | 70k| 14k|2072 | 0.000000e+00 | 8.200000e+01 | Inf
473.40/473.44 c 458s|320000 | 5698 |407382 | 1.3 | 40M| 269 | 1 |3655 |4880 |3655 | 970 | 70k| 14k|2072 | 0.000000e+00 | 8.200000e+01 | Inf
478.21/478.20 o 67
478.21/478.20 c * 462s|321819 | 5191 |417541 | 1.3 | 43M| 269 | - |3655 |5481 |3655 | 974 | 70k| 17k|2120 | 0.000000e+00 | 6.700000e+01 | Inf
494.20/494.23 c 477s|330000 | 5138 |443120 | 1.3 | 49M| 269 | 4 |3655 |6355 |3655 | 971 | 72k| 27k|2165 | 0.000000e+00 | 6.700000e+01 | Inf
514.01/514.05 c 496s|340000 | 5217 |474890 | 1.4 | 54M| 269 | 8 |3655 |8009 |3655 | 970 | 74k| 40k|2210 | 0.000000e+00 | 6.700000e+01 | Inf
516.91/516.91 o 65
516.91/516.91 c * 499s|341407 | 5053 |478988 | 1.4 | 54M| 269 | - |3655 |8394 |3655 | 991 | 74k| 41k|2210 | 0.000000e+00 | 6.500000e+01 | Inf
519.30/519.38 o 51
519.30/519.38 c * 501s|342681 | 4088 |481864 | 1.4 | 50M| 269 | - |3655 |8537 |3655 | 982 | 74k| 43k|2210 | 0.000000e+00 | 5.100000e+01 | Inf
533.60/533.67 c 515s|350000 | 3930 |508872 | 1.5 | 51M| 269 | - |3655 |8447 | 0 | 0 | 75k| 52k|2255 | 0.000000e+00 | 5.100000e+01 | Inf
534.71/534.71 o 42
534.71/534.71 c * 516s|350525 | 3611 |510512 | 1.5 | 50M| 269 | - |3655 |8711 |3655 | 975 | 75k| 53k|2269 | 0.000000e+00 | 4.200000e+01 | Inf
537.10/537.12 o 40
537.10/537.12 c * 518s|351680 | 3552 |514936 | 1.5 | 50M| 269 | - |3655 |7485 |3655 | 970 | 75k| 54k|2301 | 0.000000e+00 | 4.000000e+01 | Inf
537.41/537.44 o 37
537.41/537.44 c * 519s|351871 | 3494 |515407 | 1.5 | 49M| 269 | - |3655 |7543 |3655 | 970 | 75k| 54k|2301 | 0.000000e+00 | 3.700000e+01 | Inf
549.70/549.71 o 30
549.70/549.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
549.70/549.71 c * 530s|358169 | 3176 |541164 | 1.5 | 48M| 269 | - |3655 |7379 |3655 | 970 | 76k| 62k|2359 | 0.000000e+00 | 3.000000e+01 | Inf
553.21/553.29 c 534s|360000 | 3170 |549791 | 1.5 | 48M| 269 | - |3655 |7388 | 0 | 0 | 76k| 64k|2370 | 0.000000e+00 | 3.000000e+01 | Inf
557.61/557.68 o 25
557.61/557.68 c * 538s|362302 | 2911 |560645 | 1.5 | 48M| 269 | - |3655 |7925 |3655 | 970 | 77k| 67k|2370 | 0.000000e+00 | 2.500000e+01 | Inf
561.40/561.46 o 24
561.40/561.46 c * 542s|364320 | 2895 |569337 | 1.6 | 48M| 269 | - |3655 |8573 |3655 | 980 | 77k| 70k|2413 | 0.000000e+00 | 2.400000e+01 | Inf
561.40/561.48 o 21
561.40/561.48 c * 542s|364322 | 2878 |569339 | 1.6 | 48M| 269 | - |3655 |8450 |3655 | 981 | 77k| 70k|2413 | 0.000000e+00 | 2.100000e+01 | Inf
561.40/561.48 o 15
561.40/561.48 c * 542s|364323 | 2766 |569340 | 1.6 | 46M| 269 | - |3655 |8450 |3655 | 981 | 77k| 70k|2413 | 0.000000e+00 | 1.500000e+01 | Inf
570.51/570.59 c 550s|370000 | 2765 |588815 | 1.6 | 47M| 269 | 23 |3655 | 11k|3655 | 970 | 78k| 77k|2420 | 0.000000e+00 | 1.500000e+01 | Inf
578.71/578.78 o 12
578.71/578.78 c * 558s|374691 | 2722 |606032 | 1.6 | 47M| 269 | - |3655 | 13k|3655 | 970 | 78k| 83k|2463 | 0.000000e+00 | 1.200000e+01 | Inf
588.00/588.08 c 567s|380000 | 2715 |624935 | 1.6 | 48M| 269 | 21 |3655 | 15k|3655 | 982 | 78k| 90k|2509 | 0.000000e+00 | 1.200000e+01 | Inf
599.71/599.73 o 2
599.71/599.73 c * 578s|386604 | 2529 |647128 | 1.7 | 47M| 269 | - |3655 | 14k|3655 | 972 | 79k| 98k|2556 | 0.000000e+00 | 2.000000e+00 | Inf
605.40/605.42 c 584s|390000 | 2503 |658498 | 1.7 | 46M| 269 | 15 |3655 | 12k|3655 | 970 | 79k| 102k|2611 | 0.000000e+00 | 2.000000e+00 | Inf
621.81/621.82 c 599s|400000 | 2436 |699144 | 1.7 | 45M| 269 | 20 |3655 |9749 |3655 | 970 | 80k| 115k|2694 | 0.000000e+00 | 2.000000e+00 | Inf
637.71/637.79 c 615s|410000 | 2373 |740272 | 1.8 | 46M| 269 | 17 |3655 | 11k|3655 | 979 | 81k| 127k|2771 | 0.000000e+00 | 2.000000e+00 | Inf
653.71/653.72 c 630s|420000 | 2349 |775565 | 1.8 | 48M| 269 | 1 |3655 | 16k|3655 | 970 | 81k| 140k|2861 | 0.000000e+00 | 2.000000e+00 | Inf
665.91/665.90 o 1
665.91/665.90 c * 642s|426953 | 2249 |800185 | 1.9 | 48M| 269 | - |3655 | 19k|3655 | 970 | 82k| 149k|2906 | 0.000000e+00 | 1.000000e+00 | Inf
671.31/671.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
671.31/671.37 c 647s|430000 | 2261 |811083 | 1.9 | 47M| 269 | - |3655 | 16k| 0 | 0 | 82k| 153k|2961 | 0.000000e+00 | 1.000000e+00 | Inf
689.90/689.90 c 665s|440000 | 2282 |849468 | 1.9 | 50M| 269 | - |3655 | 22k| 0 | 0 | 83k| 165k|3044 | 0.000000e+00 | 1.000000e+00 | Inf
707.70/707.76 c 682s|450000 | 2169 |889059 | 2.0 | 48M| 269 | - |3655 | 16k| 0 | 0 | 83k| 178k|3167 | 0.000000e+00 | 1.000000e+00 | Inf
725.51/725.54 c 699s|460000 | 2192 |924615 | 2.0 | 50M| 269 | - |3655 | 22k| 0 | 0 | 84k| 192k|3226 | 0.000000e+00 | 1.000000e+00 | Inf
744.62/744.62 c 717s|470000 | 2194 |963123 | 2.0 | 50M| 269 | 1 |3655 | 21k|3655 | 970 | 85k| 205k|3292 | 0.000000e+00 | 1.000000e+00 | Inf
764.31/764.39 c 736s|480000 | 2186 | 1001k| 2.1 | 50M| 269 | 14 |3655 | 21k|3655 | 970 | 86k| 218k|3379 | 0.000000e+00 | 1.000000e+00 | Inf
783.91/783.99 c 755s|490000 | 2194 | 1031k| 2.1 | 53M| 269 | 21 |3655 | 27k|3655 | 970 | 86k| 232k|3441 | 0.000000e+00 | 1.000000e+00 | Inf
806.22/806.21 c 777s|500000 | 2242 | 1068k| 2.1 | 55M| 269 | 15 |3655 | 31k|3655 | 970 | 87k| 245k|3501 | 0.000000e+00 | 1.000000e+00 | Inf
829.21/829.20 c 799s|510000 | 2235 | 1103k| 2.2 | 55M| 269 | 7 |3655 | 32k|3655 | 970 | 87k| 259k|3563 | 0.000000e+00 | 1.000000e+00 | Inf
852.51/852.54 c 822s|520000 | 2241 | 1139k| 2.2 | 56M| 269 | - |3655 | 34k| 0 | 0 | 88k| 272k|3625 | 0.000000e+00 | 1.000000e+00 | Inf
875.41/875.43 c 844s|530000 | 2233 | 1172k| 2.2 | 58M| 269 | 24 |3655 | 37k|3655 | 970 | 89k| 286k|3675 | 0.000000e+00 | 1.000000e+00 | Inf
902.31/902.35 c 870s|540000 | 2258 | 1215k| 2.2 | 59M| 269 | - |3655 | 40k| 0 | 0 | 90k| 299k|3742 | 0.000000e+00 | 1.000000e+00 | Inf
930.31/930.35 c 897s|550000 | 2257 | 1255k| 2.3 | 60M| 269 | 1 |3655 | 41k|3655 | 970 | 90k| 313k|3821 | 0.000000e+00 | 1.000000e+00 | Inf
957.61/957.63 c 924s|560000 | 2268 | 1289k| 2.3 | 62M| 269 | 6 |3655 | 45k|3655 | 970 | 91k| 327k|3885 | 0.000000e+00 | 1.000000e+00 | Inf
987.72/987.72 c 953s|570000 | 2290 | 1326k| 2.3 | 64M| 269 | 8 |3655 | 50k|3655 | 970 | 92k| 341k|3949 | 0.000000e+00 | 1.000000e+00 | Inf
1015.42/1015.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1015.42/1015.43 c 980s|580000 | 2250 | 1360k| 2.3 | 59M| 269 | - |3655 | 35k| 0 | 0 | 93k| 354k|4049 | 0.000000e+00 | 1.000000e+00 | Inf
1041.01/1041.07 c 1005s|590000 | 2185 | 1398k| 2.4 | 53M| 269 | 1 |3655 | 19k|3655 | 970 | 93k| 367k|4144 | 0.000000e+00 | 1.000000e+00 | Inf
1061.02/1061.01 c 1024s|600000 | 2173 | 1435k| 2.4 | 54M| 269 | - |3655 | 21k| 0 | 0 | 94k| 379k|4233 | 0.000000e+00 | 1.000000e+00 | Inf
1081.32/1081.32 c 1044s|610000 | 2181 | 1468k| 2.4 | 55M| 269 | 10 |3655 | 24k|3655 | 970 | 95k| 392k|4303 | 0.000000e+00 | 1.000000e+00 | Inf
1103.72/1103.79 c 1066s|620000 | 2186 | 1504k| 2.4 | 57M| 269 | - |3655 | 29k| 0 | 0 | 95k| 405k|4374 | 0.000000e+00 | 1.000000e+00 | Inf
1129.32/1129.35 c 1091s|630000 | 2194 | 1542k| 2.4 | 58M| 269 | - |3655 | 32k| 0 | 0 | 96k| 417k|4437 | 0.000000e+00 | 1.000000e+00 | Inf
1155.82/1155.89 c 1116s|640000 | 2155 | 1578k| 2.5 | 56M| 269 | 7 |3655 | 28k|3655 | 970 | 96k| 430k|4517 | 0.000000e+00 | 1.000000e+00 | Inf
1177.72/1177.75 c 1138s|650000 | 2173 | 1612k| 2.5 | 58M| 269 | 1 |3655 | 31k|3655 | 970 | 97k| 443k|4589 | 0.000000e+00 | 1.000000e+00 | Inf
1200.92/1200.91 c 1160s|660000 | 2021 | 1652k| 2.5 | 54M| 269 | 15 |3655 | 21k|3655 | 970 | 98k| 456k|4688 | 0.000000e+00 | 1.000000e+00 | Inf
1221.82/1221.84 c 1180s|670000 | 2031 | 1692k| 2.5 | 54M| 269 | 6 |3655 | 21k|3655 | 970 | 99k| 468k|4745 | 0.000000e+00 | 1.000000e+00 | Inf
1243.42/1243.47 c 1201s|680000 | 2068 | 1729k| 2.5 | 56M| 269 | 18 |3655 | 26k|3655 | 970 | 99k| 481k|4790 | 0.000000e+00 | 1.000000e+00 | Inf
1268.82/1268.86 c 1226s|690000 | 2119 | 1772k| 2.6 | 58M| 269 | 22 |3655 | 30k|3655 | 970 | 100k| 494k|4862 | 0.000000e+00 | 1.000000e+00 | Inf
1295.92/1295.95 c 1252s|700000 | 2180 | 1812k| 2.6 | 61M| 269 | - |3655 | 35k| 0 | 0 | 100k| 508k|4942 | 0.000000e+00 | 1.000000e+00 | Inf
1323.13/1323.17 c 1278s|710000 | 2170 | 1852k| 2.6 | 60M| 269 | - |3655 | 33k| 0 | 0 | 101k| 522k|5028 | 0.000000e+00 | 1.000000e+00 | Inf
1348.63/1348.64 c 1303s|720000 | 2124 | 1895k| 2.6 | 59M| 269 | 29 |3655 | 29k|3655 | 970 | 101k| 535k|5106 | 0.000000e+00 | 1.000000e+00 | Inf
1372.22/1372.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1372.22/1372.22 c 1326s|730000 | 2143 | 1933k| 2.6 | 61M| 269 | 1 |3655 | 34k|3655 | 970 | 102k| 548k|5135 | 0.000000e+00 | 1.000000e+00 | Inf
1397.43/1397.47 c 1350s|740000 | 2143 | 1968k| 2.7 | 62M| 269 | 8 |3655 | 39k|3655 | 970 | 103k| 562k|5190 | 0.000000e+00 | 1.000000e+00 | Inf
1425.03/1425.07 c 1377s|750000 | 2172 | 2003k| 2.7 | 64M| 269 | 12 |3655 | 44k|3655 | 970 | 103k| 575k|5252 | 0.000000e+00 | 1.000000e+00 | Inf
1454.23/1454.27 c 1406s|760000 | 2146 | 2040k| 2.7 | 64M| 269 | - |3655 | 44k| 0 | 0 | 104k| 589k|5323 | 0.000000e+00 | 1.000000e+00 | Inf
1484.03/1484.09 c 1435s|770000 | 2169 | 2075k| 2.7 | 66M| 269 | - |3655 | 48k| 0 | 0 | 105k| 602k|5358 | 0.000000e+00 | 1.000000e+00 | Inf
1514.93/1514.92 c 1465s|780000 | 2174 | 2113k| 2.7 | 67M| 269 | 19 |3655 | 50k|3655 | 970 | 106k| 616k|5395 | 0.000000e+00 | 1.000000e+00 | Inf
1546.93/1546.91 c 1496s|790000 | 2179 | 2153k| 2.7 | 69M| 269 | - |3655 | 55k| 0 | 0 | 107k| 630k|5455 | 0.000000e+00 | 1.000000e+00 | Inf
1581.23/1581.20 c 1530s|800000 | 2195 | 2188k| 2.7 | 70M| 269 | - |3655 | 57k| 0 | 0 | 107k| 644k|5530 | 0.000000e+00 | 1.000000e+00 | Inf
1615.13/1615.19 c 1563s|810000 | 2185 | 2224k| 2.7 | 71M| 269 | - |3655 | 59k| 0 | 0 | 108k| 659k|5575 | 0.000000e+00 | 1.000000e+00 | Inf
1650.43/1650.42 c 1597s|820000 | 2187 | 2261k| 2.8 | 71M| 269 | 12 |3655 | 59k|3655 | 970 | 109k| 672k|5608 | 0.000000e+00 | 1.000000e+00 | Inf
1684.64/1684.60 c 1631s|830000 | 2229 | 2298k| 2.8 | 73M| 269 | - |3655 | 64k| 0 | 0 | 110k| 685k|5677 | 0.000000e+00 | 1.000000e+00 | Inf
1720.73/1720.75 c 1666s|840000 | 2233 | 2332k| 2.8 | 75M| 269 | 1 |3655 | 67k|3655 | 970 | 111k| 700k|5740 | 0.000000e+00 | 1.000000e+00 | Inf
1758.94/1758.93 c 1704s|850000 | 2223 | 2368k| 2.8 | 74M| 269 | 20 |3655 | 65k|3655 | 970 | 112k| 713k|5765 | 0.000000e+00 | 1.000000e+00 | Inf
1798.94/1798.93 c 1743s|860000 | 2264 | 2404k| 2.8 | 77M| 269 | - |3655 | 71k| 0 | 0 | 112k| 728k|5819 | 0.000000e+00 | 1.000000e+00 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1744.03
1800.04/1800.00 c Solving Nodes : 860264
1800.04/1800.00 c Primal Bound : +1.00000000000000e+00 (217 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.04 s SATISFIABLE
1800.04/1800.04 v -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.04/1800.04 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 -x189
1800.04/1800.04 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.04/1800.04 v -x167 -x166 -x165 x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 -x147
1800.04/1800.04 v x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.04/1800.04 v -x125 -x124 -x123 x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 -x105 -x104
1800.04/1800.04 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.04/1800.04 v -x79 x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 -x55 -x54
1800.04/1800.04 v -x53 -x52 -x51 -x50 -x49 -x48 x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29
1800.04/1800.04 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 -x14 x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
1800.04/1800.04 v -x1
1800.04/1800.04 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.04 c Solving Time : 1744.03
1800.04/1800.04 c Original Problem :
1800.04/1800.04 c Problem name : HOME/instance-2692829-1277905805.wbo
1800.04/1800.04 c Variables : 3785 (2008 binary, 0 integer, 0 implicit integer, 1777 continuous)
1800.04/1800.04 c Constraints : 4485 initial, 4485 maximal
1800.04/1800.04 c Presolved Problem :
1800.04/1800.04 c Problem name : t_HOME/instance-2692829-1277905805.wbo
1800.04/1800.04 c Variables : 3655 (1943 binary, 0 integer, 0 implicit integer, 1712 continuous)
1800.04/1800.04 c Constraints : 4329 initial, 71646 maximal
1800.04/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.04 c trivial : 0.00 65 0 0 0 0 0 0 0
1800.04/1800.04 c dualfix : 0.00 65 0 0 0 0 0 0 0
1800.04/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c probing : 0.04 0 0 0 0 0 0 0 0
1800.04/1800.04 c indicator : 0.00 0 0 0 0 0 65 0 0
1800.04/1800.04 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c linear : 0.05 0 0 0 1789 0 91 76 0
1800.04/1800.04 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c root node : - 1712 - - 3424 - - - -
1800.04/1800.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.04 c integral : 0 0 0 630666 0 9 330 0 0 625316
1800.04/1800.04 c indicator : 1712 0 1062611 314153 0 421 3423410 0 0 0
1800.04/1800.04 c setppc : 7 6 3031742 93208 0 22879 810654 0 0 0
1800.04/1800.04 c linear : 1712 6 3264190 282706 0 126499 14394063 112911 0 0
1800.04/1800.04 c logicor : 898+ 6 1200498 299609 0 132844 2934001 0 0 0
1800.04/1800.04 c bounddisjunction : 0+ 0 9919 0 0 0 803 0 0 0
1800.04/1800.04 c countsols : 0 0 0 299609 0 0 0 0 0 0
1800.04/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.04 c integral : 19.32 0.00 0.00 19.32 0.00
1800.04/1800.04 c indicator : 53.52 0.00 14.06 39.46 0.00
1800.04/1800.04 c setppc : 6.68 0.00 6.67 0.01 0.00
1800.04/1800.04 c linear : 112.44 0.01 107.00 5.43 0.00
1800.04/1800.04 c logicor : 325.47 0.00 323.42 2.05 0.00
1800.04/1800.04 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.04 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.04 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.04 c vbounds : 0.00 2 0 0
1800.04/1800.04 c rootredcost : 0.00 115 0 1712
1800.04/1800.04 c pseudoobj : 105.09 3333422 7057 2152673
1800.04/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.04 c propagation : 14.94 289279 288856 1903087 27.9 12390 19.1 -
1800.04/1800.04 c infeasible LP : 1.89 7002 7002 62168 40.1 30 12.2 0
1800.04/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.04 c pseudo solution : 0.03 258 258 1835 20.0 240 4.2 -
1800.04/1800.04 c applied globally : - - - 728726 21.3 - - -
1800.04/1800.04 c applied locally : - - - 0 0.0 - - -
1800.04/1800.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.04 c cut pool : 0.00 5 - - 62 - (maximal pool size: 99)
1800.04/1800.04 c redcost : 36.83 633233 0 978427 0 0
1800.04/1800.04 c impliedbounds : 0.00 6 0 0 0 0
1800.04/1800.04 c intobj : 0.00 0 0 0 0 0
1800.04/1800.04 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.04 c gomory : 0.15 6 0 0 605 0
1800.04/1800.04 c strongcg : 0.09 6 0 0 120 0
1800.04/1800.04 c cmir : 0.03 6 0 0 0 0
1800.04/1800.04 c flowcover : 0.07 6 0 0 0 0
1800.04/1800.04 c clique : 0.00 6 0 0 0 0
1800.04/1800.04 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.04 c mcf : 0.00 1 0 0 0 0
1800.04/1800.04 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.04 c Pricers : Time Calls Vars
1800.04/1800.04 c problem variables: 0.00 0 0
1800.04/1800.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.04 c relpscost : 19.25 312933 9 330 0 0 625316
1800.04/1800.04 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.04 c inference : 39.87 299495 0 0 0 0 598990
1800.04/1800.04 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.04 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.04 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.04 c random : 0.00 0 0 0 0 0 0
1800.04/1800.04 c Primal Heuristics : Time Calls Found
1800.04/1800.04 c LP solutions : 0.65 - 114
1800.04/1800.04 c pseudo solutions : 0.00 - 0
1800.04/1800.04 c feaspump : 0.00 1 0
1800.04/1800.04 c intshifting : 0.00 4 0
1800.04/1800.04 c oneopt : 0.58 94 0
1800.04/1800.04 c crossover : 2.17 109 0
1800.04/1800.04 c pscostdiving : 3.18 3177 0
1800.04/1800.04 c fracdiving : 2.82 3177 0
1800.04/1800.04 c veclendiving : 2.87 3177 0
1800.04/1800.04 c linesearchdiving : 3.08 3177 0
1800.04/1800.04 c guideddiving : 3.12 3177 0
1800.04/1800.04 c coefdiving : 3.11 3178 0
1800.04/1800.04 c rootsoldiving : 3.28 3168 0
1800.04/1800.04 c objpscostdiving : 3.22 3169 0
1800.04/1800.04 c trivial : 0.00 2 0
1800.04/1800.04 c simplerounding : 0.35 313722 0
1800.04/1800.04 c zirounding : 0.12 1000 0
1800.04/1800.04 c rounding : 1.26 7921 0
1800.04/1800.04 c shifting : 1.23 2452 0
1800.04/1800.04 c twoopt : 0.00 0 0
1800.04/1800.04 c fixandinfer : 0.00 0 0
1800.04/1800.04 c intdiving : 0.00 0 0
1800.04/1800.04 c actconsdiving : 0.00 0 0
1800.04/1800.04 c octane : 0.00 0 0
1800.04/1800.04 c rens : 0.02 1 0
1800.04/1800.04 c rins : 0.00 0 0
1800.04/1800.04 c localbranching : 0.00 0 0
1800.04/1800.04 c mutation : 0.00 0 0
1800.04/1800.04 c dins : 0.00 0 0
1800.04/1800.04 c undercover : 0.00 0 0
1800.04/1800.04 c nlp : 0.00 0 0
1800.04/1800.04 c trysol : 0.26 5468 103
1800.04/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.04 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.04 c dual LP : 478.90 345068 2402595 6.96 5016.90
1800.04/1800.04 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.04 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.04 c diving/probing LP: 0.39 118 2757 23.36 7069.23
1800.04/1800.04 c strong branching : 16.28 5819 118950 20.44 7306.51
1800.04/1800.04 c (at root node) : - 33 5632 170.67 -
1800.04/1800.04 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.04 c B&B Tree :
1800.04/1800.04 c number of runs : 1
1800.04/1800.04 c nodes : 860264
1800.04/1800.04 c nodes (total) : 860264
1800.04/1800.04 c nodes left : 2261
1800.04/1800.04 c max depth : 269
1800.04/1800.04 c max depth (total): 269
1800.04/1800.04 c backtracks : 57442 (6.7%)
1800.04/1800.04 c delayed cutoffs : 51246
1800.04/1800.04 c repropagations : 1455654 (4147314 domain reductions, 48921 cutoffs)
1800.04/1800.04 c avg switch length: 4.95
1800.04/1800.04 c switching time : 262.48
1800.04/1800.04 c Solution :
1800.04/1800.04 c Solutions found : 217 (115 improvements)
1800.04/1800.04 c First Solution : +8.67840000000000e+04 (in run 1, after 1 nodes, 0.13 seconds, depth 0, found by <trysol>)
1800.04/1800.04 c Primal Bound : +1.00000000000000e+00 (in run 1, after 426953 nodes, 641.57 seconds, depth 42, found by <relaxation>)
1800.04/1800.04 c Dual Bound : +0.00000000000000e+00
1800.04/1800.04 c Gap : infinite
1800.04/1800.04 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.04 c Root Iterations : 303
1800.14/1800.17 c Time complete: 1800.22.
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692829-1277905805/watcher-2692829-1277905805 -o /tmp/evaluation-result-2692829-1277905805/solver-2692829-1277905805 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692829-1277905805.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.02 2.00 3/182 13480 /proc/meminfo: memFree=29836360/32951124 swapFree=67111528/67111528 [pid=13480] ppid=13478 vsize=9408 CPUtime=0 /proc/13480/stat : 13480 (pbscip.linux.x8) R 13478 13480 12643 0 -1 4202496 1652 0 0 0 0 0 0 0 21 0 1 0 131876613 9633792 1571 4089446400 4194304 8223781 140735719325168 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/13480/statm: 2352 1571 369 984 0 1365 0 [startup+0.0864241 s] /proc/loadavg: 2.00 2.02 2.00 3/182 13480 /proc/meminfo: memFree=29836360/32951124 swapFree=67111528/67111528 [pid=13480] ppid=13478 vsize=29180 CPUtime=0.08 /proc/13480/stat : 13480 (pbscip.linux.x8) R 13478 13480 12643 0 -1 4202496 7202 0 0 0 7 1 0 0 21 0 1 0 131876613 29880320 6243 4089446400 4194304 8223781 140735719325168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13480/statm: 7295 6243 446 984 0 6308 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 29180 [startup+0.100421 s] /proc/loadavg: 2.00 2.02 2.00 3/182 13480 /proc/meminfo: memFree=29836360/32951124 swapFree=67111528/67111528 [pid=13480] ppid=13478 vsize=29180 CPUtime=0.09 /proc/13480/stat : 13480 (pbscip.linux.x8) R 13478 13480 12643 0 -1 4202496 7472 0 0 0 8 1 0 0 21 0 1 0 131876613 29880320 6256 4089446400 4194304 8223781 140735719325168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13480/statm: 7295 6256 452 984 0 6308 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 29180 [startup+0.300387 s] /proc/loadavg: 2.00 2.02 2.00 3/182 13480 /proc/meminfo: memFree=29836360/32951124 swapFree=67111528/67111528 [pid=13480] ppid=13478 vsize=36540 CPUtime=0.29 /proc/13480/stat : 13480 (pbscip.linux.x8) R 13478 13480 12643 0 -1 4202496 12014 0 0 0 26 3 0 0 21 0 1 0 131876613 37416960 8201 4089446400 4194304 8223781 140735719325168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13480/statm: 9135 8201 573 984 0 8148 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36540 [startup+0.700312 s] /proc/loadavg: 2.00 2.02 2.00 3/182 13480 /proc/meminfo: memFree=29836360/32951124 swapFree=67111528/67111528 [pid=13480] ppid=13478 vsize=41224 CPUtime=0.69 /proc/13480/stat : 13480 (pbscip.linux.x8) R 13478 13480 12643 0 -1 4202496 18816 0 0 0 63 6 0 0 22 0 1 0 131876613 42213376 9372 4089446400 4194304 8223781 140735719325168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13480/statm: 10306 9372 590 984 0 9319 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 41224 [startup+1.50017 s] /proc/loadavg: 2.00 2.02 2.00 3/183 13481 /proc/meminfo: memFree=29800392/32951124 swapFree=67111528/67111528 [pid=13480] ppid=13478 vsize=41224 CPUtime=1.49 /proc/13480/stat : 13480 (pbscip.linux.x8) R 13478 13480 12643 0 -1 4202496 18816 0 0 0 140 9 0 0 25 0 1 0 131876613 42213376 9372 4089446400 4194304 8223781 140735719325168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13480/statm: 10306 9372 590 984 0 9319 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 41224 [startup+3.10089 s] /proc/loadavg: 2.00 2.02 2.00 3/183 13481 /proc/meminfo: memFree=29800052/32951124 swapFree=67111528/67111528 [pid=13480] ppid=13478 vsize=41224 CPUtime=3.1 /proc/13480/stat : 13480 (pbscip.linux.x8) R 13478 13480 12643 0 -1 4202496 18816 0 0 0 295 15 0 0 25 0 1 0 131876613 42213376 9372 4089446400 4194304 8223781 140735719325168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13480/statm: 10306 9372 590 984 0 9319 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 41224 [startup+6.30032 s] /proc/loadavg: 2.00 2.02 2.00 3/183 13481 /proc/meminfo: memFree=29798096/32951124 swapFree=67111528/67111528 [pid=13480] ppid=13478 vsize=41300 CPUtime=6.3 /proc/13480/stat : 13480 (pbscip.linux.x8) R 13478 13480 12643 0 -1 4202496 18881 0 0 0 604 26 0 0 25 0 1 0 131876613 42291200 9437 4089446400 4194304 8223781 140735719325168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13480/statm: 10325 9437 591 984 0 9338 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 41300 [startup+12.7002 s] /proc/loadavg: 2.00 2.02 2.00 3/183 13481 /proc/meminfo: memFree=29780640/32951124 swapFree=67111528/67111528 [pid=13480] ppid=13478 vsize=48300 CPUtime=12.69 /proc/13480/stat : 13480 (pbscip.linux.x8) R 13478 13480 12643 0 -1 4202496 38175 0 0 0 1218 51 0 0 25 0 1 0 131876613 49459200 10970 4089446400 4194304 8223781 140735719325168 18446744073709551615 4819811 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13480/statm: 12075 10970 596 984 0 11088 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 48300 [startup+25.5009 s] /proc/loadavg: 2.00 2.02 2.00 3/183 13481 /proc/meminfo: memFree=29750868/32951124 swapFree=67111528/67111528 [pid=13480] ppid=13478 vsize=64048 CPUtime=25.49 /proc/13480/stat : 13480 (pbscip.linux.x8) R 13478 13480 12643 0 -1 4202496 55137 0 0 0 2451 98 0 0 25 0 1 0 131876613 65585152 14953 4089446400 4194304 8223781 140735719325168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13480/statm: 16012 14953 596 984 0 15025 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 64048 [startup+51.1003 s] /proc/loadavg: 2.00 2.01 2.00 3/183 13482 /proc/meminfo: memFree=29696948/32951124 swapFree=67111528/67111528 [pid=13480] ppid=13478 vsize=93908 CPUtime=51.09 /proc/13480/stat : 13480 (pbscip.linux.x8) R 13478 13480 12643 0 -1 4202496 78174 0 0 0 4927 182 0 0 25 0 1 0 131876613 96161792 22470 4089446400 4194304 8223781 140735719325168 18446744073709551615 6436202 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13480/statm: 23477 22470 596 984 0 22490 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 93908 [startup+102.306 s] /proc/loadavg: 2.00 2.01 2.00 3/183 13483 /proc/meminfo: memFree=29593124/32951124 swapFree=67111528/67111528 [pid=13480] ppid=13478 vsize=161012 CPUtime=102.3 /proc/13480/stat : 13480 (pbscip.linux.x8) R 13478 13480 12643 0 -1 4202496 103416 0 0 0 9883 347 0 0 25 0 1 0 131876613 164876288 38879 4089446400 4194304 8223781 140735719325168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13480/statm: 40253 38879 597 984 0 39266 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 161012 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13485 /proc/meminfo: memFree=29456060/32951124 swapFree=67111528/67111528 [pid=13480] ppid=13478 vsize=236064 CPUtime=162.3 /proc/13480/stat : 13480 (pbscip.linux.x8) R 13478 13480 12643 0 -1 4202496 129553 0 0 0 15687 543 0 0 25 0 1 0 131876613 241729536 57805 4089446400 4194304 8223781 140735719325168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13480/statm: 59016 57805 597 984 0 58029 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 236064 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13487 /proc/meminfo: memFree=29308572/32951124 swapFree=67111528/67111528 [pid=13480] ppid=13478 vsize=312420 CPUtime=222.3 /proc/13480/stat : 13480 (pbscip.linux.x8) R 13478 13480 12643 0 -1 4202496 150691 0 0 0 21499 731 0 0 25 0 1 0 131876613 319918080 77079 4089446400 4194304 8223781 140735719325168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13480/statm: 78105 77079 597 984 0 77118 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 312420 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13488 /proc/meminfo: memFree=29143844/32951124 swapFree=67111528/67111528 [pid=13480] ppid=13478 vsize=389740 CPUtime=282.3 /proc/13480/stat : 13480 (pbscip.linux.x8) R 13478 13480 12643 0 -1 4202496 170765 0 0 0 27306 924 0 0 25 0 1 0 131876613 399093760 95560 4089446400 4194304 8223781 140735719325168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13480/statm: 97435 95560 597 984 0 96448 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 389740 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13489 /proc/meminfo: memFree=29006036/32951124 swapFree=67111528/67111528 [pid=13480] ppid=13478 vsize=469224 CPUtime=342.29 /proc/13480/stat : 13480 (pbscip.linux.x8) R 13478 13480 12643 0 -1 4202496 200018 0 0 0 33114 1115 0 0 25 0 1 0 131876613 480485376 115614 4089446400 4194304 8223781 140735719325168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13480/statm: 117306 115614 597 984 0 116319 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 469224 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13491 /proc/meminfo: memFree=28858924/32951124 swapFree=67111528/67111528 [pid=13480] ppid=13478 vsize=524812 CPUtime=402.31 /proc/13480/stat : 13480 (pbscip.linux.x8) R 13478 13480 12643 0 -1 4202496 271962 0 0 0 38918 1313 0 0 25 0 1 0 131876613 537407488 129585 4089446400 4194304 8223781 140735719325168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13480/statm: 131203 129585 597 984 0 130216 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 524812 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13493 /proc/meminfo: memFree=28771444/32951124 swapFree=67111528/67111528 [pid=13480] ppid=13478 vsize=554328 CPUtime=462.3 /proc/13480/stat : 13480 (pbscip.linux.x8) R 13478 13480 12643 0 -1 4202496 484781 0 0 0 44687 1543 0 0 25 0 1 0 131876613 567631872 136890 4089446400 4194304 8223781 140735719325168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13480/statm: 138582 136890 597 984 0 137595 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 554328 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13495 /proc/meminfo: memFree=28625952/32951124 swapFree=67111528/67111528 [pid=13480] ppid=13478 vsize=605812 CPUtime=522.3 /proc/13480/stat : 13480 (pbscip.linux.x8) R 13478 13480 12643 0 -1 4202496 615957 0 0 0 50422 1808 0 0 25 0 1 0 131876613 620351488 149336 4089446400 4194304 8223781 140735719325168 18446744073709551615 6436929 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13480/statm: 151453 149336 606 984 0 150466 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 605812 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13524 /proc/meminfo: memFree=30691060/32951124 swapFree=67111528/67111528 [pid=13480] ppid=13478 vsize=614468 CPUtime=582.31 /proc/13480/stat : 13480 (pbscip.linux.x8) R 13478 13480 12643 0 -1 4202496 773706 0 0 0 56158 2073 0 0 25 0 1 0 131876613 629215232 151382 4089446400 4194304 8223781 140735719325168 18446744073709551615 6482443 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13480/statm: 153617 151382 606 984 0 152630 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 614468 [startup+642.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13525 /proc/meminfo: memFree=30684468/32951124 swapFree=67111528/67111528 [pid=13480] ppid=13478 vsize=613728 CPUtime=642.31 /proc/13480/stat : 13480 (pbscip.linux.x8) R 13478 13480 12643 0 -1 4202496 825319 0 0 0 61894 2337 0 0 25 0 1 0 131876613 628457472 151132 4089446400 4194304 8223781 140735719325168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13480/statm: 153432 151132 606 984 0 152445 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 613728 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 2.04 2.03 2.00 3/183 13541 /proc/meminfo: memFree=30664260/32951124 swapFree=67111528/67111528 [pid=13480] ppid=13478 vsize=620224 CPUtime=882.31 /proc/13480/stat : 13480 (pbscip.linux.x8) R 13478 13480 12643 0 -1 4202496 894098 0 0 0 85052 3179 0 0 25 0 1 0 131876613 635109376 152645 4089446400 4194304 8223781 140735719325168 18446744073709551615 4219802 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13480/statm: 155056 152645 606 984 0 154069 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 620224 [startup+942.301 s] /proc/loadavg: 2.09 2.05 2.01 3/183 13542 /proc/meminfo: memFree=30661380/32951124 swapFree=67111528/67111528 [pid=13480] ppid=13478 vsize=622780 CPUtime=942.32 /proc/13480/stat : 13480 (pbscip.linux.x8) R 13478 13480 12643 0 -1 4202496 898210 0 0 0 90899 3333 0 0 25 0 1 0 131876613 637726720 153270 4089446400 4194304 8223781 140735719325168 18446744073709551615 4999881 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13480/statm: 155695 153270 606 984 0 154708 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 622780 [startup+1002.3 s] /proc/loadavg: 2.08 2.05 2.01 3/183 13544 /proc/meminfo: memFree=30656000/32951124 swapFree=67111528/67111528 [pid=13480] ppid=13478 vsize=626252 CPUtime=1002.31 /proc/13480/stat : 13480 (pbscip.linux.x8) R 13478 13480 12643 0 -1 4202496 901101 0 0 0 96755 3476 0 0 25 0 1 0 131876613 641282048 154196 4089446400 4194304 8223781 140735719325168 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13480/statm: 156563 154196 605 984 0 155576 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 626252 [startup+1062.3 s] /proc/loadavg: 2.03 2.04 2.00 3/183 13546 /proc/meminfo: memFree=30654604/32951124 swapFree=67111528/67111528 [pid=13480] ppid=13478 vsize=627632 CPUtime=1062.32 /proc/13480/stat : 13480 (pbscip.linux.x8) R 13478 13480 12643 0 -1 4202496 901536 0 0 0 102567 3665 0 0 25 0 1 0 131876613 642695168 154441 4089446400 4194304 8223781 140735719325168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13480/statm: 156908 154441 605 984 0 155921 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 627632 [startup+1122.3 s] /proc/loadavg: 2.01 2.03 2.00 3/183 13548 /proc/meminfo: memFree=30653952/32951124 swapFree=67111528/67111528 [pid=13480] ppid=13478 vsize=627980 CPUtime=1122.32 /proc/13480/stat : 13480 (pbscip.linux.x8) R 13478 13480 12643 0 -1 4202496 904926 0 0 0 108375 3857 0 0 25 0 1 0 131876613 643051520 154525 4089446400 4194304 8223781 140735719325168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13480/statm: 156995 154525 605 984 0 156008 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 627980 [startup+1182.3 s] /proc/loadavg: 2.00 2.02 2.00 3/183 13549 /proc/meminfo: memFree=30653660/32951124 swapFree=67111528/67111528 [pid=13480] ppid=13478 vsize=628068 CPUtime=1182.32 /proc/13480/stat : 13480 (pbscip.linux.x8) R 13478 13480 12643 0 -1 4202496 917037 0 0 0 114192 4040 0 0 25 0 1 0 131876613 643141632 154567 4089446400 4194304 8223781 140735719325168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13480/statm: 157017 154567 605 984 0 156030 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 628068 [startup+1242.3 s] /proc/loadavg: 2.00 2.02 2.00 3/183 13550 /proc/meminfo: memFree=30654252/32951124 swapFree=67111528/67111528 [pid=13480] ppid=13478 vsize=625164 CPUtime=1242.32 /proc/13480/stat : 13480 (pbscip.linux.x8) R 13478 13480 12643 0 -1 4202496 923525 0 0 0 119979 4253 0 0 25 0 1 0 131876613 640167936 153850 4089446400 4194304 8223781 140735719325168 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13480/statm: 156291 153850 605 984 0 155304 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 625164 [startup+1302.3 s] /proc/loadavg: 2.00 2.01 2.00 3/183 13552 /proc/meminfo: memFree=30653360/32951124 swapFree=67111528/67111528 [pid=13480] ppid=13478 vsize=625276 CPUtime=1302.33 /proc/13480/stat : 13480 (pbscip.linux.x8) R 13478 13480 12643 0 -1 4202496 937479 0 0 0 125793 4440 0 0 25 0 1 0 131876613 640282624 153879 4089446400 4194304 8223781 140735719325168 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13480/statm: 156319 153879 605 984 0 155332 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 625276 [startup+1362.3 s] /proc/loadavg: 2.00 2.01 2.00 3/183 13554 /proc/meminfo: memFree=30652584/32951124 swapFree=67111528/67111528 [pid=13480] ppid=13478 vsize=626036 CPUtime=1362.33 /proc/13480/stat : 13480 (pbscip.linux.x8) R 13478 13480 12643 0 -1 4202496 953873 0 0 0 131610 4623 0 0 25 0 1 0 131876613 641060864 154035 4089446400 4194304 8223781 140735719325168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13480/statm: 156509 154035 605 984 0 155522 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 626036 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13556 /proc/meminfo: memFree=30651196/32951124 swapFree=67111528/67111528 [pid=13480] ppid=13478 vsize=628396 CPUtime=1422.33 /proc/13480/stat : 13480 (pbscip.linux.x8) R 13478 13480 12643 0 -1 4202496 966559 0 0 0 137441 4792 0 0 25 0 1 0 131876613 643477504 154402 4089446400 4194304 8223781 140735719325168 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13480/statm: 157099 154402 605 984 0 156112 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 628396 [startup+1482.3 s] /proc/loadavg: 2.05 2.01 2.00 3/183 13557 /proc/meminfo: memFree=30650900/32951124 swapFree=67111528/67111528 [pid=13480] ppid=13478 vsize=628452 CPUtime=1482.33 /proc/13480/stat : 13480 (pbscip.linux.x8) R 13478 13480 12643 0 -1 4202496 969419 0 0 0 143296 4937 0 0 25 0 1 0 131876613 643534848 154433 4089446400 4194304 8223781 140735719325168 18446744073709551615 4223215 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13480/statm: 157113 154433 605 984 0 156126 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 628452 [startup+1542.3 s] /proc/loadavg: 2.02 2.01 2.00 3/183 13558 /proc/meminfo: memFree=30649500/32951124 swapFree=67111528/67111528 [pid=13480] ppid=13478 vsize=629712 CPUtime=1542.32 /proc/13480/stat : 13480 (pbscip.linux.x8) R 13478 13480 12643 0 -1 4202496 972145 0 0 0 149152 5080 0 0 25 0 1 0 131876613 644825088 154773 4089446400 4194304 8223781 140735719325168 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13480/statm: 157428 154773 605 984 0 156441 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 629712 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13560 /proc/meminfo: memFree=30647856/32951124 swapFree=67111528/67111528 [pid=13480] ppid=13478 vsize=630892 CPUtime=1602.33 /proc/13480/stat : 13480 (pbscip.linux.x8) R 13478 13480 12643 0 -1 4202496 973724 0 0 0 155026 5207 0 0 25 0 1 0 131876613 646033408 155075 4089446400 4194304 8223781 140735719325168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13480/statm: 157723 155075 605 984 0 156736 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 630892 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13562 /proc/meminfo: memFree=30645848/32951124 swapFree=67111528/67111528 [pid=13480] ppid=13478 vsize=632268 CPUtime=1662.34 /proc/13480/stat : 13480 (pbscip.linux.x8) R 13478 13480 12643 0 -1 4202496 975926 0 0 0 160898 5336 0 0 25 0 1 0 131876613 647442432 155436 4089446400 4194304 8223781 140735719325168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13480/statm: 158067 155436 605 984 0 157080 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 632268 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13564 /proc/meminfo: memFree=30643716/32951124 swapFree=67111528/67111528 [pid=13480] ppid=13478 vsize=633708 CPUtime=1722.34 /proc/13480/stat : 13480 (pbscip.linux.x8) R 13478 13480 12643 0 -1 4202496 981320 0 0 0 166774 5460 0 0 25 0 1 0 131876613 648916992 155816 4089446400 4194304 8223781 140735719325168 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13480/statm: 158427 155816 605 984 0 157440 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 633708 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13565 /proc/meminfo: memFree=30642436/32951124 swapFree=67111528/67111528 [pid=13480] ppid=13478 vsize=634828 CPUtime=1782.33 /proc/13480/stat : 13480 (pbscip.linux.x8) R 13478 13480 12643 0 -1 4202496 983205 0 0 0 172668 5565 0 0 25 0 1 0 131876613 650063872 155946 4089446400 4194304 8223781 140735719325168 18446744073709551615 4209068 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13480/statm: 158707 155946 605 984 0 157720 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 634828 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13566 /proc/meminfo: memFree=30642420/32951124 swapFree=67111528/67111528 [pid=13480] ppid=13478 vsize=635004 CPUtime=1800.04 /proc/13480/stat : 13480 (pbscip.linux.x8) R 13478 13480 12643 0 -1 4202496 983501 0 0 0 174405 5599 0 0 25 0 1 0 131876613 650244096 155971 4089446400 4194304 8223781 140735719325168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13480/statm: 158751 155971 605 984 0 157764 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 635004 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.11 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13566 /proc/meminfo: memFree=30642420/32951124 swapFree=67111528/67111528 [pid=13480] ppid=13478 vsize=479720 CPUtime=1800.14 /proc/13480/stat : 13480 (pbscip.linux.x8) R 13478 13480 12643 0 -1 4202496 983576 0 0 0 174414 5600 0 0 25 0 1 0 131876613 491233280 117133 4089446400 4194304 8223781 140735719325168 18446744073709551615 4332856 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/13480/statm: 119930 117133 607 984 0 118943 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 479720 Child status: 0 Real time (s): 1800.18 CPU time (s): 1800.22 CPU user time (s): 1744.2 CPU system time (s): 56.0215 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 635020 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1744.2 system time used= 56.0215 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 983580 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 3694 runsolver used 2.94755 second user time and 6.88995 second system time The end
Begin job on node132 at 2010-06-30 15:50:05 IDJOB=2692829 IDBENCH=78933 IDSOLVER=1204 FILE ID=node132/2692829-1277905805 PBS_JOBID= 11197179 Free space on /tmp= 74136 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900567135--soft-33-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692829-1277905805/watcher-2692829-1277905805 -o /tmp/evaluation-result-2692829-1277905805/solver-2692829-1277905805 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692829-1277905805.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 98ba7b6540ae93cc2daebc624abceb03 RANDOM SEED=950883880 node132.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.810 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.62 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.810 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.810 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.810 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.810 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.810 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.810 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.810 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29837136 kB Buffers: 185472 kB Cached: 1216532 kB SwapCached: 0 kB Active: 2105316 kB Inactive: 861376 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29837136 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4700 kB Writeback: 0 kB AnonPages: 1564688 kB Mapped: 16288 kB Slab: 81092 kB PageTables: 7964 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1743588 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74132 MiB End job on node132 at 2010-06-30 16:20:07