Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPnone SCIP 1.2.1.2 without any LP solver | OPTIMUM | 560.446 | 560.432 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218955--soft-66-100-0.wbo |
MD5SUM | 7e7d682b827ac0ee06475f159229fdf7 |
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 | 19 |
Best CPU time to get the best result obtained on this benchmark | 0.163974 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 169 |
Total number of constraints | 101 |
Number of soft constraints | 29 |
Number of constraints which are clauses | 30 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 169 |
Top cost | 1556 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 1555 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1202 |
Number of bits of the biggest sum of numbers | 11 |
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: NONE] [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-2693907-1277896935.wbo> 0.00/0.00 c original problem has 227 variables (198 bin, 0 int, 0 impl, 29 cont) and 131 constraints 0.00/0.00 c problem read 0.00/0.00 c presolving settings loaded 0.00/0.00 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs 0.00/0.00 c presolving: 0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 37 impls, 48 clqs 0.00/0.00 c (round 2) 0 del vars, 18 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 37 impls, 48 clqs 0.00/0.01 c (round 3) 1 del vars, 19 del conss, 28 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 37 impls, 48 clqs 0.00/0.01 c (round 4) 2 del vars, 19 del conss, 28 chg bounds, 1 chg sides, 0 chg coeffs, 56 upgd conss, 37 impls, 48 clqs 0.00/0.02 c (0.0s) probing: 101/197 (51.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings 0.00/0.02 c presolving (5 rounds): 0.00/0.02 c 2 deleted vars, 19 deleted constraints, 28 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients 0.00/0.02 c 37 implications, 48 cliques 0.00/0.02 c presolved problem has 225 variables (197 bin, 0 int, 0 impl, 28 cont) and 112 constraints 0.00/0.02 c 28 constraints of type <indicator> 0.00/0.02 c 1 constraints of type <knapsack> 0.00/0.02 c 48 constraints of type <setppc> 0.00/0.02 c 28 constraints of type <linear> 0.00/0.02 c 7 constraints of type <logicor> 0.00/0.02 c transformed objective value is always integral (scale: 1) 0.00/0.02 c Presolving Time: 0.01 0.00/0.02 c - non default parameters ---------------------------------------------------------------------- 0.00/0.02 c # SCIP version 1.2.1.2 0.00/0.02 c 0.00/0.02 c # frequency for displaying node information lines 0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100] 0.00/0.02 c display/freq = 10000 0.00/0.02 c 0.00/0.02 c # maximal time in seconds to run 0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.00/0.02 c limits/time = 1800 0.00/0.02 c 0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.00/0.02 c limits/memory = 3420 0.00/0.02 c 0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP) 0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1] 0.00/0.02 c lp/solvefreq = -1 0.00/0.02 c 0.00/0.02 c # should presolving try to simplify inequalities 0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.00/0.02 c constraints/linear/simplifyinequalities = TRUE 0.00/0.02 c 0.00/0.02 c # should presolving try to simplify knapsacks 0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE 0.00/0.02 c 0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1] 0.00/0.02 c separating/rapidlearning/freq = 0 0.00/0.02 c 0.00/0.02 c ----------------------------------------------------------------------------------------------- 0.00/0.02 c start solving 0.00/0.02 c 0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.00/0.02 c 0.0s| 1 | 2 | 0 | - | 868k| 0 | - | 225 | 112 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1.39/1.45 c 1.3s| 10000 | 6437 | 0 | 0.0 |6674k| 150 | - | 225 |4202 | 0 | 0 | 0 |5856 | 0 | 0.000000e+00 | -- | Inf 3.89/3.98 c 3.7s| 20000 | 11007 | 0 | 0.0 | 11M| 150 | - | 225 |7081 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf 7.50/7.54 c 7.2s| 30000 | 14092 | 0 | 0.0 | 17M| 150 | - | 225 | 11k| 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf 11.89/11.99 c 11.5s| 40000 | 15989 | 0 | 0.0 | 22M| 150 | - | 225 | 17k| 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf 15.90/15.90 c 15.2s| 50000 | 20474 | 0 | 0.0 | 24M| 150 | - | 225 |9979 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf 22.00/22.06 c 21.3s| 60000 | 20652 | 0 | 0.0 | 28M| 150 | - | 225 | 16k| 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf 29.89/29.97 c 29.1s| 70000 | 19974 | 0 | 0.0 | 31M| 150 | - | 225 | 22k| 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf 40.29/40.31 c 39.2s| 80000 | 17510 | 0 | 0.0 | 32M| 150 | - | 225 | 28k| 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf 44.90/44.91 c 43.8s| 90000 | 23835 | 0 | 0.0 | 31M| 150 | - | 225 | 11k| 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf 48.80/48.83 c 47.5s|100000 | 27917 | 0 | 0.0 | 34M| 150 | - | 225 | 10k| 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf 56.50/56.50 c 55.0s|110000 | 26232 | 0 | 0.0 | 36M| 150 | - | 225 | 19k| 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf 69.69/69.72 c 68.1s|120000 | 21621 | 0 | 0.0 | 30M| 150 | - | 225 | 23k| 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf 77.00/77.08 c 75.3s|130000 | 24407 | 0 | 0.0 | 30M| 150 | - | 225 | 15k| 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf 83.39/83.47 c 81.5s|140000 | 26381 | 0 | 0.0 | 33M| 150 | - | 225 | 15k| 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf 90.29/90.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 90.29/90.31 c 88.2s|150000 | 27969 | 0 | 0.0 | 35M| 150 | - | 225 | 17k| 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf 98.59/98.65 c 96.4s|160000 | 28249 | 0 | 0.0 | 36M| 150 | - | 225 | 22k| 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf 110.39/110.46 c 108s|170000 | 27062 | 0 | 0.0 | 36M| 150 | - | 225 | 23k| 0 | 0 | 0 | 216k| 0 | 1.000000e+00 | -- | Inf 122.99/123.02 c 120s|180000 | 25638 | 0 | 0.0 | 38M| 150 | - | 225 | 26k| 0 | 0 | 0 | 232k| 0 | 1.000000e+00 | -- | Inf 137.80/137.82 c 135s|190000 | 23275 | 0 | 0.0 | 39M| 150 | - | 225 | 30k| 0 | 0 | 0 | 250k| 0 | 1.000000e+00 | -- | Inf 147.69/147.78 o 20 147.69/147.78 c * 145s|195808 | 12793 | 0 | 0.0 | 32M| 150 | - | 225 | 33k| 0 | 0 | 0 | 262k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00% 161.80/161.85 c 159s|200000 | 5495 | 0 | 0.0 | 20M| 150 | - | 225 | 17k| 0 | 0 | 0 | 278k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00% 168.09/168.17 c 165s|210000 | 6950 | 0 | 0.0 | 13M| 150 | - | 225 |8721 | 0 | 0 | 0 | 291k| 0 | 7.000000e+00 | 2.000000e+01 | 185.71% 172.30/172.30 c 169s|220000 | 11377 | 0 | 0.0 | 18M| 150 | - | 225 | 13k| 0 | 0 | 0 | 302k| 0 | 7.000000e+00 | 2.000000e+01 | 185.71% 180.19/180.24 c 177s|230000 | 11976 | 0 | 0.0 | 23M| 150 | - | 225 | 20k| 0 | 0 | 0 | 319k| 0 | 7.000000e+00 | 2.000000e+01 | 185.71% 189.10/189.20 c 186s|240000 | 14422 | 0 | 0.0 | 27M| 150 | - | 225 | 24k| 0 | 0 | 0 | 335k| 0 | 7.000000e+00 | 2.000000e+01 | 185.71% 203.89/203.99 c 200s|250000 | 12570 | 0 | 0.0 | 30M| 150 | - | 225 | 28k| 0 | 0 | 0 | 356k| 0 | 7.000000e+00 | 2.000000e+01 | 185.71% 226.70/226.70 c 223s|260000 | 7342 | 0 | 0.0 | 29M| 150 | - | 225 | 33k| 0 | 0 | 0 | 382k| 0 | 7.000000e+00 | 2.000000e+01 | 185.71% 245.49/245.50 c 241s|270000 | 5543 | 0 | 0.0 | 18M| 150 | - | 225 | 23k| 0 | 0 | 0 | 399k| 0 | 1.400000e+01 | 2.000000e+01 | 42.86% 252.00/252.03 c 248s|280000 | 10268 | 0 | 0.0 | 22M| 150 | - | 225 | 25k| 0 | 0 | 0 | 409k| 0 | 1.400000e+01 | 2.000000e+01 | 42.86% 260.80/260.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 260.80/260.85 c 256s|290000 | 13036 | 0 | 0.0 | 27M| 150 | - | 225 | 30k| 0 | 0 | 0 | 422k| 0 | 1.400000e+01 | 2.000000e+01 | 42.86% 273.59/273.66 c 269s|300000 | 14436 | 0 | 0.0 | 31M| 150 | - | 225 | 33k| 0 | 0 | 0 | 437k| 0 | 1.400000e+01 | 2.000000e+01 | 42.86% 290.80/290.83 c 286s|310000 | 13670 | 0 | 0.0 | 35M| 150 | - | 225 | 37k| 0 | 0 | 0 | 457k| 0 | 1.400000e+01 | 2.000000e+01 | 42.86% 313.40/313.42 c 308s|320000 | 10180 | 0 | 0.0 | 34M| 150 | - | 225 | 40k| 0 | 0 | 0 | 479k| 0 | 1.400000e+01 | 2.000000e+01 | 42.86% 339.10/339.16 c 334s|330000 | 6246 | 0 | 0.0 | 27M| 150 | - | 225 | 36k| 0 | 0 | 0 | 501k| 0 | 1.400000e+01 | 2.000000e+01 | 42.86% 350.80/350.86 c 345s|340000 | 7035 | 0 | 0.0 | 19M| 150 | - | 225 | 25k| 0 | 0 | 0 | 515k| 0 | 1.700000e+01 | 2.000000e+01 | 17.65% 359.10/359.19 c 354s|350000 | 10159 | 0 | 0.0 | 24M| 150 | - | 225 | 28k| 0 | 0 | 0 | 526k| 0 | 1.700000e+01 | 2.000000e+01 | 17.65% 370.10/370.18 c 364s|360000 | 11853 | 0 | 0.0 | 27M| 150 | - | 225 | 31k| 0 | 0 | 0 | 539k| 0 | 1.700000e+01 | 2.000000e+01 | 17.65% 384.80/384.83 c 379s|370000 | 12080 | 0 | 0.0 | 31M| 150 | - | 225 | 37k| 0 | 0 | 0 | 556k| 0 | 1.700000e+01 | 2.000000e+01 | 17.65% 402.20/402.28 c 396s|380000 | 11546 | 0 | 0.0 | 31M| 150 | - | 225 | 37k| 0 | 0 | 0 | 571k| 0 | 1.700000e+01 | 2.000000e+01 | 17.65% 417.50/417.57 c 411s|390000 | 11329 | 0 | 0.0 | 32M| 150 | - | 225 | 35k| 0 | 0 | 0 | 587k| 0 | 1.700000e+01 | 2.000000e+01 | 17.65% 436.20/436.21 c 430s|400000 | 10022 | 0 | 0.0 | 28M| 150 | - | 225 | 35k| 0 | 0 | 0 | 604k| 0 | 1.700000e+01 | 2.000000e+01 | 17.65% 446.61/446.62 c 440s|410000 | 13552 | 0 | 0.0 | 31M| 150 | - | 225 | 31k| 0 | 0 | 0 | 614k| 0 | 1.700000e+01 | 2.000000e+01 | 17.65% 460.81/460.88 c 454s|420000 | 13078 | 0 | 0.0 | 30M| 150 | - | 225 | 37k| 0 | 0 | 0 | 629k| 0 | 1.700000e+01 | 2.000000e+01 | 17.65% 475.90/475.98 c 469s|430000 | 14283 | 0 | 0.0 | 32M| 150 | - | 225 | 36k| 0 | 0 | 0 | 645k| 0 | 1.900000e+01 | 2.000000e+01 | 5.26% 495.21/495.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 495.21/495.28 c 488s|440000 | 12821 | 0 | 0.0 | 34M| 150 | - | 225 | 41k| 0 | 0 | 0 | 663k| 0 | 1.900000e+01 | 2.000000e+01 | 5.26% 515.91/515.91 c 509s|450000 | 10625 | 0 | 0.0 | 36M| 150 | - | 225 | 48k| 0 | 0 | 0 | 681k| 0 | 1.900000e+01 | 2.000000e+01 | 5.26% 544.70/544.73 c 537s|460000 | 5989 | 0 | 0.0 | 33M| 150 | - | 225 | 49k| 0 | 0 | 0 | 703k| 0 | 1.900000e+01 | 2.000000e+01 | 5.26% 560.31/560.37 o 19 560.31/560.37 c * 553s|464206 | 0 | 0 | 0.0 | 24M| 150 | - | 225 | 52k| 0 | 0 | 0 | 714k| 0 | 1.900000e+01 | 1.900000e+01 | 0.00% 560.31/560.37 c 560.31/560.37 c SCIP Status : problem is solved [optimal solution found] 560.31/560.37 c Solving Time (sec) : 552.77 560.31/560.37 c Solving Nodes : 464206 560.31/560.37 c Primal Bound : +1.90000000000000e+01 (2 solutions) 560.31/560.37 c Dual Bound : +1.90000000000000e+01 560.31/560.37 c Gap : 0.00 % 560.31/560.37 s OPTIMUM FOUND 560.31/560.37 v -x169 x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 560.31/560.37 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 x130 -x129 -x128 -x127 560.31/560.37 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 560.31/560.37 v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 -x91 -x90 -x89 -x88 x87 -x86 -x85 -x84 -x83 -x82 560.31/560.37 v -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 560.31/560.37 v -x56 -x55 -x54 x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 560.31/560.37 v -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 560.31/560.37 v -x4 -x3 -x2 -x1 560.31/560.37 c SCIP Status : problem is solved [optimal solution found] 560.31/560.37 c Solving Time : 552.77 560.31/560.37 c Original Problem : 560.31/560.37 c Problem name : HOME/instance-2693907-1277896935.wbo 560.31/560.37 c Variables : 227 (198 binary, 0 integer, 0 implicit integer, 29 continuous) 560.31/560.37 c Constraints : 131 initial, 131 maximal 560.31/560.37 c Presolved Problem : 560.31/560.37 c Problem name : t_HOME/instance-2693907-1277896935.wbo 560.31/560.37 c Variables : 225 (197 binary, 0 integer, 0 implicit integer, 28 continuous) 560.31/560.37 c Constraints : 112 initial, 52445 maximal 560.31/560.37 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 560.31/560.37 c trivial : 0.00 0 0 0 0 0 0 0 0 560.31/560.37 c dualfix : 0.00 2 0 0 0 0 0 0 0 560.31/560.37 c boundshift : 0.00 0 0 0 0 0 0 0 0 560.31/560.37 c inttobinary : 0.00 0 0 0 0 0 0 0 0 560.31/560.37 c implics : 0.00 0 0 0 0 0 0 0 0 560.31/560.37 c probing : 0.00 0 0 0 0 0 0 0 0 560.31/560.37 c indicator : 0.00 0 0 0 0 0 1 0 0 560.31/560.37 c knapsack : 0.00 0 0 0 0 0 0 0 0 560.31/560.37 c setppc : 0.00 0 0 0 0 0 0 0 0 560.31/560.37 c linear : 0.00 0 0 0 28 0 18 1 0 560.31/560.37 c logicor : 0.00 0 0 0 0 0 0 0 0 560.31/560.37 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0 560.31/560.37 c root node : - 0 - - 0 - - - - 560.31/560.37 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 560.31/560.37 c integral : 0 0 0 0 0 0 0 0 0 0 560.31/560.37 c indicator : 28 0 1245377 0 233742 0 22570 0 0 0 560.31/560.37 c knapsack : 1 0 1568140 0 295665 37481 5552865 0 0 0 560.31/560.37 c setppc : 48 0 1530657 0 295663 188190 2522757 0 0 0 560.31/560.37 c linear : 28 0 1342465 0 295663 16021 963546 0 0 0 560.31/560.37 c logicor : 7+ 0 714017 0 286850 15701 331974 0 0 0 560.31/560.37 c bounddisjunction : 0+ 0 4 0 0 0 0 0 0 0 560.31/560.37 c countsols : 0 0 0 0 295665 0 0 0 0 0 560.31/560.37 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 560.31/560.37 c integral : 0.00 0.00 0.00 0.00 0.00 560.31/560.37 c indicator : 0.55 0.00 0.39 0.00 0.16 560.31/560.37 c knapsack : 53.31 0.00 52.55 0.00 0.76 560.31/560.37 c setppc : 13.03 0.00 11.73 0.00 1.30 560.31/560.37 c linear : 7.67 0.00 7.58 0.00 0.09 560.31/560.37 c logicor : 241.88 0.00 241.72 0.00 0.16 560.31/560.37 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00 560.31/560.37 c countsols : 0.02 0.00 0.00 0.00 0.02 560.31/560.37 c Propagators : Time Calls Cutoffs DomReds 560.31/560.37 c vbounds : 0.43 2 0 0 560.31/560.37 c rootredcost : 0.33 0 0 0 560.31/560.37 c pseudoobj : 1.38 1567941 1 9361 560.31/560.37 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 560.31/560.37 c propagation : 7.36 257394 257386 1288755 20.5 15932 16.3 - 560.31/560.37 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 560.31/560.37 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 560.31/560.37 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 560.31/560.37 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 560.31/560.37 c applied globally : - - - 710230 15.9 - - - 560.31/560.37 c applied locally : - - - 4159 35.7 - - - 560.31/560.37 c Separators : Time Calls Cutoffs DomReds Cuts Conss 560.31/560.37 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0) 560.31/560.37 c redcost : 0.00 0 0 0 0 0 560.31/560.37 c impliedbounds : 0.00 0 0 0 0 0 560.31/560.37 c intobj : 0.00 0 0 0 0 0 560.31/560.37 c cgmip : 0.00 0 0 0 0 0 560.31/560.37 c gomory : 0.00 0 0 0 0 0 560.31/560.37 c strongcg : 0.00 0 0 0 0 0 560.31/560.37 c cmir : 0.00 0 0 0 0 0 560.31/560.37 c flowcover : 0.00 0 0 0 0 0 560.31/560.37 c clique : 0.00 0 0 0 0 0 560.31/560.37 c zerohalf : 0.00 0 0 0 0 0 560.31/560.37 c mcf : 0.00 0 0 0 0 0 560.31/560.37 c rapidlearning : 0.00 0 0 0 0 0 560.31/560.37 c Pricers : Time Calls Vars 560.31/560.37 c problem variables: 0.00 0 0 560.31/560.37 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 560.31/560.37 c relpscost : 0.00 0 0 0 0 0 0 560.31/560.37 c pscost : 0.00 0 0 0 0 0 0 560.31/560.37 c inference : 1.83 295663 0 0 0 0 591326 560.31/560.37 c mostinf : 0.00 0 0 0 0 0 0 560.31/560.37 c leastinf : 0.00 0 0 0 0 0 0 560.31/560.37 c fullstrong : 0.00 0 0 0 0 0 0 560.31/560.37 c allfullstrong : 0.00 0 0 0 0 0 0 560.31/560.37 c random : 0.00 0 0 0 0 0 0 560.31/560.37 c Primal Heuristics : Time Calls Found 560.31/560.37 c LP solutions : 0.00 - 0 560.31/560.37 c pseudo solutions : 0.02 - 2 560.31/560.37 c oneopt : 0.13 0 0 560.31/560.37 c trivial : 0.00 2 0 560.31/560.37 c simplerounding : 0.00 0 0 560.31/560.37 c zirounding : 0.00 0 0 560.31/560.37 c rounding : 0.00 0 0 560.31/560.37 c shifting : 0.00 0 0 560.31/560.37 c intshifting : 0.00 0 0 560.31/560.37 c twoopt : 0.00 0 0 560.31/560.37 c fixandinfer : 0.00 0 0 560.31/560.37 c feaspump : 0.00 0 0 560.31/560.37 c coefdiving : 0.00 0 0 560.31/560.37 c pscostdiving : 0.00 0 0 560.31/560.37 c fracdiving : 0.00 0 0 560.31/560.37 c veclendiving : 0.00 0 0 560.31/560.37 c intdiving : 0.00 0 0 560.31/560.37 c actconsdiving : 0.00 0 0 560.31/560.37 c objpscostdiving : 0.00 0 0 560.31/560.37 c rootsoldiving : 0.00 0 0 560.31/560.37 c linesearchdiving : 0.00 0 0 560.31/560.37 c guideddiving : 0.00 0 0 560.31/560.37 c octane : 0.00 0 0 560.31/560.37 c rens : 0.00 0 0 560.31/560.37 c rins : 0.00 0 0 560.31/560.37 c localbranching : 0.00 0 0 560.31/560.37 c mutation : 0.00 0 0 560.31/560.37 c crossover : 0.00 0 0 560.31/560.37 c dins : 0.00 0 0 560.31/560.37 c undercover : 0.00 0 0 560.31/560.37 c nlp : 0.11 0 0 560.31/560.37 c trysol : 0.12 1 0 560.31/560.37 c LP : Time Calls Iterations Iter/call Iter/sec 560.31/560.37 c primal LP : 0.00 0 0 0.00 - 560.31/560.37 c dual LP : 0.00 0 0 0.00 - 560.31/560.37 c lex dual LP : 0.00 0 0 0.00 - 560.31/560.37 c barrier LP : 0.00 0 0 0.00 - 560.31/560.37 c diving/probing LP: 0.00 0 0 0.00 - 560.31/560.37 c strong branching : 0.00 0 0 0.00 - 560.31/560.37 c (at root node) : - 0 0 0.00 - 560.31/560.37 c conflict analysis: 0.00 0 0 0.00 - 560.31/560.37 c B&B Tree : 560.31/560.37 c number of runs : 1 560.31/560.37 c nodes : 464206 560.31/560.37 c nodes (total) : 464206 560.31/560.37 c nodes left : 0 560.31/560.37 c max depth : 150 560.31/560.37 c max depth (total): 150 560.31/560.37 c backtracks : 182004 (39.2%) 560.31/560.37 c delayed cutoffs : 116408 560.31/560.37 c repropagations : 568100 (2862034 domain reductions, 88853 cutoffs) 560.31/560.37 c avg switch length: 16.51 560.31/560.37 c switching time : 162.80 560.31/560.37 c Solution : 560.31/560.37 c Solutions found : 2 (2 improvements) 560.31/560.37 c First Solution : +2.00000000000000e+01 (in run 1, after 195808 nodes, 144.87 seconds, depth 59, found by <relaxation>) 560.31/560.37 c Primal Bound : +1.90000000000000e+01 (in run 1, after 464206 nodes, 552.75 seconds, depth 47, found by <relaxation>) 560.31/560.37 c Dual Bound : +1.90000000000000e+01 560.31/560.37 c Gap : 0.00 % 560.31/560.37 c Root Dual Bound : +0.00000000000000e+00 560.31/560.37 c Root Iterations : 0 560.41/560.43 c Time complete: 560.44.
OK 19
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693907-1277896935/watcher-2693907-1277896935 -o /tmp/evaluation-result-2693907-1277896935/solver-2693907-1277896935 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693907-1277896935.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.35 2.15 2.05 4/178 12376 /proc/meminfo: memFree=31181704/32950928 swapFree=67111528/67111528 [pid=12376] ppid=12374 vsize=8144 CPUtime=0 /proc/12376/stat : 12376 (pbscip.linux.x8) R 12374 12376 12014 0 -1 4202496 1544 0 0 0 0 0 0 0 25 0 1 0 130990280 8339456 1466 4089446400 4194304 7136930 140734510913920 18446744073709551615 4333519 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/12376/statm: 2036 1466 276 719 0 1315 0 [startup+0.085324 s] /proc/loadavg: 2.35 2.15 2.05 4/178 12376 /proc/meminfo: memFree=31181704/32950928 swapFree=67111528/67111528 [pid=12376] ppid=12374 vsize=12524 CPUtime=0.08 /proc/12376/stat : 12376 (pbscip.linux.x8) R 12374 12376 12014 0 -1 4202496 4919 0 0 0 7 1 0 0 25 0 1 0 130990280 12824576 2432 4089446400 4194304 7136930 140734510913920 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12376/statm: 3131 2432 404 719 0 2410 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 12524 [startup+0.100319 s] /proc/loadavg: 2.35 2.15 2.05 4/178 12376 /proc/meminfo: memFree=31181704/32950928 swapFree=67111528/67111528 [pid=12376] ppid=12374 vsize=12524 CPUtime=0.09 /proc/12376/stat : 12376 (pbscip.linux.x8) R 12374 12376 12014 0 -1 4202496 4934 0 0 0 8 1 0 0 25 0 1 0 130990280 12824576 2447 4089446400 4194304 7136930 140734510913920 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12376/statm: 3131 2447 404 719 0 2410 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12524 [startup+0.300285 s] /proc/loadavg: 2.35 2.15 2.05 4/178 12376 /proc/meminfo: memFree=31181704/32950928 swapFree=67111528/67111528 [pid=12376] ppid=12374 vsize=14160 CPUtime=0.29 /proc/12376/stat : 12376 (pbscip.linux.x8) R 12374 12376 12014 0 -1 4202496 5324 0 0 0 27 2 0 0 25 0 1 0 130990280 14499840 2837 4089446400 4194304 7136930 140734510913920 18446744073709551615 4854295 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12376/statm: 3540 2837 404 719 0 2819 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14160 [startup+0.700215 s] /proc/loadavg: 2.35 2.15 2.05 4/178 12376 /proc/meminfo: memFree=31181704/32950928 swapFree=67111528/67111528 [pid=12376] ppid=12374 vsize=16652 CPUtime=0.69 /proc/12376/stat : 12376 (pbscip.linux.x8) R 12374 12376 12014 0 -1 4202496 5966 0 0 0 64 5 0 0 25 0 1 0 130990280 17051648 3479 4089446400 4194304 7136930 140734510913920 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12376/statm: 4163 3479 404 719 0 3442 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16652 [startup+1.50107 s] /proc/loadavg: 2.35 2.15 2.05 3/179 12377 /proc/meminfo: memFree=31167684/32950928 swapFree=67111528/67111528 [pid=12376] ppid=12374 vsize=20240 CPUtime=1.49 /proc/12376/stat : 12376 (pbscip.linux.x8) R 12374 12376 12014 0 -1 4202496 6876 0 0 0 137 12 0 0 25 0 1 0 130990280 20725760 4389 4089446400 4194304 7136930 140734510913920 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12376/statm: 5060 4389 404 719 0 4339 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20240 [startup+3.10079 s] /proc/loadavg: 2.35 2.15 2.05 3/179 12377 /proc/meminfo: memFree=31163344/32950928 swapFree=67111528/67111528 [pid=12376] ppid=12374 vsize=25052 CPUtime=3.09 /proc/12376/stat : 12376 (pbscip.linux.x8) R 12374 12376 12014 0 -1 4202496 8066 0 0 0 287 22 0 0 25 0 1 0 130990280 25653248 5579 4089446400 4194304 7136930 140734510913920 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12376/statm: 6263 5579 404 719 0 5542 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25052 [startup+6.30028 s] /proc/loadavg: 2.32 2.14 2.05 3/179 12377 /proc/meminfo: memFree=31156772/32950928 swapFree=67111528/67111528 [pid=12376] ppid=12374 vsize=31892 CPUtime=6.29 /proc/12376/stat : 12376 (pbscip.linux.x8) R 12374 12376 12014 0 -1 4202496 9803 0 0 0 596 33 0 0 25 0 1 0 130990280 32657408 7316 4089446400 4194304 7136930 140734510913920 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12376/statm: 7973 7316 404 719 0 7252 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 31892 [startup+12.7011 s] /proc/loadavg: 2.29 2.14 2.05 3/179 12377 /proc/meminfo: memFree=31146452/32950928 swapFree=67111528/67111528 [pid=12376] ppid=12374 vsize=40380 CPUtime=12.69 /proc/12376/stat : 12376 (pbscip.linux.x8) R 12374 12376 12014 0 -1 4202496 11886 0 0 0 1216 53 0 0 25 0 1 0 130990280 41349120 9399 4089446400 4194304 7136930 140734510913920 18446744073709551615 4854295 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12376/statm: 10095 9399 404 719 0 9374 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 40380 [startup+25.5008 s] /proc/loadavg: 2.23 2.13 2.05 3/179 12378 /proc/meminfo: memFree=31134280/32950928 swapFree=67111528/67111528 [pid=12376] ppid=12374 vsize=52732 CPUtime=25.49 /proc/12376/stat : 12376 (pbscip.linux.x8) R 12374 12376 12014 0 -1 4202496 14915 0 0 0 2466 83 0 0 25 0 1 0 130990280 53997568 12428 4089446400 4194304 7136930 140734510913920 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12376/statm: 13183 12428 404 719 0 12462 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 52732 [startup+51.1003 s] /proc/loadavg: 2.15 2.12 2.05 3/179 12379 /proc/meminfo: memFree=31122100/32950928 swapFree=67111528/67111528 [pid=12376] ppid=12374 vsize=63092 CPUtime=51.09 /proc/12376/stat : 12376 (pbscip.linux.x8) R 12374 12376 12014 0 -1 4202496 17517 0 0 0 4974 135 0 0 25 0 1 0 130990280 64606208 15030 4089446400 4194304 7136930 140734510913920 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12376/statm: 15773 15030 404 719 0 15052 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 63092 [startup+102.306 s] /proc/loadavg: 2.06 2.10 2.04 3/179 12380 /proc/meminfo: memFree=31116976/32950928 swapFree=67111528/67111528 [pid=12376] ppid=12374 vsize=65328 CPUtime=102.3 /proc/12376/stat : 12376 (pbscip.linux.x8) R 12374 12376 12014 0 -1 4202496 18013 0 0 0 9998 232 0 0 25 0 1 0 130990280 66895872 15526 4089446400 4194304 7136930 140734510913920 18446744073709551615 4221256 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12376/statm: 16332 15526 404 719 0 15611 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 65328 [startup+162.301 s] /proc/loadavg: 2.02 2.08 2.04 3/179 12436 /proc/meminfo: memFree=31334972/32950928 swapFree=67111528/67111528 [pid=12376] ppid=12374 vsize=71536 CPUtime=162.29 /proc/12376/stat : 12376 (pbscip.linux.x8) R 12374 12376 12014 0 -1 4202496 19481 0 0 0 15924 305 0 0 25 0 1 0 130990280 73252864 16994 4089446400 4194304 7136930 140734510913920 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12376/statm: 17884 16994 406 719 0 17163 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 71536 [startup+222.301 s] /proc/loadavg: 2.01 2.06 2.03 3/179 12438 /proc/meminfo: memFree=31303424/32950928 swapFree=67111528/67111528 [pid=12376] ppid=12374 vsize=73576 CPUtime=222.29 /proc/12376/stat : 12376 (pbscip.linux.x8) R 12374 12376 12014 0 -1 4202496 19916 0 0 0 21833 396 0 0 25 0 1 0 130990280 75341824 17429 4089446400 4194304 7136930 140734510913920 18446744073709551615 4221327 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12376/statm: 18394 17429 406 719 0 17673 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 73576 [startup+282.3 s] /proc/loadavg: 2.00 2.05 2.02 3/179 12440 /proc/meminfo: memFree=31281028/32950928 swapFree=67111528/67111528 [pid=12376] ppid=12374 vsize=76676 CPUtime=282.3 /proc/12376/stat : 12376 (pbscip.linux.x8) R 12374 12376 12014 0 -1 4202496 20463 0 0 0 27751 479 0 0 25 0 1 0 130990280 78516224 17976 4089446400 4194304 7136930 140734510913920 18446744073709551615 5004405 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12376/statm: 19169 17976 406 719 0 18448 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 76676 [startup+342.301 s] /proc/loadavg: 2.05 2.05 2.02 3/179 12441 /proc/meminfo: memFree=31250972/32950928 swapFree=67111528/67111528 [pid=12376] ppid=12374 vsize=78908 CPUtime=342.3 /proc/12376/stat : 12376 (pbscip.linux.x8) R 12374 12376 12014 0 -1 4202496 21004 0 0 0 33697 533 0 0 25 0 1 0 130990280 80801792 18517 4089446400 4194304 7136930 140734510913920 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12376/statm: 19727 18517 406 719 0 19006 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 78908 [startup+402.301 s] /proc/loadavg: 2.02 2.04 2.02 3/179 12443 /proc/meminfo: memFree=31242488/32950928 swapFree=67111528/67111528 [pid=12376] ppid=12374 vsize=79568 CPUtime=402.3 /proc/12376/stat : 12376 (pbscip.linux.x8) R 12374 12376 12014 0 -1 4202496 21118 0 0 0 39623 607 0 0 25 0 1 0 130990280 81477632 18631 4089446400 4194304 7136930 140734510913920 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12376/statm: 19892 18631 406 719 0 19171 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 79568 [startup+462.3 s] /proc/loadavg: 2.07 2.05 2.02 3/179 12444 /proc/meminfo: memFree=31236264/32950928 swapFree=67111528/67111528 [pid=12376] ppid=12374 vsize=79820 CPUtime=462.3 /proc/12376/stat : 12376 (pbscip.linux.x8) R 12374 12376 12014 0 -1 4202496 21191 0 0 0 45551 679 0 0 25 0 1 0 130990280 81735680 18704 4089446400 4194304 7136930 140734510913920 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12376/statm: 19955 18704 406 719 0 19234 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 79820 [startup+522.301 s] /proc/loadavg: 2.02 2.04 2.01 3/179 12446 /proc/meminfo: memFree=31232984/32950928 swapFree=67111528/67111528 [pid=12376] ppid=12374 vsize=81828 CPUtime=522.31 /proc/12376/stat : 12376 (pbscip.linux.x8) R 12374 12376 12014 0 -1 4202496 21514 0 0 0 51497 734 0 0 25 0 1 0 130990280 83791872 19027 4089446400 4194304 7136930 140734510913920 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12376/statm: 20457 19027 406 719 0 19736 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 81828 Solver just ended. Dumping a history of the last processes samples [startup+537.501 s] /proc/loadavg: 2.02 2.03 2.01 3/179 12446 /proc/meminfo: memFree=31232852/32950928 swapFree=67111528/67111528 [pid=12376] ppid=12374 vsize=81828 CPUtime=537.51 /proc/12376/stat : 12376 (pbscip.linux.x8) R 12374 12376 12014 0 -1 4202496 21533 0 0 0 53007 744 0 0 25 0 1 0 130990280 83791872 19046 4089446400 4194304 7136930 140734510913920 18446744073709551615 5953124 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12376/statm: 20457 19046 406 719 0 19736 0 Current children cumulated CPU time (s) 537.51 Current children cumulated vsize (KiB) 81828 [startup+550.301 s] /proc/loadavg: 2.01 2.03 2.01 3/179 12446 /proc/meminfo: memFree=31232340/32950928 swapFree=67111528/67111528 [pid=12376] ppid=12374 vsize=82792 CPUtime=550.31 /proc/12376/stat : 12376 (pbscip.linux.x8) R 12374 12376 12014 0 -1 4202496 21666 0 0 0 54275 756 0 0 25 0 1 0 130990280 84779008 19179 4089446400 4194304 7136930 140734510913920 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12376/statm: 20698 19179 406 719 0 19977 0 Current children cumulated CPU time (s) 550.31 Current children cumulated vsize (KiB) 82792 [startup+556.701 s] /proc/loadavg: 2.01 2.03 2.01 3/179 12450 /proc/meminfo: memFree=31231596/32950928 swapFree=67111528/67111528 [pid=12376] ppid=12374 vsize=83188 CPUtime=556.7 /proc/12376/stat : 12376 (pbscip.linux.x8) R 12374 12376 12014 0 -1 4202496 21702 0 0 0 54911 759 0 0 25 0 1 0 130990280 85184512 19215 4089446400 4194304 7136930 140734510913920 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12376/statm: 20797 19215 406 719 0 20076 0 Current children cumulated CPU time (s) 556.7 Current children cumulated vsize (KiB) 83188 [startup+558.3 s] /proc/loadavg: 2.01 2.03 2.01 3/179 12450 /proc/meminfo: memFree=31231596/32950928 swapFree=67111528/67111528 [pid=12376] ppid=12374 vsize=83188 CPUtime=558.31 /proc/12376/stat : 12376 (pbscip.linux.x8) R 12374 12376 12014 0 -1 4202496 21704 0 0 0 55071 760 0 0 25 0 1 0 130990280 85184512 19217 4089446400 4194304 7136930 140734510913920 18446744073709551615 5955605 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12376/statm: 20797 19217 406 719 0 20076 0 Current children cumulated CPU time (s) 558.31 Current children cumulated vsize (KiB) 83188 [startup+559.1 s] /proc/loadavg: 2.01 2.03 2.01 3/179 12450 /proc/meminfo: memFree=31231596/32950928 swapFree=67111528/67111528 [pid=12376] ppid=12374 vsize=83188 CPUtime=559.1 /proc/12376/stat : 12376 (pbscip.linux.x8) R 12374 12376 12014 0 -1 4202496 21705 0 0 0 55150 760 0 0 25 0 1 0 130990280 85184512 19218 4089446400 4194304 7136930 140734510913920 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12376/statm: 20797 19218 406 719 0 20076 0 Current children cumulated CPU time (s) 559.1 Current children cumulated vsize (KiB) 83188 [startup+559.907 s] /proc/loadavg: 2.01 2.03 2.01 3/179 12450 /proc/meminfo: memFree=31231452/32950928 swapFree=67111528/67111528 [pid=12376] ppid=12374 vsize=83416 CPUtime=559.91 /proc/12376/stat : 12376 (pbscip.linux.x8) R 12374 12376 12014 0 -1 4202496 21761 0 0 0 55230 761 0 0 25 0 1 0 130990280 85417984 19274 4089446400 4194304 7136930 140734510913920 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12376/statm: 20854 19274 406 719 0 20133 0 Current children cumulated CPU time (s) 559.91 Current children cumulated vsize (KiB) 83416 [startup+560.301 s] /proc/loadavg: 2.01 2.03 2.01 3/179 12450 /proc/meminfo: memFree=31231452/32950928 swapFree=67111528/67111528 [pid=12376] ppid=12374 vsize=83416 CPUtime=560.31 /proc/12376/stat : 12376 (pbscip.linux.x8) R 12374 12376 12014 0 -1 4202496 21761 0 0 0 55269 762 0 0 25 0 1 0 130990280 85417984 19274 4089446400 4194304 7136930 140734510913920 18446744073709551615 4210526 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12376/statm: 20854 19274 406 719 0 20133 0 Current children cumulated CPU time (s) 560.31 Current children cumulated vsize (KiB) 83416 [startup+560.401 s] /proc/loadavg: 2.01 2.03 2.01 3/179 12450 /proc/meminfo: memFree=31231452/32950928 swapFree=67111528/67111528 [pid=12376] ppid=12374 vsize=82016 CPUtime=560.41 /proc/12376/stat : 12376 (pbscip.linux.x8) R 12374 12376 12014 0 -1 4202496 21812 0 0 0 55279 762 0 0 25 0 1 0 130990280 83984384 18939 4089446400 4194304 7136930 140734510913920 18446744073709551615 4332879 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/12376/statm: 20504 18939 411 719 0 19783 0 Current children cumulated CPU time (s) 560.41 Current children cumulated vsize (KiB) 82016 Child status: 0 Real time (s): 560.432 CPU time (s): 560.446 CPU user time (s): 552.821 CPU system time (s): 7.62484 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 83416 getrusage(RUSAGE_CHILDREN,...) data: user time used= 552.821 system time used= 7.62484 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21819 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= 4 involuntary context switches= 783 runsolver used 1.01285 second user time and 2.02769 second system time The end
Begin job on node123 at 2010-06-30 13:22:15 IDJOB=2693907 IDBENCH=78799 IDSOLVER=1206 FILE ID=node123/2693907-1277896935 PBS_JOBID= 11197166 Free space on /tmp= 74208 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111218955--soft-66-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693907-1277896935/watcher-2693907-1277896935 -o /tmp/evaluation-result-2693907-1277896935/solver-2693907-1277896935 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693907-1277896935.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7e7d682b827ac0ee06475f159229fdf7 RANDOM SEED=1023893492 node123.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.804 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.60 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.804 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 : 5294.59 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.804 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.804 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.804 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.75 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.804 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.71 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.804 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.74 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.804 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31182232 kB Buffers: 181380 kB Cached: 1108024 kB SwapCached: 0 kB Active: 848420 kB Inactive: 777984 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31182232 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3056 kB Writeback: 0 kB AnonPages: 336696 kB Mapped: 16208 kB Slab: 78740 kB PageTables: 5424 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 483764 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node123 at 2010-06-30 13:31:35