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.18 | 1800.14 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900584219--soft-33-100-0.wbo |
| MD5SUM | 8d817301a4b1c2c9b4fea9d5d7fdc9d1 |
| 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 | 263.875 |
| 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 | 1868 |
| 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 | 94981 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 94980 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 689 |
| 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-2692749-1277900794.wbo>
0.02/0.03 c original problem has 3967 variables (2099 bin, 0 int, 0 impl, 1868 cont) and 4576 constraints
0.02/0.03 c problem read
0.02/0.03 c presolving settings loaded
0.02/0.05 c presolving:
0.02/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2006 impls, 5 clqs
0.02/0.09 c (round 2) 0 del vars, 67 del conss, 1868 chg bounds, 49 chg sides, 0 chg coeffs, 0 upgd conss, 2006 impls, 5 clqs
0.02/0.10 c (round 3) 49 del vars, 134 del conss, 1876 chg bounds, 67 chg sides, 0 chg coeffs, 0 upgd conss, 2006 impls, 5 clqs
0.09/0.11 c (round 4) 106 del vars, 142 del conss, 1876 chg bounds, 67 chg sides, 0 chg coeffs, 812 upgd conss, 2006 impls, 5 clqs
0.09/0.12 c (round 5) 114 del vars, 142 del conss, 1876 chg bounds, 67 chg sides, 0 chg coeffs, 812 upgd conss, 2006 impls, 5 clqs
0.09/0.16 c (0.1s) probing: 101/2042 (4.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.16 c presolving (6 rounds):
0.09/0.16 c 114 deleted vars, 142 deleted constraints, 1876 tightened bounds, 0 added holes, 67 changed sides, 0 changed coefficients
0.09/0.16 c 2006 implications, 5 cliques
0.09/0.16 c presolved problem has 3853 variables (2042 bin, 0 int, 0 impl, 1811 cont) and 4434 constraints
0.09/0.16 c 1811 constraints of type <indicator>
0.09/0.16 c 5 constraints of type <setppc>
0.09/0.16 c 1811 constraints of type <linear>
0.09/0.16 c 807 constraints of type <logicor>
0.09/0.16 c transformed objective value is always integral (scale: 1)
0.09/0.16 c Presolving Time: 0.10
0.09/0.16 c - non default parameters ----------------------------------------------------------------------
0.09/0.16 c # SCIP version 1.2.1.2
0.09/0.16 c
0.09/0.16 c # frequency for displaying node information lines
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16 c display/freq = 10000
0.09/0.16 c
0.09/0.16 c # maximal time in seconds to run
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/time = 1799.97
0.09/0.16 c
0.09/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/memory = 3420
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify inequalities
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/linear/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify knapsacks
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16 c separating/rapidlearning/freq = 0
0.09/0.16 c
0.09/0.16 c -----------------------------------------------------------------------------------------------
0.09/0.16 c start solving
0.09/0.16 c
0.09/0.17 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.17 c 0.1s| 1 | 0 | 8 | - | 14M| 0 | 6 |3853 |4434 |3853 | 812 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 o 92548
0.09/0.18 c y 0.1s| 1 | 0 | 18 | - | 14M| 0 | 6 |3853 |4434 |3853 | 812 | 0 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.19/0.20 c 0.1s| 1 | 0 | 63 | - | 14M| 0 | 27 |3853 |4434 |3853 | 829 | 17 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.19/0.24 c 0.2s| 1 | 0 | 152 | - | 14M| 0 | 43 |3853 |4434 |3853 | 864 | 52 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.29/0.30 c 0.2s| 1 | 0 | 184 | - | 14M| 0 | 46 |3853 |4434 |3853 | 877 | 65 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.29/0.36 c 0.3s| 1 | 0 | 193 | - | 14M| 0 | 48 |3853 |4434 |3853 | 882 | 70 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.39/0.42 c 0.3s| 1 | 0 | 215 | - | 14M| 0 | 51 |3853 |4434 |3853 | 889 | 77 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.39/0.49 c 0.4s| 1 | 0 | 230 | - | 14M| 0 | 51 |3853 |4434 |3853 | 894 | 82 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.89/0.90 c 0.8s| 1 | 2 | 230 | - | 14M| 0 | 51 |3853 |4434 |3853 | 894 | 82 | 0 | 33 | 0.000000e+00 | 9.254800e+04 | Inf
26.19/26.28 c 25.3s| 10000 | 9999 | 54820 | 5.5 | 37M| 147 | 0 |3853 |4435 |3853 | 945 |6005 | 1 |1401 | 0.000000e+00 | 9.254800e+04 | Inf
43.90/43.91 c 42.3s| 20000 | 19995 | 90009 | 4.5 | 55M| 147 | 0 |3853 |4439 |3853 | 945 | 10k| 5 |1430 | 0.000000e+00 | 9.254800e+04 | Inf
61.69/61.79 c 59.6s| 30000 | 29991 |127333 | 4.2 | 73M| 147 | 0 |3853 |4445 |3853 | 940 | 15k| 14 |1509 | 0.000000e+00 | 9.254800e+04 | Inf
80.49/80.51 c 77.6s| 40000 | 39983 |168828 | 4.2 | 90M| 147 | 0 |3853 |4441 |3853 | 940 | 19k| 18 |1664 | 0.000000e+00 | 9.254800e+04 | Inf
98.80/98.80 c 95.3s| 50000 | 49975 |208497 | 4.2 | 108M| 147 | 0 |3853 |4452 |3853 | 937 | 24k| 31 |1783 | 0.000000e+00 | 9.254800e+04 | Inf
116.50/116.57 c 112s| 60000 | 59973 |240333 | 4.0 | 126M| 147 | 0 |3853 |4442 |3853 | 939 | 28k| 37 |1999 | 0.000000e+00 | 9.254800e+04 | Inf
133.29/133.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
133.29/133.31 c 129s| 70000 | 69973 |264726 | 3.8 | 143M| 151 | 0 |3853 |4438 |3853 | 921 | 31k| 37 |2159 | 0.000000e+00 | 9.254800e+04 | Inf
150.78/150.86 c 146s| 80000 | 79971 |295477 | 3.7 | 161M| 151 | 0 |3853 |4437 |3853 | 945 | 35k| 38 |2387 | 0.000000e+00 | 9.254800e+04 | Inf
166.29/166.34 c 161s| 90000 | 89971 |310254 | 3.4 | 178M| 151 | 0 |3853 |4437 |3853 | 931 | 38k| 38 |2420 | 0.000000e+00 | 9.254800e+04 | Inf
181.49/181.56 c 175s|100000 | 99971 |322239 | 3.2 | 195M| 151 | 0 |3853 |4437 |3853 | 944 | 40k| 38 |2509 | 0.000000e+00 | 9.254800e+04 | Inf
196.69/196.74 c 190s|110000 |109969 |334410 | 3.0 | 213M| 151 | 0 |3853 |4437 |3853 | 943 | 42k| 39 |2574 | 0.000000e+00 | 9.254800e+04 | Inf
211.69/211.78 c 205s|120000 |119969 |345191 | 2.9 | 230M| 151 | 0 |3853 |4437 |3853 | 943 | 45k| 39 |2663 | 0.000000e+00 | 9.254800e+04 | Inf
226.29/226.38 c 219s|130000 |129965 |355938 | 2.7 | 248M| 265 | 0 |3853 |4447 |3853 | 955 | 47k| 49 |2687 | 0.000000e+00 | 9.254800e+04 | Inf
239.89/239.90 c 232s|140000 |139961 |360913 | 2.6 | 265M| 265 | 0 |3853 |4453 |3853 | 934 | 48k| 59 |2739 | 0.000000e+00 | 9.254800e+04 | Inf
253.79/253.81 c 245s|150000 |149953 |367949 | 2.5 | 282M| 265 | 0 |3853 |4456 |3853 | 942 | 50k| 70 |2813 | 0.000000e+00 | 9.254800e+04 | Inf
265.89/265.96 o 729
265.89/265.96 c * 257s|158732 |144983 |375674 | 2.4 | 275M| 265 | - |3853 |4457 |3853 | 911 | 51k| 82 |2833 | 0.000000e+00 | 7.290000e+02 | Inf
268.09/268.13 c 259s|160000 |146249 |378316 | 2.4 | 278M| 265 | 0 |3853 |4459 |3853 | 943 | 51k| 85 |2834 | 0.000000e+00 | 7.290000e+02 | Inf
278.49/278.53 o 723
278.49/278.53 c * 269s|164787 |150374 |404479 | 2.5 | 286M| 265 | - |3853 |4783 |3853 | 917 | 55k| 503 |2947 | 0.000000e+00 | 7.230000e+02 | Inf
287.69/287.76 o 718
287.69/287.76 c * 278s|169527 |154636 |418578 | 2.5 | 295M| 265 | - |3853 |4880 |3853 | 942 | 58k| 777 |3009 | 0.000000e+00 | 7.180000e+02 | Inf
288.79/288.85 c 279s|170000 |155090 |421150 | 2.5 | 296M| 265 | 0 |3853 |4911 |3853 | 927 | 58k| 852 |3018 | 0.000000e+00 | 7.180000e+02 | Inf
290.99/291.09 o 716
290.99/291.09 c * 281s|171014 |155892 |425995 | 2.5 | 298M| 265 | - |3853 |4941 |3853 | 947 | 59k| 997 |3041 | 0.000000e+00 | 7.160000e+02 | Inf
304.29/304.35 o 709
304.29/304.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
304.29/304.35 c * 294s|178112 |162251 |442670 | 2.5 | 312M| 265 | - |3853 |5022 |3853 | 925 | 64k|1485 |3089 | 0.000000e+00 | 7.090000e+02 | Inf
307.69/307.76 c 298s|180000 |164108 |445580 | 2.5 | 316M| 265 | 0 |3853 |4983 |3853 | 945 | 64k|1556 |3107 | 0.000000e+00 | 7.090000e+02 | Inf
307.69/307.79 o 700
307.69/307.79 c * 298s|180012 |163378 |445581 | 2.5 | 315M| 265 | - |3853 |4986 |3853 | 945 | 64k|1562 |3107 | 0.000000e+00 | 7.000000e+02 | Inf
314.49/314.60 o 696
314.49/314.60 c * 304s|183490 |166338 |455873 | 2.5 | 321M| 265 | - |3853 |5147 |3853 | 923 | 66k|1946 |3128 | 0.000000e+00 | 6.960000e+02 | Inf
314.69/314.74 o 636
314.69/314.74 c * 304s|183537 |160610 |456313 | 2.5 | 308M| 265 | - |3853 |5159 |3853 | 924 | 66k|1970 |3128 | 0.000000e+00 | 6.360000e+02 | Inf
314.89/314.94 o 627
314.89/314.94 c * 305s|183632 |159755 |456736 | 2.5 | 306M| 265 | - |3853 |5223 |3853 | 921 | 66k|2046 |3128 | 0.000000e+00 | 6.270000e+02 | Inf
326.70/326.71 o 595
326.70/326.71 c * 316s|189564 |161421 |475259 | 2.5 | 311M| 265 | - |3853 |5329 |3853 | 926 | 70k|2800 |3197 | 0.000000e+00 | 5.950000e+02 | Inf
327.59/327.60 c 317s|190000 |161815 |476430 | 2.5 | 312M| 265 | 0 |3853 |5371 |3853 | 933 | 70k|2917 |3199 | 0.000000e+00 | 5.950000e+02 | Inf
328.69/328.75 o 584
328.69/328.75 c * 318s|190562 |160901 |478722 | 2.5 | 310M| 265 | - |3853 |5331 |3853 | 938 | 71k|2949 |3202 | 0.000000e+00 | 5.840000e+02 | Inf
343.39/343.43 o 575
343.39/343.43 c * 332s|197571 |166240 |510270 | 2.6 | 322M| 265 | - |3853 |5304 |3853 | 934 | 75k|3755 |3269 | 0.000000e+00 | 5.750000e+02 | Inf
343.79/343.89 o 573
343.79/343.89 c * 333s|197783 |166106 |510907 | 2.6 | 322M| 265 | - |3853 |5311 |3853 | 955 | 75k|3811 |3269 | 0.000000e+00 | 5.730000e+02 | Inf
346.09/346.12 o 566
346.09/346.12 c * 335s|198964 |166137 |513871 | 2.6 | 323M| 265 | - |3853 |5299 |3853 | 931 | 76k|3950 |3292 | 0.000000e+00 | 5.660000e+02 | Inf
346.89/346.91 o 563
346.89/346.91 c * 336s|199340 |166011 |514772 | 2.6 | 323M| 265 | - |3853 |5355 |3853 | 939 | 76k|4047 |3294 | 0.000000e+00 | 5.630000e+02 | Inf
348.29/348.34 c 337s|200000 |166624 |517306 | 2.6 | 324M| 265 | 0 |3853 |5366 |3853 | 935 | 77k|4145 |3318 | 0.000000e+00 | 5.630000e+02 | Inf
355.89/355.98 o 561
355.89/355.98 c * 344s|203735 |169707 |527102 | 2.6 | 335M| 265 | - |3853 |5587 |3853 | 938 | 79k|4986 |3343 | 0.000000e+00 | 5.610000e+02 | Inf
362.39/362.40 o 552
362.39/362.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
362.39/362.40 c * 351s|206656 |170904 |541132 | 2.6 | 338M| 265 | - |3853 |5357 |3853 | 913 | 81k|5384 |3367 | 0.000000e+00 | 5.520000e+02 | Inf
370.09/370.11 c 358s|210000 |174042 |561642 | 2.7 | 345M| 265 | 0 |3853 |5321 |3853 | 927 | 84k|5846 |3404 | 0.000000e+00 | 5.520000e+02 | Inf
378.30/378.32 o 549
378.30/378.32 c * 366s|213851 |177224 |579298 | 2.7 | 351M| 265 | - |3853 |5162 |3853 | 930 | 87k|6131 |3459 | 0.000000e+00 | 5.490000e+02 | Inf
378.30/378.33 o 543
378.30/378.33 c * 366s|213852 |176188 |579298 | 2.7 | 349M| 265 | - |3853 |5162 |3853 | 930 | 87k|6131 |3459 | 0.000000e+00 | 5.430000e+02 | Inf
379.29/379.30 o 512
379.29/379.30 c * 367s|214340 |170804 |580493 | 2.7 | 335M| 265 | - |3853 |5149 |3853 | 920 | 87k|6155 |3466 | 0.000000e+00 | 5.120000e+02 | Inf
380.00/380.05 o 510
380.00/380.05 c * 368s|214754 |170768 |581188 | 2.7 | 335M| 265 | - |3853 |5180 |3853 | 941 | 87k|6239 |3468 | 0.000000e+00 | 5.100000e+02 | Inf
381.69/381.74 o 506
381.69/381.74 c * 369s|215613 |170718 |583140 | 2.7 | 335M| 265 | - |3853 |5240 |3853 | 938 | 88k|6389 |3472 | 0.000000e+00 | 5.060000e+02 | Inf
386.00/386.01 o 505
386.00/386.01 c * 373s|217632 |172310 |589572 | 2.7 | 339M| 265 | - |3853 |5382 |3853 | 931 | 89k|6852 |3489 | 0.000000e+00 | 5.050000e+02 | Inf
386.39/386.49 o 502
386.39/386.49 c * 374s|217845 |171896 |589889 | 2.7 | 339M| 265 | - |3853 |5406 |3853 | 934 | 89k|6896 |3489 | 0.000000e+00 | 5.020000e+02 | Inf
386.49/386.57 o 501
386.49/386.57 c * 374s|217880 |171724 |589942 | 2.7 | 339M| 265 | - |3853 |5404 |3853 | 933 | 89k|6896 |3489 | 0.000000e+00 | 5.010000e+02 | Inf
387.59/387.67 o 496
387.59/387.67 c * 375s|218404 |171119 |591108 | 2.7 | 338M| 265 | - |3853 |5408 |3853 | 937 | 89k|6945 |3512 | 0.000000e+00 | 4.960000e+02 | Inf
387.99/388.04 o 492
387.99/388.04 c * 375s|218569 |170414 |591647 | 2.7 | 336M| 265 | - |3853 |5405 |3853 | 938 | 89k|6996 |3518 | 0.000000e+00 | 4.920000e+02 | Inf
390.09/390.19 o 487
390.09/390.19 c * 377s|219489 |170093 |596856 | 2.7 | 335M| 265 | - |3853 |5408 |3853 | 929 | 90k|7182 |3532 | 0.000000e+00 | 4.870000e+02 | Inf
391.39/391.40 c 379s|220000 |170565 |600071 | 2.7 | 336M| 265 | 0 |3853 |5418 |3853 | 919 | 90k|7263 |3536 | 0.000000e+00 | 4.870000e+02 | Inf
394.19/394.23 o 484
394.19/394.23 c * 381s|221253 |171011 |606836 | 2.7 | 337M| 265 | - |3853 |5459 |3853 | 954 | 91k|7501 |3543 | 0.000000e+00 | 4.840000e+02 | Inf
394.59/394.67 o 482
394.59/394.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
394.59/394.67 c * 382s|221398 |170634 |608527 | 2.7 | 336M| 265 | - |3853 |5505 |3853 | 942 | 91k|7590 |3543 | 0.000000e+00 | 4.820000e+02 | Inf
394.59/394.68 o 481
394.59/394.68 c * 382s|221399 |170411 |608528 | 2.7 | 336M| 265 | - |3853 |5505 |3853 | 942 | 91k|7590 |3543 | 0.000000e+00 | 4.810000e+02 | Inf
394.89/394.98 o 480
394.89/394.98 c * 382s|221489 |170237 |609825 | 2.8 | 336M| 265 | - |3853 |5509 |3853 | 924 | 92k|7612 |3543 | 0.000000e+00 | 4.800000e+02 | Inf
395.00/395.09 o 469
395.00/395.09 c * 382s|221531 |167660 |609911 | 2.8 | 330M| 265 | - |3853 |5501 |3853 | 942 | 92k|7616 |3543 | 0.000000e+00 | 4.690000e+02 | Inf
395.09/395.17 o 464
395.09/395.17 c * 382s|221554 |166515 |610114 | 2.8 | 328M| 265 | - |3853 |5496 |3853 | 937 | 92k|7624 |3543 | 0.000000e+00 | 4.640000e+02 | Inf
396.09/396.17 o 461
396.09/396.17 c * 383s|221874 |166012 |614093 | 2.8 | 327M| 265 | - |3853 |5588 |3853 | 924 | 92k|7789 |3544 | 0.000000e+00 | 4.610000e+02 | Inf
396.79/396.89 o 458
396.79/396.89 c * 384s|222108 |165547 |616388 | 2.8 | 326M| 265 | - |3853 |5693 |3853 | 944 | 92k|7966 |3559 | 0.000000e+00 | 4.580000e+02 | Inf
400.09/400.16 o 455
400.09/400.16 c * 387s|223179 |165545 |627814 | 2.8 | 328M| 265 | - |3853 |6073 |3853 | 932 | 94k|8721 |3573 | 0.000000e+00 | 4.550000e+02 | Inf
416.49/416.53 c 403s|230000 |171904 |673092 | 2.9 | 343M| 265 | 0 |3853 |5782 |3853 | 911 | 99k|9722 |3715 | 0.000000e+00 | 4.550000e+02 | Inf
423.99/424.01 o 453
423.99/424.01 c * 410s|233101 |173915 |691573 | 3.0 | 348M| 265 | - |3853 |5948 |3853 | 912 | 101k| 10k|3798 | 0.000000e+00 | 4.530000e+02 | Inf
424.50/424.57 o 447
424.50/424.57 c * 411s|233334 |172464 |692319 | 3.0 | 346M| 265 | - |3853 |6126 |3853 | 927 | 102k| 11k|3799 | 0.000000e+00 | 4.470000e+02 | Inf
424.89/424.99 o 446
424.89/424.99 c * 411s|233509 |172335 |693009 | 3.0 | 346M| 265 | - |3853 |6182 |3853 | 920 | 102k| 11k|3799 | 0.000000e+00 | 4.460000e+02 | Inf
426.80/426.88 o 427
426.80/426.88 c * 413s|234376 |168034 |696463 | 3.0 | 337M| 265 | - |3853 |6395 |3853 | 922 | 102k| 12k|3801 | 0.000000e+00 | 4.270000e+02 | Inf
426.90/426.90 o 422
426.90/426.90 c * 413s|234379 |166697 |696503 | 3.0 | 334M| 265 | - |3853 |6384 |3853 | 916 | 102k| 12k|3801 | 0.000000e+00 | 4.220000e+02 | Inf
433.49/433.54 o 416
433.49/433.54 c * 419s|237311 |167671 |712702 | 3.0 | 336M| 265 | - |3853 |6023 |3853 | 933 | 105k| 12k|3831 | 0.000000e+00 | 4.160000e+02 | Inf
436.49/436.57 o 409
436.49/436.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
436.49/436.57 c * 422s|238478 |166568 |721095 | 3.0 | 336M| 265 | - |3853 |6175 |3853 | 937 | 106k| 13k|3842 | 0.000000e+00 | 4.090000e+02 | Inf
437.19/437.27 o 408
437.19/437.27 c * 423s|238811 |166588 |721966 | 3.0 | 336M| 265 | - |3853 |6130 |3853 | 926 | 106k| 13k|3842 | 0.000000e+00 | 4.080000e+02 | Inf
438.29/438.30 o 407
438.29/438.30 c * 424s|239263 |166639 |724381 | 3.0 | 336M| 265 | - |3853 |5981 |3853 | 942 | 106k| 13k|3842 | 0.000000e+00 | 4.070000e+02 | Inf
438.29/438.33 o 405
438.29/438.33 c * 424s|239273 |166030 |724395 | 3.0 | 335M| 265 | - |3853 |5978 |3853 | 943 | 106k| 13k|3842 | 0.000000e+00 | 4.050000e+02 | Inf
440.00/440.09 c 426s|240000 |166651 |728551 | 3.0 | 337M| 265 | 6 |3853 |5938 |3853 | 950 | 107k| 13k|3851 | 0.000000e+00 | 4.050000e+02 | Inf
440.60/440.62 o 401
440.60/440.62 c * 426s|240195 |165650 |730174 | 3.0 | 335M| 265 | - |3853 |5879 |3853 | 911 | 107k| 13k|3858 | 0.000000e+00 | 4.010000e+02 | Inf
445.10/445.11 o 397
445.10/445.11 c * 431s|241987 |165890 |743597 | 3.1 | 336M| 265 | - |3853 |5801 |3853 | 916 | 109k| 14k|3905 | 0.000000e+00 | 3.970000e+02 | Inf
445.19/445.24 o 384
445.19/445.24 c * 431s|242032 |162017 |743929 | 3.1 | 328M| 265 | - |3853 |5797 |3853 | 917 | 109k| 14k|3905 | 0.000000e+00 | 3.840000e+02 | Inf
445.39/445.46 o 381
445.39/445.46 c * 431s|242115 |161170 |744240 | 3.1 | 327M| 265 | - |3853 |5788 |3853 | 905 | 109k| 14k|3905 | 0.000000e+00 | 3.810000e+02 | Inf
445.60/445.69 o 377
445.60/445.69 c * 431s|242204 |159995 |744728 | 3.1 | 325M| 265 | - |3853 |5781 |3853 | 921 | 109k| 14k|3905 | 0.000000e+00 | 3.770000e+02 | Inf
450.19/450.22 o 376
450.19/450.22 c * 436s|243771 |160866 |760286 | 3.1 | 328M| 265 | - |3853 |6024 |3853 | 945 | 110k| 15k|3916 | 0.000000e+00 | 3.760000e+02 | Inf
455.30/455.37 o 373
455.30/455.37 c * 440s|245831 |161787 |773187 | 3.1 | 331M| 265 | - |3853 |5885 |3853 | 944 | 112k| 15k|3960 | 0.000000e+00 | 3.730000e+02 | Inf
455.80/455.80 o 370
455.80/455.80 c * 441s|246003 |160973 |774043 | 3.1 | 329M| 265 | - |3853 |5895 |3853 | 944 | 112k| 15k|3960 | 0.000000e+00 | 3.700000e+02 | Inf
457.19/457.21 o 368
457.19/457.21 c * 442s|246544 |160658 |777127 | 3.2 | 330M| 265 | - |3853 |5994 |3853 | 937 | 113k| 15k|3975 | 0.000000e+00 | 3.680000e+02 | Inf
457.29/457.34 o 367
457.29/457.34 c * 442s|246601 |160368 |777217 | 3.2 | 329M| 265 | - |3853 |5991 |3853 | 940 | 113k| 15k|3975 | 0.000000e+00 | 3.670000e+02 | Inf
461.59/461.63 o 364
461.59/461.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
461.59/461.63 c * 447s|248241 |160796 |788644 | 3.2 | 331M| 265 | - |3853 |5957 |3853 | 961 | 114k| 16k|3988 | 0.000000e+00 | 3.640000e+02 | Inf
466.69/466.72 c 451s|250000 |162200 |806914 | 3.2 | 335M| 265 | 0 |3853 |5846 |3853 | 920 | 116k| 16k|4065 | 0.000000e+00 | 3.640000e+02 | Inf
466.90/466.90 o 362
466.90/466.90 c * 452s|250055 |161482 |807454 | 3.2 | 334M| 265 | - |3853 |5839 |3853 | 940 | 116k| 16k|4065 | 0.000000e+00 | 3.620000e+02 | Inf
469.60/469.66 o 361
469.60/469.66 c * 454s|251057 |162030 |816085 | 3.2 | 337M| 265 | - |3853 |5758 |3853 | 964 | 117k| 16k|4069 | 0.000000e+00 | 3.610000e+02 | Inf
482.80/482.88 o 360
482.80/482.88 c * 467s|256325 |165841 |849847 | 3.3 | 349M| 265 | - |3853 |6096 |3853 | 934 | 122k| 19k|4128 | 0.000000e+00 | 3.600000e+02 | Inf
487.69/487.75 o 355
487.69/487.75 c * 472s|258383 |165955 |863349 | 3.3 | 349M| 265 | - |3853 |5822 |3853 | 922 | 123k| 19k|4146 | 0.000000e+00 | 3.550000e+02 | Inf
487.79/487.83 o 353
487.79/487.83 c * 472s|258408 |165214 |863554 | 3.3 | 348M| 265 | - |3853 |5823 |3853 | 913 | 123k| 19k|4146 | 0.000000e+00 | 3.530000e+02 | Inf
491.09/491.10 c 475s|260000 |166678 |868369 | 3.3 | 351M| 265 | 0 |3853 |5783 |3853 | 947 | 124k| 19k|4168 | 0.000000e+00 | 3.530000e+02 | Inf
492.70/492.79 o 348
492.70/492.79 c * 477s|260857 |165590 |871185 | 3.3 | 348M| 265 | - |3853 |5679 |3853 | 899 | 124k| 19k|4179 | 0.000000e+00 | 3.480000e+02 | Inf
492.70/492.80 o 338
492.70/492.80 c * 477s|260858 |161702 |871185 | 3.3 | 339M| 265 | - |3853 |5679 |3853 | 899 | 124k| 19k|4179 | 0.000000e+00 | 3.380000e+02 | Inf
493.39/493.48 o 332
493.39/493.48 c * 477s|261107 |159551 |873290 | 3.3 | 334M| 265 | - |3853 |5692 |3853 | 917 | 124k| 19k|4180 | 0.000000e+00 | 3.320000e+02 | Inf
493.90/493.90 o 331
493.90/493.90 c * 478s|261262 |159308 |874651 | 3.3 | 334M| 265 | - |3853 |5745 |3853 | 938 | 124k| 20k|4180 | 0.000000e+00 | 3.310000e+02 | Inf
494.29/494.30 o 329
494.29/494.30 c * 478s|261369 |158502 |876109 | 3.4 | 333M| 265 | - |3853 |5771 |3853 | 928 | 124k| 20k|4180 | 0.000000e+00 | 3.290000e+02 | Inf
495.80/495.80 o 321
495.80/495.80 c * 480s|261900 |155653 |880258 | 3.4 | 328M| 265 | - |3853 |5800 |3853 | 934 | 125k| 20k|4187 | 0.000000e+00 | 3.210000e+02 | Inf
497.20/497.23 o 318
497.20/497.23 c * 481s|262491 |154787 |882761 | 3.4 | 327M| 265 | - |3853 |5969 |3853 | 937 | 125k| 20k|4188 | 0.000000e+00 | 3.180000e+02 | Inf
497.50/497.51 o 317
497.50/497.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
497.50/497.51 c * 481s|262627 |154470 |883161 | 3.4 | 326M| 265 | - |3853 |6013 |3853 | 934 | 126k| 20k|4188 | 0.000000e+00 | 3.170000e+02 | Inf
497.50/497.52 o 314
497.50/497.52 c * 481s|262628 |153191 |883161 | 3.4 | 323M| 265 | - |3853 |6013 |3853 | 934 | 126k| 20k|4188 | 0.000000e+00 | 3.140000e+02 | Inf
498.09/498.20 o 312
498.09/498.20 c * 482s|262924 |152586 |883916 | 3.4 | 322M| 265 | - |3853 |6071 |3853 | 934 | 126k| 20k|4188 | 0.000000e+00 | 3.120000e+02 | Inf
498.70/498.78 o 310
498.70/498.78 c * 482s|263163 |151809 |884905 | 3.4 | 320M| 265 | - |3853 |6137 |3853 | 943 | 126k| 20k|4188 | 0.000000e+00 | 3.100000e+02 | Inf
500.79/500.82 o 304
500.79/500.82 c * 484s|263979 |149835 |889684 | 3.4 | 318M| 265 | - |3853 |6163 |3853 | 929 | 127k| 21k|4189 | 0.000000e+00 | 3.040000e+02 | Inf
501.19/501.25 o 297
501.19/501.25 c * 485s|264104 |146834 |891114 | 3.4 | 311M| 265 | - |3853 |6179 |3853 | 931 | 127k| 21k|4189 | 0.000000e+00 | 2.970000e+02 | Inf
502.90/502.97 o 295
502.90/502.97 c * 486s|264821 |146456 |894246 | 3.4 | 312M| 265 | - |3853 |6088 |3853 | 939 | 127k| 21k|4203 | 0.000000e+00 | 2.950000e+02 | Inf
503.60/503.68 o 276
503.60/503.68 c * 487s|265044 |137665 |896313 | 3.4 | 293M| 265 | - |3853 |5977 |3853 | 912 | 127k| 21k|4215 | 0.000000e+00 | 2.760000e+02 | Inf
503.60/503.69 o 273
503.60/503.69 c * 487s|265045 |136253 |896313 | 3.4 | 290M| 265 | - |3853 |5977 |3853 | 912 | 127k| 21k|4215 | 0.000000e+00 | 2.730000e+02 | Inf
503.70/503.76 o 272
503.70/503.76 c * 487s|265073 |135715 |896420 | 3.4 | 288M| 265 | - |3853 |5968 |3853 | 936 | 127k| 21k|4215 | 0.000000e+00 | 2.720000e+02 | Inf
505.69/505.74 o 265
505.69/505.74 c * 489s|265825 |132681 |902035 | 3.4 | 283M| 265 | - |3853 |5925 |3853 | 938 | 128k| 22k|4232 | 0.000000e+00 | 2.650000e+02 | Inf
505.69/505.75 o 262
505.69/505.75 c * 489s|265826 |131130 |902035 | 3.4 | 279M| 265 | - |3853 |5925 |3853 | 938 | 128k| 22k|4232 | 0.000000e+00 | 2.620000e+02 | Inf
506.70/506.71 o 247
506.70/506.71 c * 490s|266172 |123130 |904340 | 3.4 | 263M| 265 | - |3853 |5926 |3853 | 936 | 129k| 22k|4236 | 0.000000e+00 | 2.470000e+02 | Inf
507.90/507.97 o 239
507.90/507.97 c * 491s|266662 |119207 |907235 | 3.4 | 256M| 265 | - |3853 |6085 |3853 | 932 | 129k| 22k|4240 | 0.000000e+00 | 2.390000e+02 | Inf
509.20/509.21 o 227
509.20/509.21 c * 492s|267100 |112818 |910587 | 3.4 | 244M| 265 | - |3853 |6120 |3853 | 937 | 129k| 22k|4241 | 0.000000e+00 | 2.270000e+02 | Inf
513.20/513.20 o 216
513.20/513.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
513.20/513.20 c * 496s|268512 |107210 |922052 | 3.4 | 236M| 265 | - |3853 |6529 |3853 | 920 | 131k| 24k|4248 | 0.000000e+00 | 2.160000e+02 | Inf
513.39/513.48 o 213
513.39/513.48 c * 497s|268597 |105605 |922788 | 3.4 | 233M| 265 | - |3853 |6536 |3853 | 933 | 131k| 24k|4249 | 0.000000e+00 | 2.130000e+02 | Inf
513.39/513.49 o 209
513.39/513.49 c * 497s|268598 |103495 |922788 | 3.4 | 229M| 265 | - |3853 |6536 |3853 | 933 | 131k| 24k|4249 | 0.000000e+00 | 2.090000e+02 | Inf
513.50/513.55 o 208
513.50/513.55 c * 497s|268614 |102887 |922907 | 3.4 | 228M| 265 | - |3853 |6536 |3853 | 926 | 131k| 24k|4249 | 0.000000e+00 | 2.080000e+02 | Inf
513.60/513.62 o 205
513.60/513.62 c * 497s|268634 |101190 |922999 | 3.4 | 225M| 265 | - |3853 |6531 |3853 | 927 | 131k| 24k|4249 | 0.000000e+00 | 2.050000e+02 | Inf
513.80/513.83 o 203
513.80/513.83 c * 497s|268710 |100142 |923320 | 3.4 | 223M| 265 | - |3853 |6530 |3853 | 936 | 131k| 24k|4249 | 0.000000e+00 | 2.030000e+02 | Inf
513.80/513.86 o 193
513.80/513.86 c * 497s|268720 | 94455 |923323 | 3.4 | 213M| 265 | - |3853 |6530 |3853 | 936 | 131k| 24k|4249 | 0.000000e+00 | 1.930000e+02 | Inf
514.10/514.19 o 185
514.10/514.19 c * 497s|268832 | 89908 |923871 | 3.4 | 205M| 265 | - |3853 |6521 |3853 | 931 | 131k| 24k|4249 | 0.000000e+00 | 1.850000e+02 | Inf
514.10/514.19 o 182
514.10/514.19 c * 497s|268833 | 88321 |923871 | 3.4 | 202M| 265 | - |3853 |6521 |3853 | 931 | 131k| 24k|4249 | 0.000000e+00 | 1.820000e+02 | Inf
514.20/514.26 o 180
514.20/514.26 c * 497s|268854 | 87199 |924021 | 3.4 | 200M| 265 | - |3853 |6523 |3853 | 926 | 131k| 24k|4249 | 0.000000e+00 | 1.800000e+02 | Inf
514.20/514.29 o 171
514.20/514.29 c * 497s|268858 | 81926 |924021 | 3.4 | 189M| 265 | - |3853 |6523 |3853 | 926 | 131k| 24k|4249 | 0.000000e+00 | 1.710000e+02 | Inf
514.29/514.30 o 161
514.29/514.30 c * 497s|268859 | 76193 |924021 | 3.4 | 178M| 265 | - |3853 |6523 |3853 | 926 | 131k| 24k|4249 | 0.000000e+00 | 1.610000e+02 | Inf
514.59/514.64 o 160
514.59/514.64 c * 498s|268947 | 75701 |924822 | 3.4 | 178M| 265 | - |3853 |6524 |3853 | 934 | 132k| 24k|4249 | 0.000000e+00 | 1.600000e+02 | Inf
517.00/517.03 o 157
517.00/517.03 c * 500s|269618 | 74285 |931971 | 3.5 | 177M| 265 | - |3853 |6488 |3853 | 941 | 132k| 24k|4273 | 0.000000e+00 | 1.570000e+02 | Inf
517.39/517.45 o 154
517.39/517.45 c * 500s|269754 | 72659 |933059 | 3.5 | 174M| 265 | - |3853 |6502 |3853 | 941 | 132k| 24k|4274 | 0.000000e+00 | 1.540000e+02 | Inf
518.10/518.12 o 153
518.10/518.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
518.10/518.12 c * 501s|269928 | 72200 |934964 | 3.5 | 174M| 265 | - |3853 |6541 |3853 | 942 | 132k| 24k|4282 | 0.000000e+00 | 1.530000e+02 | Inf
518.30/518.36 c 501s|270000 | 72241 |935620 | 3.5 | 174M| 265 | 0 |3853 |6497 |3853 | 933 | 133k| 24k|4286 | 0.000000e+00 | 1.530000e+02 | Inf
519.59/519.69 o 149
519.59/519.69 c * 503s|270489 | 70152 |938669 | 3.5 | 172M| 265 | - |3853 |6275 |3853 | 915 | 133k| 25k|4293 | 0.000000e+00 | 1.490000e+02 | Inf
520.00/520.00 o 146
520.00/520.00 c * 503s|270594 | 68366 |939286 | 3.5 | 168M| 265 | - |3853 |6256 |3853 | 914 | 133k| 25k|4293 | 0.000000e+00 | 1.460000e+02 | Inf
520.00/520.04 o 143
520.00/520.04 c * 503s|270609 | 66865 |939294 | 3.5 | 165M| 265 | - |3853 |6256 |3853 | 914 | 133k| 25k|4293 | 0.000000e+00 | 1.430000e+02 | Inf
520.10/520.12 o 132
520.10/520.12 c * 503s|270644 | 60766 |939321 | 3.5 | 152M| 265 | - |3853 |6248 |3853 | 907 | 133k| 25k|4293 | 0.000000e+00 | 1.320000e+02 | Inf
520.70/520.73 o 130
520.70/520.73 c * 504s|270850 | 59928 |940472 | 3.5 | 151M| 265 | - |3853 |6227 |3853 | 932 | 133k| 25k|4297 | 0.000000e+00 | 1.300000e+02 | Inf
521.10/521.17 o 127
521.10/521.17 c * 504s|271044 | 58581 |941016 | 3.5 | 149M| 265 | - |3853 |6259 |3853 | 946 | 133k| 25k|4297 | 0.000000e+00 | 1.270000e+02 | Inf
521.30/521.30 o 116
521.30/521.30 c * 504s|271076 | 53325 |941378 | 3.5 | 138M| 265 | - |3853 |6254 |3853 | 927 | 133k| 25k|4297 | 0.000000e+00 | 1.160000e+02 | Inf
522.00/522.02 o 113
522.00/522.02 c * 505s|271377 | 52167 |942805 | 3.5 | 136M| 265 | - |3853 |6212 |3853 | 927 | 133k| 25k|4298 | 0.000000e+00 | 1.130000e+02 | Inf
522.20/522.24 o 111
522.20/522.24 c * 505s|271439 | 51161 |943336 | 3.5 | 135M| 265 | - |3853 |6211 |3853 | 920 | 134k| 25k|4299 | 0.000000e+00 | 1.110000e+02 | Inf
522.30/522.32 o 99
522.30/522.32 c * 505s|271451 | 44328 |943573 | 3.5 | 121M| 265 | - |3853 |6199 |3853 | 904 | 134k| 25k|4301 | 0.000000e+00 | 9.900000e+01 | Inf
522.30/522.35 o 95
522.30/522.35 c * 505s|271453 | 41986 |943583 | 3.5 | 116M| 265 | - |3853 |6124 |3853 | 904 | 134k| 25k|4301 | 0.000000e+00 | 9.500000e+01 | Inf
522.30/522.36 o 92
522.30/522.36 c * 505s|271454 | 40101 |943583 | 3.5 | 112M| 265 | - |3853 |6124 |3853 | 904 | 134k| 25k|4301 | 0.000000e+00 | 9.200000e+01 | Inf
522.40/522.42 o 75
522.40/522.42 c * 505s|271458 | 31336 |943711 | 3.5 | 92M| 265 | - |3853 |5955 |3853 | 912 | 134k| 25k|4301 | 0.000000e+00 | 7.500000e+01 | Inf
522.50/522.55 o 70
522.50/522.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
522.50/522.55 c * 505s|271512 | 29050 |943790 | 3.5 | 87M| 265 | - |3853 |5557 |3853 | 918 | 134k| 25k|4301 | 0.000000e+00 | 7.000000e+01 | Inf
522.50/522.57 o 51
522.50/522.57 c * 505s|271513 | 21701 |943790 | 3.5 | 71M| 265 | - |3853 |5557 |3853 | 918 | 134k| 25k|4301 | 0.000000e+00 | 5.100000e+01 | Inf
522.60/522.63 o 47
522.60/522.63 c * 505s|271535 | 20812 |943810 | 3.5 | 69M| 265 | - |3853 |5013 |3853 | 918 | 134k| 25k|4301 | 0.000000e+00 | 4.700000e+01 | Inf
522.60/522.65 o 28
522.60/522.65 c * 505s|271536 | 15913 |943810 | 3.5 | 60M| 265 | - |3853 |5013 |3853 | 918 | 134k| 25k|4301 | 0.000000e+00 | 2.800000e+01 | Inf
522.79/522.84 o 23
522.79/522.84 c * 506s|271624 | 14138 |944028 | 3.5 | 57M| 265 | - |3853 |4439 |3853 | 927 | 134k| 25k|4301 | 0.000000e+00 | 2.300000e+01 | Inf
522.90/523.00 o 21
522.90/523.00 c * 506s|271692 | 13604 |944303 | 3.5 | 55M| 265 | - |3853 |4170 |3853 | 924 | 134k| 25k|4301 | 0.000000e+00 | 2.100000e+01 | Inf
522.99/523.09 o 20
522.99/523.09 c * 506s|271713 | 13412 |944622 | 3.5 | 55M| 265 | - |3853 |4054 |3853 | 918 | 134k| 25k|4301 | 0.000000e+00 | 2.000000e+01 | Inf
523.10/523.11 o 14
523.10/523.11 c * 506s|271714 | 11585 |944625 | 3.5 | 51M| 265 | - |3853 |4054 |3853 | 918 | 134k| 25k|4301 | 0.000000e+00 | 1.400000e+01 | Inf
523.10/523.15 o 9
523.10/523.15 c * 506s|271716 | 3390 |944719 | 3.5 | 32M| 265 | - |3853 |3894 |3853 | 922 | 134k| 25k|4301 | 0.000000e+00 | 9.000000e+00 | Inf
527.29/527.32 o 8
527.29/527.32 c * 510s|273835 | 2129 |959306 | 3.5 | 31M| 265 | - |3853 |5012 |3853 | 906 | 134k| 28k|4302 | 0.000000e+00 | 8.000000e+00 | Inf
538.29/538.30 c 520s|280000 | 2082 |991421 | 3.5 | 33M| 265 | - |3853 |7668 | 0 | 0 | 137k| 36k|4357 | 0.000000e+00 | 8.000000e+00 | Inf
557.49/557.51 c 539s|290000 | 2128 | 1048k| 3.6 | 35M| 265 | 4 |3853 |7685 |3853 | 901 | 144k| 50k|4427 | 0.000000e+00 | 8.000000e+00 | Inf
575.30/575.33 c 556s|300000 | 2180 | 1097k| 3.7 | 37M| 265 | - |3853 |9674 | 0 | 0 | 148k| 64k|4519 | 0.000000e+00 | 8.000000e+00 | Inf
585.10/585.17 o 4
585.10/585.17 c * 565s|305519 | 2002 | 1122k| 3.7 | 36M| 265 | - |3853 | 11k|3853 | 910 | 150k| 72k|4561 | 0.000000e+00 | 4.000000e+00 | Inf
592.90/592.99 c 572s|310000 | 1985 | 1143k| 3.7 | 36M| 265 | - |3853 | 11k| 0 | 0 | 152k| 78k|4564 | 0.000000e+00 | 4.000000e+00 | Inf
610.90/610.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
610.90/610.98 c 590s|320000 | 2053 | 1191k| 3.7 | 39M| 265 | 22 |3853 | 15k|3853 | 900 | 158k| 92k|4640 | 0.000000e+00 | 4.000000e+00 | Inf
628.99/629.03 c 607s|330000 | 2032 | 1235k| 3.7 | 38M| 265 | 23 |3853 | 14k|3853 | 899 | 162k| 106k|4693 | 0.000000e+00 | 4.000000e+00 | Inf
647.59/647.69 c 625s|340000 | 1841 | 1284k| 3.8 | 37M| 265 | - |3853 | 13k| 0 | 0 | 167k| 120k|4790 | 0.000000e+00 | 4.000000e+00 | Inf
666.90/666.98 c 643s|350000 | 1893 | 1328k| 3.8 | 39M| 265 | - |3853 | 17k| 0 | 0 | 171k| 133k|4887 | 0.000000e+00 | 4.000000e+00 | Inf
688.30/688.36 c 664s|360000 | 1942 | 1385k| 3.8 | 39M| 265 | 1 |3853 | 14k|3853 | 902 | 178k| 147k|4954 | 0.000000e+00 | 4.000000e+00 | Inf
709.60/709.66 c 684s|370000 | 1940 | 1442k| 3.9 | 40M| 265 | - |3853 | 17k| 0 | 0 | 185k| 161k|5036 | 0.000000e+00 | 4.000000e+00 | Inf
729.81/729.81 c 704s|380000 | 1915 | 1488k| 3.9 | 40M| 265 | 22 |3853 | 16k|3853 | 891 | 189k| 175k|5086 | 0.000000e+00 | 4.000000e+00 | Inf
750.70/750.71 c 724s|390000 | 1915 | 1541k| 4.0 | 41M| 265 | 17 |3853 | 19k|3853 | 907 | 195k| 189k|5172 | 0.000000e+00 | 4.000000e+00 | Inf
773.10/773.10 c 745s|400000 | 1937 | 1595k| 4.0 | 41M| 265 | - |3853 | 18k| 0 | 0 | 200k| 203k|5255 | 0.000000e+00 | 4.000000e+00 | Inf
794.50/794.53 c 766s|410000 | 1958 | 1645k| 4.0 | 42M| 265 | - |3853 | 18k| 0 | 0 | 206k| 217k|5323 | 0.000000e+00 | 4.000000e+00 | Inf
815.70/815.78 c 786s|420000 | 1991 | 1693k| 4.0 | 43M| 265 | 1 |3853 | 18k|3853 | 899 | 209k| 231k|5409 | 0.000000e+00 | 4.000000e+00 | Inf
835.40/835.44 c 805s|430000 | 1996 | 1732k| 4.0 | 44M| 265 | - |3853 | 21k| 0 | 0 | 212k| 244k|5458 | 0.000000e+00 | 4.000000e+00 | Inf
856.61/856.65 c 826s|440000 | 2019 | 1774k| 4.0 | 45M| 265 | 15 |3853 | 22k|3853 | 905 | 215k| 258k|5518 | 0.000000e+00 | 4.000000e+00 | Inf
878.50/878.53 c 847s|450000 | 2267 | 1823k| 4.1 | 46M| 265 | 9 |3853 | 21k|3853 | 902 | 220k| 271k|5567 | 0.000000e+00 | 4.000000e+00 | Inf
900.11/900.13 c 867s|460000 | 2436 | 1872k| 4.1 | 48M| 265 | 19 |3853 | 23k|3853 | 891 | 225k| 285k|5618 | 0.000000e+00 | 4.000000e+00 | Inf
921.00/921.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
921.00/921.03 c 888s|470000 | 2461 | 1913k| 4.1 | 50M| 265 | - |3853 | 24k| 0 | 0 | 229k| 299k|5666 | 0.000000e+00 | 4.000000e+00 | Inf
944.00/944.06 c 910s|480000 | 2469 | 1964k| 4.1 | 50M| 265 | 1 |3853 | 25k|3853 | 910 | 234k| 313k|5754 | 0.000000e+00 | 4.000000e+00 | Inf
964.81/964.86 c 930s|490000 | 2467 | 2003k| 4.1 | 51M| 265 | - |3853 | 27k| 0 | 0 | 236k| 327k|5795 | 0.000000e+00 | 4.000000e+00 | Inf
987.21/987.25 c 951s|500000 | 2431 | 2048k| 4.1 | 50M| 265 | 18 |3853 | 24k|3853 | 911 | 239k| 341k|5872 | 0.000000e+00 | 4.000000e+00 | Inf
1007.52/1007.55 c 971s|510000 | 2518 | 2082k| 4.1 | 53M| 265 | 12 |3853 | 28k|3853 | 901 | 240k| 355k|5898 | 0.000000e+00 | 4.000000e+00 | Inf
1028.20/1028.27 c 991s|520000 | 2643 | 2116k| 4.1 | 53M| 265 | 10 |3853 | 26k|3853 | 901 | 241k| 369k|5944 | 0.000000e+00 | 4.000000e+00 | Inf
1047.41/1047.47 c 1009s|530000 | 2760 | 2151k| 4.1 | 55M| 265 | 1 |3853 | 27k|3853 | 901 | 242k| 383k|5993 | 0.000000e+00 | 4.000000e+00 | Inf
1067.51/1067.57 c 1028s|540000 | 2734 | 2186k| 4.0 | 55M| 265 | - |3853 | 25k| 0 | 0 | 244k| 398k|6032 | 0.000000e+00 | 4.000000e+00 | Inf
1086.82/1086.83 c 1047s|550000 | 2710 | 2221k| 4.0 | 53M| 265 | - |3853 | 20k| 0 | 0 | 246k| 412k|6081 | 0.000000e+00 | 4.000000e+00 | Inf
1105.81/1105.85 c 1065s|560000 | 2626 | 2259k| 4.0 | 52M| 265 | 10 |3853 | 19k|3853 | 904 | 247k| 427k|6149 | 0.000000e+00 | 4.000000e+00 | Inf
1127.21/1127.21 c 1086s|570000 | 2823 | 2310k| 4.1 | 54M| 265 | - |3853 | 22k| 0 | 0 | 257k| 440k|6203 | 0.000000e+00 | 4.000000e+00 | Inf
1147.61/1147.60 c 1105s|580000 | 2883 | 2351k| 4.1 | 55M| 265 | - |3853 | 22k| 0 | 0 | 262k| 454k|6261 | 0.000000e+00 | 4.000000e+00 | Inf
1168.51/1168.53 c 1125s|590000 | 2782 | 2399k| 4.1 | 55M| 265 | - |3853 | 21k| 0 | 0 | 269k| 467k|6316 | 0.000000e+00 | 4.000000e+00 | Inf
1188.81/1188.81 c 1145s|600000 | 2713 | 2442k| 4.1 | 54M| 265 | - |3853 | 19k| 0 | 0 | 273k| 481k|6365 | 0.000000e+00 | 4.000000e+00 | Inf
1208.11/1208.19 c 1163s|610000 | 2607 | 2484k| 4.1 | 52M| 265 | 9 |3853 | 18k|3853 | 909 | 277k| 495k|6407 | 0.000000e+00 | 4.000000e+00 | Inf
1227.11/1227.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1227.11/1227.19 c 1181s|620000 | 2537 | 2526k| 4.1 | 52M| 265 | 7 |3853 | 17k|3853 | 891 | 279k| 508k|6453 | 0.000000e+00 | 4.000000e+00 | Inf
1248.01/1248.00 c 1201s|630000 | 2555 | 2577k| 4.1 | 53M| 265 | 9 |3853 | 20k|3853 | 891 | 287k| 523k|6510 | 0.000000e+00 | 4.000000e+00 | Inf
1268.32/1268.39 c 1221s|640000 | 2513 | 2622k| 4.1 | 52M| 265 | 1 |3853 | 17k|3853 | 901 | 292k| 538k|6577 | 0.000000e+00 | 4.000000e+00 | Inf
1288.82/1288.86 c 1241s|650000 | 2551 | 2673k| 4.1 | 54M| 265 | - |3853 | 23k| 0 | 0 | 299k| 552k|6627 | 0.000000e+00 | 4.000000e+00 | Inf
1312.11/1312.10 c 1263s|660000 | 2529 | 2724k| 4.1 | 53M| 265 | 12 |3853 | 19k|3853 | 891 | 306k| 566k|6703 | 0.000000e+00 | 4.000000e+00 | Inf
1333.02/1333.07 c 1283s|670000 | 2558 | 2770k| 4.1 | 56M| 265 | 1 |3853 | 24k|3853 | 904 | 311k| 581k|6755 | 0.000000e+00 | 4.000000e+00 | Inf
1353.81/1353.88 c 1303s|680000 | 2578 | 2813k| 4.1 | 57M| 265 | 24 |3853 | 27k|3853 | 904 | 315k| 595k|6798 | 0.000000e+00 | 4.000000e+00 | Inf
1376.52/1376.55 c 1325s|690000 | 2477 | 2856k| 4.1 | 54M| 265 | - |3853 | 22k| 0 | 0 | 319k| 609k|6885 | 0.000000e+00 | 4.000000e+00 | Inf
1397.82/1397.82 c 1345s|700000 | 2512 | 2898k| 4.1 | 55M| 265 | 18 |3853 | 24k|3853 | 904 | 320k| 623k|6933 | 0.000000e+00 | 4.000000e+00 | Inf
1420.92/1420.97 c 1368s|710000 | 2478 | 2947k| 4.2 | 56M| 265 | 8 |3853 | 25k|3853 | 911 | 326k| 637k|6994 | 0.000000e+00 | 4.000000e+00 | Inf
1444.01/1444.06 c 1390s|720000 | 2516 | 2999k| 4.2 | 57M| 265 | 15 |3853 | 28k|3853 | 903 | 333k| 651k|7049 | 0.000000e+00 | 4.000000e+00 | Inf
1467.12/1467.16 c 1412s|730000 | 2523 | 3047k| 4.2 | 57M| 265 | - |3853 | 27k| 0 | 0 | 338k| 665k|7102 | 0.000000e+00 | 4.000000e+00 | Inf
1488.42/1488.43 c 1433s|740000 | 2547 | 3087k| 4.2 | 56M| 265 | - |3853 | 24k| 0 | 0 | 341k| 679k|7141 | 0.000000e+00 | 4.000000e+00 | Inf
1511.82/1511.88 c 1455s|750000 | 2594 | 3144k| 4.2 | 58M| 265 | - |3853 | 27k| 0 | 0 | 348k| 693k|7199 | 0.000000e+00 | 4.000000e+00 | Inf
1534.82/1534.84 c 1477s|760000 | 2494 | 3192k| 4.2 | 55M| 265 | - |3853 | 21k| 0 | 0 | 351k| 706k|7306 | 0.000000e+00 | 4.000000e+00 | Inf
1555.12/1555.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1555.12/1555.12 c 1497s|770000 | 2501 | 3239k| 4.2 | 56M| 265 | - |3853 | 22k| 0 | 0 | 356k| 720k|7364 | 0.000000e+00 | 4.000000e+00 | Inf
1577.02/1577.00 c 1518s|780000 | 2466 | 3289k| 4.2 | 55M| 265 | - |3853 | 20k| 0 | 0 | 361k| 733k|7423 | 0.000000e+00 | 4.000000e+00 | Inf
1597.33/1597.37 c 1537s|790000 | 2410 | 3334k| 4.2 | 54M| 265 | 1 |3853 | 21k|3853 | 904 | 366k| 747k|7464 | 0.000000e+00 | 4.000000e+00 | Inf
1610.63/1610.62 o 3
1610.63/1610.62 c *1550s|796715 | 2069 | 3359k| 4.2 | 50M| 265 | - |3853 | 21k|3853 | 904 | 367k| 757k|7503 | 0.000000e+00 | 3.000000e+00 | Inf
1617.33/1617.32 c 1557s|800000 | 2046 | 3372k| 4.2 | 49M| 265 | 16 |3853 | 20k|3853 | 906 | 367k| 762k|7514 | 0.000000e+00 | 3.000000e+00 | Inf
1636.13/1636.12 c 1575s|810000 | 2013 | 3409k| 4.2 | 49M| 265 | 15 |3853 | 22k|3853 | 903 | 369k| 775k|7579 | 0.000000e+00 | 3.000000e+00 | Inf
1654.43/1654.49 c 1592s|820000 | 2080 | 3442k| 4.2 | 51M| 265 | - |3853 | 24k| 0 | 0 | 371k| 789k|7584 | 0.000000e+00 | 3.000000e+00 | Inf
1674.92/1674.95 c 1612s|830000 | 2097 | 3480k| 4.2 | 52M| 265 | - |3853 | 26k| 0 | 0 | 373k| 803k|7636 | 0.000000e+00 | 3.000000e+00 | Inf
1696.13/1696.17 c 1632s|840000 | 2080 | 3517k| 4.2 | 53M| 265 | - |3853 | 29k| 0 | 0 | 376k| 818k|7687 | 0.000000e+00 | 3.000000e+00 | Inf
1719.24/1719.29 c 1655s|850000 | 2124 | 3558k| 4.2 | 55M| 265 | 16 |3853 | 34k|3853 | 903 | 379k| 832k|7721 | 0.000000e+00 | 3.000000e+00 | Inf
1744.72/1744.77 c 1679s|860000 | 2123 | 3604k| 4.2 | 55M| 265 | 18 |3853 | 33k|3853 | 914 | 385k| 847k|7767 | 0.000000e+00 | 3.000000e+00 | Inf
1769.93/1769.99 c 1704s|870000 | 2044 | 3651k| 4.2 | 55M| 265 | 1 |3853 | 34k|3853 | 910 | 391k| 862k|7800 | 0.000000e+00 | 3.000000e+00 | Inf
1794.22/1794.27 c 1727s|880000 | 1998 | 3691k| 4.2 | 53M| 265 | - |3853 | 31k| 0 | 0 | 393k| 875k|7862 | 0.000000e+00 | 3.000000e+00 | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.01 c
1800.03/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.01 c Solving Time (sec) : 1732.82
1800.03/1800.01 c Solving Nodes : 882261
1800.03/1800.01 c Primal Bound : +3.00000000000000e+00 (227 solutions)
1800.03/1800.01 c Dual Bound : +0.00000000000000e+00
1800.03/1800.01 c Gap : infinite
1800.03/1800.05 s SATISFIABLE
1800.03/1800.05 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 x211 -x210
1800.03/1800.05 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189
1800.03/1800.05 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.03/1800.05 v -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.03/1800.05 v x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.03/1800.05 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.03/1800.05 v -x104 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.03/1800.05 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.03/1800.05 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.03/1800.05 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.03/1800.05 v x1
1800.03/1800.05 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.05 c Solving Time : 1732.82
1800.03/1800.05 c Original Problem :
1800.03/1800.05 c Problem name : HOME/instance-2692749-1277900794.wbo
1800.03/1800.05 c Variables : 3967 (2099 binary, 0 integer, 0 implicit integer, 1868 continuous)
1800.03/1800.05 c Constraints : 4576 initial, 4576 maximal
1800.03/1800.05 c Presolved Problem :
1800.03/1800.05 c Problem name : t_HOME/instance-2692749-1277900794.wbo
1800.03/1800.05 c Variables : 3853 (2042 binary, 0 integer, 0 implicit integer, 1811 continuous)
1800.03/1800.05 c Constraints : 4434 initial, 36741 maximal
1800.03/1800.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.05 c trivial : 0.00 57 0 0 0 0 0 0 0
1800.03/1800.05 c dualfix : 0.00 57 0 0 0 0 0 0 0
1800.03/1800.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c probing : 0.03 0 0 0 0 0 0 0 0
1800.03/1800.05 c indicator : 0.00 0 0 0 0 0 57 0 0
1800.03/1800.05 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c linear : 0.05 0 0 0 1876 0 85 67 0
1800.03/1800.05 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.05 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c root node : - 1770 - - 3540 - - - -
1800.03/1800.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.05 c integral : 0 0 0 666663 0 9 378 0 0 725912
1800.03/1800.05 c indicator : 1811 0 3377138 301876 0 246 4008187 0 0 0
1800.03/1800.05 c setppc : 5 6 3226438 142577 0 5554 578106 0 0 0
1800.03/1800.05 c linear : 1811 6 3486296 300492 0 185906 14885010 393661 0 0
1800.03/1800.05 c logicor : 807+ 6 1408342 238229 0 117592 2993912 0 0 0
1800.03/1800.05 c bounddisjunction : 0+ 0 60165 0 0 0 171 0 0 0
1800.03/1800.05 c countsols : 0 0 0 238229 0 0 0 0 0 0
1800.03/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.05 c integral : 21.49 0.00 0.00 21.49 0.00
1800.03/1800.05 c indicator : 49.53 0.00 15.43 34.10 0.00
1800.03/1800.05 c setppc : 3.35 0.00 3.35 0.00 0.00
1800.03/1800.05 c linear : 119.32 0.00 110.29 9.03 0.00
1800.03/1800.05 c logicor : 205.09 0.00 203.50 1.59 0.00
1800.03/1800.05 c bounddisjunction : 0.04 0.00 0.04 0.00 0.00
1800.03/1800.05 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.05 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.05 c vbounds : 0.00 2 0 0
1800.03/1800.05 c rootredcost : 0.01 127 0 1770
1800.03/1800.05 c pseudoobj : 115.98 3500130 4599 1997973
1800.03/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.05 c propagation : 15.99 313651 313258 1989080 28.7 14928 18.3 -
1800.03/1800.05 c infeasible LP : 6.76 24463 24463 214170 42.1 298 16.1 0
1800.03/1800.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.05 c pseudo solution : 0.04 412 412 2475 16.9 404 4.9 -
1800.03/1800.05 c applied globally : - - - 879075 22.7 - - -
1800.03/1800.05 c applied locally : - - - 0 0.0 - - -
1800.03/1800.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.05 c cut pool : 0.00 5 - - 23 - (maximal pool size: 58)
1800.03/1800.05 c redcost : 40.64 675323 0 1762708 0 0
1800.03/1800.05 c impliedbounds : 0.00 6 0 0 0 0
1800.03/1800.05 c intobj : 0.00 0 0 0 0 0
1800.03/1800.05 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.05 c gomory : 0.11 6 0 0 368 0
1800.03/1800.05 c strongcg : 0.06 6 0 0 78 0
1800.03/1800.05 c cmir : 0.03 6 0 0 0 0
1800.03/1800.05 c flowcover : 0.07 6 0 0 0 0
1800.03/1800.05 c clique : 0.00 6 0 0 0 0
1800.03/1800.05 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.05 c mcf : 0.00 1 0 0 0 0
1800.03/1800.05 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.05 c Pricers : Time Calls Vars
1800.03/1800.05 c problem variables: 0.00 0 0
1800.03/1800.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.05 c relpscost : 21.36 363263 9 378 0 0 725912
1800.03/1800.05 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.05 c inference : 36.16 238103 0 0 0 0 476206
1800.03/1800.05 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.05 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.05 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.05 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.05 c random : 0.00 0 0 0 0 0 0
1800.03/1800.05 c Primal Heuristics : Time Calls Found
1800.03/1800.05 c LP solutions : 0.71 - 126
1800.03/1800.05 c pseudo solutions : 0.00 - 0
1800.03/1800.05 c feaspump : 0.01 1 0
1800.03/1800.05 c intshifting : 0.00 7 0
1800.03/1800.05 c oneopt : 0.64 114 0
1800.03/1800.05 c crossover : 2.50 119 0
1800.03/1800.05 c coefdiving : 4.85 4673 0
1800.03/1800.05 c pscostdiving : 4.60 4673 0
1800.03/1800.05 c fracdiving : 4.49 4673 0
1800.03/1800.05 c veclendiving : 5.02 4673 0
1800.03/1800.05 c linesearchdiving : 4.63 4674 0
1800.03/1800.05 c guideddiving : 4.89 4674 0
1800.03/1800.05 c rootsoldiving : 5.05 4665 0
1800.03/1800.05 c objpscostdiving : 4.52 4666 0
1800.03/1800.05 c trivial : 0.01 2 0
1800.03/1800.05 c simplerounding : 0.41 365386 0
1800.03/1800.05 c zirounding : 0.16 1000 0
1800.03/1800.05 c rounding : 1.41 8507 0
1800.03/1800.05 c shifting : 1.27 2664 0
1800.03/1800.05 c twoopt : 0.00 0 0
1800.03/1800.05 c fixandinfer : 0.00 0 0
1800.03/1800.05 c intdiving : 0.00 0 0
1800.03/1800.05 c actconsdiving : 0.00 0 0
1800.03/1800.05 c octane : 0.00 0 0
1800.03/1800.05 c rens : 0.02 1 0
1800.03/1800.05 c rins : 0.00 0 0
1800.03/1800.05 c localbranching : 0.00 0 0
1800.03/1800.05 c mutation : 0.00 0 0
1800.03/1800.05 c dins : 0.00 0 0
1800.03/1800.05 c undercover : 0.00 0 0
1800.03/1800.05 c nlp : 0.01 0 0
1800.03/1800.05 c trysol : 0.99 10227 101
1800.03/1800.05 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.05 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.05 c dual LP : 596.58 470842 3697591 7.85 6197.98
1800.03/1800.05 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.05 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.05 c diving/probing LP: 0.45 198 3537 17.86 7860.00
1800.03/1800.05 c strong branching : 18.35 7869 123644 15.71 6738.09
1800.03/1800.05 c (at root node) : - 33 3577 108.39 -
1800.03/1800.05 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.05 c B&B Tree :
1800.03/1800.05 c number of runs : 1
1800.03/1800.05 c nodes : 882261
1800.03/1800.05 c nodes (total) : 882261
1800.03/1800.05 c nodes left : 1977
1800.03/1800.05 c max depth : 265
1800.03/1800.05 c max depth (total): 265
1800.03/1800.05 c backtracks : 77081 (8.7%)
1800.03/1800.05 c delayed cutoffs : 61125
1800.03/1800.05 c repropagations : 1309397 (4218423 domain reductions, 57672 cutoffs)
1800.03/1800.05 c avg switch length: 4.76
1800.03/1800.05 c switching time : 212.12
1800.03/1800.05 c Solution :
1800.03/1800.05 c Solutions found : 227 (127 improvements)
1800.03/1800.05 c First Solution : +9.25480000000000e+04 (in run 1, after 1 nodes, 0.11 seconds, depth 0, found by <trysol>)
1800.03/1800.05 c Primal Bound : +3.00000000000000e+00 (in run 1, after 796715 nodes, 1550.18 seconds, depth 39, found by <relaxation>)
1800.03/1800.05 c Dual Bound : +0.00000000000000e+00
1800.03/1800.05 c Gap : infinite
1800.03/1800.05 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.05 c Root Iterations : 230
1800.13/1800.14 c Time complete: 1800.17.
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692749-1277900794/watcher-2692749-1277900794 -o /tmp/evaluation-result-2692749-1277900794/solver-2692749-1277900794 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692749-1277900794.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 2.03 2.05 3/196 12186 /proc/meminfo: memFree=31760624/32951124 swapFree=67111528/67111528 [pid=12186] ppid=12184 vsize=9420 CPUtime=0 /proc/12186/stat : 12186 (pbscip.linux.x8) R 12184 12186 11676 0 -1 4202496 1648 0 0 0 0 0 0 0 21 0 1 0 131377335 9646080 1568 4089446400 4194304 8223781 140735832205152 18446744073709551615 7235108 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/12186/statm: 2355 1568 369 984 0 1368 0 [startup+0.029572 s] /proc/loadavg: 1.92 2.03 2.05 3/196 12186 /proc/meminfo: memFree=31760624/32951124 swapFree=67111528/67111528 [pid=12186] ppid=12184 vsize=15540 CPUtime=0.02 /proc/12186/stat : 12186 (pbscip.linux.x8) R 12184 12186 11676 0 -1 4202496 3186 0 0 0 2 0 0 0 21 0 1 0 131377335 15912960 3106 4089446400 4194304 8223781 140735832205152 18446744073709551615 7297360 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/12186/statm: 3885 3106 369 984 0 2898 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 15540 [startup+0.100578 s] /proc/loadavg: 1.92 2.03 2.05 3/196 12186 /proc/meminfo: memFree=31760624/32951124 swapFree=67111528/67111528 [pid=12186] ppid=12184 vsize=29780 CPUtime=0.09 /proc/12186/stat : 12186 (pbscip.linux.x8) R 12184 12186 11676 0 -1 4202496 7844 0 0 0 8 1 0 0 21 0 1 0 131377335 30494720 6372 4089446400 4194304 8223781 140735832205152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12186/statm: 7445 6372 452 984 0 6458 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 29780 [startup+0.300529 s] /proc/loadavg: 1.92 2.03 2.05 3/196 12186 /proc/meminfo: memFree=31760624/32951124 swapFree=67111528/67111528 [pid=12186] ppid=12184 vsize=35864 CPUtime=0.29 /proc/12186/stat : 12186 (pbscip.linux.x8) R 12184 12186 11676 0 -1 4202496 11595 0 0 0 26 3 0 0 21 0 1 0 131377335 36724736 8040 4089446400 4194304 8223781 140735832205152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12186/statm: 8966 8040 572 984 0 7979 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 35864 [startup+0.700465 s] /proc/loadavg: 1.92 2.03 2.05 3/196 12186 /proc/meminfo: memFree=31760624/32951124 swapFree=67111528/67111528 [pid=12186] ppid=12184 vsize=39704 CPUtime=0.69 /proc/12186/stat : 12186 (pbscip.linux.x8) R 12184 12186 11676 0 -1 4202496 18950 0 0 0 63 6 0 0 22 0 1 0 131377335 40656896 9014 4089446400 4194304 8223781 140735832205152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12186/statm: 9926 9014 587 984 0 8939 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 39704 [startup+1.50031 s] /proc/loadavg: 1.92 2.03 2.05 3/197 12187 /proc/meminfo: memFree=31727056/32951124 swapFree=67111528/67111528 [pid=12186] ppid=12184 vsize=39704 CPUtime=1.49 /proc/12186/stat : 12186 (pbscip.linux.x8) R 12184 12186 11676 0 -1 4202496 18951 0 0 0 140 9 0 0 25 0 1 0 131377335 40656896 9015 4089446400 4194304 8223781 140735832205152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12186/statm: 9926 9015 588 984 0 8939 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 39704 [startup+3.10104 s] /proc/loadavg: 1.92 2.03 2.05 3/197 12187 /proc/meminfo: memFree=31726684/32951124 swapFree=67111528/67111528 [pid=12186] ppid=12184 vsize=39796 CPUtime=3.09 /proc/12186/stat : 12186 (pbscip.linux.x8) R 12184 12186 11676 0 -1 4202496 19010 0 0 0 295 14 0 0 25 0 1 0 131377335 40751104 9074 4089446400 4194304 8223781 140735832205152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12186/statm: 9949 9074 589 984 0 8962 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 39796 [startup+6.30048 s] /proc/loadavg: 1.93 2.03 2.05 3/197 12187 /proc/meminfo: memFree=31726864/32951124 swapFree=67111528/67111528 [pid=12186] ppid=12184 vsize=40276 CPUtime=6.3 /proc/12186/stat : 12186 (pbscip.linux.x8) R 12184 12186 11676 0 -1 4202496 24426 0 0 0 602 28 0 0 25 0 1 0 131377335 41242624 9206 4089446400 4194304 8223781 140735832205152 18446744073709551615 6007405 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12186/statm: 10069 9206 591 984 0 9082 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 40276 [startup+12.7003 s] /proc/loadavg: 1.93 2.03 2.05 3/197 12187 /proc/meminfo: memFree=31720452/32951124 swapFree=67111528/67111528 [pid=12186] ppid=12184 vsize=48748 CPUtime=12.69 /proc/12186/stat : 12186 (pbscip.linux.x8) R 12184 12186 11676 0 -1 4202496 39231 0 0 0 1218 51 0 0 25 0 1 0 131377335 49917952 11097 4089446400 4194304 8223781 140735832205152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12186/statm: 12187 11097 591 984 0 11200 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 48748 [startup+25.5011 s] /proc/loadavg: 1.95 2.03 2.04 3/197 12187 /proc/meminfo: memFree=31708440/32951124 swapFree=67111528/67111528 [pid=12186] ppid=12184 vsize=61440 CPUtime=25.49 /proc/12186/stat : 12186 (pbscip.linux.x8) R 12184 12186 11676 0 -1 4202496 54691 0 0 0 2453 96 0 0 25 0 1 0 131377335 62914560 14302 4089446400 4194304 8223781 140735832205152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12186/statm: 15360 14302 591 984 0 14373 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 61440 [startup+51.1005 s] /proc/loadavg: 1.96 2.02 2.04 3/197 12188 /proc/meminfo: memFree=31682236/32951124 swapFree=67111528/67111528 [pid=12186] ppid=12184 vsize=86668 CPUtime=51.09 /proc/12186/stat : 12186 (pbscip.linux.x8) R 12184 12186 11676 0 -1 4202496 67625 0 0 0 4929 180 0 0 25 0 1 0 131377335 88748032 20664 4089446400 4194304 8223781 140735832205152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12186/statm: 21667 20664 594 984 0 20680 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 86668 [startup+102.306 s] /proc/loadavg: 1.98 2.02 2.04 3/197 12189 /proc/meminfo: memFree=31631084/32951124 swapFree=67111528/67111528 [pid=12186] ppid=12184 vsize=137368 CPUtime=102.3 /proc/12186/stat : 12186 (pbscip.linux.x8) R 12184 12186 11676 0 -1 4202496 97097 0 0 0 9874 356 0 0 25 0 1 0 131377335 140664832 33444 4089446400 4194304 8223781 140735832205152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12186/statm: 34342 33444 595 984 0 33355 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 137368 [startup+162.301 s] /proc/loadavg: 1.99 2.01 2.03 3/197 12191 /proc/meminfo: memFree=31567036/32951124 swapFree=67111528/67111528 [pid=12186] ppid=12184 vsize=203036 CPUtime=162.29 /proc/12186/stat : 12186 (pbscip.linux.x8) R 12184 12186 11676 0 -1 4202496 120225 0 0 0 15676 553 0 0 25 0 1 0 131377335 207908864 49455 4089446400 4194304 8223781 140735832205152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12186/statm: 50759 49455 595 984 0 49772 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 203036 [startup+222.3 s] /proc/loadavg: 1.99 2.01 2.02 3/197 12193 /proc/meminfo: memFree=31496288/32951124 swapFree=67111528/67111528 [pid=12186] ppid=12184 vsize=272240 CPUtime=222.29 /proc/12186/stat : 12186 (pbscip.linux.x8) R 12184 12186 11676 0 -1 4202496 142991 0 0 0 21489 740 0 0 25 0 1 0 131377335 278773760 66925 4089446400 4194304 8223781 140735832205152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12186/statm: 68060 66925 595 984 0 67073 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 272240 [startup+282.301 s] /proc/loadavg: 2.12 2.03 2.03 2/198 12250 /proc/meminfo: memFree=31410380/32951124 swapFree=67111528/67111528 [pid=12186] ppid=12184 vsize=331888 CPUtime=282.29 /proc/12186/stat : 12186 (pbscip.linux.x8) R 12184 12186 11676 0 -1 4202496 194852 0 0 0 27298 931 0 0 25 0 1 0 131377335 339853312 81963 4089446400 4194304 8223781 140735832205152 18446744073709551615 4207447 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12186/statm: 82972 81963 595 984 0 81985 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 331888 [startup+342.301 s] /proc/loadavg: 2.54 2.15 2.07 4/200 12277 /proc/meminfo: memFree=31238536/32951124 swapFree=67111528/67111528 [pid=12186] ppid=12184 vsize=367796 CPUtime=342.29 /proc/12186/stat : 12186 (pbscip.linux.x8) R 12184 12186 11676 0 -1 4202496 326594 0 0 0 33121 1108 0 0 25 0 1 0 131377335 376623104 90908 4089446400 4194304 8223781 140735832205152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12186/statm: 91949 90908 595 984 0 90962 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 367796 [startup+402.3 s] /proc/loadavg: 2.79 2.30 2.12 4/200 12279 /proc/meminfo: memFree=31182312/32951124 swapFree=67111528/67111528 [pid=12186] ppid=12184 vsize=414544 CPUtime=402.3 /proc/12186/stat : 12186 (pbscip.linux.x8) R 12184 12186 11676 0 -1 4202496 448857 0 0 0 38922 1308 0 0 25 0 1 0 131377335 424493056 102542 4089446400 4194304 8223781 140735832205152 18446744073709551615 7256940 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12186/statm: 103636 102542 597 984 0 102649 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 414544 [startup+462.301 s] /proc/loadavg: 2.92 2.43 2.17 4/200 12281 /proc/meminfo: memFree=31144064/32951124 swapFree=67111528/67111528 [pid=12186] ppid=12184 vsize=440368 CPUtime=462.3 /proc/12186/stat : 12186 (pbscip.linux.x8) R 12184 12186 11676 0 -1 4202496 549224 0 0 0 44723 1507 0 0 25 0 1 0 131377335 450936832 108944 4089446400 4194304 8223781 140735832205152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12186/statm: 110092 108944 597 984 0 109105 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 440368 [startup+522.301 s] /proc/loadavg: 2.86 2.50 2.21 4/200 12283 /proc/meminfo: memFree=31096012/32951124 swapFree=67111528/67111528 [pid=12186] ppid=12184 vsize=482056 CPUtime=522.3 /proc/12186/stat : 12186 (pbscip.linux.x8) R 12184 12186 11676 0 -1 4202496 719992 0 0 0 50506 1724 0 0 25 0 1 0 131377335 493625344 119124 4089446400 4194304 8223781 140735832205152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12186/statm: 120514 119124 597 984 0 119527 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 482056 [startup+582.3 s] /proc/loadavg: 2.86 2.56 2.25 4/200 12284 /proc/meminfo: memFree=31085160/32951124 swapFree=67111528/67111528 [pid=12186] ppid=12184 vsize=486216 CPUtime=582.29 /proc/12186/stat : 12186 (pbscip.linux.x8) R 12184 12186 11676 0 -1 4202496 782576 0 0 0 56229 2000 0 0 25 0 1 0 131377335 497885184 120149 4089446400 4194304 8223781 140735832205152 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12186/statm: 121554 120149 604 984 0 120567 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 486216 [startup+642.301 s] /proc/loadavg: 2.80 2.59 2.28 4/200 12285 /proc/meminfo: memFree=31077772/32951124 swapFree=67111528/67111528 [pid=12186] ppid=12184 vsize=486840 CPUtime=642.3 /proc/12186/stat : 12186 (pbscip.linux.x8) R 12184 12186 11676 0 -1 4202496 814888 0 0 0 61975 2255 0 0 25 0 1 0 131377335 498524160 120293 4089446400 4194304 8223781 140735832205152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12186/statm: 121710 120293 604 984 0 120723 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 486840 [startup+702.301 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.89 2.74 2.40 3/200 12292 /proc/meminfo: memFree=31059052/32951124 swapFree=67111528/67111528 [pid=12186] ppid=12184 vsize=490272 CPUtime=882.31 /proc/12186/stat : 12186 (pbscip.linux.x8) R 12184 12186 11676 0 -1 4202496 855014 0 0 0 85029 3202 0 0 25 0 1 0 131377335 502038528 121170 4089446400 4194304 8223781 140735832205152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12186/statm: 122568 121170 604 984 0 121581 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 490272 [startup+942.301 s] /proc/loadavg: 2.81 2.75 2.43 3/198 12293 /proc/meminfo: memFree=31054812/32951124 swapFree=67111528/67111528 [pid=12186] ppid=12184 vsize=491884 CPUtime=942.31 /proc/12186/stat : 12186 (pbscip.linux.x8) R 12184 12186 11676 0 -1 4202496 860067 0 0 0 90809 3422 0 0 25 0 1 0 131377335 503689216 121565 4089446400 4194304 8223781 140735832205152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12186/statm: 122971 121565 604 984 0 121984 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 491884 [startup+1002.3 s] /proc/loadavg: 2.30 2.61 2.40 3/179 12323 /proc/meminfo: memFree=31150004/32951124 swapFree=67111528/67111528 [pid=12186] ppid=12184 vsize=493368 CPUtime=1002.31 /proc/12186/stat : 12186 (pbscip.linux.x8) R 12184 12186 11676 0 -1 4202496 866124 0 0 0 96577 3654 0 0 25 0 1 0 131377335 505208832 121869 4089446400 4194304 8223781 140735832205152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12186/statm: 123342 121869 604 984 0 122355 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 493368 [startup+1062.3 s] /proc/loadavg: 2.11 2.50 2.37 3/179 12325 /proc/meminfo: memFree=30984428/32951124 swapFree=67111528/67111528 [pid=12186] ppid=12184 vsize=496148 CPUtime=1062.3 /proc/12186/stat : 12186 (pbscip.linux.x8) R 12184 12186 11676 0 -1 4202496 877522 0 0 0 102344 3886 0 0 25 0 1 0 131377335 508055552 122566 4089446400 4194304 8223781 140735832205152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12186/statm: 124037 122566 604 984 0 123050 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 496148 [startup+1122.3 s] /proc/loadavg: 2.04 2.41 2.34 3/179 12354 /proc/meminfo: memFree=31209084/32951124 swapFree=67111528/67111528 [pid=12186] ppid=12184 vsize=496700 CPUtime=1122.31 /proc/12186/stat : 12186 (pbscip.linux.x8) R 12184 12186 11676 0 -1 4202496 877899 0 0 0 108104 4127 0 0 25 0 1 0 131377335 508620800 122709 4089446400 4194304 8223781 140735832205152 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12186/statm: 124175 122709 604 984 0 123188 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 496700 [startup+1182.3 s] /proc/loadavg: 2.09 2.35 2.33 3/179 12355 /proc/meminfo: memFree=31083704/32951124 swapFree=67111528/67111528 [pid=12186] ppid=12184 vsize=497152 CPUtime=1182.31 /proc/12186/stat : 12186 (pbscip.linux.x8) R 12184 12186 11676 0 -1 4202496 879460 0 0 0 113860 4371 0 0 25 0 1 0 131377335 509083648 122830 4089446400 4194304 8223781 140735832205152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12186/statm: 124288 122830 604 984 0 123301 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 497152 [startup+1242.3 s] /proc/loadavg: 2.03 2.28 2.30 3/179 12356 /proc/meminfo: memFree=30954068/32951124 swapFree=67111528/67111528 [pid=12186] ppid=12184 vsize=497720 CPUtime=1242.32 /proc/12186/stat : 12186 (pbscip.linux.x8) R 12184 12186 11676 0 -1 4202496 888954 0 0 0 119596 4636 0 0 25 0 1 0 131377335 509665280 122900 4089446400 4194304 8223781 140735832205152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12186/statm: 124430 122900 604 984 0 123443 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 497720 [startup+1302.3 s] /proc/loadavg: 2.01 2.23 2.28 3/179 12358 /proc/meminfo: memFree=30862252/32951124 swapFree=67111528/67111528 [pid=12186] ppid=12184 vsize=497944 CPUtime=1302.32 /proc/12186/stat : 12186 (pbscip.linux.x8) R 12184 12186 11676 0 -1 4202496 891369 0 0 0 125357 4875 0 0 25 0 1 0 131377335 509894656 122964 4089446400 4194304 8223781 140735832205152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12186/statm: 124486 122964 604 984 0 123499 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 497944 [startup+1362.3 s] /proc/loadavg: 2.00 2.18 2.26 3/179 12360 /proc/meminfo: memFree=30800692/32951124 swapFree=67111528/67111528 [pid=12186] ppid=12184 vsize=499132 CPUtime=1362.31 /proc/12186/stat : 12186 (pbscip.linux.x8) R 12184 12186 11676 0 -1 4202496 892134 0 0 0 131131 5100 0 0 25 0 1 0 131377335 511111168 123186 4089446400 4194304 8223781 140735832205152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12186/statm: 124783 123186 604 984 0 123796 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 499132 [startup+1422.31 s] /proc/loadavg: 2.03 2.16 2.25 3/179 12362 /proc/meminfo: memFree=30748444/32951124 swapFree=67111528/67111528 [pid=12186] ppid=12184 vsize=499376 CPUtime=1422.32 /proc/12186/stat : 12186 (pbscip.linux.x8) R 12184 12186 11676 0 -1 4202496 892258 0 0 0 136906 5326 0 0 25 0 1 0 131377335 511361024 123262 4089446400 4194304 8223781 140735832205152 18446744073709551615 4208859 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12186/statm: 124844 123262 604 984 0 123857 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 499376 [startup+1482.3 s] /proc/loadavg: 2.01 2.13 2.23 3/179 12363 /proc/meminfo: memFree=30707232/32951124 swapFree=67111528/67111528 [pid=12186] ppid=12184 vsize=502580 CPUtime=1482.32 /proc/12186/stat : 12186 (pbscip.linux.x8) R 12184 12186 11676 0 -1 4202496 899990 0 0 0 142683 5549 0 0 25 0 1 0 131377335 514641920 124043 4089446400 4194304 8223781 140735832205152 18446744073709551615 4221346 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12186/statm: 125645 124043 604 984 0 124658 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 502580 [startup+1542.3 s] /proc/loadavg: 2.00 2.10 2.21 3/179 12364 /proc/meminfo: memFree=30633044/32951124 swapFree=67111528/67111528 [pid=12186] ppid=12184 vsize=502580 CPUtime=1542.32 /proc/12186/stat : 12186 (pbscip.linux.x8) R 12184 12186 11676 0 -1 4202496 900012 0 0 0 148464 5768 0 0 25 0 1 0 131377335 514641920 124065 4089446400 4194304 8223781 140735832205152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12186/statm: 125645 124065 604 984 0 124658 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 502580 [startup+1602.3 s] /proc/loadavg: 2.00 2.08 2.19 3/179 12366 /proc/meminfo: memFree=30553320/32951124 swapFree=67111528/67111528 [pid=12186] ppid=12184 vsize=502580 CPUtime=1602.32 /proc/12186/stat : 12186 (pbscip.linux.x8) R 12184 12186 11676 0 -1 4202496 900020 0 0 0 154222 6010 0 0 25 0 1 0 131377335 514641920 124073 4089446400 4194304 8223781 140735832205152 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12186/statm: 125645 124073 604 984 0 124658 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 502580 [startup+1662.3 s] /proc/loadavg: 2.00 2.06 2.18 3/179 12368 /proc/meminfo: memFree=30465008/32951124 swapFree=67111528/67111528 [pid=12186] ppid=12184 vsize=502684 CPUtime=1662.33 /proc/12186/stat : 12186 (pbscip.linux.x8) R 12184 12186 11676 0 -1 4202496 952337 0 0 0 159975 6258 0 0 25 0 1 0 131377335 514748416 124142 4089446400 4194304 8223781 140735832205152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12186/statm: 125671 124142 604 984 0 124684 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 502684 [startup+1722.3 s] /proc/loadavg: 2.00 2.05 2.17 3/179 12370 /proc/meminfo: memFree=30379764/32951124 swapFree=67111528/67111528 [pid=12186] ppid=12184 vsize=502792 CPUtime=1722.33 /proc/12186/stat : 12186 (pbscip.linux.x8) R 12184 12186 11676 0 -1 4202496 955985 0 0 0 165765 6468 0 0 25 0 1 0 131377335 514859008 124169 4089446400 4194304 8223781 140735832205152 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12186/statm: 125698 124169 604 984 0 124711 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 502792 [startup+1782.3 s] /proc/loadavg: 2.04 2.05 2.16 3/179 12371 /proc/meminfo: memFree=30297736/32951124 swapFree=67111528/67111528 [pid=12186] ppid=12184 vsize=503140 CPUtime=1782.33 /proc/12186/stat : 12186 (pbscip.linux.x8) R 12184 12186 11676 0 -1 4202496 956075 0 0 0 171574 6659 0 0 25 0 1 0 131377335 515215360 124259 4089446400 4194304 8223781 140735832205152 18446744073709551615 4219802 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12186/statm: 125785 124259 604 984 0 124798 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 503140 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.02 2.05 2.16 3/179 12372 /proc/meminfo: memFree=30289544/32951124 swapFree=67111528/67111528 [pid=12186] ppid=12184 vsize=503140 CPUtime=1800.03 /proc/12186/stat : 12186 (pbscip.linux.x8) R 12184 12186 11676 0 -1 4202496 956093 0 0 0 173285 6718 0 0 25 0 1 0 131377335 515215360 124277 4089446400 4194304 8223781 140735832205152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12186/statm: 125785 124277 604 984 0 124798 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 503140 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.02 2.05 2.16 3/179 12372 /proc/meminfo: memFree=30289544/32951124 swapFree=67111528/67111528 [pid=12186] ppid=12184 vsize=394804 CPUtime=1800.13 /proc/12186/stat : 12186 (pbscip.linux.x8) R 12184 12186 11676 0 -1 4202496 956095 0 0 0 173294 6719 0 0 25 0 1 0 131377335 404279296 97195 4089446400 4194304 8223781 140735832205152 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/12186/statm: 98701 97195 606 984 0 97714 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 394804 Child status: 0 Real time (s): 1800.14 CPU time (s): 1800.18 CPU user time (s): 1732.97 CPU system time (s): 67.2078 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 517904 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1732.97 system time used= 67.2078 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 956099 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= 1847 runsolver used 3.14652 second user time and 6.28104 second system time The end
Begin job on node101 at 2010-06-30 14:26:34 IDJOB=2692749 IDBENCH=78885 IDSOLVER=1204 FILE ID=node101/2692749-1277900794 PBS_JOBID= 11197213 Free space on /tmp= 74212 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.1900584219--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-2692749-1277900794/watcher-2692749-1277900794 -o /tmp/evaluation-result-2692749-1277900794/solver-2692749-1277900794 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692749-1277900794.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8d817301a4b1c2c9b4fea9d5d7fdc9d1 RANDOM SEED=1807923256 node101.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.837 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.67 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.837 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 : 5226.15 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.837 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.837 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.837 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.837 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.82 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.837 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.837 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31761276 kB Buffers: 186404 kB Cached: 736692 kB SwapCached: 0 kB Active: 532204 kB Inactive: 514920 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31761276 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4712 kB Writeback: 0 kB AnonPages: 123924 kB Mapped: 20276 kB Slab: 77284 kB PageTables: 5368 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1655604 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node101 at 2010-06-30 14:56:37