Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | MSAT (TO) | 1800.15 | 1800.09 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670234--soft-66-100-0.wbo |
MD5SUM | 20db9b5796300dda9a6b98219b888af4 |
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 | 2 |
Best CPU time to get the best result obtained on this benchmark | 926.065 |
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 | 911 |
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 | 46278 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 46277 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 641 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE] 0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-2693479-1277906350.wbo> 0.00/0.03 c original problem has 2053 variables (1142 bin, 0 int, 0 impl, 911 cont) and 3619 constraints 0.00/0.03 c problem read 0.00/0.03 c presolving settings loaded 0.03/0.04 c presolving: 0.03/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs 0.03/0.08 c (round 2) 0 del vars, 104 del conss, 911 chg bounds, 50 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs 0.03/0.09 c (round 3) 50 del vars, 246 del conss, 931 chg bounds, 142 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs 0.09/0.11 c (round 4) 120 del vars, 266 del conss, 931 chg bounds, 142 chg sides, 0 chg coeffs, 1671 upgd conss, 1117 impls, 11 clqs 0.09/0.12 c (round 5) 140 del vars, 266 del conss, 931 chg bounds, 142 chg sides, 0 chg coeffs, 1671 upgd conss, 1117 impls, 11 clqs 0.09/0.16 c (0.1s) probing: 101/1072 (9.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 0.09/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings 0.09/0.16 c presolving (6 rounds): 0.09/0.16 c 140 deleted vars, 266 deleted constraints, 931 tightened bounds, 0 added holes, 142 changed sides, 0 changed coefficients 0.09/0.16 c 1117 implications, 11 cliques 0.09/0.16 c presolved problem has 1913 variables (1072 bin, 0 int, 0 impl, 841 cont) and 3353 constraints 0.09/0.16 c 841 constraints of type <indicator> 0.09/0.16 c 11 constraints of type <setppc> 0.09/0.16 c 841 constraints of type <linear> 0.09/0.16 c 1660 constraints of type <logicor> 0.09/0.16 c transformed objective value is always integral (scale: 1) 0.09/0.16 c Presolving Time: 0.11 0.09/0.16 c - non default parameters ---------------------------------------------------------------------- 0.09/0.16 c # SCIP version 1.2.1.2 0.09/0.16 c 0.09/0.16 c # frequency for displaying node information lines 0.09/0.16 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.16 c display/freq = 10000 0.09/0.16 c 0.09/0.16 c # maximal time in seconds to run 0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.16 c limits/time = 1799.98 0.09/0.16 c 0.09/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.16 c limits/memory = 3420 0.09/0.16 c 0.09/0.16 c # should presolving try to simplify inequalities 0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.16 c constraints/linear/simplifyinequalities = TRUE 0.09/0.16 c 0.09/0.16 c # should presolving try to simplify knapsacks 0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.16 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.16 c 0.09/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.16 c separating/rapidlearning/freq = 0 0.09/0.16 c 0.09/0.16 c ----------------------------------------------------------------------------------------------- 0.09/0.16 c start solving 0.09/0.16 c 0.09/0.17 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.17 c 0.1s| 1 | 0 | 25 | - |8700k| 0 | 18 |1913 |3353 |1913 |1671 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.19/0.22 c 0.2s| 1 | 0 | 86 | - |8756k| 0 | 43 |1913 |3353 |1913 |1686 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf 0.19/0.27 c 0.2s| 1 | 0 | 123 | - |9014k| 0 | 47 |1913 |3353 |1913 |1700 | 29 | 0 | 0 | 0.000000e+00 | -- | Inf 0.39/0.42 c 0.4s| 1 | 0 | 556 | - |9032k| 0 | 54 |1913 |3353 |1913 |1710 | 39 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.57 c 0.5s| 1 | 0 | 881 | - |9061k| 0 | 74 |1913 |3353 |1913 |1728 | 57 | 0 | 0 | 0.000000e+00 | -- | Inf 0.59/0.69 c 0.6s| 1 | 0 | 902 | - |9067k| 0 | 76 |1913 |3353 |1913 |1735 | 64 | 0 | 0 | 0.000000e+00 | -- | Inf 0.79/0.81 c 0.8s| 1 | 0 | 941 | - |9067k| 0 | 81 |1913 |3353 |1913 |1736 | 65 | 0 | 0 | 0.000000e+00 | -- | Inf 3.39/3.42 c 3.3s| 1 | 2 | 941 | - |9099k| 0 | 81 |1913 |3353 |1913 |1736 | 65 | 0 | 33 | 0.000000e+00 | -- | Inf 3.39/3.43 o 42417 3.39/3.43 c y 3.3s| 2 | 1 | 941 | 0.0 |9130k| 1 | - |1913 |3353 | 0 | 0 | 65 | 0 | 33 | 0.000000e+00 | 4.241700e+04 | Inf 19.99/20.06 o 761 19.99/20.06 c *19.7s| 105 | 97 | 13370 | 119.5 |9704k| 21 | - |1913 |3367 |1913 |1732 | 99 | 14 | 290 | 0.000000e+00 | 7.610000e+02 | Inf 25.79/25.80 o 736 25.79/25.80 c *25.4s| 890 | 854 | 36289 | 39.8 | 13M| 63 | - |1913 |3402 |1913 |1726 | 502 | 49 | 377 | 0.000000e+00 | 7.360000e+02 | Inf 26.19/26.30 o 622 26.19/26.30 c *25.9s| 1151 | 1065 | 37761 | 32.0 | 14M| 63 | - |1913 |3434 |1913 |1735 | 691 | 81 | 393 | 0.000000e+00 | 6.220000e+02 | Inf 26.40/26.41 o 521 26.40/26.41 c *26.0s| 1225 | 1027 | 38069 | 30.3 | 14M| 63 | - |1913 |3433 |1913 |1733 | 733 | 81 | 398 | 0.000000e+00 | 5.210000e+02 | Inf 26.99/27.04 o 505 26.99/27.04 c *26.6s| 1289 | 1070 | 40123 | 30.4 | 14M| 63 | - |1913 |3455 |1913 |1744 | 789 | 103 | 416 | 0.000000e+00 | 5.050000e+02 | Inf 27.19/27.21 o 486 27.19/27.21 c *26.7s| 1323 | 1086 | 41190 | 30.4 | 14M| 63 | - |1913 |3455 |1913 |1743 | 833 | 103 | 416 | 0.000000e+00 | 4.860000e+02 | Inf 27.50/27.51 o 481 27.50/27.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 27.50/27.51 c *27.0s| 1332 | 1092 | 42367 | 31.1 | 14M| 63 | - |1913 |3455 |1913 |1724 | 833 | 103 | 422 | 0.000000e+00 | 4.810000e+02 | Inf 27.50/27.60 o 465 27.50/27.60 c *27.1s| 1351 | 1095 | 42860 | 31.1 | 14M| 63 | - |1913 |3469 |1913 |1743 | 852 | 117 | 422 | 0.000000e+00 | 4.650000e+02 | Inf 27.99/28.09 o 375 27.99/28.09 c *27.6s| 1384 | 958 | 44691 | 31.6 | 14M| 63 | - |1913 |3496 |1913 |1744 | 898 | 144 | 431 | 0.000000e+00 | 3.750000e+02 | Inf 32.19/32.22 o 357 32.19/32.22 c *31.7s| 1720 | 1126 | 63312 | 36.3 | 15M| 63 | - |1913 |3779 |1913 |1727 |1091 | 440 | 489 | 0.000000e+00 | 3.570000e+02 | Inf 33.40/33.46 o 314 33.40/33.46 c *32.9s| 1853 | 1112 | 70716 | 37.7 | 15M| 63 | - |1913 |3843 |1913 |1742 |1203 | 528 | 493 | 0.000000e+00 | 3.140000e+02 | Inf 33.49/33.50 o 292 33.49/33.50 c *32.9s| 1859 | 1075 | 70888 | 37.6 | 15M| 63 | - |1913 |3842 |1913 |1740 |1219 | 528 | 493 | 0.000000e+00 | 2.920000e+02 | Inf 33.79/33.82 o 273 33.79/33.82 c *33.3s| 1929 | 1080 | 72553 | 37.1 | 15M| 63 | - |1913 |3870 |1913 |1736 |1248 | 566 | 493 | 0.000000e+00 | 2.730000e+02 | Inf 33.89/33.95 o 266 33.89/33.95 c *33.4s| 1967 | 1078 | 73228 | 36.8 | 15M| 63 | - |1913 |3888 |1913 |1735 |1286 | 603 | 493 | 0.000000e+00 | 2.660000e+02 | Inf 34.59/34.63 o 262 34.59/34.63 c *34.0s| 2036 | 1108 | 77551 | 37.6 | 15M| 63 | - |1913 |3928 |1913 |1724 |1334 | 672 | 493 | 0.000000e+00 | 2.620000e+02 | Inf 36.89/36.91 o 257 36.89/36.91 c *36.3s| 2442 | 1397 | 90208 | 36.6 | 16M| 63 | - |1913 |4067 |1913 |1743 |1527 |1048 | 493 | 0.000000e+00 | 2.570000e+02 | Inf 37.79/37.86 o 256 37.79/37.86 c *37.2s| 2527 | 1446 | 96242 | 37.7 | 16M| 63 | - |1913 |4058 |1913 |1744 |1572 |1139 | 493 | 0.000000e+00 | 2.560000e+02 | Inf 38.19/38.21 o 251 38.19/38.21 c *37.5s| 2627 | 1483 | 97849 | 36.9 | 16M| 63 | - |1913 |4176 |1913 |1729 |1639 |1301 | 493 | 0.000000e+00 | 2.510000e+02 | Inf 38.29/38.38 o 237 38.29/38.38 c *37.7s| 2704 | 1472 | 98564 | 36.1 | 16M| 63 | - |1913 |4233 |1913 |1725 |1702 |1383 | 493 | 0.000000e+00 | 2.370000e+02 | Inf 38.29/38.40 o 210 38.29/38.40 c *37.7s| 2707 | 1368 | 98632 | 36.1 | 16M| 63 | - |1913 |4233 |1913 |1735 |1705 |1383 | 493 | 0.000000e+00 | 2.100000e+02 | Inf 38.50/38.58 o 188 38.50/38.58 c *37.9s| 2768 | 1305 | 99552 | 35.6 | 16M| 63 | - |1913 |4253 |1913 |1734 |1727 |1433 | 493 | 0.000000e+00 | 1.880000e+02 | Inf 38.89/38.92 o 182 38.89/38.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 38.89/38.92 c v38.2s| 2853 | 1335 |101405 | 35.2 | 16M| 63 | - |1913 |4285 |1913 |1724 |1788 |1514 | 493 | 0.000000e+00 | 1.820000e+02 | Inf 39.09/39.15 o 159 39.09/39.15 c *38.4s| 2901 | 1216 |102689 | 35.1 | 16M| 63 | - |1913 |4292 |1913 |1740 |1836 |1552 | 493 | 0.000000e+00 | 1.590000e+02 | Inf 41.19/41.28 o 108 41.19/41.28 c *40.5s| 3467 | 1069 |111393 | 31.9 | 17M| 63 | - |1913 |4474 |1913 |1748 |2363 |2096 | 502 | 0.000000e+00 | 1.080000e+02 | Inf 41.80/41.87 o 100 41.80/41.87 c *41.1s| 3581 | 1013 |113152 | 31.3 | 16M| 63 | - |1913 |4546 |1913 |1725 |2470 |2214 | 528 | 0.000000e+00 | 1.000000e+02 | Inf 42.29/42.30 o 93 42.29/42.30 c *41.5s| 3725 | 959 |115015 | 30.6 | 17M| 63 | - |1913 |4488 |1913 |1732 |2559 |2391 | 530 | 0.000000e+00 | 9.300000e+01 | Inf 43.69/43.75 o 84 43.69/43.75 c *42.9s| 3955 | 875 |120722 | 30.3 | 17M| 63 | - |1913 |4207 |1913 |1730 |2686 |2730 | 571 | 0.000000e+00 | 8.400000e+01 | Inf 44.00/44.00 o 62 44.00/44.00 c *43.2s| 3982 | 624 |122066 | 30.4 | 15M| 63 | - |1913 |4075 |1913 |1736 |2698 |2771 | 572 | 0.000000e+00 | 6.200000e+01 | Inf 44.00/44.02 o 46 44.00/44.02 c *43.2s| 3990 | 550 |122071 | 30.4 | 15M| 63 | - |1913 |3831 |1913 |1736 |2698 |2771 | 572 | 0.000000e+00 | 4.600000e+01 | Inf 44.00/44.04 o 8 44.00/44.04 c *43.2s| 4002 | 342 |122072 | 30.3 | 14M| 63 | - |1913 |3662 |1913 |1736 |2698 |2771 | 572 | 0.000000e+00 | 8.000000e+00 | Inf 57.10/57.11 c 55.7s| 10000 | 414 |206838 | 20.6 | 17M| 63 | - |1913 |7602 | 0 | 0 |3853 | 10k| 776 | 0.000000e+00 | 8.000000e+00 | Inf 77.19/77.29 c 75.2s| 20000 | 648 |330493 | 16.5 | 21M| 63 | 26 |1913 | 13k|1913 |1729 |6069 | 24k|1035 | 0.000000e+00 | 8.000000e+00 | Inf 98.19/98.26 c 95.4s| 30000 | 584 |449004 | 14.9 | 21M| 63 | - |1913 | 13k|1913 |1737 |8318 | 38k|1404 | 0.000000e+00 | 8.000000e+00 | Inf 117.70/117.75 c 114s| 40000 | 438 |560474 | 14.0 | 21M| 63 | - |1913 | 14k|1913 |1724 | 10k| 52k|1477 | 0.000000e+00 | 8.000000e+00 | Inf 139.29/139.31 o 7 139.29/139.31 c * 135s| 49032 | 366 |697904 | 14.2 | 21M| 63 | - |1913 | 14k|1913 |1724 | 11k| 65k|1606 | 0.000000e+00 | 7.000000e+00 | Inf 141.49/141.55 c 137s| 50000 | 355 |711619 | 14.2 | 20M| 63 | 22 |1913 | 14k|1913 |1724 | 11k| 66k|1610 | 0.000000e+00 | 7.000000e+00 | Inf 163.80/163.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 163.80/163.81 c 159s| 60000 | 429 |849464 | 14.1 | 22M| 63 | 12 |1913 | 18k|1913 |1724 | 14k| 80k|1852 | 0.000000e+00 | 7.000000e+00 | Inf 188.60/188.61 c 183s| 70000 | 632 |998244 | 14.2 | 27M| 63 | 7 |1913 | 25k|1913 |1724 | 15k| 94k|2095 | 0.000000e+00 | 7.000000e+00 | Inf 201.79/201.80 o 3 201.79/201.80 c * 195s| 75513 | 667 | 1067k| 14.1 | 28M| 63 | - |1913 | 26k|1913 |1729 | 16k| 102k|2211 | 0.000000e+00 | 3.000000e+00 | Inf 212.80/212.81 c 206s| 80000 | 583 | 1128k| 14.1 | 26M| 63 | 30 |1913 | 23k|1913 |1724 | 17k| 109k|2344 | 0.000000e+00 | 3.000000e+00 | Inf 237.79/237.83 c 230s| 90000 | 517 | 1274k| 14.1 | 26M| 63 | - |1913 | 24k| 0 | 0 | 19k| 123k|2582 | 0.000000e+00 | 3.000000e+00 | Inf 263.30/263.39 c 255s|100000 | 500 | 1422k| 14.2 | 26M| 63 | 14 |1913 | 23k|1913 |1724 | 20k| 138k|2818 | 0.000000e+00 | 3.000000e+00 | Inf 287.10/287.15 c 278s|110000 | 736 | 1552k| 14.1 | 30M| 63 | - |1913 | 29k|1913 |1729 | 22k| 153k|2980 | 0.000000e+00 | 3.000000e+00 | Inf 311.90/311.92 c 302s|120000 | 756 | 1683k| 14.0 | 31M| 63 | 19 |1913 | 29k|1913 |1724 | 23k| 167k|3237 | 0.000000e+00 | 3.000000e+00 | Inf 336.70/336.79 c 326s|130000 | 676 | 1810k| 13.9 | 30M| 63 | - |1913 | 28k|1913 |1724 | 25k| 183k|3399 | 0.000000e+00 | 3.000000e+00 | Inf 361.40/361.47 c 350s|140000 | 455 | 1938k| 13.8 | 27M| 63 | 20 |1913 | 23k|1913 |1731 | 27k| 197k|3560 | 0.000000e+00 | 3.000000e+00 | Inf 388.21/388.26 c 376s|150000 | 527 | 2093k| 14.0 | 28M| 63 | - |1913 | 24k| 0 | 0 | 27k| 211k|3887 | 0.000000e+00 | 3.000000e+00 | Inf 413.00/413.04 c 400s|160000 | 595 | 2237k| 14.0 | 30M| 63 | - |1913 | 28k| 0 | 0 | 29k| 226k|4063 | 0.000000e+00 | 3.000000e+00 | Inf 436.50/436.51 c 423s|170000 | 764 | 2357k| 13.9 | 33M| 63 | 22 |1913 | 33k|1913 |1724 | 31k| 240k|4198 | 0.000000e+00 | 3.000000e+00 | Inf 461.40/461.42 c 447s|180000 | 616 | 2479k| 13.8 | 32M| 63 | 23 |1913 | 32k|1913 |1724 | 32k| 255k|4343 | 0.000000e+00 | 3.000000e+00 | Inf 488.81/488.86 c 474s|190000 | 885 | 2628k| 13.8 | 34M| 63 | 1 |1913 | 33k|1913 |1724 | 34k| 270k|4561 | 0.000000e+00 | 3.000000e+00 | Inf 515.81/515.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 515.81/515.85 c 500s|200000 | 925 | 2774k| 13.9 | 35M| 63 | 21 |1913 | 35k|1913 |1724 | 35k| 284k|4722 | 0.000000e+00 | 3.000000e+00 | Inf 543.41/543.44 c 527s|210000 | 903 | 2922k| 13.9 | 36M| 63 | 18 |1913 | 35k|1913 |1731 | 36k| 299k|4873 | 0.000000e+00 | 3.000000e+00 | Inf 569.40/569.47 c 552s|220000 | 978 | 3059k| 13.9 | 35M| 63 | 21 |1913 | 33k|1913 |1724 | 38k| 313k|5060 | 0.000000e+00 | 3.000000e+00 | Inf 593.00/593.03 c 575s|230000 | 1004 | 3186k| 13.9 | 36M| 63 | 6 |1913 | 34k|1913 |1724 | 40k| 327k|5228 | 0.000000e+00 | 3.000000e+00 | Inf 618.51/618.54 c 599s|240000 | 1024 | 3325k| 13.9 | 37M| 63 | - |1913 | 36k| 0 | 0 | 43k| 341k|5399 | 0.000000e+00 | 3.000000e+00 | Inf 646.31/646.36 c 626s|250000 | 1074 | 3473k| 13.9 | 40M| 63 | 32 |1913 | 41k|1913 |1724 | 44k| 355k|5544 | 0.000000e+00 | 3.000000e+00 | Inf 673.71/673.75 c 653s|260000 | 1288 | 3615k| 13.9 | 42M| 63 | - |1913 | 44k| 0 | 0 | 45k| 370k|5679 | 0.000000e+00 | 3.000000e+00 | Inf 699.21/699.25 c 678s|270000 | 1511 | 3740k| 13.8 | 46M| 63 | - |1913 | 48k| 0 | 0 | 47k| 385k|5808 | 0.000000e+00 | 3.000000e+00 | Inf 725.91/725.99 c 704s|280000 | 1570 | 3859k| 13.8 | 46M| 63 | 14 |1913 | 48k|1913 |1724 | 50k| 400k|5937 | 0.000000e+00 | 3.000000e+00 | Inf 755.82/755.88 c 733s|290000 | 1831 | 4005k| 13.8 | 48M| 63 | - |1913 | 49k|1913 |1724 | 51k| 415k|6064 | 0.000000e+00 | 3.000000e+00 | Inf 783.52/783.51 c 759s|300000 | 2091 | 4142k| 13.8 | 51M| 63 | - |1913 | 52k| 0 | 0 | 53k| 430k|6200 | 0.000000e+00 | 3.000000e+00 | Inf 811.72/811.77 c 787s|310000 | 2171 | 4274k| 13.8 | 52M| 64 | 21 |1913 | 53k|1913 |1724 | 54k| 445k|6332 | 0.000000e+00 | 3.000000e+00 | Inf 840.32/840.39 c 815s|320000 | 2275 | 4409k| 13.8 | 53M| 64 | 20 |1913 | 53k|1913 |1724 | 56k| 459k|6457 | 0.000000e+00 | 3.000000e+00 | Inf 868.22/868.25 c 842s|330000 | 2427 | 4540k| 13.8 | 54M| 70 | 28 |1913 | 54k|1913 |1724 | 58k| 474k|6589 | 0.000000e+00 | 3.000000e+00 | Inf 896.42/896.45 c 869s|340000 | 2428 | 4674k| 13.7 | 55M| 70 | - |1913 | 55k| 0 | 0 | 59k| 490k|6703 | 0.000000e+00 | 3.000000e+00 | Inf 925.02/925.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 925.02/925.02 c 897s|350000 | 2462 | 4804k| 13.7 | 56M| 70 | - |1913 | 56k| 0 | 0 | 62k| 505k|6825 | 0.000000e+00 | 3.000000e+00 | Inf 954.02/954.06 c 925s|360000 | 2449 | 4942k| 13.7 | 56M| 70 | 24 |1913 | 55k|1913 |1724 | 63k| 520k|6957 | 0.000000e+00 | 3.000000e+00 | Inf 982.02/982.08 c 952s|370000 | 2470 | 5068k| 13.7 | 56M| 70 | 17 |1913 | 53k|1913 |1733 | 65k| 535k|7066 | 0.000000e+00 | 3.000000e+00 | Inf 1012.42/1012.41 c 982s|380000 | 2610 | 5208k| 13.7 | 57M| 70 | - |1913 | 52k|1913 |1729 | 67k| 549k|7165 | 0.000000e+00 | 3.000000e+00 | Inf 1040.02/1040.07 c 1009s|390000 | 2692 | 5339k| 13.7 | 59M| 70 | 13 |1913 | 57k|1913 |1724 | 69k| 564k|7308 | 0.000000e+00 | 3.000000e+00 | Inf 1069.42/1069.43 c 1037s|400000 | 2492 | 5474k| 13.7 | 56M| 70 | - |1913 | 51k|1913 |1724 | 71k| 579k|7426 | 0.000000e+00 | 3.000000e+00 | Inf 1098.32/1098.37 c 1065s|410000 | 2577 | 5617k| 13.7 | 58M| 70 | - |1913 | 54k| 0 | 0 | 73k| 594k|7541 | 0.000000e+00 | 3.000000e+00 | Inf 1128.02/1128.05 c 1094s|420000 | 2429 | 5753k| 13.7 | 56M| 70 | - |1913 | 50k|1913 |1724 | 74k| 609k|7630 | 0.000000e+00 | 3.000000e+00 | Inf 1156.13/1156.17 c 1122s|430000 | 2268 | 5886k| 13.7 | 55M| 70 | 20 |1913 | 50k|1913 |1724 | 76k| 624k|7717 | 0.000000e+00 | 3.000000e+00 | Inf 1183.83/1183.88 c 1149s|440000 | 2390 | 6008k| 13.7 | 58M| 70 | - |1913 | 55k| 0 | 0 | 78k| 640k|7815 | 0.000000e+00 | 3.000000e+00 | Inf 1213.23/1213.30 c 1177s|450000 | 2189 | 6142k| 13.6 | 54M| 70 | 23 |1913 | 47k|1913 |1724 | 80k| 655k|7967 | 0.000000e+00 | 3.000000e+00 | Inf 1241.93/1241.95 c 1205s|460000 | 2163 | 6280k| 13.7 | 50M| 70 | - |1913 | 36k|1913 |1724 | 81k| 669k|8312 | 0.000000e+00 | 3.000000e+00 | Inf 1269.73/1269.73 c 1232s|470000 | 2092 | 6418k| 13.7 | 50M| 70 | - |1913 | 35k|1913 |1728 | 83k| 682k|8364 | 0.000000e+00 | 3.000000e+00 | Inf 1294.83/1294.85 c 1256s|480000 | 2045 | 6560k| 13.7 | 51M| 70 | - |1913 | 37k| 0 | 0 | 85k| 697k|8457 | 0.000000e+00 | 3.000000e+00 | Inf 1321.14/1321.16 c 1282s|490000 | 1907 | 6706k| 13.7 | 47M| 70 | 24 |1913 | 31k|1913 |1724 | 86k| 711k|8537 | 0.000000e+00 | 3.000000e+00 | Inf 1347.13/1347.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1347.13/1347.10 c 1307s|500000 | 2017 | 6851k| 13.7 | 51M| 70 | 12 |1913 | 36k|1913 |1728 | 88k| 725k|8622 | 0.000000e+00 | 3.000000e+00 | Inf 1374.94/1374.95 c 1334s|510000 | 1735 | 6994k| 13.7 | 46M| 70 | 17 |1913 | 27k|1913 |1724 | 90k| 739k|8733 | 0.000000e+00 | 3.000000e+00 | Inf 1397.43/1397.42 c 1356s|520000 | 1846 | 7110k| 13.7 | 46M| 70 | 18 |1913 | 27k|1913 |1724 | 91k| 752k|8837 | 0.000000e+00 | 3.000000e+00 | Inf 1421.33/1421.37 c 1379s|530000 | 2083 | 7235k| 13.7 | 47M| 70 | 22 |1913 | 27k|1913 |1724 | 93k| 766k|8913 | 0.000000e+00 | 3.000000e+00 | Inf 1445.53/1445.50 c 1402s|540000 | 2298 | 7362k| 13.6 | 50M| 70 | - |1913 | 32k|1913 |1724 | 94k| 780k|9000 | 0.000000e+00 | 3.000000e+00 | Inf 1470.94/1470.92 c 1427s|550000 | 2410 | 7494k| 13.6 | 52M| 70 | - |1913 | 33k| 0 | 0 | 96k| 795k|9048 | 0.000000e+00 | 3.000000e+00 | Inf 1497.24/1497.26 c 1452s|560000 | 2492 | 7629k| 13.6 | 52M| 70 | 17 |1913 | 31k|1913 |1737 | 97k| 810k|9101 | 0.000000e+00 | 3.000000e+00 | Inf 1522.35/1522.30 c 1477s|570000 | 2429 | 7760k| 13.6 | 53M| 70 | - |1913 | 32k| 0 | 0 | 98k| 824k|9214 | 0.000000e+00 | 3.000000e+00 | Inf 1548.94/1548.91 c 1503s|580000 | 2389 | 7899k| 13.6 | 52M| 70 | - |1913 | 30k| 0 | 0 | 99k| 838k|9310 | 0.000000e+00 | 3.000000e+00 | Inf 1574.93/1574.91 c 1528s|590000 | 2285 | 8040k| 13.6 | 52M| 70 | 17 |1913 | 30k|1913 |1724 | 101k| 852k|9425 | 0.000000e+00 | 3.000000e+00 | Inf 1600.74/1600.76 c 1553s|600000 | 2289 | 8177k| 13.6 | 52M| 70 | - |1913 | 30k| 0 | 0 | 102k| 866k|9512 | 0.000000e+00 | 3.000000e+00 | Inf 1626.84/1626.86 c 1578s|610000 | 1829 | 8310k| 13.6 | 46M| 70 | 32 |1913 | 24k|1913 |1724 | 104k| 880k|9563 | 0.000000e+00 | 3.000000e+00 | Inf 1650.44/1650.45 c 1601s|620000 | 1273 | 8435k| 13.6 | 40M| 70 | 15 |1913 | 21k|1913 |1724 | 105k| 894k|9692 | 0.000000e+00 | 3.000000e+00 | Inf 1676.14/1676.19 c 1626s|630000 | 1420 | 8586k| 13.6 | 42M| 70 | 11 |1913 | 25k|1913 |1724 | 107k| 907k|9800 | 0.000000e+00 | 3.000000e+00 | Inf 1701.14/1701.14 c 1650s|640000 | 1793 | 8735k| 13.6 | 45M| 70 | 24 |1913 | 28k|1913 |1724 | 108k| 920k|9871 | 0.000000e+00 | 3.000000e+00 | Inf 1725.44/1725.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1725.44/1725.42 c 1674s|650000 | 2023 | 8871k| 13.6 | 47M| 70 | - |1913 | 30k| 0 | 0 | 109k| 934k|9911 | 0.000000e+00 | 3.000000e+00 | Inf 1750.74/1750.74 c 1698s|660000 | 2225 | 9007k| 13.6 | 49M| 70 | 18 |1913 | 31k|1913 |1724 | 111k| 947k| 10k| 0.000000e+00 | 3.000000e+00 | Inf 1774.35/1774.30 c 1721s|670000 | 2391 | 9124k| 13.6 | 50M| 70 | 18 |1913 | 32k|1913 |1724 | 112k| 960k| 10k| 0.000000e+00 | 3.000000e+00 | Inf 1798.25/1798.23 c 1744s|680000 | 2444 | 9248k| 13.6 | 52M| 70 | - |1913 | 35k|1913 |1724 | 114k| 974k| 10k| 0.000000e+00 | 3.000000e+00 | Inf 1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.05/1800.00 c 1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt] 1800.05/1800.00 c Solving Time (sec) : 1745.93 1800.05/1800.00 c Solving Nodes : 680762 1800.05/1800.00 c Primal Bound : +3.00000000000000e+00 (137 solutions) 1800.05/1800.00 c Dual Bound : +0.00000000000000e+00 1800.05/1800.00 c Gap : infinite 1800.05/1800.01 s SATISFIABLE 1800.05/1800.01 v x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 1800.05/1800.01 v -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 1800.05/1800.01 v -x188 -x187 -x186 x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 x168 1800.05/1800.01 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 1800.05/1800.01 v -x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 1800.05/1800.01 v -x125 -x124 x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 1800.05/1800.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 1800.05/1800.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 1800.05/1800.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 1800.05/1800.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 1800.05/1800.01 v -x1 1800.05/1800.01 c SCIP Status : solving was interrupted [user interrupt] 1800.05/1800.01 c Solving Time : 1745.93 1800.05/1800.01 c Original Problem : 1800.05/1800.01 c Problem name : HOME/instance-2693479-1277906350.wbo 1800.05/1800.01 c Variables : 2053 (1142 binary, 0 integer, 0 implicit integer, 911 continuous) 1800.05/1800.01 c Constraints : 3619 initial, 3619 maximal 1800.05/1800.01 c Presolved Problem : 1800.05/1800.01 c Problem name : t_HOME/instance-2693479-1277906350.wbo 1800.05/1800.01 c Variables : 1913 (1072 binary, 0 integer, 0 implicit integer, 841 continuous) 1800.05/1800.01 c Constraints : 3353 initial, 58546 maximal 1800.05/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.05/1800.01 c trivial : 0.00 70 0 0 0 0 0 0 0 1800.05/1800.01 c dualfix : 0.00 70 0 0 0 0 0 0 0 1800.05/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.01 c probing : 0.03 0 0 0 0 0 0 0 0 1800.05/1800.01 c indicator : 0.00 0 0 0 0 0 70 0 0 1800.05/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.01 c linear : 0.08 0 0 0 931 0 196 142 0 1800.05/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.01 c root node : - 822 - - 1644 - - - - 1800.05/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.05/1800.01 c integral : 0 0 0 396070 0 348 4290 0 0 738524 1800.05/1800.01 c indicator : 841 0 2915982 22569 0 34 215264 0 0 0 1800.05/1800.01 c setppc : 11 6 2935957 21970 0 30494 1785845 0 0 0 1800.05/1800.01 c linear : 841 6 2908636 22661 0 114880 9680697 114235 0 0 1800.05/1800.01 c logicor : 1660+ 6 1676695 1533 0 88791 6608216 0 0 0 1800.05/1800.01 c bounddisjunction : 0+ 0 234792 0 0 0 1 0 0 0 1800.05/1800.01 c countsols : 0 0 0 1533 0 0 0 0 0 0 1800.05/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.05/1800.01 c integral : 50.29 0.00 0.00 50.29 0.00 1800.05/1800.01 c indicator : 2.51 0.00 2.33 0.18 0.00 1800.05/1800.01 c setppc : 11.80 0.00 11.80 0.00 0.00 1800.05/1800.01 c linear : 66.68 0.00 66.29 0.39 0.00 1800.05/1800.01 c logicor : 272.16 0.00 272.13 0.03 0.00 1800.05/1800.01 c bounddisjunction : 0.27 0.00 0.27 0.00 0.00 1800.05/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.05/1800.01 c Propagators : Time Calls Cutoffs DomReds 1800.05/1800.01 c vbounds : 0.71 2 0 0 1800.05/1800.01 c rootredcost : 0.59 33 0 822 1800.05/1800.01 c pseudoobj : 47.70 2939447 429 164398 1800.05/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.05/1800.01 c propagation : 11.53 234594 233941 1575813 31.7 5287 25.5 - 1800.05/1800.01 c infeasible LP : 24.50 130235 130235 1105793 45.5 981 17.8 0 1800.05/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.05/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.05/1800.01 c pseudo solution : 0.01 12 12 77 19.6 4 13.8 - 1800.05/1800.01 c applied globally : - - - 975399 31.5 - - - 1800.05/1800.01 c applied locally : - - - 0 0.0 - - - 1800.05/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.05/1800.01 c cut pool : 0.00 5 - - 16 - (maximal pool size: 138) 1800.05/1800.01 c redcost : 10.38 396936 0 41052 0 0 1800.05/1800.01 c impliedbounds : 0.00 6 0 0 0 0 1800.05/1800.01 c intobj : 0.00 0 0 0 0 0 1800.05/1800.01 c cgmip : 0.00 0 0 0 0 0 1800.05/1800.01 c gomory : 0.22 6 0 0 1031 0 1800.05/1800.01 c strongcg : 0.17 6 0 0 642 0 1800.05/1800.01 c cmir : 0.03 6 0 0 1 0 1800.05/1800.02 c flowcover : 0.06 6 0 0 1 0 1800.05/1800.02 c clique : 0.00 6 0 0 0 0 1800.05/1800.02 c zerohalf : 0.00 0 0 0 0 0 1800.05/1800.02 c mcf : 0.00 1 0 0 0 0 1800.05/1800.02 c rapidlearning : 0.00 0 0 0 0 0 1800.05/1800.02 c Pricers : Time Calls Vars 1800.05/1800.02 c problem variables: 0.00 0 0 1800.05/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.05/1800.02 c relpscost : 50.04 373381 348 4290 0 0 738524 1800.05/1800.02 c pscost : 0.00 0 0 0 0 0 0 1800.05/1800.02 c inference : 0.05 1502 0 0 0 0 3004 1800.05/1800.02 c mostinf : 0.00 0 0 0 0 0 0 1800.05/1800.02 c leastinf : 0.00 0 0 0 0 0 0 1800.05/1800.02 c fullstrong : 0.00 0 0 0 0 0 0 1800.05/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0 1800.05/1800.02 c random : 0.00 0 0 0 0 0 0 1800.05/1800.02 c Primal Heuristics : Time Calls Found 1800.05/1800.02 c LP solutions : 0.00 - 31 1800.05/1800.02 c pseudo solutions : 0.00 - 0 1800.05/1800.02 c feaspump : 0.04 1 0 1800.05/1800.02 c oneopt : 0.66 33 0 1800.05/1800.02 c crossover : 0.39 8 0 1800.05/1800.02 c veclendiving : 0.32 206 1 1800.05/1800.02 c coefdiving : 0.54 206 0 1800.05/1800.02 c pscostdiving : 0.27 206 0 1800.05/1800.02 c fracdiving : 0.38 206 0 1800.05/1800.02 c linesearchdiving : 0.41 207 0 1800.05/1800.02 c guideddiving : 0.55 207 0 1800.05/1800.02 c objpscostdiving : 0.16 122 0 1800.05/1800.02 c rootsoldiving : 0.32 122 0 1800.05/1800.02 c trivial : 0.00 2 0 1800.05/1800.02 c simplerounding : 0.69 373466 0 1800.05/1800.02 c zirounding : 0.21 1000 0 1800.05/1800.02 c rounding : 0.81 8544 0 1800.05/1800.02 c shifting : 0.81 2682 0 1800.05/1800.02 c intshifting : 0.01 15 0 1800.05/1800.02 c twoopt : 0.00 0 0 1800.05/1800.02 c fixandinfer : 0.00 0 0 1800.05/1800.02 c intdiving : 0.00 0 0 1800.05/1800.02 c actconsdiving : 0.00 0 0 1800.05/1800.02 c octane : 0.00 0 0 1800.05/1800.02 c rens : 0.02 1 0 1800.05/1800.02 c rins : 0.00 0 0 1800.05/1800.02 c localbranching : 0.00 0 0 1800.05/1800.02 c mutation : 0.00 0 0 1800.05/1800.02 c dins : 0.00 0 0 1800.05/1800.02 c undercover : 0.00 0 0 1800.05/1800.02 c nlp : 0.08 0 0 1800.05/1800.02 c trysol : 0.41 1512 105 1800.05/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec 1800.05/1800.02 c primal LP : 0.00 0 0 0.00 - 1800.05/1800.02 c dual LP : 882.26 522308 9245396 17.70 10479.22 1800.05/1800.02 c lex dual LP : 0.00 0 0 0.00 - 1800.05/1800.02 c barrier LP : 0.00 0 0 0.00 - 1800.05/1800.02 c diving/probing LP: 1.98 1159 12051 10.40 6086.36 1800.05/1800.02 c strong branching : 46.27 10170 409654 40.28 8853.56 1800.05/1800.02 c (at root node) : - 33 19626 594.73 - 1800.05/1800.02 c conflict analysis: 0.00 0 0 0.00 - 1800.05/1800.02 c B&B Tree : 1800.05/1800.02 c number of runs : 1 1800.05/1800.02 c nodes : 680762 1800.05/1800.02 c nodes (total) : 680762 1800.05/1800.02 c nodes left : 2445 1800.05/1800.02 c max depth : 70 1800.05/1800.02 c max depth (total): 70 1800.05/1800.02 c backtracks : 114987 (16.9%) 1800.05/1800.02 c delayed cutoffs : 55982 1800.05/1800.02 c repropagations : 923022 (4310886 domain reductions, 54108 cutoffs) 1800.05/1800.02 c avg switch length: 4.46 1800.05/1800.02 c switching time : 208.42 1800.05/1800.02 c Solution : 1800.05/1800.02 c Solutions found : 137 (33 improvements) 1800.05/1800.02 c First Solution : +4.24170000000000e+04 (in run 1, after 1 nodes, 0.77 seconds, depth 0, found by <trysol>) 1800.05/1800.02 c Primal Bound : +3.00000000000000e+00 (in run 1, after 75513 nodes, 195.49 seconds, depth 42, found by <relaxation>) 1800.05/1800.02 c Dual Bound : +0.00000000000000e+00 1800.05/1800.02 c Gap : infinite 1800.05/1800.02 c Root Dual Bound : +0.00000000000000e+00 1800.05/1800.02 c Root Iterations : 941 1800.05/1800.09 c Time complete: 1800.13.
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693479-1277906350/watcher-2693479-1277906350 -o /tmp/evaluation-result-2693479-1277906350/solver-2693479-1277906350 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693479-1277906350.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.07 2.02 2.00 4/178 10004 /proc/meminfo: memFree=31664992/32951124 swapFree=67111528/67111528 [pid=10004] ppid=10002 vsize=10868 CPUtime=0 /proc/10004/stat : 10004 (pbscip.linux.x8) R 10002 10004 9397 0 -1 4202496 1666 0 0 0 0 0 0 0 25 0 1 0 131932541 11128832 1586 4089446400 4194304 9819077 140733197132832 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/10004/statm: 2717 1586 392 1374 0 1338 0 [startup+0.0382039 s] /proc/loadavg: 2.07 2.02 2.00 4/178 10004 /proc/meminfo: memFree=31664992/32951124 swapFree=67111528/67111528 [pid=10004] ppid=10002 vsize=21180 CPUtime=0.03 /proc/10004/stat : 10004 (pbscip.linux.x8) R 10002 10004 9397 0 -1 4202496 4639 0 0 0 3 0 0 0 25 0 1 0 131932541 21688320 4205 4089446400 4194304 9819077 140733197132832 18446744073709551615 6181695 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10004/statm: 5330 4225 441 1374 0 3951 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 21180 [startup+0.101194 s] /proc/loadavg: 2.07 2.02 2.00 4/178 10004 /proc/meminfo: memFree=31664992/32951124 swapFree=67111528/67111528 [pid=10004] ppid=10002 vsize=25048 CPUtime=0.09 /proc/10004/stat : 10004 (pbscip.linux.x8) R 10002 10004 9397 0 -1 4202496 6431 0 0 0 8 1 0 0 25 0 1 0 131932541 25649152 4969 4089446400 4194304 9819077 140733197132832 18446744073709551615 4333616 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10004/statm: 6005 4712 498 1374 0 4626 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 25048 [startup+0.301167 s] /proc/loadavg: 2.07 2.02 2.00 4/178 10004 /proc/meminfo: memFree=31664992/32951124 swapFree=67111528/67111528 [pid=10004] ppid=10002 vsize=33356 CPUtime=0.29 /proc/10004/stat : 10004 (pbscip.linux.x8) R 10002 10004 9397 0 -1 4202496 10611 0 0 0 27 2 0 0 18 0 1 0 131932541 34156544 6734 4089446400 4194304 9819077 140733197132832 18446744073709551615 8494951 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10004/statm: 8339 6734 679 1374 0 6960 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 33356 [startup+0.701096 s] /proc/loadavg: 2.07 2.02 2.00 4/178 10004 /proc/meminfo: memFree=31664992/32951124 swapFree=67111528/67111528 [pid=10004] ppid=10002 vsize=37852 CPUtime=0.69 /proc/10004/stat : 10004 (pbscip.linux.x8) R 10002 10004 9397 0 -1 4202496 12422 0 0 0 67 2 0 0 18 0 1 0 131932541 38760448 7832 4089446400 4194304 9819077 140733197132832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10004/statm: 9463 7832 680 1374 0 8084 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37852 [startup+1.50094 s] /proc/loadavg: 2.07 2.02 2.00 3/179 10005 /proc/meminfo: memFree=31634968/32951124 swapFree=67111528/67111528 [pid=10004] ppid=10002 vsize=41328 CPUtime=1.49 /proc/10004/stat : 10004 (pbscip.linux.x8) R 10002 10004 9397 0 -1 4202496 24058 0 0 0 145 4 0 0 19 0 1 0 131932541 42319872 8099 4089446400 4194304 9819077 140733197132832 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10004/statm: 10332 8099 716 1374 0 8953 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 41328 [startup+3.10065 s] /proc/loadavg: 2.07 2.02 2.00 3/179 10005 /proc/meminfo: memFree=31634844/32951124 swapFree=67111528/67111528 [pid=10004] ppid=10002 vsize=41372 CPUtime=3.09 /proc/10004/stat : 10004 (pbscip.linux.x8) R 10002 10004 9397 0 -1 4202496 32981 0 0 0 303 6 0 0 24 0 1 0 131932541 42364928 8101 4089446400 4194304 9819077 140733197132832 18446744073709551615 7298818 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10004/statm: 10343 8101 716 1374 0 8964 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 41372 [startup+6.30107 s] /proc/loadavg: 2.07 2.02 2.00 3/179 10005 /proc/meminfo: memFree=31634880/32951124 swapFree=67111528/67111528 [pid=10004] ppid=10002 vsize=41804 CPUtime=6.29 /proc/10004/stat : 10004 (pbscip.linux.x8) R 10002 10004 9397 0 -1 4202496 52891 0 0 0 617 12 0 0 25 0 1 0 131932541 42807296 8134 4089446400 4194304 9819077 140733197132832 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10004/statm: 10451 8134 718 1374 0 9072 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 41804 [startup+12.7009 s] /proc/loadavg: 2.06 2.02 2.00 3/179 10005 /proc/meminfo: memFree=31634632/32951124 swapFree=67111528/67111528 [pid=10004] ppid=10002 vsize=41928 CPUtime=12.69 /proc/10004/stat : 10004 (pbscip.linux.x8) R 10002 10004 9397 0 -1 4202496 94487 0 0 0 1248 21 0 0 25 0 1 0 131932541 42934272 8128 4089446400 4194304 9819077 140733197132832 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10004/statm: 10482 8130 719 1374 0 9103 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 41928 [startup+25.5006 s] /proc/loadavg: 2.05 2.01 2.00 3/179 10006 /proc/meminfo: memFree=31630984/32951124 swapFree=67111528/67111528 [pid=10004] ppid=10002 vsize=44340 CPUtime=25.49 /proc/10004/stat : 10004 (pbscip.linux.x8) R 10002 10004 9397 0 -1 4202496 184643 0 0 0 2509 40 0 0 25 0 1 0 131932541 45404160 9053 4089446400 4194304 9819077 140733197132832 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10004/statm: 11085 9053 724 1374 0 9706 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 44340 [startup+51.1009 s] /proc/loadavg: 2.03 2.01 2.00 3/179 10007 /proc/meminfo: memFree=31616868/32951124 swapFree=67111528/67111528 [pid=10004] ppid=10002 vsize=56988 CPUtime=51.09 /proc/10004/stat : 10004 (pbscip.linux.x8) R 10002 10004 9397 0 -1 4202496 449575 0 0 0 4997 112 0 0 25 0 1 0 131932541 58355712 12406 4089446400 4194304 9819077 140733197132832 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10004/statm: 14247 12408 742 1374 0 12868 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 56988 [startup+102.307 s] /proc/loadavg: 2.01 2.01 2.00 3/179 10008 /proc/meminfo: memFree=31608272/32951124 swapFree=67111528/67111528 [pid=10004] ppid=10002 vsize=65128 CPUtime=102.3 /proc/10004/stat : 10004 (pbscip.linux.x8) R 10002 10004 9397 0 -1 4202496 1045782 0 0 0 9929 301 0 0 25 0 1 0 131932541 66691072 14448 4089446400 4194304 9819077 140733197132832 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10004/statm: 16282 14448 742 1374 0 14903 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 65128 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10018 /proc/meminfo: memFree=31601744/32951124 swapFree=67111528/67111528 [pid=10004] ppid=10002 vsize=70100 CPUtime=162.29 /proc/10004/stat : 10004 (pbscip.linux.x8) R 10002 10004 9397 0 -1 4202496 1624699 0 0 0 15725 504 0 0 25 0 1 0 131932541 71782400 15670 4089446400 4194304 9819077 140733197132832 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10004/statm: 17525 15670 742 1374 0 16146 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 70100 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10020 /proc/meminfo: memFree=31596848/32951124 swapFree=67111528/67111528 [pid=10004] ppid=10002 vsize=74840 CPUtime=222.29 /proc/10004/stat : 10004 (pbscip.linux.x8) R 10002 10004 9397 0 -1 4202496 2180623 0 0 0 21538 691 0 0 25 0 1 0 131932541 76636160 16805 4089446400 4194304 9819077 140733197132832 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10004/statm: 18710 16805 742 1374 0 17331 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 74840 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10022 /proc/meminfo: memFree=31595684/32951124 swapFree=67111528/67111528 [pid=10004] ppid=10002 vsize=76328 CPUtime=282.3 /proc/10004/stat : 10004 (pbscip.linux.x8) R 10002 10004 9397 0 -1 4202496 2771401 0 0 0 27344 886 0 0 25 0 1 0 131932541 78159872 17187 4089446400 4194304 9819077 140733197132832 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10004/statm: 19082 17187 742 1374 0 17703 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 76328 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10024 /proc/meminfo: memFree=31592036/32951124 swapFree=67111528/67111528 [pid=10004] ppid=10002 vsize=79188 CPUtime=342.3 /proc/10004/stat : 10004 (pbscip.linux.x8) R 10002 10004 9397 0 -1 4202496 3329950 0 0 0 33158 1072 0 0 25 0 1 0 131932541 81088512 18036 4089446400 4194304 9819077 140733197132832 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10004/statm: 19797 18036 742 1374 0 18418 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 79188 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10025 /proc/meminfo: memFree=31591512/32951124 swapFree=67111528/67111528 [pid=10004] ppid=10002 vsize=80496 CPUtime=402.3 /proc/10004/stat : 10004 (pbscip.linux.x8) R 10002 10004 9397 0 -1 4202496 3939654 0 0 0 38967 1263 0 0 25 0 1 0 131932541 82427904 18141 4089446400 4194304 9819077 140733197132832 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10004/statm: 20124 18141 742 1374 0 18745 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 80496 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10054 /proc/meminfo: memFree=31723332/32951124 swapFree=67111528/67111528 [pid=10004] ppid=10002 vsize=81768 CPUtime=462.3 /proc/10004/stat : 10004 (pbscip.linux.x8) R 10002 10004 9397 0 -1 4202496 4526553 0 0 0 44773 1457 0 0 25 0 1 0 131932541 83730432 18543 4089446400 4194304 9819077 140733197132832 18446744073709551615 7315994 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10004/statm: 20442 18543 742 1374 0 19063 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 81768 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10056 /proc/meminfo: memFree=31650600/32951124 swapFree=67111528/67111528 [pid=10004] ppid=10002 vsize=84184 CPUtime=522.3 /proc/10004/stat : 10004 (pbscip.linux.x8) R 10002 10004 9397 0 -1 4202496 5036661 0 0 0 50608 1622 0 0 25 0 1 0 131932541 86204416 18918 4089446400 4194304 9819077 140733197132832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10004/statm: 21046 18918 742 1374 0 19667 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 84184 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10058 /proc/meminfo: memFree=31578504/32951124 swapFree=67111528/67111528 [pid=10004] ppid=10002 vsize=85596 CPUtime=582.31 /proc/10004/stat : 10004 (pbscip.linux.x8) R 10002 10004 9397 0 -1 4202496 5598035 0 0 0 56424 1807 0 0 25 0 1 0 131932541 87650304 19273 4089446400 4194304 9819077 140733197132832 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10004/statm: 21399 19273 742 1374 0 20020 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 85596 [startup+642.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10060 /proc/meminfo: memFree=31506636/32951124 swapFree=67111528/67111528 [pid=10004] ppid=10002 vsize=89436 CPUtime=642.31 /proc/10004/stat : 10004 (pbscip.linux.x8) R 10002 10004 9397 0 -1 4202496 6184414 0 0 0 62235 1996 0 0 25 0 1 0 131932541 91582464 20256 4089446400 4194304 9819077 140733197132832 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10004/statm: 22359 20256 742 1374 0 20980 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 89436 [startup+702.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10064 /proc/meminfo: memFree=31464836/32951124 swapFree=67111528/67111528 [pid=10004] ppid=10002 vsize=104812 CPUtime=822.31 /proc/10004/stat : 10004 (pbscip.linux.x8) R 10002 10004 9397 0 -1 4202496 7703987 0 0 0 79722 2509 0 0 25 0 1 0 131932541 107327488 24075 4089446400 4194304 9819077 140733197132832 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10004/statm: 26203 24075 742 1374 0 24824 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 104812 [startup+882.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10066 /proc/meminfo: memFree=31457936/32951124 swapFree=67111528/67111528 [pid=10004] ppid=10002 vsize=107284 CPUtime=882.31 /proc/10004/stat : 10004 (pbscip.linux.x8) R 10002 10004 9397 0 -1 4202496 8194076 0 0 0 85555 2676 0 0 25 0 1 0 131932541 109858816 24719 4089446400 4194304 9819077 140733197132832 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10004/statm: 26821 24719 742 1374 0 25442 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 107284 [startup+942.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10068 /proc/meminfo: memFree=31452296/32951124 swapFree=67111528/67111528 [pid=10004] ppid=10002 vsize=110436 CPUtime=942.32 /proc/10004/stat : 10004 (pbscip.linux.x8) R 10002 10004 9397 0 -1 4202496 8703396 0 0 0 91385 2847 0 0 25 0 1 0 131932541 113086464 25465 4089446400 4194304 9819077 140733197132832 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10004/statm: 27609 25467 742 1374 0 26230 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 110436 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10069 /proc/meminfo: memFree=31447788/32951124 swapFree=67111528/67111528 [pid=10004] ppid=10002 vsize=114156 CPUtime=1002.32 /proc/10004/stat : 10004 (pbscip.linux.x8) R 10002 10004 9397 0 -1 4202496 9216904 0 0 0 97213 3019 0 0 25 0 1 0 131932541 116895744 26092 4089446400 4194304 9819077 140733197132832 18446744073709551615 7816457 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10004/statm: 28539 26092 742 1374 0 27160 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 114156 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10070 /proc/meminfo: memFree=31444020/32951124 swapFree=67111528/67111528 [pid=10004] ppid=10002 vsize=115284 CPUtime=1062.32 /proc/10004/stat : 10004 (pbscip.linux.x8) R 10002 10004 9397 0 -1 4202496 9700853 0 0 0 103046 3186 0 0 25 0 1 0 131932541 118050816 26273 4089446400 4194304 9819077 140733197132832 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10004/statm: 28821 26273 742 1374 0 27442 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 115284 [startup+1122.3 s] /proc/loadavg: 2.05 2.01 2.00 3/179 10072 /proc/meminfo: memFree=31448292/32951124 swapFree=67111528/67111528 [pid=10004] ppid=10002 vsize=116216 CPUtime=1122.32 /proc/10004/stat : 10004 (pbscip.linux.x8) R 10002 10004 9397 0 -1 4202496 10202613 0 0 0 108878 3354 0 0 25 0 1 0 131932541 119005184 26385 4089446400 4194304 9819077 140733197132832 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10004/statm: 29054 26385 742 1374 0 27675 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 116216 [startup+1182.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 10074 /proc/meminfo: memFree=31447512/32951124 swapFree=67111528/67111528 [pid=10004] ppid=10002 vsize=116980 CPUtime=1182.32 /proc/10004/stat : 10004 (pbscip.linux.x8) R 10002 10004 9397 0 -1 4202496 10701924 0 0 0 114709 3523 0 0 25 0 1 0 131932541 119787520 26508 4089446400 4194304 9819077 140733197132832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10004/statm: 29245 26508 742 1374 0 27866 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 116980 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10076 /proc/meminfo: memFree=31445248/32951124 swapFree=67111528/67111528 [pid=10004] ppid=10002 vsize=117220 CPUtime=1242.33 /proc/10004/stat : 10004 (pbscip.linux.x8) R 10002 10004 9397 0 -1 4202496 11180853 0 0 0 120542 3691 0 0 25 0 1 0 131932541 120033280 26734 4089446400 4194304 9819077 140733197132832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10004/statm: 29305 26734 742 1374 0 27926 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 117220 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10077 /proc/meminfo: memFree=31443356/32951124 swapFree=67111528/67111528 [pid=10004] ppid=10002 vsize=118004 CPUtime=1302.34 /proc/10004/stat : 10004 (pbscip.linux.x8) R 10002 10004 9397 0 -1 4202496 11718469 0 0 0 126358 3876 0 0 25 0 1 0 131932541 120836096 26899 4089446400 4194304 9819077 140733197132832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10004/statm: 29501 26899 742 1374 0 28122 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 118004 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10078 /proc/meminfo: memFree=31441712/32951124 swapFree=67111528/67111528 [pid=10004] ppid=10002 vsize=120160 CPUtime=1362.33 /proc/10004/stat : 10004 (pbscip.linux.x8) R 10002 10004 9397 0 -1 4202496 12298889 0 0 0 132171 4062 0 0 25 0 1 0 131932541 123043840 27142 4089446400 4194304 9819077 140733197132832 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10004/statm: 30040 27142 742 1374 0 28661 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 120160 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10080 /proc/meminfo: memFree=31440548/32951124 swapFree=67111528/67111528 [pid=10004] ppid=10002 vsize=120288 CPUtime=1422.34 /proc/10004/stat : 10004 (pbscip.linux.x8) R 10002 10004 9397 0 -1 4202496 12868844 0 0 0 137983 4251 0 0 25 0 1 0 131932541 123174912 27248 4089446400 4194304 9819077 140733197132832 18446744073709551615 5913498 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10004/statm: 30072 27248 742 1374 0 28693 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 120288 [startup+1482.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 10082 /proc/meminfo: memFree=31440364/32951124 swapFree=67111528/67111528 [pid=10004] ppid=10002 vsize=120724 CPUtime=1482.34 /proc/10004/stat : 10004 (pbscip.linux.x8) R 10002 10004 9397 0 -1 4202496 13400257 0 0 0 143802 4432 0 0 25 0 1 0 131932541 123621376 27323 4089446400 4194304 9819077 140733197132832 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10004/statm: 30181 27323 742 1374 0 28802 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 120724 [startup+1542.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 10084 /proc/meminfo: memFree=31437708/32951124 swapFree=67111528/67111528 [pid=10004] ppid=10002 vsize=121520 CPUtime=1542.34 /proc/10004/stat : 10004 (pbscip.linux.x8) R 10002 10004 9397 0 -1 4202496 13956717 0 0 0 149618 4616 0 0 25 0 1 0 131932541 124436480 27576 4089446400 4194304 9819077 140733197132832 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10004/statm: 30380 27576 742 1374 0 29001 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 121520 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10085 /proc/meminfo: memFree=31437416/32951124 swapFree=67111528/67111528 [pid=10004] ppid=10002 vsize=121620 CPUtime=1602.34 /proc/10004/stat : 10004 (pbscip.linux.x8) R 10002 10004 9397 0 -1 4202496 14518263 0 0 0 155437 4797 0 0 25 0 1 0 131932541 124538880 27661 4089446400 4194304 9819077 140733197132832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10004/statm: 30405 27661 742 1374 0 29026 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 121620 [startup+1662.3 s] /proc/loadavg: 2.07 2.02 2.00 3/179 10086 /proc/meminfo: memFree=31435256/32951124 swapFree=67111528/67111528 [pid=10004] ppid=10002 vsize=122920 CPUtime=1662.33 /proc/10004/stat : 10004 (pbscip.linux.x8) R 10002 10004 9397 0 -1 4202496 15067748 0 0 0 161253 4980 0 0 25 0 1 0 131932541 125870080 27723 4089446400 4194304 9819077 140733197132832 18446744073709551615 7292332 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10004/statm: 30730 27723 742 1374 0 29351 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 122920 [startup+1722.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 10088 /proc/meminfo: memFree=31433948/32951124 swapFree=67111528/67111528 [pid=10004] ppid=10002 vsize=122760 CPUtime=1722.34 /proc/10004/stat : 10004 (pbscip.linux.x8) R 10002 10004 9397 0 -1 4202496 15655621 0 0 0 167066 5168 0 0 25 0 1 0 131932541 125706240 27780 4089446400 4194304 9819077 140733197132832 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10004/statm: 30690 27780 742 1374 0 29311 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 122760 [startup+1782.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 10090 /proc/meminfo: memFree=31433656/32951124 swapFree=67111528/67111528 [pid=10004] ppid=10002 vsize=122736 CPUtime=1782.34 /proc/10004/stat : 10004 (pbscip.linux.x8) R 10002 10004 9397 0 -1 4202496 16199346 0 0 0 172878 5356 0 0 25 0 1 0 131932541 125681664 27803 4089446400 4194304 9819077 140733197132832 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10004/statm: 30783 27805 742 1374 0 29404 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 122736 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10090 /proc/meminfo: memFree=31433896/32951124 swapFree=67111528/67111528 [pid=10004] ppid=10002 vsize=122944 CPUtime=1800.05 /proc/10004/stat : 10004 (pbscip.linux.x8) R 10002 10004 9397 0 -1 4202496 16368136 0 0 0 174595 5410 0 0 25 0 1 0 131932541 125894656 27804 4089446400 4194304 9819077 140733197132832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10004/statm: 30736 27804 742 1374 0 29357 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 122944 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.09 CPU time (s): 1800.15 CPU user time (s): 1746.04 CPU system time (s): 54.1098 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 125244 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1746.04 system time used= 54.1098 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16368159 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= 3 involuntary context switches= 2714 runsolver used 3.02554 second user time and 5.95409 second system time The end
Begin job on node104 at 2010-06-30 15:59:10 IDJOB=2693479 IDBENCH=78938 IDSOLVER=1205 FILE ID=node104/2693479-1277906350 PBS_JOBID= 11197227 Free space on /tmp= 74204 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 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.1900670234--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-2693479-1277906350/watcher-2693479-1277906350 -o /tmp/evaluation-result-2693479-1277906350/solver-2693479-1277906350 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693479-1277906350.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 20db9b5796300dda9a6b98219b888af4 RANDOM SEED=2096257169 node104.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.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 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.12 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.839 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.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 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.83 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.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31665644 kB Buffers: 184660 kB Cached: 704252 kB SwapCached: 0 kB Active: 610288 kB Inactive: 535568 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31665644 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 6228 kB Writeback: 0 kB AnonPages: 256792 kB Mapped: 17240 kB Slab: 76884 kB PageTables: 5256 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 407024 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= 74200 MiB End job on node104 at 2010-06-30 16:29:12