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.17 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900569834--soft-33-100-0.wbo |
| MD5SUM | 9b675eaf583b613075d5327645ad3a71 |
| 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 | 8 |
| Best CPU time to get the best result obtained on this benchmark | 930.493 |
| 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 | 1863 |
| 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 | 94064 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 94063 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 723 |
| 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-2692773-1277902847.wbo>
0.00/0.03 c original problem has 3957 variables (2094 bin, 0 int, 0 impl, 1863 cont) and 4571 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, 2001 impls, 5 clqs
0.05/0.09 c (round 2) 0 del vars, 66 del conss, 1863 chg bounds, 51 chg sides, 0 chg coeffs, 0 upgd conss, 2001 impls, 5 clqs
0.09/0.10 c (round 3) 51 del vars, 136 del conss, 1876 chg bounds, 70 chg sides, 0 chg coeffs, 0 upgd conss, 2001 impls, 5 clqs
0.09/0.10 c (round 4) 115 del vars, 151 del conss, 1878 chg bounds, 72 chg sides, 0 chg coeffs, 0 upgd conss, 2001 impls, 5 clqs
0.09/0.12 c (round 5) 130 del vars, 153 del conss, 1878 chg bounds, 72 chg sides, 0 chg coeffs, 824 upgd conss, 2001 impls, 5 clqs
0.09/0.13 c (round 6) 132 del vars, 153 del conss, 1878 chg bounds, 72 chg sides, 0 chg coeffs, 824 upgd conss, 2001 impls, 5 clqs
0.09/0.17 c (0.1s) probing: 101/2028 (5.0%) - 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 (7 rounds):
0.09/0.17 c 132 deleted vars, 153 deleted constraints, 1878 tightened bounds, 0 added holes, 72 changed sides, 0 changed coefficients
0.09/0.17 c 2001 implications, 5 cliques
0.09/0.17 c presolved problem has 3825 variables (2028 bin, 0 int, 0 impl, 1797 cont) and 4418 constraints
0.09/0.17 c 1797 constraints of type <indicator>
0.09/0.17 c 5 constraints of type <setppc>
0.09/0.17 c 1797 constraints of type <linear>
0.09/0.17 c 819 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.13
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 | 6 | - | 14M| 0 | 0 |3825 |4418 |3825 | 824 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 c 0.1s| 1 | 0 | 58 | - | 14M| 0 | 20 |3825 |4418 |3825 | 842 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 o 90811
0.09/0.19 c y 0.1s| 1 | 0 | 58 | - | 14M| 0 | 20 |3825 |4418 |3825 | 842 | 18 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.19/0.22 c 0.2s| 1 | 0 | 96 | - | 14M| 0 | 44 |3825 |4418 |3825 | 872 | 48 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.19/0.29 c 0.2s| 1 | 0 | 144 | - | 14M| 0 | 49 |3825 |4418 |3825 | 883 | 59 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.29/0.36 c 0.3s| 1 | 0 | 162 | - | 15M| 0 | 51 |3825 |4418 |3825 | 886 | 62 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.39/0.44 c 0.4s| 1 | 0 | 177 | - | 15M| 0 | 53 |3825 |4418 |3825 | 895 | 71 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.49/0.51 c 0.5s| 1 | 0 | 198 | - | 15M| 0 | 57 |3825 |4418 |3825 | 901 | 77 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.99/1.05 c 1.0s| 1 | 2 | 198 | - | 15M| 0 | 57 |3825 |4418 |3825 | 901 | 77 | 0 | 33 | 0.000000e+00 | 9.081100e+04 | Inf
28.69/28.74 c 28.4s| 10000 | 9987 | 57278 | 5.7 | 40M| 109 | 0 |3825 |4432 |3825 | 907 |7215 | 20 |1701 | 0.000000e+00 | 9.081100e+04 | Inf
45.00/45.07 c 44.5s| 20000 | 19969 | 80739 | 4.0 | 58M| 113 | 0 |3825 |4454 |3825 | 950 | 12k| 56 |1726 | 0.000000e+00 | 9.081100e+04 | Inf
61.30/61.36 c 60.6s| 30000 | 29965 |102391 | 3.4 | 76M| 113 | 14 |3825 |4445 |3825 | 927 | 18k| 64 |1742 | 0.000000e+00 | 9.081100e+04 | Inf
77.49/77.56 c 76.6s| 40000 | 39963 |122528 | 3.1 | 94M| 113 | 0 |3825 |4436 |3825 | 918 | 23k| 65 |1750 | 0.000000e+00 | 9.081100e+04 | Inf
93.90/93.95 c 92.8s| 50000 | 49957 |145295 | 2.9 | 112M| 117 | 0 |3825 |4433 |3825 | 930 | 28k| 70 |1764 | 0.000000e+00 | 9.081100e+04 | Inf
110.29/110.33 c 109s| 60000 | 59945 |166613 | 2.8 | 129M| 117 | 0 |3825 |4436 |3825 | 915 | 32k| 88 |1767 | 0.000000e+00 | 9.081100e+04 | Inf
127.19/127.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
127.19/127.29 c 126s| 70000 | 69939 |194281 | 2.8 | 147M| 117 | 0 |3825 |4430 |3825 | 946 | 36k| 91 |1769 | 0.000000e+00 | 9.081100e+04 | Inf
143.50/143.50 c 142s| 80000 | 79933 |214801 | 2.7 | 165M| 117 | 0 |3825 |4433 |3825 | 940 | 40k| 97 |1769 | 0.000000e+00 | 9.081100e+04 | Inf
159.89/159.92 c 158s| 90000 | 89929 |237351 | 2.6 | 182M| 117 | 0 |3825 |4433 |3825 | 909 | 43k| 102 |1769 | 0.000000e+00 | 9.081100e+04 | Inf
175.90/175.96 c 174s|100000 | 99927 |254802 | 2.5 | 200M| 117 | 0 |3825 |4430 |3825 | 984 | 48k| 103 |1809 | 0.000000e+00 | 9.081100e+04 | Inf
192.09/192.16 c 190s|110000 |109925 |274314 | 2.5 | 217M| 117 | 8 |3825 |4431 |3825 | 896 | 52k| 104 |1861 | 0.000000e+00 | 9.081100e+04 | Inf
208.30/208.35 c 206s|120000 |119925 |294581 | 2.5 | 234M| 125 | 6 |3825 |4430 |3825 | 926 | 54k| 104 |1909 | 0.000000e+00 | 9.081100e+04 | Inf
224.80/224.83 c 222s|130000 |129921 |316259 | 2.4 | 252M| 125 | 0 |3825 |4431 |3825 | 926 | 59k| 108 |2042 | 0.000000e+00 | 9.081100e+04 | Inf
240.69/240.77 c 238s|140000 |139919 |333474 | 2.4 | 269M| 125 | 0 |3825 |4430 |3825 | 940 | 63k| 109 |2080 | 0.000000e+00 | 9.081100e+04 | Inf
252.70/252.76 o 1086
252.70/252.76 c * 250s|147230 |139941 |349373 | 2.4 | 270M| 125 | - |3825 |4427 |3825 | 915 | 66k| 109 |2168 | 0.000000e+00 | 1.086000e+03 | Inf
258.90/258.92 c 256s|150000 |142711 |365349 | 2.4 | 275M| 125 | 0 |3825 |4435 |3825 | 926 | 67k| 117 |2220 | 0.000000e+00 | 1.086000e+03 | Inf
280.90/280.99 c 278s|160000 |152665 |414097 | 2.6 | 294M| 125 | 0 |3825 |4502 |3825 | 920 | 78k| 223 |2438 | 0.000000e+00 | 1.086000e+03 | Inf
302.10/302.19 c 299s|170000 |162626 |457988 | 2.7 | 312M| 125 | 0 |3825 |4489 |3825 | 920 | 87k| 315 |2592 | 0.000000e+00 | 1.086000e+03 | Inf
323.70/323.70 c 320s|180000 |172602 |504121 | 2.8 | 330M| 125 | 0 |3825 |4467 |3825 | 929 | 96k| 347 |2785 | 0.000000e+00 | 1.086000e+03 | Inf
346.51/346.59 c 343s|190000 |182551 |561450 | 3.0 | 349M| 125 | 0 |3825 |4507 |3825 | 913 | 106k| 484 |2938 | 0.000000e+00 | 1.086000e+03 | Inf
368.70/368.74 c 365s|200000 |192519 |614407 | 3.1 | 367M| 125 | 0 |3825 |4502 |3825 | 909 | 116k| 557 |3115 | 0.000000e+00 | 1.086000e+03 | Inf
374.10/374.12 o 1080
374.10/374.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
374.10/374.12 c * 370s|202832 |195084 |622566 | 3.1 | 371M| 125 | - |3825 |4528 |3825 | 933 | 118k| 599 |3156 | 0.000000e+00 | 1.080000e+03 | Inf
389.31/389.40 c 385s|210000 |202208 |653545 | 3.1 | 384M| 125 | 0 |3825 |4525 |3825 | 939 | 126k| 704 |3272 | 0.000000e+00 | 1.080000e+03 | Inf
409.21/409.25 c 405s|220000 |212182 |690329 | 3.1 | 402M| 125 | 0 |3825 |4509 |3825 | 927 | 134k| 762 |3411 | 0.000000e+00 | 1.080000e+03 | Inf
429.81/429.82 c 425s|230000 |222143 |732839 | 3.2 | 420M| 125 | 0 |3825 |4492 |3825 | 921 | 143k| 849 |3502 | 0.000000e+00 | 1.080000e+03 | Inf
450.70/450.71 c 446s|240000 |232079 |778214 | 3.2 | 437M| 125 | 0 |3825 |4546 |3825 | 915 | 153k| 978 |3613 | 0.000000e+00 | 1.080000e+03 | Inf
472.10/472.11 c 467s|250000 |242019 |818994 | 3.3 | 455M| 145 | 0 |3825 |4585 |3825 | 911 | 163k|1170 |3753 | 0.000000e+00 | 1.080000e+03 | Inf
493.70/493.74 c 488s|260000 |251899 |866756 | 3.3 | 474M| 145 | 0 |3825 |4501 |3825 | 930 | 172k|1418 |3864 | 0.000000e+00 | 1.080000e+03 | Inf
514.31/514.36 c 509s|270000 |261814 |907788 | 3.4 | 491M| 145 | 0 |3825 |4630 |3825 | 917 | 181k|1649 |3950 | 0.000000e+00 | 1.080000e+03 | Inf
534.11/534.11 c 528s|280000 |271727 |941445 | 3.4 | 509M| 145 | 7 |3825 |4636 |3825 | 914 | 190k|1867 |4027 | 0.000000e+00 | 1.080000e+03 | Inf
553.01/553.00 c 547s|290000 |281652 |972619 | 3.4 | 527M| 145 | 0 |3825 |4516 |3825 | 929 | 198k|2037 |4087 | 0.000000e+00 | 1.080000e+03 | Inf
573.01/573.05 c 567s|300000 |291604 | 1007k| 3.4 | 545M| 145 | 0 |3825 |4510 |3825 | 935 | 208k|2163 |4161 | 0.000000e+00 | 1.080000e+03 | Inf
593.01/593.01 c 587s|310000 |301528 | 1045k| 3.4 | 562M| 145 | 0 |3825 |4563 |3825 | 918 | 218k|2345 |4252 | 0.000000e+00 | 1.080000e+03 | Inf
613.11/613.17 c 607s|320000 |311473 | 1081k| 3.4 | 580M| 145 | 0 |3825 |4567 |3825 | 940 | 229k|2481 |4330 | 0.000000e+00 | 1.080000e+03 | Inf
632.11/632.17 c 625s|330000 |321431 | 1110k| 3.4 | 597M| 145 | 0 |3825 |4570 |3825 | 930 | 239k|2569 |4399 | 0.000000e+00 | 1.080000e+03 | Inf
640.50/640.55 o 1069
640.50/640.55 c * 634s|334643 |325626 | 1121k| 3.4 | 604M| 145 | - |3825 |4581 |3825 | 967 | 243k|2596 |4400 | 0.000000e+00 | 1.069000e+03 | Inf
640.50/640.57 o 1057
640.50/640.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
640.50/640.57 c * 634s|334644 |325173 | 1121k| 3.4 | 603M| 145 | - |3825 |4580 |3825 | 967 | 243k|2596 |4400 | 0.000000e+00 | 1.057000e+03 | Inf
651.31/651.34 c 644s|340000 |330483 | 1140k| 3.4 | 612M| 145 | 10 |3825 |4605 |3825 | 910 | 248k|2730 |4454 | 0.000000e+00 | 1.057000e+03 | Inf
670.60/670.63 c 663s|350000 |340458 | 1169k| 3.3 | 629M| 145 | 0 |3825 |4545 |3825 | 920 | 258k|2772 |4498 | 0.000000e+00 | 1.057000e+03 | Inf
691.41/691.40 c 684s|360000 |350389 | 1207k| 3.4 | 648M| 145 | 0 |3825 |4582 |3825 | 916 | 268k|2977 |4579 | 0.000000e+00 | 1.057000e+03 | Inf
711.51/711.53 c 704s|370000 |360300 | 1245k| 3.4 | 665M| 145 | 0 |3825 |4600 |3825 | 921 | 280k|3222 |4643 | 0.000000e+00 | 1.057000e+03 | Inf
724.51/724.59 o 1046
724.51/724.59 c * 717s|376343 |366184 | 1269k| 3.4 | 675M| 145 | - |3825 |4561 |3825 | 940 | 286k|3304 |4663 | 0.000000e+00 | 1.046000e+03 | Inf
731.71/731.74 c 724s|380000 |369825 | 1280k| 3.4 | 682M| 145 | 0 |3825 |4554 |3825 | 914 | 290k|3330 |4722 | 0.000000e+00 | 1.046000e+03 | Inf
755.11/755.11 c 747s|390000 |379678 | 1333k| 3.4 | 702M| 145 | 0 |3825 |4622 |3825 | 938 | 298k|3779 |4776 | 0.000000e+00 | 1.046000e+03 | Inf
760.01/760.07 o 1044
760.01/760.07 c * 752s|392168 |381714 | 1342k| 3.4 | 707M| 145 | - |3825 |4674 |3825 | 911 | 299k|3922 |4789 | 0.000000e+00 | 1.044000e+03 | Inf
776.52/776.52 c 768s|400000 |389403 | 1371k| 3.4 | 722M| 145 | 5 |3825 |4672 |3825 | 934 | 307k|4343 |4829 | 0.000000e+00 | 1.044000e+03 | Inf
787.11/787.17 o 1034
787.11/787.17 c * 779s|405493 |394415 | 1388k| 3.4 | 730M| 145 | - |3825 |4619 |3825 | 921 | 312k|4422 |4859 | 0.000000e+00 | 1.034000e+03 | Inf
790.71/790.78 o 1024
790.71/790.78 c * 782s|407227 |395683 | 1393k| 3.4 | 732M| 145 | - |3825 |4684 |3825 | 929 | 313k|4540 |4860 | 0.000000e+00 | 1.024000e+03 | Inf
791.51/791.58 o 1013
791.51/791.58 c * 783s|407574 |395535 | 1395k| 3.4 | 731M| 145 | - |3825 |4705 |3825 | 922 | 313k|4578 |4861 | 0.000000e+00 | 1.013000e+03 | Inf
791.61/791.66 o 1002
791.61/791.66 c * 783s|407604 |395035 | 1395k| 3.4 | 730M| 145 | - |3825 |4710 |3825 | 921 | 313k|4586 |4861 | 0.000000e+00 | 1.002000e+03 | Inf
796.71/796.78 c 788s|410000 |397375 | 1404k| 3.4 | 734M| 145 | 0 |3825 |4746 |3825 | 934 | 315k|4746 |4876 | 0.000000e+00 | 1.002000e+03 | Inf
798.82/798.84 o 996
798.82/798.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
798.82/798.84 c * 790s|411012 |398090 | 1406k| 3.4 | 735M| 145 | - |3825 |4742 |3825 | 922 | 315k|4755 |4878 | 0.000000e+00 | 9.960000e+02 | Inf
817.52/817.58 c 809s|420000 |406963 | 1441k| 3.4 | 752M| 145 | 0 |3825 |4661 |3825 | 907 | 325k|5062 |4925 | 0.000000e+00 | 9.960000e+02 | Inf
838.41/838.44 c 829s|430000 |416611 | 1480k| 3.4 | 772M| 145 | 0 |3825 |4861 |3825 | 934 | 333k|5957 |4981 | 0.000000e+00 | 9.960000e+02 | Inf
857.52/857.59 o 994
857.52/857.59 c * 848s|439434 |425777 | 1514k| 3.4 | 788M| 145 | - |3825 |4601 |3825 | 934 | 343k|6277 |5012 | 0.000000e+00 | 9.940000e+02 | Inf
858.81/858.83 c 850s|440000 |426341 | 1517k| 3.4 | 789M| 145 | 0 |3825 |4592 |3825 | 924 | 344k|6280 |5012 | 0.000000e+00 | 9.940000e+02 | Inf
875.81/875.85 o 993
875.81/875.85 c * 866s|448078 |434324 | 1550k| 3.5 | 804M| 145 | - |3825 |4585 |3825 | 948 | 354k|6378 |5049 | 0.000000e+00 | 9.930000e+02 | Inf
879.81/879.88 c 870s|450000 |436234 | 1557k| 3.5 | 807M| 145 | 0 |3825 |4571 |3825 | 928 | 357k|6403 |5050 | 0.000000e+00 | 9.930000e+02 | Inf
900.62/900.68 c 891s|460000 |446103 | 1598k| 3.5 | 825M| 145 | 0 |3825 |4621 |3825 | 914 | 367k|6708 |5102 | 0.000000e+00 | 9.930000e+02 | Inf
915.22/915.21 o 992
915.22/915.21 c * 905s|466712 |452691 | 1632k| 3.5 | 837M| 145 | - |3825 |4613 |3825 | 947 | 374k|6912 |5133 | 0.000000e+00 | 9.920000e+02 | Inf
919.71/919.77 o 988
919.71/919.77 c * 910s|468616 |454314 | 1643k| 3.5 | 840M| 145 | - |3825 |4676 |3825 | 938 | 378k|7019 |5159 | 0.000000e+00 | 9.880000e+02 | Inf
919.71/919.78 o 982
919.71/919.78 c * 910s|468617 |453977 | 1643k| 3.5 | 839M| 145 | - |3825 |4676 |3825 | 938 | 378k|7019 |5159 | 0.000000e+00 | 9.820000e+02 | Inf
922.82/922.86 c 913s|470000 |455343 | 1649k| 3.5 | 841M| 145 | 0 |3825 |4676 |3825 | 920 | 380k|7058 |5169 | 0.000000e+00 | 9.820000e+02 | Inf
942.72/942.79 c 933s|480000 |465247 | 1682k| 3.5 | 859M| 145 | 1 |3825 |4614 |3825 | 918 | 389k|7319 |5207 | 0.000000e+00 | 9.820000e+02 | Inf
963.42/963.48 c 953s|490000 |475099 | 1716k| 3.5 | 879M| 145 | 7 |3825 |4659 |3825 | 927 | 398k|7793 |5230 | 0.000000e+00 | 9.820000e+02 | Inf
983.62/983.63 c 973s|500000 |485059 | 1755k| 3.5 | 897M| 145 | 0 |3825 |4634 |3825 | 913 | 408k|7924 |5280 | 0.000000e+00 | 9.820000e+02 | Inf
987.02/987.02 o 965
987.02/987.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
987.02/987.02 c * 976s|501489 |485298 | 1763k| 3.5 | 896M| 145 | - |3825 |4631 |3825 | 912 | 410k|7951 |5284 | 0.000000e+00 | 9.650000e+02 | Inf
1005.52/1005.54 c 995s|510000 |493730 | 1798k| 3.5 | 911M| 145 | 4 |3825 |4597 |3825 | 905 | 418k|8153 |5335 | 0.000000e+00 | 9.650000e+02 | Inf
1024.72/1024.74 c 1014s|520000 |503704 | 1827k| 3.5 | 929M| 145 | 0 |3825 |4570 |3825 | 929 | 427k|8213 |5362 | 0.000000e+00 | 9.650000e+02 | Inf
1045.82/1045.85 c 1035s|530000 |513621 | 1867k| 3.5 | 947M| 145 | 0 |3825 |4615 |3825 | 906 | 438k|8428 |5434 | 0.000000e+00 | 9.650000e+02 | Inf
1046.13/1046.15 o 964
1046.13/1046.15 c *1035s|530102 |513619 | 1868k| 3.5 | 947M| 145 | - |3825 |4623 |3825 | 930 | 438k|8447 |5434 | 0.000000e+00 | 9.640000e+02 | Inf
1069.02/1069.02 c 1057s|540000 |523269 | 1925k| 3.6 | 965M| 145 | 4 |3825 |4767 |3825 | 936 | 448k|9102 |5498 | 0.000000e+00 | 9.640000e+02 | Inf
1090.82/1090.81 o 958
1090.82/1090.81 c *1079s|547908 |530224 | 2002k| 3.7 | 979M| 145 | - |3825 |4816 |3825 | 918 | 460k| 10k|5564 | 0.000000e+00 | 9.580000e+02 | Inf
1096.22/1096.22 c 1084s|550000 |532194 | 2018k| 3.7 | 983M| 145 | 19 |3825 |5000 |3825 | 905 | 464k| 10k|5580 | 0.000000e+00 | 9.580000e+02 | Inf
1117.72/1117.77 c 1106s|560000 |541849 | 2061k| 3.7 |1002M| 145 | 0 |3825 |4909 |3825 | 909 | 474k| 12k|5629 | 0.000000e+00 | 9.580000e+02 | Inf
1126.92/1126.91 o 955
1126.92/1126.91 c *1115s|564205 |545749 | 2078k| 3.7 |1010M| 145 | - |3825 |4852 |3825 | 944 | 480k| 12k|5638 | 0.000000e+00 | 9.550000e+02 | Inf
1138.42/1138.44 c 1126s|570000 |551480 | 2097k| 3.7 |1020M| 145 | 9 |3825 |4833 |3825 | 920 | 487k| 12k|5647 | 0.000000e+00 | 9.550000e+02 | Inf
1160.02/1160.07 c 1147s|580000 |561295 | 2140k| 3.7 |1038M| 145 | 0 |3825 |4738 |3825 | 929 | 499k| 12k|5720 | 0.000000e+00 | 9.550000e+02 | Inf
1181.32/1181.37 c 1169s|590000 |571130 | 2179k| 3.7 |1057M| 145 | 0 |3825 |4725 |3825 | 924 | 510k| 13k|5747 | 0.000000e+00 | 9.550000e+02 | Inf
1199.93/1199.98 c 1187s|600000 |581090 | 2203k| 3.7 |1074M| 145 | 0 |3825 |4678 |3825 | 912 | 518k| 13k|5766 | 0.000000e+00 | 9.550000e+02 | Inf
1220.63/1220.64 c 1207s|610000 |590948 | 2239k| 3.7 |1092M| 145 | 0 |3825 |4695 |3825 | 928 | 531k| 13k|5785 | 0.000000e+00 | 9.550000e+02 | Inf
1241.73/1241.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1241.73/1241.76 c 1228s|620000 |600806 | 2277k| 3.7 |1111M| 145 | 0 |3825 |4731 |3825 | 935 | 542k| 14k|5818 | 0.000000e+00 | 9.550000e+02 | Inf
1262.73/1262.78 c 1249s|630000 |610668 | 2315k| 3.7 |1129M| 145 | 0 |3825 |4692 |3825 | 924 | 551k| 14k|5848 | 0.000000e+00 | 9.550000e+02 | Inf
1267.13/1267.14 o 946
1267.13/1267.14 c *1253s|632395 |612281 | 2320k| 3.7 |1131M| 145 | - |3825 |4679 |3825 | 951 | 553k| 14k|5856 | 0.000000e+00 | 9.460000e+02 | Inf
1281.73/1281.75 c 1268s|640000 |619852 | 2338k| 3.7 |1144M| 145 | 0 |3825 |4593 |3825 | 918 | 558k| 14k|5884 | 0.000000e+00 | 9.460000e+02 | Inf
1284.53/1284.53 o 938
1284.53/1284.53 c *1271s|641401 |620547 | 2342k| 3.7 |1144M| 145 | - |3825 |4610 |3825 | 934 | 560k| 14k|5884 | 0.000000e+00 | 9.380000e+02 | Inf
1304.23/1304.22 o 937
1304.23/1304.22 c *1290s|649796 |628385 | 2390k| 3.7 |1160M| 145 | - |3825 |5360 |3825 | 928 | 570k| 15k|5911 | 0.000000e+00 | 9.370000e+02 | Inf
1304.73/1304.71 c 1291s|650000 |628555 | 2392k| 3.7 |1161M| 145 | 0 |3825 |5374 |3825 | 926 | 570k| 16k|5913 | 0.000000e+00 | 9.370000e+02 | Inf
1305.63/1305.65 o 933
1305.63/1305.65 c *1292s|650337 |628487 | 2395k| 3.7 |1161M| 145 | - |3825 |5327 |3825 | 939 | 570k| 16k|5916 | 0.000000e+00 | 9.330000e+02 | Inf
1314.43/1314.42 o 929
1314.43/1314.42 c *1300s|653980 |631338 | 2415k| 3.7 |1167M| 145 | - |3825 |5210 |3825 | 929 | 574k| 17k|5944 | 0.000000e+00 | 9.290000e+02 | Inf
1326.73/1326.70 c 1312s|660000 |637031 | 2434k| 3.7 |1180M| 145 | 0 |3825 |5077 |3825 | 926 | 580k| 18k|5951 | 0.000000e+00 | 9.290000e+02 | Inf
1347.23/1347.25 c 1333s|670000 |646851 | 2467k| 3.7 |1198M| 145 | 0 |3825 |4864 |3825 | 922 | 591k| 18k|5979 | 0.000000e+00 | 9.290000e+02 | Inf
1362.42/1362.43 o 925
1362.42/1362.43 c *1348s|676711 |653069 | 2500k| 3.7 |1209M| 145 | - |3825 |4730 |3825 | 913 | 598k| 19k|6011 | 0.000000e+00 | 9.250000e+02 | Inf
1363.03/1363.03 o 924
1363.03/1363.03 c *1348s|676952 |653206 | 2501k| 3.7 |1210M| 145 | - |3825 |4734 |3825 | 921 | 598k| 19k|6012 | 0.000000e+00 | 9.240000e+02 | Inf
1370.33/1370.30 c 1355s|680000 |656187 | 2522k| 3.7 |1216M| 145 | 0 |3825 |4769 |3825 | 918 | 601k| 19k|6016 | 0.000000e+00 | 9.240000e+02 | Inf
1372.33/1372.35 o 909
1372.33/1372.35 c *1357s|680801 |655132 | 2528k| 3.7 |1212M| 145 | - |3825 |4860 |3825 | 911 | 602k| 19k|6035 | 0.000000e+00 | 9.090000e+02 | Inf
1373.73/1373.78 o 902
1373.73/1373.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1373.73/1373.78 c *1359s|681390 |654866 | 2532k| 3.7 |1210M| 145 | - |3825 |4838 |3825 | 906 | 603k| 19k|6042 | 0.000000e+00 | 9.020000e+02 | Inf
1374.13/1374.11 o 893
1374.13/1374.11 c *1359s|681517 |653784 | 2532k| 3.7 |1207M| 145 | - |3825 |4831 |3825 | 911 | 603k| 19k|6042 | 0.000000e+00 | 8.930000e+02 | Inf
1374.23/1374.27 o 877
1374.23/1374.27 c *1359s|681569 |651679 | 2533k| 3.7 |1202M| 145 | - |3825 |4836 |3825 | 905 | 603k| 19k|6042 | 0.000000e+00 | 8.770000e+02 | Inf
1374.53/1374.53 o 863
1374.53/1374.53 c *1360s|681670 |649747 | 2533k| 3.7 |1197M| 145 | - |3825 |4842 |3825 | 911 | 603k| 19k|6043 | 0.000000e+00 | 8.630000e+02 | Inf
1374.53/1374.55 o 859
1374.53/1374.55 c *1360s|681671 |649125 | 2533k| 3.7 |1196M| 145 | - |3825 |4837 |3825 | 911 | 603k| 19k|6043 | 0.000000e+00 | 8.590000e+02 | Inf
1393.13/1393.15 c 1378s|690000 |657360 | 2575k| 3.7 |1211M| 145 | 0 |3825 |4714 |3825 | 924 | 611k| 19k|6073 | 0.000000e+00 | 8.590000e+02 | Inf
1398.53/1398.57 o 843
1398.53/1398.57 c *1383s|692589 |657111 | 2584k| 3.7 |1210M| 145 | - |3825 |4788 |3825 | 908 | 614k| 19k|6073 | 0.000000e+00 | 8.430000e+02 | Inf
1400.63/1400.60 o 840
1400.63/1400.60 c *1385s|693475 |657390 | 2588k| 3.7 |1210M| 145 | - |3825 |4784 |3825 | 928 | 615k| 19k|6074 | 0.000000e+00 | 8.400000e+02 | Inf
1415.83/1415.80 c 1400s|700000 |663605 | 2619k| 3.7 |1224M| 145 | 0 |3825 |5054 |3825 | 912 | 624k| 20k|6119 | 0.000000e+00 | 8.400000e+02 | Inf
1416.53/1416.50 o 786
1416.53/1416.50 c *1401s|700263 |652444 | 2621k| 3.7 |1202M| 145 | - |3825 |5047 |3825 | 904 | 625k| 20k|6119 | 0.000000e+00 | 7.860000e+02 | Inf
1418.53/1418.54 o 781
1418.53/1418.54 c *1403s|701059 |652096 | 2626k| 3.7 |1202M| 145 | - |3825 |5150 |3825 | 912 | 625k| 20k|6127 | 0.000000e+00 | 7.810000e+02 | Inf
1418.53/1418.56 o 776
1418.53/1418.56 c *1403s|701060 |650990 | 2626k| 3.7 |1200M| 145 | - |3825 |5149 |3825 | 912 | 625k| 20k|6127 | 0.000000e+00 | 7.760000e+02 | Inf
1418.94/1418.98 o 750
1418.94/1418.98 c *1404s|701208 |644682 | 2627k| 3.7 |1190M| 145 | - |3825 |5188 |3825 | 922 | 626k| 20k|6127 | 0.000000e+00 | 7.500000e+02 | Inf
1419.54/1419.54 o 729
1419.54/1419.54 c *1404s|701389 |639411 | 2629k| 3.7 |1181M| 145 | - |3825 |5239 |3825 | 909 | 626k| 20k|6127 | 0.000000e+00 | 7.290000e+02 | Inf
1428.03/1428.08 o 721
1428.03/1428.08 c *1413s|705005 |640617 | 2648k| 3.8 |1184M| 145 | - |3825 |5253 |3825 | 921 | 631k| 21k|6131 | 0.000000e+00 | 7.210000e+02 | Inf
1431.93/1431.95 o 720
1431.93/1431.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1431.93/1431.95 c *1416s|706592 |641812 | 2656k| 3.8 |1186M| 145 | - |3825 |5126 |3825 | 921 | 634k| 21k|6135 | 0.000000e+00 | 7.200000e+02 | Inf
1440.24/1440.24 c 1425s|710000 |644273 | 2674k| 3.8 |1195M| 145 | 0 |3825 |5960 |3825 | 925 | 637k| 23k|6174 | 0.000000e+00 | 7.200000e+02 | Inf
1441.63/1441.60 o 704
1441.63/1441.60 c *1426s|710671 |640161 | 2676k| 3.8 |1187M| 145 | - |3825 |5848 |3825 | 942 | 638k| 23k|6175 | 0.000000e+00 | 7.040000e+02 | Inf
1443.73/1443.75 o 702
1443.73/1443.75 c *1428s|711730 |640393 | 2679k| 3.8 |1188M| 145 | - |3825 |5910 |3825 | 937 | 639k| 24k|6176 | 0.000000e+00 | 7.020000e+02 | Inf
1451.64/1451.67 o 696
1451.64/1451.67 c *1436s|715305 |641290 | 2694k| 3.8 |1193M| 145 | - |3825 |5709 |3825 | 939 | 643k| 26k|6176 | 0.000000e+00 | 6.960000e+02 | Inf
1459.64/1459.62 o 693
1459.64/1459.62 c *1444s|718763 |643542 | 2710k| 3.8 |1198M| 145 | - |3825 |5845 |3825 | 906 | 648k| 27k|6187 | 0.000000e+00 | 6.930000e+02 | Inf
1459.64/1459.64 o 691
1459.64/1459.64 c *1444s|718766 |642987 | 2710k| 3.8 |1197M| 145 | - |3825 |5845 |3825 | 906 | 648k| 27k|6187 | 0.000000e+00 | 6.910000e+02 | Inf
1459.64/1459.65 o 689
1459.64/1459.65 c *1444s|718767 |642406 | 2710k| 3.8 |1196M| 145 | - |3825 |5845 |3825 | 906 | 648k| 27k|6187 | 0.000000e+00 | 6.890000e+02 | Inf
1462.63/1462.67 o 672
1462.63/1462.67 c *1447s|719928 |638099 | 2716k| 3.8 |1188M| 145 | - |3825 |5994 |3825 | 931 | 649k| 27k|6189 | 0.000000e+00 | 6.720000e+02 | Inf
1462.83/1462.87 c 1447s|720000 |638143 | 2717k| 3.8 |1188M| 145 | 1 |3825 |6058 |3825 | 896 | 650k| 27k|6189 | 0.000000e+00 | 6.720000e+02 | Inf
1474.43/1474.47 o 658
1474.43/1474.47 c *1458s|725017 |638375 | 2737k| 3.8 |1190M| 145 | - |3825 |5972 |3825 | 915 | 657k| 28k|6192 | 0.000000e+00 | 6.580000e+02 | Inf
1474.43/1474.49 o 652
1474.43/1474.49 c *1458s|725018 |636279 | 2737k| 3.8 |1186M| 145 | - |3825 |5972 |3825 | 915 | 657k| 28k|6192 | 0.000000e+00 | 6.520000e+02 | Inf
1474.53/1474.58 o 636
1474.53/1474.58 c *1458s|725046 |630618 | 2737k| 3.8 |1175M| 145 | - |3825 |5970 |3825 | 907 | 657k| 28k|6192 | 0.000000e+00 | 6.360000e+02 | Inf
1474.74/1474.76 o 629
1474.74/1474.76 c *1459s|725118 |628106 | 2738k| 3.8 |1171M| 145 | - |3825 |5990 |3825 | 913 | 657k| 28k|6192 | 0.000000e+00 | 6.290000e+02 | Inf
1474.74/1474.79 o 623
1474.74/1474.79 c *1459s|725119 |625974 | 2738k| 3.8 |1167M| 145 | - |3825 |5990 |3825 | 913 | 657k| 28k|6192 | 0.000000e+00 | 6.230000e+02 | Inf
1477.53/1477.51 o 612
1477.53/1477.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1477.53/1477.51 c *1461s|726357 |622949 | 2742k| 3.8 |1161M| 145 | - |3825 |5871 |3825 | 909 | 658k| 28k|6195 | 0.000000e+00 | 6.120000e+02 | Inf
1479.84/1479.80 o 598
1479.84/1479.80 c *1464s|727436 |618447 | 2745k| 3.8 |1153M| 145 | - |3825 |5831 |3825 | 914 | 660k| 28k|6195 | 0.000000e+00 | 5.980000e+02 | Inf
1479.84/1479.82 o 592
1479.84/1479.82 c *1464s|727437 |615842 | 2745k| 3.8 |1148M| 145 | - |3825 |5831 |3825 | 914 | 660k| 28k|6195 | 0.000000e+00 | 5.920000e+02 | Inf
1479.84/1479.88 o 582
1479.84/1479.88 c *1464s|727449 |611822 | 2745k| 3.8 |1141M| 145 | - |3825 |5833 |3825 | 917 | 660k| 28k|6195 | 0.000000e+00 | 5.820000e+02 | Inf
1479.84/1479.90 o 576
1479.84/1479.90 c *1464s|727450 |609057 | 2745k| 3.8 |1136M| 145 | - |3825 |5833 |3825 | 917 | 660k| 28k|6195 | 0.000000e+00 | 5.760000e+02 | Inf
1481.13/1481.19 o 574
1481.13/1481.19 c *1465s|728016 |608632 | 2747k| 3.8 |1135M| 145 | - |3825 |5850 |3825 | 896 | 660k| 28k|6195 | 0.000000e+00 | 5.740000e+02 | Inf
1482.23/1482.22 o 569
1482.23/1482.22 c *1466s|728460 |606925 | 2748k| 3.8 |1133M| 145 | - |3825 |5852 |3825 | 911 | 661k| 28k|6195 | 0.000000e+00 | 5.690000e+02 | Inf
1482.33/1482.30 o 567
1482.33/1482.30 c *1466s|728489 |606091 | 2748k| 3.8 |1131M| 145 | - |3825 |5855 |3825 | 908 | 661k| 28k|6195 | 0.000000e+00 | 5.670000e+02 | Inf
1482.63/1482.70 o 552
1482.63/1482.70 c *1466s|728647 |599232 | 2749k| 3.8 |1119M| 145 | - |3825 |5874 |3825 | 907 | 661k| 28k|6195 | 0.000000e+00 | 5.520000e+02 | Inf
1482.73/1482.71 o 546
1482.73/1482.71 c *1466s|728648 |596412 | 2749k| 3.8 |1114M| 145 | - |3825 |5874 |3825 | 907 | 661k| 28k|6195 | 0.000000e+00 | 5.460000e+02 | Inf
1482.83/1482.87 o 541
1482.83/1482.87 c *1467s|728700 |594150 | 2749k| 3.8 |1110M| 145 | - |3825 |5881 |3825 | 896 | 661k| 28k|6195 | 0.000000e+00 | 5.410000e+02 | Inf
1484.23/1484.21 o 537
1484.23/1484.21 c *1468s|729261 |592698 | 2751k| 3.8 |1108M| 145 | - |3825 |5927 |3825 | 911 | 662k| 28k|6197 | 0.000000e+00 | 5.370000e+02 | Inf
1485.14/1485.17 o 535
1485.14/1485.17 c *1469s|729695 |592144 | 2753k| 3.8 |1107M| 145 | - |3825 |5913 |3825 | 906 | 663k| 28k|6197 | 0.000000e+00 | 5.350000e+02 | Inf
1485.14/1485.19 o 529
1485.14/1485.19 c *1469s|729696 |589210 | 2753k| 3.8 |1102M| 145 | - |3825 |5913 |3825 | 906 | 663k| 28k|6197 | 0.000000e+00 | 5.290000e+02 | Inf
1485.24/1485.25 o 528
1485.24/1485.25 c *1469s|729712 |588670 | 2753k| 3.8 |1101M| 145 | - |3825 |5924 |3825 | 912 | 663k| 28k|6197 | 0.000000e+00 | 5.280000e+02 | Inf
1485.24/1485.27 o 522
1485.24/1485.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1485.24/1485.27 c *1469s|729713 |585524 | 2753k| 3.8 |1095M| 145 | - |3825 |5924 |3825 | 912 | 663k| 28k|6197 | 0.000000e+00 | 5.220000e+02 | Inf
1485.53/1485.55 o 520
1485.53/1485.55 c *1469s|729814 |584583 | 2753k| 3.8 |1094M| 145 | - |3825 |5945 |3825 | 911 | 663k| 28k|6197 | 0.000000e+00 | 5.200000e+02 | Inf
1485.63/1485.65 o 506
1485.63/1485.65 c *1469s|729845 |577490 | 2753k| 3.8 |1081M| 145 | - |3825 |5949 |3825 | 915 | 663k| 28k|6197 | 0.000000e+00 | 5.060000e+02 | Inf
1485.63/1485.69 o 504
1485.63/1485.69 c *1469s|729853 |576359 | 2753k| 3.8 |1079M| 145 | - |3825 |5948 |3825 | 910 | 663k| 28k|6197 | 0.000000e+00 | 5.040000e+02 | Inf
1485.93/1485.90 o 502
1485.93/1485.90 c *1470s|729928 |575470 | 2754k| 3.8 |1077M| 145 | - |3825 |5959 |3825 | 915 | 663k| 28k|6197 | 0.000000e+00 | 5.020000e+02 | Inf
1485.93/1485.96 o 491
1485.93/1485.96 c *1470s|729940 |569548 | 2754k| 3.8 |1067M| 145 | - |3825 |5962 |3825 | 927 | 663k| 28k|6197 | 0.000000e+00 | 4.910000e+02 | Inf
1486.14/1486.11 c 1470s|730000 |569604 | 2754k| 3.8 |1067M| 145 | 0 |3825 |5950 |3825 | 905 | 663k| 28k|6197 | 0.000000e+00 | 4.910000e+02 | Inf
1486.14/1486.17 o 490
1486.14/1486.17 c *1470s|730017 |569156 | 2754k| 3.8 |1066M| 145 | - |3825 |5946 |3825 | 914 | 663k| 28k|6197 | 0.000000e+00 | 4.900000e+02 | Inf
1486.24/1486.25 o 487
1486.24/1486.25 c *1470s|730041 |567542 | 2754k| 3.8 |1064M| 145 | - |3825 |5949 |3825 | 911 | 663k| 28k|6197 | 0.000000e+00 | 4.870000e+02 | Inf
1486.53/1486.53 o 480
1486.53/1486.53 c *1470s|730145 |563517 | 2754k| 3.8 |1057M| 145 | - |3825 |6039 |3825 | 917 | 663k| 28k|6197 | 0.000000e+00 | 4.800000e+02 | Inf
1487.94/1487.98 o 479
1487.94/1487.98 c *1472s|730718 |563339 | 2757k| 3.8 |1057M| 145 | - |3825 |6107 |3825 | 911 | 664k| 29k|6199 | 0.000000e+00 | 4.790000e+02 | Inf
1489.23/1489.29 o 473
1489.23/1489.29 c *1473s|731316 |560119 | 2759k| 3.8 |1052M| 145 | - |3825 |6181 |3825 | 896 | 664k| 29k|6211 | 0.000000e+00 | 4.730000e+02 | Inf
1492.23/1492.22 o 461
1492.23/1492.22 c *1476s|732562 |553779 | 2763k| 3.8 |1042M| 145 | - |3825 |6185 |3825 | 906 | 666k| 30k|6216 | 0.000000e+00 | 4.610000e+02 | Inf
1494.03/1494.04 o 449
1494.03/1494.04 c *1478s|733290 |546901 | 2765k| 3.8 |1031M| 145 | - |3825 |6335 |3825 | 900 | 666k| 30k|6216 | 0.000000e+00 | 4.490000e+02 | Inf
1494.33/1494.34 o 446
1494.33/1494.34 c *1478s|733409 |545066 | 2765k| 3.8 |1028M| 145 | - |3825 |6359 |3825 | 932 | 666k| 30k|6216 | 0.000000e+00 | 4.460000e+02 | Inf
1494.74/1494.77 o 442
1494.74/1494.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1494.74/1494.77 c *1478s|733583 |542327 | 2766k| 3.8 |1023M| 145 | - |3825 |6391 |3825 | 909 | 667k| 30k|6216 | 0.000000e+00 | 4.420000e+02 | Inf
1494.74/1494.79 o 436
1494.74/1494.79 c *1478s|733584 |538390 | 2766k| 3.8 |1016M| 145 | - |3825 |6391 |3825 | 909 | 667k| 30k|6216 | 0.000000e+00 | 4.360000e+02 | Inf
1495.94/1495.93 o 434
1495.94/1495.93 c *1480s|734110 |537323 | 2768k| 3.8 |1015M| 145 | - |3825 |6504 |3825 | 929 | 667k| 31k|6216 | 0.000000e+00 | 4.340000e+02 | Inf
1495.94/1495.95 o 428
1495.94/1495.95 c *1480s|734111 |533304 | 2768k| 3.8 |1007M| 145 | - |3825 |6504 |3825 | 929 | 667k| 31k|6216 | 0.000000e+00 | 4.280000e+02 | Inf
1497.23/1497.24 o 421
1497.23/1497.24 c *1481s|734758 |529049 | 2770k| 3.8 |1000M| 145 | - |3825 |6439 |3825 | 913 | 668k| 31k|6216 | 0.000000e+00 | 4.210000e+02 | Inf
1501.44/1501.40 o 419
1501.44/1501.40 c *1485s|736658 |529360 | 2775k| 3.8 |1001M| 145 | - |3825 |6315 |3825 | 912 | 670k| 31k|6216 | 0.000000e+00 | 4.190000e+02 | Inf
1501.63/1501.64 o 418
1501.63/1501.64 c *1485s|736744 |528784 | 2775k| 3.8 |1000M| 145 | - |3825 |6321 |3825 | 931 | 670k| 31k|6216 | 0.000000e+00 | 4.180000e+02 | Inf
1503.23/1503.27 o 412
1503.23/1503.27 c *1487s|737376 |525190 | 2778k| 3.8 | 994M| 145 | - |3825 |6275 |3825 | 914 | 671k| 31k|6229 | 0.000000e+00 | 4.120000e+02 | Inf
1503.23/1503.29 o 406
1503.23/1503.29 c *1487s|737377 |520902 | 2778k| 3.8 | 986M| 145 | - |3825 |6275 |3825 | 914 | 671k| 31k|6229 | 0.000000e+00 | 4.060000e+02 | Inf
1503.74/1503.75 o 400
1503.74/1503.75 c *1487s|737570 |516637 | 2779k| 3.8 | 979M| 145 | - |3825 |6273 |3825 | 909 | 672k| 31k|6230 | 0.000000e+00 | 4.000000e+02 | Inf
1503.93/1503.90 o 388
1503.93/1503.90 c *1487s|737618 |507391 | 2779k| 3.8 | 962M| 145 | - |3825 |6311 |3825 | 919 | 672k| 31k|6230 | 0.000000e+00 | 3.880000e+02 | Inf
1503.93/1503.92 o 382
1503.93/1503.92 c *1487s|737619 |502416 | 2779k| 3.8 | 953M| 145 | - |3825 |6311 |3825 | 919 | 672k| 31k|6230 | 0.000000e+00 | 3.820000e+02 | Inf
1504.03/1504.02 o 370
1504.03/1504.02 c *1487s|737643 |492929 | 2779k| 3.8 | 937M| 145 | - |3825 |6317 |3825 | 918 | 672k| 31k|6230 | 0.000000e+00 | 3.700000e+02 | Inf
1504.03/1504.04 o 364
1504.03/1504.04 c *1488s|737644 |488040 | 2779k| 3.8 | 928M| 145 | - |3825 |6317 |3825 | 918 | 672k| 31k|6230 | 0.000000e+00 | 3.640000e+02 | Inf
1504.13/1504.10 o 363
1504.13/1504.10 c *1488s|737659 |487177 | 2779k| 3.8 | 927M| 145 | - |3825 |6329 |3825 | 918 | 672k| 31k|6230 | 0.000000e+00 | 3.630000e+02 | Inf
1504.33/1504.30 o 346
1504.33/1504.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1504.33/1504.30 c *1488s|737707 |471024 | 2779k| 3.8 | 899M| 145 | - |3825 |6334 |3825 | 918 | 672k| 31k|6232 | 0.000000e+00 | 3.460000e+02 | Inf
1504.33/1504.33 o 340
1504.33/1504.33 c *1488s|737708 |465073 | 2779k| 3.8 | 889M| 145 | - |3825 |6334 |3825 | 918 | 672k| 31k|6232 | 0.000000e+00 | 3.400000e+02 | Inf
1504.74/1504.78 o 339
1504.74/1504.78 c *1488s|737897 |464152 | 2780k| 3.8 | 888M| 145 | - |3825 |6317 |3825 | 904 | 672k| 31k|6232 | 0.000000e+00 | 3.390000e+02 | Inf
1504.84/1504.89 o 338
1504.84/1504.89 c *1488s|737932 |463094 | 2780k| 3.8 | 886M| 145 | - |3825 |6314 |3825 | 909 | 672k| 31k|6232 | 0.000000e+00 | 3.380000e+02 | Inf
1504.93/1504.91 o 332
1504.93/1504.91 c *1488s|737933 |456530 | 2780k| 3.8 | 875M| 145 | - |3825 |6314 |3825 | 909 | 672k| 31k|6232 | 0.000000e+00 | 3.320000e+02 | Inf
1505.13/1505.11 o 327
1505.13/1505.11 c *1489s|737998 |450971 | 2780k| 3.8 | 866M| 145 | - |3825 |6355 |3825 | 918 | 672k| 31k|6232 | 0.000000e+00 | 3.270000e+02 | Inf
1505.23/1505.27 o 326
1505.23/1505.27 c *1489s|738056 |449712 | 2780k| 3.8 | 864M| 145 | - |3825 |6363 |3825 | 898 | 672k| 31k|6232 | 0.000000e+00 | 3.260000e+02 | Inf
1505.33/1505.35 o 314
1505.33/1505.35 c *1489s|738073 |435422 | 2780k| 3.8 | 841M| 145 | - |3825 |6373 |3825 | 902 | 672k| 31k|6232 | 0.000000e+00 | 3.140000e+02 | Inf
1505.33/1505.38 o 308
1505.33/1505.38 c *1489s|738074 |427985 | 2780k| 3.8 | 828M| 145 | - |3825 |6373 |3825 | 902 | 672k| 31k|6232 | 0.000000e+00 | 3.080000e+02 | Inf
1505.53/1505.52 o 294
1505.53/1505.52 c *1489s|738112 |408869 | 2781k| 3.8 | 796M| 145 | - |3825 |6402 |3825 | 910 | 672k| 32k|6232 | 0.000000e+00 | 2.940000e+02 | Inf
1505.53/1505.54 o 288
1505.53/1505.54 c *1489s|738113 |400700 | 2781k| 3.8 | 783M| 145 | - |3825 |6402 |3825 | 910 | 672k| 32k|6232 | 0.000000e+00 | 2.880000e+02 | Inf
1505.83/1505.82 o 277
1505.83/1505.82 c *1489s|738216 |385690 | 2781k| 3.8 | 759M| 145 | - |3825 |6375 |3825 | 896 | 672k| 32k|6232 | 0.000000e+00 | 2.770000e+02 | Inf
1506.14/1506.14 o 266
1506.14/1506.14 c *1490s|738330 |368894 | 2781k| 3.8 | 731M| 145 | - |3825 |6341 |3825 | 914 | 672k| 32k|6232 | 0.000000e+00 | 2.660000e+02 | Inf
1506.24/1506.28 o 265
1506.24/1506.28 c *1490s|738377 |366862 | 2781k| 3.8 | 727M| 145 | - |3825 |6326 |3825 | 905 | 672k| 32k|6232 | 0.000000e+00 | 2.650000e+02 | Inf
1506.34/1506.36 o 263
1506.34/1506.36 c *1490s|738406 |363647 | 2781k| 3.8 | 722M| 145 | - |3825 |6314 |3825 | 905 | 672k| 32k|6232 | 0.000000e+00 | 2.630000e+02 | Inf
1506.53/1506.57 o 261
1506.53/1506.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1506.53/1506.57 c *1490s|738479 |359763 | 2781k| 3.8 | 716M| 145 | - |3825 |6313 |3825 | 905 | 672k| 32k|6232 | 0.000000e+00 | 2.610000e+02 | Inf
1507.23/1507.25 o 260
1507.23/1507.25 c *1491s|738693 |358072 | 2783k| 3.8 | 713M| 145 | - |3825 |6302 |3825 | 908 | 673k| 32k|6232 | 0.000000e+00 | 2.600000e+02 | Inf
1507.23/1507.28 o 254
1507.23/1507.28 c *1491s|738694 |347250 | 2783k| 3.8 | 694M| 145 | - |3825 |6302 |3825 | 908 | 673k| 32k|6232 | 0.000000e+00 | 2.540000e+02 | Inf
1507.64/1507.69 o 252
1507.64/1507.69 c *1491s|738861 |343806 | 2784k| 3.8 | 689M| 145 | - |3825 |6322 |3825 | 896 | 673k| 32k|6232 | 0.000000e+00 | 2.520000e+02 | Inf
1507.74/1507.71 o 251
1507.74/1507.71 c *1491s|738863 |341774 | 2784k| 3.8 | 685M| 145 | - |3825 |6318 |3825 | 896 | 673k| 32k|6232 | 0.000000e+00 | 2.510000e+02 | Inf
1508.34/1508.33 o 247
1508.34/1508.33 c *1492s|739101 |334786 | 2785k| 3.8 | 673M| 145 | - |3825 |6530 |3825 | 908 | 673k| 32k|6233 | 0.000000e+00 | 2.470000e+02 | Inf
1508.34/1508.39 o 242
1508.34/1508.39 c *1492s|739108 |325067 | 2785k| 3.8 | 656M| 145 | - |3825 |6530 |3825 | 909 | 673k| 32k|6233 | 0.000000e+00 | 2.420000e+02 | Inf
1508.54/1508.59 o 239
1508.54/1508.59 c *1492s|739164 |318892 | 2785k| 3.8 | 645M| 145 | - |3825 |6590 |3825 | 917 | 674k| 32k|6233 | 0.000000e+00 | 2.390000e+02 | Inf
1508.64/1508.63 o 233
1508.64/1508.63 c *1492s|739165 |306475 | 2785k| 3.8 | 623M| 145 | - |3825 |6590 |3825 | 917 | 674k| 32k|6233 | 0.000000e+00 | 2.330000e+02 | Inf
1508.83/1508.82 o 231
1508.83/1508.82 c *1492s|739229 |302745 | 2785k| 3.8 | 616M| 145 | - |3825 |6593 |3825 | 909 | 674k| 32k|6233 | 0.000000e+00 | 2.310000e+02 | Inf
1509.73/1509.75 o 229
1509.73/1509.75 c *1493s|739589 |298555 | 2787k| 3.8 | 609M| 145 | - |3825 |6854 |3825 | 917 | 674k| 33k|6234 | 0.000000e+00 | 2.290000e+02 | Inf
1509.94/1509.94 o 221
1509.94/1509.94 c *1493s|739641 |281652 | 2788k| 3.8 | 578M| 145 | - |3825 |6866 |3825 | 909 | 674k| 33k|6234 | 0.000000e+00 | 2.210000e+02 | Inf
1509.94/1509.98 o 215
1509.94/1509.98 c *1493s|739642 |268748 | 2788k| 3.8 | 555M| 145 | - |3825 |6866 |3825 | 909 | 674k| 33k|6234 | 0.000000e+00 | 2.150000e+02 | Inf
1510.43/1510.44 o 212
1510.43/1510.44 c *1494s|739798 |263536 | 2788k| 3.8 | 545M| 145 | - |3825 |6792 |3825 | 902 | 675k| 33k|6234 | 0.000000e+00 | 2.120000e+02 | Inf
1510.53/1510.59 o 197
1510.53/1510.59 c *1494s|739828 |234756 | 2788k| 3.8 | 492M| 145 | - |3825 |6786 |3825 | 902 | 675k| 33k|6234 | 0.000000e+00 | 1.970000e+02 | Inf
1510.73/1510.76 o 195
1510.73/1510.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1510.73/1510.76 c *1494s|739886 |231645 | 2788k| 3.8 | 487M| 145 | - |3825 |6771 |3825 | 903 | 675k| 33k|6234 | 0.000000e+00 | 1.950000e+02 | Inf
1510.73/1510.78 o 192
1510.73/1510.78 c *1494s|739889 |227081 | 2788k| 3.8 | 478M| 145 | - |3825 |6771 |3825 | 903 | 675k| 33k|6234 | 0.000000e+00 | 1.920000e+02 | Inf
1510.93/1510.92 o 190
1510.93/1510.92 c *1494s|739940 |223184 | 2788k| 3.8 | 471M| 145 | - |3825 |6768 |3825 | 902 | 675k| 33k|6234 | 0.000000e+00 | 1.900000e+02 | Inf
1511.03/1511.06 o 174
1511.03/1511.06 c *1494s|739957 |194846 | 2788k| 3.8 | 419M| 145 | - |3825 |6776 |3825 | 915 | 675k| 33k|6234 | 0.000000e+00 | 1.740000e+02 | Inf
1511.13/1511.16 o 157
1511.13/1511.16 c *1495s|739969 |169917 | 2788k| 3.8 | 371M| 145 | - |3825 |6772 |3825 | 902 | 675k| 33k|6234 | 0.000000e+00 | 1.570000e+02 | Inf
1511.13/1511.19 o 154
1511.13/1511.19 c *1495s|739972 |165501 | 2788k| 3.8 | 363M| 145 | - |3825 |6772 |3825 | 902 | 675k| 33k|6234 | 0.000000e+00 | 1.540000e+02 | Inf
1511.23/1511.27 c 1495s|740000 |165519 | 2788k| 3.8 | 363M| 145 | 1 |3825 |6769 |3825 | 896 | 675k| 33k|6234 | 0.000000e+00 | 1.540000e+02 | Inf
1511.54/1511.56 o 151
1511.54/1511.56 c *1495s|740114 |161312 | 2789k| 3.8 | 355M| 145 | - |3825 |6762 |3825 | 900 | 675k| 33k|6234 | 0.000000e+00 | 1.510000e+02 | Inf
1511.54/1511.59 o 146
1511.54/1511.59 c *1495s|740115 |151818 | 2789k| 3.8 | 337M| 145 | - |3825 |6762 |3825 | 900 | 675k| 33k|6234 | 0.000000e+00 | 1.460000e+02 | Inf
1512.44/1512.44 o 138
1512.44/1512.44 c *1496s|740419 |137359 | 2789k| 3.8 | 311M| 145 | - |3825 |6378 |3825 | 918 | 675k| 33k|6235 | 0.000000e+00 | 1.380000e+02 | Inf
1512.73/1512.76 o 133
1512.73/1512.76 c *1496s|740514 |130696 | 2790k| 3.8 | 299M| 145 | - |3825 |6152 |3825 | 896 | 675k| 33k|6236 | 0.000000e+00 | 1.330000e+02 | Inf
1512.83/1512.86 o 127
1512.83/1512.86 c *1496s|740537 |125090 | 2790k| 3.8 | 288M| 145 | - |3825 |6110 |3825 | 898 | 675k| 33k|6236 | 0.000000e+00 | 1.270000e+02 | Inf
1512.93/1512.92 o 115
1512.93/1512.92 c *1496s|740540 |109229 | 2790k| 3.8 | 257M| 145 | - |3825 |6110 |3825 | 898 | 675k| 33k|6236 | 0.000000e+00 | 1.150000e+02 | Inf
1513.24/1513.25 o 110
1513.24/1513.25 c *1497s|740652 |103401 | 2791k| 3.8 | 246M| 145 | - |3825 |6010 |3825 | 896 | 675k| 33k|6236 | 0.000000e+00 | 1.100000e+02 | Inf
1516.14/1516.11 o 103
1516.14/1516.11 c *1499s|741562 | 94017 | 2795k| 3.8 | 230M| 145 | - |3825 |5573 |3825 | 900 | 676k| 34k|6241 | 0.000000e+00 | 1.030000e+02 | Inf
1516.14/1516.16 o 95
1516.14/1516.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1516.14/1516.16 c *1499s|741567 | 84488 | 2795k| 3.8 | 210M| 145 | - |3825 |5573 |3825 | 900 | 676k| 34k|6241 | 0.000000e+00 | 9.500000e+01 | Inf
1516.33/1516.32 o 88
1516.33/1516.32 c *1500s|741587 | 74182 | 2796k| 3.8 | 190M| 145 | - |3825 |5399 |3825 | 896 | 676k| 34k|6251 | 0.000000e+00 | 8.800000e+01 | Inf
1516.33/1516.36 o 86
1516.33/1516.36 c *1500s|741591 | 71489 | 2796k| 3.8 | 185M| 145 | - |3825 |5244 |3825 | 896 | 676k| 34k|6251 | 0.000000e+00 | 8.600000e+01 | Inf
1516.44/1516.40 o 84
1516.44/1516.40 c *1500s|741601 | 69887 | 2796k| 3.8 | 181M| 145 | - |3825 |5183 |3825 | 896 | 676k| 34k|6251 | 0.000000e+00 | 8.400000e+01 | Inf
1516.44/1516.47 o 74
1516.44/1516.47 c *1500s|741613 | 59760 | 2796k| 3.8 | 160M| 145 | - |3825 |5123 |3825 | 900 | 676k| 34k|6251 | 0.000000e+00 | 7.400000e+01 | Inf
1516.53/1516.53 o 66
1516.53/1516.53 c *1500s|741628 | 55823 | 2796k| 3.8 | 151M| 145 | - |3825 |4907 |3825 | 896 | 676k| 34k|6251 | 0.000000e+00 | 6.600000e+01 | Inf
1516.63/1516.61 o 64
1516.63/1516.61 c *1500s|741634 | 54039 | 2796k| 3.8 | 147M| 145 | - |3825 |4710 |3825 | 914 | 676k| 34k|6256 | 0.000000e+00 | 6.400000e+01 | Inf
1516.94/1516.96 o 60
1516.94/1516.96 c *1500s|741737 | 51129 | 2796k| 3.8 | 142M| 145 | - |3825 |4587 |3825 | 905 | 676k| 34k|6260 | 0.000000e+00 | 6.000000e+01 | Inf
1517.13/1517.10 o 59
1517.13/1517.10 c *1500s|741794 | 50114 | 2796k| 3.8 | 140M| 145 | - |3825 |4498 |3825 | 905 | 676k| 34k|6260 | 0.000000e+00 | 5.900000e+01 | Inf
1517.13/1517.19 o 57
1517.13/1517.19 c *1500s|741816 | 48028 | 2796k| 3.8 | 136M| 145 | - |3825 |4471 |3825 | 907 | 676k| 34k|6260 | 0.000000e+00 | 5.700000e+01 | Inf
1517.23/1517.21 o 54
1517.23/1517.21 c *1501s|741821 | 46938 | 2797k| 3.8 | 134M| 145 | - |3825 |4415 |3825 | 907 | 676k| 34k|6260 | 0.000000e+00 | 5.400000e+01 | Inf
1517.44/1517.40 o 52
1517.44/1517.40 c *1501s|741891 | 45309 | 2797k| 3.8 | 131M| 145 | - |3825 |4346 |3825 | 909 | 676k| 34k|6261 | 0.000000e+00 | 5.200000e+01 | Inf
1517.44/1517.48 o 48
1517.44/1517.48 c *1501s|741892 | 12990 | 2797k| 3.8 | 68M| 145 | - |3825 |4346 |3825 | 909 | 676k| 34k|6261 | 0.000000e+00 | 4.800000e+01 | Inf
1526.13/1526.18 o 42
1526.13/1526.18 c *1509s|745120 | 9759 | 2818k| 3.8 | 66M| 145 | - |3825 |5954 |3825 | 902 | 677k| 40k|6263 | 0.000000e+00 | 4.200000e+01 | Inf
1535.03/1535.00 o 41
1535.03/1535.00 c *1518s|749060 | 7850 | 2837k| 3.8 | 63M| 145 | - |3825 |6464 |3825 | 896 | 677k| 46k|6281 | 0.000000e+00 | 4.100000e+01 | Inf
1536.94/1536.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1536.94/1536.91 c 1520s|750000 | 7744 | 2840k| 3.8 | 62M| 145 | - |3825 |6273 | 0 | 0 | 677k| 47k|6281 | 0.000000e+00 | 4.100000e+01 | Inf
1537.54/1537.59 o 31
1537.54/1537.59 c *1521s|750311 | 6446 | 2841k| 3.8 | 57M| 145 | - |3825 |6155 |3825 | 903 | 677k| 47k|6281 | 0.000000e+00 | 3.100000e+01 | Inf
1538.14/1538.19 o 25
1538.14/1538.19 c *1521s|750594 | 5648 | 2843k| 3.8 | 53M| 145 | - |3825 |5723 |3825 | 900 | 677k| 48k|6281 | 0.000000e+00 | 2.500000e+01 | Inf
1545.63/1545.69 o 22
1545.63/1545.69 c *1528s|754251 | 4469 | 2862k| 3.8 | 49M| 145 | - |3825 |6111 |3825 | 900 | 678k| 53k|6281 | 0.000000e+00 | 2.200000e+01 | Inf
1556.03/1556.09 c 1539s|760000 | 3990 | 2885k| 3.8 | 47M| 145 | - |3825 |6961 | 0 | 0 | 679k| 61k|6299 | 0.000000e+00 | 2.200000e+01 | Inf
1568.64/1568.65 o 20
1568.64/1568.65 c *1551s|767161 | 3897 | 2912k| 3.8 | 49M| 145 | - |3825 |9958 |3825 | 896 | 680k| 70k|6317 | 0.000000e+00 | 2.000000e+01 | Inf
1571.44/1571.48 o 12
1571.44/1571.48 c *1554s|768648 | 3544 | 2918k| 3.8 | 46M| 145 | - |3825 |9850 |3825 | 900 | 680k| 72k|6319 | 0.000000e+00 | 1.200000e+01 | Inf
1573.84/1573.86 c 1556s|770000 | 3523 | 2924k| 3.8 | 46M| 145 | 7 |3825 |9705 |3825 | 896 | 680k| 74k|6319 | 0.000000e+00 | 1.200000e+01 | Inf
1590.94/1590.95 c 1573s|780000 | 3509 | 2965k| 3.8 | 47M| 145 | 21 |3825 | 11k|3825 | 903 | 681k| 87k|6342 | 0.000000e+00 | 1.200000e+01 | Inf
1598.94/1598.95 o 10
1598.94/1598.95 c *1581s|784675 | 3428 | 2984k| 3.8 | 47M| 145 | - |3825 | 13k|3825 | 896 | 682k| 94k|6346 | 0.000000e+00 | 1.000000e+01 | Inf
1608.25/1608.27 c 1590s|790000 | 3422 | 3004k| 3.8 | 47M| 145 | 10 |3825 | 13k|3825 | 903 | 683k| 101k|6366 | 0.000000e+00 | 1.000000e+01 | Inf
1627.43/1627.44 c 1609s|800000 | 3396 | 3047k| 3.8 | 48M| 145 | - |3825 | 18k| 0 | 0 | 685k| 114k|6390 | 0.000000e+00 | 1.000000e+01 | Inf
1646.74/1646.77 c 1628s|810000 | 3325 | 3088k| 3.8 | 47M| 145 | 17 |3825 | 15k|3825 | 896 | 686k| 128k|6418 | 0.000000e+00 | 1.000000e+01 | Inf
1666.04/1666.01 c 1647s|820000 | 3128 | 3127k| 3.8 | 45M| 145 | 1 |3825 | 11k|3825 | 896 | 687k| 141k|6462 | 0.000000e+00 | 1.000000e+01 | Inf
1683.14/1683.19 c 1664s|830000 | 3129 | 3158k| 3.8 | 47M| 145 | - |3825 | 16k| 0 | 0 | 689k| 153k|6465 | 0.000000e+00 | 1.000000e+01 | Inf
1702.44/1702.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1702.44/1702.50 c 1683s|840000 | 3134 | 3195k| 3.8 | 49M| 145 | 5 |3825 | 21k|3825 | 896 | 690k| 167k|6480 | 0.000000e+00 | 1.000000e+01 | Inf
1722.34/1722.39 c 1702s|850000 | 3139 | 3228k| 3.8 | 49M| 145 | 1 |3825 | 20k|3825 | 896 | 691k| 180k|6513 | 0.000000e+00 | 1.000000e+01 | Inf
1742.04/1742.02 c 1722s|860000 | 3144 | 3261k| 3.8 | 51M| 145 | 10 |3825 | 25k|3825 | 896 | 692k| 193k|6532 | 0.000000e+00 | 1.000000e+01 | Inf
1763.24/1763.27 c 1743s|870000 | 3135 | 3295k| 3.8 | 50M| 145 | - |3825 | 23k| 0 | 0 | 694k| 206k|6557 | 0.000000e+00 | 1.000000e+01 | Inf
1783.84/1783.86 c 1763s|880000 | 3123 | 3328k| 3.8 | 50M| 145 | 14 |3825 | 23k|3825 | 896 | 695k| 220k|6568 | 0.000000e+00 | 1.000000e+01 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.01 c
1800.05/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.01 c Solving Time (sec) : 1779.11
1800.05/1800.01 c Solving Nodes : 887626
1800.05/1800.01 c Primal Bound : +1.00000000000000e+01 (263 solutions)
1800.05/1800.01 c Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Gap : infinite
1800.05/1800.05 s SATISFIABLE
1800.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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
1800.05/1800.05 v -x54 -x53 x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30
1800.05/1800.05 v x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3
1800.05/1800.05 v -x2 -x1
1800.05/1800.05 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.05 c Solving Time : 1779.11
1800.05/1800.05 c Original Problem :
1800.05/1800.05 c Problem name : HOME/instance-2692773-1277902847.wbo
1800.05/1800.05 c Variables : 3957 (2094 binary, 0 integer, 0 implicit integer, 1863 continuous)
1800.05/1800.05 c Constraints : 4571 initial, 4571 maximal
1800.05/1800.05 c Presolved Problem :
1800.05/1800.05 c Problem name : t_HOME/instance-2692773-1277902847.wbo
1800.05/1800.05 c Variables : 3825 (2028 binary, 0 integer, 0 implicit integer, 1797 continuous)
1800.05/1800.05 c Constraints : 4418 initial, 26402 maximal
1800.05/1800.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.05 c trivial : 0.00 66 0 0 0 0 0 0 0
1800.05/1800.05 c dualfix : 0.00 66 0 0 0 0 0 0 0
1800.05/1800.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c probing : 0.04 0 0 0 0 0 0 0 0
1800.05/1800.05 c indicator : 0.00 0 0 0 0 0 66 0 0
1800.05/1800.05 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c linear : 0.07 0 0 0 1878 0 87 72 0
1800.05/1800.05 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c root node : - 1651 - - 3302 - - - -
1800.05/1800.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.05 c integral : 0 0 0 919201 0 0 58 0 0 357794
1800.05/1800.05 c indicator : 1797 0 2022551 740220 0 320 4721648 0 0 0
1800.05/1800.05 c setppc : 5 6 1603624 463743 0 638 296524 0 0 0
1800.05/1800.05 c linear : 1797 6 2017335 736000 0 55163 4892003 696979 0 0
1800.05/1800.05 c logicor : 819+ 6 910477 635724 0 22067 1393950 0 0 0
1800.05/1800.05 c bounddisjunction : 0+ 0 17050 0 0 0 1 0 0 0
1800.05/1800.05 c countsols : 0 0 0 635724 0 0 0 0 0 0
1800.05/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.05 c integral : 18.71 0.00 0.00 18.71 0.00
1800.05/1800.05 c indicator : 132.52 0.02 31.82 100.68 0.00
1800.05/1800.05 c setppc : 2.15 0.00 1.99 0.16 0.00
1800.05/1800.05 c linear : 70.07 0.00 42.62 27.45 0.00
1800.05/1800.05 c logicor : 49.98 0.00 45.37 4.61 0.00
1800.05/1800.05 c bounddisjunction : 0.02 0.00 0.02 0.00 0.00
1800.05/1800.05 c countsols : 0.16 0.00 0.00 0.16 0.00
1800.05/1800.05 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.05 c vbounds : 0.59 2 0 0
1800.05/1800.05 c rootredcost : 0.53 164 0 1651
1800.05/1800.05 c pseudoobj : 71.56 2031172 6979 2145966
1800.05/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.05 c propagation : 3.57 84847 84831 559761 22.5 5593 10.6 -
1800.05/1800.05 c infeasible LP : 0.68 2705 2705 23274 36.0 35 6.5 0
1800.05/1800.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.05 c pseudo solution : 0.27 1075 1075 8984 22.1 589 5.1 -
1800.05/1800.05 c applied globally : - - - 230816 18.3 - - -
1800.05/1800.05 c applied locally : - - - 0 0.0 - - -
1800.05/1800.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.05 c cut pool : 0.00 4 - - 102 - (maximal pool size: 237)
1800.05/1800.05 c redcost : 70.15 923709 0 2148585 0 0
1800.05/1800.05 c impliedbounds : 0.00 5 0 0 0 0
1800.05/1800.05 c intobj : 0.00 0 0 0 0 0
1800.05/1800.05 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.05 c gomory : 0.14 5 0 0 1214 0
1800.05/1800.05 c strongcg : 0.06 5 0 0 0 0
1800.05/1800.05 c cmir : 0.03 5 0 0 1 0
1800.05/1800.05 c flowcover : 0.07 5 0 0 0 0
1800.05/1800.05 c clique : 0.00 5 0 0 0 0
1800.05/1800.05 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.05 c mcf : 0.00 1 0 0 0 0
1800.05/1800.05 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.05 c Pricers : Time Calls Vars
1800.05/1800.05 c problem variables: 0.00 0 0
1800.05/1800.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.05 c relpscost : 18.25 178945 0 58 0 0 357794
1800.05/1800.05 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.05 c inference : 105.00 635561 0 0 0 0 1271122
1800.05/1800.05 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.05 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.05 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.05 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.05 c random : 0.00 0 0 0 0 0 0
1800.05/1800.05 c Primal Heuristics : Time Calls Found
1800.05/1800.05 c LP solutions : 2.60 - 163
1800.05/1800.05 c pseudo solutions : 0.00 - 0
1800.05/1800.05 c feaspump : 0.02 0 0
1800.05/1800.05 c oneopt : 0.99 138 0
1800.05/1800.05 c intshifting : 0.00 24 0
1800.05/1800.05 c crossover : 3.67 155 0
1800.05/1800.05 c veclendiving : 27.44 28389 0
1800.05/1800.05 c guideddiving : 29.16 28390 0
1800.05/1800.05 c coefdiving : 29.32 28390 0
1800.05/1800.05 c linesearchdiving : 27.72 28390 0
1800.05/1800.05 c pscostdiving : 27.88 28390 0
1800.05/1800.05 c fracdiving : 29.19 28390 0
1800.05/1800.05 c rootsoldiving : 25.18 23718 0
1800.05/1800.05 c objpscostdiving : 24.93 23752 0
1800.05/1800.05 c trivial : 0.00 2 0
1800.05/1800.05 c simplerounding : 0.70 179675 0
1800.05/1800.05 c zirounding : 0.46 1000 0
1800.05/1800.05 c rounding : 2.09 5936 0
1800.05/1800.05 c shifting : 1.45 1855 0
1800.05/1800.05 c twoopt : 0.00 0 0
1800.05/1800.05 c fixandinfer : 0.00 0 0
1800.05/1800.05 c intdiving : 0.00 0 0
1800.05/1800.05 c actconsdiving : 0.00 0 0
1800.05/1800.05 c octane : 0.00 0 0
1800.05/1800.05 c rens : 0.03 1 0
1800.05/1800.05 c rins : 0.00 0 0
1800.05/1800.05 c localbranching : 0.00 0 0
1800.05/1800.05 c mutation : 0.00 0 0
1800.05/1800.05 c dins : 0.00 0 0
1800.05/1800.05 c undercover : 0.00 0 0
1800.05/1800.05 c nlp : 0.17 0 0
1800.05/1800.05 c trysol : 0.61 32891 100
1800.05/1800.05 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.05 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.05 c dual LP : 650.50 324078 3347916 10.33 5146.68
1800.05/1800.05 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.05 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.05 c diving/probing LP: 0.85 933 5711 6.12 6718.82
1800.05/1800.05 c strong branching : 16.90 6578 118748 18.05 7026.51
1800.05/1800.05 c (at root node) : - 33 4247 128.70 -
1800.05/1800.05 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.05 c B&B Tree :
1800.05/1800.05 c number of runs : 1
1800.05/1800.05 c nodes : 887626
1800.05/1800.05 c nodes (total) : 887626
1800.05/1800.05 c nodes left : 3132
1800.05/1800.05 c max depth : 145
1800.05/1800.05 c max depth (total): 145
1800.05/1800.05 c backtracks : 47623 (5.4%)
1800.05/1800.05 c delayed cutoffs : 21511
1800.05/1800.05 c repropagations : 332660 (2077698 domain reductions, 15865 cutoffs)
1800.05/1800.05 c avg switch length: 3.38
1800.05/1800.05 c switching time : 96.31
1800.05/1800.05 c Solution :
1800.05/1800.05 c Solutions found : 263 (164 improvements)
1800.05/1800.05 c First Solution : +9.08110000000000e+04 (in run 1, after 1 nodes, 0.15 seconds, depth 0, found by <trysol>)
1800.05/1800.05 c Primal Bound : +1.00000000000000e+01 (in run 1, after 784675 nodes, 1580.83 seconds, depth 31, found by <relaxation>)
1800.05/1800.05 c Dual Bound : +0.00000000000000e+00
1800.05/1800.05 c Gap : infinite
1800.05/1800.05 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.05 c Root Iterations : 198
1800.15/1800.16 c Time complete: 1800.21.
OK 10
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692773-1277902847/watcher-2692773-1277902847 -o /tmp/evaluation-result-2692773-1277902847/solver-2692773-1277902847 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692773-1277902847.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.01 2.00 4/196 24356 /proc/meminfo: memFree=31502848/32951124 swapFree=67111528/67111528 [pid=24356] ppid=24354 vsize=9424 CPUtime=0 /proc/24356/stat : 24356 (pbscip.linux.x8) R 24354 24356 23660 0 -1 4202496 1650 0 0 0 0 0 0 0 25 0 1 0 165888442 9650176 1569 4089446400 4194304 8223781 140735492609248 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/24356/statm: 2356 1570 369 984 0 1369 0 [startup+0.059589 s] /proc/loadavg: 2.00 2.01 2.00 4/196 24356 /proc/meminfo: memFree=31502848/32951124 swapFree=67111528/67111528 [pid=24356] ppid=24354 vsize=29788 CPUtime=0.05 /proc/24356/stat : 24356 (pbscip.linux.x8) R 24354 24356 23660 0 -1 4202496 7062 0 0 0 5 0 0 0 25 0 1 0 165888442 30502912 6360 4089446400 4194304 8223781 140735492609248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24356/statm: 7447 6360 442 984 0 6460 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 29788 [startup+0.10058 s] /proc/loadavg: 2.00 2.01 2.00 4/196 24356 /proc/meminfo: memFree=31502848/32951124 swapFree=67111528/67111528 [pid=24356] ppid=24354 vsize=29788 CPUtime=0.09 /proc/24356/stat : 24356 (pbscip.linux.x8) R 24354 24356 23660 0 -1 4202496 7592 0 0 0 9 0 0 0 25 0 1 0 165888442 30502912 6376 4089446400 4194304 8223781 140735492609248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24356/statm: 7447 6376 452 984 0 6460 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 29788 [startup+0.300555 s] /proc/loadavg: 2.00 2.01 2.00 4/196 24356 /proc/meminfo: memFree=31502848/32951124 swapFree=67111528/67111528 [pid=24356] ppid=24354 vsize=37412 CPUtime=0.29 /proc/24356/stat : 24356 (pbscip.linux.x8) R 24354 24356 23660 0 -1 4202496 12513 0 0 0 28 1 0 0 25 0 1 0 165888442 38309888 8439 4089446400 4194304 8223781 140735492609248 18446744073709551615 4310639 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24356/statm: 9353 8439 570 984 0 8366 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 37412 [startup+0.700471 s] /proc/loadavg: 2.00 2.01 2.00 4/196 24356 /proc/meminfo: memFree=31502848/32951124 swapFree=67111528/67111528 [pid=24356] ppid=24354 vsize=40160 CPUtime=0.69 /proc/24356/stat : 24356 (pbscip.linux.x8) R 24354 24356 23660 0 -1 4202496 19629 0 0 0 67 2 0 0 25 0 1 0 165888442 41123840 9051 4089446400 4194304 8223781 140735492609248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24356/statm: 10040 9051 587 984 0 9053 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 40160 [startup+1.50032 s] /proc/loadavg: 2.00 2.01 2.00 3/197 24357 /proc/meminfo: memFree=31468120/32951124 swapFree=67111528/67111528 [pid=24356] ppid=24354 vsize=40208 CPUtime=1.49 /proc/24356/stat : 24356 (pbscip.linux.x8) R 24354 24356 23660 0 -1 4202496 20144 0 0 0 146 3 0 0 25 0 1 0 165888442 41172992 9054 4089446400 4194304 8223781 140735492609248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24356/statm: 10052 9054 588 984 0 9065 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 40208 [startup+3.10099 s] /proc/loadavg: 2.00 2.01 2.00 3/197 24357 /proc/meminfo: memFree=31467748/32951124 swapFree=67111528/67111528 [pid=24356] ppid=24354 vsize=40160 CPUtime=3.09 /proc/24356/stat : 24356 (pbscip.linux.x8) R 24354 24356 23660 0 -1 4202496 20526 0 0 0 305 4 0 0 25 0 1 0 165888442 41123840 9054 4089446400 4194304 8223781 140735492609248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24356/statm: 10040 9054 590 984 0 9053 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 40160 [startup+6.30045 s] /proc/loadavg: 2.00 2.01 2.00 3/197 24357 /proc/meminfo: memFree=31467144/32951124 swapFree=67111528/67111528 [pid=24356] ppid=24354 vsize=42864 CPUtime=6.29 /proc/24356/stat : 24356 (pbscip.linux.x8) R 24354 24356 23660 0 -1 4202496 22042 0 0 0 621 8 0 0 25 0 1 0 165888442 43892736 9587 4089446400 4194304 8223781 140735492609248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24356/statm: 10716 9587 590 984 0 9729 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 42864 [startup+12.7003 s] /proc/loadavg: 2.00 2.01 2.00 3/197 24357 /proc/meminfo: memFree=31459276/32951124 swapFree=67111528/67111528 [pid=24356] ppid=24354 vsize=52112 CPUtime=12.69 /proc/24356/stat : 24356 (pbscip.linux.x8) R 24354 24356 23660 0 -1 4202496 41160 0 0 0 1252 17 0 0 25 0 1 0 165888442 53362688 11893 4089446400 4194304 8223781 140735492609248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24356/statm: 13028 11893 594 984 0 12041 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 52112 [startup+25.5009 s] /proc/loadavg: 2.00 2.01 2.00 3/197 24367 /proc/meminfo: memFree=31445612/32951124 swapFree=67111528/67111528 [pid=24356] ppid=24354 vsize=63852 CPUtime=25.49 /proc/24356/stat : 24356 (pbscip.linux.x8) R 24354 24356 23660 0 -1 4202496 55878 0 0 0 2516 33 0 0 25 0 1 0 165888442 65384448 14843 4089446400 4194304 8223781 140735492609248 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24356/statm: 15963 14843 594 984 0 14976 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 63852 [startup+51.1003 s] /proc/loadavg: 2.00 2.01 2.00 3/197 24367 /proc/meminfo: memFree=31416228/32951124 swapFree=67111528/67111528 [pid=24356] ppid=24354 vsize=94104 CPUtime=51.09 /proc/24356/stat : 24356 (pbscip.linux.x8) R 24354 24356 23660 0 -1 4202496 70086 0 0 0 5046 63 0 0 25 0 1 0 165888442 96362496 22432 4089446400 4194304 8223781 140735492609248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24356/statm: 23526 22432 594 984 0 22539 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 94104 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24369 /proc/meminfo: memFree=31356880/32951124 swapFree=67111528/67111528 [pid=24356] ppid=24354 vsize=151712 CPUtime=102.3 /proc/24356/stat : 24356 (pbscip.linux.x8) R 24354 24356 23660 0 -1 4202496 98549 0 0 0 10112 118 0 0 25 0 1 0 165888442 155353088 36954 4089446400 4194304 8223781 140735492609248 18446744073709551615 6502686 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24356/statm: 37928 36954 594 984 0 36941 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 151712 [startup+162.301 s] /proc/loadavg: 2.08 2.02 2.01 3/197 24370 /proc/meminfo: memFree=31289112/32951124 swapFree=67111528/67111528 [pid=24356] ppid=24354 vsize=220968 CPUtime=162.3 /proc/24356/stat : 24356 (pbscip.linux.x8) R 24354 24356 23660 0 -1 4202496 118884 0 0 0 16050 180 0 0 25 0 1 0 165888442 226271232 53900 4089446400 4194304 8223781 140735492609248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24356/statm: 55242 53900 594 984 0 54255 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 220968 [startup+222.301 s] /proc/loadavg: 2.03 2.01 2.00 3/197 24371 /proc/meminfo: memFree=31226164/32951124 swapFree=67111528/67111528 [pid=24356] ppid=24354 vsize=283232 CPUtime=222.3 /proc/24356/stat : 24356 (pbscip.linux.x8) R 24354 24356 23660 0 -1 4202496 144452 0 0 0 21985 245 0 0 25 0 1 0 165888442 290029568 69609 4089446400 4194304 8223781 140735492609248 18446744073709551615 6003152 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24356/statm: 70808 69609 594 984 0 69821 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 283232 [startup+282.301 s] /proc/loadavg: 2.01 2.00 2.00 3/197 24373 /proc/meminfo: memFree=31177876/32951124 swapFree=67111528/67111528 [pid=24356] ppid=24354 vsize=331860 CPUtime=282.3 /proc/24356/stat : 24356 (pbscip.linux.x8) R 24354 24356 23660 0 -1 4202496 191709 0 0 0 27918 312 0 0 25 0 1 0 165888442 339824640 81868 4089446400 4194304 8223781 140735492609248 18446744073709551615 4819279 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24356/statm: 82965 81868 594 984 0 81978 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 331860 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24375 /proc/meminfo: memFree=31127192/32951124 swapFree=67111528/67111528 [pid=24356] ppid=24354 vsize=381876 CPUtime=342.3 /proc/24356/stat : 24356 (pbscip.linux.x8) R 24354 24356 23660 0 -1 4202496 217015 0 0 0 33854 376 0 0 25 0 1 0 165888442 391041024 94473 4089446400 4194304 8223781 140735492609248 18446744073709551615 6482584 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24356/statm: 95469 94473 594 984 0 94482 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 381876 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24377 /proc/meminfo: memFree=31074912/32951124 swapFree=67111528/67111528 [pid=24356] ppid=24354 vsize=438176 CPUtime=402.31 /proc/24356/stat : 24356 (pbscip.linux.x8) R 24354 24356 23660 0 -1 4202496 269244 0 0 0 39786 445 0 0 25 0 1 0 165888442 448692224 107604 4089446400 4194304 8223781 140735492609248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24356/statm: 109544 107604 594 984 0 108557 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 438176 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24378 /proc/meminfo: memFree=31024472/32951124 swapFree=67111528/67111528 [pid=24356] ppid=24354 vsize=488888 CPUtime=462.3 /proc/24356/stat : 24356 (pbscip.linux.x8) R 24354 24356 23660 0 -1 4202496 292071 0 0 0 45723 507 0 0 25 0 1 0 165888442 500621312 120398 4089446400 4194304 8223781 140735492609248 18446744073709551615 6505963 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24356/statm: 122222 120398 594 984 0 121235 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 488888 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24379 /proc/meminfo: memFree=30968960/32951124 swapFree=67111528/67111528 [pid=24356] ppid=24354 vsize=543564 CPUtime=522.3 /proc/24356/stat : 24356 (pbscip.linux.x8) R 24354 24356 23660 0 -1 4202496 313268 0 0 0 51663 567 0 0 25 0 1 0 165888442 556609536 134185 4089446400 4194304 8223781 140735492609248 18446744073709551615 4651300 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24356/statm: 135891 134185 594 984 0 134904 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 543564 [startup+582.301 s] /proc/loadavg: 2.04 2.01 2.00 3/197 24381 /proc/meminfo: memFree=30914712/32951124 swapFree=67111528/67111528 [pid=24356] ppid=24354 vsize=597416 CPUtime=582.31 /proc/24356/stat : 24356 (pbscip.linux.x8) R 24354 24356 23660 0 -1 4202496 328922 0 0 0 57603 628 0 0 25 0 1 0 165888442 611753984 147777 4089446400 4194304 8223781 140735492609248 18446744073709551615 4819718 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24356/statm: 149354 147777 594 984 0 148367 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 597416 [startup+642.3 s] /proc/loadavg: 2.01 2.01 2.00 3/197 24383 /proc/meminfo: memFree=30864036/32951124 swapFree=67111528/67111528 [pid=24356] ppid=24354 vsize=645196 CPUtime=642.31 /proc/24356/stat : 24356 (pbscip.linux.x8) R 24354 24356 23660 0 -1 4202496 353206 0 0 0 63538 693 0 0 25 0 1 0 165888442 660680704 159788 4089446400 4194304 8223781 140735492609248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24356/statm: 161299 159788 594 984 0 160312 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 645196 [startup+702.3 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.05 2.03 2.00 3/197 24438 /proc/meminfo: memFree=30653912/32951124 swapFree=67111528/67111528 [pid=24356] ppid=24354 vsize=859860 CPUtime=882.31 /proc/24356/stat : 24356 (pbscip.linux.x8) R 24354 24356 23660 0 -1 4202496 566530 0 0 0 87276 955 0 0 25 0 1 0 165888442 880496640 213773 4089446400 4194304 8223781 140735492609248 18446744073709551615 6482603 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24356/statm: 214965 213773 594 984 0 213978 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 859860 [startup+942.3 s] /proc/loadavg: 2.02 2.02 2.00 3/197 24440 /proc/meminfo: memFree=30604116/32951124 swapFree=67111528/67111528 [pid=24356] ppid=24354 vsize=918664 CPUtime=942.32 /proc/24356/stat : 24356 (pbscip.linux.x8) R 24354 24356 23660 0 -1 4202496 604976 0 0 0 93210 1022 0 0 25 0 1 0 165888442 940711936 226544 4089446400 4194304 8223781 140735492609248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24356/statm: 229666 226544 596 984 0 228679 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 918664 [startup+1002.3 s] /proc/loadavg: 2.04 2.03 2.00 3/197 24442 /proc/meminfo: memFree=30551604/32951124 swapFree=67111528/67111528 [pid=24356] ppid=24354 vsize=968444 CPUtime=1002.32 /proc/24356/stat : 24356 (pbscip.linux.x8) R 24354 24356 23660 0 -1 4202496 643550 0 0 0 99147 1085 0 0 25 0 1 0 165888442 991686656 239110 4089446400 4194304 8223781 140735492609248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24356/statm: 242111 239110 596 984 0 241124 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 968444 [startup+1062.3 s] /proc/loadavg: 2.01 2.02 2.00 3/197 24443 /proc/meminfo: memFree=30499832/32951124 swapFree=67111528/67111528 [pid=24356] ppid=24354 vsize=1020744 CPUtime=1062.32 /proc/24356/stat : 24356 (pbscip.linux.x8) R 24354 24356 23660 0 -1 4202496 686066 0 0 0 105083 1149 0 0 25 0 1 0 165888442 1045241856 252287 4089446400 4194304 8223781 140735492609248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24356/statm: 255186 252287 596 984 0 254199 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1020744 [startup+1122.3 s] /proc/loadavg: 2.00 2.02 2.00 3/197 24444 /proc/meminfo: memFree=30445452/32951124 swapFree=67111528/67111528 [pid=24356] ppid=24354 vsize=1069400 CPUtime=1122.32 /proc/24356/stat : 24356 (pbscip.linux.x8) R 24354 24356 23660 0 -1 4202496 731179 0 0 0 111010 1222 0 0 25 0 1 0 165888442 1095065600 264511 4089446400 4194304 8223781 140735492609248 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24356/statm: 267350 264511 596 984 0 266363 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1069400 [startup+1182.3 s] /proc/loadavg: 2.00 2.01 2.00 3/197 24446 /proc/meminfo: memFree=30400272/32951124 swapFree=67111528/67111528 [pid=24356] ppid=24354 vsize=1117584 CPUtime=1182.32 /proc/24356/stat : 24356 (pbscip.linux.x8) R 24354 24356 23660 0 -1 4202496 771003 0 0 0 116947 1285 0 0 25 0 1 0 165888442 1144406016 276631 4089446400 4194304 8223781 140735492609248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24356/statm: 279396 276631 596 984 0 278409 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1117584 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24521 /proc/meminfo: memFree=30192724/32951124 swapFree=67111528/67111528 [pid=24356] ppid=24354 vsize=1170248 CPUtime=1242.32 /proc/24356/stat : 24356 (pbscip.linux.x8) R 24354 24356 23660 0 -1 4202496 789465 0 0 0 122886 1346 0 0 25 0 1 0 165888442 1198333952 289838 4089446400 4194304 8223781 140735492609248 18446744073709551615 6372002 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24356/statm: 292562 289838 596 984 0 291575 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1170248 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24523 /proc/meminfo: memFree=30105152/32951124 swapFree=67111528/67111528 [pid=24356] ppid=24354 vsize=1222780 CPUtime=1302.33 /proc/24356/stat : 24356 (pbscip.linux.x8) R 24354 24356 23660 0 -1 4202496 828807 0 0 0 128824 1409 0 0 25 0 1 0 165888442 1252126720 302989 4089446400 4194304 8223781 140735492609248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24356/statm: 305695 302989 598 984 0 304708 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1222780 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24524 /proc/meminfo: memFree=30030088/32951124 swapFree=67111528/67111528 [pid=24356] ppid=24354 vsize=1277052 CPUtime=1362.32 /proc/24356/stat : 24356 (pbscip.linux.x8) R 24354 24356 23660 0 -1 4202496 877939 0 0 0 134754 1478 0 0 25 0 1 0 165888442 1307701248 316651 4089446400 4194304 8223781 140735492609248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24356/statm: 319263 316651 598 984 0 318276 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1277052 [startup+1422.31 s] /proc/loadavg: 2.04 2.01 2.00 3/197 24525 /proc/meminfo: memFree=29982176/32951124 swapFree=67111528/67111528 [pid=24356] ppid=24354 vsize=1304676 CPUtime=1422.34 /proc/24356/stat : 24356 (pbscip.linux.x8) R 24354 24356 23660 0 -1 4202496 964789 0 0 0 140683 1551 0 0 25 0 1 0 165888442 1335988224 323527 4089446400 4194304 8223781 140735492609248 18446744073709551615 4902812 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24356/statm: 326169 323527 598 984 0 325182 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 1304676 [startup+1482.3 s] /proc/loadavg: 2.01 2.01 2.00 3/197 24527 /proc/meminfo: memFree=29946916/32951124 swapFree=67111528/67111528 [pid=24356] ppid=24354 vsize=1320176 CPUtime=1482.33 /proc/24356/stat : 24356 (pbscip.linux.x8) R 24354 24356 23660 0 -1 4202496 1071316 0 0 0 146607 1626 0 0 25 0 1 0 165888442 1351860224 327328 4089446400 4194304 8223781 140735492609248 18446744073709551615 6124733 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24356/statm: 330044 327328 598 984 0 329057 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 1320176 [startup+1542.3 s] /proc/loadavg: 2.05 2.02 2.00 3/197 24529 /proc/meminfo: memFree=29939548/32951124 swapFree=67111528/67111528 [pid=24356] ppid=24354 vsize=1304016 CPUtime=1542.34 /proc/24356/stat : 24356 (pbscip.linux.x8) R 24354 24356 23660 0 -1 4202496 1246252 0 0 0 152516 1718 0 0 25 0 1 0 165888442 1335312384 323059 4089446400 4194304 8223781 140735492609248 18446744073709551615 6089682 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24356/statm: 326004 323059 606 984 0 325017 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 1304016 [startup+1602.3 s] /proc/loadavg: 2.02 2.01 2.00 3/197 24531 /proc/meminfo: memFree=29969632/32951124 swapFree=67111528/67111528 [pid=24356] ppid=24354 vsize=1261696 CPUtime=1602.33 /proc/24356/stat : 24356 (pbscip.linux.x8) R 24354 24356 23660 0 -1 4202496 1359501 0 0 0 158413 1820 0 0 25 0 1 0 165888442 1291976704 312495 4089446400 4194304 8223781 140735492609248 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24356/statm: 315424 312495 606 984 0 314437 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 1261696 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.00 3/197 24532 /proc/meminfo: memFree=29958316/32951124 swapFree=67111528/67111528 [pid=24356] ppid=24354 vsize=1262340 CPUtime=1662.34 /proc/24356/stat : 24356 (pbscip.linux.x8) R 24354 24356 23660 0 -1 4202496 1402277 0 0 0 164327 1907 0 0 25 0 1 0 165888442 1292636160 312641 4089446400 4194304 8223781 140735492609248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24356/statm: 315581 312640 606 984 0 314594 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 1262340 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24533 /proc/meminfo: memFree=29946988/32951124 swapFree=67111528/67111528 [pid=24356] ppid=24354 vsize=1256180 CPUtime=1722.34 /proc/24356/stat : 24356 (pbscip.linux.x8) R 24354 24356 23660 0 -1 4202496 1412237 0 0 0 170239 1995 0 0 25 0 1 0 165888442 1286328320 311061 4089446400 4194304 8223781 140735492609248 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24356/statm: 314045 311061 606 984 0 313058 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 1256180 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24535 /proc/meminfo: memFree=29926748/32951124 swapFree=67111528/67111528 [pid=24356] ppid=24354 vsize=1256492 CPUtime=1782.35 /proc/24356/stat : 24356 (pbscip.linux.x8) R 24354 24356 23660 0 -1 4202496 1415269 0 0 0 176162 2073 0 0 25 0 1 0 165888442 1286647808 311148 4089446400 4194304 8223781 140735492609248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24356/statm: 314123 311148 606 984 0 313136 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 1256492 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24536 /proc/meminfo: memFree=29920908/32951124 swapFree=67111528/67111528 [pid=24356] ppid=24354 vsize=1256724 CPUtime=1800.05 /proc/24356/stat : 24356 (pbscip.linux.x8) R 24354 24356 23660 0 -1 4202496 1426124 0 0 0 177912 2093 0 0 25 0 1 0 165888442 1286885376 311197 4089446400 4194304 8223781 140735492609248 18446744073709551615 5950290 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24356/statm: 314181 311197 606 984 0 313194 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1256724 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/197 24536 /proc/meminfo: memFree=29920908/32951124 swapFree=67111528/67111528 [pid=24356] ppid=24354 vsize=816872 CPUtime=1800.15 /proc/24356/stat : 24356 (pbscip.linux.x8) R 24354 24356 23660 0 -1 4202496 1426138 0 0 0 177921 2094 0 0 18 0 1 0 165888442 836476928 201230 4089446400 4194304 8223781 140735492609248 18446744073709551615 4332882 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/24356/statm: 204218 201230 608 984 0 203231 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 816872 Child status: 0 Real time (s): 1800.17 CPU time (s): 1800.22 CPU user time (s): 1779.24 CPU system time (s): 20.9768 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1356092 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1779.24 system time used= 20.9768 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1426142 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= 1408 runsolver used 2.81057 second user time and 5.9151 second system time The end
Begin job on node110 at 2010-06-30 15:00:47 IDJOB=2692773 IDBENCH=78905 IDSOLVER=1204 FILE ID=node110/2692773-1277902847 PBS_JOBID= 11197210 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.1900569834--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-2692773-1277902847/watcher-2692773-1277902847 -o /tmp/evaluation-result-2692773-1277902847/solver-2692773-1277902847 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692773-1277902847.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9b675eaf583b613075d5327645ad3a71 RANDOM SEED=871376017 node110.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.849 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.69 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.849 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.82 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.849 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.74 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.849 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.82 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.849 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.849 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.83 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.849 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.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31503508 kB Buffers: 187804 kB Cached: 991756 kB SwapCached: 0 kB Active: 681712 kB Inactive: 623420 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31503508 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4732 kB Writeback: 0 kB AnonPages: 126424 kB Mapped: 20276 kB Slab: 78264 kB PageTables: 4568 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1658136 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= 74208 MiB End job on node110 at 2010-06-30 15:30:49