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.16 | 1800.1 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900571761--soft-66-100-0.wbo |
MD5SUM | e6a38cb3cbe3360d46534c568351a60a |
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 | 2 |
Best CPU time to get the best result obtained on this benchmark | 377.992 |
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 | 900 |
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 | 45741 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 45740 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 713 |
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-2692795-1277903979.wbo> 0.00/0.02 c original problem has 2031 variables (1131 bin, 0 int, 0 impl, 900 cont) and 3608 constraints 0.00/0.02 c problem read 0.00/0.02 c presolving settings loaded 0.03/0.04 c presolving: 0.03/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1116 impls, 15 clqs 0.03/0.07 c (round 2) 0 del vars, 115 del conss, 900 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1116 impls, 15 clqs 0.03/0.08 c (round 3) 53 del vars, 258 del conss, 916 chg bounds, 143 chg sides, 0 chg coeffs, 0 upgd conss, 1116 impls, 15 clqs 0.09/0.10 c (round 4) 122 del vars, 274 del conss, 916 chg bounds, 143 chg sides, 0 chg coeffs, 1672 upgd conss, 1116 impls, 15 clqs 0.09/0.11 c (round 5) 138 del vars, 274 del conss, 916 chg bounds, 143 chg sides, 0 chg coeffs, 1672 upgd conss, 1116 impls, 15 clqs 0.09/0.15 c (0.1s) probing: 101/1062 (9.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 0.09/0.15 c (0.1s) probing aborted: 100/100 successive totally useless probings 0.09/0.15 c presolving (6 rounds): 0.09/0.15 c 138 deleted vars, 274 deleted constraints, 916 tightened bounds, 0 added holes, 143 changed sides, 0 changed coefficients 0.09/0.15 c 1116 implications, 15 cliques 0.09/0.15 c presolved problem has 1893 variables (1062 bin, 0 int, 0 impl, 831 cont) and 3334 constraints 0.09/0.15 c 831 constraints of type <indicator> 0.09/0.15 c 15 constraints of type <setppc> 0.09/0.15 c 831 constraints of type <linear> 0.09/0.15 c 1657 constraints of type <logicor> 0.09/0.15 c transformed objective value is always integral (scale: 1) 0.09/0.15 c Presolving Time: 0.09 0.09/0.15 c - non default parameters ---------------------------------------------------------------------- 0.09/0.15 c # SCIP version 1.2.1.2 0.09/0.15 c 0.09/0.15 c # frequency for displaying node information lines 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.15 c display/freq = 10000 0.09/0.15 c 0.09/0.15 c # maximal time in seconds to run 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/time = 1799.98 0.09/0.15 c 0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/memory = 3420 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify inequalities 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/linear/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify knapsacks 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/rapidlearning/freq = 0 0.09/0.15 c 0.09/0.15 c ----------------------------------------------------------------------------------------------- 0.09/0.15 c start solving 0.09/0.15 c 0.09/0.16 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.16 c 0.1s| 1 | 0 | 51 | - |8639k| 0 | 25 |1893 |3334 |1893 |1672 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.09/0.17 o 42488 0.09/0.17 c y 0.1s| 1 | 0 | 139 | - |8669k| 0 | 25 |1893 |3334 |1893 |1672 | 0 | 0 | 0 | 0.000000e+00 | 4.248800e+04 | Inf 0.19/0.21 c 0.2s| 1 | 0 | 165 | - |8746k| 0 | 33 |1893 |3334 |1893 |1688 | 16 | 0 | 0 | 0.000000e+00 | 4.248800e+04 | Inf 0.19/0.27 c 0.2s| 1 | 0 | 216 | - |8980k| 0 | 43 |1893 |3334 |1893 |1700 | 28 | 0 | 0 | 0.000000e+00 | 4.248800e+04 | Inf 0.29/0.37 c 0.3s| 1 | 0 | 293 | - |8991k| 0 | 47 |1893 |3334 |1893 |1705 | 33 | 0 | 0 | 0.000000e+00 | 4.248800e+04 | Inf 0.39/0.46 c 0.4s| 1 | 0 | 353 | - |9006k| 0 | 43 |1893 |3334 |1893 |1712 | 40 | 0 | 0 | 0.000000e+00 | 4.248800e+04 | Inf 0.49/0.56 c 0.5s| 1 | 0 | 362 | - |9009k| 0 | 44 |1893 |3334 |1893 |1713 | 41 | 0 | 0 | 0.000000e+00 | 4.248800e+04 | Inf 0.59/0.65 c 0.6s| 1 | 0 | 384 | - |9053k| 0 | 50 |1893 |3334 |1893 |1715 | 43 | 0 | 0 | 0.000000e+00 | 4.248800e+04 | Inf 1.29/1.37 c 1.3s| 1 | 2 | 384 | - |9056k| 0 | 50 |1893 |3334 |1893 |1715 | 43 | 0 | 33 | 0.000000e+00 | 4.248800e+04 | Inf 9.89/9.97 o 132 9.89/9.97 c * 9.5s| 956 | 245 | 7944 | 7.9 | 11M| 43 | - |1893 |3342 |1893 |1723 | 486 | 8 |1469 | 0.000000e+00 | 1.320000e+02 | Inf 9.99/10.01 o 80 9.99/10.01 c * 9.5s| 971 | 167 | 8060 | 7.9 | 11M| 43 | - |1893 |3342 |1893 |1717 | 491 | 8 |1471 | 0.000000e+00 | 8.000000e+01 | Inf 10.09/10.10 o 52 10.09/10.10 c * 9.6s| 991 | 35 | 8295 | 8.0 | 11M| 43 | - |1893 |3197 |1893 |1713 | 499 | 37 |1482 | 0.000000e+00 | 5.200000e+01 | Inf 32.49/32.56 c 31.0s| 10000 | 439 | 97903 | 9.8 | 16M| 43 | - |1893 |6342 | 0 | 0 |5247 | 10k|1899 | 0.000000e+00 | 5.200000e+01 | Inf 54.59/54.65 c 52.1s| 20000 | 900 |187267 | 9.3 | 21M| 44 | - |1893 |7896 |1893 |1714 | 10k| 22k|1899 | 0.000000e+00 | 5.200000e+01 | Inf 80.20/80.28 c 76.5s| 30000 | 1434 |295257 | 9.8 | 29M| 46 | - |1893 |7676 |1893 |1710 | 16k| 35k|2047 | 0.000000e+00 | 5.200000e+01 | Inf 83.49/83.54 o 50 83.49/83.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 83.49/83.54 c *79.6s| 31302 | 1478 |308005 | 9.8 | 30M| 50 | - |1893 |7571 |1893 |1707 | 17k| 36k|2110 | 0.000000e+00 | 5.000000e+01 | Inf 85.89/85.90 o 39 85.89/85.90 c *81.8s| 32337 | 1378 |317165 | 9.8 | 27M| 50 | - |1893 |7709 |1893 |1706 | 17k| 38k|2129 | 0.000000e+00 | 3.900000e+01 | Inf 86.00/86.02 o 35 86.00/86.02 c *82.0s| 32395 | 1355 |317613 | 9.8 | 26M| 50 | - |1893 |7550 |1893 |1708 | 17k| 38k|2129 | 0.000000e+00 | 3.500000e+01 | Inf 88.59/88.63 o 31 88.59/88.63 c *84.4s| 33677 | 1385 |328258 | 9.7 | 26M| 50 | - |1893 |7409 |1893 |1713 | 17k| 39k|2132 | 0.000000e+00 | 3.100000e+01 | Inf 88.59/88.67 o 22 88.59/88.67 c *84.5s| 33700 | 1254 |328342 | 9.7 | 23M| 50 | - |1893 |7287 |1893 |1707 | 17k| 39k|2132 | 0.000000e+00 | 2.200000e+01 | Inf 103.50/103.57 c 98.7s| 40000 | 1257 |392083 | 9.8 | 24M| 50 | - |1893 |5641 | 0 | 0 | 19k| 48k|2376 | 0.000000e+00 | 2.200000e+01 | Inf 109.60/109.62 o 21 109.60/109.62 c * 104s| 42473 | 1036 |418607 | 9.8 | 21M| 50 | - |1893 |6762 |1893 |1705 | 20k| 51k|2486 | 0.000000e+00 | 2.100000e+01 | Inf 126.60/126.69 c 121s| 50000 | 1131 |491214 | 9.8 | 23M| 58 | 18 |1893 |9698 |1893 |1706 | 21k| 61k|2737 | 0.000000e+00 | 2.100000e+01 | Inf 137.80/137.81 o 19 137.80/137.81 c * 131s| 55218 | 1239 |535946 | 9.7 | 25M| 58 | - |1893 | 11k|1893 |1706 | 22k| 68k|2876 | 0.000000e+00 | 1.900000e+01 | Inf 137.80/137.81 o 15 137.80/137.81 c * 131s| 55219 | 1214 |535949 | 9.7 | 24M| 58 | - |1893 | 11k|1893 |1706 | 22k| 68k|2876 | 0.000000e+00 | 1.500000e+01 | Inf 140.59/140.64 o 7 140.59/140.64 c * 134s| 56641 | 1104 |547470 | 9.7 | 24M| 58 | - |1893 | 12k|1893 |1706 | 22k| 69k|2880 | 0.000000e+00 | 7.000000e+00 | Inf 147.89/147.93 c 141s| 60000 | 1092 |576251 | 9.6 | 24M| 58 | 17 |1893 | 12k|1893 |1706 | 22k| 74k|2996 | 0.000000e+00 | 7.000000e+00 | Inf 170.20/170.28 c 162s| 70000 | 969 |670321 | 9.6 | 22M| 58 | 27 |1893 |7102 |1893 |1705 | 25k| 88k|3316 | 0.000000e+00 | 7.000000e+00 | Inf 190.39/190.49 c 181s| 80000 | 1194 |757365 | 9.5 | 25M| 58 | - |1893 | 12k| 0 | 0 | 28k| 101k|3514 | 0.000000e+00 | 7.000000e+00 | Inf 211.39/211.44 c 201s| 90000 | 1294 |844360 | 9.4 | 26M| 58 | 18 |1893 | 12k|1893 |1705 | 30k| 114k|3736 | 0.000000e+00 | 7.000000e+00 | Inf 232.50/232.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 232.50/232.55 c 221s|100000 | 1322 |926729 | 9.3 | 29M| 58 | 13 |1893 | 18k|1893 |1705 | 33k| 129k|3950 | 0.000000e+00 | 7.000000e+00 | Inf 252.91/252.95 c 241s|110000 | 1334 |997981 | 9.1 | 29M| 59 | 24 |1893 | 18k|1893 |1705 | 35k| 142k|4103 | 0.000000e+00 | 7.000000e+00 | Inf 273.10/273.19 o 6 273.10/273.19 c * 260s|119394 | 1305 | 1073k| 9.0 | 30M| 59 | - |1893 | 19k|1893 |1709 | 37k| 155k|4298 | 0.000000e+00 | 6.000000e+00 | Inf 274.60/274.69 c 261s|120000 | 1304 | 1080k| 9.0 | 30M| 59 | 29 |1893 | 19k|1893 |1709 | 37k| 156k|4298 | 0.000000e+00 | 6.000000e+00 | Inf 296.80/296.87 c 282s|130000 | 1256 | 1169k| 9.0 | 27M| 59 | 28 |1893 | 11k|1893 |1711 | 39k| 169k|4505 | 0.000000e+00 | 6.000000e+00 | Inf 315.80/315.87 c 300s|140000 | 1323 | 1242k| 8.9 | 29M| 64 | - |1893 | 16k| 0 | 0 | 42k| 183k|4623 | 0.000000e+00 | 6.000000e+00 | Inf 335.70/335.73 c 319s|150000 | 1463 | 1316k| 8.8 | 32M| 64 | - |1893 | 19k| 0 | 0 | 46k| 197k|4770 | 0.000000e+00 | 6.000000e+00 | Inf 356.10/356.19 c 339s|160000 | 1383 | 1389k| 8.7 | 30M| 64 | 14 |1893 | 13k|1893 |1709 | 50k| 211k|4908 | 0.000000e+00 | 6.000000e+00 | Inf 376.51/376.56 c 358s|170000 | 1418 | 1466k| 8.6 | 32M| 64 | - |1893 | 18k| 0 | 0 | 53k| 225k|5081 | 0.000000e+00 | 6.000000e+00 | Inf 397.30/397.37 c 378s|180000 | 1468 | 1537k| 8.5 | 35M| 64 | - |1893 | 24k|1893 |1711 | 56k| 239k|5184 | 0.000000e+00 | 6.000000e+00 | Inf 419.80/419.81 c 399s|190000 | 1410 | 1612k| 8.5 | 32M| 68 | 7 |1893 | 17k|1893 |1705 | 59k| 254k|5352 | 0.000000e+00 | 6.000000e+00 | Inf 440.70/440.75 c 419s|200000 | 1387 | 1687k| 8.4 | 33M| 68 | 29 |1893 | 18k|1893 |1705 | 62k| 268k|5517 | 0.000000e+00 | 6.000000e+00 | Inf 461.40/461.41 c 439s|210000 | 1297 | 1762k| 8.4 | 30M| 68 | 14 |1893 | 12k|1893 |1705 | 63k| 282k|5715 | 0.000000e+00 | 6.000000e+00 | Inf 483.71/483.72 c 460s|220000 | 1155 | 1851k| 8.4 | 29M| 68 | - |1893 | 11k| 0 | 0 | 65k| 295k|5947 | 0.000000e+00 | 6.000000e+00 | Inf 504.20/504.21 c 479s|230000 | 1189 | 1930k| 8.4 | 32M| 68 | 11 |1893 | 19k|1893 |1705 | 69k| 308k|6051 | 0.000000e+00 | 6.000000e+00 | Inf 525.61/525.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 525.61/525.63 c 500s|240000 | 1179 | 2003k| 8.3 | 33M| 68 | 30 |1893 | 22k|1893 |1705 | 74k| 321k|6137 | 0.000000e+00 | 6.000000e+00 | Inf 549.31/549.31 c 522s|250000 | 1178 | 2088k| 8.4 | 34M| 68 | 24 |1893 | 23k|1893 |1712 | 76k| 335k|6315 | 0.000000e+00 | 6.000000e+00 | Inf 576.01/576.00 o 2 576.01/576.00 c * 548s|259010 | 1048 | 2197k| 8.5 | 33M| 68 | - |1893 | 26k|1893 |1712 | 77k| 347k|6457 | 0.000000e+00 | 2.000000e+00 | Inf 578.80/578.87 c 551s|260000 | 1062 | 2208k| 8.5 | 33M| 68 | 29 |1893 | 26k|1893 |1712 | 77k| 348k|6482 | 0.000000e+00 | 2.000000e+00 | Inf 608.51/608.57 c 579s|270000 | 1104 | 2325k| 8.6 | 36M| 69 | 18 |1893 | 31k|1893 |1712 | 77k| 362k|6640 | 0.000000e+00 | 2.000000e+00 | Inf 636.52/636.58 c 606s|280000 | 1010 | 2431k| 8.7 | 33M| 69 | 23 |1893 | 25k|1893 |1708 | 78k| 375k|6784 | 0.000000e+00 | 2.000000e+00 | Inf 660.11/660.17 c 629s|290000 | 976 | 2519k| 8.7 | 31M| 69 | - |1893 | 18k| 0 | 0 | 81k| 389k|6890 | 0.000000e+00 | 2.000000e+00 | Inf 680.92/680.91 c 648s|300000 | 1036 | 2592k| 8.6 | 34M| 69 | - |1893 | 27k| 0 | 0 | 83k| 402k|6983 | 0.000000e+00 | 2.000000e+00 | Inf 703.72/703.77 c 670s|310000 | 1002 | 2663k| 8.6 | 35M| 69 | 14 |1893 | 30k|1893 |1708 | 85k| 416k|7077 | 0.000000e+00 | 2.000000e+00 | Inf 726.71/726.76 c 692s|320000 | 990 | 2732k| 8.5 | 35M| 69 | 24 |1893 | 29k|1893 |1705 | 88k| 430k|7153 | 0.000000e+00 | 2.000000e+00 | Inf 749.52/749.57 c 714s|330000 | 1155 | 2811k| 8.5 | 35M| 69 | 26 |1893 | 28k|1893 |1705 | 90k| 443k|7330 | 0.000000e+00 | 2.000000e+00 | Inf 772.91/772.92 c 736s|340000 | 1188 | 2890k| 8.5 | 36M| 69 | 38 |1893 | 27k|1893 |1705 | 92k| 457k|7414 | 0.000000e+00 | 2.000000e+00 | Inf 796.91/796.99 c 759s|350000 | 1349 | 2971k| 8.5 | 38M| 69 | - |1893 | 33k| 0 | 0 | 95k| 471k|7503 | 0.000000e+00 | 2.000000e+00 | Inf 820.92/820.99 c 782s|360000 | 1354 | 3042k| 8.5 | 39M| 69 | - |1893 | 33k| 0 | 0 | 97k| 485k|7580 | 0.000000e+00 | 2.000000e+00 | Inf 845.42/845.49 c 806s|370000 | 1333 | 3118k| 8.4 | 39M| 69 | 26 |1893 | 33k|1893 |1705 | 100k| 499k|7680 | 0.000000e+00 | 2.000000e+00 | Inf 869.52/869.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 869.52/869.51 c 829s|380000 | 1317 | 3188k| 8.4 | 39M| 69 | - |1893 | 34k| 0 | 0 | 103k| 513k|7784 | 0.000000e+00 | 2.000000e+00 | Inf 895.52/895.56 c 854s|390000 | 1324 | 3256k| 8.3 | 41M| 69 | 9 |1893 | 39k|1893 |1705 | 104k| 527k|7869 | 0.000000e+00 | 2.000000e+00 | Inf 921.92/921.98 c 880s|400000 | 1366 | 3325k| 8.3 | 44M| 69 | 28 |1893 | 45k|1893 |1705 | 107k| 541k|7943 | 0.000000e+00 | 2.000000e+00 | Inf 951.53/951.55 c 908s|410000 | 1388 | 3396k| 8.3 | 45M| 69 | 23 |1893 | 47k|1893 |1705 | 110k| 556k|8025 | 0.000000e+00 | 2.000000e+00 | Inf 979.72/979.78 c 935s|420000 | 1403 | 3468k| 8.3 | 46M| 69 | - |1893 | 50k| 0 | 0 | 114k| 570k|8096 | 0.000000e+00 | 2.000000e+00 | Inf 1010.12/1010.19 c 965s|430000 | 1380 | 3545k| 8.2 | 47M| 69 | 37 |1893 | 52k|1893 |1705 | 117k| 585k|8186 | 0.000000e+00 | 2.000000e+00 | Inf 1040.22/1040.23 c 994s|440000 | 1396 | 3624k| 8.2 | 44M| 69 | 14 |1893 | 44k|1893 |1705 | 120k| 599k|8287 | 0.000000e+00 | 2.000000e+00 | Inf 1069.63/1069.69 c 1022s|450000 | 1443 | 3702k| 8.2 | 46M| 69 | 7 |1893 | 47k|1893 |1705 | 124k| 613k|8373 | 0.000000e+00 | 2.000000e+00 | Inf 1099.43/1099.45 c 1051s|460000 | 1371 | 3781k| 8.2 | 46M| 69 | 13 |1893 | 47k|1893 |1705 | 127k| 627k|8454 | 0.000000e+00 | 2.000000e+00 | Inf 1127.43/1127.41 c 1078s|470000 | 1533 | 3868k| 8.2 | 42M| 69 | - |1893 | 35k| 0 | 0 | 130k| 641k|8566 | 0.000000e+00 | 2.000000e+00 | Inf 1152.52/1152.59 c 1102s|480000 | 1603 | 3943k| 8.2 | 44M| 69 | - |1893 | 38k| 0 | 0 | 133k| 654k|8635 | 0.000000e+00 | 2.000000e+00 | Inf 1178.43/1178.47 c 1127s|490000 | 1711 | 4021k| 8.2 | 44M| 69 | 24 |1893 | 38k|1893 |1705 | 136k| 668k|8716 | 0.000000e+00 | 2.000000e+00 | Inf 1205.83/1205.82 c 1153s|500000 | 1872 | 4107k| 8.2 | 47M| 69 | 10 |1893 | 43k|1893 |1705 | 140k| 681k|8822 | 0.000000e+00 | 2.000000e+00 | Inf 1233.93/1233.99 c 1180s|510000 | 1904 | 4190k| 8.2 | 48M| 69 | - |1893 | 45k| 0 | 0 | 144k| 695k|8904 | 0.000000e+00 | 2.000000e+00 | Inf 1261.83/1261.82 c 1207s|520000 | 1871 | 4269k| 8.2 | 48M| 69 | - |1893 | 46k|1893 |1712 | 147k| 708k|8981 | 0.000000e+00 | 2.000000e+00 | Inf 1289.33/1289.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1289.33/1289.36 c 1234s|530000 | 1947 | 4344k| 8.2 | 49M| 69 | 18 |1893 | 48k|1893 |1705 | 151k| 722k|9050 | 0.000000e+00 | 2.000000e+00 | Inf 1319.14/1319.12 c 1262s|540000 | 1931 | 4428k| 8.2 | 51M| 69 | - |1893 | 51k|1893 |1710 | 154k| 736k|9124 | 0.000000e+00 | 2.000000e+00 | Inf 1349.64/1349.61 c 1292s|550000 | 1963 | 4509k| 8.2 | 50M| 69 | - |1893 | 47k| 0 | 0 | 158k| 750k|9203 | 0.000000e+00 | 2.000000e+00 | Inf 1379.24/1379.27 c 1320s|560000 | 1918 | 4596k| 8.2 | 49M| 69 | 6 |1893 | 44k|1893 |1705 | 161k| 764k|9307 | 0.000000e+00 | 2.000000e+00 | Inf 1407.64/1407.67 c 1348s|570000 | 1958 | 4678k| 8.2 | 48M| 69 | - |1893 | 42k| 0 | 0 | 165k| 778k|9383 | 0.000000e+00 | 2.000000e+00 | Inf 1434.23/1434.23 c 1373s|580000 | 2053 | 4752k| 8.2 | 51M| 69 | - |1893 | 47k| 0 | 0 | 168k| 792k|9432 | 0.000000e+00 | 2.000000e+00 | Inf 1462.84/1462.89 c 1401s|590000 | 2080 | 4830k| 8.2 | 51M| 69 | 7 |1893 | 47k|1893 |1709 | 171k| 806k|9484 | 0.000000e+00 | 2.000000e+00 | Inf 1491.83/1491.86 c 1429s|600000 | 2079 | 4913k| 8.2 | 51M| 69 | - |1893 | 46k|1893 |1712 | 174k| 820k|9549 | 0.000000e+00 | 2.000000e+00 | Inf 1519.84/1519.83 c 1456s|610000 | 2098 | 4993k| 8.2 | 51M| 69 | - |1893 | 45k| 0 | 0 | 177k| 834k|9620 | 0.000000e+00 | 2.000000e+00 | Inf 1547.94/1547.97 c 1483s|620000 | 2213 | 5073k| 8.2 | 53M| 69 | - |1893 | 48k| 0 | 0 | 180k| 848k|9698 | 0.000000e+00 | 2.000000e+00 | Inf 1575.34/1575.37 c 1509s|630000 | 2038 | 5148k| 8.2 | 51M| 69 | - |1893 | 47k| 0 | 0 | 183k| 862k|9775 | 0.000000e+00 | 2.000000e+00 | Inf 1602.44/1602.40 c 1535s|640000 | 2070 | 5216k| 8.2 | 53M| 69 | 21 |1893 | 53k|1893 |1705 | 186k| 876k|9832 | 0.000000e+00 | 2.000000e+00 | Inf 1632.34/1632.34 c 1564s|650000 | 1955 | 5288k| 8.1 | 51M| 69 | - |1893 | 47k| 0 | 0 | 190k| 890k|9915 | 0.000000e+00 | 2.000000e+00 | Inf 1660.15/1660.18 c 1591s|660000 | 1940 | 5361k| 8.1 | 52M| 69 | - |1893 | 49k|1893 |1712 | 193k| 905k|9968 | 0.000000e+00 | 2.000000e+00 | Inf 1689.04/1689.00 c 1619s|670000 | 1996 | 5446k| 8.1 | 52M| 69 | - |1893 | 50k| 0 | 0 | 196k| 918k| 10k| 0.000000e+00 | 2.000000e+00 | Inf 1719.15/1719.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1719.15/1719.12 c 1648s|680000 | 1985 | 5526k| 8.1 | 53M| 69 | 13 |1893 | 51k|1893 |1705 | 199k| 932k| 10k| 0.000000e+00 | 2.000000e+00 | Inf 1749.75/1749.71 c 1677s|690000 | 1935 | 5608k| 8.1 | 51M| 69 | - |1893 | 47k| 0 | 0 | 203k| 947k| 10k| 0.000000e+00 | 2.000000e+00 | Inf 1778.95/1778.95 c 1706s|700000 | 1984 | 5689k| 8.1 | 53M| 69 | - |1893 | 51k| 0 | 0 | 207k| 960k| 10k| 0.000000e+00 | 2.000000e+00 | Inf 1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.05/1800.00 c 1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt] 1800.05/1800.00 c Solving Time (sec) : 1725.81 1800.05/1800.00 c Solving Nodes : 706889 1800.05/1800.00 c Primal Bound : +2.00000000000000e+00 (97 solutions) 1800.05/1800.00 c Dual Bound : +0.00000000000000e+00 1800.05/1800.00 c Gap : infinite 1800.05/1800.01 s SATISFIABLE 1800.05/1800.01 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.01 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.01 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.01 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.01 v -x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x126 -x125 1800.05/1800.01 v -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 -x108 -x107 -x106 -x105 -x104 1800.05/1800.01 v -x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 -x80 1800.05/1800.01 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 -x55 -x54 1800.05/1800.01 v -x53 -x52 -x51 -x50 -x49 -x48 x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 x30 -x29 1800.05/1800.01 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 x14 -x13 -x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 1800.05/1800.01 v -x1 1800.05/1800.01 c SCIP Status : solving was interrupted [user interrupt] 1800.05/1800.01 c Solving Time : 1725.81 1800.05/1800.01 c Original Problem : 1800.05/1800.01 c Problem name : HOME/instance-2692795-1277903979.wbo 1800.05/1800.01 c Variables : 2031 (1131 binary, 0 integer, 0 implicit integer, 900 continuous) 1800.05/1800.01 c Constraints : 3608 initial, 3608 maximal 1800.05/1800.01 c Presolved Problem : 1800.05/1800.01 c Problem name : t_HOME/instance-2692795-1277903979.wbo 1800.05/1800.01 c Variables : 1893 (1062 binary, 0 integer, 0 implicit integer, 831 continuous) 1800.05/1800.01 c Constraints : 3334 initial, 54448 maximal 1800.05/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.05/1800.01 c trivial : 0.00 69 0 0 0 0 0 0 0 1800.05/1800.01 c dualfix : 0.00 69 0 0 0 0 0 0 0 1800.05/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.01 c probing : 0.03 0 0 0 0 0 0 0 0 1800.05/1800.01 c indicator : 0.00 0 0 0 0 0 69 0 0 1800.05/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.01 c linear : 0.04 0 0 0 916 0 205 143 0 1800.05/1800.01 c logicor : 0.02 0 0 0 0 0 0 0 0 1800.05/1800.01 c root node : - 825 - - 1650 - - - - 1800.05/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.05/1800.01 c integral : 0 0 0 441454 0 72 1005 0 0 790104 1800.05/1800.01 c indicator : 831 0 3169465 45498 0 115 704158 0 0 0 1800.05/1800.01 c setppc : 15 6 3169930 45312 0 70404 2810045 0 0 0 1800.05/1800.01 c linear : 831 6 3100849 45551 0 122536 12688590 209777 0 0 1800.05/1800.01 c logicor : 1657+ 6 1680363 841 0 132657 6930900 0 0 0 1800.05/1800.01 c countsols : 0 0 0 841 0 0 0 0 0 0 1800.05/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.05/1800.01 c integral : 35.84 0.00 0.00 35.84 0.00 1800.05/1800.01 c indicator : 1.94 0.00 1.68 0.26 0.00 1800.05/1800.01 c setppc : 17.50 0.00 17.49 0.01 0.00 1800.05/1800.01 c linear : 67.63 0.00 66.48 1.15 0.00 1800.05/1800.01 c logicor : 308.13 0.00 308.12 0.01 0.00 1800.05/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.05/1800.01 c Propagators : Time Calls Cutoffs DomReds 1800.05/1800.01 c vbounds : 0.00 2 0 0 1800.05/1800.01 c rootredcost : 0.00 15 0 825 1800.05/1800.01 c pseudoobj : 49.85 3174521 3251 615900 1800.05/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.05/1800.01 c propagation : 14.37 328848 328185 2059173 29.3 8698 26.5 - 1800.05/1800.01 c infeasible LP : 11.41 61648 61647 502524 46.2 467 16.9 0 1800.05/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.05/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.05/1800.01 c pseudo solution : 0.01 8 8 47 14.5 0 0.0 - 1800.05/1800.01 c applied globally : - - - 970138 26.3 - - - 1800.05/1800.01 c applied locally : - - - 0 0.0 - - - 1800.05/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.05/1800.01 c cut pool : 0.00 5 - - 48 - (maximal pool size: 161) 1800.05/1800.01 c redcost : 10.81 442486 0 73561 0 0 1800.05/1800.01 c impliedbounds : 0.00 6 0 0 0 0 1800.05/1800.01 c intobj : 0.00 0 0 0 0 0 1800.05/1800.01 c cgmip : 0.00 0 0 0 0 0 1800.05/1800.01 c gomory : 0.19 6 0 0 1318 0 1800.05/1800.01 c strongcg : 0.15 6 0 0 855 0 1800.05/1800.01 c cmir : 0.02 6 0 0 2 0 1800.05/1800.01 c flowcover : 0.05 6 0 0 4 0 1800.05/1800.01 c clique : 0.00 6 0 0 0 0 1800.05/1800.01 c zerohalf : 0.00 0 0 0 0 0 1800.05/1800.01 c mcf : 0.00 1 0 0 0 0 1800.05/1800.01 c rapidlearning : 0.00 0 0 0 0 0 1800.05/1800.01 c Pricers : Time Calls Vars 1800.05/1800.01 c problem variables: 0.00 0 0 1800.05/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.05/1800.01 c relpscost : 35.80 395893 72 1005 0 0 790104 1800.05/1800.01 c pscost : 0.00 0 0 0 0 0 0 1800.05/1800.01 c inference : 0.13 827 0 0 0 0 1654 1800.05/1800.01 c mostinf : 0.00 0 0 0 0 0 0 1800.05/1800.01 c leastinf : 0.00 0 0 0 0 0 0 1800.05/1800.01 c fullstrong : 0.00 0 0 0 0 0 0 1800.05/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0 1800.05/1800.01 c random : 0.00 0 0 0 0 0 0 1800.05/1800.01 c Primal Heuristics : Time Calls Found 1800.05/1800.01 c LP solutions : 0.02 - 14 1800.05/1800.01 c pseudo solutions : 0.00 - 0 1800.05/1800.01 c oneopt : 0.10 14 0 1800.05/1800.01 c feaspump : 0.01 1 0 1800.05/1800.01 c intshifting : 0.00 13 0 1800.05/1800.01 c crossover : 0.21 7 0 1800.05/1800.01 c guideddiving : 0.17 85 0 1800.05/1800.01 c pscostdiving : 0.20 85 0 1800.05/1800.01 c veclendiving : 0.11 85 0 1800.05/1800.01 c linesearchdiving : 0.12 85 0 1800.05/1800.01 c coefdiving : 0.20 85 0 1800.05/1800.01 c fracdiving : 0.18 85 0 1800.05/1800.01 c objpscostdiving : 0.17 51 0 1800.05/1800.01 c rootsoldiving : 0.49 52 0 1800.05/1800.01 c trivial : 0.00 2 0 1800.05/1800.01 c simplerounding : 0.32 396137 0 1800.05/1800.01 c zirounding : 0.02 1000 0 1800.05/1800.01 c rounding : 0.74 8854 0 1800.05/1800.01 c shifting : 1.07 2750 0 1800.05/1800.01 c twoopt : 0.00 0 0 1800.05/1800.01 c fixandinfer : 0.00 0 0 1800.05/1800.01 c intdiving : 0.00 0 0 1800.05/1800.01 c actconsdiving : 0.00 0 0 1800.05/1800.01 c octane : 0.00 0 0 1800.05/1800.01 c rens : 0.03 1 0 1800.05/1800.01 c rins : 0.00 0 0 1800.05/1800.01 c localbranching : 0.00 0 0 1800.05/1800.01 c mutation : 0.00 0 0 1800.05/1800.01 c dins : 0.00 0 0 1800.05/1800.01 c undercover : 0.00 0 0 1800.05/1800.01 c nlp : 0.00 0 0 1800.05/1800.01 c trysol : 0.27 1470 83 1800.05/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec 1800.05/1800.01 c primal LP : 0.00 0 0 0.00 - 1800.05/1800.01 c dual LP : 770.75 502056 5743212 11.44 7451.46 1800.05/1800.01 c lex dual LP : 0.00 0 0 0.00 - 1800.05/1800.01 c barrier LP : 0.00 0 0 0.00 - 1800.05/1800.01 c diving/probing LP: 0.97 682 5813 8.52 5992.78 1800.05/1800.01 c strong branching : 31.37 10266 210543 20.51 6711.60 1800.05/1800.01 c (at root node) : - 33 5123 155.24 - 1800.05/1800.01 c conflict analysis: 0.00 0 0 0.00 - 1800.05/1800.01 c B&B Tree : 1800.05/1800.01 c number of runs : 1 1800.05/1800.01 c nodes : 706889 1800.05/1800.01 c nodes (total) : 706889 1800.05/1800.01 c nodes left : 2023 1800.05/1800.01 c max depth : 69 1800.05/1800.01 c max depth (total): 69 1800.05/1800.01 c backtracks : 108969 (15.4%) 1800.05/1800.01 c delayed cutoffs : 80986 1800.05/1800.01 c repropagations : 1134551 (5475965 domain reductions, 79180 cutoffs) 1800.05/1800.01 c avg switch length: 4.66 1800.05/1800.01 c switching time : 240.59 1800.05/1800.01 c Solution : 1800.05/1800.01 c Solutions found : 97 (15 improvements) 1800.05/1800.01 c First Solution : +4.24880000000000e+04 (in run 1, after 1 nodes, 0.12 seconds, depth 0, found by <trysol>) 1800.05/1800.01 c Primal Bound : +2.00000000000000e+00 (in run 1, after 259010 nodes, 548.00 seconds, depth 35, found by <relaxation>) 1800.05/1800.01 c Dual Bound : +0.00000000000000e+00 1800.05/1800.01 c Gap : infinite 1800.05/1800.01 c Root Dual Bound : +0.00000000000000e+00 1800.05/1800.01 c Root Iterations : 384 1800.05/1800.10 c Time complete: 1800.15.
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692795-1277903979/watcher-2692795-1277903979 -o /tmp/evaluation-result-2692795-1277903979/solver-2692795-1277903979 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692795-1277903979.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.01 2.00 2.00 3/178 14581 /proc/meminfo: memFree=31361360/32951124 swapFree=67111528/67111528 [pid=14581] ppid=14579 vsize=9304 CPUtime=0 /proc/14581/stat : 14581 (pbscip.linux.x8) R 14579 14581 13704 0 -1 4202496 1646 0 0 0 0 0 0 0 21 0 1 0 131692505 9527296 1565 4089446400 4194304 8223781 140736139580720 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/14581/statm: 2326 1565 369 984 0 1339 0 [startup+0.0394371 s] /proc/loadavg: 2.01 2.00 2.00 3/178 14581 /proc/meminfo: memFree=31361360/32951124 swapFree=67111528/67111528 [pid=14581] ppid=14579 vsize=22516 CPUtime=0.03 /proc/14581/stat : 14581 (pbscip.linux.x8) R 14579 14581 13704 0 -1 4202496 4994 0 0 0 3 0 0 0 21 0 1 0 131692505 23056384 4549 4089446400 4194304 8223781 140736139580720 18446744073709551615 6207129 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14581/statm: 5629 4549 422 984 0 4642 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 22516 [startup+0.100423 s] /proc/loadavg: 2.01 2.00 2.00 3/178 14581 /proc/meminfo: memFree=31361360/32951124 swapFree=67111528/67111528 [pid=14581] ppid=14579 vsize=24572 CPUtime=0.09 /proc/14581/stat : 14581 (pbscip.linux.x8) R 14579 14581 13704 0 -1 4202496 7104 0 0 0 8 1 0 0 21 0 1 0 131692505 25161728 5117 4089446400 4194304 8223781 140736139580720 18446744073709551615 7253720 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14581/statm: 6143 5117 457 984 0 5156 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 24572 [startup+0.300384 s] /proc/loadavg: 2.01 2.00 2.00 3/178 14581 /proc/meminfo: memFree=31361360/32951124 swapFree=67111528/67111528 [pid=14581] ppid=14579 vsize=31736 CPUtime=0.29 /proc/14581/stat : 14581 (pbscip.linux.x8) R 14579 14581 13704 0 -1 4202496 10898 0 0 0 26 3 0 0 21 0 1 0 131692505 32497664 7036 4089446400 4194304 8223781 140736139580720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14581/statm: 7934 7036 573 984 0 6947 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 31736 [startup+0.700316 s] /proc/loadavg: 2.01 2.00 2.00 3/178 14581 /proc/meminfo: memFree=31361360/32951124 swapFree=67111528/67111528 [pid=14581] ppid=14579 vsize=32440 CPUtime=0.69 /proc/14581/stat : 14581 (pbscip.linux.x8) R 14579 14581 13704 0 -1 4202496 22730 0 0 0 63 6 0 0 22 0 1 0 131692505 33218560 7261 4089446400 4194304 8223781 140736139580720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14581/statm: 8110 7261 599 984 0 7123 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 32440 [startup+1.50016 s] /proc/loadavg: 2.01 2.00 2.00 3/179 14582 /proc/meminfo: memFree=31333824/32951124 swapFree=67111528/67111528 [pid=14581] ppid=14579 vsize=32440 CPUtime=1.49 /proc/14581/stat : 14581 (pbscip.linux.x8) R 14579 14581 13704 0 -1 4202496 22764 0 0 0 140 9 0 0 25 0 1 0 131692505 33218560 7261 4089446400 4194304 8223781 140736139580720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14581/statm: 8110 7261 599 984 0 7123 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 32440 [startup+3.10089 s] /proc/loadavg: 2.01 2.00 2.00 3/179 14582 /proc/meminfo: memFree=31334252/32951124 swapFree=67111528/67111528 [pid=14581] ppid=14579 vsize=32440 CPUtime=3.09 /proc/14581/stat : 14581 (pbscip.linux.x8) R 14579 14581 13704 0 -1 4202496 22794 0 0 0 295 14 0 0 25 0 1 0 131692505 33218560 7268 4089446400 4194304 8223781 140736139580720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14581/statm: 8110 7268 600 984 0 7123 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32440 [startup+6.30028 s] /proc/loadavg: 2.01 2.00 2.00 3/179 14583 /proc/meminfo: memFree=31333944/32951124 swapFree=67111528/67111528 [pid=14581] ppid=14579 vsize=33012 CPUtime=6.29 /proc/14581/stat : 14581 (pbscip.linux.x8) R 14579 14581 13704 0 -1 4202496 39101 0 0 0 599 30 0 0 25 0 1 0 131692505 33804288 7412 4089446400 4194304 8223781 140736139580720 18446744073709551615 6446822 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14581/statm: 8237 7405 600 984 0 7250 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33012 [startup+12.7001 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14583 /proc/meminfo: memFree=31328848/32951124 swapFree=67111528/67111528 [pid=14581] ppid=14579 vsize=38352 CPUtime=12.69 /proc/14581/stat : 14581 (pbscip.linux.x8) R 14579 14581 13704 0 -1 4202496 79508 0 0 0 1210 59 0 0 25 0 1 0 131692505 39272448 8695 4089446400 4194304 8223781 140736139580720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14581/statm: 9588 8695 605 984 0 8601 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 38352 [startup+25.5008 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14583 /proc/meminfo: memFree=31321292/32951124 swapFree=67111528/67111528 [pid=14581] ppid=14579 vsize=46444 CPUtime=25.49 /proc/14581/stat : 14581 (pbscip.linux.x8) R 14579 14581 13704 0 -1 4202496 109637 0 0 0 2431 118 0 0 25 0 1 0 131692505 47558656 10649 4089446400 4194304 8223781 140736139580720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14581/statm: 11611 10649 605 984 0 10624 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 46444 [startup+51.1011 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14583 /proc/meminfo: memFree=31309252/32951124 swapFree=67111528/67111528 [pid=14581] ppid=14579 vsize=56660 CPUtime=51.1 /proc/14581/stat : 14581 (pbscip.linux.x8) R 14579 14581 13704 0 -1 4202496 157595 0 0 0 4871 239 0 0 25 0 1 0 131692505 58019840 13217 4089446400 4194304 8223781 140736139580720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14581/statm: 14165 13217 605 984 0 13178 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 56660 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14585 /proc/meminfo: memFree=31289120/32951124 swapFree=67111528/67111528 [pid=14581] ppid=14579 vsize=75436 CPUtime=102.3 /proc/14581/stat : 14581 (pbscip.linux.x8) R 14579 14581 13704 0 -1 4202496 264292 0 0 0 9747 483 0 0 25 0 1 0 131692505 77246464 17380 4089446400 4194304 8223781 140736139580720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14581/statm: 18859 17380 610 984 0 17872 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 75436 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14587 /proc/meminfo: memFree=31282384/32951124 swapFree=67111528/67111528 [pid=14581] ppid=14579 vsize=81628 CPUtime=162.3 /proc/14581/stat : 14581 (pbscip.linux.x8) R 14579 14581 13704 0 -1 4202496 376152 0 0 0 15445 785 0 0 25 0 1 0 131692505 83587072 18916 4089446400 4194304 8223781 140736139580720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14581/statm: 20407 18916 610 984 0 19420 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 81628 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14588 /proc/meminfo: memFree=31276276/32951124 swapFree=67111528/67111528 [pid=14581] ppid=14579 vsize=83980 CPUtime=222.3 /proc/14581/stat : 14581 (pbscip.linux.x8) R 14579 14581 13704 0 -1 4202496 464563 0 0 0 21138 1092 0 0 25 0 1 0 131692505 85995520 19484 4089446400 4194304 8223781 140736139580720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14581/statm: 20995 19484 610 984 0 20008 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 83980 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14590 /proc/meminfo: memFree=31270032/32951124 swapFree=67111528/67111528 [pid=14581] ppid=14579 vsize=88632 CPUtime=282.3 /proc/14581/stat : 14581 (pbscip.linux.x8) R 14579 14581 13704 0 -1 4202496 535348 0 0 0 26856 1374 0 0 25 0 1 0 131692505 90759168 20668 4089446400 4194304 8223781 140736139580720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14581/statm: 22158 20668 610 984 0 21171 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 88632 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14591 /proc/meminfo: memFree=31268220/32951124 swapFree=67111528/67111528 [pid=14581] ppid=14579 vsize=90452 CPUtime=342.3 /proc/14581/stat : 14581 (pbscip.linux.x8) R 14579 14581 13704 0 -1 4202496 658735 0 0 0 32535 1695 0 0 25 0 1 0 131692505 92622848 21027 4089446400 4194304 8223781 140736139580720 18446744073709551615 6557684 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14581/statm: 22613 21027 610 984 0 21626 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 90452 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14593 /proc/meminfo: memFree=31264204/32951124 swapFree=67111528/67111528 [pid=14581] ppid=14579 vsize=93824 CPUtime=402.3 /proc/14581/stat : 14581 (pbscip.linux.x8) R 14579 14581 13704 0 -1 4202496 722988 0 0 0 38255 1975 0 0 25 0 1 0 131692505 96075776 21864 4089446400 4194304 8223781 140736139580720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14581/statm: 23456 21864 610 984 0 22469 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 93824 [startup+462.301 s] /proc/loadavg: 2.05 2.01 2.00 3/179 14595 /proc/meminfo: memFree=31262152/32951124 swapFree=67111528/67111528 [pid=14581] ppid=14579 vsize=95284 CPUtime=462.31 /proc/14581/stat : 14581 (pbscip.linux.x8) R 14579 14581 13704 0 -1 4202496 864123 0 0 0 43966 2265 0 0 25 0 1 0 131692505 97570816 22099 4089446400 4194304 8223781 140736139580720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14581/statm: 23821 22099 610 984 0 22834 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 95284 [startup+522.301 s] /proc/loadavg: 2.02 2.01 2.00 3/179 14596 /proc/meminfo: memFree=31260624/32951124 swapFree=67111528/67111528 [pid=14581] ppid=14579 vsize=96088 CPUtime=522.31 /proc/14581/stat : 14581 (pbscip.linux.x8) R 14579 14581 13704 0 -1 4202496 948319 0 0 0 49665 2566 0 0 25 0 1 0 131692505 98394112 22330 4089446400 4194304 8223781 140736139580720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14581/statm: 24022 22330 610 984 0 23035 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 96088 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14598 /proc/meminfo: memFree=31256612/32951124 swapFree=67111528/67111528 [pid=14581] ppid=14579 vsize=98760 CPUtime=582.31 /proc/14581/stat : 14581 (pbscip.linux.x8) R 14579 14581 13704 0 -1 4202496 1037439 0 0 0 55406 2825 0 0 25 0 1 0 131692505 101130240 23000 4089446400 4194304 8223781 140736139580720 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14581/statm: 24690 23000 610 984 0 23703 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 98760 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14599 /proc/meminfo: memFree=31255332/32951124 swapFree=67111528/67111528 [pid=14581] ppid=14579 vsize=100320 CPUtime=642.32 /proc/14581/stat : 14581 (pbscip.linux.x8) R 14579 14581 13704 0 -1 4202496 1123002 0 0 0 61154 3078 0 0 25 0 1 0 131692505 102727680 23276 4089446400 4194304 8223781 140736139580720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14581/statm: 25080 23276 610 984 0 24093 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 100320 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14607 /proc/meminfo: memFree=31250296/32951124 swapFree=67111528/67111528 [pid=14581] ppid=14579 vsize=104616 CPUtime=822.32 /proc/14581/stat : 14581 (pbscip.linux.x8) R 14579 14581 13704 0 -1 4202496 1434033 0 0 0 78373 3859 0 0 25 0 1 0 131692505 107126784 24261 4089446400 4194304 8223781 140736139580720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14581/statm: 26154 24261 610 984 0 25167 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 104616 [startup+882.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14609 /proc/meminfo: memFree=31248896/32951124 swapFree=67111528/67111528 [pid=14581] ppid=14579 vsize=105184 CPUtime=882.32 /proc/14581/stat : 14581 (pbscip.linux.x8) R 14579 14581 13704 0 -1 4202496 1489720 0 0 0 84136 4096 0 0 25 0 1 0 131692505 107708416 24370 4089446400 4194304 8223781 140736139580720 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14581/statm: 26296 24370 610 984 0 25309 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 105184 [startup+942.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14610 /proc/meminfo: memFree=31241424/32951124 swapFree=67111528/67111528 [pid=14581] ppid=14579 vsize=110332 CPUtime=942.32 /proc/14581/stat : 14581 (pbscip.linux.x8) R 14579 14581 13704 0 -1 4202496 1538137 0 0 0 89922 4310 0 0 25 0 1 0 131692505 112979968 25650 4089446400 4194304 8223781 140736139580720 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14581/statm: 27583 25650 610 984 0 26596 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 110332 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14612 /proc/meminfo: memFree=31238640/32951124 swapFree=67111528/67111528 [pid=14581] ppid=14579 vsize=110924 CPUtime=1002.33 /proc/14581/stat : 14581 (pbscip.linux.x8) R 14579 14581 13704 0 -1 4202496 1612246 0 0 0 95716 4517 0 0 25 0 1 0 131692505 113586176 25853 4089446400 4194304 8223781 140736139580720 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14581/statm: 27731 25853 610 984 0 26744 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 110924 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14614 /proc/meminfo: memFree=31236720/32951124 swapFree=67111528/67111528 [pid=14581] ppid=14579 vsize=113136 CPUtime=1062.32 /proc/14581/stat : 14581 (pbscip.linux.x8) R 14579 14581 13704 0 -1 4202496 1674692 0 0 0 101508 4724 0 0 25 0 1 0 131692505 115851264 26264 4089446400 4194304 8223781 140736139580720 18446744073709551615 6606345 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14581/statm: 28284 26264 610 984 0 27297 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 113136 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14615 /proc/meminfo: memFree=31235800/32951124 swapFree=67111528/67111528 [pid=14581] ppid=14579 vsize=113136 CPUtime=1122.33 /proc/14581/stat : 14581 (pbscip.linux.x8) R 14579 14581 13704 0 -1 4202496 1759927 0 0 0 107294 4939 0 0 25 0 1 0 131692505 115851264 26318 4089446400 4194304 8223781 140736139580720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14581/statm: 28284 26318 610 984 0 27297 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 113136 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14617 /proc/meminfo: memFree=31235252/32951124 swapFree=67111528/67111528 [pid=14581] ppid=14579 vsize=114260 CPUtime=1182.33 /proc/14581/stat : 14581 (pbscip.linux.x8) R 14579 14581 13704 0 -1 4202496 1824418 0 0 0 113059 5174 0 0 25 0 1 0 131692505 117002240 26599 4089446400 4194304 8223781 140736139580720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14581/statm: 28565 26599 610 984 0 27578 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 114260 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14618 /proc/meminfo: memFree=31234192/32951124 swapFree=67111528/67111528 [pid=14581] ppid=14579 vsize=115352 CPUtime=1242.33 /proc/14581/stat : 14581 (pbscip.linux.x8) R 14579 14581 13704 0 -1 4202496 1874411 0 0 0 118842 5391 0 0 25 0 1 0 131692505 118120448 26875 4089446400 4194304 8223781 140736139580720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14581/statm: 28838 26875 610 984 0 27851 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 115352 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14620 /proc/meminfo: memFree=31231900/32951124 swapFree=67111528/67111528 [pid=14581] ppid=14579 vsize=116628 CPUtime=1302.34 /proc/14581/stat : 14581 (pbscip.linux.x8) R 14579 14581 13704 0 -1 4202496 1945496 0 0 0 124622 5612 0 0 25 0 1 0 131692505 119427072 27195 4089446400 4194304 8223781 140736139580720 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14581/statm: 29157 27195 610 984 0 28170 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 116628 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14622 /proc/meminfo: memFree=31229860/32951124 swapFree=67111528/67111528 [pid=14581] ppid=14579 vsize=118644 CPUtime=1362.34 /proc/14581/stat : 14581 (pbscip.linux.x8) R 14579 14581 13704 0 -1 4202496 2004788 0 0 0 130405 5829 0 0 25 0 1 0 131692505 121491456 27743 4089446400 4194304 8223781 140736139580720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14581/statm: 29661 27743 610 984 0 28674 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 118644 [startup+1422.31 s] /proc/loadavg: 2.04 2.01 2.00 3/179 14623 /proc/meminfo: memFree=31229568/32951124 swapFree=67111528/67111528 [pid=14581] ppid=14579 vsize=118736 CPUtime=1422.34 /proc/14581/stat : 14581 (pbscip.linux.x8) R 14579 14581 13704 0 -1 4202496 2043518 0 0 0 136185 6049 0 0 25 0 1 0 131692505 121585664 27778 4089446400 4194304 8223781 140736139580720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14581/statm: 29684 27778 610 984 0 28697 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 118736 [startup+1482.3 s] /proc/loadavg: 1.97 1.99 1.99 3/179 14653 /proc/meminfo: memFree=31363980/32951124 swapFree=67111528/67111528 [pid=14581] ppid=14579 vsize=119276 CPUtime=1482.34 /proc/14581/stat : 14581 (pbscip.linux.x8) R 14579 14581 13704 0 -1 4202496 2096787 0 0 0 141962 6272 0 0 25 0 1 0 131692505 122138624 27915 4089446400 4194304 8223781 140736139580720 18446744073709551615 4999842 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14581/statm: 29819 27915 610 984 0 28832 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 119276 [startup+1542.3 s] /proc/loadavg: 1.99 1.99 1.99 3/179 14654 /proc/meminfo: memFree=31362948/32951124 swapFree=67111528/67111528 [pid=14581] ppid=14579 vsize=119424 CPUtime=1542.33 /proc/14581/stat : 14581 (pbscip.linux.x8) R 14579 14581 13704 0 -1 4202496 2155856 0 0 0 147738 6495 0 0 25 0 1 0 131692505 122290176 27949 4089446400 4194304 8223781 140736139580720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14581/statm: 29856 27949 610 984 0 28869 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 119424 [startup+1602.3 s] /proc/loadavg: 1.99 1.99 1.99 3/179 14656 /proc/meminfo: memFree=31360916/32951124 swapFree=67111528/67111528 [pid=14581] ppid=14579 vsize=121164 CPUtime=1602.34 /proc/14581/stat : 14581 (pbscip.linux.x8) R 14579 14581 13704 0 -1 4202496 2224500 0 0 0 153516 6718 0 0 25 0 1 0 131692505 124071936 28394 4089446400 4194304 8223781 140736139580720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14581/statm: 30291 28394 610 984 0 29304 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 121164 [startup+1662.3 s] /proc/loadavg: 1.99 1.99 1.99 3/179 14658 /proc/meminfo: memFree=31360128/32951124 swapFree=67111528/67111528 [pid=14581] ppid=14579 vsize=121744 CPUtime=1662.34 /proc/14581/stat : 14581 (pbscip.linux.x8) R 14579 14581 13704 0 -1 4202496 2291648 0 0 0 159301 6933 0 0 25 0 1 0 131692505 124665856 28528 4089446400 4194304 8223781 140736139580720 18446744073709551615 4209178 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14581/statm: 30436 28528 610 984 0 29449 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 121744 [startup+1722.3 s] /proc/loadavg: 1.99 1.99 1.99 3/179 14659 /proc/meminfo: memFree=31359464/32951124 swapFree=67111528/67111528 [pid=14581] ppid=14579 vsize=121892 CPUtime=1722.35 /proc/14581/stat : 14581 (pbscip.linux.x8) R 14579 14581 13704 0 -1 4202496 2366315 0 0 0 165089 7146 0 0 25 0 1 0 131692505 124817408 28565 4089446400 4194304 8223781 140736139580720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14581/statm: 30473 28565 610 984 0 29486 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 121892 [startup+1782.3 s] /proc/loadavg: 1.99 1.99 1.99 3/179 14661 /proc/meminfo: memFree=31359304/32951124 swapFree=67111528/67111528 [pid=14581] ppid=14579 vsize=121964 CPUtime=1782.35 /proc/14581/stat : 14581 (pbscip.linux.x8) R 14579 14581 13704 0 -1 4202496 2442048 0 0 0 170877 7358 0 0 25 0 1 0 131692505 124891136 28580 4089446400 4194304 8223781 140736139580720 18446744073709551615 4999842 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14581/statm: 30491 28580 610 984 0 29504 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 121964 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 1.99 1.99 1.99 3/179 14661 /proc/meminfo: memFree=31359404/32951124 swapFree=67111528/67111528 [pid=14581] ppid=14579 vsize=121976 CPUtime=1800.05 /proc/14581/stat : 14581 (pbscip.linux.x8) R 14579 14581 13704 0 -1 4202496 2470838 0 0 0 172583 7422 0 0 25 0 1 0 131692505 124903424 28598 4089446400 4194304 8223781 140736139580720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14581/statm: 30494 28598 610 984 0 29507 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 121976 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.1 CPU time (s): 1800.16 CPU user time (s): 1725.93 CPU system time (s): 74.2337 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 122168 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1725.93 system time used= 74.2337 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2470872 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 19020 runsolver used 3.46647 second user time and 6.12207 second system time The end
Begin job on node142 at 2010-06-30 15:19:39 IDJOB=2692795 IDBENCH=78916 IDSOLVER=1204 FILE ID=node142/2692795-1277903979 PBS_JOBID= 11197194 Free space on /tmp= 74172 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.1900571761--soft-66-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-2692795-1277903979/watcher-2692795-1277903979 -o /tmp/evaluation-result-2692795-1277903979/solver-2692795-1277903979 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692795-1277903979.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e6a38cb3cbe3360d46534c568351a60a RANDOM SEED=881036933 node142.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.827 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.827 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.16 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.827 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.827 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.827 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.827 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.827 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.827 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31362136 kB Buffers: 185668 kB Cached: 1076844 kB SwapCached: 0 kB Active: 612116 kB Inactive: 832144 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31362136 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4696 kB Writeback: 0 kB AnonPages: 182656 kB Mapped: 17664 kB Slab: 79284 kB PageTables: 4964 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 329560 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= 74172 MiB End job on node142 at 2010-06-30 15:49:41