Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver | MSAT | 1790.22 | 1790.17 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576151--soft-33-100-0.wbo |
MD5SUM | a6a99f7cb7296aed3ef8f4a1cd1ac483 |
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 | 224.191 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of soft constraints | 1777 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Top cost | 90281 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 90280 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 697 |
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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] 0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-2705637-1278572960.wbo> 0.01/0.03 c original problem has 3785 variables (2008 bin, 0 int, 1777 impl, 0 cont) and 4485 constraints 0.01/0.03 c problem read 0.01/0.03 c presolving settings loaded 0.01/0.05 c presolving: 0.01/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 136 impls, 7 clqs 0.01/0.09 c (round 2) 0 del vars, 68 del conss, 1777 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 136 impls, 7 clqs 0.09/0.10 c (round 3) 53 del vars, 156 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 0 upgd conss, 136 impls, 7 clqs 0.09/0.11 c (round 4) 130 del vars, 156 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 905 upgd conss, 136 impls, 7 clqs 0.09/0.11 c (round 5) 130 del vars, 177 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 905 upgd conss, 136 impls, 7 clqs 0.09/0.16 c (0.1s) probing: 101/1943 (5.2%) - 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 130 deleted vars, 177 deleted constraints, 1789 tightened bounds, 0 added holes, 76 changed sides, 0 changed coefficients 0.09/0.16 c 3544 implications, 7 cliques 0.09/0.16 c presolved problem has 3655 variables (1943 bin, 0 int, 1712 impl, 0 cont) and 4308 constraints 0.09/0.16 c 43 constraints of type <setppc> 0.09/0.16 c 1712 constraints of type <linear> 0.09/0.16 c 1712 constraints of type <indicator> 0.09/0.16 c 841 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.12 0.09/0.16 c - non default parameters ---------------------------------------------------------------------- 0.09/0.16 c # SCIP version 1.2.1.3 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 = 1789.98 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 # default clock type (1: CPU user seconds, 2: wall clock time) 0.09/0.16 c # [type: int, range: [1,2], default: 1] 0.09/0.16 c timing/clocktype = 2 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 # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.16 c constraints/indicator/addCouplingCons = 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 | 18 | - | 13M| 0 | 8 |3655 |4308 |3655 | 884 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.19/0.27 c 0.2s| 1 | 0 | 62 | - | 13M| 0 | 29 |3655 |4308 |3655 | 905 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf 0.29/0.32 c 0.3s| 1 | 0 | 86 | - | 14M| 0 | 30 |3655 |4308 |3655 | 923 | 39 | 0 | 0 | 0.000000e+00 | -- | Inf 0.29/0.39 c 0.4s| 1 | 0 | 111 | - | 14M| 0 | 43 |3655 |4308 |3655 | 937 | 53 | 0 | 0 | 0.000000e+00 | -- | Inf 0.39/0.46 c 0.4s| 1 | 0 | 142 | - | 15M| 0 | 53 |3655 |4308 |3655 | 943 | 59 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.55 c 0.5s| 1 | 0 | 180 | - | 15M| 0 | 61 |3655 |4308 |3655 | 953 | 69 | 0 | 0 | 0.000000e+00 | -- | Inf 0.59/0.65 c 0.6s| 1 | 0 | 243 | - | 15M| 0 | 52 |3655 |4308 |3655 | 966 | 82 | 0 | 0 | 0.000000e+00 | -- | Inf 0.79/0.82 c 0.8s| 1 | 2 | 243 | - | 15M| 0 | 52 |3655 |4308 |3655 | 966 | 82 | 0 | 16 | 0.000000e+00 | -- | Inf 3.09/3.20 o 86784 3.09/3.20 c y 3.2s| 51 | 50 | 2457 | 44.3 | 15M| 22 | - |3655 |4308 | 0 | 0 | 250 | 0 | 607 | 0.000000e+00 | 8.678400e+04 | Inf 22.49/22.58 c 22.6s| 10000 | 10001 | 22556 | 2.2 | 38M| 291 | 0 |3655 |4308 |3655 |1004 |3853 | 0 |1522 | 0.000000e+00 | 8.678400e+04 | Inf 35.39/35.42 c 35.4s| 20000 | 19995 | 25372 | 1.3 | 54M| 623 | 0 |3655 |4311 |3655 | 990 |4408 | 3 |1541 | 0.000000e+00 | 8.678400e+04 | Inf 36.89/36.99 o 327 36.89/36.99 c *37.0s| 21336 | 11438 | 25435 | 1.2 | 41M|1063 | - |3655 |4311 |3655 |1006 |4426 | 3 |1542 | 0.000000e+00 | 3.270000e+02 | Inf 38.90/38.98 o 321 38.90/38.98 c *38.9s| 22613 | 12394 | 26264 | 1.2 | 44M|1063 | - |3655 |4470 |3655 | 975 |4561 | 162 |1552 | 0.000000e+00 | 3.210000e+02 | Inf 41.59/41.68 o 136 41.59/41.68 c *41.7s| 23764 | 5456 | 30782 | 1.3 | 33M|1063 | - |3655 |5162 |3655 | 996 |5351 | 893 |1612 | 0.000000e+00 | 1.360000e+02 | Inf 41.70/41.72 o 135 41.70/41.72 c *41.7s| 23778 | 5408 | 30844 | 1.3 | 33M|1063 | - |3655 |5173 |3655 | 994 |5360 | 905 |1612 | 0.000000e+00 | 1.350000e+02 | Inf 41.70/41.73 o 130 41.70/41.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 41.70/41.73 c *41.7s| 23779 | 5150 | 30854 | 1.3 | 32M|1063 | - |3655 |5173 |3655 | 994 |5360 | 905 |1612 | 0.000000e+00 | 1.300000e+02 | Inf 42.09/42.10 o 111 42.09/42.10 c *42.1s| 23891 | 4203 | 31739 | 1.3 | 31M|1063 | - |3655 |5222 |3655 |1000 |5514 | 986 |1617 | 0.000000e+00 | 1.110000e+02 | Inf 42.09/42.11 o 86 42.09/42.11 c *42.1s| 23892 | 2917 | 31739 | 1.3 | 28M|1063 | - |3655 |5222 |3655 |1000 |5514 | 986 |1617 | 0.000000e+00 | 8.600000e+01 | Inf 42.29/42.30 o 82 42.29/42.30 c *42.3s| 23933 | 2471 | 32266 | 1.3 | 28M|1063 | - |3655 |4981 |3655 | 995 |5598 |1034 |1620 | 0.000000e+00 | 8.200000e+01 | Inf 45.19/45.28 o 81 45.19/45.28 c *45.3s| 25141 | 2652 | 39281 | 1.6 | 30M|1063 | - |3655 |5535 |3655 | 986 |6032 |2211 |1657 | 0.000000e+00 | 8.100000e+01 | Inf 45.19/45.29 o 71 45.19/45.29 c *45.3s| 25142 | 2208 | 39281 | 1.6 | 30M|1063 | - |3655 |5535 |3655 | 986 |6032 |2211 |1657 | 0.000000e+00 | 7.100000e+01 | Inf 48.90/48.93 o 68 48.90/48.93 c *48.9s| 26521 | 2316 | 49970 | 1.9 | 32M|1063 | - |3655 |5551 |3655 | 985 |6707 |3655 |1684 | 0.000000e+00 | 6.800000e+01 | Inf 53.99/54.07 o 60 53.99/54.07 c *54.0s| 28621 | 2313 | 60031 | 2.1 | 35M|1063 | - |3655 |6084 |3655 | 999 |7516 |5885 |1716 | 0.000000e+00 | 6.000000e+01 | Inf 57.40/57.42 c 57.4s| 30000 | 2404 | 67887 | 2.3 | 36M|1063 | - |3655 |5755 | 0 | 0 |8082 |7451 |1745 | 0.000000e+00 | 6.000000e+01 | Inf 59.69/59.79 o 59 59.69/59.79 c *59.8s| 31199 | 2479 | 74301 | 2.4 | 38M|1063 | - |3655 |6064 |3655 | 973 |8453 |8665 |1747 | 0.000000e+00 | 5.900000e+01 | Inf 59.69/59.79 o 56 59.69/59.79 c *59.8s| 31200 | 2372 | 74301 | 2.4 | 37M|1063 | - |3655 |6064 |3655 | 973 |8453 |8665 |1747 | 0.000000e+00 | 5.600000e+01 | Inf 60.09/60.19 o 52 60.09/60.19 c *60.2s| 31378 | 2243 | 75233 | 2.4 | 37M|1063 | - |3655 |5881 |3655 | 977 |8493 |8864 |1747 | 0.000000e+00 | 5.200000e+01 | Inf 60.09/60.19 o 51 60.09/60.19 c *60.2s| 31379 | 2225 | 75236 | 2.4 | 37M|1063 | - |3655 |5881 |3655 | 977 |8493 |8864 |1747 | 0.000000e+00 | 5.100000e+01 | Inf 60.79/60.85 o 44 60.79/60.85 c *60.8s| 31694 | 2034 | 77365 | 2.4 | 36M|1063 | - |3655 |5890 |3655 | 972 |8594 |9211 |1747 | 0.000000e+00 | 4.400000e+01 | Inf 61.39/61.49 o 40 61.39/61.49 c *61.5s| 31974 | 1905 | 78942 | 2.5 | 35M|1063 | - |3655 |5477 |3655 | 993 |8677 |9570 |1747 | 0.000000e+00 | 4.000000e+01 | Inf 64.59/64.60 o 38 64.59/64.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 64.59/64.60 c *64.6s| 33639 | 1887 | 86003 | 2.5 | 36M|1063 | - |3655 |5527 |3655 |1002 |9072 | 11k|1747 | 0.000000e+00 | 3.800000e+01 | Inf 64.59/64.61 o 19 64.59/64.61 c *64.6s| 33640 | 1361 | 86003 | 2.5 | 33M|1063 | - |3655 |5527 |3655 |1002 |9072 | 11k|1747 | 0.000000e+00 | 1.900000e+01 | Inf 69.49/69.51 o 17 69.49/69.51 c *69.5s| 36456 | 1309 |104067 | 2.8 | 33M|1063 | - |3655 |6128 |3655 | 982 | 10k| 15k|1747 | 0.000000e+00 | 1.700000e+01 | Inf 75.99/76.01 c 76.0s| 40000 | 1440 |129606 | 3.2 | 35M|1063 | - |3655 |7605 | 0 | 0 | 12k| 19k|1747 | 0.000000e+00 | 1.700000e+01 | Inf 94.09/94.18 o 14 94.09/94.18 c *94.2s| 49431 | 1480 |204794 | 4.1 | 37M|1063 | - |3655 | 11k|3655 | 996 | 17k| 31k|1747 | 0.000000e+00 | 1.400000e+01 | Inf 95.49/95.51 c 95.5s| 50000 | 1480 |209613 | 4.2 | 36M|1063 | - |3655 |9491 |3655 | 986 | 17k| 32k|1747 | 0.000000e+00 | 1.400000e+01 | Inf 113.89/113.97 c 114s| 60000 | 1720 |275680 | 4.6 | 39M|1063 | - |3655 | 11k| 0 | 0 | 21k| 45k|1868 | 0.000000e+00 | 1.400000e+01 | Inf 115.00/115.10 o 13 115.00/115.10 c * 115s| 60600 | 1688 |279395 | 4.6 | 39M|1063 | - |3655 | 12k|3655 | 996 | 21k| 46k|1872 | 0.000000e+00 | 1.300000e+01 | Inf 133.39/133.48 c 133s| 70000 | 2132 |347496 | 5.0 | 42M|1063 | - |3655 | 11k|3655 | 974 | 25k| 58k|2028 | 0.000000e+00 | 1.300000e+01 | Inf 133.89/133.95 o 10 133.89/133.95 c * 134s| 70236 | 2077 |349381 | 5.0 | 42M|1063 | - |3655 | 11k|3655 | 979 | 25k| 58k|2028 | 0.000000e+00 | 1.000000e+01 | Inf 133.89/133.96 o 9 133.89/133.96 c * 134s| 70237 | 2054 |349381 | 5.0 | 41M|1063 | - |3655 | 11k|3655 | 979 | 25k| 58k|2028 | 0.000000e+00 | 9.000000e+00 | Inf 145.49/145.54 o 1 145.49/145.54 c * 146s| 76131 | 2030 |392586 | 5.2 | 41M|1063 | - |3655 | 10k|3655 | 972 | 28k| 66k|2162 | 0.000000e+00 | 1.000000e+00 | Inf 152.29/152.36 c 152s| 80000 | 2108 |419365 | 5.2 | 42M|1063 | 7 |3655 |9793 |3655 | 973 | 30k| 71k|2225 | 0.000000e+00 | 1.000000e+00 | Inf 169.79/169.81 c 170s| 90000 | 2141 |487817 | 5.4 | 43M|1063 | 1 |3655 | 11k|3655 | 985 | 33k| 85k|2415 | 0.000000e+00 | 1.000000e+00 | Inf 187.70/187.77 c 188s|100000 | 2263 |554733 | 5.5 | 45M|1063 | - |3655 | 13k| 0 | 0 | 37k| 99k|2544 | 0.000000e+00 | 1.000000e+00 | Inf 205.60/205.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 205.60/205.64 c 206s|110000 | 2334 |622402 | 5.7 | 46M|1063 | - |3655 | 12k| 0 | 0 | 39k| 113k|2709 | 0.000000e+00 | 1.000000e+00 | Inf 223.79/223.80 c 224s|120000 | 2394 |688270 | 5.7 | 48M|1063 | - |3655 | 17k| 0 | 0 | 41k| 126k|2861 | 0.000000e+00 | 1.000000e+00 | Inf 242.90/242.95 c 243s|130000 | 2303 |754813 | 5.8 | 47M|1063 | 14 |3655 | 13k|3655 | 977 | 44k| 140k|2994 | 0.000000e+00 | 1.000000e+00 | Inf 261.20/261.22 c 261s|140000 | 2370 |817372 | 5.8 | 48M|1063 | - |3655 | 15k| 0 | 0 | 45k| 154k|3179 | 0.000000e+00 | 1.000000e+00 | Inf 281.10/281.11 c 281s|150000 | 2559 |889068 | 5.9 | 51M|1063 | 6 |3655 | 18k|3655 | 984 | 47k| 169k|3309 | 0.000000e+00 | 1.000000e+00 | Inf 301.10/301.15 c 301s|160000 | 2588 |961100 | 6.0 | 52M|1063 | - |3655 | 19k| 0 | 0 | 49k| 184k|3424 | 0.000000e+00 | 1.000000e+00 | Inf 321.60/321.67 c 322s|170000 | 2533 | 1032k| 6.1 | 52M|1063 | 8 |3655 | 17k|3655 | 984 | 51k| 199k|3522 | 0.000000e+00 | 1.000000e+00 | Inf 341.80/341.87 c 342s|180000 | 2480 | 1102k| 6.1 | 51M|1063 | 26 |3655 | 17k|3655 | 991 | 53k| 214k|3624 | 0.000000e+00 | 1.000000e+00 | Inf 361.60/361.66 c 362s|190000 | 2439 | 1170k| 6.2 | 50M|1063 | 13 |3655 | 14k|3655 | 976 | 56k| 230k|3749 | 0.000000e+00 | 1.000000e+00 | Inf 380.60/380.65 c 381s|200000 | 2496 | 1229k| 6.1 | 52M|1063 | - |3655 | 19k| 0 | 0 | 57k| 243k|3813 | 0.000000e+00 | 1.000000e+00 | Inf 400.41/400.41 c 400s|210000 | 2401 | 1295k| 6.2 | 51M|1063 | 1 |3655 | 17k|3655 | 980 | 59k| 258k|3938 | 0.000000e+00 | 1.000000e+00 | Inf 421.00/421.03 c 421s|220000 | 2445 | 1363k| 6.2 | 53M|1063 | - |3655 | 20k|3655 | 998 | 62k| 271k|4021 | 0.000000e+00 | 1.000000e+00 | Inf 442.20/442.21 c 442s|230000 | 2373 | 1431k| 6.2 | 51M|1063 | - |3655 | 17k|3655 | 991 | 64k| 285k|4135 | 0.000000e+00 | 1.000000e+00 | Inf 461.70/461.76 c 462s|240000 | 2331 | 1497k| 6.2 | 52M|1063 | 17 |3655 | 19k|3655 | 978 | 67k| 299k|4204 | 0.000000e+00 | 1.000000e+00 | Inf 481.30/481.39 c 481s|250000 | 2362 | 1558k| 6.2 | 53M|1063 | 24 |3655 | 22k|3655 | 976 | 69k| 314k|4295 | 0.000000e+00 | 1.000000e+00 | Inf 502.10/502.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 502.10/502.18 c 502s|260000 | 2316 | 1625k| 6.3 | 52M|1063 | - |3655 | 18k| 0 | 0 | 72k| 327k|4367 | 0.000000e+00 | 1.000000e+00 | Inf 522.71/522.75 c 523s|270000 | 2249 | 1691k| 6.3 | 51M|1063 | 18 |3655 | 17k|3655 |1002 | 74k| 341k|4470 | 0.000000e+00 | 1.000000e+00 | Inf 542.10/542.13 c 542s|280000 | 2210 | 1755k| 6.3 | 51M|1063 | - |3655 | 18k| 0 | 0 | 76k| 355k|4541 | 0.000000e+00 | 1.000000e+00 | Inf 561.91/561.97 c 562s|290000 | 2264 | 1824k| 6.3 | 51M|1063 | - |3655 | 15k| 0 | 0 | 79k| 369k|4621 | 0.000000e+00 | 1.000000e+00 | Inf 582.41/582.49 c 582s|300000 | 2398 | 1895k| 6.3 | 53M|1063 | 10 |3655 | 16k|3655 | 992 | 81k| 383k|4728 | 0.000000e+00 | 1.000000e+00 | Inf 602.41/602.48 c 602s|310000 | 2274 | 1966k| 6.3 | 52M|1063 | - |3655 | 15k| 0 | 0 | 84k| 397k|4823 | 0.000000e+00 | 1.000000e+00 | Inf 621.10/621.19 c 621s|320000 | 2192 | 2027k| 6.3 | 51M|1063 | 13 |3655 | 16k|3655 | 972 | 87k| 410k|5221 | 0.000000e+00 | 1.000000e+00 | Inf 641.40/641.45 c 641s|330000 | 2100 | 2102k| 6.4 | 50M|1063 | - |3655 | 14k| 0 | 0 | 91k| 424k|5348 | 0.000000e+00 | 1.000000e+00 | Inf 660.71/660.75 c 661s|340000 | 2018 | 2177k| 6.4 | 49M|1063 | 16 |3655 | 12k|3655 | 977 | 94k| 438k|5406 | 0.000000e+00 | 1.000000e+00 | Inf 678.91/678.97 c 679s|350000 | 1916 | 2245k| 6.4 | 49M|1063 | - |3655 | 13k|3655 | 990 | 97k| 451k|5541 | 0.000000e+00 | 1.000000e+00 | Inf 697.91/697.92 c 698s|360000 | 1950 | 2314k| 6.4 | 50M|1063 | - |3655 | 15k| 0 | 0 | 100k| 464k|5674 | 0.000000e+00 | 1.000000e+00 | Inf 718.40/718.42 c 718s|370000 | 2089 | 2384k| 6.4 | 53M|1063 | 17 |3655 | 20k|3655 | 962 | 103k| 478k|5712 | 0.000000e+00 | 1.000000e+00 | Inf 739.71/739.79 c 740s|380000 | 2073 | 2446k| 6.4 | 54M|1063 | - |3655 | 20k| 0 | 0 | 106k| 492k|5785 | 0.000000e+00 | 1.000000e+00 | Inf 760.91/760.94 c 761s|390000 | 1897 | 2515k| 6.5 | 52M|1063 | 1 |3655 | 17k|3655 | 979 | 109k| 506k|5864 | 0.000000e+00 | 1.000000e+00 | Inf 781.21/781.25 c 781s|400000 | 1915 | 2585k| 6.5 | 53M|1063 | 1 |3655 | 20k|3655 | 983 | 112k| 519k|5958 | 0.000000e+00 | 1.000000e+00 | Inf 800.11/800.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 800.11/800.10 c 800s|410000 | 1840 | 2646k| 6.5 | 51M|1063 | 1 |3655 | 16k|3655 | 969 | 114k| 533k|6009 | 0.000000e+00 | 1.000000e+00 | Inf 819.71/819.75 c 820s|420000 | 1908 | 2705k| 6.4 | 53M|1063 | 1 |3655 | 19k|3655 | 969 | 116k| 546k|6048 | 0.000000e+00 | 1.000000e+00 | Inf 840.32/840.35 c 840s|430000 | 1896 | 2769k| 6.4 | 54M|1063 | 21 |3655 | 21k|3655 | 974 | 119k| 559k|6100 | 0.000000e+00 | 1.000000e+00 | Inf 862.32/862.31 c 862s|440000 | 1697 | 2834k| 6.4 | 50M|1063 | - |3655 | 16k| 0 | 0 | 121k| 573k|6177 | 0.000000e+00 | 1.000000e+00 | Inf 881.82/881.86 c 882s|450000 | 1813 | 2898k| 6.4 | 53M|1063 | - |3655 | 21k| 0 | 0 | 125k| 587k|6232 | 0.000000e+00 | 1.000000e+00 | Inf 903.31/903.35 c 903s|460000 | 1781 | 2962k| 6.4 | 54M|1063 | - |3655 | 25k| 0 | 0 | 127k| 600k|6274 | 0.000000e+00 | 1.000000e+00 | Inf 926.81/926.80 c 927s|470000 | 1818 | 3035k| 6.5 | 54M|1063 | 9 |3655 | 24k|3655 | 963 | 132k| 614k|6360 | 0.000000e+00 | 1.000000e+00 | Inf 949.32/949.33 c 949s|480000 | 1858 | 3103k| 6.5 | 56M|1063 | - |3655 | 27k| 0 | 0 | 135k| 627k|6423 | 0.000000e+00 | 1.000000e+00 | Inf 973.91/973.97 c 974s|490000 | 2023 | 3172k| 6.5 | 58M|1063 | - |3655 | 31k| 0 | 0 | 140k| 641k|6494 | 0.000000e+00 | 1.000000e+00 | Inf 999.61/999.62 c 1000s|500000 | 2132 | 3241k| 6.5 | 60M|1063 | - |3655 | 33k|3655 | 973 | 144k| 655k|6566 | 0.000000e+00 | 1.000000e+00 | Inf 1027.62/1027.62 c 1028s|510000 | 2511 | 3318k| 6.5 | 64M|1063 | 20 |3655 | 37k|3655 | 956 | 152k| 669k|6618 | 0.000000e+00 | 1.000000e+00 | Inf 1054.31/1054.39 c 1054s|520000 | 2547 | 3391k| 6.5 | 65M|1063 | 6 |3655 | 37k|3655 | 981 | 157k| 684k|6673 | 0.000000e+00 | 1.000000e+00 | Inf 1081.41/1081.44 c 1081s|530000 | 2584 | 3467k| 6.5 | 65M|1063 | - |3655 | 36k|3655 | 981 | 162k| 699k|6734 | 0.000000e+00 | 1.000000e+00 | Inf 1109.12/1109.17 c 1109s|540000 | 2566 | 3541k| 6.6 | 65M|1063 | 15 |3655 | 34k|3655 | 963 | 167k| 713k|6805 | 0.000000e+00 | 1.000000e+00 | Inf 1135.51/1135.50 c 1135s|550000 | 2506 | 3614k| 6.6 | 65M|1063 | 19 |3655 | 35k|3655 | 976 | 171k| 728k|6873 | 0.000000e+00 | 1.000000e+00 | Inf 1163.73/1163.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1163.73/1163.78 c 1164s|560000 | 2468 | 3691k| 6.6 | 65M|1063 | 11 |3655 | 35k|3655 | 965 | 175k| 742k|6925 | 0.000000e+00 | 1.000000e+00 | Inf 1191.22/1191.27 c 1191s|570000 | 2472 | 3767k| 6.6 | 66M|1063 | - |3655 | 36k| 0 | 0 | 178k| 757k|6973 | 0.000000e+00 | 1.000000e+00 | Inf 1217.73/1217.77 c 1218s|580000 | 2348 | 3841k| 6.6 | 65M|1063 | 23 |3655 | 35k|3655 | 991 | 183k| 771k|7028 | 0.000000e+00 | 1.000000e+00 | Inf 1244.13/1244.14 c 1244s|590000 | 2427 | 3916k| 6.6 | 66M|1063 | - |3655 | 37k| 0 | 0 | 188k| 786k|7094 | 0.000000e+00 | 1.000000e+00 | Inf 1272.12/1272.14 c 1272s|600000 | 2406 | 3996k| 6.7 | 67M|1063 | 1 |3655 | 37k|3655 | 982 | 193k| 801k|7163 | 0.000000e+00 | 1.000000e+00 | Inf 1300.42/1300.44 c 1300s|610000 | 2467 | 4075k| 6.7 | 67M|1063 | 9 |3655 | 36k|3655 | 980 | 197k| 815k|7227 | 0.000000e+00 | 1.000000e+00 | Inf 1328.33/1328.37 c 1328s|620000 | 2399 | 4149k| 6.7 | 67M|1063 | 14 |3655 | 36k|3655 | 963 | 200k| 829k|7285 | 0.000000e+00 | 1.000000e+00 | Inf 1356.13/1356.18 c 1356s|630000 | 2379 | 4224k| 6.7 | 67M|1063 | 12 |3655 | 37k|3655 | 968 | 203k| 843k|7340 | 0.000000e+00 | 1.000000e+00 | Inf 1382.82/1382.85 c 1383s|640000 | 2316 | 4299k| 6.7 | 65M|1063 | - |3655 | 31k| 0 | 0 | 206k| 857k|7392 | 0.000000e+00 | 1.000000e+00 | Inf 1407.03/1407.04 c 1407s|650000 | 2132 | 4373k| 6.7 | 63M|1063 | - |3655 | 29k| 0 | 0 | 210k| 872k|7438 | 0.000000e+00 | 1.000000e+00 | Inf 1432.73/1432.70 c 1433s|660000 | 1783 | 4457k| 6.8 | 57M|1063 | - |3655 | 25k| 0 | 0 | 216k| 887k|7479 | 0.000000e+00 | 1.000000e+00 | Inf 1455.52/1455.52 c 1455s|670000 | 1498 | 4528k| 6.8 | 50M|1063 | - |3655 | 18k| 0 | 0 | 220k| 901k|7741 | 0.000000e+00 | 1.000000e+00 | Inf 1475.53/1475.59 c 1476s|680000 | 1394 | 4595k| 6.8 | 49M|1063 | 22 |3655 | 17k|3655 | 973 | 222k| 915k|7770 | 0.000000e+00 | 1.000000e+00 | Inf 1496.53/1496.52 c 1496s|690000 | 1455 | 4664k| 6.8 | 50M|1063 | 13 |3655 | 20k|3655 | 983 | 224k| 928k|7792 | 0.000000e+00 | 1.000000e+00 | Inf 1518.52/1518.53 c 1519s|700000 | 1557 | 4735k| 6.8 | 52M|1063 | - |3655 | 22k| 0 | 0 | 227k| 941k|7824 | 0.000000e+00 | 1.000000e+00 | Inf 1540.93/1540.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1540.93/1540.97 c 1541s|710000 | 1534 | 4806k| 6.8 | 52M|1063 | - |3655 | 23k| 0 | 0 | 229k| 955k|7850 | 0.000000e+00 | 1.000000e+00 | Inf 1562.63/1562.61 c 1563s|720000 | 1458 | 4869k| 6.8 | 52M|1063 | 1 |3655 | 23k|3655 | 981 | 231k| 969k|7887 | 0.000000e+00 | 1.000000e+00 | Inf 1584.04/1584.06 c 1584s|730000 | 1607 | 4935k| 6.8 | 54M|1063 | 17 |3655 | 25k|3655 | 991 | 233k| 982k|7917 | 0.000000e+00 | 1.000000e+00 | Inf 1607.04/1607.10 c 1607s|740000 | 1822 | 5003k| 6.8 | 57M|1063 | 16 |3655 | 27k|3655 | 988 | 235k| 996k|7968 | 0.000000e+00 | 1.000000e+00 | Inf 1629.53/1629.53 c 1630s|750000 | 1976 | 5059k| 6.7 | 60M|1063 | 17 |3655 | 31k|3655 | 968 | 237k|1010k|8000 | 0.000000e+00 | 1.000000e+00 | Inf 1653.83/1653.80 c 1654s|760000 | 2071 | 5119k| 6.7 | 61M|1063 | - |3655 | 30k| 0 | 0 | 238k|1024k|8036 | 0.000000e+00 | 1.000000e+00 | Inf 1678.73/1678.71 c 1679s|770000 | 2105 | 5179k| 6.7 | 63M|1063 | - |3655 | 31k| 0 | 0 | 241k|1039k|8073 | 0.000000e+00 | 1.000000e+00 | Inf 1703.63/1703.60 c 1704s|780000 | 2127 | 5241k| 6.7 | 63M|1063 | - |3655 | 31k| 0 | 0 | 243k|1053k|8101 | 0.000000e+00 | 1.000000e+00 | Inf 1729.43/1729.41 c 1729s|790000 | 2293 | 5308k| 6.7 | 67M|1063 | 16 |3655 | 36k|3655 |1000 | 245k|1068k|8128 | 0.000000e+00 | 1.000000e+00 | Inf 1754.54/1754.53 c 1755s|800000 | 2376 | 5369k| 6.7 | 68M|1063 | 1 |3655 | 35k|3655 | 981 | 247k|1083k|8155 | 0.000000e+00 | 1.000000e+00 | Inf 1781.13/1781.12 c 1781s|810000 | 2478 | 5434k| 6.7 | 70M|1063 | - |3655 | 37k| 0 | 0 | 249k|1099k|8188 | 0.000000e+00 | 1.000000e+00 | Inf 1790.03/1790.01 c 1790.03/1790.01 c SCIP Status : solving was interrupted [time limit reached] 1790.03/1790.01 c Solving Time (sec) : 1789.98 1790.03/1790.01 c Solving Nodes : 813023 1790.03/1790.01 c Primal Bound : +1.00000000000000e+00 (141 solutions) 1790.03/1790.01 c Dual Bound : +0.00000000000000e+00 1790.03/1790.01 c Gap : infinite 1790.03/1790.04 s SATISFIABLE 1790.03/1790.04 v -x231 -x230 -x229 -x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 1790.03/1790.04 v -x209 -x208 -x207 -x206 -x205 x204 -x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 -x189 1790.03/1790.04 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 1790.03/1790.04 v -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 1790.03/1790.04 v -x146 -x145 x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 1790.03/1790.04 v -x125 -x124 -x123 x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 1790.03/1790.04 v -x103 x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 1790.03/1790.04 v -x79 -x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 1790.03/1790.04 v -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 1790.03/1790.04 v -x28 x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 x3 x2 1790.03/1790.04 v -x1 1790.03/1790.04 c SCIP Status : solving was interrupted [time limit reached] 1790.03/1790.04 c Solving Time : 1789.98 1790.03/1790.04 c Original Problem : 1790.03/1790.04 c Problem name : HOME/instance-2705637-1278572960.wbo 1790.03/1790.04 c Variables : 3785 (2008 binary, 0 integer, 1777 implicit integer, 0 continuous) 1790.03/1790.04 c Constraints : 4485 initial, 4485 maximal 1790.03/1790.04 c Presolved Problem : 1790.03/1790.04 c Problem name : t_HOME/instance-2705637-1278572960.wbo 1790.03/1790.04 c Variables : 3655 (1943 binary, 0 integer, 1712 implicit integer, 0 continuous) 1790.03/1790.04 c Constraints : 4308 initial, 40253 maximal 1790.03/1790.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1790.03/1790.04 c trivial : 0.00 65 0 0 0 0 0 0 0 1790.03/1790.04 c dualfix : 0.00 65 0 0 0 0 0 0 0 1790.03/1790.04 c boundshift : 0.00 0 0 0 0 0 0 0 0 1790.03/1790.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1790.03/1790.04 c implics : 0.00 0 0 0 0 0 0 0 0 1790.03/1790.04 c probing : 0.04 0 0 0 0 0 0 0 0 1790.03/1790.04 c setppc : 0.00 0 0 0 0 0 21 0 0 1790.03/1790.04 c linear : 0.06 0 0 0 1789 0 91 76 0 1790.03/1790.04 c indicator : 0.00 0 0 0 0 0 65 0 0 1790.03/1790.04 c logicor : 0.01 0 0 0 0 0 0 0 0 1790.03/1790.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0 1790.03/1790.04 c root node : - 3424 - - 3424 - - - - 1790.03/1790.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1790.03/1790.04 c integral : 0 0 0 494970 0 79 976 0 0 864518 1790.03/1790.04 c setppc : 43 6 3849584 60509 5 27458 1203992 0 0 0 1790.03/1790.04 c linear : 1712 6 3825624 61809 4 183662 17750445 249403 0 0 1790.03/1790.04 c indicator : 1712 0 285767 27994 0 203 771522 0 0 0 1790.03/1790.04 c logicor : 841+ 6 1648238 23319 4 173518 4193826 0 0 0 1790.03/1790.04 c bounddisjunction : 0+ 0 418777 0 0 4 407 0 0 0 1790.03/1790.04 c countsols : 0 0 0 23319 1 0 0 0 0 0 1790.03/1790.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1790.03/1790.04 c integral : 21.49 0.00 0.00 21.49 0.00 1790.03/1790.04 c setppc : 11.45 0.00 11.41 0.04 0.00 1790.03/1790.04 c linear : 145.24 0.00 142.20 3.03 0.00 1790.03/1790.04 c indicator : 8.67 0.00 5.54 3.12 0.00 1790.03/1790.04 c logicor : 317.38 0.00 317.15 0.23 0.00 1790.03/1790.04 c bounddisjunction : 1.63 0.00 1.63 0.00 0.00 1790.03/1790.04 c countsols : 0.00 0.00 0.00 0.00 0.00 1790.03/1790.04 c Propagators : Time Calls Cutoffs DomReds 1790.03/1790.04 c vbounds : 0.67 9802 0 975 1790.03/1790.04 c rootredcost : 0.63 27 0 1712 1790.03/1790.04 c pseudoobj : 98.54 3855529 2455 757877 1790.03/1790.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1790.03/1790.04 c propagation : 20.01 387097 386540 2377589 28.6 10854 26.2 - 1790.03/1790.04 c infeasible LP : 10.93 39805 39804 310638 45.4 403 17.5 0 1790.03/1790.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1790.03/1790.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1790.03/1790.04 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1790.03/1790.04 c applied globally : - - - 1103420 24.1 - - - 1790.03/1790.04 c applied locally : - - - 0 0.0 - - - 1790.03/1790.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1790.03/1790.04 c cut pool : 0.00 5 - - 37 - (maximal pool size: 443) 1790.03/1790.04 c redcost : 32.46 495296 0 18057 0 0 1790.03/1790.04 c impliedbounds : 0.00 6 0 0 0 0 1790.03/1790.04 c intobj : 0.00 0 0 0 0 0 1790.03/1790.04 c cgmip : 0.00 0 0 0 0 0 1790.03/1790.04 c gomory : 0.14 6 0 0 1450 0 1790.03/1790.04 c strongcg : 0.13 6 0 0 1700 0 1790.03/1790.04 c cmir : 0.02 6 0 0 0 0 1790.03/1790.04 c flowcover : 0.06 6 0 0 0 0 1790.03/1790.04 c clique : 0.00 6 0 0 0 0 1790.03/1790.04 c zerohalf : 0.00 0 0 0 0 0 1790.03/1790.04 c mcf : 0.00 1 0 0 0 0 1790.03/1790.04 c rapidlearning : 0.07 1 0 0 0 0 1790.03/1790.04 c Pricers : Time Calls Vars 1790.03/1790.04 c problem variables: 0.00 0 0 1790.03/1790.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1790.03/1790.04 c relpscost : 21.08 433144 79 976 0 0 864518 1790.03/1790.04 c pscost : 0.00 0 0 0 0 0 0 1790.03/1790.04 c inference : 6.45 23294 0 0 0 0 46642 1790.03/1790.04 c mostinf : 0.00 0 0 0 0 0 0 1790.03/1790.04 c leastinf : 0.00 0 0 0 0 0 0 1790.03/1790.04 c fullstrong : 0.00 0 0 0 0 0 0 1790.03/1790.04 c allfullstrong : 0.00 0 0 0 0 0 0 1790.03/1790.04 c random : 0.00 0 0 0 0 0 0 1790.03/1790.04 c Primal Heuristics : Time Calls Found 1790.03/1790.04 c LP solutions : 0.03 - 26 1790.03/1790.04 c pseudo solutions : 0.00 - 0 1790.03/1790.04 c intshifting : 0.01 0 0 1790.03/1790.04 c oneopt : 0.33 20 0 1790.03/1790.04 c feaspump : 0.02 1 0 1790.03/1790.04 c crossover : 1.03 21 0 1790.03/1790.04 c guideddiving : 0.28 217 0 1790.03/1790.04 c pscostdiving : 0.29 217 0 1790.03/1790.04 c fracdiving : 0.30 217 0 1790.03/1790.04 c veclendiving : 0.32 217 0 1790.03/1790.04 c linesearchdiving : 0.29 217 0 1790.03/1790.04 c coefdiving : 0.30 218 0 1790.03/1790.04 c objpscostdiving : 0.30 195 0 1790.03/1790.04 c rootsoldiving : 0.37 195 0 1790.03/1790.04 c trivial : 0.01 2 0 1790.03/1790.04 c simplerounding : 0.65 433155 0 1790.03/1790.04 c zirounding : 0.29 1000 0 1790.03/1790.04 c rounding : 0.96 9293 0 1790.03/1790.04 c shifting : 0.78 2903 0 1790.03/1790.04 c twoopt : 0.00 0 0 1790.03/1790.04 c fixandinfer : 0.00 0 0 1790.03/1790.04 c intdiving : 0.00 0 0 1790.03/1790.04 c actconsdiving : 0.00 0 0 1790.03/1790.04 c octane : 0.00 0 0 1790.03/1790.04 c rens : 0.03 1 0 1790.03/1790.04 c rins : 0.00 0 0 1790.03/1790.04 c localbranching : 0.00 0 0 1790.03/1790.04 c mutation : 0.00 0 0 1790.03/1790.04 c dins : 0.00 0 0 1790.03/1790.04 c undercover : 0.00 0 0 1790.03/1790.04 c nlp : 0.14 0 0 1790.03/1790.04 c trysol : 0.34 292 115 1790.03/1790.04 c LP : Time Calls Iterations Iter/call Iter/sec 1790.03/1790.04 c primal LP : 0.00 0 0 0.00 - 1790.03/1790.04 c dual LP : 619.86 510698 5453494 10.68 8797.98 1790.03/1790.04 c lex dual LP : 0.00 0 0 0.00 - 1790.03/1790.04 c barrier LP : 0.00 0 0 0.00 - 1790.03/1790.04 c diving/probing LP: 0.30 170 1698 9.99 5642.02 1790.03/1790.04 c strong branching : 16.95 8199 171544 20.92 10119.53 1790.03/1790.04 c (at root node) : - 16 1699 106.19 - 1790.03/1790.04 c conflict analysis: 0.00 0 0 0.00 - 1790.03/1790.04 c B&B Tree : 1790.03/1790.04 c number of runs : 1 1790.03/1790.04 c nodes : 813023 1790.03/1790.04 c nodes (total) : 813023 1790.03/1790.04 c nodes left : 2546 1790.03/1790.04 c max depth : 1063 1790.03/1790.04 c max depth (total): 1063 1790.03/1790.04 c backtracks : 93461 (11.5%) 1790.03/1790.04 c delayed cutoffs : 72116 1790.03/1790.04 c repropagations : 1664056 (4715515 domain reductions, 69430 cutoffs) 1790.03/1790.04 c avg switch length: 5.56 1790.03/1790.04 c switching time : 280.70 1790.03/1790.04 c Solution : 1790.03/1790.04 c Solutions found : 141 (27 improvements) 1790.03/1790.04 c First Solution : +8.67840000000000e+04 (in run 1, after 50 nodes, 3.16 seconds, depth 23, found by <trysol>) 1790.03/1790.04 c Primal Bound : +1.00000000000000e+00 (in run 1, after 76131 nodes, 145.51 seconds, depth 32, found by <relaxation>) 1790.03/1790.04 c Dual Bound : +0.00000000000000e+00 1790.03/1790.04 c Gap : infinite 1790.03/1790.04 c Root Dual Bound : +0.00000000000000e+00 1790.03/1790.04 c Root Iterations : 243 1790.13/1790.17 c Time complete: 1790.2.
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705637-1278572960/watcher-2705637-1278572960 -o /tmp/evaluation-result-2705637-1278572960/solver-2705637-1278572960 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705637-1278572960.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: 0.36 0.08 0.03 4/178 21174 /proc/meminfo: memFree=29258324/32950928 swapFree=67111528/67111528 [pid=21174] ppid=21172 vsize=12520 CPUtime=0 /proc/21174/stat : 21174 (pbscip.linux.x8) R 21172 21174 21011 0 -1 4202496 1969 0 0 0 0 0 0 0 21 0 1 0 25509840 12820480 1887 4089446400 4194304 10345943 140734330482896 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21174/statm: 3130 1889 429 1502 0 1623 0 [startup+0.019209 s] /proc/loadavg: 0.36 0.08 0.03 4/178 21174 /proc/meminfo: memFree=29258324/32950928 swapFree=67111528/67111528 [pid=21174] ppid=21172 vsize=16092 CPUtime=0.01 /proc/21174/stat : 21174 (pbscip.linux.x8) R 21172 21174 21011 0 -1 4202496 2872 0 0 0 1 0 0 0 21 0 1 0 25509840 16478208 2790 4089446400 4194304 10345943 140734330482896 18446744073709551615 9137947 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21174/statm: 4023 2793 430 1502 0 2516 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 16092 [startup+0.100194 s] /proc/loadavg: 0.36 0.08 0.03 4/178 21174 /proc/meminfo: memFree=29258324/32950928 swapFree=67111528/67111528 [pid=21174] ppid=21172 vsize=33956 CPUtime=0.09 /proc/21174/stat : 21174 (pbscip.linux.x8) R 21172 21174 21011 0 -1 4202496 7511 0 0 0 9 0 0 0 21 0 1 0 25509840 34770944 7075 4089446400 4194304 10345943 140734330482896 18446744073709551615 5017692 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21174/statm: 8489 7075 541 1502 0 6982 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33956 [startup+0.300159 s] /proc/loadavg: 0.36 0.08 0.03 4/178 21174 /proc/meminfo: memFree=29258324/32950928 swapFree=67111528/67111528 [pid=21174] ppid=21172 vsize=40564 CPUtime=0.29 /proc/21174/stat : 21174 (pbscip.linux.x8) R 21172 21174 21011 0 -1 4202496 14111 0 0 0 28 1 0 0 21 0 1 0 25509840 41537536 8627 4089446400 4194304 10345943 140734330482896 18446744073709551615 6186596 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21174/statm: 10141 8627 747 1502 0 8634 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 40564 [startup+0.701089 s] /proc/loadavg: 0.36 0.08 0.03 4/178 21174 /proc/meminfo: memFree=29258324/32950928 swapFree=67111528/67111528 [pid=21174] ppid=21172 vsize=50432 CPUtime=0.69 /proc/21174/stat : 21174 (pbscip.linux.x8) R 21172 21174 21011 0 -1 4202496 20280 0 0 0 67 2 0 0 22 0 1 0 25509840 51642368 10836 4089446400 4194304 10345943 140734330482896 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21174/statm: 12608 10836 780 1502 0 11101 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 50432 [startup+1.50095 s] /proc/loadavg: 0.36 0.08 0.03 3/179 21175 /proc/meminfo: memFree=29215660/32950928 swapFree=67111528/67111528 [pid=21174] ppid=21172 vsize=50752 CPUtime=1.49 /proc/21174/stat : 21174 (pbscip.linux.x8) R 21172 21174 21011 0 -1 4202496 20526 0 0 0 146 3 0 0 25 0 1 0 25509840 51970048 11079 4089446400 4194304 10345943 140734330482896 18446744073709551615 6804096 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21174/statm: 12688 11079 778 1502 0 11181 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 50752 [startup+3.10075 s] /proc/loadavg: 0.49 0.11 0.04 3/179 21175 /proc/meminfo: memFree=29213428/32950928 swapFree=67111528/67111528 [pid=21174] ppid=21172 vsize=50948 CPUtime=3.09 /proc/21174/stat : 21174 (pbscip.linux.x8) R 21172 21174 21011 0 -1 4202496 20734 0 0 0 305 4 0 0 25 0 1 0 25509840 52170752 11284 4089446400 4194304 10345943 140734330482896 18446744073709551615 6702724 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21174/statm: 12737 11284 776 1502 0 11230 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 50948 [startup+6.30011 s] /proc/loadavg: 0.49 0.11 0.04 3/179 21175 /proc/meminfo: memFree=29207160/32950928 swapFree=67111528/67111528 [pid=21174] ppid=21172 vsize=53068 CPUtime=6.29 /proc/21174/stat : 21174 (pbscip.linux.x8) R 21172 21174 21011 0 -1 4202496 26033 0 0 0 623 6 0 0 25 0 1 0 25509840 54341632 11264 4089446400 4194304 10345943 140734330482896 18446744073709551615 7569998 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21174/statm: 13267 11264 773 1502 0 11760 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 53068 [startup+12.701 s] /proc/loadavg: 0.72 0.17 0.06 3/179 21175 /proc/meminfo: memFree=29188320/32950928 swapFree=67111528/67111528 [pid=21174] ppid=21172 vsize=64168 CPUtime=12.69 /proc/21174/stat : 21174 (pbscip.linux.x8) R 21172 21174 21011 0 -1 4202496 41223 0 0 0 1260 9 0 0 25 0 1 0 25509840 65708032 14076 4089446400 4194304 10345943 140734330482896 18446744073709551615 6804096 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21174/statm: 16042 14076 773 1502 0 14535 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 64168 [startup+25.5007 s] /proc/loadavg: 0.92 0.23 0.08 3/179 21175 /proc/meminfo: memFree=29153488/32950928 swapFree=67111528/67111528 [pid=21174] ppid=21172 vsize=79140 CPUtime=25.49 /proc/21174/stat : 21174 (pbscip.linux.x8) R 21172 21174 21011 0 -1 4202496 49238 0 0 0 2537 12 0 0 25 0 1 0 25509840 81039360 17868 4089446400 4194304 10345943 140734330482896 18446744073709551615 4675951 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21174/statm: 19785 17868 773 1502 0 18278 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 79140 [startup+51.1003 s] /proc/loadavg: 1.35 0.39 0.13 3/179 21177 /proc/meminfo: memFree=29081448/32950928 swapFree=67111528/67111528 [pid=21174] ppid=21172 vsize=117232 CPUtime=51.09 /proc/21174/stat : 21174 (pbscip.linux.x8) R 21172 21174 21011 0 -1 4202496 104075 0 0 0 5086 23 0 0 25 0 1 0 25509840 120045568 27544 4089446400 4194304 10345943 140734330482896 18446744073709551615 5926449 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21174/statm: 29308 27544 787 1502 0 27801 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 117232 [startup+102.306 s] /proc/loadavg: 1.74 0.66 0.24 3/179 21177 /proc/meminfo: memFree=29024688/32950928 swapFree=67111528/67111528 [pid=21174] ppid=21172 vsize=147036 CPUtime=102.3 /proc/21174/stat : 21174 (pbscip.linux.x8) R 21172 21174 21011 0 -1 4202496 155568 0 0 0 10189 41 0 0 25 0 1 0 25509840 150564864 34727 4089446400 4194304 10345943 140734330482896 18446744073709551615 4995703 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21174/statm: 36759 34727 787 1502 0 35252 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 147036 [startup+162.301 s] /proc/loadavg: 1.90 0.90 0.34 3/179 21179 /proc/meminfo: memFree=29008880/32950928 swapFree=67111528/67111528 [pid=21174] ppid=21172 vsize=152032 CPUtime=162.29 /proc/21174/stat : 21174 (pbscip.linux.x8) R 21172 21174 21011 0 -1 4202496 200049 0 0 0 16169 60 0 0 25 0 1 0 25509840 155680768 36149 4089446400 4194304 10345943 140734330482896 18446744073709551615 4218188 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21174/statm: 38008 36149 803 1502 0 36501 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 152032 [startup+222.301 s] /proc/loadavg: 1.96 1.10 0.45 3/179 21181 /proc/meminfo: memFree=28998904/32950928 swapFree=67111528/67111528 [pid=21174] ppid=21172 vsize=157080 CPUtime=222.3 /proc/21174/stat : 21174 (pbscip.linux.x8) R 21172 21174 21011 0 -1 4202496 213929 0 0 0 22150 80 0 0 25 0 1 0 25509840 160849920 37432 4089446400 4194304 10345943 140734330482896 18446744073709551615 4692383 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21174/statm: 39270 37432 803 1502 0 37763 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 157080 [startup+282.3 s] /proc/loadavg: 1.98 1.25 0.53 3/179 21183 /proc/meminfo: memFree=28988824/32950928 swapFree=67111528/67111528 [pid=21174] ppid=21172 vsize=162092 CPUtime=282.3 /proc/21174/stat : 21174 (pbscip.linux.x8) R 21172 21174 21011 0 -1 4202496 221518 0 0 0 28134 96 0 0 25 0 1 0 25509840 165982208 38494 4089446400 4194304 10345943 140734330482896 18446744073709551615 5614786 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21174/statm: 40523 38494 803 1502 0 39016 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 162092 [startup+342.301 s] /proc/loadavg: 1.99 1.39 0.63 3/179 21185 /proc/meminfo: memFree=28984672/32950928 swapFree=67111528/67111528 [pid=21174] ppid=21172 vsize=162936 CPUtime=342.3 /proc/21174/stat : 21174 (pbscip.linux.x8) R 21172 21174 21011 0 -1 4202496 229128 0 0 0 34117 113 0 0 25 0 1 0 25509840 166846464 38990 4089446400 4194304 10345943 140734330482896 18446744073709551615 7488806 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21174/statm: 40734 38990 803 1502 0 39227 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 162936 [startup+402.3 s] /proc/loadavg: 1.99 1.49 0.70 3/179 21185 /proc/meminfo: memFree=28981152/32950928 swapFree=67111528/67111528 [pid=21174] ppid=21172 vsize=165628 CPUtime=402.3 /proc/21174/stat : 21174 (pbscip.linux.x8) R 21172 21174 21011 0 -1 4202496 236641 0 0 0 40101 129 0 0 25 0 1 0 25509840 169603072 39362 4089446400 4194304 10345943 140734330482896 18446744073709551615 4706226 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21174/statm: 41407 39362 803 1502 0 39900 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 165628 [startup+462.301 s] /proc/loadavg: 1.99 1.59 0.79 3/179 21187 /proc/meminfo: memFree=28977384/32950928 swapFree=67111528/67111528 [pid=21174] ppid=21172 vsize=166404 CPUtime=462.3 /proc/21174/stat : 21174 (pbscip.linux.x8) R 21172 21174 21011 0 -1 4202496 239007 0 0 0 46087 143 0 0 25 0 1 0 25509840 170397696 39495 4089446400 4194304 10345943 140734330482896 18446744073709551615 6566317 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21174/statm: 41601 39495 803 1502 0 40094 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 166404 [startup+522.301 s] /proc/loadavg: 1.99 1.65 0.86 3/179 21189 /proc/meminfo: memFree=28975860/32950928 swapFree=67111528/67111528 [pid=21174] ppid=21172 vsize=165736 CPUtime=522.31 /proc/21174/stat : 21174 (pbscip.linux.x8) R 21172 21174 21011 0 -1 4202496 242053 0 0 0 52073 158 0 0 25 0 1 0 25509840 169713664 39607 4089446400 4194304 10345943 140734330482896 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21174/statm: 41434 39607 803 1502 0 39927 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 165736 [startup+582.3 s] /proc/loadavg: 2.05 1.73 0.94 3/179 21194 /proc/meminfo: memFree=28971336/32950928 swapFree=67111528/67111528 [pid=21174] ppid=21172 vsize=165728 CPUtime=582.3 /proc/21174/stat : 21174 (pbscip.linux.x8) R 21172 21174 21011 0 -1 4202496 251718 0 0 0 58057 173 0 0 25 0 1 0 25509840 169705472 39642 4089446400 4194304 10345943 140734330482896 18446744073709551615 6068911 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21174/statm: 41432 39642 803 1502 0 39925 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 165728 [startup+642.301 s] /proc/loadavg: 2.02 1.78 1.00 3/179 21196 /proc/meminfo: memFree=28969720/32950928 swapFree=67111528/67111528 [pid=21174] ppid=21172 vsize=168244 CPUtime=642.31 /proc/21174/stat : 21174 (pbscip.linux.x8) R 21172 21174 21011 0 -1 4202496 261542 0 0 0 64039 192 0 0 25 0 1 0 25509840 172281856 39940 4089446400 4194304 10345943 140734330482896 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21174/statm: 42061 39940 803 1502 0 40554 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 168244 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=28953208/32950928 swapFree=67111528/67111528 [pid=21174] ppid=21172 vsize=177868 CPUtime=1002.32 /proc/21174/stat : 21174 (pbscip.linux.x8) R 21172 21174 21011 0 -1 4202496 276903 0 0 0 99960 272 0 0 25 0 1 0 25509840 182136832 42195 4089446400 4194304 10345943 140734330482896 18446744073709551615 6566317 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21174/statm: 44467 42195 803 1502 0 42960 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 177868 [startup+1062.3 s] /proc/loadavg: 2.00 1.93 1.34 3/179 21206 /proc/meminfo: memFree=28950296/32950928 swapFree=67111528/67111528 [pid=21174] ppid=21172 vsize=179532 CPUtime=1062.31 /proc/21174/stat : 21174 (pbscip.linux.x8) R 21172 21174 21011 0 -1 4202496 278071 0 0 0 105949 282 0 0 25 0 1 0 25509840 183840768 42710 4089446400 4194304 10345943 140734330482896 18446744073709551615 6864680 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21174/statm: 44883 42710 803 1502 0 43376 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 179532 [startup+1122.3 s] /proc/loadavg: 2.07 1.96 1.39 3/179 21208 /proc/meminfo: memFree=28941448/32950928 swapFree=67111528/67111528 [pid=21174] ppid=21172 vsize=182656 CPUtime=1122.32 /proc/21174/stat : 21174 (pbscip.linux.x8) R 21172 21174 21011 0 -1 4202496 279794 0 0 0 111937 295 0 0 25 0 1 0 25509840 187039744 43698 4089446400 4194304 10345943 140734330482896 18446744073709551615 7581776 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21174/statm: 45664 43698 803 1502 0 44157 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 182656 [startup+1182.3 s] /proc/loadavg: 2.03 1.97 1.42 3/179 21210 /proc/meminfo: memFree=28939048/32950928 swapFree=67111528/67111528 [pid=21174] ppid=21172 vsize=185092 CPUtime=1182.32 /proc/21174/stat : 21174 (pbscip.linux.x8) R 21172 21174 21011 0 -1 4202496 281010 0 0 0 117923 309 0 0 25 0 1 0 25509840 189534208 43983 4089446400 4194304 10345943 140734330482896 18446744073709551615 4216931 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21174/statm: 46273 43983 803 1502 0 44766 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 185092 [startup+1242.3 s] /proc/loadavg: 2.01 1.97 1.46 3/179 21212 /proc/meminfo: memFree=28937768/32950928 swapFree=67111528/67111528 [pid=21174] ppid=21172 vsize=185092 CPUtime=1242.32 /proc/21174/stat : 21174 (pbscip.linux.x8) R 21172 21174 21011 0 -1 4202496 281180 0 0 0 123911 321 0 0 25 0 1 0 25509840 189534208 44153 4089446400 4194304 10345943 140734330482896 18446744073709551615 4995709 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21174/statm: 46273 44153 803 1502 0 44766 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 185092 [startup+1302.3 s] /proc/loadavg: 2.00 1.97 1.49 3/179 21212 /proc/meminfo: memFree=28936984/32950928 swapFree=67111528/67111528 [pid=21174] ppid=21172 vsize=184464 CPUtime=1302.32 /proc/21174/stat : 21174 (pbscip.linux.x8) R 21172 21174 21011 0 -1 4202496 283029 0 0 0 129899 333 0 0 25 0 1 0 25509840 188891136 44084 4089446400 4194304 10345943 140734330482896 18446744073709551615 7524311 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21174/statm: 46116 44084 803 1502 0 44609 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 184464 [startup+1362.3 s] /proc/loadavg: 2.00 1.97 1.52 3/179 21214 /proc/meminfo: memFree=28935184/32950928 swapFree=67111528/67111528 [pid=21174] ppid=21172 vsize=185920 CPUtime=1362.32 /proc/21174/stat : 21174 (pbscip.linux.x8) R 21172 21174 21011 0 -1 4202496 284910 0 0 0 135886 346 0 0 25 0 1 0 25509840 190382080 44522 4089446400 4194304 10345943 140734330482896 18446744073709551615 6864723 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21174/statm: 46480 44522 803 1502 0 44973 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 185920 [startup+1422.31 s] /proc/loadavg: 2.00 1.97 1.55 3/179 21216 /proc/meminfo: memFree=28934520/32950928 swapFree=67111528/67111528 [pid=21174] ppid=21172 vsize=186756 CPUtime=1422.33 /proc/21174/stat : 21174 (pbscip.linux.x8) R 21172 21174 21011 0 -1 4202496 287432 0 0 0 141875 358 0 0 25 0 1 0 25509840 191238144 44614 4089446400 4194304 10345943 140734330482896 18446744073709551615 6864944 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21174/statm: 46689 44614 803 1502 0 45182 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 186756 [startup+1482.3 s] /proc/loadavg: 2.00 1.97 1.57 3/179 21218 /proc/meminfo: memFree=28932620/32950928 swapFree=67111528/67111528 [pid=21174] ppid=21172 vsize=186804 CPUtime=1482.33 /proc/21174/stat : 21174 (pbscip.linux.x8) R 21172 21174 21011 0 -1 4202496 292373 0 0 0 147859 374 0 0 25 0 1 0 25509840 191287296 44817 4089446400 4194304 10345943 140734330482896 18446744073709551615 4214276 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21174/statm: 46701 44817 803 1502 0 45194 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 186804 [startup+1542.3 s] /proc/loadavg: 2.00 1.97 1.59 3/179 21220 /proc/meminfo: memFree=28932072/32950928 swapFree=67111528/67111528 [pid=21174] ppid=21172 vsize=188124 CPUtime=1542.33 /proc/21174/stat : 21174 (pbscip.linux.x8) R 21172 21174 21011 0 -1 4202496 294440 0 0 0 153847 386 0 0 25 0 1 0 25509840 192638976 44858 4089446400 4194304 10345943 140734330482896 18446744073709551615 6108013 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21174/statm: 47031 44858 803 1502 0 45524 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 188124 [startup+1602.3 s] /proc/loadavg: 2.00 1.97 1.62 3/179 21220 /proc/meminfo: memFree=28930668/32950928 swapFree=67111528/67111528 [pid=21174] ppid=21172 vsize=187432 CPUtime=1602.33 /proc/21174/stat : 21174 (pbscip.linux.x8) R 21172 21174 21011 0 -1 4202496 297142 0 0 0 159834 399 0 0 25 0 1 0 25509840 191930368 44800 4089446400 4194304 10345943 140734330482896 18446744073709551615 4962548 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21174/statm: 46858 44800 803 1502 0 45351 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 187432 [startup+1662.3 s] /proc/loadavg: 2.00 1.97 1.64 3/179 21222 /proc/meminfo: memFree=28927512/32950928 swapFree=67111528/67111528 [pid=21174] ppid=21172 vsize=186808 CPUtime=1662.33 /proc/21174/stat : 21174 (pbscip.linux.x8) R 21172 21174 21011 0 -1 4202496 298922 0 0 0 165822 411 0 0 25 0 1 0 25509840 191291392 44789 4089446400 4194304 10345943 140734330482896 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21174/statm: 46702 44789 803 1502 0 45195 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 186808 [startup+1722.3 s] /proc/loadavg: 2.04 1.99 1.66 3/179 21224 /proc/meminfo: memFree=28926356/32950928 swapFree=67111528/67111528 [pid=21174] ppid=21172 vsize=187880 CPUtime=1722.33 /proc/21174/stat : 21174 (pbscip.linux.x8) R 21172 21174 21011 0 -1 4202496 301273 0 0 0 171811 422 0 0 25 0 1 0 25509840 192389120 44835 4089446400 4194304 10345943 140734330482896 18446744073709551615 6777571 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21174/statm: 46970 44835 803 1502 0 45463 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 187880 [startup+1782.3 s] /proc/loadavg: 2.01 1.99 1.68 3/179 21226 /proc/meminfo: memFree=28922208/32950928 swapFree=67111528/67111528 [pid=21174] ppid=21172 vsize=192560 CPUtime=1782.34 /proc/21174/stat : 21174 (pbscip.linux.x8) R 21172 21174 21011 0 -1 4202496 304182 0 0 0 177801 433 0 0 25 0 1 0 25509840 197181440 45761 4089446400 4194304 10345943 140734330482896 18446744073709551615 7509284 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21174/statm: 48140 45761 803 1502 0 46633 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 192560 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.01 1.99 1.68 2/174 21243 /proc/meminfo: memFree=29133524/32950928 swapFree=67111528/67111528 [pid=21174] ppid=21172 vsize=192812 CPUtime=1785.53 /proc/21174/stat : 21174 (pbscip.linux.x8) R 21172 21174 21011 0 -1 4202496 304226 0 0 0 178120 433 0 0 25 0 1 0 25509840 197439488 45805 4089446400 4194304 10345943 140734330482896 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/21174/statm: 48203 45805 803 1502 0 46696 0 Current children cumulated CPU time (s) 1785.53 Current children cumulated vsize (KiB) 192812 [startup+1788.7 s] /proc/loadavg: 1.93 1.97 1.68 2/174 21243 /proc/meminfo: memFree=29133648/32950928 swapFree=67111528/67111528 [pid=21174] ppid=21172 vsize=192812 CPUtime=1788.74 /proc/21174/stat : 21174 (pbscip.linux.x8) R 21172 21174 21011 0 -1 4202496 304233 0 0 0 178440 434 0 0 25 0 1 0 25509840 197439488 45812 4089446400 4194304 10345943 140734330482896 18446744073709551615 7507741 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/21174/statm: 48203 45812 803 1502 0 46696 0 Current children cumulated CPU time (s) 1788.74 Current children cumulated vsize (KiB) 192812 [startup+1789.5 s] /proc/loadavg: 1.93 1.97 1.68 2/174 21243 /proc/meminfo: memFree=29133648/32950928 swapFree=67111528/67111528 [pid=21174] ppid=21172 vsize=192812 CPUtime=1789.53 /proc/21174/stat : 21174 (pbscip.linux.x8) R 21172 21174 21011 0 -1 4202496 304233 0 0 0 178519 434 0 0 25 0 1 0 25509840 197439488 45812 4089446400 4194304 10345943 140734330482896 18446744073709551615 4995169 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/21174/statm: 48203 45812 803 1502 0 46696 0 Current children cumulated CPU time (s) 1789.53 Current children cumulated vsize (KiB) 192812 [startup+1789.9 s] /proc/loadavg: 1.93 1.97 1.68 2/174 21243 /proc/meminfo: memFree=29133648/32950928 swapFree=67111528/67111528 [pid=21174] ppid=21172 vsize=192812 CPUtime=1789.93 /proc/21174/stat : 21174 (pbscip.linux.x8) R 21172 21174 21011 0 -1 4202496 304233 0 0 0 178559 434 0 0 25 0 1 0 25509840 197439488 45812 4089446400 4194304 10345943 140734330482896 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/21174/statm: 48203 45812 803 1502 0 46696 0 Current children cumulated CPU time (s) 1789.93 Current children cumulated vsize (KiB) 192812 [startup+1790.1 s] /proc/loadavg: 1.93 1.97 1.68 2/174 21243 /proc/meminfo: memFree=29133648/32950928 swapFree=67111528/67111528 [pid=21174] ppid=21172 vsize=192812 CPUtime=1790.13 /proc/21174/stat : 21174 (pbscip.linux.x8) R 21172 21174 21011 0 -1 4202496 304327 0 0 0 178579 434 0 0 18 0 1 0 25509840 197439488 45906 4089446400 4194304 10345943 140734330482896 18446744073709551615 6324933 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/21174/statm: 48203 45906 804 1502 0 46696 0 Current children cumulated CPU time (s) 1790.13 Current children cumulated vsize (KiB) 192812 Child status: 0 Real time (s): 1790.17 CPU time (s): 1790.22 CPU user time (s): 1785.86 CPU system time (s): 4.35934 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 192812 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1785.86 system time used= 4.35934 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 304330 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= 3 involuntary context switches= 3401 runsolver used 3.44648 second user time and 6.10307 second system time The end
Begin job on node125 at 2010-07-08 09:09:20 IDJOB=2705637 IDBENCH=78961 IDSOLVER=1214 FILE ID=node125/2705637-1278572960 PBS_JOBID= 11240203 Free space on /tmp= 73528 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900576151--soft-33-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705637-1278572960/watcher-2705637-1278572960 -o /tmp/evaluation-result-2705637-1278572960/solver-2705637-1278572960 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705637-1278572960.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a6a99f7cb7296aed3ef8f4a1cd1ac483 RANDOM SEED=646221503 node125.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.823 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.64 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.823 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.83 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.823 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.823 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.74 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.823 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.823 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.74 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.823 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.823 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.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 29259224 kB Buffers: 131824 kB Cached: 3295744 kB SwapCached: 0 kB Active: 968120 kB Inactive: 2566208 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29259224 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 25952 kB Writeback: 0 kB AnonPages: 106368 kB Mapped: 17680 kB Slab: 93504 kB PageTables: 4976 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 249284 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= 73528 MiB End job on node125 at 2010-07-08 09:39:11