Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver | MSAT | 1790.15 | 1790.1 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670675--soft-66-100-0.wbo |
MD5SUM | 763c02f50955b910cbe48f7840773e4a |
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 | 56.3114 |
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 | 906 |
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 | 44801 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 44800 |
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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] 0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-2705496-1278572952.wbo> 0.00/0.02 c original problem has 2043 variables (1137 bin, 0 int, 906 impl, 0 cont) and 3614 constraints 0.00/0.02 c problem read 0.00/0.02 c presolving settings loaded 0.00/0.03 c presolving: 0.00/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 212 impls, 12 clqs 0.00/0.07 c (round 2) 0 del vars, 115 del conss, 906 chg bounds, 55 chg sides, 0 chg coeffs, 0 upgd conss, 212 impls, 12 clqs 0.00/0.08 c (round 3) 55 del vars, 170 del conss, 906 chg bounds, 55 chg sides, 0 chg coeffs, 1742 upgd conss, 212 impls, 12 clqs 0.00/0.09 c (round 4) 110 del vars, 210 del conss, 906 chg bounds, 55 chg sides, 0 chg coeffs, 1742 upgd conss, 212 impls, 12 clqs 0.09/0.12 c (0.1s) probing: 101/1082 (9.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 0.09/0.12 c (0.1s) probing aborted: 100/100 successive totally useless probings 0.09/0.12 c presolving (5 rounds): 0.09/0.12 c 110 deleted vars, 210 deleted constraints, 906 tightened bounds, 0 added holes, 55 changed sides, 0 changed coefficients 0.09/0.12 c 1903 implications, 12 cliques 0.09/0.12 c presolved problem has 1933 variables (1082 bin, 0 int, 851 impl, 0 cont) and 3404 constraints 0.09/0.12 c 78 constraints of type <setppc> 0.09/0.12 c 851 constraints of type <linear> 0.09/0.12 c 851 constraints of type <indicator> 0.09/0.12 c 1624 constraints of type <logicor> 0.09/0.12 c transformed objective value is always integral (scale: 1) 0.09/0.12 c Presolving Time: 0.09 0.09/0.12 c - non default parameters ---------------------------------------------------------------------- 0.09/0.12 c # SCIP version 1.2.1.3 0.09/0.12 c 0.09/0.12 c # frequency for displaying node information lines 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.12 c display/freq = 10000 0.09/0.12 c 0.09/0.12 c # maximal time in seconds to run 0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.12 c limits/time = 1789.98 0.09/0.12 c 0.09/0.12 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.12 c limits/memory = 3420 0.09/0.12 c 0.09/0.12 c # default clock type (1: CPU user seconds, 2: wall clock time) 0.09/0.12 c # [type: int, range: [1,2], default: 1] 0.09/0.12 c timing/clocktype = 2 0.09/0.12 c 0.09/0.12 c # should presolving try to simplify inequalities 0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.12 c constraints/linear/simplifyinequalities = TRUE 0.09/0.12 c 0.09/0.12 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.12 c constraints/indicator/addCouplingCons = TRUE 0.09/0.12 c 0.09/0.12 c # should presolving try to simplify knapsacks 0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.12 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.12 c 0.09/0.12 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.12 c separating/rapidlearning/freq = 0 0.09/0.12 c 0.09/0.12 c ----------------------------------------------------------------------------------------------- 0.09/0.12 c start solving 0.09/0.12 c 0.09/0.13 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.13 c 0.1s| 1 | 0 | 40 | - |8866k| 0 | 35 |1933 |3404 |1933 |1702 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.19/0.22 c 0.2s| 1 | 0 | 82 | - |8982k| 0 | 52 |1933 |3404 |1933 |1719 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf 0.29/0.31 c 0.3s| 1 | 0 | 199 | - |9681k| 0 | 62 |1933 |3404 |1933 |1737 | 35 | 0 | 0 | 0.000000e+00 | -- | Inf 0.39/0.43 c 0.4s| 1 | 0 | 307 | - |9769k| 0 | 72 |1933 |3404 |1933 |1755 | 53 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.57 c 0.5s| 1 | 0 | 418 | - | 10M| 0 | 71 |1933 |3404 |1933 |1764 | 62 | 0 | 0 | 0.000000e+00 | -- | Inf 0.79/0.80 c 0.8s| 1 | 0 | 1092 | - | 10M| 0 | 67 |1933 |3404 |1933 |1770 | 68 | 0 | 0 | 0.000000e+00 | -- | Inf 0.89/0.93 c 0.9s| 1 | 0 | 1373 | - | 10M| 0 | 106 |1933 |3404 |1933 |1792 | 90 | 0 | 0 | 0.000000e+00 | -- | Inf 1.89/1.96 c 1.9s| 1 | 2 | 1373 | - | 10M| 0 | 106 |1933 |3404 |1933 |1792 | 90 | 0 | 15 | 0.000000e+00 | -- | Inf 11.00/11.05 o 41732 11.00/11.05 c y11.0s| 29 | 28 | 4249 | 102.7 | 10M| 14 | - |1933 |3404 | 0 | 0 | 101 | 0 | 497 | 0.000000e+00 | 4.173200e+04 | Inf 16.79/16.87 o 611 16.79/16.87 c *16.8s| 179 | 163 | 10097 | 49.0 | 11M| 57 | - |1933 |3430 |1933 |1793 | 212 | 26 | 714 | 0.000000e+00 | 6.110000e+02 | Inf 16.79/16.88 o 312 16.79/16.88 c *16.9s| 187 | 140 | 10126 | 47.1 | 11M| 64 | - |1933 |3430 |1933 |1793 | 212 | 26 | 714 | 0.000000e+00 | 3.120000e+02 | Inf 16.99/17.05 o 309 16.99/17.05 c *17.0s| 292 | 223 | 10413 | 31.1 | 12M| 66 | - |1933 |3443 |1933 |1796 | 226 | 39 | 714 | 0.000000e+00 | 3.090000e+02 | Inf 16.99/17.07 o 308 16.99/17.07 c *17.0s| 302 | 228 | 10466 | 30.2 | 12M| 66 | - |1933 |3449 |1933 |1797 | 227 | 45 | 714 | 0.000000e+00 | 3.080000e+02 | Inf 17.09/17.14 o 305 17.09/17.14 c *17.1s| 350 | 254 | 10617 | 26.5 | 12M| 71 | - |1933 |3457 |1933 |1796 | 229 | 53 | 714 | 0.000000e+00 | 3.050000e+02 | Inf 17.29/17.38 o 303 17.29/17.38 c *17.4s| 367 | 246 | 11900 | 28.8 | 12M| 71 | - |1933 |3464 |1933 |1781 | 230 | 60 | 717 | 0.000000e+00 | 3.030000e+02 | Inf 17.79/17.89 o 299 17.79/17.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 17.79/17.89 c *17.9s| 656 | 311 | 13377 | 18.3 | 13M| 71 | - |1933 |3905 |1933 |1792 | 247 | 504 | 717 | 0.000000e+00 | 2.990000e+02 | Inf 18.80/18.86 o 294 18.80/18.86 c *18.8s| 941 | 423 | 17777 | 17.5 | 14M| 71 | - |1933 |4136 |1933 |1800 | 323 | 761 | 730 | 0.000000e+00 | 2.940000e+02 | Inf 18.80/18.86 o 279 18.80/18.86 c *18.8s| 942 | 391 | 17777 | 17.4 | 14M| 71 | - |1933 |4136 |1933 |1800 | 323 | 761 | 730 | 0.000000e+00 | 2.790000e+02 | Inf 18.99/19.03 o 269 18.99/19.03 c *19.0s| 980 | 394 | 18789 | 17.8 | 14M| 71 | - |1933 |4171 |1933 |1781 | 333 | 799 | 730 | 0.000000e+00 | 2.690000e+02 | Inf 18.99/19.06 o 266 18.99/19.06 c z19.0s| 992 | 397 | 18948 | 17.7 | 14M| 71 | - |1933 |4178 |1933 |1794 | 333 | 808 | 730 | 0.000000e+00 | 2.660000e+02 | Inf 18.99/19.07 o 265 18.99/19.07 c *19.0s| 993 | 396 | 18972 | 17.7 | 14M| 71 | - |1933 |4178 |1933 |1794 | 333 | 808 | 730 | 0.000000e+00 | 2.650000e+02 | Inf 19.19/19.25 o 260 19.19/19.25 c *19.2s| 1061 | 433 | 19970 | 17.5 | 15M| 71 | - |1933 |4235 |1933 |1789 | 373 | 870 | 730 | 0.000000e+00 | 2.600000e+02 | Inf 19.39/19.46 o 245 19.39/19.46 c *19.4s| 1156 | 463 | 20944 | 16.9 | 15M| 71 | - |1933 |4335 |1933 |1793 | 425 | 974 | 730 | 0.000000e+00 | 2.450000e+02 | Inf 19.69/19.79 o 230 19.69/19.79 c *19.8s| 1240 | 491 | 22921 | 17.4 | 15M| 71 | - |1933 |4436 |1933 |1781 | 438 |1077 | 730 | 0.000000e+00 | 2.300000e+02 | Inf 19.69/19.79 o 224 19.69/19.79 c *19.8s| 1241 | 482 | 22924 | 17.4 | 15M| 71 | - |1933 |4436 |1933 |1781 | 438 |1077 | 730 | 0.000000e+00 | 2.240000e+02 | Inf 19.90/19.95 o 220 19.90/19.95 c *19.9s| 1314 | 524 | 23590 | 16.9 | 15M| 71 | - |1933 |4514 |1933 |1790 | 469 |1158 | 730 | 0.000000e+00 | 2.200000e+02 | Inf 19.90/19.95 o 215 19.90/19.95 c *19.9s| 1315 | 519 | 23591 | 16.9 | 15M| 71 | - |1933 |4514 |1933 |1790 | 469 |1158 | 730 | 0.000000e+00 | 2.150000e+02 | Inf 19.99/20.03 o 173 19.99/20.03 c *20.0s| 1335 | 464 | 24015 | 17.0 | 15M| 71 | - |1933 |4535 |1933 |1800 | 484 |1179 | 730 | 0.000000e+00 | 1.730000e+02 | Inf 20.19/20.30 o 168 20.19/20.30 c *20.3s| 1433 | 508 | 25409 | 16.8 | 16M| 71 | - |1933 |4614 |1933 |1792 | 522 |1268 | 730 | 0.000000e+00 | 1.680000e+02 | Inf 20.29/20.31 o 160 20.29/20.31 c *20.3s| 1438 | 492 | 25525 | 16.8 | 16M| 71 | - |1933 |4622 |1933 |1789 | 523 |1276 | 730 | 0.000000e+00 | 1.600000e+02 | Inf 20.29/20.33 o 134 20.29/20.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 20.29/20.33 c *20.3s| 1442 | 426 | 25604 | 16.8 | 15M| 71 | - |1933 |4622 |1933 |1790 | 525 |1276 | 730 | 0.000000e+00 | 1.340000e+02 | Inf 20.29/20.35 o 131 20.29/20.35 c *20.3s| 1446 | 427 | 25687 | 16.8 | 15M| 71 | - |1933 |4622 |1933 |1790 | 525 |1276 | 730 | 0.000000e+00 | 1.310000e+02 | Inf 20.29/20.35 o 120 20.29/20.35 c *20.3s| 1448 | 409 | 25691 | 16.8 | 15M| 71 | - |1933 |4622 |1933 |1790 | 525 |1276 | 730 | 0.000000e+00 | 1.200000e+02 | Inf 20.29/20.35 o 119 20.29/20.35 c *20.3s| 1449 | 402 | 25692 | 16.8 | 15M| 71 | - |1933 |4622 |1933 |1790 | 525 |1276 | 730 | 0.000000e+00 | 1.190000e+02 | Inf 20.29/20.38 o 101 20.29/20.38 c *20.4s| 1458 | 355 | 25774 | 16.7 | 15M| 71 | - |1933 |4632 |1933 |1801 | 538 |1286 | 730 | 0.000000e+00 | 1.010000e+02 | Inf 20.39/20.40 o 50 20.39/20.40 c *20.4s| 1464 | 270 | 25800 | 16.7 | 15M| 71 | - |1933 |4635 |1933 |1802 | 539 |1289 | 730 | 0.000000e+00 | 5.000000e+01 | Inf 20.39/20.43 o 12 20.39/20.43 c *20.4s| 1482 | 189 | 25916 | 16.6 | 15M| 71 | - |1933 |4115 |1933 |1789 | 540 |1289 | 730 | 0.000000e+00 | 1.200000e+01 | Inf 20.39/20.47 o 8 20.39/20.47 c *20.4s| 1492 | 190 | 26157 | 16.6 | 14M| 71 | - |1933 |3671 |1933 |1797 | 549 |1289 | 730 | 0.000000e+00 | 8.000000e+00 | Inf 20.39/20.48 o 6 20.39/20.48 c *20.5s| 1495 | 101 | 26180 | 16.6 | 14M| 71 | - |1933 |3633 |1933 |1789 | 550 |1291 | 730 | 0.000000e+00 | 6.000000e+00 | Inf 41.39/41.45 c 41.4s| 10000 | 159 |156706 | 15.5 | 17M| 71 | 13 |1933 |9651 |1933 |1780 |1426 | 12k| 955 | 0.000000e+00 | 6.000000e+00 | Inf 71.89/71.94 c 71.9s| 20000 | 180 |346461 | 17.3 | 19M| 71 | - |1933 | 11k| 0 | 0 |2364 | 25k|1278 | 0.000000e+00 | 6.000000e+00 | Inf 98.89/98.97 c 98.9s| 30000 | 142 |516855 | 17.2 | 18M| 71 | 21 |1933 | 11k|1933 |1794 |3066 | 39k|1321 | 0.000000e+00 | 6.000000e+00 | Inf 126.19/126.24 c 126s| 40000 | 192 |682125 | 17.0 | 21M| 71 | - |1933 | 16k|1933 |1780 |3913 | 53k|1642 | 0.000000e+00 | 6.000000e+00 | Inf 154.20/154.22 c 154s| 50000 | 88 |841259 | 16.8 | 20M| 71 | 11 |1933 | 13k|1933 |1780 |4953 | 67k|1907 | 0.000000e+00 | 6.000000e+00 | Inf 180.40/180.49 c 180s| 60000 | 285 |992662 | 16.5 | 21M| 71 | 21 |1933 | 13k|1933 |1780 |5480 | 81k|2197 | 0.000000e+00 | 6.000000e+00 | Inf 209.10/209.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 209.10/209.11 c 209s| 70000 | 748 | 1161k| 16.6 | 24M| 71 | 20 |1933 | 15k|1933 |1780 |6105 | 94k|2432 | 0.000000e+00 | 6.000000e+00 | Inf 236.90/236.95 c 237s| 80000 | 875 | 1320k| 16.5 | 25M| 71 | - |1933 | 16k| 0 | 0 |6839 | 108k|2672 | 0.000000e+00 | 6.000000e+00 | Inf 263.20/263.20 c 263s| 90000 | 957 | 1464k| 16.3 | 27M| 71 | - |1933 | 18k|1933 |1780 |7625 | 123k|2921 | 0.000000e+00 | 6.000000e+00 | Inf 290.70/290.77 c 291s|100000 | 1065 | 1617k| 16.2 | 27M| 71 | 21 |1933 | 16k|1933 |1780 |8214 | 136k|3063 | 0.000000e+00 | 6.000000e+00 | Inf 316.70/316.79 c 317s|110000 | 1090 | 1759k| 16.0 | 29M| 71 | 14 |1933 | 18k|1933 |1780 |8933 | 150k|3284 | 0.000000e+00 | 6.000000e+00 | Inf 331.70/331.76 o 1 331.70/331.76 c * 332s|116238 | 825 | 1833k| 15.8 | 28M| 71 | - |1933 | 19k|1933 |1781 |9320 | 159k|3398 | 0.000000e+00 | 1.000000e+00 | Inf 341.59/341.64 c 342s|120000 | 780 | 1888k| 15.7 | 26M| 71 | 19 |1933 | 14k|1933 |1786 |9486 | 164k|3469 | 0.000000e+00 | 1.000000e+00 | Inf 366.80/366.89 c 367s|130000 | 805 | 2033k| 15.6 | 27M| 71 | 13 |1933 | 18k|1933 |1780 |9955 | 179k|3639 | 0.000000e+00 | 1.000000e+00 | Inf 393.20/393.20 c 393s|140000 | 736 | 2185k| 15.6 | 26M| 71 | - |1933 | 15k|1933 |1780 | 10k| 194k|3785 | 0.000000e+00 | 1.000000e+00 | Inf 417.20/417.22 c 417s|150000 | 824 | 2311k| 15.4 | 29M| 71 | 22 |1933 | 20k|1933 |1780 | 11k| 208k|3874 | 0.000000e+00 | 1.000000e+00 | Inf 442.51/442.58 c 443s|160000 | 828 | 2441k| 15.3 | 29M| 71 | - |1933 | 19k| 0 | 0 | 11k| 222k|4051 | 0.000000e+00 | 1.000000e+00 | Inf 469.21/469.25 c 469s|170000 | 916 | 2590k| 15.2 | 30M| 71 | 27 |1933 | 20k|1933 |1780 | 12k| 236k|4151 | 0.000000e+00 | 1.000000e+00 | Inf 496.90/496.98 c 497s|180000 | 1106 | 2747k| 15.3 | 32M| 71 | - |1933 | 24k|1933 |1780 | 13k| 250k|4322 | 0.000000e+00 | 1.000000e+00 | Inf 526.21/526.21 c 526s|190000 | 1351 | 2909k| 15.3 | 35M| 71 | - |1933 | 27k|1933 |1784 | 14k| 264k|4456 | 0.000000e+00 | 1.000000e+00 | Inf 555.21/555.21 c 555s|200000 | 1396 | 3067k| 15.3 | 36M| 71 | - |1933 | 27k|1933 |1780 | 15k| 278k|4596 | 0.000000e+00 | 1.000000e+00 | Inf 583.80/583.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 583.80/583.89 c 584s|210000 | 1431 | 3222k| 15.3 | 36M| 71 | - |1933 | 26k|1933 |1789 | 16k| 293k|4754 | 0.000000e+00 | 1.000000e+00 | Inf 611.91/611.98 c 612s|220000 | 1400 | 3371k| 15.3 | 36M| 71 | - |1933 | 25k| 0 | 0 | 17k| 307k|4838 | 0.000000e+00 | 1.000000e+00 | Inf 641.70/641.77 c 642s|230000 | 1470 | 3529k| 15.3 | 36M| 71 | 14 |1933 | 24k|1933 |1780 | 17k| 321k|4982 | 0.000000e+00 | 1.000000e+00 | Inf 669.71/669.77 c 670s|240000 | 1358 | 3679k| 15.3 | 35M| 71 | - |1933 | 23k|1933 |1784 | 18k| 335k|5103 | 0.000000e+00 | 1.000000e+00 | Inf 699.61/699.62 c 700s|250000 | 1305 | 3840k| 15.4 | 35M| 71 | - |1933 | 23k|1933 |1780 | 19k| 349k|5354 | 0.000000e+00 | 1.000000e+00 | Inf 727.11/727.11 c 727s|260000 | 1245 | 3980k| 15.3 | 34M| 71 | 41 |1933 | 21k|1933 |1780 | 20k| 364k|5422 | 0.000000e+00 | 1.000000e+00 | Inf 754.11/754.19 c 754s|270000 | 1174 | 4126k| 15.3 | 34M| 71 | - |1933 | 20k| 0 | 0 | 20k| 378k|5541 | 0.000000e+00 | 1.000000e+00 | Inf 780.81/780.82 c 781s|280000 | 1065 | 4273k| 15.3 | 32M| 71 | 24 |1933 | 17k|1933 |1780 | 21k| 393k|5669 | 0.000000e+00 | 1.000000e+00 | Inf 805.92/805.95 c 806s|290000 | 963 | 4410k| 15.2 | 31M| 71 | - |1933 | 16k| 0 | 0 | 22k| 407k|5726 | 0.000000e+00 | 1.000000e+00 | Inf 831.61/831.65 c 832s|300000 | 836 | 4556k| 15.2 | 30M| 71 | 22 |1933 | 14k|1933 |1780 | 23k| 422k|5800 | 0.000000e+00 | 1.000000e+00 | Inf 858.21/858.27 c 858s|310000 | 684 | 4712k| 15.2 | 30M| 71 | - |1933 | 16k|1933 |1787 | 23k| 436k|5880 | 0.000000e+00 | 1.000000e+00 | Inf 885.12/885.11 c 885s|320000 | 479 | 4865k| 15.2 | 27M| 71 | 24 |1933 | 15k|1933 |1780 | 24k| 450k|5973 | 0.000000e+00 | 1.000000e+00 | Inf 911.41/911.42 c 911s|330000 | 215 | 5016k| 15.2 | 24M| 71 | - |1933 | 14k| 0 | 0 | 25k| 464k|6096 | 0.000000e+00 | 1.000000e+00 | Inf 936.51/936.58 c 937s|340000 | 70 | 5149k| 15.1 | 22M| 71 | 10 |1933 | 13k|1933 |1780 | 25k| 478k|6216 | 0.000000e+00 | 1.000000e+00 | Inf 961.22/961.21 c 961s|350000 | 171 | 5283k| 15.1 | 25M| 71 | 27 |1933 | 18k|1933 |1780 | 26k| 491k|6301 | 0.000000e+00 | 1.000000e+00 | Inf 988.93/988.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 988.93/988.95 c 989s|360000 | 306 | 5427k| 15.1 | 27M| 71 | 23 |1933 | 22k|1933 |1780 | 27k| 505k|6371 | 0.000000e+00 | 1.000000e+00 | Inf 1018.22/1018.22 c 1018s|370000 | 354 | 5583k| 15.1 | 27M| 71 | - |1933 | 22k|1933 |1785 | 28k| 519k|6459 | 0.000000e+00 | 1.000000e+00 | Inf 1045.51/1045.55 c 1046s|380000 | 371 | 5729k| 15.1 | 29M| 71 | 30 |1933 | 24k|1933 |1780 | 29k| 534k|6546 | 0.000000e+00 | 1.000000e+00 | Inf 1072.63/1072.62 c 1073s|390000 | 384 | 5858k| 15.0 | 30M| 71 | - |1933 | 25k| 0 | 0 | 30k| 548k|6630 | 0.000000e+00 | 1.000000e+00 | Inf 1100.42/1100.48 c 1100s|400000 | 455 | 5993k| 15.0 | 31M| 71 | - |1933 | 28k|1933 |1780 | 31k| 562k|6700 | 0.000000e+00 | 1.000000e+00 | Inf 1131.52/1131.54 c 1132s|410000 | 701 | 6144k| 15.0 | 35M| 71 | - |1933 | 33k| 0 | 0 | 32k| 576k|6774 | 0.000000e+00 | 1.000000e+00 | Inf 1161.93/1161.93 c 1162s|420000 | 648 | 6292k| 15.0 | 34M| 71 | 23 |1933 | 32k|1933 |1780 | 33k| 591k|6863 | 0.000000e+00 | 1.000000e+00 | Inf 1191.12/1191.17 c 1191s|430000 | 636 | 6432k| 15.0 | 35M| 71 | 1 |1933 | 33k|1933 |1780 | 34k| 605k|6936 | 0.000000e+00 | 1.000000e+00 | Inf 1220.63/1220.67 c 1221s|440000 | 616 | 6566k| 14.9 | 35M| 71 | 29 |1933 | 33k|1933 |1780 | 35k| 620k|6996 | 0.000000e+00 | 1.000000e+00 | Inf 1250.32/1250.32 c 1250s|450000 | 620 | 6710k| 14.9 | 33M| 71 | - |1933 | 27k| 0 | 0 | 35k| 635k|7072 | 0.000000e+00 | 1.000000e+00 | Inf 1279.22/1279.20 c 1279s|460000 | 612 | 6853k| 14.9 | 33M| 71 | 1 |1933 | 24k|1933 |1780 | 37k| 649k|7151 | 0.000000e+00 | 1.000000e+00 | Inf 1306.13/1306.18 c 1306s|470000 | 747 | 6987k| 14.9 | 34M| 71 | 1 |1933 | 26k|1933 |1780 | 38k| 662k|7203 | 0.000000e+00 | 1.000000e+00 | Inf 1334.03/1334.01 c 1334s|480000 | 766 | 7125k| 14.8 | 35M| 71 | - |1933 | 27k| 0 | 0 | 38k| 675k|7263 | 0.000000e+00 | 1.000000e+00 | Inf 1364.83/1364.87 c 1365s|490000 | 1096 | 7278k| 14.9 | 38M| 71 | 23 |1933 | 31k|1933 |1780 | 39k| 689k|7349 | 0.000000e+00 | 1.000000e+00 | Inf 1396.83/1396.87 c 1397s|500000 | 1230 | 7435k| 14.9 | 39M| 71 | - |1933 | 30k|1933 |1780 | 40k| 703k|7432 | 0.000000e+00 | 1.000000e+00 | Inf 1430.73/1430.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1430.73/1430.71 c 1431s|510000 | 1422 | 7612k| 14.9 | 40M| 71 | 19 |1933 | 31k|1933 |1780 | 41k| 717k|7513 | 0.000000e+00 | 1.000000e+00 | Inf 1461.83/1461.86 c 1462s|520000 | 1466 | 7767k| 14.9 | 42M| 71 | - |1933 | 34k|1933 |1780 | 42k| 731k|7565 | 0.000000e+00 | 1.000000e+00 | Inf 1492.23/1492.23 c 1492s|530000 | 1592 | 7920k| 14.9 | 43M| 71 | - |1933 | 34k|1933 |1785 | 43k| 745k|7625 | 0.000000e+00 | 1.000000e+00 | Inf 1523.03/1523.05 c 1523s|540000 | 1696 | 8069k| 14.9 | 44M| 71 | - |1933 | 33k| 0 | 0 | 44k| 759k|7685 | 0.000000e+00 | 1.000000e+00 | Inf 1555.63/1555.64 c 1556s|550000 | 1796 | 8218k| 14.9 | 44M| 71 | - |1933 | 31k| 0 | 0 | 44k| 773k|7744 | 0.000000e+00 | 1.000000e+00 | Inf 1586.03/1586.07 c 1586s|560000 | 1984 | 8363k| 14.9 | 45M| 71 | - |1933 | 32k| 0 | 0 | 45k| 787k|7795 | 0.000000e+00 | 1.000000e+00 | Inf 1615.94/1615.97 c 1616s|570000 | 2086 | 8504k| 14.9 | 46M| 71 | 28 |1933 | 33k|1933 |1784 | 46k| 802k|7849 | 0.000000e+00 | 1.000000e+00 | Inf 1646.63/1646.68 c 1647s|580000 | 2064 | 8652k| 14.9 | 46M| 71 | 27 |1933 | 31k|1933 |1780 | 47k| 816k|7926 | 0.000000e+00 | 1.000000e+00 | Inf 1680.33/1680.31 c 1680s|590000 | 2229 | 8821k| 14.9 | 47M| 71 | 29 |1933 | 32k|1933 |1780 | 48k| 830k|7991 | 0.000000e+00 | 1.000000e+00 | Inf 1711.84/1711.82 c 1712s|600000 | 2334 | 8963k| 14.9 | 48M| 71 | - |1933 | 32k| 0 | 0 | 49k| 844k|8052 | 0.000000e+00 | 1.000000e+00 | Inf 1744.03/1744.00 c 1744s|610000 | 2642 | 9120k| 15.0 | 50M| 71 | - |1933 | 33k| 0 | 0 | 50k| 858k|8106 | 0.000000e+00 | 1.000000e+00 | Inf 1775.64/1775.66 c 1776s|620000 | 2673 | 9273k| 15.0 | 51M| 71 | - |1933 | 34k| 0 | 0 | 51k| 872k|8165 | 0.000000e+00 | 1.000000e+00 | Inf 1790.04/1790.00 c 1790.04/1790.00 c SCIP Status : solving was interrupted [time limit reached] 1790.04/1790.00 c Solving Time (sec) : 1789.98 1790.04/1790.00 c Solving Nodes : 624588 1790.04/1790.00 c Primal Bound : +1.00000000000000e+00 (114 solutions) 1790.04/1790.00 c Dual Bound : +0.00000000000000e+00 1790.04/1790.00 c Gap : infinite 1790.04/1790.01 s SATISFIABLE 1790.04/1790.01 v x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 -x210 1790.04/1790.01 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 1790.04/1790.01 v x188 -x187 -x186 -x185 -x184 -x183 -x182 x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 1790.04/1790.01 v -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 x147 1790.04/1790.01 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 1790.04/1790.01 v -x125 -x124 x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 1790.04/1790.01 v -x103 x102 -x101 -x100 -x99 -x98 -x97 -x96 x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 1790.04/1790.01 v -x79 -x78 -x77 -x76 x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 -x55 -x54 1790.04/1790.01 v -x53 -x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 1790.04/1790.01 v x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 1790.04/1790.01 v -x1 1790.04/1790.01 c SCIP Status : solving was interrupted [time limit reached] 1790.04/1790.01 c Solving Time : 1789.98 1790.04/1790.01 c Original Problem : 1790.04/1790.01 c Problem name : HOME/instance-2705496-1278572952.wbo 1790.04/1790.01 c Variables : 2043 (1137 binary, 0 integer, 906 implicit integer, 0 continuous) 1790.04/1790.01 c Constraints : 3614 initial, 3614 maximal 1790.04/1790.01 c Presolved Problem : 1790.04/1790.01 c Problem name : t_HOME/instance-2705496-1278572952.wbo 1790.04/1790.01 c Variables : 1933 (1082 binary, 0 integer, 851 implicit integer, 0 continuous) 1790.04/1790.01 c Constraints : 3404 initial, 37062 maximal 1790.04/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1790.04/1790.01 c trivial : 0.00 55 0 0 0 0 0 0 0 1790.04/1790.01 c dualfix : 0.00 55 0 0 0 0 0 0 0 1790.04/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 1790.04/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1790.04/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0 1790.04/1790.01 c probing : 0.03 0 0 0 0 0 0 0 0 1790.04/1790.01 c setppc : 0.00 0 0 0 0 0 40 0 0 1790.04/1790.01 c linear : 0.05 0 0 0 906 0 115 55 0 1790.04/1790.01 c indicator : 0.00 0 0 0 0 0 55 0 0 1790.04/1790.01 c logicor : 0.01 0 0 0 0 0 0 0 0 1790.04/1790.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0 1790.04/1790.01 c root node : - 1702 - - 1702 - - - - 1790.04/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1790.04/1790.01 c integral : 0 0 0 349072 0 179 2305 0 0 672466 1790.04/1790.01 c setppc : 78 6 2729144 10623 1 47399 1990234 0 0 0 1790.04/1790.01 c linear : 851 6 2682804 10794 1 71532 9610367 51748 0 0 1790.04/1790.01 c indicator : 851 0 493300 2407 0 31 89093 0 0 0 1790.04/1790.01 c logicor : 1624+ 6 1429971 537 1 107759 5105151 0 0 0 1790.04/1790.01 c bounddisjunction : 0+ 0 187207 0 0 2 214 0 0 0 1790.04/1790.01 c countsols : 0 0 0 537 1 0 0 0 0 0 1790.04/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1790.04/1790.01 c integral : 46.79 0.00 0.00 46.79 0.00 1790.04/1790.01 c setppc : 15.26 0.00 15.25 0.01 0.00 1790.04/1790.01 c linear : 65.36 0.00 65.01 0.36 0.00 1790.04/1790.01 c indicator : 1.26 0.00 1.20 0.05 0.00 1790.04/1790.01 c logicor : 225.01 0.00 225.01 0.01 0.00 1790.04/1790.01 c bounddisjunction : 1.11 0.00 1.11 0.00 0.00 1790.04/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00 1790.04/1790.01 c Propagators : Time Calls Cutoffs DomReds 1790.04/1790.01 c vbounds : 0.47 2354 0 29 1790.04/1790.01 c rootredcost : 0.47 32 0 851 1790.04/1790.01 c pseudoobj : 35.63 2730398 292 88059 1790.04/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1790.04/1790.01 c propagation : 10.97 226984 226359 1377538 26.7 6847 24.1 - 1790.04/1790.01 c infeasible LP : 21.93 104873 104872 813944 44.6 1060 16.4 0 1790.04/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1790.04/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1790.04/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1790.04/1790.01 c applied globally : - - - 878771 28.2 - - - 1790.04/1790.01 c applied locally : - - - 0 0.0 - - - 1790.04/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1790.04/1790.01 c cut pool : 0.00 5 - - 67 - (maximal pool size: 527) 1790.04/1790.01 c redcost : 12.11 349321 0 2808 0 0 1790.04/1790.01 c impliedbounds : 0.00 6 0 0 0 0 1790.04/1790.01 c intobj : 0.00 0 0 0 0 0 1790.04/1790.01 c cgmip : 0.00 0 0 0 0 0 1790.04/1790.01 c gomory : 0.24 6 0 0 1203 0 1790.04/1790.01 c strongcg : 0.19 6 0 0 1586 0 1790.04/1790.01 c cmir : 0.04 6 0 0 1 0 1790.04/1790.01 c flowcover : 0.06 6 0 0 2 0 1790.04/1790.01 c clique : 0.00 6 0 0 0 0 1790.04/1790.01 c zerohalf : 0.00 0 0 0 0 0 1790.04/1790.01 c mcf : 0.00 1 0 0 0 0 1790.04/1790.01 c rapidlearning : 0.05 1 0 0 0 0 1790.04/1790.01 c Pricers : Time Calls Vars 1790.04/1790.01 c problem variables: 0.00 0 0 1790.04/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1790.04/1790.01 c relpscost : 46.51 338253 179 2305 0 0 672466 1790.04/1790.01 c pscost : 0.00 0 0 0 0 0 0 1790.04/1790.01 c inference : 0.07 508 0 0 0 0 1061 1790.04/1790.01 c mostinf : 0.00 0 0 0 0 0 0 1790.04/1790.01 c leastinf : 0.00 0 0 0 0 0 0 1790.04/1790.01 c fullstrong : 0.00 0 0 0 0 0 0 1790.04/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0 1790.04/1790.01 c random : 0.00 0 0 0 0 0 0 1790.04/1790.01 c Primal Heuristics : Time Calls Found 1790.04/1790.01 c LP solutions : 0.01 - 30 1790.04/1790.01 c pseudo solutions : 0.00 - 0 1790.04/1790.01 c feaspump : 0.03 1 0 1790.04/1790.01 c oneopt : 0.28 27 0 1790.04/1790.01 c crossover : 0.38 8 0 1790.04/1790.01 c veclendiving : 0.31 79 0 1790.04/1790.01 c coefdiving : 0.45 79 0 1790.04/1790.01 c linesearchdiving : 0.28 79 0 1790.04/1790.01 c guideddiving : 0.37 79 0 1790.04/1790.01 c rootsoldiving : 0.51 40 0 1790.04/1790.01 c pscostdiving : 0.38 80 0 1790.04/1790.01 c fracdiving : 0.37 80 0 1790.04/1790.01 c objpscostdiving : 0.45 41 0 1790.04/1790.01 c trivial : 0.00 2 0 1790.04/1790.01 c simplerounding : 0.49 338242 0 1790.04/1790.01 c zirounding : 0.25 1000 1 1790.04/1790.01 c rounding : 0.89 8116 0 1790.04/1790.01 c shifting : 0.90 2523 0 1790.04/1790.01 c intshifting : 0.01 0 0 1790.04/1790.01 c twoopt : 0.00 0 0 1790.04/1790.01 c fixandinfer : 0.00 0 0 1790.04/1790.01 c intdiving : 0.00 0 0 1790.04/1790.01 c actconsdiving : 0.00 0 0 1790.04/1790.01 c octane : 0.00 0 0 1790.04/1790.01 c rens : 0.05 1 0 1790.04/1790.01 c rins : 0.00 0 0 1790.04/1790.01 c localbranching : 0.00 0 0 1790.04/1790.01 c mutation : 0.00 0 0 1790.04/1790.01 c dins : 0.00 0 0 1790.04/1790.01 c undercover : 0.00 0 0 1790.04/1790.01 c nlp : 0.10 0 0 1790.04/1790.01 c trysol : 0.21 187 83 1790.04/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec 1790.04/1790.01 c primal LP : 0.00 0 0 0.00 - 1790.04/1790.01 c dual LP : 1024.08 451823 9329390 20.65 9110.03 1790.04/1790.01 c lex dual LP : 0.00 0 0 0.00 - 1790.04/1790.01 c barrier LP : 0.00 0 0 0.00 - 1790.04/1790.01 c diving/probing LP: 2.19 1354 14203 10.49 6494.51 1790.04/1790.01 c strong branching : 42.83 8166 376241 46.07 8785.14 1790.04/1790.01 c (at root node) : - 15 7347 489.80 - 1790.04/1790.01 c conflict analysis: 0.00 0 0 0.00 - 1790.04/1790.01 c B&B Tree : 1790.04/1790.01 c number of runs : 1 1790.04/1790.01 c nodes : 624588 1790.04/1790.01 c nodes (total) : 624588 1790.04/1790.01 c nodes left : 2668 1790.04/1790.01 c max depth : 71 1790.04/1790.01 c max depth (total): 71 1790.04/1790.01 c backtracks : 89877 (14.4%) 1790.04/1790.01 c delayed cutoffs : 45284 1790.04/1790.01 c repropagations : 1009451 (3292585 domain reductions, 43353 cutoffs) 1790.04/1790.01 c avg switch length: 4.89 1790.04/1790.01 c switching time : 188.99 1790.04/1790.01 c Solution : 1790.04/1790.01 c Solutions found : 114 (32 improvements) 1790.04/1790.01 c First Solution : +4.17320000000000e+04 (in run 1, after 28 nodes, 11.02 seconds, depth 14, found by <trysol>) 1790.04/1790.01 c Primal Bound : +1.00000000000000e+00 (in run 1, after 116238 nodes, 331.73 seconds, depth 46, found by <relaxation>) 1790.04/1790.01 c Dual Bound : +0.00000000000000e+00 1790.04/1790.01 c Gap : infinite 1790.04/1790.01 c Root Dual Bound : +0.00000000000000e+00 1790.04/1790.01 c Root Iterations : 1373 1790.14/1790.10 c Time complete: 1790.14.
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705496-1278572952/watcher-2705496-1278572952 -o /tmp/evaluation-result-2705496-1278572952/solver-2705496-1278572952 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705496-1278572952.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.27 0.06 0.02 2/173 21394 /proc/meminfo: memFree=29027012/32950904 swapFree=67111528/67111528 [pid=21394] ppid=21392 vsize=12188 CPUtime=0 /proc/21394/stat : 21394 (pbscip.linux.x8) R 21392 21394 21202 0 -1 4202496 1895 0 0 0 0 0 0 0 21 0 1 0 25509142 12480512 1814 4089446400 4194304 10345943 140734577409568 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/21394/statm: 3047 1815 429 1502 0 1540 0 [startup+0.10521 s] /proc/loadavg: 0.27 0.06 0.02 2/173 21394 /proc/meminfo: memFree=29027012/32950904 swapFree=67111528/67111528 [pid=21394] ppid=21392 vsize=27436 CPUtime=0.09 /proc/21394/stat : 21394 (pbscip.linux.x8) R 21392 21394 21202 0 -1 4202496 5941 0 0 0 9 0 0 0 21 0 1 0 25509142 28094464 5506 4089446400 4194304 10345943 140734577409568 18446744073709551615 5608556 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21394/statm: 6859 5506 562 1502 0 5352 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27436 [startup+0.200193 s] /proc/loadavg: 0.27 0.06 0.02 2/173 21394 /proc/meminfo: memFree=29027012/32950904 swapFree=67111528/67111528 [pid=21394] ppid=21392 vsize=51304 CPUtime=0.19 /proc/21394/stat : 21394 (pbscip.linux.x8) R 21392 21394 21202 0 -1 4202496 11353 0 0 0 18 1 0 0 21 0 1 0 25509142 52535296 10918 4089446400 4194304 10345943 140734577409568 18446744073709551615 9186026 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21394/statm: 12826 10918 736 1502 0 11319 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 51304 [startup+0.300175 s] /proc/loadavg: 0.27 0.06 0.02 2/173 21394 /proc/meminfo: memFree=29027012/32950904 swapFree=67111528/67111528 [pid=21394] ppid=21392 vsize=37528 CPUtime=0.29 /proc/21394/stat : 21394 (pbscip.linux.x8) R 21392 21394 21202 0 -1 4202496 12107 0 0 0 28 1 0 0 21 0 1 0 25509142 38428672 7835 4089446400 4194304 10345943 140734577409568 18446744073709551615 5834426 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21394/statm: 9382 7835 747 1502 0 7875 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 37528 [startup+0.701179 s] /proc/loadavg: 0.27 0.06 0.02 2/173 21394 /proc/meminfo: memFree=29027012/32950904 swapFree=67111528/67111528 [pid=21394] ppid=21392 vsize=41912 CPUtime=0.69 /proc/21394/stat : 21394 (pbscip.linux.x8) R 21392 21394 21202 0 -1 4202496 13088 0 0 0 68 1 0 0 22 0 1 0 25509142 42917888 8816 4089446400 4194304 10345943 140734577409568 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21394/statm: 10478 8816 754 1502 0 8971 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 41912 [startup+1.50104 s] /proc/loadavg: 0.27 0.06 0.02 2/174 21395 /proc/meminfo: memFree=28992408/32950904 swapFree=67111528/67111528 [pid=21394] ppid=21392 vsize=44108 CPUtime=1.5 /proc/21394/stat : 21394 (pbscip.linux.x8) R 21392 21394 21202 0 -1 4202496 16749 0 0 0 147 3 0 0 25 0 1 0 25509142 45166592 9219 4089446400 4194304 10345943 140734577409568 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21394/statm: 11027 9219 796 1502 0 9520 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 44108 [startup+3.10075 s] /proc/loadavg: 0.27 0.06 0.02 2/174 21395 /proc/meminfo: memFree=28992736/32950904 swapFree=67111528/67111528 [pid=21394] ppid=21392 vsize=44324 CPUtime=3.09 /proc/21394/stat : 21394 (pbscip.linux.x8) R 21392 21394 21202 0 -1 4202496 16795 0 0 0 306 3 0 0 25 0 1 0 25509142 45387776 9265 4089446400 4194304 10345943 140734577409568 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21394/statm: 11081 9265 796 1502 0 9574 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 44324 [startup+6.3001 s] /proc/loadavg: 0.33 0.08 0.02 3/175 21401 /proc/meminfo: memFree=28978344/32950904 swapFree=67111528/67111528 [pid=21394] ppid=21392 vsize=44324 CPUtime=6.29 /proc/21394/stat : 21394 (pbscip.linux.x8) R 21392 21394 21202 0 -1 4202496 16864 0 0 0 623 6 0 0 25 0 1 0 25509142 45387776 9334 4089446400 4194304 10345943 140734577409568 18446744073709551615 7569467 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21394/statm: 11081 9334 796 1502 0 9574 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 44324 [startup+12.701 s] /proc/loadavg: 0.46 0.11 0.03 3/179 21405 /proc/meminfo: memFree=28926628/32950904 swapFree=67111528/67111528 [pid=21394] ppid=21392 vsize=44252 CPUtime=12.69 /proc/21394/stat : 21394 (pbscip.linux.x8) R 21392 21394 21202 0 -1 4202496 17286 0 0 0 1259 10 0 0 25 0 1 0 25509142 45314048 9338 4089446400 4194304 10345943 140734577409568 18446744073709551615 7569812 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21394/statm: 11063 9338 796 1502 0 9556 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 44252 [startup+25.5007 s] /proc/loadavg: 0.80 0.20 0.07 3/179 21405 /proc/meminfo: memFree=28900520/32950904 swapFree=67111528/67111528 [pid=21394] ppid=21392 vsize=51592 CPUtime=25.49 /proc/21394/stat : 21394 (pbscip.linux.x8) R 21392 21394 21202 0 -1 4202496 32697 0 0 0 2530 19 0 0 25 0 1 0 25509142 52830208 11339 4089446400 4194304 10345943 140734577409568 18446744073709551615 6715447 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21394/statm: 12898 11339 804 1502 0 11391 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 51592 [startup+51.1012 s] /proc/loadavg: 1.21 0.35 0.12 3/179 21407 /proc/meminfo: memFree=28862628/32950904 swapFree=67111528/67111528 [pid=21394] ppid=21392 vsize=55208 CPUtime=51.09 /proc/21394/stat : 21394 (pbscip.linux.x8) R 21392 21394 21202 0 -1 4202496 48909 0 0 0 5075 34 0 0 25 0 1 0 25509142 56532992 12292 4089446400 4194304 10345943 140734577409568 18446744073709551615 7588170 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21394/statm: 13802 12292 804 1502 0 12295 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 55208 [startup+102.301 s] /proc/loadavg: 1.66 0.60 0.21 3/179 21407 /proc/meminfo: memFree=28791652/32950904 swapFree=67111528/67111528 [pid=21394] ppid=21392 vsize=58044 CPUtime=102.3 /proc/21394/stat : 21394 (pbscip.linux.x8) R 21392 21394 21202 0 -1 4202496 65100 0 0 0 10172 58 0 0 25 0 1 0 25509142 59437056 13075 4089446400 4194304 10345943 140734577409568 18446744073709551615 7509834 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21394/statm: 14511 13075 804 1502 0 13004 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 58044 [startup+162.3 s] /proc/loadavg: 1.87 0.85 0.32 3/179 21409 /proc/meminfo: memFree=28696368/32950904 swapFree=67111528/67111528 [pid=21394] ppid=21392 vsize=62932 CPUtime=162.29 /proc/21394/stat : 21394 (pbscip.linux.x8) R 21392 21394 21202 0 -1 4202496 83345 0 0 0 16142 87 0 0 25 0 1 0 25509142 64442368 14241 4089446400 4194304 10345943 140734577409568 18446744073709551615 7569451 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21394/statm: 15733 14241 804 1502 0 14226 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 62932 [startup+222.306 s] /proc/loadavg: 1.95 1.06 0.42 3/179 21411 /proc/meminfo: memFree=28615316/32950904 swapFree=67111528/67111528 [pid=21394] ppid=21392 vsize=68700 CPUtime=222.3 /proc/21394/stat : 21394 (pbscip.linux.x8) R 21392 21394 21202 0 -1 4202496 97596 0 0 0 22113 117 0 0 25 0 1 0 25509142 70348800 15376 4089446400 4194304 10345943 140734577409568 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21394/statm: 17175 15376 804 1502 0 15668 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 68700 [startup+282.301 s] /proc/loadavg: 1.98 1.23 0.52 3/179 21413 /proc/meminfo: memFree=28541104/32950904 swapFree=67111528/67111528 [pid=21394] ppid=21392 vsize=72112 CPUtime=282.3 /proc/21394/stat : 21394 (pbscip.linux.x8) R 21392 21394 21202 0 -1 4202496 111306 0 0 0 28084 146 0 0 25 0 1 0 25509142 73842688 16185 4089446400 4194304 10345943 140734577409568 18446744073709551615 4676119 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21394/statm: 18028 16185 804 1502 0 16521 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 72112 [startup+342.301 s] /proc/loadavg: 1.99 1.37 0.61 3/179 21414 /proc/meminfo: memFree=28518596/32950904 swapFree=67111528/67111528 [pid=21394] ppid=21392 vsize=74072 CPUtime=342.3 /proc/21394/stat : 21394 (pbscip.linux.x8) R 21392 21394 21202 0 -1 4202496 133172 0 0 0 34055 175 0 0 25 0 1 0 25509142 75849728 16945 4089446400 4194304 10345943 140734577409568 18446744073709551615 6702767 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21394/statm: 18518 16945 804 1502 0 17011 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 74072 [startup+402.3 s] /proc/loadavg: 1.99 1.48 0.69 3/179 21415 /proc/meminfo: memFree=28498320/32950904 swapFree=67111528/67111528 [pid=21394] ppid=21392 vsize=73232 CPUtime=402.3 /proc/21394/stat : 21394 (pbscip.linux.x8) R 21392 21394 21202 0 -1 4202496 147026 0 0 0 40028 202 0 0 25 0 1 0 25509142 74989568 16907 4089446400 4194304 10345943 140734577409568 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21394/statm: 18308 16907 804 1502 0 16801 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 73232 [startup+462.301 s] /proc/loadavg: 2.04 1.58 0.78 3/179 21417 /proc/meminfo: memFree=28485752/32950904 swapFree=67111528/67111528 [pid=21394] ppid=21392 vsize=76568 CPUtime=462.3 /proc/21394/stat : 21394 (pbscip.linux.x8) R 21392 21394 21202 0 -1 4202496 156260 0 0 0 46002 228 0 0 25 0 1 0 25509142 78405632 17570 4089446400 4194304 10345943 140734577409568 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21394/statm: 19142 17570 804 1502 0 17635 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 76568 [startup+522.301 s] /proc/loadavg: 2.01 1.66 0.85 3/179 21419 /proc/meminfo: memFree=28473416/32950904 swapFree=67111528/67111528 [pid=21394] ppid=21392 vsize=80892 CPUtime=522.3 /proc/21394/stat : 21394 (pbscip.linux.x8) R 21392 21394 21202 0 -1 4202496 167081 0 0 0 51975 255 0 0 25 0 1 0 25509142 82833408 18575 4089446400 4194304 10345943 140734577409568 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21394/statm: 20223 18575 804 1502 0 18716 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 80892 [startup+582.3 s] /proc/loadavg: 2.00 1.72 0.92 3/179 21424 /proc/meminfo: memFree=28465016/32950904 swapFree=67111528/67111528 [pid=21394] ppid=21392 vsize=83224 CPUtime=582.31 /proc/21394/stat : 21394 (pbscip.linux.x8) R 21392 21394 21202 0 -1 4202496 173737 0 0 0 57947 284 0 0 25 0 1 0 25509142 85221376 19019 4089446400 4194304 10345943 140734577409568 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21394/statm: 20806 19019 804 1502 0 19299 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 83224 [startup+642.3 s] /proc/loadavg: 2.00 1.77 0.98 3/179 21425 /proc/meminfo: memFree=28457188/32950904 swapFree=67111528/67111528 [pid=21394] ppid=21392 vsize=82528 CPUtime=642.3 /proc/21394/stat : 21394 (pbscip.linux.x8) R 21392 21394 21202 0 -1 4202496 183211 0 0 0 63922 308 0 0 25 0 1 0 25509142 84508672 19051 4089446400 4194304 10345943 140734577409568 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21394/statm: 20632 19051 804 1502 0 19125 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 82528 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=28414608/32950904 swapFree=67111528/67111528 [pid=21394] ppid=21392 vsize=85188 CPUtime=1062.32 /proc/21394/stat : 21394 (pbscip.linux.x8) R 21392 21394 21202 0 -1 4202496 235412 0 0 0 105754 478 0 0 25 0 1 0 25509142 87232512 19784 4089446400 4194304 10345943 140734577409568 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21394/statm: 21297 19784 804 1502 0 19790 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 85188 [startup+1122.3 s] /proc/loadavg: 2.00 1.95 1.38 3/179 21438 /proc/meminfo: memFree=28412824/32950904 swapFree=67111528/67111528 [pid=21394] ppid=21392 vsize=85736 CPUtime=1122.32 /proc/21394/stat : 21394 (pbscip.linux.x8) R 21392 21394 21202 0 -1 4202496 240803 0 0 0 111732 500 0 0 25 0 1 0 25509142 87793664 19883 4089446400 4194304 10345943 140734577409568 18446744073709551615 4216637 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21394/statm: 21434 19883 804 1502 0 19927 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 85736 [startup+1182.3 s] /proc/loadavg: 2.00 1.96 1.42 3/179 21440 /proc/meminfo: memFree=28412272/32950904 swapFree=67111528/67111528 [pid=21394] ppid=21392 vsize=85732 CPUtime=1182.32 /proc/21394/stat : 21394 (pbscip.linux.x8) R 21392 21394 21202 0 -1 4202496 247986 0 0 0 117710 522 0 0 25 0 1 0 25509142 87789568 19835 4089446400 4194304 10345943 140734577409568 18446744073709551615 5085797 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21394/statm: 21433 19835 804 1502 0 19926 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 85732 [startup+1242.3 s] /proc/loadavg: 2.00 1.96 1.45 3/179 21441 /proc/meminfo: memFree=28409980/32950904 swapFree=67111528/67111528 [pid=21394] ppid=21392 vsize=87376 CPUtime=1242.32 /proc/21394/stat : 21394 (pbscip.linux.x8) R 21392 21394 21202 0 -1 4202496 253287 0 0 0 123690 542 0 0 25 0 1 0 25509142 89473024 20378 4089446400 4194304 10345943 140734577409568 18446744073709551615 5026483 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21394/statm: 21844 20378 804 1502 0 20337 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 87376 [startup+1302.3 s] /proc/loadavg: 2.00 1.97 1.48 3/179 21442 /proc/meminfo: memFree=28409552/32950904 swapFree=67111528/67111528 [pid=21394] ppid=21392 vsize=88188 CPUtime=1302.32 /proc/21394/stat : 21394 (pbscip.linux.x8) R 21392 21394 21202 0 -1 4202496 257383 0 0 0 129668 564 0 0 25 0 1 0 25509142 90304512 20504 4089446400 4194304 10345943 140734577409568 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21394/statm: 22047 20504 804 1502 0 20540 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 88188 [startup+1362.3 s] /proc/loadavg: 2.00 1.97 1.51 3/179 21444 /proc/meminfo: memFree=28408744/32950904 swapFree=67111528/67111528 [pid=21394] ppid=21392 vsize=89096 CPUtime=1362.33 /proc/21394/stat : 21394 (pbscip.linux.x8) R 21392 21394 21202 0 -1 4202496 261335 0 0 0 135647 586 0 0 25 0 1 0 25509142 91234304 20680 4089446400 4194304 10345943 140734577409568 18446744073709551615 6012999 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21394/statm: 22274 20680 804 1502 0 20767 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 89096 [startup+1422.3 s] /proc/loadavg: 2.00 1.97 1.54 3/179 21446 /proc/meminfo: memFree=28407088/32950904 swapFree=67111528/67111528 [pid=21394] ppid=21392 vsize=90132 CPUtime=1422.33 /proc/21394/stat : 21394 (pbscip.linux.x8) R 21392 21394 21202 0 -1 4202496 267982 0 0 0 141624 609 0 0 25 0 1 0 25509142 92295168 21052 4089446400 4194304 10345943 140734577409568 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21394/statm: 22533 21052 804 1502 0 21026 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 90132 [startup+1482.3 s] /proc/loadavg: 2.00 1.97 1.56 3/179 21448 /proc/meminfo: memFree=28406524/32950904 swapFree=67111528/67111528 [pid=21394] ppid=21392 vsize=90412 CPUtime=1482.33 /proc/21394/stat : 21394 (pbscip.linux.x8) R 21392 21394 21202 0 -1 4202496 272781 0 0 0 147601 632 0 0 25 0 1 0 25509142 92581888 21055 4089446400 4194304 10345943 140734577409568 18446744073709551615 4231965 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21394/statm: 22603 21055 804 1502 0 21096 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 90412 [startup+1542.31 s] /proc/loadavg: 2.08 1.99 1.59 3/179 21449 /proc/meminfo: memFree=28402376/32950904 swapFree=67111528/67111528 [pid=21394] ppid=21392 vsize=92520 CPUtime=1542.34 /proc/21394/stat : 21394 (pbscip.linux.x8) R 21392 21394 21202 0 -1 4202496 278590 0 0 0 153580 654 0 0 25 0 1 0 25509142 94740480 21661 4089446400 4194304 10345943 140734577409568 18446744073709551615 4218153 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21394/statm: 23130 21661 804 1502 0 21623 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 92520 [startup+1602.3 s] /proc/loadavg: 2.03 1.99 1.62 3/179 21450 /proc/meminfo: memFree=28398728/32950904 swapFree=67111528/67111528 [pid=21394] ppid=21392 vsize=97164 CPUtime=1602.34 /proc/21394/stat : 21394 (pbscip.linux.x8) R 21392 21394 21202 0 -1 4202496 280288 0 0 0 159559 675 0 0 25 0 1 0 25509142 99495936 22524 4089446400 4194304 10345943 140734577409568 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21394/statm: 24291 22524 804 1502 0 22784 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 97164 [startup+1662.3 s] /proc/loadavg: 2.01 1.99 1.64 3/179 21452 /proc/meminfo: memFree=28395688/32950904 swapFree=67111528/67111528 [pid=21394] ppid=21392 vsize=97340 CPUtime=1662.34 /proc/21394/stat : 21394 (pbscip.linux.x8) R 21392 21394 21202 0 -1 4202496 283792 0 0 0 165535 699 0 0 25 0 1 0 25509142 99676160 22830 4089446400 4194304 10345943 140734577409568 18446744073709551615 4217167 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21394/statm: 24335 22830 804 1502 0 22828 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 97340 [startup+1722.3 s] /proc/loadavg: 2.00 1.99 1.66 3/179 21454 /proc/meminfo: memFree=28393388/32950904 swapFree=67111528/67111528 [pid=21394] ppid=21392 vsize=99860 CPUtime=1722.34 /proc/21394/stat : 21394 (pbscip.linux.x8) R 21392 21394 21202 0 -1 4202496 290300 0 0 0 171513 721 0 0 25 0 1 0 25509142 102256640 23337 4089446400 4194304 10345943 140734577409568 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21394/statm: 24965 23337 804 1502 0 23458 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 99860 [startup+1782.3 s] /proc/loadavg: 2.00 1.99 1.67 3/179 21456 /proc/meminfo: memFree=28389716/32950904 swapFree=67111528/67111528 [pid=21394] ppid=21392 vsize=101352 CPUtime=1782.34 /proc/21394/stat : 21394 (pbscip.linux.x8) R 21392 21394 21202 0 -1 4202496 294569 0 0 0 177490 744 0 0 25 0 1 0 25509142 103784448 23829 4089446400 4194304 10345943 140734577409568 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21394/statm: 25338 23829 804 1502 0 23831 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 101352 Solver just ended. Dumping a history of the last processes samples [startup+1785.6 s] /proc/loadavg: 2.00 1.99 1.68 3/179 21456 /proc/meminfo: memFree=28389700/32950904 swapFree=67111528/67111528 [pid=21394] ppid=21392 vsize=101352 CPUtime=1785.64 /proc/21394/stat : 21394 (pbscip.linux.x8) R 21392 21394 21202 0 -1 4202496 294593 0 0 0 177819 745 0 0 25 0 1 0 25509142 103784448 23853 4089446400 4194304 10345943 140734577409568 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21394/statm: 25338 23853 804 1502 0 23831 0 Current children cumulated CPU time (s) 1785.64 Current children cumulated vsize (KiB) 101352 [startup+1787.2 s] /proc/loadavg: 2.00 1.99 1.68 3/179 21456 /proc/meminfo: memFree=28389452/32950904 swapFree=67111528/67111528 [pid=21394] ppid=21392 vsize=101352 CPUtime=1787.24 /proc/21394/stat : 21394 (pbscip.linux.x8) R 21392 21394 21202 0 -1 4202496 294599 0 0 0 177978 746 0 0 25 0 1 0 25509142 103784448 23859 4089446400 4194304 10345943 140734577409568 18446744073709551615 5085312 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21394/statm: 25338 23859 804 1502 0 23831 0 Current children cumulated CPU time (s) 1787.24 Current children cumulated vsize (KiB) 101352 [startup+1788.8 s] /proc/loadavg: 2.00 1.99 1.68 3/179 21456 /proc/meminfo: memFree=28389452/32950904 swapFree=67111528/67111528 [pid=21394] ppid=21392 vsize=101352 CPUtime=1788.83 /proc/21394/stat : 21394 (pbscip.linux.x8) R 21392 21394 21202 0 -1 4202496 294614 0 0 0 178137 746 0 0 25 0 1 0 25509142 103784448 23874 4089446400 4194304 10345943 140734577409568 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21394/statm: 25338 23874 804 1502 0 23831 0 Current children cumulated CPU time (s) 1788.83 Current children cumulated vsize (KiB) 101352 [startup+1789.6 s] /proc/loadavg: 2.00 1.99 1.68 3/179 21456 /proc/meminfo: memFree=28389452/32950904 swapFree=67111528/67111528 [pid=21394] ppid=21392 vsize=101352 CPUtime=1789.64 /proc/21394/stat : 21394 (pbscip.linux.x8) R 21392 21394 21202 0 -1 4202496 294614 0 0 0 178217 747 0 0 25 0 1 0 25509142 103784448 23874 4089446400 4194304 10345943 140734577409568 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21394/statm: 25338 23874 804 1502 0 23831 0 Current children cumulated CPU time (s) 1789.64 Current children cumulated vsize (KiB) 101352 [startup+1790 s] /proc/loadavg: 2.00 1.99 1.68 3/179 21456 /proc/meminfo: memFree=28389328/32950904 swapFree=67111528/67111528 [pid=21394] ppid=21392 vsize=101352 CPUtime=1790.04 /proc/21394/stat : 21394 (pbscip.linux.x8) R 21392 21394 21202 0 -1 4202496 294614 0 0 0 178257 747 0 0 25 0 1 0 25509142 103784448 23874 4089446400 4194304 10345943 140734577409568 18446744073709551615 4218233 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21394/statm: 25338 23874 804 1502 0 23831 0 Current children cumulated CPU time (s) 1790.04 Current children cumulated vsize (KiB) 101352 [startup+1790.1 s] /proc/loadavg: 2.00 1.99 1.68 3/179 21456 /proc/meminfo: memFree=28389328/32950904 swapFree=67111528/67111528 [pid=21394] ppid=21392 vsize=82916 CPUtime=1790.14 /proc/21394/stat : 21394 (pbscip.linux.x8) R 21392 21394 21202 0 -1 4202496 294733 0 0 0 178267 747 0 0 25 0 1 0 25509142 84905984 13109 4089446400 4194304 10345943 140734577409568 18446744073709551615 9366586 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21394/statm: 20729 12604 805 1502 0 19222 0 Current children cumulated CPU time (s) 1790.14 Current children cumulated vsize (KiB) 82916 Child status: 0 Real time (s): 1790.1 CPU time (s): 1790.15 CPU user time (s): 1782.67 CPU system time (s): 7.47586 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 102776 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1782.67 system time used= 7.47586 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 294736 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= 5 involuntary context switches= 2551 runsolver used 2.6086 second user time and 5.54516 second system time The end
Begin job on node121 at 2010-07-08 09:09:13 IDJOB=2705496 IDBENCH=78880 IDSOLVER=1214 FILE ID=node121/2705496-1278572952 PBS_JOBID= 11240212 Free space on /tmp= 73668 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900670675--soft-66-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705496-1278572952/watcher-2705496-1278572952 -o /tmp/evaluation-result-2705496-1278572952/solver-2705496-1278572952 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705496-1278572952.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 763c02f50955b910cbe48f7840773e4a RANDOM SEED=1581053821 node121.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.847 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.69 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.847 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.847 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.847 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.82 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.847 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.67 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.847 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.76 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.847 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.847 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: 32950904 kB MemFree: 29027168 kB Buffers: 148816 kB Cached: 3552856 kB SwapCached: 0 kB Active: 1411240 kB Inactive: 2352456 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950904 kB LowFree: 29027168 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 13164 kB Writeback: 0 kB AnonPages: 61924 kB Mapped: 14420 kB Slab: 96188 kB PageTables: 4864 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586980 kB Committed_AS: 186728 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= 73644 MiB End job on node121 at 2010-07-08 09:39:03