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.16 | 1790.08 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900546417--soft-66-100-0.wbo |
MD5SUM | 23ad99b063b4d7278daca47962cd4526 |
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 | 108.034 |
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 | 930 |
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 | 46532 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 46531 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 689 |
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-2705497-1278572953.wbo> 0.00/0.02 c original problem has 2091 variables (1161 bin, 0 int, 930 impl, 0 cont) and 3638 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, 14 clqs 0.03/0.07 c (round 2) 0 del vars, 110 del conss, 930 chg bounds, 57 chg sides, 0 chg coeffs, 0 upgd conss, 212 impls, 14 clqs 0.03/0.07 c (round 3) 57 del vars, 169 del conss, 931 chg bounds, 58 chg sides, 0 chg coeffs, 0 upgd conss, 212 impls, 14 clqs 0.03/0.08 c (round 4) 116 del vars, 245 del conss, 947 chg bounds, 118 chg sides, 0 chg coeffs, 0 upgd conss, 212 impls, 14 clqs 0.03/0.09 c (round 5) 148 del vars, 273 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 0 upgd conss, 212 impls, 14 clqs 0.09/0.10 c (round 6) 162 del vars, 273 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 1667 upgd conss, 212 impls, 14 clqs 0.09/0.11 c (round 7) 162 del vars, 282 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 1667 upgd conss, 212 impls, 14 clqs 0.09/0.14 c (0.1s) probing: 101/1080 (9.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 0.09/0.14 c (0.1s) probing aborted: 100/100 successive totally useless probings 0.09/0.14 c presolving (8 rounds): 0.09/0.14 c 162 deleted vars, 282 deleted constraints, 954 tightened bounds, 0 added holes, 139 changed sides, 0 changed coefficients 0.09/0.14 c 1902 implications, 14 cliques 0.09/0.14 c presolved problem has 1929 variables (1080 bin, 0 int, 849 impl, 0 cont) and 3356 constraints 0.09/0.14 c 1 constraints of type <knapsack> 0.09/0.14 c 53 constraints of type <setppc> 0.09/0.14 c 849 constraints of type <linear> 0.09/0.14 c 849 constraints of type <indicator> 0.09/0.14 c 1604 constraints of type <logicor> 0.09/0.14 c transformed objective value is always integral (scale: 1) 0.09/0.14 c Presolving Time: 0.11 0.09/0.14 c - non default parameters ---------------------------------------------------------------------- 0.09/0.14 c # SCIP version 1.2.1.3 0.09/0.14 c 0.09/0.14 c # frequency for displaying node information lines 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.14 c display/freq = 10000 0.09/0.14 c 0.09/0.14 c # maximal time in seconds to run 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.14 c limits/time = 1789.99 0.09/0.14 c 0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.14 c limits/memory = 3420 0.09/0.14 c 0.09/0.14 c # default clock type (1: CPU user seconds, 2: wall clock time) 0.09/0.14 c # [type: int, range: [1,2], default: 1] 0.09/0.14 c timing/clocktype = 2 0.09/0.14 c 0.09/0.14 c # should presolving try to simplify inequalities 0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.14 c constraints/linear/simplifyinequalities = TRUE 0.09/0.14 c 0.09/0.14 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.14 c constraints/indicator/addCouplingCons = TRUE 0.09/0.14 c 0.09/0.14 c # should presolving try to simplify knapsacks 0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.14 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.14 c 0.09/0.14 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.14 c separating/rapidlearning/freq = 0 0.09/0.14 c 0.09/0.14 c ----------------------------------------------------------------------------------------------- 0.09/0.14 c start solving 0.09/0.14 c 0.09/0.15 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.15 c 0.1s| 1 | 0 | 22 | - |8964k| 0 | 16 |1929 |3356 |1929 |1658 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.19/0.25 c 0.2s| 1 | 0 | 45 | - |8999k| 0 | 19 |1929 |3357 |1929 |1675 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf 0.19/0.30 c 0.3s| 1 | 0 | 64 | - |9127k| 0 | 29 |1929 |3357 |1929 |1682 | 24 | 0 | 0 | 0.000000e+00 | -- | Inf 0.29/0.35 c 0.3s| 1 | 0 | 87 | - |9450k| 0 | 37 |1929 |3357 |1929 |1689 | 31 | 0 | 0 | 0.000000e+00 | -- | Inf 0.39/0.44 c 0.4s| 1 | 0 | 142 | - |9925k| 0 | 34 |1929 |3357 |1929 |1697 | 39 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.52 c 0.5s| 1 | 0 | 217 | - | 10M| 0 | 45 |1929 |3357 |1929 |1700 | 42 | 0 | 0 | 0.000000e+00 | -- | Inf 0.59/0.64 c 0.6s| 1 | 0 | 428 | - | 10M| 0 | 69 |1929 |3357 |1929 |1707 | 49 | 0 | 0 | 0.000000e+00 | -- | Inf 1.49/1.57 c 1.5s| 1 | 2 | 428 | - | 10M| 0 | 69 |1929 |3357 |1929 |1707 | 49 | 0 | 13 | 0.000000e+00 | -- | Inf 3.90/3.95 o 336 3.90/3.95 c * 3.9s| 13 | 11 | 1401 | 81.1 | 10M| 12 | - |1929 |3357 |1929 |1700 | 51 | 0 | 157 | 0.000000e+00 | 3.360000e+02 | Inf 7.19/7.22 o 322 7.19/7.22 c * 7.2s| 205 | 136 | 3991 | 17.5 | 11M| 39 | - |1929 |3454 |1929 |1712 | 129 | 97 | 885 | 0.000000e+00 | 3.220000e+02 | Inf 9.29/9.35 o 244 9.29/9.35 c * 9.3s| 825 | 412 | 7587 | 8.7 | 12M| 48 | - |1929 |3854 |1929 |1706 | 283 | 523 |1208 | 0.000000e+00 | 2.440000e+02 | Inf 9.39/9.41 o 225 9.39/9.41 c * 9.4s| 859 | 416 | 7690 | 8.5 | 12M| 49 | - |1929 |3870 |1929 |1708 | 287 | 539 |1211 | 0.000000e+00 | 2.250000e+02 | Inf 9.39/9.41 o 221 9.39/9.41 c * 9.4s| 860 | 410 | 7690 | 8.5 | 12M| 49 | - |1929 |3870 |1929 |1708 | 287 | 539 |1211 | 0.000000e+00 | 2.210000e+02 | Inf 9.39/9.45 o 194 9.39/9.45 c * 9.4s| 884 | 410 | 7742 | 8.3 | 12M| 49 | - |1929 |3870 |1929 |1705 | 287 | 542 |1216 | 0.000000e+00 | 1.940000e+02 | Inf 11.89/11.97 o 176 11.89/11.97 c *11.9s| 2063 | 704 | 14083 | 6.6 | 14M| 49 | - |1929 |4420 |1929 |1709 | 472 |1598 |1486 | 0.000000e+00 | 1.760000e+02 | Inf 12.10/12.16 o 174 12.10/12.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 12.10/12.16 c *12.1s| 2203 | 774 | 14424 | 6.4 | 14M| 62 | - |1929 |4413 |1929 |1709 | 483 |1672 |1489 | 0.000000e+00 | 1.740000e+02 | Inf 12.79/12.80 o 168 12.79/12.80 c *12.8s| 2625 | 858 | 15921 | 5.9 | 15M| 62 | - |1929 |4642 |1929 |1709 | 509 |2091 |1509 | 0.000000e+00 | 1.680000e+02 | Inf 13.00/13.03 o 163 13.00/13.03 c *13.0s| 2752 | 867 | 16812 | 6.0 | 15M| 62 | - |1929 |4652 |1929 |1698 | 528 |2215 |1519 | 0.000000e+00 | 1.630000e+02 | Inf 13.29/13.33 o 161 13.29/13.33 c *13.3s| 2950 | 971 | 17417 | 5.8 | 16M| 62 | - |1929 |4648 |1929 |1710 | 543 |2302 |1529 | 0.000000e+00 | 1.610000e+02 | Inf 15.09/15.10 o 125 15.09/15.10 c *15.1s| 3920 | 1127 | 23402 | 5.9 | 17M| 62 | - |1929 |4826 |1929 |1702 | 748 |3215 |1608 | 0.000000e+00 | 1.250000e+02 | Inf 18.50/18.51 o 102 18.50/18.51 c *18.5s| 5950 | 1489 | 36458 | 6.1 | 19M| 62 | - |1929 |5327 |1929 |1709 |1104 |5119 |1640 | 0.000000e+00 | 1.020000e+02 | Inf 18.50/18.54 o 98 18.50/18.54 c *18.5s| 5974 | 1486 | 36492 | 6.0 | 19M| 62 | - |1929 |5346 |1929 |1709 |1104 |5143 |1640 | 0.000000e+00 | 9.800000e+01 | Inf 18.50/18.54 o 57 18.50/18.54 c *18.5s| 5975 | 1211 | 36493 | 6.0 | 17M| 62 | - |1929 |5346 |1929 |1709 |1104 |5143 |1640 | 0.000000e+00 | 5.700000e+01 | Inf 19.59/19.67 o 54 19.59/19.67 c *19.6s| 6457 | 1254 | 43657 | 6.7 | 18M| 62 | - |1929 |4505 |1929 |1702 |1157 |5682 |1645 | 0.000000e+00 | 5.400000e+01 | Inf 20.99/21.01 o 21 20.99/21.01 c *21.0s| 6936 | 911 | 51534 | 7.4 | 16M| 62 | - |1929 |4388 |1929 |1698 |1235 |6223 |1683 | 0.000000e+00 | 2.100000e+01 | Inf 20.99/21.04 o 17 20.99/21.04 c *21.0s| 6953 | 891 | 51655 | 7.4 | 16M| 62 | - |1929 |4088 |1929 |1698 |1235 |6243 |1683 | 0.000000e+00 | 1.700000e+01 | Inf 20.99/21.09 o 6 20.99/21.09 c *21.1s| 6971 | 757 | 51935 | 7.4 | 16M| 62 | - |1929 |4036 |1929 |1703 |1240 |6262 |1686 | 0.000000e+00 | 6.000000e+00 | Inf 26.30/26.31 c 26.3s| 10000 | 730 | 85963 | 8.6 | 17M| 62 | - |1929 |6083 |1929 |1703 |1578 | 10k|1799 | 0.000000e+00 | 6.000000e+00 | Inf 43.09/43.13 c 43.1s| 20000 | 706 |195523 | 9.8 | 19M| 62 | 1 |1929 | 10k|1929 |1698 |2952 | 22k|1844 | 0.000000e+00 | 6.000000e+00 | Inf 61.69/61.75 c 61.7s| 30000 | 779 |318517 | 10.6 | 22M| 62 | 9 |1929 | 14k|1929 |1698 |4449 | 35k|1844 | 0.000000e+00 | 6.000000e+00 | Inf 79.69/79.76 o 2 79.69/79.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 79.69/79.76 c *79.7s| 39104 | 767 |423866 | 10.8 | 23M| 62 | - |1929 | 16k|1929 |1705 |5801 | 47k|2163 | 0.000000e+00 | 2.000000e+00 | Inf 81.70/81.77 c 81.7s| 40000 | 764 |437622 | 10.9 | 23M| 62 | 20 |1929 | 16k|1929 |1698 |5942 | 49k|2171 | 0.000000e+00 | 2.000000e+00 | Inf 101.10/101.12 c 101s| 50000 | 707 |553441 | 11.1 | 21M| 62 | 1 |1929 | 11k|1929 |1698 |7250 | 62k|2572 | 0.000000e+00 | 2.000000e+00 | Inf 119.60/119.62 c 120s| 60000 | 730 |670521 | 11.2 | 22M| 62 | 20 |1929 | 15k|1929 |1698 |8582 | 75k|2916 | 0.000000e+00 | 2.000000e+00 | Inf 140.00/140.03 c 140s| 70000 | 694 |801649 | 11.4 | 24M| 62 | 14 |1929 | 18k|1929 |1705 | 10k| 88k|3197 | 0.000000e+00 | 2.000000e+00 | Inf 160.80/160.81 c 161s| 80000 | 734 |930027 | 11.6 | 25M| 62 | 27 |1929 | 21k|1929 |1698 | 11k| 101k|3510 | 0.000000e+00 | 2.000000e+00 | Inf 181.80/181.83 c 182s| 90000 | 860 | 1056k| 11.7 | 27M| 62 | 17 |1929 | 24k|1929 |1698 | 13k| 114k|3767 | 0.000000e+00 | 2.000000e+00 | Inf 203.80/203.85 c 204s|100000 | 965 | 1185k| 11.8 | 29M| 62 | - |1929 | 27k| 0 | 0 | 14k| 127k|3994 | 0.000000e+00 | 2.000000e+00 | Inf 227.30/227.33 c 227s|110000 | 1187 | 1322k| 12.0 | 31M| 62 | - |1929 | 30k| 0 | 0 | 16k| 140k|4229 | 0.000000e+00 | 2.000000e+00 | Inf 251.31/251.30 c 251s|120000 | 1346 | 1459k| 12.2 | 33M| 62 | - |1929 | 33k|1929 |1698 | 18k| 153k|4438 | 0.000000e+00 | 2.000000e+00 | Inf 274.71/274.76 c 275s|130000 | 1399 | 1582k| 12.2 | 34M| 62 | - |1929 | 34k| 0 | 0 | 19k| 167k|4630 | 0.000000e+00 | 2.000000e+00 | Inf 298.71/298.76 c 299s|140000 | 1341 | 1707k| 12.2 | 34M| 62 | 7 |1929 | 34k|1929 |1698 | 21k| 180k|4866 | 0.000000e+00 | 2.000000e+00 | Inf 323.51/323.55 c 324s|150000 | 1286 | 1841k| 12.3 | 34M| 66 | 18 |1929 | 33k|1929 |1698 | 23k| 194k|5004 | 0.000000e+00 | 2.000000e+00 | Inf 347.41/347.43 c 347s|160000 | 1242 | 1965k| 12.3 | 35M| 66 | - |1929 | 36k|1929 |1698 | 24k| 208k|5254 | 0.000000e+00 | 2.000000e+00 | Inf 372.01/372.03 c 372s|170000 | 1190 | 2098k| 12.3 | 34M| 66 | - |1929 | 34k|1929 |1703 | 26k| 222k|5438 | 0.000000e+00 | 2.000000e+00 | Inf 396.71/396.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 396.71/396.71 c 397s|180000 | 1170 | 2233k| 12.4 | 35M| 66 | 29 |1929 | 36k|1929 |1698 | 27k| 236k|5599 | 0.000000e+00 | 2.000000e+00 | Inf 421.91/421.95 c 422s|190000 | 1195 | 2369k| 12.5 | 36M| 66 | - |1929 | 37k|1929 |1702 | 29k| 249k|5793 | 0.000000e+00 | 2.000000e+00 | Inf 446.42/446.42 c 446s|200000 | 1117 | 2499k| 12.5 | 35M| 66 | 22 |1929 | 34k|1929 |1698 | 31k| 263k|5924 | 0.000000e+00 | 2.000000e+00 | Inf 470.42/470.45 c 470s|210000 | 1059 | 2626k| 12.5 | 34M| 66 | - |1929 | 34k|1929 |1698 | 32k| 277k|6097 | 0.000000e+00 | 2.000000e+00 | Inf 495.52/495.59 c 496s|220000 | 1061 | 2757k| 12.5 | 34M| 66 | 1 |1929 | 32k|1929 |1698 | 34k| 290k|6447 | 0.000000e+00 | 2.000000e+00 | Inf 518.82/518.86 c 519s|230000 | 974 | 2883k| 12.5 | 32M| 66 | - |1929 | 27k|1929 |1698 | 36k| 304k|6509 | 0.000000e+00 | 2.000000e+00 | Inf 541.13/541.19 c 541s|240000 | 693 | 3010k| 12.5 | 29M| 66 | 10 |1929 | 24k|1929 |1698 | 38k| 318k|6630 | 0.000000e+00 | 2.000000e+00 | Inf 564.12/564.14 c 564s|250000 | 538 | 3143k| 12.6 | 26M| 66 | 19 |1929 | 20k|1929 |1698 | 40k| 331k|6906 | 0.000000e+00 | 2.000000e+00 | Inf 586.02/586.10 c 586s|260000 | 479 | 3279k| 12.6 | 26M| 66 | 17 |1929 | 20k|1929 |1698 | 41k| 344k|7070 | 0.000000e+00 | 2.000000e+00 | Inf 607.52/607.54 c 608s|270000 | 563 | 3409k| 12.6 | 28M| 66 | - |1929 | 22k| 0 | 0 | 42k| 357k|7202 | 0.000000e+00 | 2.000000e+00 | Inf 629.13/629.12 c 629s|280000 | 675 | 3535k| 12.6 | 30M| 66 | 18 |1929 | 26k|1929 |1698 | 43k| 370k|7325 | 0.000000e+00 | 2.000000e+00 | Inf 652.12/652.12 c 652s|290000 | 880 | 3665k| 12.6 | 33M| 66 | 21 |1929 | 31k|1929 |1698 | 45k| 382k|7436 | 0.000000e+00 | 2.000000e+00 | Inf 676.03/676.02 c 676s|300000 | 904 | 3798k| 12.7 | 33M| 66 | - |1929 | 32k| 0 | 0 | 46k| 396k|7571 | 0.000000e+00 | 2.000000e+00 | Inf 699.82/699.87 c 700s|310000 | 921 | 3928k| 12.7 | 34M| 66 | - |1929 | 33k|1929 |1698 | 48k| 409k|7708 | 0.000000e+00 | 2.000000e+00 | Inf 723.83/723.81 c 724s|320000 | 1008 | 4058k| 12.7 | 34M| 66 | 23 |1929 | 30k|1929 |1698 | 50k| 422k|7834 | 0.000000e+00 | 2.000000e+00 | Inf 747.73/747.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 747.73/747.72 c 748s|330000 | 994 | 4196k| 12.7 | 34M| 66 | 16 |1929 | 29k|1929 |1698 | 51k| 435k|7967 | 0.000000e+00 | 2.000000e+00 | Inf 771.23/771.23 c 771s|340000 | 884 | 4336k| 12.8 | 33M| 66 | 14 |1929 | 29k|1929 |1698 | 53k| 449k|8068 | 0.000000e+00 | 2.000000e+00 | Inf 794.52/794.52 c 795s|350000 | 812 | 4474k| 12.8 | 34M| 66 | 17 |1929 | 31k|1929 |1708 | 54k| 462k|8180 | 0.000000e+00 | 2.000000e+00 | Inf 819.43/819.42 c 819s|360000 | 702 | 4626k| 12.9 | 33M| 66 | - |1929 | 31k| 0 | 0 | 56k| 476k|8286 | 0.000000e+00 | 2.000000e+00 | Inf 843.43/843.49 c 843s|370000 | 654 | 4769k| 12.9 | 33M| 66 | 7 |1929 | 32k|1929 |1707 | 58k| 490k|8419 | 0.000000e+00 | 2.000000e+00 | Inf 865.43/865.40 c 865s|380000 | 460 | 4893k| 12.9 | 30M| 66 | - |1929 | 28k|1929 |1705 | 59k| 504k|8517 | 0.000000e+00 | 2.000000e+00 | Inf 887.44/887.40 c 887s|390000 | 509 | 5010k| 12.8 | 31M| 66 | - |1929 | 31k|1929 |1698 | 61k| 517k|8610 | 0.000000e+00 | 2.000000e+00 | Inf 911.34/911.35 c 911s|400000 | 460 | 5143k| 12.9 | 30M| 66 | - |1929 | 29k| 0 | 0 | 62k| 530k|8766 | 0.000000e+00 | 2.000000e+00 | Inf 935.73/935.75 c 936s|410000 | 347 | 5273k| 12.9 | 28M| 66 | 23 |1929 | 24k|1929 |1702 | 63k| 543k|8874 | 0.000000e+00 | 2.000000e+00 | Inf 960.24/960.28 c 960s|420000 | 364 | 5427k| 12.9 | 29M| 66 | - |1929 | 26k|1929 |1698 | 65k| 556k|9004 | 0.000000e+00 | 2.000000e+00 | Inf 983.64/983.68 c 984s|430000 | 441 | 5570k| 13.0 | 31M| 66 | 15 |1929 | 28k|1929 |1698 | 66k| 569k|9119 | 0.000000e+00 | 2.000000e+00 | Inf 1006.33/1006.39 c 1006s|440000 | 510 | 5705k| 13.0 | 32M| 66 | 10 |1929 | 31k|1929 |1698 | 68k| 582k|9229 | 0.000000e+00 | 2.000000e+00 | Inf 1031.34/1031.35 c 1031s|450000 | 692 | 5849k| 13.0 | 35M| 66 | - |1929 | 36k| 0 | 0 | 70k| 595k|9322 | 0.000000e+00 | 2.000000e+00 | Inf 1056.54/1056.52 c 1056s|460000 | 684 | 5984k| 13.0 | 35M| 66 | - |1929 | 37k| 0 | 0 | 72k| 608k|9429 | 0.000000e+00 | 2.000000e+00 | Inf 1081.35/1081.38 c 1081s|470000 | 586 | 6122k| 13.0 | 35M| 66 | 21 |1929 | 36k|1929 |1698 | 73k| 622k|9584 | 0.000000e+00 | 2.000000e+00 | Inf 1105.84/1105.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1105.84/1105.81 c 1106s|480000 | 581 | 6263k| 13.0 | 35M| 66 | 13 |1929 | 38k|1929 |1705 | 75k| 636k|9691 | 0.000000e+00 | 2.000000e+00 | Inf 1131.05/1131.00 c 1131s|490000 | 647 | 6410k| 13.1 | 36M| 66 | 20 |1929 | 37k|1929 |1705 | 77k| 649k|9794 | 0.000000e+00 | 2.000000e+00 | Inf 1155.94/1155.92 c 1156s|500000 | 577 | 6556k| 13.1 | 37M| 66 | 26 |1929 | 40k|1929 |1705 | 79k| 663k|9914 | 0.000000e+00 | 2.000000e+00 | Inf 1181.55/1181.53 c 1182s|510000 | 544 | 6702k| 13.1 | 35M| 66 | 36 |1929 | 37k|1929 |1705 | 81k| 677k| 10k| 0.000000e+00 | 2.000000e+00 | Inf 1206.04/1206.04 c 1206s|520000 | 408 | 6838k| 13.2 | 33M| 66 | 6 |1929 | 33k|1929 |1705 | 83k| 691k| 10k| 0.000000e+00 | 2.000000e+00 | Inf 1229.15/1229.10 c 1229s|530000 | 409 | 6973k| 13.2 | 30M| 66 | - |1929 | 27k|1929 |1698 | 84k| 705k| 10k| 0.000000e+00 | 2.000000e+00 | Inf 1250.95/1250.96 c 1251s|540000 | 655 | 7100k| 13.1 | 33M| 66 | - |1929 | 31k|1929 |1698 | 86k| 718k| 10k| 0.000000e+00 | 2.000000e+00 | Inf 1272.85/1272.89 c 1273s|550000 | 722 | 7220k| 13.1 | 33M| 66 | - |1929 | 30k|1929 |1707 | 87k| 731k| 10k| 0.000000e+00 | 2.000000e+00 | Inf 1294.55/1294.50 c 1294s|560000 | 708 | 7340k| 13.1 | 34M| 66 | - |1929 | 31k|1929 |1703 | 89k| 745k| 10k| 0.000000e+00 | 2.000000e+00 | Inf 1317.35/1317.35 c 1317s|570000 | 811 | 7470k| 13.1 | 35M| 66 | 15 |1929 | 33k|1929 |1698 | 90k| 759k| 10k| 0.000000e+00 | 2.000000e+00 | Inf 1339.45/1339.49 c 1339s|580000 | 907 | 7595k| 13.1 | 36M| 66 | 15 |1929 | 33k|1929 |1707 | 92k| 772k| 10k| 0.000000e+00 | 2.000000e+00 | Inf 1361.36/1361.34 c 1361s|590000 | 904 | 7715k| 13.1 | 34M| 66 | 21 |1929 | 30k|1929 |1698 | 93k| 785k| 10k| 0.000000e+00 | 2.000000e+00 | Inf 1384.16/1384.11 c 1384s|600000 | 849 | 7842k| 13.1 | 34M| 66 | 26 |1929 | 30k|1929 |1698 | 95k| 799k| 10k| 0.000000e+00 | 2.000000e+00 | Inf 1405.45/1405.46 c 1405s|610000 | 735 | 7961k| 13.1 | 34M| 66 | - |1929 | 30k|1929 |1698 | 97k| 812k| 10k| 0.000000e+00 | 2.000000e+00 | Inf 1427.36/1427.35 c 1427s|620000 | 883 | 8080k| 13.0 | 36M| 66 | 17 |1929 | 34k|1929 |1704 | 98k| 825k| 10k| 0.000000e+00 | 2.000000e+00 | Inf 1450.06/1450.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1450.06/1450.02 c 1450s|630000 | 772 | 8199k| 13.0 | 35M| 66 | - |1929 | 32k|1929 |1703 | 100k| 839k| 10k| 0.000000e+00 | 2.000000e+00 | Inf 1471.96/1471.91 c 1472s|640000 | 723 | 8322k| 13.0 | 35M| 66 | - |1929 | 33k| 0 | 0 | 101k| 852k| 11k| 0.000000e+00 | 2.000000e+00 | Inf 1494.16/1494.12 c 1494s|650000 | 635 | 8445k| 13.0 | 34M| 66 | - |1929 | 32k| 0 | 0 | 102k| 866k| 11k| 0.000000e+00 | 2.000000e+00 | Inf 1516.76/1516.77 c 1517s|660000 | 571 | 8570k| 13.0 | 35M| 66 | 11 |1929 | 33k|1929 |1706 | 104k| 879k| 11k| 0.000000e+00 | 2.000000e+00 | Inf 1540.26/1540.26 c 1540s|670000 | 501 | 8697k| 13.0 | 33M| 66 | - |1929 | 30k| 0 | 0 | 105k| 892k| 11k| 0.000000e+00 | 2.000000e+00 | Inf 1561.47/1561.50 c 1561s|680000 | 410 | 8814k| 13.0 | 33M| 66 | 1 |1929 | 31k|1929 |1698 | 107k| 906k| 11k| 0.000000e+00 | 2.000000e+00 | Inf 1585.18/1585.17 c 1585s|690000 | 173 | 8950k| 13.0 | 29M| 66 | - |1929 | 25k|1929 |1698 | 108k| 919k| 11k| 0.000000e+00 | 2.000000e+00 | Inf 1607.87/1607.87 c 1608s|700000 | 214 | 9085k| 13.0 | 31M| 66 | 23 |1929 | 29k|1929 |1705 | 110k| 932k| 11k| 0.000000e+00 | 2.000000e+00 | Inf 1629.47/1629.40 c 1629s|710000 | 327 | 9209k| 13.0 | 32M| 66 | 20 |1929 | 31k|1929 |1698 | 111k| 945k| 11k| 0.000000e+00 | 2.000000e+00 | Inf 1651.47/1651.44 c 1651s|720000 | 556 | 9336k| 13.0 | 34M| 66 | - |1929 | 33k| 0 | 0 | 113k| 958k| 11k| 0.000000e+00 | 2.000000e+00 | Inf 1674.17/1674.15 c 1674s|730000 | 721 | 9461k| 13.0 | 36M| 66 | - |1929 | 36k|1929 |1698 | 114k| 971k| 11k| 0.000000e+00 | 2.000000e+00 | Inf 1698.18/1698.12 c 1698s|740000 | 758 | 9587k| 13.0 | 37M| 66 | 1 |1929 | 38k|1929 |1698 | 116k| 984k| 11k| 0.000000e+00 | 2.000000e+00 | Inf 1721.97/1721.95 c 1722s|750000 | 713 | 9717k| 13.0 | 36M| 66 | - |1929 | 34k|1929 |1698 | 118k| 997k| 11k| 0.000000e+00 | 2.000000e+00 | Inf 1744.17/1744.17 c 1744s|760000 | 667 | 9839k| 12.9 | 35M| 66 | 23 |1929 | 33k|1929 |1698 | 119k|1011k| 11k| 0.000000e+00 | 2.000000e+00 | Inf 1767.78/1767.74 c 1768s|770000 | 663 | 9980k| 13.0 | 37M| 66 | - |1929 | 38k|1929 |1698 | 121k|1024k| 11k| 0.000000e+00 | 2.000000e+00 | Inf 1790.07/1790.01 c 1790.07/1790.01 c SCIP Status : solving was interrupted [time limit reached] 1790.07/1790.01 c Solving Time (sec) : 1789.99 1790.07/1790.01 c Solving Nodes : 779612 1790.07/1790.01 c Primal Bound : +2.00000000000000e+00 (61 solutions) 1790.07/1790.01 c Dual Bound : +0.00000000000000e+00 1790.07/1790.01 c Gap : infinite 1790.07/1790.02 s SATISFIABLE 1790.07/1790.02 v -x231 -x230 -x229 x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 1790.07/1790.02 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 1790.07/1790.02 v -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 1790.07/1790.02 v -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 1790.07/1790.02 v x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 1790.07/1790.02 v -x125 -x124 x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 1790.07/1790.02 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.07/1790.02 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.07/1790.02 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.07/1790.02 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.07/1790.02 v -x1 1790.07/1790.02 c SCIP Status : solving was interrupted [time limit reached] 1790.07/1790.02 c Solving Time : 1789.99 1790.07/1790.02 c Original Problem : 1790.07/1790.02 c Problem name : HOME/instance-2705497-1278572953.wbo 1790.07/1790.02 c Variables : 2091 (1161 binary, 0 integer, 930 implicit integer, 0 continuous) 1790.07/1790.02 c Constraints : 3638 initial, 3638 maximal 1790.07/1790.02 c Presolved Problem : 1790.07/1790.02 c Problem name : t_HOME/instance-2705497-1278572953.wbo 1790.07/1790.02 c Variables : 1929 (1080 binary, 0 integer, 849 implicit integer, 0 continuous) 1790.07/1790.02 c Constraints : 3356 initial, 40902 maximal 1790.07/1790.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1790.07/1790.02 c trivial : 0.00 81 0 0 0 0 0 0 0 1790.07/1790.02 c dualfix : 0.00 81 0 0 0 0 0 0 0 1790.07/1790.02 c boundshift : 0.00 0 0 0 0 0 0 0 0 1790.07/1790.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1790.07/1790.02 c implics : 0.00 0 0 0 0 0 0 0 0 1790.07/1790.02 c probing : 0.03 0 0 0 0 0 0 0 0 1790.07/1790.02 c knapsack : 0.00 0 0 0 0 0 0 0 0 1790.07/1790.02 c setppc : 0.00 0 0 0 0 0 9 0 0 1790.07/1790.02 c linear : 0.06 0 0 0 954 0 192 139 0 1790.07/1790.02 c indicator : 0.00 0 0 0 0 0 81 0 0 1790.07/1790.02 c logicor : 0.01 0 0 0 0 0 0 0 0 1790.07/1790.02 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0 1790.07/1790.02 c root node : - 1686 - - 1686 - - - - 1790.07/1790.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1790.07/1790.02 c integral : 0 0 0 442626 0 292 4140 0 0 828468 1790.07/1790.02 c knapsack : 1 6 3300476 24698 0 54836 6448782 2 0 0 1790.07/1790.02 c setppc : 53 6 3248760 24609 0 44823 2364082 0 0 0 1790.07/1790.02 c linear : 849+ 7 3204815 24727 0 53731 4276101 122463 0 0 1790.07/1790.02 c indicator : 849 0 3141948 24650 0 155 268170 0 0 0 1790.07/1790.02 c logicor : 1604+ 6 1733278 1841 0 106838 6357881 0 0 0 1790.07/1790.02 c bounddisjunction : 0+ 0 270816 0 0 46 609 0 0 0 1790.07/1790.02 c countsols : 0 0 0 1841 0 0 0 0 0 0 1790.07/1790.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1790.07/1790.02 c integral : 39.01 0.00 0.00 39.01 0.00 1790.07/1790.02 c knapsack : 29.39 0.00 29.38 0.01 0.00 1790.07/1790.02 c setppc : 14.98 0.00 14.96 0.02 0.00 1790.07/1790.02 c linear : 41.77 0.00 41.15 0.61 0.00 1790.07/1790.02 c indicator : 2.38 0.01 2.17 0.19 0.00 1790.07/1790.02 c logicor : 241.97 0.00 241.95 0.02 0.00 1790.07/1790.02 c bounddisjunction : 0.45 0.00 0.45 0.00 0.00 1790.07/1790.02 c countsols : 0.00 0.00 0.00 0.00 0.00 1790.07/1790.02 c Propagators : Time Calls Cutoffs DomReds 1790.07/1790.02 c vbounds : 0.54 3965 0 216 1790.07/1790.02 c rootredcost : 0.51 20 0 843 1790.07/1790.02 c pseudoobj : 41.10 3305451 1051 269655 1790.07/1790.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1790.07/1790.02 c propagation : 8.94 261325 260400 1576003 25.6 6619 24.2 - 1790.07/1790.02 c infeasible LP : 25.15 151536 151528 1134237 43.5 1098 16.3 0 1790.07/1790.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1790.07/1790.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1790.07/1790.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1790.07/1790.02 c applied globally : - - - 1037438 28.6 - - - 1790.07/1790.02 c applied locally : - - - 0 0.0 - - - 1790.07/1790.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1790.07/1790.02 c cut pool : 0.00 5 - - 44 - (maximal pool size: 525) 1790.07/1790.02 c redcost : 14.14 443203 0 9009 0 0 1790.07/1790.02 c impliedbounds : 0.00 6 0 0 0 0 1790.07/1790.02 c intobj : 0.00 0 0 0 0 0 1790.07/1790.02 c cgmip : 0.00 0 0 0 0 0 1790.07/1790.02 c gomory : 0.15 6 0 0 2301 0 1790.07/1790.02 c strongcg : 0.13 6 0 0 2307 0 1790.07/1790.02 c cmir : 0.02 6 0 0 1 0 1790.07/1790.02 c flowcover : 0.04 6 0 0 2 0 1790.07/1790.02 c clique : 0.00 6 0 0 0 0 1790.07/1790.02 c zerohalf : 0.00 0 0 0 0 0 1790.07/1790.02 c mcf : 0.00 1 0 0 0 0 1790.07/1790.02 c rapidlearning : 0.07 1 0 0 0 1 1790.07/1790.02 c Pricers : Time Calls Vars 1790.07/1790.02 c problem variables: 0.00 0 0 1790.07/1790.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1790.07/1790.02 c relpscost : 38.70 417880 292 4140 0 0 828468 1790.07/1790.02 c pscost : 0.00 0 0 0 0 0 0 1790.07/1790.02 c inference : 0.26 1821 0 0 0 0 3645 1790.07/1790.02 c mostinf : 0.00 0 0 0 0 0 0 1790.07/1790.02 c leastinf : 0.00 0 0 0 0 0 0 1790.07/1790.02 c fullstrong : 0.00 0 0 0 0 0 0 1790.07/1790.02 c allfullstrong : 0.00 0 0 0 0 0 0 1790.07/1790.02 c random : 0.00 0 0 0 0 0 0 1790.07/1790.02 c Primal Heuristics : Time Calls Found 1790.07/1790.02 c LP solutions : 0.01 - 20 1790.07/1790.02 c pseudo solutions : 0.00 - 0 1790.07/1790.02 c oneopt : 0.26 18 0 1790.07/1790.02 c feaspump : 0.03 1 0 1790.07/1790.02 c crossover : 0.37 8 0 1790.07/1790.02 c fracdiving : 0.33 82 0 1790.07/1790.02 c linesearchdiving : 0.21 82 0 1790.07/1790.02 c veclendiving : 0.22 82 0 1790.07/1790.02 c guideddiving : 0.19 82 0 1790.07/1790.02 c coefdiving : 0.23 83 0 1790.07/1790.02 c pscostdiving : 0.25 83 0 1790.07/1790.02 c objpscostdiving : 0.19 42 0 1790.07/1790.02 c rootsoldiving : 0.25 42 0 1790.07/1790.02 c trivial : 0.00 2 0 1790.07/1790.02 c simplerounding : 0.57 417868 0 1790.07/1790.02 c zirounding : 0.24 1000 0 1790.07/1790.02 c rounding : 0.84 9095 0 1790.07/1790.02 c shifting : 0.81 2823 0 1790.07/1790.02 c intshifting : 0.02 0 0 1790.07/1790.02 c twoopt : 0.00 0 0 1790.07/1790.02 c fixandinfer : 0.00 0 0 1790.07/1790.02 c intdiving : 0.00 0 0 1790.07/1790.02 c actconsdiving : 0.00 0 0 1790.07/1790.02 c octane : 0.00 0 0 1790.07/1790.02 c rens : 0.03 1 0 1790.07/1790.02 c rins : 0.00 0 0 1790.07/1790.02 c localbranching : 0.00 0 0 1790.07/1790.02 c mutation : 0.00 0 0 1790.07/1790.02 c dins : 0.00 0 0 1790.07/1790.02 c undercover : 0.00 0 0 1790.07/1790.02 c nlp : 0.12 0 0 1790.07/1790.02 c trysol : 0.20 99 41 1790.07/1790.02 c LP : Time Calls Iterations Iter/call Iter/sec 1790.07/1790.02 c primal LP : 0.00 0 0 0.00 - 1790.07/1790.02 c dual LP : 967.82 589266 10097021 17.13 10432.73 1790.07/1790.02 c lex dual LP : 0.00 0 0 0.00 - 1790.07/1790.02 c barrier LP : 0.00 0 0 0.00 - 1790.07/1790.02 c diving/probing LP: 1.15 843 7087 8.41 6169.01 1790.07/1790.02 c strong branching : 34.73 11996 357090 29.77 10280.45 1790.07/1790.02 c (at root node) : - 13 6959 535.31 - 1790.07/1790.02 c conflict analysis: 0.00 0 0 0.00 - 1790.07/1790.02 c B&B Tree : 1790.07/1790.02 c number of runs : 1 1790.07/1790.02 c nodes : 779612 1790.07/1790.02 c nodes (total) : 779612 1790.07/1790.02 c nodes left : 678 1790.07/1790.02 c max depth : 66 1790.07/1790.02 c max depth (total): 66 1790.07/1790.02 c backtracks : 120342 (15.4%) 1790.07/1790.02 c delayed cutoffs : 50700 1790.07/1790.02 c repropagations : 1167961 (3813377 domain reductions, 48931 cutoffs) 1790.07/1790.02 c avg switch length: 4.62 1790.07/1790.02 c switching time : 203.49 1790.07/1790.02 c Solution : 1790.07/1790.02 c Solutions found : 61 (20 improvements) 1790.07/1790.02 c First Solution : +3.36000000000000e+02 (in run 1, after 13 nodes, 3.93 seconds, depth 12, found by <relaxation>) 1790.07/1790.02 c Primal Bound : +2.00000000000000e+00 (in run 1, after 39104 nodes, 79.74 seconds, depth 28, found by <relaxation>) 1790.07/1790.02 c Dual Bound : +0.00000000000000e+00 1790.07/1790.02 c Gap : infinite 1790.07/1790.02 c Root Dual Bound : +0.00000000000000e+00 1790.07/1790.02 c Root Iterations : 428 1790.07/1790.08 c Time complete: 1790.15.
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705497-1278572953/watcher-2705497-1278572953 -o /tmp/evaluation-result-2705497-1278572953/solver-2705497-1278572953 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705497-1278572953.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.26 0.06 0.02 2/173 23691 /proc/meminfo: memFree=29375268/32951124 swapFree=67111528/67111528 [pid=23691] ppid=23689 vsize=12344 CPUtime=0 /proc/23691/stat : 23691 (pbscip.linux.x8) R 23689 23691 23512 0 -1 4202496 1925 0 0 0 0 0 0 0 21 0 1 0 25507731 12640256 1844 4089446400 4194304 10345943 140737412175072 18446744073709551615 9107500 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/23691/statm: 3086 1845 429 1502 0 1579 0 [startup+0.046707 s] /proc/loadavg: 0.26 0.06 0.02 2/173 23691 /proc/meminfo: memFree=29375268/32951124 swapFree=67111528/67111528 [pid=23691] ppid=23689 vsize=26488 CPUtime=0.03 /proc/23691/stat : 23691 (pbscip.linux.x8) R 23689 23691 23512 0 -1 4202496 5645 0 0 0 3 0 0 0 21 0 1 0 25507731 27123712 5210 4089446400 4194304 10345943 140737412175072 18446744073709551615 4982355 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23691/statm: 6622 5210 534 1502 0 5115 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 26488 [startup+0.100698 s] /proc/loadavg: 0.26 0.06 0.02 2/173 23691 /proc/meminfo: memFree=29375268/32951124 swapFree=67111528/67111528 [pid=23691] ppid=23689 vsize=27512 CPUtime=0.09 /proc/23691/stat : 23691 (pbscip.linux.x8) R 23689 23691 23512 0 -1 4202496 5923 0 0 0 9 0 0 0 21 0 1 0 25507731 28172288 5488 4089446400 4194304 10345943 140737412175072 18446744073709551615 5093795 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23691/statm: 6878 5488 550 1502 0 5371 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27512 [startup+0.300663 s] /proc/loadavg: 0.26 0.06 0.02 2/173 23691 /proc/meminfo: memFree=29375268/32951124 swapFree=67111528/67111528 [pid=23691] ppid=23689 vsize=35180 CPUtime=0.29 /proc/23691/stat : 23691 (pbscip.linux.x8) R 23689 23691 23512 0 -1 4202496 11884 0 0 0 26 3 0 0 18 0 1 0 25507731 36024320 7217 4089446400 4194304 10345943 140737412175072 18446744073709551615 9192112 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23691/statm: 8795 7217 762 1502 0 7288 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 35180 [startup+0.700588 s] /proc/loadavg: 0.26 0.06 0.02 2/173 23691 /proc/meminfo: memFree=29375268/32951124 swapFree=67111528/67111528 [pid=23691] ppid=23689 vsize=45480 CPUtime=0.69 /proc/23691/stat : 23691 (pbscip.linux.x8) R 23689 23691 23512 0 -1 4202496 17456 0 0 0 64 5 0 0 18 0 1 0 25507731 46571520 9349 4089446400 4194304 10345943 140737412175072 18446744073709551615 6880342 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23691/statm: 11370 9349 803 1502 0 9863 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 45480 [startup+1.50041 s] /proc/loadavg: 0.26 0.06 0.02 2/174 23692 /proc/meminfo: memFree=29339920/32951124 swapFree=67111528/67111528 [pid=23691] ppid=23689 vsize=46152 CPUtime=1.49 /proc/23691/stat : 23691 (pbscip.linux.x8) R 23689 23691 23512 0 -1 4202496 17667 0 0 0 144 5 0 0 19 0 1 0 25507731 47259648 9560 4089446400 4194304 10345943 140737412175072 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23691/statm: 11538 9560 803 1502 0 10031 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 46152 [startup+3.10106 s] /proc/loadavg: 0.40 0.09 0.03 3/179 23702 /proc/meminfo: memFree=29295612/32951124 swapFree=67111528/67111528 [pid=23691] ppid=23689 vsize=45880 CPUtime=3.09 /proc/23691/stat : 23691 (pbscip.linux.x8) R 23689 23691 23512 0 -1 4202496 19558 0 0 0 302 7 0 0 24 0 1 0 25507731 46981120 9518 4089446400 4194304 10345943 140737412175072 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23691/statm: 11470 9518 803 1502 0 9963 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 45880 [startup+6.30046 s] /proc/loadavg: 0.40 0.09 0.03 3/179 23702 /proc/meminfo: memFree=29288332/32951124 swapFree=67111528/67111528 [pid=23691] ppid=23689 vsize=47332 CPUtime=6.29 /proc/23691/stat : 23691 (pbscip.linux.x8) R 23689 23691 23512 0 -1 4202496 23758 0 0 0 618 11 0 0 25 0 1 0 25507731 48467968 9962 4089446400 4194304 10345943 140737412175072 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23691/statm: 11833 9962 803 1502 0 10326 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 47332 [startup+12.7002 s] /proc/loadavg: 0.64 0.16 0.05 3/179 23703 /proc/meminfo: memFree=29282580/32951124 swapFree=67111528/67111528 [pid=23691] ppid=23689 vsize=52256 CPUtime=12.69 /proc/23691/stat : 23691 (pbscip.linux.x8) R 23689 23691 23512 0 -1 4202496 47099 0 0 0 1252 17 0 0 25 0 1 0 25507731 53510144 11372 4089446400 4194304 10345943 140737412175072 18446744073709551615 8160777 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23691/statm: 13064 11372 808 1502 0 11557 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 52256 [startup+25.5006 s] /proc/loadavg: 0.85 0.22 0.07 3/179 23704 /proc/meminfo: memFree=29264260/32951124 swapFree=67111528/67111528 [pid=23691] ppid=23689 vsize=62428 CPUtime=25.5 /proc/23691/stat : 23691 (pbscip.linux.x8) R 23689 23691 23512 0 -1 4202496 72007 0 0 0 2519 31 0 0 25 0 1 0 25507731 63926272 14263 4089446400 4194304 10345943 140737412175072 18446744073709551615 4705104 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23691/statm: 15607 14263 808 1502 0 14100 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 62428 [startup+51.1005 s] /proc/loadavg: 1.24 0.36 0.12 3/179 23704 /proc/meminfo: memFree=29235016/32951124 swapFree=67111528/67111528 [pid=23691] ppid=23689 vsize=67352 CPUtime=51.1 /proc/23691/stat : 23691 (pbscip.linux.x8) R 23689 23691 23512 0 -1 4202496 81029 0 0 0 5060 50 0 0 25 0 1 0 25507731 68968448 15522 4089446400 4194304 10345943 140737412175072 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23691/statm: 16838 15522 809 1502 0 15331 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 67352 [startup+102.306 s] /proc/loadavg: 1.70 0.63 0.23 3/179 23706 /proc/meminfo: memFree=29218024/32951124 swapFree=67111528/67111528 [pid=23691] ppid=23689 vsize=73796 CPUtime=102.3 /proc/23691/stat : 23691 (pbscip.linux.x8) R 23689 23691 23512 0 -1 4202496 106785 0 0 0 10143 87 0 0 25 0 1 0 25507731 75567104 16986 4089446400 4194304 10345943 140737412175072 18446744073709551615 6068924 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23691/statm: 18449 16986 809 1502 0 16942 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 73796 [startup+162.3 s] /proc/loadavg: 1.88 0.86 0.33 3/179 23707 /proc/meminfo: memFree=29210252/32951124 swapFree=67111528/67111528 [pid=23691] ppid=23689 vsize=78488 CPUtime=162.29 /proc/23691/stat : 23691 (pbscip.linux.x8) R 23689 23691 23512 0 -1 4202496 136017 0 0 0 16098 131 0 0 25 0 1 0 25507731 80371712 17621 4089446400 4194304 10345943 140737412175072 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23691/statm: 19622 17621 809 1502 0 18115 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 78488 [startup+222.3 s] /proc/loadavg: 1.96 1.08 0.44 3/179 23708 /proc/meminfo: memFree=29200400/32951124 swapFree=67111528/67111528 [pid=23691] ppid=23689 vsize=83668 CPUtime=222.3 /proc/23691/stat : 23691 (pbscip.linux.x8) R 23689 23691 23512 0 -1 4202496 157808 0 0 0 22059 171 0 0 25 0 1 0 25507731 85676032 19099 4089446400 4194304 10345943 140737412175072 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23691/statm: 20917 19099 809 1502 0 19410 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 83668 [startup+282.301 s] /proc/loadavg: 1.98 1.23 0.52 3/179 23710 /proc/meminfo: memFree=29193892/32951124 swapFree=67111528/67111528 [pid=23691] ppid=23689 vsize=87268 CPUtime=282.3 /proc/23691/stat : 23691 (pbscip.linux.x8) R 23689 23691 23512 0 -1 4202496 174311 0 0 0 28023 207 0 0 25 0 1 0 25507731 89362432 20053 4089446400 4194304 10345943 140737412175072 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23691/statm: 21817 20053 809 1502 0 20310 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 87268 [startup+342.301 s] /proc/loadavg: 2.05 1.39 0.63 3/179 23712 /proc/meminfo: memFree=29187712/32951124 swapFree=67111528/67111528 [pid=23691] ppid=23689 vsize=90356 CPUtime=342.3 /proc/23691/stat : 23691 (pbscip.linux.x8) R 23689 23691 23512 0 -1 4202496 184278 0 0 0 33986 244 0 0 25 0 1 0 25507731 92524544 20603 4089446400 4194304 10345943 140737412175072 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23691/statm: 22589 20603 809 1502 0 21082 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 90356 [startup+402.301 s] /proc/loadavg: 2.02 1.49 0.70 3/179 23714 /proc/meminfo: memFree=29181964/32951124 swapFree=67111528/67111528 [pid=23691] ppid=23689 vsize=92736 CPUtime=402.31 /proc/23691/stat : 23691 (pbscip.linux.x8) R 23689 23691 23512 0 -1 4202496 190530 0 0 0 39951 280 0 0 25 0 1 0 25507731 94961664 21155 4089446400 4194304 10345943 140737412175072 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23691/statm: 23184 21155 809 1502 0 21677 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 92736 [startup+462.301 s] /proc/loadavg: 2.00 1.59 0.79 3/179 23715 /proc/meminfo: memFree=29180284/32951124 swapFree=67111528/67111528 [pid=23691] ppid=23689 vsize=94364 CPUtime=462.32 /proc/23691/stat : 23691 (pbscip.linux.x8) R 23689 23691 23512 0 -1 4202496 196061 0 0 0 45922 310 0 0 25 0 1 0 25507731 96628736 21448 4089446400 4194304 10345943 140737412175072 18446744073709551615 4218292 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23691/statm: 23591 21448 809 1502 0 22084 0 Current children cumulated CPU time (s) 462.32 Current children cumulated vsize (KiB) 94364 [startup+522.301 s] /proc/loadavg: 2.00 1.66 0.85 3/179 23716 /proc/meminfo: memFree=29174904/32951124 swapFree=67111528/67111528 [pid=23691] ppid=23689 vsize=93820 CPUtime=522.32 /proc/23691/stat : 23691 (pbscip.linux.x8) R 23689 23691 23512 0 -1 4202496 207515 0 0 0 51884 348 0 0 25 0 1 0 25507731 96071680 21487 4089446400 4194304 10345943 140737412175072 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23691/statm: 23455 21487 809 1502 0 21948 0 Current children cumulated CPU time (s) 522.32 Current children cumulated vsize (KiB) 93820 [startup+582.301 s] /proc/loadavg: 2.00 1.72 0.92 3/179 23721 /proc/meminfo: memFree=29173312/32951124 swapFree=67111528/67111528 [pid=23691] ppid=23689 vsize=93824 CPUtime=582.32 /proc/23691/stat : 23691 (pbscip.linux.x8) R 23689 23691 23512 0 -1 4202496 225149 0 0 0 57845 387 0 0 25 0 1 0 25507731 96075776 21542 4089446400 4194304 10345943 140737412175072 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23691/statm: 23456 21542 809 1502 0 21949 0 Current children cumulated CPU time (s) 582.32 Current children cumulated vsize (KiB) 93824 [startup+642.301 s] /proc/loadavg: 2.00 1.77 0.99 3/179 23723 /proc/meminfo: memFree=29173036/32951124 swapFree=67111528/67111528 [pid=23691] ppid=23689 vsize=95088 CPUtime=642.33 /proc/23691/stat : 23691 (pbscip.linux.x8) R 23689 23691 23512 0 -1 4202496 236149 0 0 0 63803 430 0 0 25 0 1 0 25507731 97370112 21655 4089446400 4194304 10345943 140737412175072 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23691/statm: 23772 21655 809 1502 0 22265 0 Current children cumulated CPU time (s) 642.33 Current children cumulated vsize (KiB) 95088 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=29165932/32951124 swapFree=67111528/67111528 [pid=23691] ppid=23689 vsize=98884 CPUtime=1062.34 /proc/23691/stat : 23691 (pbscip.linux.x8) R 23689 23691 23512 0 -1 4202496 318348 0 0 0 105539 695 0 0 25 0 1 0 25507731 101257216 22610 4089446400 4194304 10345943 140737412175072 18446744073709551615 4218233 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23691/statm: 24721 22610 809 1502 0 23214 0 Current children cumulated CPU time (s) 1062.34 Current children cumulated vsize (KiB) 98884 [startup+1122.3 s] /proc/loadavg: 2.00 1.95 1.38 3/179 23735 /proc/meminfo: memFree=29164004/32951124 swapFree=67111528/67111528 [pid=23691] ppid=23689 vsize=98884 CPUtime=1122.34 /proc/23691/stat : 23691 (pbscip.linux.x8) R 23689 23691 23512 0 -1 4202496 318447 0 0 0 111507 727 0 0 25 0 1 0 25507731 101257216 22709 4089446400 4194304 10345943 140737412175072 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23691/statm: 24721 22709 809 1502 0 23214 0 Current children cumulated CPU time (s) 1122.34 Current children cumulated vsize (KiB) 98884 [startup+1182.3 s] /proc/loadavg: 2.00 1.95 1.42 3/179 23737 /proc/meminfo: memFree=29162212/32951124 swapFree=67111528/67111528 [pid=23691] ppid=23689 vsize=97252 CPUtime=1182.35 /proc/23691/stat : 23691 (pbscip.linux.x8) R 23689 23691 23512 0 -1 4202496 319636 0 0 0 117470 765 0 0 25 0 1 0 25507731 99586048 22481 4089446400 4194304 10345943 140737412175072 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23691/statm: 24313 22481 809 1502 0 22806 0 Current children cumulated CPU time (s) 1182.35 Current children cumulated vsize (KiB) 97252 [startup+1242.3 s] /proc/loadavg: 2.00 1.96 1.45 3/179 23739 /proc/meminfo: memFree=29160644/32951124 swapFree=67111528/67111528 [pid=23691] ppid=23689 vsize=97920 CPUtime=1242.35 /proc/23691/stat : 23691 (pbscip.linux.x8) R 23689 23691 23512 0 -1 4202496 324649 0 0 0 123433 802 0 0 25 0 1 0 25507731 100270080 22588 4089446400 4194304 10345943 140737412175072 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23691/statm: 24480 22588 809 1502 0 22973 0 Current children cumulated CPU time (s) 1242.35 Current children cumulated vsize (KiB) 97920 [startup+1302.3 s] /proc/loadavg: 2.00 1.96 1.48 3/179 23741 /proc/meminfo: memFree=29157600/32951124 swapFree=67111528/67111528 [pid=23691] ppid=23689 vsize=97884 CPUtime=1302.36 /proc/23691/stat : 23691 (pbscip.linux.x8) R 23689 23691 23512 0 -1 4202496 329481 0 0 0 129400 836 0 0 25 0 1 0 25507731 100233216 22574 4089446400 4194304 10345943 140737412175072 18446744073709551615 6025852 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23691/statm: 24471 22574 809 1502 0 22964 0 Current children cumulated CPU time (s) 1302.36 Current children cumulated vsize (KiB) 97884 [startup+1362.3 s] /proc/loadavg: 2.06 1.98 1.52 3/179 23742 /proc/meminfo: memFree=29156912/32951124 swapFree=67111528/67111528 [pid=23691] ppid=23689 vsize=97884 CPUtime=1362.35 /proc/23691/stat : 23691 (pbscip.linux.x8) R 23689 23691 23512 0 -1 4202496 334943 0 0 0 135364 871 0 0 25 0 1 0 25507731 100233216 22600 4089446400 4194304 10345943 140737412175072 18446744073709551615 6119731 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23691/statm: 24471 22600 809 1502 0 22964 0 Current children cumulated CPU time (s) 1362.35 Current children cumulated vsize (KiB) 97884 [startup+1422.31 s] /proc/loadavg: 2.02 1.98 1.55 3/179 23743 /proc/meminfo: memFree=29156228/32951124 swapFree=67111528/67111528 [pid=23691] ppid=23689 vsize=97884 CPUtime=1422.37 /proc/23691/stat : 23691 (pbscip.linux.x8) R 23689 23691 23512 0 -1 4202496 341136 0 0 0 141333 904 0 0 25 0 1 0 25507731 100233216 22584 4089446400 4194304 10345943 140737412175072 18446744073709551615 6864723 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23691/statm: 24471 22584 809 1502 0 22964 0 Current children cumulated CPU time (s) 1422.37 Current children cumulated vsize (KiB) 97884 [startup+1482.3 s] /proc/loadavg: 2.00 1.98 1.57 3/179 23745 /proc/meminfo: memFree=29154416/32951124 swapFree=67111528/67111528 [pid=23691] ppid=23689 vsize=97884 CPUtime=1482.36 /proc/23691/stat : 23691 (pbscip.linux.x8) R 23689 23691 23512 0 -1 4202496 347399 0 0 0 147293 943 0 0 25 0 1 0 25507731 100233216 22578 4089446400 4194304 10345943 140737412175072 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23691/statm: 24471 22578 809 1502 0 22964 0 Current children cumulated CPU time (s) 1482.36 Current children cumulated vsize (KiB) 97884 [startup+1542.3 s] /proc/loadavg: 2.00 1.98 1.59 3/179 23747 /proc/meminfo: memFree=29153628/32951124 swapFree=67111528/67111528 [pid=23691] ppid=23689 vsize=98180 CPUtime=1542.36 /proc/23691/stat : 23691 (pbscip.linux.x8) R 23689 23691 23512 0 -1 4202496 352564 0 0 0 153262 974 0 0 25 0 1 0 25507731 100536320 22605 4089446400 4194304 10345943 140737412175072 18446744073709551615 6558685 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23691/statm: 24545 22605 809 1502 0 23038 0 Current children cumulated CPU time (s) 1542.36 Current children cumulated vsize (KiB) 98180 [startup+1602.3 s] /proc/loadavg: 2.00 1.98 1.62 3/179 23749 /proc/meminfo: memFree=29151828/32951124 swapFree=67111528/67111528 [pid=23691] ppid=23689 vsize=100864 CPUtime=1602.37 /proc/23691/stat : 23691 (pbscip.linux.x8) R 23689 23691 23512 0 -1 4202496 356571 0 0 0 159227 1010 0 0 25 0 1 0 25507731 103284736 22851 4089446400 4194304 10345943 140737412175072 18446744073709551615 7488806 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23691/statm: 25216 22851 809 1502 0 23709 0 Current children cumulated CPU time (s) 1602.37 Current children cumulated vsize (KiB) 100864 [startup+1662.3 s] /proc/loadavg: 2.00 1.98 1.64 3/179 23750 /proc/meminfo: memFree=29151136/32951124 swapFree=67111528/67111528 [pid=23691] ppid=23689 vsize=101092 CPUtime=1662.37 /proc/23691/stat : 23691 (pbscip.linux.x8) R 23689 23691 23512 0 -1 4202496 356761 0 0 0 165191 1046 0 0 25 0 1 0 25507731 103518208 23041 4089446400 4194304 10345943 140737412175072 18446744073709551615 6929840 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23691/statm: 25273 23041 809 1502 0 23766 0 Current children cumulated CPU time (s) 1662.37 Current children cumulated vsize (KiB) 101092 [startup+1722.3 s] /proc/loadavg: 2.00 1.98 1.66 3/179 23751 /proc/meminfo: memFree=29149704/32951124 swapFree=67111528/67111528 [pid=23691] ppid=23689 vsize=101092 CPUtime=1722.37 /proc/23691/stat : 23691 (pbscip.linux.x8) R 23689 23691 23512 0 -1 4202496 356792 0 0 0 171158 1079 0 0 25 0 1 0 25507731 103518208 23072 4089446400 4194304 10345943 140737412175072 18446744073709551615 4217045 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23691/statm: 25273 23072 809 1502 0 23766 0 Current children cumulated CPU time (s) 1722.37 Current children cumulated vsize (KiB) 101092 [startup+1782.3 s] /proc/loadavg: 2.00 1.98 1.68 3/179 23753 /proc/meminfo: memFree=29148628/32951124 swapFree=67111528/67111528 [pid=23691] ppid=23689 vsize=100796 CPUtime=1782.38 /proc/23691/stat : 23691 (pbscip.linux.x8) R 23689 23691 23512 0 -1 4202496 356995 0 0 0 177127 1111 0 0 25 0 1 0 25507731 103215104 22970 4089446400 4194304 10345943 140737412175072 18446744073709551615 7567050 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23691/statm: 25199 22970 809 1502 0 23692 0 Current children cumulated CPU time (s) 1782.38 Current children cumulated vsize (KiB) 100796 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 1.98 1.68 3/179 23753 /proc/meminfo: memFree=29148856/32951124 swapFree=67111528/67111528 [pid=23691] ppid=23689 vsize=100796 CPUtime=1785.57 /proc/23691/stat : 23691 (pbscip.linux.x8) R 23689 23691 23512 0 -1 4202496 356996 0 0 0 177445 1112 0 0 25 0 1 0 25507731 103215104 22971 4089446400 4194304 10345943 140737412175072 18446744073709551615 6556739 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23691/statm: 25199 22971 809 1502 0 23692 0 Current children cumulated CPU time (s) 1785.57 Current children cumulated vsize (KiB) 100796 [startup+1787.1 s] /proc/loadavg: 2.00 1.98 1.68 3/179 23753 /proc/meminfo: memFree=29148732/32951124 swapFree=67111528/67111528 [pid=23691] ppid=23689 vsize=100796 CPUtime=1787.18 /proc/23691/stat : 23691 (pbscip.linux.x8) R 23689 23691 23512 0 -1 4202496 356996 0 0 0 177605 1113 0 0 25 0 1 0 25507731 103215104 22971 4089446400 4194304 10345943 140737412175072 18446744073709551615 6557974 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23691/statm: 25199 22971 809 1502 0 23692 0 Current children cumulated CPU time (s) 1787.18 Current children cumulated vsize (KiB) 100796 [startup+1788.7 s] /proc/loadavg: 2.00 1.98 1.68 3/179 23753 /proc/meminfo: memFree=29148484/32951124 swapFree=67111528/67111528 [pid=23691] ppid=23689 vsize=100932 CPUtime=1788.78 /proc/23691/stat : 23691 (pbscip.linux.x8) R 23689 23691 23512 0 -1 4202496 356998 0 0 0 177764 1114 0 0 25 0 1 0 25507731 103354368 22973 4089446400 4194304 10345943 140737412175072 18446744073709551615 6068892 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23691/statm: 25233 22973 809 1502 0 23726 0 Current children cumulated CPU time (s) 1788.78 Current children cumulated vsize (KiB) 100932 [startup+1789.5 s] /proc/loadavg: 2.00 1.98 1.68 3/179 23753 /proc/meminfo: memFree=29148484/32951124 swapFree=67111528/67111528 [pid=23691] ppid=23689 vsize=100932 CPUtime=1789.57 /proc/23691/stat : 23691 (pbscip.linux.x8) R 23689 23691 23512 0 -1 4202496 357001 0 0 0 177843 1114 0 0 25 0 1 0 25507731 103354368 22976 4089446400 4194304 10345943 140737412175072 18446744073709551615 5085432 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23691/statm: 25233 22976 809 1502 0 23726 0 Current children cumulated CPU time (s) 1789.57 Current children cumulated vsize (KiB) 100932 [startup+1789.9 s] /proc/loadavg: 2.00 1.98 1.68 3/179 23753 /proc/meminfo: memFree=29148484/32951124 swapFree=67111528/67111528 [pid=23691] ppid=23689 vsize=100932 CPUtime=1789.97 /proc/23691/stat : 23691 (pbscip.linux.x8) R 23689 23691 23512 0 -1 4202496 357005 0 0 0 177883 1114 0 0 25 0 1 0 25507731 103354368 22980 4089446400 4194304 10345943 140737412175072 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23691/statm: 25233 22980 809 1502 0 23726 0 Current children cumulated CPU time (s) 1789.97 Current children cumulated vsize (KiB) 100932 [startup+1790 s] /proc/loadavg: 2.00 1.98 1.68 3/179 23753 /proc/meminfo: memFree=29148484/32951124 swapFree=67111528/67111528 [pid=23691] ppid=23689 vsize=100932 CPUtime=1790.07 /proc/23691/stat : 23691 (pbscip.linux.x8) R 23689 23691 23512 0 -1 4202496 357005 0 0 0 177893 1114 0 0 25 0 1 0 25507731 103354368 22980 4089446400 4194304 10345943 140737412175072 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23691/statm: 25233 22980 809 1502 0 23726 0 Current children cumulated CPU time (s) 1790.07 Current children cumulated vsize (KiB) 100932 Child status: 0 Real time (s): 1790.08 CPU time (s): 1790.16 CPU user time (s): 1779.01 CPU system time (s): 11.1553 CPU usage (%): 100.005 Max. virtual memory (cumulated for all children) (KiB): 101240 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1779.01 system time used= 11.1553 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 357083 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 1302 runsolver used 2.73758 second user time and 5.40818 second system time The end
Begin job on node143 at 2010-07-08 09:09:14 IDJOB=2705497 IDBENCH=78881 IDSOLVER=1214 FILE ID=node143/2705497-1278572953 PBS_JOBID= 11240168 Free space on /tmp= 73248 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.1900546417--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-2705497-1278572953/watcher-2705497-1278572953 -o /tmp/evaluation-result-2705497-1278572953/solver-2705497-1278572953 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705497-1278572953.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 23ad99b063b4d7278daca47962cd4526 RANDOM SEED=1915077510 node143.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.829 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 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.829 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 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.72 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.829 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 : 5338.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29375672 kB Buffers: 149856 kB Cached: 3205308 kB SwapCached: 0 kB Active: 1631956 kB Inactive: 1785408 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29375672 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 12984 kB Writeback: 0 kB AnonPages: 62484 kB Mapped: 14624 kB Slab: 94452 kB PageTables: 4500 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 181796 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= 73224 MiB End job on node143 at 2010-07-08 09:39:04