Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPnone SCIP 1.2.1.2 without any LP solver | OPTIMUM | 230.967 | 230.963 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110966483--soft-33-100-0.wbo |
MD5SUM | ee1a48d1e3b75eba43e09ed993a809da |
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 | 0.041992 |
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 | 64 |
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 | 2925 |
Min constraint cost | 1 |
Max constraint cost | 96 |
Sum of constraints costs | 2924 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1298 |
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-2693847-1277895509.wbo> 0.00/0.00 c original problem has 297 variables (233 bin, 0 int, 0 impl, 64 cont) and 166 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.01 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 66 impls, 23 clqs 0.00/0.01 c (round 2) 0 del vars, 6 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 66 impls, 23 clqs 0.00/0.01 c (round 3) 1 del vars, 7 del conss, 63 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 66 impls, 23 clqs 0.00/0.01 c (round 4) 2 del vars, 7 del conss, 63 chg bounds, 1 chg sides, 0 chg coeffs, 33 upgd conss, 66 impls, 23 clqs 0.00/0.02 c (0.0s) probing: 101/232 (43.5%) - 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, 7 deleted constraints, 63 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients 0.00/0.02 c 66 implications, 23 cliques 0.00/0.02 c presolved problem has 295 variables (232 bin, 0 int, 0 impl, 63 cont) and 159 constraints 0.00/0.02 c 63 constraints of type <indicator> 0.00/0.02 c 1 constraints of type <knapsack> 0.00/0.02 c 23 constraints of type <setppc> 0.00/0.02 c 63 constraints of type <linear> 0.00/0.02 c 9 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.02 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 | - |1056k| 0 | - | 295 | 159 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1.49/1.58 c 1.5s| 10000 | 6997 | 0 | 0.0 |6645k| 183 | - | 295 |4018 | 0 | 0 | 0 |6939 | 0 | 0.000000e+00 | -- | Inf 3.79/3.82 c 3.6s| 20000 | 12997 | 0 | 0.0 | 10M| 183 | - | 295 |2836 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf 7.59/7.62 c 7.3s| 30000 | 16249 | 0 | 0.0 | 16M| 183 | - | 295 |8675 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf 13.29/13.30 c 12.8s| 40000 | 17384 | 0 | 0.0 | 21M| 183 | - | 295 | 13k| 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf 17.39/17.49 o 439 17.39/17.49 c *16.9s| 47731 | 19375 | 0 | 0.0 | 20M| 183 | - | 295 |4166 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 4.390000e+02 | Inf 17.79/17.81 c 17.2s| 50000 | 21263 | 0 | 0.0 | 20M| 183 | - | 295 |2484 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 4.390000e+02 | Inf 18.50/18.55 o 431 18.50/18.55 c *17.9s| 55675 | 25919 | 0 | 0.0 | 22M| 183 | - | 295 |2770 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 4.310000e+02 | Inf 18.99/19.08 o 374 18.99/19.08 c *18.4s| 59250 | 28739 | 0 | 0.0 | 24M| 183 | - | 295 |2803 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | 3.740000e+02 | Inf 19.09/19.19 c 18.5s| 60000 | 29327 | 0 | 0.0 | 24M| 183 | - | 295 |2733 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | 3.740000e+02 | Inf 19.70/19.72 o 316 19.70/19.72 c *19.0s| 63266 | 31747 | 0 | 0.0 | 25M| 183 | - | 295 |2408 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | 3.160000e+02 | Inf 20.79/20.83 c 20.1s| 70000 | 36641 | 0 | 0.0 | 28M| 183 | - | 295 |2019 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | 3.160000e+02 | Inf 20.79/20.84 o 312 20.79/20.84 c *20.1s| 70047 | 36662 | 0 | 0.0 | 28M| 183 | - | 295 |2036 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | 3.120000e+02 | Inf 22.59/22.65 c 21.8s| 80000 | 43551 | 0 | 0.0 | 32M| 183 | - | 295 |3340 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 3.120000e+02 | Inf 26.40/26.42 c 25.4s| 90000 | 46788 | 0 | 0.0 | 37M| 183 | - | 295 |7628 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 3.120000e+02 | Inf 34.89/34.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 34.89/34.92 c 33.8s|100000 | 44566 | 0 | 0.0 | 40M| 183 | - | 295 | 17k| 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | 3.120000e+02 | Inf 44.19/44.26 c 43.0s|110000 | 43830 | 0 | 0.0 | 34M| 183 | - | 295 |6169 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 3.120000e+02 | Inf 46.20/46.21 c 44.9s|120000 | 51081 | 0 | 0.0 | 37M| 183 | - | 295 |2754 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 3.120000e+02 | Inf 46.29/46.34 o 299 46.29/46.34 c *45.0s|120627 | 51480 | 0 | 0.0 | 37M| 183 | - | 295 |2756 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 2.990000e+02 | Inf 48.09/48.16 c 46.7s|130000 | 57939 | 0 | 0.0 | 41M| 183 | - | 295 |3471 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 2.990000e+02 | Inf 48.49/48.55 o 264 48.49/48.55 c *47.1s|131773 | 59066 | 0 | 0.0 | 42M| 183 | - | 295 |3587 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 2.640000e+02 | Inf 50.19/50.25 c 48.7s|140000 | 64584 | 0 | 0.0 | 45M| 183 | - | 295 |4105 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 2.640000e+02 | Inf 52.30/52.34 c 50.7s|150000 | 71295 | 0 | 0.0 | 50M| 183 | - | 295 |4690 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 2.640000e+02 | Inf 54.59/54.63 c 52.9s|160000 | 77715 | 0 | 0.0 | 54M| 183 | - | 295 |5199 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 2.640000e+02 | Inf 57.10/57.15 c 55.3s|170000 | 83788 | 0 | 0.0 | 59M| 183 | - | 295 |5615 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 2.640000e+02 | Inf 57.99/58.07 o 263 57.99/58.07 c *56.2s|173571 | 85956 | 0 | 0.0 | 60M| 183 | - | 295 |5576 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 2.630000e+02 | Inf 59.69/59.78 c 57.9s|180000 | 89679 | 0 | 0.0 | 63M| 183 | - | 295 |5680 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | 2.630000e+02 | Inf 62.40/62.49 c 60.4s|190000 | 95293 | 0 | 0.0 | 68M| 183 | - | 295 |5043 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | 2.630000e+02 | Inf 65.19/65.24 c 63.0s|200000 |100651 | 0 | 0.0 | 72M| 183 | - | 295 |4229 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | 2.630000e+02 | Inf 67.79/67.86 c 65.6s|210000 |106118 | 0 | 0.0 | 76M| 183 | - | 295 |3885 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | 2.630000e+02 | Inf 70.30/70.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 70.30/70.33 c 67.9s|220000 |111879 | 0 | 0.0 | 80M| 183 | - | 295 |3933 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 2.630000e+02 | Inf 72.79/72.89 o 262 72.79/72.89 c *70.4s|229819 |117327 | 0 | 0.0 | 84M| 183 | - | 295 |4141 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 2.620000e+02 | Inf 72.90/72.93 c 70.4s|230000 |117454 | 0 | 0.0 | 85M| 183 | - | 295 |4134 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 2.620000e+02 | Inf 73.19/73.27 o 203 73.19/73.27 c *70.8s|231387 |118108 | 0 | 0.0 | 85M| 183 | - | 295 |4261 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 2.030000e+02 | Inf 75.60/75.65 c 73.0s|240000 |122697 | 0 | 0.0 | 89M| 183 | - | 295 |4370 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | 2.030000e+02 | Inf 78.89/78.93 c 76.2s|250000 |127119 | 0 | 0.0 | 93M| 183 | - | 295 |5236 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 2.030000e+02 | Inf 82.80/82.87 c 80.0s|260000 |130560 | 0 | 0.0 | 98M| 183 | - | 295 |5949 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 2.030000e+02 | Inf 87.09/87.19 c 84.2s|270000 |133771 | 0 | 0.0 | 102M| 183 | - | 295 |7564 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 2.030000e+02 | Inf 92.09/92.14 c 89.0s|280000 |136576 | 0 | 0.0 | 105M| 183 | - | 295 |9712 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | 2.030000e+02 | Inf 99.30/99.36 c 96.1s|290000 |135956 | 0 | 0.0 | 105M| 183 | - | 295 | 12k| 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 2.030000e+02 | Inf 102.40/102.48 o 196 102.40/102.48 c *99.2s|295519 |136626 | 0 | 0.0 | 101M| 183 | - | 295 |3842 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | 1.960000e+02 | Inf 104.10/104.12 c 101s|300000 |138041 | 0 | 0.0 | 102M| 183 | - | 295 |3928 | 0 | 0 | 0 | 241k| 0 | 1.000000e+00 | 1.960000e+02 | Large 107.29/107.31 c 104s|310000 |142373 | 0 | 0.0 | 107M| 183 | - | 295 |4953 | 0 | 0 | 0 | 246k| 0 | 1.000000e+00 | 1.960000e+02 | Large 110.39/110.43 c 107s|320000 |147141 | 0 | 0.0 | 111M| 183 | - | 295 |5505 | 0 | 0 | 0 | 250k| 0 | 1.000000e+00 | 1.960000e+02 | Large 113.80/113.84 c 110s|330000 |151389 | 0 | 0.0 | 116M| 183 | - | 295 |6098 | 0 | 0 | 0 | 254k| 0 | 1.000000e+00 | 1.960000e+02 | Large 115.79/115.89 o 149 115.79/115.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 115.79/115.89 c * 112s|335846 |152242 | 0 | 0.0 | 117M| 183 | - | 295 |6560 | 0 | 0 | 0 | 257k| 0 | 1.000000e+00 | 1.490000e+02 | Large 117.39/117.46 c 114s|340000 |153810 | 0 | 0.0 | 119M| 183 | - | 295 |6856 | 0 | 0 | 0 | 259k| 0 | 1.000000e+00 | 1.490000e+02 | Large 121.20/121.25 c 117s|350000 |157649 | 0 | 0.0 | 123M| 183 | - | 295 |7313 | 0 | 0 | 0 | 264k| 0 | 1.000000e+00 | 1.490000e+02 | Large 121.50/121.55 o 63 121.50/121.55 c * 118s|350743 |130821 | 0 | 0.0 | 101M| 183 | - | 295 |7301 | 0 | 0 | 0 | 265k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00% 121.60/121.60 o 4 121.60/121.60 c * 118s|350744 |100445 | 0 | 0.0 | 82M| 183 | - | 295 |7301 | 0 | 0 | 0 | 265k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00% 137.50/137.52 c 133s|360000 | 85212 | 0 | 0.0 | 89M| 183 | - | 295 | 12k| 0 | 0 | 0 | 286k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00% 158.30/158.40 c 154s|370000 | 64719 | 0 | 0.0 | 80M| 183 | - | 295 | 12k| 0 | 0 | 0 | 314k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00% 174.20/174.23 c 169s|380000 | 53576 | 0 | 0.0 | 76M| 183 | - | 295 | 17k| 0 | 0 | 0 | 339k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00% 189.40/189.44 c 184s|390000 | 46556 | 0 | 0.0 | 74M| 183 | - | 295 | 19k| 0 | 0 | 0 | 364k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00% 207.09/207.14 c 202s|400000 | 38012 | 0 | 0.0 | 67M| 183 | - | 295 | 16k| 0 | 0 | 0 | 389k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00% 212.79/212.87 o 3 212.79/212.87 c * 208s|404390 | 32260 | 0 | 0.0 | 64M| 183 | - | 295 | 11k| 0 | 0 | 0 | 396k| 0 | 1.000000e+00 | 3.000000e+00 | 200.00% 225.50/225.57 c 220s|410000 | 14100 | 0 | 0.0 | 41M| 183 | - | 295 | 19k| 0 | 0 | 0 | 413k| 0 | 1.000000e+00 | 3.000000e+00 | 200.00% 230.90/230.92 o 1 230.90/230.92 c * 225s|412645 | 0 | 0 | 0.0 | 11M| 183 | - | 295 | 23k| 0 | 0 | 0 | 422k| 0 | 1.000000e+00 | 1.000000e+00 | 0.00% 230.90/230.92 c 230.90/230.92 c SCIP Status : problem is solved [optimal solution found] 230.90/230.92 c Solving Time (sec) : 225.45 230.90/230.92 c Solving Nodes : 412645 230.90/230.92 c Primal Bound : +1.00000000000000e+00 (16 solutions) 230.90/230.92 c Dual Bound : +1.00000000000000e+00 230.90/230.92 c Gap : 0.00 % 230.90/230.92 s OPTIMUM FOUND 230.90/230.92 v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 230.90/230.92 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 230.90/230.92 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 230.90/230.92 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 230.90/230.92 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 -x56 230.90/230.92 v -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 230.90/230.92 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 230.90/230.92 v -x4 -x3 -x2 -x1 230.90/230.92 c SCIP Status : problem is solved [optimal solution found] 230.90/230.92 c Solving Time : 225.45 230.90/230.92 c Original Problem : 230.90/230.92 c Problem name : HOME/instance-2693847-1277895509.wbo 230.90/230.92 c Variables : 297 (233 binary, 0 integer, 0 implicit integer, 64 continuous) 230.90/230.92 c Constraints : 166 initial, 166 maximal 230.90/230.92 c Presolved Problem : 230.90/230.92 c Problem name : t_HOME/instance-2693847-1277895509.wbo 230.90/230.92 c Variables : 295 (232 binary, 0 integer, 0 implicit integer, 63 continuous) 230.90/230.92 c Constraints : 159 initial, 23668 maximal 230.90/230.92 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 230.90/230.92 c trivial : 0.00 0 0 0 0 0 0 0 0 230.90/230.92 c dualfix : 0.00 2 0 0 0 0 0 0 0 230.90/230.92 c boundshift : 0.00 0 0 0 0 0 0 0 0 230.90/230.92 c inttobinary : 0.00 0 0 0 0 0 0 0 0 230.90/230.92 c implics : 0.00 0 0 0 0 0 0 0 0 230.90/230.92 c probing : 0.01 0 0 0 0 0 0 0 0 230.90/230.92 c indicator : 0.00 0 0 0 0 0 1 0 0 230.90/230.92 c knapsack : 0.01 0 0 0 0 0 0 0 0 230.90/230.92 c setppc : 0.00 0 0 0 0 0 0 0 0 230.90/230.92 c linear : 0.00 0 0 0 63 0 6 1 0 230.90/230.92 c logicor : 0.00 0 0 0 0 0 0 0 0 230.90/230.92 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0 230.90/230.92 c root node : - 0 - - 0 - - - - 230.90/230.92 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 230.90/230.92 c integral : 0 0 0 0 0 0 0 0 0 0 230.90/230.92 c indicator : 63 0 1029281 0 262196 1283 359441 0 0 0 230.90/230.92 c knapsack : 1 0 1248115 0 302636 21438 5994181 0 0 0 230.90/230.92 c setppc : 23 0 1226335 0 302576 51459 824372 0 0 0 230.90/230.92 c linear : 63 0 1175204 0 302632 56891 1147232 0 0 0 230.90/230.92 c logicor : 9+ 0 531736 0 302611 30777 305720 0 0 0 230.90/230.92 c bounddisjunction : 0+ 0 17461 0 0 0 102 0 0 0 230.90/230.92 c countsols : 0 0 0 0 302647 0 0 0 0 0 230.90/230.92 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 230.90/230.92 c integral : 0.00 0.00 0.00 0.00 0.00 230.90/230.92 c indicator : 1.30 0.00 0.76 0.00 0.54 230.90/230.92 c knapsack : 36.02 0.00 35.19 0.00 0.83 230.90/230.92 c setppc : 4.57 0.00 3.50 0.00 1.07 230.90/230.92 c linear : 13.19 0.00 13.02 0.00 0.17 230.90/230.92 c logicor : 66.62 0.00 66.19 0.00 0.43 230.90/230.92 c bounddisjunction : 0.04 0.00 0.04 0.00 0.00 230.90/230.92 c countsols : 0.05 0.00 0.00 0.00 0.05 230.90/230.92 c Propagators : Time Calls Cutoffs DomReds 230.90/230.92 c vbounds : 0.30 2 0 0 230.90/230.92 c rootredcost : 0.25 0 0 0 230.90/230.92 c pseudoobj : 2.74 1250467 1224 351212 230.90/230.92 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 230.90/230.92 c propagation : 5.26 161789 161781 677228 20.1 42387 14.3 - 230.90/230.92 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 230.90/230.92 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 230.90/230.92 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 230.90/230.92 c pseudo solution : 0.00 31 31 193 29.7 7 14.0 - 230.90/230.92 c applied globally : - - - 416414 15.6 - - - 230.90/230.92 c applied locally : - - - 6039 37.1 - - - 230.90/230.92 c Separators : Time Calls Cutoffs DomReds Cuts Conss 230.90/230.92 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0) 230.90/230.92 c redcost : 0.00 0 0 0 0 0 230.90/230.92 c impliedbounds : 0.00 0 0 0 0 0 230.90/230.92 c intobj : 0.00 0 0 0 0 0 230.90/230.92 c cgmip : 0.00 0 0 0 0 0 230.90/230.92 c gomory : 0.00 0 0 0 0 0 230.90/230.92 c strongcg : 0.00 0 0 0 0 0 230.90/230.92 c cmir : 0.00 0 0 0 0 0 230.90/230.92 c flowcover : 0.00 0 0 0 0 0 230.90/230.92 c clique : 0.00 0 0 0 0 0 230.90/230.92 c zerohalf : 0.00 0 0 0 0 0 230.90/230.92 c mcf : 0.00 0 0 0 0 0 230.90/230.92 c rapidlearning : 0.00 0 0 0 0 0 230.90/230.92 c Pricers : Time Calls Vars 230.90/230.92 c problem variables: 0.00 0 0 230.90/230.92 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 230.90/230.92 c relpscost : 0.00 0 0 0 0 0 0 230.90/230.92 c pscost : 0.00 0 0 0 0 0 0 230.90/230.92 c inference : 3.15 302631 0 0 0 0 605262 230.90/230.92 c mostinf : 0.00 0 0 0 0 0 0 230.90/230.92 c leastinf : 0.00 0 0 0 0 0 0 230.90/230.92 c fullstrong : 0.00 0 0 0 0 0 0 230.90/230.92 c allfullstrong : 0.00 0 0 0 0 0 0 230.90/230.92 c random : 0.00 0 0 0 0 0 0 230.90/230.92 c Primal Heuristics : Time Calls Found 230.90/230.92 c LP solutions : 0.00 - 0 230.90/230.92 c pseudo solutions : 0.15 - 16 230.90/230.92 c oneopt : 0.14 0 0 230.90/230.92 c trivial : 0.00 2 0 230.90/230.92 c simplerounding : 0.00 0 0 230.90/230.92 c zirounding : 0.00 0 0 230.90/230.92 c rounding : 0.00 0 0 230.90/230.92 c shifting : 0.00 0 0 230.90/230.92 c intshifting : 0.00 0 0 230.90/230.92 c twoopt : 0.00 0 0 230.90/230.92 c fixandinfer : 0.00 0 0 230.90/230.92 c feaspump : 0.00 0 0 230.90/230.92 c coefdiving : 0.00 0 0 230.90/230.92 c pscostdiving : 0.00 0 0 230.90/230.92 c fracdiving : 0.00 0 0 230.90/230.92 c veclendiving : 0.00 0 0 230.90/230.92 c intdiving : 0.00 0 0 230.90/230.92 c actconsdiving : 0.00 0 0 230.90/230.92 c objpscostdiving : 0.00 0 0 230.90/230.92 c rootsoldiving : 0.00 0 0 230.90/230.92 c linesearchdiving : 0.00 0 0 230.90/230.92 c guideddiving : 0.00 0 0 230.90/230.92 c octane : 0.00 0 0 230.90/230.92 c rens : 0.00 0 0 230.90/230.92 c rins : 0.00 0 0 230.90/230.92 c localbranching : 0.00 0 0 230.90/230.92 c mutation : 0.00 0 0 230.90/230.92 c crossover : 0.00 0 0 230.90/230.92 c dins : 0.00 0 0 230.90/230.92 c undercover : 0.00 0 0 230.90/230.92 c nlp : 0.14 0 0 230.90/230.92 c trysol : 0.09 1 0 230.90/230.92 c LP : Time Calls Iterations Iter/call Iter/sec 230.90/230.92 c primal LP : 0.00 0 0 0.00 - 230.90/230.92 c dual LP : 0.00 0 0 0.00 - 230.90/230.92 c lex dual LP : 0.00 0 0 0.00 - 230.90/230.92 c barrier LP : 0.00 0 0 0.00 - 230.90/230.92 c diving/probing LP: 0.00 0 0 0.00 - 230.90/230.92 c strong branching : 0.00 0 0 0.00 - 230.90/230.92 c (at root node) : - 0 0 0.00 - 230.90/230.92 c conflict analysis: 0.00 0 0 0.00 - 230.90/230.92 c B&B Tree : 230.90/230.92 c number of runs : 1 230.90/230.92 c nodes : 412645 230.90/230.92 c nodes (total) : 412645 230.90/230.92 c nodes left : 0 230.90/230.92 c max depth : 183 230.90/230.92 c max depth (total): 183 230.90/230.92 c backtracks : 140264 (34.0%) 230.90/230.92 c delayed cutoffs : 119386 230.90/230.92 c repropagations : 513179 (2780600 domain reductions, 53105 cutoffs) 230.90/230.92 c avg switch length: 22.84 230.90/230.92 c switching time : 68.03 230.90/230.92 c Solution : 230.90/230.92 c Solutions found : 16 (16 improvements) 230.90/230.92 c First Solution : +4.39000000000000e+02 (in run 1, after 47731 nodes, 16.93 seconds, depth 45, found by <relaxation>) 230.90/230.92 c Primal Bound : +1.00000000000000e+00 (in run 1, after 412645 nodes, 225.40 seconds, depth 76, found by <relaxation>) 230.90/230.92 c Dual Bound : +1.00000000000000e+00 230.90/230.92 c Gap : 0.00 % 230.90/230.92 c Root Dual Bound : +0.00000000000000e+00 230.90/230.92 c Root Iterations : 0 230.90/230.96 c Time complete: 230.96.
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693847-1277895509/watcher-2693847-1277895509 -o /tmp/evaluation-result-2693847-1277895509/solver-2693847-1277895509 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693847-1277895509.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 4/178 12926 /proc/meminfo: memFree=28226920/32950928 swapFree=67111528/67111528 [pid=12926] ppid=12924 vsize=8116 CPUtime=0 /proc/12926/stat : 12926 (pbscip.linux.x8) R 12924 12926 11658 0 -1 4202496 1534 0 0 0 0 0 0 0 25 0 1 0 130845183 8310784 1456 4089446400 4194304 7136930 140737438547792 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/12926/statm: 2062 1460 275 719 0 1341 0 [startup+0.087508 s] /proc/loadavg: 2.00 2.00 2.00 4/178 12926 /proc/meminfo: memFree=28226920/32950928 swapFree=67111528/67111528 [pid=12926] ppid=12924 vsize=13008 CPUtime=0.08 /proc/12926/stat : 12926 (pbscip.linux.x8) R 12924 12926 11658 0 -1 4202496 5027 0 0 0 7 1 0 0 25 0 1 0 130845183 13320192 2540 4089446400 4194304 7136930 140737438547792 18446744073709551615 4225861 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12926/statm: 3252 2540 404 719 0 2531 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 13008 [startup+0.100497 s] /proc/loadavg: 2.00 2.00 2.00 4/178 12926 /proc/meminfo: memFree=28226920/32950928 swapFree=67111528/67111528 [pid=12926] ppid=12924 vsize=13008 CPUtime=0.09 /proc/12926/stat : 12926 (pbscip.linux.x8) R 12924 12926 11658 0 -1 4202496 5042 0 0 0 8 1 0 0 25 0 1 0 130845183 13320192 2555 4089446400 4194304 7136930 140737438547792 18446744073709551615 4574498 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12926/statm: 3252 2555 404 719 0 2531 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13008 [startup+0.30046 s] /proc/loadavg: 2.00 2.00 2.00 4/178 12926 /proc/meminfo: memFree=28226920/32950928 swapFree=67111528/67111528 [pid=12926] ppid=12924 vsize=14204 CPUtime=0.29 /proc/12926/stat : 12926 (pbscip.linux.x8) R 12924 12926 11658 0 -1 4202496 5356 0 0 0 26 3 0 0 25 0 1 0 130845183 14544896 2869 4089446400 4194304 7136930 140737438547792 18446744073709551615 4677199 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12926/statm: 3551 2869 404 719 0 2830 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14204 [startup+0.700382 s] /proc/loadavg: 2.00 2.00 2.00 4/178 12926 /proc/meminfo: memFree=28226920/32950928 swapFree=67111528/67111528 [pid=12926] ppid=12924 vsize=16664 CPUtime=0.69 /proc/12926/stat : 12926 (pbscip.linux.x8) R 12924 12926 11658 0 -1 4202496 5962 0 0 0 64 5 0 0 25 0 1 0 130845183 17063936 3475 4089446400 4194304 7136930 140737438547792 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12926/statm: 4166 3475 404 719 0 3445 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16664 [startup+1.50024 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12927 /proc/meminfo: memFree=28212900/32950928 swapFree=67111528/67111528 [pid=12926] ppid=12924 vsize=19752 CPUtime=1.49 /proc/12926/stat : 12926 (pbscip.linux.x8) R 12924 12926 11658 0 -1 4202496 6749 0 0 0 139 10 0 0 25 0 1 0 130845183 20226048 4262 4089446400 4194304 7136930 140737438547792 18446744073709551615 5001190 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12926/statm: 4938 4262 404 719 0 4217 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19752 [startup+3.10093 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12927 /proc/meminfo: memFree=28208932/32950928 swapFree=67111528/67111528 [pid=12926] ppid=12924 vsize=23568 CPUtime=3.09 /proc/12926/stat : 12926 (pbscip.linux.x8) R 12924 12926 11658 0 -1 4202496 7715 0 0 0 293 16 0 0 25 0 1 0 130845183 24133632 5228 4089446400 4194304 7136930 140737438547792 18446744073709551615 4224130 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12926/statm: 5892 5228 404 719 0 5171 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23568 [startup+6.30031 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12927 /proc/meminfo: memFree=28201620/32950928 swapFree=67111528/67111528 [pid=12926] ppid=12924 vsize=30356 CPUtime=6.29 /proc/12926/stat : 12926 (pbscip.linux.x8) R 12924 12926 11658 0 -1 4202496 9434 0 0 0 600 29 0 0 25 0 1 0 130845183 31084544 6947 4089446400 4194304 7136930 140737438547792 18446744073709551615 4660061 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12926/statm: 7589 6947 404 719 0 6868 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30356 [startup+12.7011 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12927 /proc/meminfo: memFree=28193184/32950928 swapFree=67111528/67111528 [pid=12926] ppid=12924 vsize=38280 CPUtime=12.69 /proc/12926/stat : 12926 (pbscip.linux.x8) R 12924 12926 11658 0 -1 4202496 11375 0 0 0 1224 45 0 0 25 0 1 0 130845183 39198720 8888 4089446400 4194304 7136930 140737438547792 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12926/statm: 9570 8888 404 719 0 8849 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 38280 [startup+25.5006 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12927 /proc/meminfo: memFree=28172904/32950928 swapFree=67111528/67111528 [pid=12926] ppid=12924 vsize=58012 CPUtime=25.49 /proc/12926/stat : 12926 (pbscip.linux.x8) R 12924 12926 11658 0 -1 4202496 16396 0 0 0 2452 97 0 0 25 0 1 0 130845183 59404288 13909 4089446400 4194304 7136930 140737438547792 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12926/statm: 14503 13909 405 719 0 13782 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 58012 [startup+51.1007 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12928 /proc/meminfo: memFree=28155136/32950928 swapFree=67111528/67111528 [pid=12926] ppid=12924 vsize=78484 CPUtime=51.09 /proc/12926/stat : 12926 (pbscip.linux.x8) R 12924 12926 11658 0 -1 4202496 20964 0 0 0 4953 156 0 0 25 0 1 0 130845183 80367616 18477 4089446400 4194304 7136930 140737438547792 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12926/statm: 19621 18477 405 719 0 18900 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 78484 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12929 /proc/meminfo: memFree=28082548/32950928 swapFree=67111528/67111528 [pid=12926] ppid=12924 vsize=147776 CPUtime=102.3 /proc/12926/stat : 12926 (pbscip.linux.x8) R 12924 12926 11658 0 -1 4202496 38435 0 0 0 9898 332 0 0 25 0 1 0 130845183 151322624 35948 4089446400 4194304 7136930 140737438547792 18446744073709551615 6349877 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12926/statm: 36944 35948 405 719 0 36223 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 147776 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12940 /proc/meminfo: memFree=28042296/32950928 swapFree=67111528/67111528 [pid=12926] ppid=12924 vsize=187516 CPUtime=162.3 /proc/12926/stat : 12926 (pbscip.linux.x8) R 12924 12926 11658 0 -1 4202496 47851 0 0 0 15772 458 0 0 25 0 1 0 130845183 192016384 45364 4089446400 4194304 7136930 140737438547792 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12926/statm: 46879 45364 407 719 0 46158 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 187516 [startup+222.301 s] /proc/loadavg: 2.08 2.03 2.01 3/179 12942 /proc/meminfo: memFree=28040428/32950928 swapFree=67111528/67111528 [pid=12926] ppid=12924 vsize=189664 CPUtime=222.3 /proc/12926/stat : 12926 (pbscip.linux.x8) R 12924 12926 11658 0 -1 4202496 48360 0 0 0 21693 537 0 0 25 0 1 0 130845183 194215936 45873 4089446400 4194304 7136930 140737438547792 18446744073709551615 4431658 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12926/statm: 47416 45873 407 719 0 46695 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 189664 Solver just ended. Dumping a history of the last processes samples [startup+223.9 s] /proc/loadavg: 2.08 2.03 2.01 3/179 12942 /proc/meminfo: memFree=28040548/32950928 swapFree=67111528/67111528 [pid=12926] ppid=12924 vsize=189664 CPUtime=223.89 /proc/12926/stat : 12926 (pbscip.linux.x8) R 12924 12926 11658 0 -1 4202496 48360 0 0 0 21849 540 0 0 25 0 1 0 130845183 194215936 45873 4089446400 4194304 7136930 140737438547792 18446744073709551615 4854246 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12926/statm: 47416 45873 407 719 0 46695 0 Current children cumulated CPU time (s) 223.89 Current children cumulated vsize (KiB) 189664 [startup+227.101 s] /proc/loadavg: 2.07 2.03 2.00 4/179 12942 /proc/meminfo: memFree=28039552/32950928 swapFree=67111528/67111528 [pid=12926] ppid=12924 vsize=190292 CPUtime=227.1 /proc/12926/stat : 12926 (pbscip.linux.x8) R 12924 12926 11658 0 -1 4202496 48478 0 0 0 22166 544 0 0 25 0 1 0 130845183 194859008 45991 4089446400 4194304 7136930 140737438547792 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12926/statm: 47573 45991 407 719 0 46852 0 Current children cumulated CPU time (s) 227.1 Current children cumulated vsize (KiB) 190292 [startup+228.701 s] /proc/loadavg: 2.07 2.03 2.00 3/179 12942 /proc/meminfo: memFree=28039428/32950928 swapFree=67111528/67111528 [pid=12926] ppid=12924 vsize=190292 CPUtime=228.7 /proc/12926/stat : 12926 (pbscip.linux.x8) R 12924 12926 11658 0 -1 4202496 48485 0 0 0 22324 546 0 0 25 0 1 0 130845183 194859008 45998 4089446400 4194304 7136930 140737438547792 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12926/statm: 47573 45998 407 719 0 46852 0 Current children cumulated CPU time (s) 228.7 Current children cumulated vsize (KiB) 190292 [startup+230.3 s] /proc/loadavg: 2.07 2.03 2.00 3/179 12942 /proc/meminfo: memFree=28039428/32950928 swapFree=67111528/67111528 [pid=12926] ppid=12924 vsize=190292 CPUtime=230.29 /proc/12926/stat : 12926 (pbscip.linux.x8) R 12924 12926 11658 0 -1 4202496 48495 0 0 0 22482 547 0 0 25 0 1 0 130845183 194859008 46008 4089446400 4194304 7136930 140737438547792 18446744073709551615 4677840 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12926/statm: 47573 46008 407 719 0 46852 0 Current children cumulated CPU time (s) 230.29 Current children cumulated vsize (KiB) 190292 [startup+230.7 s] /proc/loadavg: 2.07 2.03 2.00 3/179 12942 /proc/meminfo: memFree=28039428/32950928 swapFree=67111528/67111528 [pid=12926] ppid=12924 vsize=190292 CPUtime=230.69 /proc/12926/stat : 12926 (pbscip.linux.x8) R 12924 12926 11658 0 -1 4202496 48495 0 0 0 22522 547 0 0 25 0 1 0 130845183 194859008 46008 4089446400 4194304 7136930 140737438547792 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12926/statm: 47573 46008 407 719 0 46852 0 Current children cumulated CPU time (s) 230.69 Current children cumulated vsize (KiB) 190292 [startup+230.901 s] /proc/loadavg: 2.07 2.03 2.00 3/179 12942 /proc/meminfo: memFree=28039548/32950928 swapFree=67111528/67111528 [pid=12926] ppid=12924 vsize=190292 CPUtime=230.9 /proc/12926/stat : 12926 (pbscip.linux.x8) R 12924 12926 11658 0 -1 4202496 48503 0 0 0 22543 547 0 0 25 0 1 0 130845183 194859008 46016 4089446400 4194304 7136930 140737438547792 18446744073709551615 6124733 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12926/statm: 47573 46016 407 719 0 46852 0 Current children cumulated CPU time (s) 230.9 Current children cumulated vsize (KiB) 190292 Child status: 0 Real time (s): 230.963 CPU time (s): 230.967 CPU user time (s): 225.483 CPU system time (s): 5.48417 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 190292 getrusage(RUSAGE_CHILDREN,...) data: user time used= 225.483 system time used= 5.48417 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 48521 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 524 runsolver used 0.381941 second user time and 0.743886 second system time The end
Begin job on node148 at 2010-06-30 12:58:29 IDJOB=2693847 IDBENCH=78758 IDSOLVER=1206 FILE ID=node148/2693847-1277895509 PBS_JOBID= 11197057 Free space on /tmp= 74172 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.1110966483--soft-33-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-2693847-1277895509/watcher-2693847-1277895509 -o /tmp/evaluation-result-2693847-1277895509/solver-2693847-1277895509 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693847-1277895509.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ee1a48d1e3b75eba43e09ed993a809da RANDOM SEED=1444106508 node148.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.836 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.67 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.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 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.836 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 : 5415.14 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.836 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.83 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.836 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.78 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.836 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.79 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.836 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.836 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.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 28227448 kB Buffers: 177252 kB Cached: 1271040 kB SwapCached: 0 kB Active: 3586396 kB Inactive: 987940 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 28227448 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3180 kB Writeback: 0 kB AnonPages: 3126044 kB Mapped: 16084 kB Slab: 79716 kB PageTables: 10824 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 3388584 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= 74168 MiB End job on node148 at 2010-06-30 13:02:20