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.17 | 1800.12 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576927--soft-33-100-0.wbo |
MD5SUM | b0bcd9e760e7f0ffa9653d41066a148b |
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 | 278.087 |
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 | 1785 |
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 | 88246 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 88245 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 671 |
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-2692855-1277907198.wbo> 0.00/0.03 c original problem has 3801 variables (2016 bin, 0 int, 0 impl, 1785 cont) and 4493 constraints 0.00/0.03 c problem read 0.00/0.03 c presolving settings loaded 0.00/0.05 c presolving: 0.04/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1937 impls, 11 clqs 0.04/0.09 c (round 2) 0 del vars, 75 del conss, 1785 chg bounds, 52 chg sides, 0 chg coeffs, 0 upgd conss, 1937 impls, 11 clqs 0.04/0.10 c (round 3) 52 del vars, 171 del conss, 1809 chg bounds, 96 chg sides, 0 chg coeffs, 0 upgd conss, 1937 impls, 11 clqs 0.09/0.11 c (round 4) 128 del vars, 195 del conss, 1809 chg bounds, 96 chg sides, 0 chg coeffs, 880 upgd conss, 1937 impls, 11 clqs 0.09/0.12 c (round 5) 152 del vars, 195 del conss, 1809 chg bounds, 96 chg sides, 0 chg coeffs, 880 upgd conss, 1937 impls, 11 clqs 0.09/0.17 c (0.1s) probing: 101/1940 (5.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings 0.09/0.17 c presolving (6 rounds): 0.09/0.17 c 152 deleted vars, 195 deleted constraints, 1809 tightened bounds, 0 added holes, 96 changed sides, 0 changed coefficients 0.09/0.17 c 1937 implications, 11 cliques 0.09/0.17 c presolved problem has 3649 variables (1940 bin, 0 int, 0 impl, 1709 cont) and 4298 constraints 0.09/0.17 c 1709 constraints of type <indicator> 0.09/0.17 c 11 constraints of type <setppc> 0.09/0.17 c 1709 constraints of type <linear> 0.09/0.17 c 869 constraints of type <logicor> 0.09/0.17 c transformed objective value is always integral (scale: 1) 0.09/0.17 c Presolving Time: 0.12 0.09/0.17 c - non default parameters ---------------------------------------------------------------------- 0.09/0.17 c # SCIP version 1.2.1.2 0.09/0.17 c 0.09/0.17 c # frequency for displaying node information lines 0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.17 c display/freq = 10000 0.09/0.17 c 0.09/0.17 c # maximal time in seconds to run 0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.17 c limits/time = 1799.98 0.09/0.17 c 0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.17 c limits/memory = 3420 0.09/0.17 c 0.09/0.17 c # should presolving try to simplify inequalities 0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.17 c constraints/linear/simplifyinequalities = TRUE 0.09/0.17 c 0.09/0.17 c # should presolving try to simplify knapsacks 0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.17 c 0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.17 c separating/rapidlearning/freq = 0 0.09/0.17 c 0.09/0.17 c ----------------------------------------------------------------------------------------------- 0.09/0.17 c start solving 0.09/0.17 c 0.09/0.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.09/0.18 c 0.1s| 1 | 0 | 7 | - | 13M| 0 | 0 |3649 |4298 |3649 | 880 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.09/0.19 c 0.1s| 1 | 0 | 41 | - | 13M| 0 | 29 |3649 |4298 |3649 | 896 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf 0.09/0.19 o 83962 0.09/0.19 c y 0.1s| 1 | 0 | 41 | - | 13M| 0 | 29 |3649 |4298 |3649 | 896 | 16 | 0 | 0 | 0.000000e+00 | 8.396200e+04 | Inf 0.19/0.23 c 0.2s| 1 | 0 | 66 | - | 13M| 0 | 41 |3649 |4298 |3649 | 931 | 51 | 0 | 0 | 0.000000e+00 | 8.396200e+04 | Inf 0.19/0.29 c 0.2s| 1 | 0 | 137 | - | 13M| 0 | 44 |3649 |4298 |3649 | 941 | 61 | 0 | 0 | 0.000000e+00 | 8.396200e+04 | Inf 0.29/0.35 c 0.3s| 1 | 0 | 150 | - | 14M| 0 | 49 |3649 |4298 |3649 | 946 | 66 | 0 | 0 | 0.000000e+00 | 8.396200e+04 | Inf 0.39/0.42 c 0.4s| 1 | 0 | 170 | - | 14M| 0 | 61 |3649 |4298 |3649 | 957 | 77 | 0 | 0 | 0.000000e+00 | 8.396200e+04 | Inf 0.50/0.50 c 0.4s| 1 | 0 | 186 | - | 14M| 0 | 61 |3649 |4298 |3649 | 961 | 81 | 0 | 0 | 0.000000e+00 | 8.396200e+04 | Inf 0.69/0.74 c 0.7s| 1 | 2 | 186 | - | 14M| 0 | 61 |3649 |4298 |3649 | 961 | 81 | 0 | 33 | 0.000000e+00 | 8.396200e+04 | Inf 9.39/9.43 o 412 9.39/9.43 c * 9.1s| 2395 | 1974 | 8047 | 3.3 | 23M| 77 | - |3649 |4298 |3649 | 980 |1191 | 0 |1373 | 0.000000e+00 | 4.120000e+02 | Inf 9.39/9.48 o 406 9.39/9.48 c * 9.1s| 2412 | 1972 | 8098 | 3.3 | 23M| 77 | - |3649 |4308 |3649 | 976 |1193 | 10 |1374 | 0.000000e+00 | 4.060000e+02 | Inf 9.39/9.50 o 399 9.39/9.50 c * 9.2s| 2414 | 1950 | 8112 | 3.3 | 23M| 77 | - |3649 |4308 |3649 | 976 |1193 | 10 |1374 | 0.000000e+00 | 3.990000e+02 | Inf 11.69/11.74 o 381 11.69/11.74 c *11.3s| 3376 | 2805 | 10674 | 3.1 | 26M| 81 | - |3649 |4422 |3649 | 987 |1915 | 124 |1468 | 0.000000e+00 | 3.810000e+02 | Inf 11.90/11.97 o 327 11.90/11.97 c *11.6s| 3485 | 2616 | 10902 | 3.1 | 25M| 81 | - |3649 |4460 |3649 | 987 |1979 | 162 |1468 | 0.000000e+00 | 3.270000e+02 | Inf 12.00/12.01 o 326 12.00/12.01 c *11.6s| 3498 | 2619 | 10959 | 3.1 | 25M| 81 | - |3649 |4460 |3649 | 988 |1993 | 162 |1468 | 0.000000e+00 | 3.260000e+02 | Inf 12.00/12.05 o 320 12.00/12.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 12.00/12.05 c *11.6s| 3513 | 2588 | 10996 | 3.1 | 25M| 81 | - |3649 |4460 |3649 | 988 |1995 | 162 |1468 | 0.000000e+00 | 3.200000e+02 | Inf 12.00/12.06 o 297 12.00/12.06 c *11.6s| 3514 | 2410 | 10996 | 3.1 | 24M| 81 | - |3649 |4460 |3649 | 988 |1995 | 162 |1468 | 0.000000e+00 | 2.970000e+02 | Inf 12.10/12.20 o 286 12.10/12.20 c *11.8s| 3590 | 2409 | 11068 | 3.0 | 25M| 81 | - |3649 |4460 |3649 | 987 |2005 | 162 |1468 | 0.000000e+00 | 2.860000e+02 | Inf 12.39/12.41 o 277 12.39/12.41 c *12.0s| 3694 | 2434 | 11190 | 3.0 | 25M| 81 | - |3649 |4471 |3649 | 992 |2035 | 173 |1468 | 0.000000e+00 | 2.770000e+02 | Inf 12.39/12.41 o 273 12.39/12.41 c *12.0s| 3695 | 2410 | 11196 | 3.0 | 25M| 81 | - |3649 |4471 |3649 | 992 |2035 | 173 |1468 | 0.000000e+00 | 2.730000e+02 | Inf 12.39/12.46 o 267 12.39/12.46 c *12.0s| 3714 | 2378 | 11225 | 3.0 | 25M| 81 | - |3649 |4476 |3649 |1005 |2047 | 178 |1468 | 0.000000e+00 | 2.670000e+02 | Inf 12.59/12.66 o 254 12.59/12.66 c *12.2s| 3794 | 2348 | 11481 | 3.0 | 25M| 81 | - |3649 |4507 |3649 | 984 |2104 | 209 |1468 | 0.000000e+00 | 2.540000e+02 | Inf 12.59/12.69 o 244 12.59/12.69 c *12.2s| 3798 | 2268 | 11523 | 3.0 | 25M| 81 | - |3649 |4512 |3649 | 982 |2112 | 214 |1469 | 0.000000e+00 | 2.440000e+02 | Inf 12.69/12.74 o 225 12.69/12.74 c *12.3s| 3813 | 2090 | 11603 | 3.0 | 24M| 81 | - |3649 |4528 |3649 | 985 |2116 | 230 |1469 | 0.000000e+00 | 2.250000e+02 | Inf 12.69/12.75 o 216 12.69/12.75 c *12.3s| 3814 | 1996 | 11603 | 3.0 | 24M| 81 | - |3649 |4528 |3649 | 985 |2116 | 230 |1469 | 0.000000e+00 | 2.160000e+02 | Inf 12.69/12.78 o 209 12.69/12.78 c *12.3s| 3821 | 1931 | 11667 | 3.0 | 24M| 81 | - |3649 |4528 |3649 | 982 |2124 | 230 |1470 | 0.000000e+00 | 2.090000e+02 | Inf 12.69/12.78 o 186 12.69/12.78 c *12.3s| 3822 | 1701 | 11667 | 3.0 | 23M| 81 | - |3649 |4528 |3649 | 982 |2124 | 230 |1470 | 0.000000e+00 | 1.860000e+02 | Inf 12.80/12.82 o 164 12.80/12.82 c *12.4s| 3832 | 1459 | 11733 | 3.0 | 23M| 81 | - |3649 |4531 |3649 | 985 |2135 | 233 |1470 | 0.000000e+00 | 1.640000e+02 | Inf 12.89/12.90 o 155 12.89/12.90 c *12.5s| 3858 | 1378 | 11842 | 3.0 | 23M| 81 | - |3649 |4556 |3649 | 985 |2159 | 259 |1471 | 0.000000e+00 | 1.550000e+02 | Inf 12.89/12.91 o 146 12.89/12.91 c *12.5s| 3859 | 1283 | 11842 | 3.0 | 23M| 81 | - |3649 |4556 |3649 | 985 |2159 | 259 |1471 | 0.000000e+00 | 1.460000e+02 | Inf 12.89/12.96 o 135 12.89/12.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 12.89/12.96 c *12.5s| 3873 | 1148 | 11897 | 3.0 | 22M| 81 | - |3649 |4566 |3649 | 989 |2167 | 269 |1472 | 0.000000e+00 | 1.350000e+02 | Inf 12.89/12.99 o 134 12.89/12.99 c *12.5s| 3882 | 1141 | 11910 | 3.0 | 23M| 81 | - |3649 |4574 |3649 | 984 |2167 | 278 |1472 | 0.000000e+00 | 1.340000e+02 | Inf 13.10/13.13 o 125 13.10/13.13 c *12.7s| 3940 | 1057 | 12060 | 3.0 | 23M| 81 | - |3649 |4624 |3649 | 982 |2199 | 330 |1472 | 0.000000e+00 | 1.250000e+02 | Inf 13.20/13.20 o 113 13.20/13.20 c *12.8s| 3952 | 927 | 12167 | 3.0 | 22M| 81 | - |3649 |4635 |3649 | 980 |2205 | 342 |1476 | 0.000000e+00 | 1.130000e+02 | Inf 13.20/13.22 o 112 13.20/13.22 c *12.8s| 3957 | 910 | 12185 | 3.0 | 22M| 81 | - |3649 |4641 |3649 | 974 |2205 | 348 |1476 | 0.000000e+00 | 1.120000e+02 | Inf 13.29/13.35 o 107 13.29/13.35 c *12.9s| 3990 | 865 | 12352 | 3.0 | 23M| 81 | - |3649 |4682 |3649 | 989 |2235 | 395 |1481 | 0.000000e+00 | 1.070000e+02 | Inf 13.29/13.36 o 84 13.29/13.36 c *12.9s| 3991 | 583 | 12352 | 3.0 | 22M| 81 | - |3649 |4682 |3649 | 989 |2235 | 395 |1481 | 0.000000e+00 | 8.400000e+01 | Inf 13.39/13.48 o 72 13.39/13.48 c *13.0s| 4043 | 546 | 12439 | 3.0 | 22M| 81 | - |3649 |4403 |3649 | 988 |2251 | 415 |1482 | 0.000000e+00 | 7.200000e+01 | Inf 13.49/13.52 o 71 13.49/13.52 c *13.1s| 4061 | 548 | 12474 | 3.0 | 22M| 81 | - |3649 |4224 |3649 | 975 |2252 | 419 |1482 | 0.000000e+00 | 7.100000e+01 | Inf 13.49/13.53 o 59 13.49/13.53 c *13.1s| 4062 | 475 | 12474 | 3.0 | 21M| 81 | - |3649 |4224 |3649 | 975 |2252 | 419 |1482 | 0.000000e+00 | 5.900000e+01 | Inf 13.49/13.55 o 49 13.49/13.55 c *13.1s| 4064 | 429 | 12488 | 3.0 | 21M| 81 | - |3649 |3983 |3649 | 974 |2252 | 419 |1482 | 0.000000e+00 | 4.900000e+01 | Inf 13.59/13.66 o 32 13.59/13.66 c *13.2s| 4114 | 364 | 12563 | 3.0 | 21M| 81 | - |3649 |3812 |3649 | 977 |2264 | 433 |1482 | 0.000000e+00 | 3.200000e+01 | Inf 13.59/13.66 o 9 13.59/13.66 c *13.2s| 4115 | 140 | 12563 | 3.0 | 20M| 81 | - |3649 |3812 |3649 | 977 |2264 | 433 |1482 | 0.000000e+00 | 9.000000e+00 | Inf 15.39/15.44 o 6 15.39/15.44 c *14.9s| 4733 | 178 | 17223 | 3.6 | 20M| 81 | - |3649 |3641 |3649 | 973 |2706 |1159 |1735 | 0.000000e+00 | 6.000000e+00 | Inf 15.50/15.55 o 2 15.50/15.55 c *15.0s| 4805 | 118 | 17445 | 3.6 | 20M| 81 | - |3649 |3671 |3649 | 973 |2706 |1265 |1741 | 0.000000e+00 | 2.000000e+00 | Inf 23.49/23.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 23.49/23.52 c 22.6s| 10000 | 207 | 42317 | 4.2 | 22M| 81 | 10 |3649 |7759 |3649 | 969 |3995 |8008 |1862 | 0.000000e+00 | 2.000000e+00 | Inf 40.00/40.01 c 38.2s| 20000 | 312 | 95829 | 4.8 | 25M| 81 | - |3649 | 11k| 0 | 0 |7609 | 21k|1862 | 0.000000e+00 | 2.000000e+00 | Inf 57.20/57.29 c 54.7s| 30000 | 463 |146917 | 4.9 | 28M| 81 | 10 |3649 | 16k|3649 | 973 | 12k| 34k|1862 | 0.000000e+00 | 2.000000e+00 | Inf 77.30/77.32 c 73.9s| 40000 | 528 |204325 | 5.1 | 30M| 81 | - |3649 | 18k| 0 | 0 | 18k| 47k|2097 | 0.000000e+00 | 2.000000e+00 | Inf 83.09/83.17 o 1 83.09/83.17 c *79.5s| 42740 | 486 |221053 | 5.2 | 30M| 81 | - |3649 | 19k|3649 | 980 | 20k| 51k|2208 | 0.000000e+00 | 1.000000e+00 | Inf 97.90/97.99 c 93.7s| 50000 | 571 |264349 | 5.3 | 29M| 81 | - |3649 | 14k| 0 | 0 | 25k| 60k|2449 | 0.000000e+00 | 1.000000e+00 | Inf 119.10/119.11 c 114s| 60000 | 959 |328530 | 5.5 | 34M| 81 | 17 |3649 | 18k|3649 | 969 | 34k| 74k|2733 | 0.000000e+00 | 1.000000e+00 | Inf 140.50/140.52 c 135s| 70000 | 1044 |389531 | 5.6 | 36M| 81 | 10 |3649 | 22k|3649 | 970 | 42k| 88k|2985 | 0.000000e+00 | 1.000000e+00 | Inf 162.49/162.52 c 156s| 80000 | 999 |451441 | 5.6 | 36M| 81 | - |3649 | 21k| 0 | 0 | 50k| 102k|3245 | 0.000000e+00 | 1.000000e+00 | Inf 184.30/184.33 c 177s| 90000 | 927 |512048 | 5.7 | 37M| 81 | 1 |3649 | 23k|3649 | 972 | 57k| 117k|3474 | 0.000000e+00 | 1.000000e+00 | Inf 207.90/207.92 c 199s|100000 | 994 |575988 | 5.8 | 39M| 81 | - |3649 | 25k| 0 | 0 | 66k| 130k|3701 | 0.000000e+00 | 1.000000e+00 | Inf 231.69/231.75 c 223s|110000 | 901 |640318 | 5.8 | 37M| 81 | - |3649 | 22k| 0 | 0 | 74k| 144k|3906 | 0.000000e+00 | 1.000000e+00 | Inf 253.70/253.76 c 244s|120000 | 1080 |700625 | 5.8 | 40M| 81 | 12 |3649 | 27k|3649 | 974 | 82k| 157k|4088 | 0.000000e+00 | 1.000000e+00 | Inf 276.80/276.87 c 266s|130000 | 1054 |762681 | 5.9 | 41M| 81 | 9 |3649 | 29k|3649 | 973 | 89k| 171k|4271 | 0.000000e+00 | 1.000000e+00 | Inf 300.10/300.13 c 289s|140000 | 1018 |825615 | 5.9 | 41M| 81 | - |3649 | 30k| 0 | 0 | 96k| 184k|4445 | 0.000000e+00 | 1.000000e+00 | Inf 325.10/325.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 325.10/325.15 c 313s|150000 | 1038 |889630 | 5.9 | 42M| 81 | 20 |3649 | 32k|3649 | 981 | 104k| 197k|4614 | 0.000000e+00 | 1.000000e+00 | Inf 350.60/350.64 c 338s|160000 | 1043 |951534 | 5.9 | 45M| 81 | - |3649 | 37k| 0 | 0 | 111k| 211k|4764 | 0.000000e+00 | 1.000000e+00 | Inf 375.20/375.24 c 362s|170000 | 1204 | 1013k| 6.0 | 45M| 81 | - |3649 | 34k| 0 | 0 | 120k| 225k|4952 | 0.000000e+00 | 1.000000e+00 | Inf 399.80/399.81 c 386s|180000 | 1385 | 1071k| 6.0 | 48M| 81 | - |3649 | 40k| 0 | 0 | 128k| 239k|5105 | 0.000000e+00 | 1.000000e+00 | Inf 425.30/425.31 c 410s|190000 | 1345 | 1132k| 6.0 | 48M| 81 | - |3649 | 40k| 0 | 0 | 134k| 253k|5248 | 0.000000e+00 | 1.000000e+00 | Inf 450.80/450.90 c 435s|200000 | 1238 | 1191k| 6.0 | 48M| 81 | - |3649 | 40k| 0 | 0 | 142k| 268k|5368 | 0.000000e+00 | 1.000000e+00 | Inf 476.61/476.63 c 460s|210000 | 1085 | 1250k| 6.0 | 47M| 81 | 18 |3649 | 40k|3649 | 970 | 149k| 282k|5525 | 0.000000e+00 | 1.000000e+00 | Inf 502.40/502.41 c 485s|220000 | 1155 | 1310k| 6.0 | 47M| 81 | - |3649 | 40k| 0 | 0 | 158k| 296k|5641 | 0.000000e+00 | 1.000000e+00 | Inf 528.31/528.38 c 510s|230000 | 1110 | 1364k| 5.9 | 49M| 81 | 23 |3649 | 43k|3649 | 982 | 165k| 311k|5776 | 0.000000e+00 | 1.000000e+00 | Inf 556.11/556.12 c 537s|240000 | 1122 | 1426k| 5.9 | 48M| 81 | 17 |3649 | 43k|3649 | 968 | 174k| 324k|5890 | 0.000000e+00 | 1.000000e+00 | Inf 584.61/584.63 c 565s|250000 | 1035 | 1490k| 6.0 | 49M| 81 | - |3649 | 45k| 0 | 0 | 182k| 339k|6047 | 0.000000e+00 | 1.000000e+00 | Inf 611.52/611.57 c 591s|260000 | 954 | 1548k| 6.0 | 45M| 81 | - |3649 | 35k| 0 | 0 | 189k| 352k|6162 | 0.000000e+00 | 1.000000e+00 | Inf 636.71/636.74 c 615s|270000 | 1044 | 1612k| 6.0 | 47M| 81 | - |3649 | 38k| 0 | 0 | 198k| 366k|6275 | 0.000000e+00 | 1.000000e+00 | Inf 662.22/662.28 c 640s|280000 | 936 | 1671k| 6.0 | 45M| 81 | - |3649 | 34k| 0 | 0 | 204k| 379k|6406 | 0.000000e+00 | 1.000000e+00 | Inf 685.11/685.16 c 662s|290000 | 997 | 1717k| 5.9 | 47M| 81 | 10 |3649 | 38k|3649 | 979 | 205k| 393k|6484 | 0.000000e+00 | 1.000000e+00 | Inf 708.72/708.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 708.72/708.78 c 685s|300000 | 1077 | 1769k| 5.9 | 49M| 81 | 8 |3649 | 43k|3649 | 979 | 206k| 407k|6592 | 0.000000e+00 | 1.000000e+00 | Inf 734.12/734.14 c 709s|310000 | 1134 | 1818k| 5.9 | 52M| 81 | - |3649 | 49k| 0 | 0 | 208k| 421k|6668 | 0.000000e+00 | 1.000000e+00 | Inf 760.62/760.68 c 735s|320000 | 1104 | 1866k| 5.8 | 52M| 81 | - |3649 | 48k| 0 | 0 | 209k| 435k|6742 | 0.000000e+00 | 1.000000e+00 | Inf 788.12/788.13 c 762s|330000 | 1132 | 1916k| 5.8 | 52M| 81 | - |3649 | 47k| 0 | 0 | 210k| 450k|6808 | 0.000000e+00 | 1.000000e+00 | Inf 814.02/814.09 c 787s|340000 | 1187 | 1965k| 5.8 | 55M| 81 | 1 |3649 | 55k|3649 | 979 | 212k| 464k|6882 | 0.000000e+00 | 1.000000e+00 | Inf 841.52/841.56 c 814s|350000 | 1162 | 2011k| 5.7 | 55M| 81 | - |3649 | 54k| 0 | 0 | 213k| 480k|6948 | 0.000000e+00 | 1.000000e+00 | Inf 868.52/868.58 c 840s|360000 | 1151 | 2059k| 5.7 | 55M| 81 | 11 |3649 | 54k|3649 | 988 | 214k| 495k|7008 | 0.000000e+00 | 1.000000e+00 | Inf 896.02/896.10 c 867s|370000 | 1157 | 2107k| 5.7 | 54M| 81 | 17 |3649 | 53k|3649 | 979 | 215k| 509k|7080 | 0.000000e+00 | 1.000000e+00 | Inf 925.03/925.02 c 895s|380000 | 1298 | 2156k| 5.7 | 57M| 81 | 22 |3649 | 57k|3649 | 979 | 216k| 523k|7146 | 0.000000e+00 | 1.000000e+00 | Inf 955.12/955.11 c 924s|390000 | 1314 | 2202k| 5.6 | 58M| 81 | 19 |3649 | 60k|3649 | 979 | 218k| 538k|7214 | 0.000000e+00 | 1.000000e+00 | Inf 987.63/987.61 c 956s|400000 | 1358 | 2251k| 5.6 | 60M| 81 | 31 |3649 | 63k|3649 | 979 | 219k| 552k|7283 | 0.000000e+00 | 1.000000e+00 | Inf 1018.63/1018.64 c 987s|410000 | 1388 | 2299k| 5.6 | 60M| 81 | - |3649 | 62k| 0 | 0 | 220k| 568k|7362 | 0.000000e+00 | 1.000000e+00 | Inf 1049.33/1049.36 c 1017s|420000 | 1431 | 2347k| 5.6 | 59M| 81 | - |3649 | 59k| 0 | 0 | 221k| 583k|7427 | 0.000000e+00 | 1.000000e+00 | Inf 1078.53/1078.51 c 1045s|430000 | 1341 | 2394k| 5.6 | 59M| 81 | - |3649 | 58k| 0 | 0 | 223k| 598k|7492 | 0.000000e+00 | 1.000000e+00 | Inf 1107.63/1107.64 c 1073s|440000 | 1251 | 2440k| 5.5 | 57M| 81 | 27 |3649 | 56k|3649 | 979 | 224k| 613k|7556 | 0.000000e+00 | 1.000000e+00 | Inf 1137.83/1137.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1137.83/1137.82 c 1103s|450000 | 1229 | 2491k| 5.5 | 59M| 81 | 8 |3649 | 60k|3649 | 979 | 225k| 629k|7617 | 0.000000e+00 | 1.000000e+00 | Inf 1168.14/1168.15 c 1132s|460000 | 1138 | 2539k| 5.5 | 55M| 81 | 1 |3649 | 53k|3649 | 979 | 227k| 643k|7695 | 0.000000e+00 | 1.000000e+00 | Inf 1196.03/1196.09 c 1160s|470000 | 1115 | 2585k| 5.5 | 57M| 81 | 1 |3649 | 57k|3649 | 979 | 228k| 658k|7751 | 0.000000e+00 | 1.000000e+00 | Inf 1224.53/1224.56 c 1187s|480000 | 1089 | 2633k| 5.5 | 56M| 81 | 1 |3649 | 56k|3649 | 979 | 229k| 673k|7802 | 0.000000e+00 | 1.000000e+00 | Inf 1255.23/1255.21 c 1217s|490000 | 1107 | 2680k| 5.5 | 58M| 81 | - |3649 | 60k| 0 | 0 | 230k| 687k|7859 | 0.000000e+00 | 1.000000e+00 | Inf 1286.94/1286.96 c 1248s|500000 | 1071 | 2727k| 5.5 | 58M| 81 | 18 |3649 | 60k|3649 | 979 | 232k| 701k|7915 | 0.000000e+00 | 1.000000e+00 | Inf 1316.13/1316.19 c 1277s|510000 | 1037 | 2774k| 5.4 | 57M| 81 | - |3649 | 57k|3649 | 979 | 233k| 715k|7964 | 0.000000e+00 | 1.000000e+00 | Inf 1344.94/1344.91 c 1305s|520000 | 946 | 2824k| 5.4 | 52M| 81 | - |3649 | 48k| 0 | 0 | 234k| 730k|8024 | 0.000000e+00 | 1.000000e+00 | Inf 1374.43/1374.48 c 1333s|530000 | 848 | 2882k| 5.4 | 47M| 81 | - |3649 | 36k| 0 | 0 | 239k| 744k|8122 | 0.000000e+00 | 1.000000e+00 | Inf 1398.73/1398.73 c 1357s|540000 | 901 | 2940k| 5.4 | 47M| 81 | - |3649 | 35k| 0 | 0 | 245k| 758k|8200 | 0.000000e+00 | 1.000000e+00 | Inf 1422.94/1422.91 c 1380s|550000 | 1035 | 2999k| 5.5 | 49M| 81 | 17 |3649 | 37k|3649 | 981 | 253k| 772k|8287 | 0.000000e+00 | 1.000000e+00 | Inf 1448.14/1448.19 c 1405s|560000 | 1034 | 3060k| 5.5 | 50M| 81 | 23 |3649 | 39k|3649 | 982 | 259k| 788k|8380 | 0.000000e+00 | 1.000000e+00 | Inf 1474.05/1474.04 c 1430s|570000 | 992 | 3122k| 5.5 | 50M| 81 | - |3649 | 40k| 0 | 0 | 267k| 802k|8460 | 0.000000e+00 | 1.000000e+00 | Inf 1499.74/1499.78 c 1455s|580000 | 1003 | 3183k| 5.5 | 51M| 81 | - |3649 | 43k| 0 | 0 | 274k| 817k|8530 | 0.000000e+00 | 1.000000e+00 | Inf 1526.85/1526.83 c 1482s|590000 | 913 | 3242k| 5.5 | 51M| 81 | 12 |3649 | 44k|3649 | 976 | 281k| 831k|8603 | 0.000000e+00 | 1.000000e+00 | Inf 1553.84/1553.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1553.84/1553.89 c 1508s|600000 | 946 | 3303k| 5.5 | 54M| 81 | 15 |3649 | 50k|3649 | 967 | 289k| 846k|8668 | 0.000000e+00 | 1.000000e+00 | Inf 1581.94/1581.95 c 1535s|610000 | 848 | 3363k| 5.5 | 52M| 81 | 16 |3649 | 46k|3649 | 960 | 296k| 861k|8749 | 0.000000e+00 | 1.000000e+00 | Inf 1607.95/1607.90 c 1561s|620000 | 872 | 3418k| 5.5 | 53M| 81 | 1 |3649 | 50k|3649 | 980 | 302k| 876k|8814 | 0.000000e+00 | 1.000000e+00 | Inf 1636.04/1636.00 c 1588s|630000 | 871 | 3480k| 5.5 | 53M| 81 | 22 |3649 | 49k|3649 | 978 | 311k| 891k|8881 | 0.000000e+00 | 1.000000e+00 | Inf 1665.75/1665.78 c 1617s|640000 | 810 | 3538k| 5.5 | 51M| 81 | - |3649 | 45k| 0 | 0 | 317k| 906k|8953 | 0.000000e+00 | 1.000000e+00 | Inf 1692.74/1692.73 c 1643s|650000 | 855 | 3592k| 5.5 | 53M| 81 | 8 |3649 | 49k|3649 | 977 | 324k| 920k|9021 | 0.000000e+00 | 1.000000e+00 | Inf 1722.35/1722.35 c 1672s|660000 | 794 | 3656k| 5.5 | 52M| 81 | - |3649 | 46k| 0 | 0 | 332k| 934k|9113 | 0.000000e+00 | 1.000000e+00 | Inf 1750.35/1750.34 c 1699s|670000 | 704 | 3719k| 5.6 | 49M| 81 | 15 |3649 | 42k|3649 | 976 | 338k| 947k|9250 | 0.000000e+00 | 1.000000e+00 | Inf 1775.55/1775.59 c 1724s|680000 | 762 | 3772k| 5.5 | 51M| 81 | 8 |3649 | 47k|3649 | 976 | 339k| 961k|9297 | 0.000000e+00 | 1.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) : 1747.24 1800.05/1800.00 c Solving Nodes : 689124 1800.05/1800.00 c Primal Bound : +1.00000000000000e+00 (142 solutions) 1800.05/1800.00 c Dual Bound : +0.00000000000000e+00 1800.05/1800.00 c Gap : infinite 1800.05/1800.03 s SATISFIABLE 1800.05/1800.03 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.03 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.03 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.03 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.03 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.03 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.03 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.03 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.03 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.03 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.03 v -x1 1800.05/1800.03 c SCIP Status : solving was interrupted [user interrupt] 1800.05/1800.03 c Solving Time : 1747.24 1800.05/1800.03 c Original Problem : 1800.05/1800.03 c Problem name : HOME/instance-2692855-1277907198.wbo 1800.05/1800.03 c Variables : 3801 (2016 binary, 0 integer, 0 implicit integer, 1785 continuous) 1800.05/1800.03 c Constraints : 4493 initial, 4493 maximal 1800.05/1800.03 c Presolved Problem : 1800.05/1800.03 c Problem name : t_HOME/instance-2692855-1277907198.wbo 1800.05/1800.03 c Variables : 3649 (1940 binary, 0 integer, 0 implicit integer, 1709 continuous) 1800.05/1800.03 c Constraints : 4298 initial, 65553 maximal 1800.05/1800.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.05/1800.03 c trivial : 0.00 76 0 0 0 0 0 0 0 1800.05/1800.03 c dualfix : 0.00 76 0 0 0 0 0 0 0 1800.05/1800.03 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.03 c implics : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.03 c probing : 0.05 0 0 0 0 0 0 0 0 1800.05/1800.03 c indicator : 0.00 0 0 0 0 0 76 0 0 1800.05/1800.03 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.03 c linear : 0.04 0 0 0 1809 0 119 96 0 1800.05/1800.03 c logicor : 0.01 0 0 0 0 0 0 0 0 1800.05/1800.03 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.03 c root node : - 1709 - - 3418 - - - - 1800.05/1800.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.05/1800.03 c integral : 0 0 0 441554 0 17 840 0 0 768944 1800.05/1800.03 c indicator : 1709 0 177963 6086 0 1 105816 0 0 0 1800.05/1800.03 c setppc : 11 6 3107716 54991 0 18586 1714782 0 0 0 1800.05/1800.03 c linear : 1709 6 3093005 56359 0 213689 16128842 340792 0 0 1800.05/1800.03 c logicor : 869+ 6 1441353 3362 0 118373 3550434 0 0 0 1800.05/1800.03 c bounddisjunction : 0+ 0 2373 0 0 0 0 0 0 0 1800.05/1800.03 c countsols : 0 0 0 3362 0 0 0 0 0 0 1800.05/1800.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.05/1800.03 c integral : 22.83 0.00 0.00 22.83 0.00 1800.05/1800.03 c indicator : 0.60 0.00 0.28 0.32 0.00 1800.05/1800.03 c setppc : 11.48 0.00 11.47 0.01 0.00 1800.05/1800.03 c linear : 125.45 0.00 123.19 2.26 0.00 1800.05/1800.03 c logicor : 393.83 0.00 393.80 0.03 0.00 1800.05/1800.03 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00 1800.05/1800.03 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.05/1800.03 c Propagators : Time Calls Cutoffs DomReds 1800.05/1800.03 c vbounds : 0.00 2 0 0 1800.05/1800.03 c rootredcost : 0.00 38 0 1709 1800.05/1800.03 c pseudoobj : 97.80 3111514 65 49546 1800.05/1800.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.05/1800.03 c propagation : 17.07 350713 350175 2245840 27.4 10042 25.4 - 1800.05/1800.03 c infeasible LP : 8.33 31368 31368 255485 45.5 172 21.8 0 1800.05/1800.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.05/1800.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.05/1800.03 c pseudo solution : 0.00 7 7 41 18.0 6 3.3 - 1800.05/1800.03 c applied globally : - - - 974225 22.9 - - - 1800.05/1800.03 c applied locally : - - - 0 0.0 - - - 1800.05/1800.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.05/1800.03 c cut pool : 0.00 4 - - 14 - (maximal pool size: 84) 1800.05/1800.03 c redcost : 19.00 441776 0 49637 0 0 1800.05/1800.03 c impliedbounds : 0.00 5 0 0 0 0 1800.05/1800.03 c intobj : 0.00 0 0 0 0 0 1800.05/1800.03 c cgmip : 0.00 0 0 0 0 0 1800.05/1800.03 c gomory : 0.12 5 0 0 576 0 1800.05/1800.03 c strongcg : 0.07 5 0 0 0 0 1800.05/1800.03 c cmir : 0.02 5 0 0 0 0 1800.05/1800.03 c flowcover : 0.06 5 0 0 0 0 1800.05/1800.03 c clique : 0.00 5 0 0 0 0 1800.05/1800.03 c zerohalf : 0.00 0 0 0 0 0 1800.05/1800.03 c mcf : 0.00 1 0 0 0 0 1800.05/1800.03 c rapidlearning : 0.00 0 0 0 0 0 1800.05/1800.03 c Pricers : Time Calls Vars 1800.05/1800.03 c problem variables: 0.00 0 0 1800.05/1800.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.05/1800.03 c relpscost : 22.64 385160 17 840 0 0 768944 1800.05/1800.03 c pscost : 0.00 0 0 0 0 0 0 1800.05/1800.03 c inference : 0.40 3325 0 0 0 0 6650 1800.05/1800.03 c mostinf : 0.00 0 0 0 0 0 0 1800.05/1800.03 c leastinf : 0.00 0 0 0 0 0 0 1800.05/1800.03 c fullstrong : 0.00 0 0 0 0 0 0 1800.05/1800.03 c allfullstrong : 0.00 0 0 0 0 0 0 1800.05/1800.03 c random : 0.00 0 0 0 0 0 0 1800.05/1800.03 c Primal Heuristics : Time Calls Found 1800.05/1800.03 c LP solutions : 0.02 - 37 1800.05/1800.03 c pseudo solutions : 0.00 - 0 1800.05/1800.03 c feaspump : 0.00 0 0 1800.05/1800.03 c oneopt : 0.10 30 0 1800.05/1800.03 c intshifting : 0.00 6 0 1800.05/1800.03 c crossover : 0.25 11 0 1800.05/1800.03 c guideddiving : 0.32 150 0 1800.05/1800.03 c coefdiving : 0.23 150 0 1800.05/1800.03 c pscostdiving : 0.20 150 0 1800.05/1800.03 c fracdiving : 0.23 150 0 1800.05/1800.03 c linesearchdiving : 0.15 150 0 1800.05/1800.03 c veclendiving : 0.14 151 0 1800.05/1800.03 c objpscostdiving : 0.23 133 0 1800.05/1800.03 c rootsoldiving : 0.48 133 0 1800.05/1800.03 c trivial : 0.00 2 0 1800.05/1800.03 c simplerounding : 0.48 385118 0 1800.05/1800.03 c zirounding : 0.10 1000 0 1800.05/1800.03 c rounding : 0.92 8744 0 1800.05/1800.03 c shifting : 0.89 2757 0 1800.05/1800.03 c twoopt : 0.00 0 0 1800.05/1800.03 c fixandinfer : 0.00 0 0 1800.05/1800.03 c intdiving : 0.00 0 0 1800.05/1800.03 c actconsdiving : 0.00 0 0 1800.05/1800.03 c octane : 0.00 0 0 1800.05/1800.03 c rens : 0.02 1 0 1800.05/1800.03 c rins : 0.00 0 0 1800.05/1800.03 c localbranching : 0.00 0 0 1800.05/1800.03 c mutation : 0.00 0 0 1800.05/1800.03 c dins : 0.00 0 0 1800.05/1800.03 c undercover : 0.00 0 0 1800.05/1800.03 c nlp : 0.01 0 0 1800.05/1800.03 c trysol : 0.33 1424 105 1800.05/1800.03 c LP : Time Calls Iterations Iter/call Iter/sec 1800.05/1800.03 c primal LP : 0.00 0 0 0.00 - 1800.05/1800.03 c dual LP : 499.02 468621 3816904 8.14 7648.80 1800.05/1800.03 c lex dual LP : 0.00 0 0 0.00 - 1800.05/1800.03 c barrier LP : 0.00 0 0 0.00 - 1800.05/1800.03 c diving/probing LP: 0.42 525 2518 4.80 5995.24 1800.05/1800.03 c strong branching : 19.10 9330 126082 13.51 6601.15 1800.05/1800.03 c (at root node) : - 33 1769 53.61 - 1800.05/1800.03 c conflict analysis: 0.00 0 0 0.00 - 1800.05/1800.03 c B&B Tree : 1800.05/1800.03 c number of runs : 1 1800.05/1800.03 c nodes : 689124 1800.05/1800.03 c nodes (total) : 689124 1800.05/1800.03 c nodes left : 737 1800.05/1800.03 c max depth : 81 1800.05/1800.03 c max depth (total): 81 1800.05/1800.03 c backtracks : 99754 (14.5%) 1800.05/1800.03 c delayed cutoffs : 81896 1800.05/1800.03 c repropagations : 1171017 (4943441 domain reductions, 80567 cutoffs) 1800.05/1800.03 c avg switch length: 4.84 1800.05/1800.03 c switching time : 308.41 1800.05/1800.03 c Solution : 1800.05/1800.03 c Solutions found : 142 (38 improvements) 1800.05/1800.03 c First Solution : +8.39620000000000e+04 (in run 1, after 1 nodes, 0.14 seconds, depth 0, found by <trysol>) 1800.05/1800.03 c Primal Bound : +1.00000000000000e+00 (in run 1, after 42740 nodes, 79.52 seconds, depth 28, found by <relaxation>) 1800.05/1800.03 c Dual Bound : +0.00000000000000e+00 1800.05/1800.03 c Gap : infinite 1800.05/1800.03 c Root Dual Bound : +0.00000000000000e+00 1800.05/1800.03 c Root Iterations : 186 1800.15/1800.11 c Time complete: 1800.17.
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692855-1277907198/watcher-2692855-1277907198 -o /tmp/evaluation-result-2692855-1277907198/solver-2692855-1277907198 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692855-1277907198.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 1.98 2.04 4/196 17367 /proc/meminfo: memFree=30892556/32951124 swapFree=67111528/67111528 [pid=17367] ppid=17365 vsize=9288 CPUtime=0 /proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 1647 0 0 0 0 0 0 0 25 0 1 0 132014928 9510912 1566 4089446400 4194304 8223781 140737474338496 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/17367/statm: 2322 1566 369 984 0 1335 0 [startup+0.058162 s] /proc/loadavg: 1.92 1.98 2.04 4/196 17367 /proc/meminfo: memFree=30892556/32951124 swapFree=67111528/67111528 [pid=17367] ppid=17365 vsize=30216 CPUtime=0.04 /proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 6726 0 0 0 4 0 0 0 25 0 1 0 132014928 30941184 6281 4089446400 4194304 8223781 140737474338496 18446744073709551615 7253720 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17367/statm: 7554 6344 442 984 0 6567 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 30216 [startup+0.101165 s] /proc/loadavg: 1.92 1.98 2.04 4/196 17367 /proc/meminfo: memFree=30892556/32951124 swapFree=67111528/67111528 [pid=17367] ppid=17365 vsize=29188 CPUtime=0.09 /proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 7732 0 0 0 8 1 0 0 25 0 1 0 132014928 29888512 6259 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17367/statm: 7297 6259 452 984 0 6310 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 29188 [startup+0.301125 s] /proc/loadavg: 1.92 1.98 2.04 4/196 17367 /proc/meminfo: memFree=30892556/32951124 swapFree=67111528/67111528 [pid=17367] ppid=17365 vsize=35612 CPUtime=0.29 /proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 11541 0 0 0 26 3 0 0 25 0 1 0 132014928 36466688 7986 4089446400 4194304 8223781 140737474338496 18446744073709551615 4414571 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17367/statm: 8903 7986 570 984 0 7916 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 35612 [startup+0.701022 s] /proc/loadavg: 1.92 1.98 2.04 4/196 17367 /proc/meminfo: memFree=30892556/32951124 swapFree=67111528/67111528 [pid=17367] ppid=17365 vsize=36248 CPUtime=0.69 /proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 18924 0 0 0 64 5 0 0 25 0 1 0 132014928 37117952 8138 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17367/statm: 9062 8138 587 984 0 8075 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 36248 [startup+1.50086 s] /proc/loadavg: 1.92 1.98 2.04 3/197 17368 /proc/meminfo: memFree=30851504/32951124 swapFree=67111528/67111528 [pid=17367] ppid=17365 vsize=36248 CPUtime=1.49 /proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 18990 0 0 0 141 8 0 0 25 0 1 0 132014928 37117952 8139 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17367/statm: 9062 8139 588 984 0 8075 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 36248 [startup+3.1006 s] /proc/loadavg: 1.92 1.98 2.04 3/197 17368 /proc/meminfo: memFree=30830436/32951124 swapFree=67111528/67111528 [pid=17367] ppid=17365 vsize=37208 CPUtime=3.09 /proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 20291 0 0 0 296 13 0 0 25 0 1 0 132014928 38100992 8306 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17367/statm: 9302 8306 589 984 0 8315 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 37208 [startup+6.30102 s] /proc/loadavg: 1.93 1.98 2.04 3/197 17369 /proc/meminfo: memFree=30820400/32951124 swapFree=67111528/67111528 [pid=17367] ppid=17365 vsize=43728 CPUtime=6.29 /proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 33696 0 0 0 605 24 0 0 25 0 1 0 132014928 44777472 9777 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17367/statm: 10932 9777 591 984 0 9945 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 43728 [startup+12.7008 s] /proc/loadavg: 1.93 1.98 2.04 3/197 17369 /proc/meminfo: memFree=30799732/32951124 swapFree=67111528/67111528 [pid=17367] ppid=17365 vsize=52456 CPUtime=12.69 /proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 55359 0 0 0 1228 41 0 0 25 0 1 0 132014928 53714944 12023 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17367/statm: 13114 12023 596 984 0 12127 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 52456 [startup+25.5005 s] /proc/loadavg: 1.95 1.98 2.04 3/197 17370 /proc/meminfo: memFree=30786436/32951124 swapFree=67111528/67111528 [pid=17367] ppid=17365 vsize=58548 CPUtime=25.49 /proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 78947 0 0 0 2445 104 0 0 25 0 1 0 132014928 59953152 13544 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17367/statm: 14637 13544 597 984 0 13650 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 58548 [startup+51.1008 s] /proc/loadavg: 1.96 1.98 2.04 3/197 17370 /proc/meminfo: memFree=30765452/32951124 swapFree=67111528/67111528 [pid=17367] ppid=17365 vsize=62548 CPUtime=51.09 /proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 87113 0 0 0 4880 229 0 0 25 0 1 0 132014928 64049152 14556 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17367/statm: 15637 14556 597 984 0 14650 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 62548 [startup+102.306 s] /proc/loadavg: 1.98 1.98 2.03 3/197 17372 /proc/meminfo: memFree=30730448/32951124 swapFree=67111528/67111528 [pid=17367] ppid=17365 vsize=69592 CPUtime=102.3 /proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 107743 0 0 0 9787 443 0 0 25 0 1 0 132014928 71262208 16248 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17367/statm: 17398 16248 597 984 0 16411 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 69592 [startup+162.3 s] /proc/loadavg: 2.38 2.11 2.08 3/197 17373 /proc/meminfo: memFree=30698920/32951124 swapFree=67111528/67111528 [pid=17367] ppid=17365 vsize=76416 CPUtime=162.3 /proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 131840 0 0 0 15561 669 0 0 25 0 1 0 132014928 78249984 17944 4089446400 4194304 8223781 140737474338496 18446744073709551615 6483669 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17367/statm: 19104 17944 597 984 0 18117 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 76416 [startup+222.301 s] /proc/loadavg: 2.14 2.09 2.07 3/197 17374 /proc/meminfo: memFree=30684244/32951124 swapFree=67111528/67111528 [pid=17367] ppid=17365 vsize=78048 CPUtime=222.3 /proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 145011 0 0 0 21346 884 0 0 25 0 1 0 132014928 79921152 18362 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17367/statm: 19550 18364 599 984 0 18563 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 78048 [startup+282.301 s] /proc/loadavg: 2.05 2.07 2.06 3/197 17376 /proc/meminfo: memFree=30664880/32951124 swapFree=67111528/67111528 [pid=17367] ppid=17365 vsize=81016 CPUtime=282.3 /proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 163013 0 0 0 27172 1058 0 0 25 0 1 0 132014928 82960384 19119 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17367/statm: 20254 19119 599 984 0 19267 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 81016 [startup+342.301 s] /proc/loadavg: 2.02 2.06 2.06 3/197 17378 /proc/meminfo: memFree=30640036/32951124 swapFree=67111528/67111528 [pid=17367] ppid=17365 vsize=85740 CPUtime=342.3 /proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 168517 0 0 0 32981 1249 0 0 25 0 1 0 132014928 87797760 20225 4089446400 4194304 8223781 140737474338496 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17367/statm: 21435 20225 599 984 0 20448 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 85740 [startup+402.301 s] /proc/loadavg: 2.04 2.06 2.06 3/197 17380 /proc/meminfo: memFree=30617064/32951124 swapFree=67111528/67111528 [pid=17367] ppid=17365 vsize=89852 CPUtime=402.31 /proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 173959 0 0 0 38818 1413 0 0 25 0 1 0 132014928 92008448 21100 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17367/statm: 22463 21100 599 984 0 21476 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 89852 [startup+462.301 s] /proc/loadavg: 2.01 2.04 2.05 3/197 17381 /proc/meminfo: memFree=30594092/32951124 swapFree=67111528/67111528 [pid=17367] ppid=17365 vsize=91236 CPUtime=462.3 /proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 182662 0 0 0 44622 1608 0 0 25 0 1 0 132014928 93425664 21447 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17367/statm: 22809 21447 599 984 0 21822 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 91236 [startup+522.301 s] /proc/loadavg: 2.06 2.05 2.05 3/197 17382 /proc/meminfo: memFree=30565540/32951124 swapFree=67111528/67111528 [pid=17367] ppid=17365 vsize=92296 CPUtime=522.31 /proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 194708 0 0 0 50427 1804 0 0 25 0 1 0 132014928 94511104 21680 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17367/statm: 23074 21680 599 984 0 22087 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 92296 [startup+582.301 s] /proc/loadavg: 2.02 2.04 2.05 3/197 17384 /proc/meminfo: memFree=30543920/32951124 swapFree=67111528/67111528 [pid=17367] ppid=17365 vsize=94980 CPUtime=582.31 /proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 211348 0 0 0 56236 1995 0 0 25 0 1 0 132014928 97259520 22361 4089446400 4194304 8223781 140737474338496 18446744073709551615 4212294 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17367/statm: 23745 22361 606 984 0 22758 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 94980 [startup+642.301 s] /proc/loadavg: 2.00 2.03 2.04 3/197 17386 /proc/meminfo: memFree=30525292/32951124 swapFree=67111528/67111528 [pid=17367] ppid=17365 vsize=95020 CPUtime=642.31 /proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 216150 0 0 0 62042 2189 0 0 25 0 1 0 132014928 97300480 22402 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17367/statm: 23755 22402 606 984 0 22768 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 95020 [startup+702.301 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.47 2.12 2.05 3/197 17392 /proc/meminfo: memFree=30445892/32951124 swapFree=67111528/67111528 [pid=17367] ppid=17365 vsize=101004 CPUtime=882.32 /proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 235774 0 0 0 85342 2890 0 0 25 0 1 0 132014928 103428096 23853 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17367/statm: 25251 23853 606 984 0 24264 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 101004 [startup+942.3 s] /proc/loadavg: 2.23 2.11 2.05 3/197 17394 /proc/meminfo: memFree=30426884/32951124 swapFree=67111528/67111528 [pid=17367] ppid=17365 vsize=101908 CPUtime=942.32 /proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 236042 0 0 0 91193 3039 0 0 25 0 1 0 132014928 104353792 24119 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17367/statm: 25477 24119 606 984 0 24490 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 101908 [startup+1002.3 s] /proc/loadavg: 2.08 2.09 2.05 3/197 17396 /proc/meminfo: memFree=30414204/32951124 swapFree=67111528/67111528 [pid=17367] ppid=17365 vsize=105324 CPUtime=1002.32 /proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 237189 0 0 0 97055 3177 0 0 25 0 1 0 132014928 107851776 24955 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17367/statm: 26331 24955 606 984 0 25344 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 105324 [startup+1062.3 s] /proc/loadavg: 2.03 2.07 2.04 3/197 17397 /proc/meminfo: memFree=30413792/32951124 swapFree=67111528/67111528 [pid=17367] ppid=17365 vsize=105372 CPUtime=1062.33 /proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 239659 0 0 0 102931 3302 0 0 25 0 1 0 132014928 107900928 24979 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17367/statm: 26343 24979 606 984 0 25356 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 105372 [startup+1122.3 s] /proc/loadavg: 2.01 2.05 2.04 3/197 17401 /proc/meminfo: memFree=30412364/32951124 swapFree=67111528/67111528 [pid=17367] ppid=17365 vsize=105636 CPUtime=1122.33 /proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 244140 0 0 0 108769 3464 0 0 25 0 1 0 132014928 108171264 25045 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17367/statm: 26409 25045 606 984 0 25422 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 105636 [startup+1182.3 s] /proc/loadavg: 2.00 2.04 2.03 3/197 17403 /proc/meminfo: memFree=30411404/32951124 swapFree=67111528/67111528 [pid=17367] ppid=17365 vsize=105828 CPUtime=1182.33 /proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 248272 0 0 0 114615 3618 0 0 25 0 1 0 132014928 108367872 25111 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17367/statm: 26457 25111 606 984 0 25470 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 105828 [startup+1242.3 s] /proc/loadavg: 2.00 2.03 2.02 3/197 17405 /proc/meminfo: memFree=30410620/32951124 swapFree=67111528/67111528 [pid=17367] ppid=17365 vsize=107520 CPUtime=1242.34 /proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 252466 0 0 0 120456 3778 0 0 25 0 1 0 132014928 110100480 25252 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17367/statm: 26880 25252 606 984 0 25893 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 107520 [startup+1302.3 s] /proc/loadavg: 2.00 2.02 2.02 3/197 17407 /proc/meminfo: memFree=30409824/32951124 swapFree=67111528/67111528 [pid=17367] ppid=17365 vsize=108252 CPUtime=1302.34 /proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 260218 0 0 0 126309 3925 0 0 25 0 1 0 132014928 110850048 25466 4089446400 4194304 8223781 140737474338496 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17367/statm: 27063 25466 606 984 0 26076 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 108252 [startup+1362.3 s] /proc/loadavg: 2.00 2.02 2.01 3/197 17408 /proc/meminfo: memFree=30409056/32951124 swapFree=67111528/67111528 [pid=17367] ppid=17365 vsize=109504 CPUtime=1362.33 /proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 268431 0 0 0 132157 4076 0 0 25 0 1 0 132014928 112132096 25622 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17367/statm: 27376 25622 606 984 0 26389 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 109504 [startup+1422.31 s] /proc/loadavg: 2.00 2.01 2.01 3/197 17409 /proc/meminfo: memFree=30406408/32951124 swapFree=67111528/67111528 [pid=17367] ppid=17365 vsize=110076 CPUtime=1422.35 /proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 272240 0 0 0 137974 4261 0 0 25 0 1 0 132014928 112717824 25686 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17367/statm: 27519 25686 606 984 0 26532 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 110076 [startup+1482.3 s] /proc/loadavg: 2.00 2.01 2.00 3/197 17411 /proc/meminfo: memFree=30392472/32951124 swapFree=67111528/67111528 [pid=17367] ppid=17365 vsize=110368 CPUtime=1482.34 /proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 276648 0 0 0 143819 4415 0 0 25 0 1 0 132014928 113016832 25720 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17367/statm: 27592 25720 606 984 0 26605 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 110368 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 17413 /proc/meminfo: memFree=30377136/32951124 swapFree=67111528/67111528 [pid=17367] ppid=17365 vsize=110480 CPUtime=1542.34 /proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 277280 0 0 0 149673 4561 0 0 25 0 1 0 132014928 113131520 25745 4089446400 4194304 8223781 140737474338496 18446744073709551615 4999667 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17367/statm: 27620 25745 606 984 0 26633 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 110480 [startup+1602.3 s] /proc/loadavg: 2.37 2.11 2.04 3/197 17415 /proc/meminfo: memFree=30357016/32951124 swapFree=67111528/67111528 [pid=17367] ppid=17365 vsize=110480 CPUtime=1602.34 /proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 277292 0 0 0 155515 4719 0 0 25 0 1 0 132014928 113131520 25753 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17367/statm: 27620 25753 606 984 0 26633 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 110480 [startup+1662.3 s] /proc/loadavg: 2.12 2.08 2.03 3/197 17416 /proc/meminfo: memFree=30333788/32951124 swapFree=67111528/67111528 [pid=17367] ppid=17365 vsize=110480 CPUtime=1662.35 /proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 277310 0 0 0 161349 4886 0 0 25 0 1 0 132014928 113131520 25770 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17367/statm: 27620 25770 606 984 0 26633 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 110480 [startup+1722.3 s] /proc/loadavg: 2.29 2.12 2.04 4/200 17484 /proc/meminfo: memFree=30734056/32951124 swapFree=67111528/67111528 [pid=17367] ppid=17365 vsize=110480 CPUtime=1722.35 /proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 277358 0 0 0 167172 5063 0 0 25 0 1 0 132014928 113131520 25816 4089446400 4194304 8223781 140737474338496 18446744073709551615 4210345 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17367/statm: 27620 25816 606 984 0 26633 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 110480 [startup+1782.3 s] /proc/loadavg: 2.65 2.26 2.09 3/200 17486 /proc/meminfo: memFree=30715384/32951124 swapFree=67111528/67111528 [pid=17367] ppid=17365 vsize=110480 CPUtime=1782.34 /proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 277452 0 0 0 173003 5231 0 0 25 0 1 0 132014928 113131520 25842 4089446400 4194304 8223781 140737474338496 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17367/statm: 27620 25842 606 984 0 26633 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 110480 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.65 2.28 2.10 4/200 17486 /proc/meminfo: memFree=30711640/32951124 swapFree=67111528/67111528 [pid=17367] ppid=17365 vsize=110480 CPUtime=1800.05 /proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 277452 0 0 0 174725 5280 0 0 25 0 1 0 132014928 113131520 25842 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17367/statm: 27620 25842 606 984 0 26633 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 110480 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.11 s] /proc/loadavg: 2.65 2.28 2.10 4/200 17486 /proc/meminfo: memFree=30711640/32951124 swapFree=67111528/67111528 [pid=17367] ppid=17365 vsize=99028 CPUtime=1800.15 /proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 277454 0 0 0 174735 5280 0 0 18 0 1 0 132014928 101404672 23005 4089446400 4194304 8223781 140737474338496 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/17367/statm: 24757 23005 608 984 0 23770 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 99028 Child status: 0 Real time (s): 1800.12 CPU time (s): 1800.17 CPU user time (s): 1747.36 CPU system time (s): 52.811 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 111320 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1747.36 system time used= 52.811 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 277458 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 19375 runsolver used 2.78858 second user time and 5.68214 second system time The end
Begin job on node147 at 2010-06-30 16:13:18 IDJOB=2692855 IDBENCH=78946 IDSOLVER=1204 FILE ID=node147/2692855-1277907198 PBS_JOBID= 11197162 Free space on /tmp= 74200 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.1900576927--soft-33-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692855-1277907198/watcher-2692855-1277907198 -o /tmp/evaluation-result-2692855-1277907198/solver-2692855-1277907198 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692855-1277907198.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b0bcd9e760e7f0ffa9653d41066a148b RANDOM SEED=1139368891 node147.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.822 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.822 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.822 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.822 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.84 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.822 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.822 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.822 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.822 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: 30893084 kB Buffers: 192796 kB Cached: 1500772 kB SwapCached: 0 kB Active: 701792 kB Inactive: 1210912 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30893084 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 5108 kB Writeback: 0 kB AnonPages: 219576 kB Mapped: 20276 kB Slab: 81152 kB PageTables: 4976 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1657924 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= 74192 MiB End job on node147 at 2010-06-30 16:43:20