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.1 | 1800.08 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900558739--soft-66-100-0.wbo |
MD5SUM | 099eb4454f9d71550aca948671f10d54 |
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 | 408.702 |
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 | 900 |
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 | 45741 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 45740 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 649 |
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-2693451-1277904851.wbo> 0.00/0.02 c original problem has 2031 variables (1131 bin, 0 int, 0 impl, 900 cont) and 3608 constraints 0.00/0.02 c problem read 0.00/0.02 c presolving settings loaded 0.00/0.04 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, 1116 impls, 15 clqs 0.00/0.07 c (round 2) 0 del vars, 115 del conss, 900 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1116 impls, 15 clqs 0.06/0.08 c (round 3) 53 del vars, 258 del conss, 916 chg bounds, 143 chg sides, 0 chg coeffs, 0 upgd conss, 1116 impls, 15 clqs 0.06/0.10 c (round 4) 122 del vars, 274 del conss, 916 chg bounds, 143 chg sides, 0 chg coeffs, 1672 upgd conss, 1116 impls, 15 clqs 0.09/0.11 c (round 5) 138 del vars, 274 del conss, 916 chg bounds, 143 chg sides, 0 chg coeffs, 1672 upgd conss, 1116 impls, 15 clqs 0.09/0.15 c (0.1s) probing: 101/1062 (9.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 0.09/0.15 c (0.1s) probing aborted: 100/100 successive totally useless probings 0.09/0.15 c presolving (6 rounds): 0.09/0.15 c 138 deleted vars, 274 deleted constraints, 916 tightened bounds, 0 added holes, 143 changed sides, 0 changed coefficients 0.09/0.15 c 1116 implications, 15 cliques 0.09/0.15 c presolved problem has 1893 variables (1062 bin, 0 int, 0 impl, 831 cont) and 3334 constraints 0.09/0.15 c 831 constraints of type <indicator> 0.09/0.15 c 15 constraints of type <setppc> 0.09/0.15 c 831 constraints of type <linear> 0.09/0.15 c 1657 constraints of type <logicor> 0.09/0.15 c transformed objective value is always integral (scale: 1) 0.09/0.15 c Presolving Time: 0.11 0.09/0.15 c - non default parameters ---------------------------------------------------------------------- 0.09/0.15 c # SCIP version 1.2.1.2 0.09/0.15 c 0.09/0.15 c # frequency for displaying node information lines 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.15 c display/freq = 10000 0.09/0.15 c 0.09/0.15 c # maximal time in seconds to run 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/time = 1799.98 0.09/0.15 c 0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/memory = 3420 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify inequalities 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/linear/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify knapsacks 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/rapidlearning/freq = 0 0.09/0.15 c 0.09/0.15 c ----------------------------------------------------------------------------------------------- 0.09/0.15 c start solving 0.09/0.15 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 | 44 | - |8639k| 0 | 29 |1893 |3334 |1893 |1672 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.19/0.21 c 0.2s| 1 | 0 | 92 | - |8822k| 0 | 44 |1893 |3334 |1893 |1687 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf 0.19/0.29 c 0.2s| 1 | 0 | 203 | - |9246k| 0 | 70 |1893 |3334 |1893 |1696 | 24 | 0 | 0 | 0.000000e+00 | -- | Inf 0.39/0.40 c 0.4s| 1 | 0 | 344 | - |9382k| 0 | 81 |1893 |3334 |1893 |1709 | 37 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.53 c 0.5s| 1 | 0 | 412 | - |9388k| 0 | 82 |1893 |3334 |1893 |1716 | 44 | 0 | 0 | 0.000000e+00 | -- | Inf 3.19/3.29 c 3.2s| 1 | 2 | 412 | - |9417k| 0 | 82 |1893 |3334 |1893 |1716 | 44 | 0 | 33 | 0.000000e+00 | -- | Inf 3.19/3.29 o 42488 3.19/3.29 c y 3.2s| 2 | 1 | 412 | 0.0 |9446k| 1 | - |1893 |3334 | 0 | 0 | 44 | 0 | 33 | 0.000000e+00 | 4.248800e+04 | Inf 5.70/5.76 o 493 5.70/5.76 c * 5.6s| 53 | 32 | 1639 | 23.6 |9798k| 22 | - |1893 |3334 |1893 |1713 | 71 | 0 | 298 | 0.000000e+00 | 4.930000e+02 | Inf 5.79/5.84 o 398 5.79/5.84 c * 5.7s| 85 | 45 | 1790 | 16.4 |9936k| 24 | - |1893 |3346 |1893 |1724 | 93 | 12 | 314 | 0.000000e+00 | 3.980000e+02 | Inf 5.89/5.90 o 394 5.89/5.90 c * 5.7s| 96 | 46 | 1858 | 15.2 | 10M| 24 | - |1893 |3353 |1893 |1719 | 99 | 19 | 324 | 0.000000e+00 | 3.940000e+02 | Inf 5.99/6.01 o 339 5.99/6.01 c * 5.8s| 118 | 50 | 1955 | 13.2 | 10M| 33 | - |1893 |3377 |1893 |1724 | 104 | 43 | 348 | 0.000000e+00 | 3.390000e+02 | Inf 6.09/6.15 o 317 6.09/6.15 c * 6.0s| 133 | 52 | 2056 | 12.5 | 10M| 33 | - |1893 |3392 |1893 |1719 | 104 | 58 | 370 | 0.000000e+00 | 3.170000e+02 | Inf 6.09/6.15 o 270 6.09/6.15 c * 6.0s| 134 | 47 | 2058 | 12.4 | 10M| 33 | - |1893 |3392 |1893 |1719 | 104 | 58 | 370 | 0.000000e+00 | 2.700000e+02 | Inf 7.59/7.62 o 265 7.59/7.62 c * 7.3s| 309 | 79 | 3479 | 10.0 | 11M| 35 | - |1893 |3578 |1893 |1717 | 209 | 255 | 808 | 0.000000e+00 | 2.650000e+02 | Inf 7.59/7.63 o 213 7.59/7.63 c * 7.3s| 311 | 70 | 3502 | 10.0 | 11M| 35 | - |1893 |3578 |1893 |1721 | 213 | 255 | 808 | 0.000000e+00 | 2.130000e+02 | Inf 7.59/7.68 o 198 7.59/7.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 7.59/7.68 c * 7.4s| 329 | 66 | 3558 | 9.6 | 11M| 35 | - |1893 |3588 |1893 |1715 | 215 | 265 | 814 | 0.000000e+00 | 1.980000e+02 | Inf 7.59/7.68 o 178 7.59/7.68 c * 7.4s| 330 | 61 | 3560 | 9.6 | 11M| 35 | - |1893 |3588 |1893 |1715 | 215 | 265 | 814 | 0.000000e+00 | 1.780000e+02 | Inf 9.69/9.80 o 156 9.69/9.80 c * 9.4s| 641 | 154 | 7101 | 10.5 | 12M| 37 | - |1893 |3911 |1893 |1735 | 342 | 607 |1310 | 0.000000e+00 | 1.560000e+02 | Inf 10.39/10.48 o 150 10.39/10.48 c *10.1s| 726 | 163 | 8521 | 11.2 | 13M| 37 | - |1893 |3951 |1893 |1717 | 405 | 682 |1445 | 0.000000e+00 | 1.500000e+02 | Inf 10.50/10.54 o 109 10.50/10.54 c *10.1s| 757 | 160 | 8626 | 10.9 | 12M| 38 | - |1893 |3959 |1893 |1730 | 410 | 698 |1448 | 0.000000e+00 | 1.090000e+02 | Inf 11.00/11.01 o 99 11.00/11.01 c *10.6s| 800 | 151 | 9917 | 11.9 | 13M| 38 | - |1893 |3972 |1893 |1727 | 443 | 746 |1531 | 0.000000e+00 | 9.900000e+01 | Inf 11.00/11.03 o 92 11.00/11.03 c *10.6s| 803 | 127 | 9933 | 11.9 | 12M| 38 | - |1893 |3947 |1893 |1727 | 443 | 746 |1533 | 0.000000e+00 | 9.200000e+01 | Inf 11.00/11.03 o 84 11.00/11.03 c *10.6s| 804 | 123 | 9936 | 11.9 | 12M| 38 | - |1893 |3947 |1893 |1727 | 443 | 746 |1533 | 0.000000e+00 | 8.400000e+01 | Inf 11.09/11.14 o 74 11.09/11.14 c *10.7s| 824 | 100 | 10224 | 11.9 | 12M| 38 | - |1893 |3815 |1893 |1734 | 474 | 758 |1550 | 0.000000e+00 | 7.400000e+01 | Inf 11.09/11.14 o 52 11.09/11.14 c R10.7s| 825 | 78 | 10229 | 11.9 | 12M| 38 | - |1893 |3815 |1893 |1734 | 474 | 758 |1550 | 0.000000e+00 | 5.200000e+01 | Inf 16.79/16.88 o 31 16.79/16.88 c *16.2s| 3051 | 127 | 33251 | 10.8 | 14M| 44 | - |1893 |5141 |1893 |1714 | 825 |3556 |1859 | 0.000000e+00 | 3.100000e+01 | Inf 32.20/32.21 c 31.0s| 10000 | 450 |118961 | 11.9 | 18M| 44 | - |1893 |7053 | 0 | 0 |2014 | 11k|2049 | 0.000000e+00 | 3.100000e+01 | Inf 37.59/37.63 o 28 37.59/37.63 c *36.2s| 12694 | 562 |146686 | 11.5 | 20M| 45 | - |1893 |7618 |1893 |1709 |2427 | 15k|2064 | 0.000000e+00 | 2.800000e+01 | Inf 39.78/39.88 o 10 39.78/39.88 c *38.4s| 13800 | 311 |159242 | 11.5 | 16M| 45 | - |1893 |8083 |1893 |1709 |2568 | 16k|2068 | 0.000000e+00 | 1.000000e+01 | Inf 52.88/52.93 c 51.0s| 20000 | 371 |241972 | 12.1 | 17M| 45 | 23 |1893 |9046 |1893 |1709 |3215 | 24k|2070 | 0.000000e+00 | 1.000000e+01 | Inf 73.99/74.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 73.99/74.02 c 71.4s| 30000 | 403 |370637 | 12.3 | 20M| 45 | - |1893 | 12k| 0 | 0 |4485 | 36k|2155 | 0.000000e+00 | 1.000000e+01 | Inf 96.19/96.27 c 92.8s| 40000 | 561 |495793 | 12.4 | 22M| 47 | 19 |1893 | 16k|1893 |1709 |6190 | 49k|2511 | 0.000000e+00 | 1.000000e+01 | Inf 118.99/119.06 c 115s| 50000 | 520 |615378 | 12.3 | 23M| 47 | 34 |1893 | 17k|1893 |1709 |7752 | 62k|2825 | 0.000000e+00 | 1.000000e+01 | Inf 143.79/143.89 c 139s| 60000 | 514 |746630 | 12.4 | 25M| 49 | - |1893 | 19k| 0 | 0 |9658 | 75k|3185 | 0.000000e+00 | 1.000000e+01 | Inf 167.39/167.41 c 162s| 70000 | 644 |873807 | 12.5 | 26M| 49 | 17 |1893 | 20k|1893 |1709 | 10k| 88k|3459 | 0.000000e+00 | 1.000000e+01 | Inf 190.59/190.66 c 184s| 80000 | 691 |996495 | 12.5 | 28M| 49 | 14 |1893 | 23k|1893 |1714 | 11k| 101k|3710 | 0.000000e+00 | 1.000000e+01 | Inf 214.09/214.14 c 207s| 90000 | 661 | 1117k| 12.4 | 28M| 50 | 28 |1893 | 22k|1893 |1718 | 13k| 114k|3911 | 0.000000e+00 | 1.000000e+01 | Inf 237.49/237.53 o 6 237.49/237.53 c * 229s| 99412 | 508 | 1244k| 12.5 | 27M| 50 | - |1893 | 24k|1893 |1709 | 14k| 126k|4162 | 0.000000e+00 | 6.000000e+00 | Inf 238.70/238.78 c 231s|100000 | 514 | 1250k| 12.5 | 26M| 50 | 17 |1893 | 22k|1893 |1709 | 14k| 127k|4168 | 0.000000e+00 | 6.000000e+00 | Inf 247.40/247.44 o 3 247.40/247.44 c * 239s|103739 | 469 | 1295k| 12.5 | 24M| 50 | - |1893 | 18k|1893 |1709 | 14k| 131k|4274 | 0.000000e+00 | 3.000000e+00 | Inf 260.09/260.13 c 251s|110000 | 579 | 1361k| 12.4 | 26M| 51 | 14 |1893 | 20k|1893 |1717 | 15k| 139k|4382 | 0.000000e+00 | 3.000000e+00 | Inf 281.29/281.32 c 272s|120000 | 567 | 1470k| 12.2 | 26M| 51 | - |1893 | 20k|1893 |1709 | 16k| 153k|4508 | 0.000000e+00 | 3.000000e+00 | Inf 303.80/303.81 c 293s|130000 | 472 | 1595k| 12.3 | 25M| 51 | - |1893 | 17k| 0 | 0 | 17k| 166k|4728 | 0.000000e+00 | 3.000000e+00 | Inf 326.70/326.78 c 316s|140000 | 657 | 1728k| 12.3 | 27M| 51 | - |1893 | 19k|1893 |1709 | 18k| 178k|4860 | 0.000000e+00 | 3.000000e+00 | Inf 349.99/350.05 c 338s|150000 | 772 | 1859k| 12.4 | 29M| 53 | - |1893 | 22k| 0 | 0 | 19k| 191k|5098 | 0.000000e+00 | 3.000000e+00 | Inf 374.09/374.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 374.09/374.12 c 361s|160000 | 984 | 1996k| 12.5 | 31M| 53 | 17 |1893 | 24k|1893 |1709 | 19k| 204k|5254 | 0.000000e+00 | 3.000000e+00 | Inf 397.40/397.40 c 384s|170000 | 1113 | 2118k| 12.5 | 32M| 53 | 19 |1893 | 25k|1893 |1709 | 20k| 217k|5444 | 0.000000e+00 | 3.000000e+00 | Inf 421.00/421.06 c 407s|180000 | 1129 | 2245k| 12.5 | 32M| 53 | 10 |1893 | 23k|1893 |1715 | 22k| 230k|5550 | 0.000000e+00 | 3.000000e+00 | Inf 445.60/445.61 c 431s|190000 | 1213 | 2378k| 12.5 | 34M| 54 | 9 |1893 | 26k|1893 |1709 | 23k| 244k|5755 | 0.000000e+00 | 3.000000e+00 | Inf 469.79/469.88 c 454s|200000 | 1156 | 2503k| 12.5 | 33M| 54 | - |1893 | 24k|1893 |1720 | 24k| 257k|5938 | 0.000000e+00 | 3.000000e+00 | Inf 495.69/495.73 c 479s|210000 | 1247 | 2649k| 12.6 | 36M| 54 | - |1893 | 28k|1893 |1709 | 25k| 270k|6048 | 0.000000e+00 | 3.000000e+00 | Inf 520.59/520.69 c 503s|220000 | 1148 | 2778k| 12.6 | 35M| 54 | 14 |1893 | 28k|1893 |1709 | 25k| 284k|6221 | 0.000000e+00 | 3.000000e+00 | Inf 546.39/546.42 c 528s|230000 | 1178 | 2913k| 12.7 | 36M| 58 | - |1893 | 30k| 0 | 0 | 27k| 297k|6383 | 0.000000e+00 | 3.000000e+00 | Inf 573.40/573.49 c 555s|240000 | 1253 | 3059k| 12.7 | 37M| 58 | 24 |1893 | 29k|1893 |1709 | 28k| 311k|6485 | 0.000000e+00 | 3.000000e+00 | Inf 601.19/601.27 c 582s|250000 | 1294 | 3205k| 12.8 | 38M| 59 | 28 |1893 | 31k|1893 |1709 | 29k| 324k|6639 | 0.000000e+00 | 3.000000e+00 | Inf 627.39/627.43 c 607s|260000 | 1356 | 3344k| 12.9 | 38M| 59 | 1 |1893 | 30k|1893 |1709 | 30k| 338k|6777 | 0.000000e+00 | 3.000000e+00 | Inf 653.60/653.68 c 632s|270000 | 1253 | 3488k| 12.9 | 38M| 62 | 25 |1893 | 29k|1893 |1709 | 30k| 352k|6885 | 0.000000e+00 | 3.000000e+00 | Inf 678.80/678.86 c 657s|280000 | 1255 | 3621k| 12.9 | 39M| 62 | 21 |1893 | 30k|1893 |1709 | 31k| 365k|6986 | 0.000000e+00 | 3.000000e+00 | Inf 706.00/706.07 c 683s|290000 | 1246 | 3768k| 13.0 | 38M| 62 | 14 |1893 | 30k|1893 |1709 | 32k| 378k|7135 | 0.000000e+00 | 3.000000e+00 | Inf 733.20/733.26 c 710s|300000 | 1206 | 3913k| 13.0 | 38M| 62 | - |1893 | 29k| 0 | 0 | 33k| 392k|7288 | 0.000000e+00 | 3.000000e+00 | Inf 760.10/760.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 760.10/760.12 c 736s|310000 | 1222 | 4062k| 13.1 | 39M| 62 | 15 |1893 | 31k|1893 |1709 | 34k| 405k|7401 | 0.000000e+00 | 3.000000e+00 | Inf 786.30/786.39 c 761s|320000 | 1110 | 4202k| 13.1 | 39M| 62 | - |1893 | 32k| 0 | 0 | 35k| 418k|7517 | 0.000000e+00 | 3.000000e+00 | Inf 813.10/813.17 c 787s|330000 | 991 | 4348k| 13.2 | 37M| 62 | 17 |1893 | 29k|1893 |1709 | 36k| 432k|7645 | 0.000000e+00 | 3.000000e+00 | Inf 836.80/836.80 c 810s|340000 | 618 | 4465k| 13.1 | 32M| 62 | 21 |1893 | 25k|1893 |1709 | 37k| 446k|7752 | 0.000000e+00 | 3.000000e+00 | Inf 859.30/859.39 c 832s|350000 | 737 | 4577k| 13.1 | 34M| 62 | 6 |1893 | 27k|1893 |1716 | 39k| 459k|7860 | 0.000000e+00 | 3.000000e+00 | Inf 882.21/882.28 c 854s|360000 | 707 | 4685k| 13.0 | 35M| 62 | - |1893 | 29k| 0 | 0 | 40k| 472k|7971 | 0.000000e+00 | 3.000000e+00 | Inf 906.60/906.60 c 878s|370000 | 783 | 4800k| 13.0 | 34M| 62 | - |1893 | 28k| 0 | 0 | 41k| 484k|8098 | 0.000000e+00 | 3.000000e+00 | Inf 928.71/928.74 c 899s|380000 | 914 | 4898k| 12.9 | 35M| 62 | - |1893 | 28k| 0 | 0 | 43k| 497k|8158 | 0.000000e+00 | 3.000000e+00 | Inf 952.80/952.83 c 923s|390000 | 1128 | 5016k| 12.9 | 38M| 62 | - |1893 | 32k|1893 |1709 | 44k| 509k|8241 | 0.000000e+00 | 3.000000e+00 | Inf 976.71/976.76 c 946s|400000 | 1105 | 5127k| 12.8 | 38M| 62 | - |1893 | 32k| 0 | 0 | 45k| 523k|8323 | 0.000000e+00 | 3.000000e+00 | Inf 1000.51/1000.54 c 969s|410000 | 1122 | 5240k| 12.8 | 37M| 62 | - |1893 | 30k| 0 | 0 | 47k| 535k|8398 | 0.000000e+00 | 3.000000e+00 | Inf 1024.21/1024.28 c 992s|420000 | 1058 | 5343k| 12.7 | 38M| 62 | - |1893 | 31k| 0 | 0 | 49k| 548k|8490 | 0.000000e+00 | 3.000000e+00 | Inf 1047.80/1047.83 c 1015s|430000 | 1139 | 5450k| 12.7 | 38M| 62 | - |1893 | 32k| 0 | 0 | 50k| 561k|8573 | 0.000000e+00 | 3.000000e+00 | Inf 1071.41/1071.46 c 1038s|440000 | 1008 | 5556k| 12.6 | 38M| 62 | - |1893 | 32k| 0 | 0 | 52k| 575k|8654 | 0.000000e+00 | 3.000000e+00 | Inf 1095.11/1095.13 c 1061s|450000 | 925 | 5662k| 12.6 | 38M| 62 | - |1893 | 32k| 0 | 0 | 53k| 588k|8742 | 0.000000e+00 | 3.000000e+00 | Inf 1119.01/1119.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1119.01/1119.06 c 1084s|460000 | 994 | 5771k| 12.5 | 38M| 62 | - |1893 | 33k|1893 |1709 | 54k| 601k|8824 | 0.000000e+00 | 3.000000e+00 | Inf 1142.70/1142.75 c 1107s|470000 | 1168 | 5878k| 12.5 | 41M| 62 | - |1893 | 37k| 0 | 0 | 55k| 614k|8873 | 0.000000e+00 | 3.000000e+00 | Inf 1167.30/1167.39 c 1131s|480000 | 1223 | 5989k| 12.5 | 42M| 62 | - |1893 | 37k|1893 |1709 | 56k| 628k|8936 | 0.000000e+00 | 3.000000e+00 | Inf 1193.31/1193.35 c 1156s|490000 | 1401 | 6108k| 12.5 | 44M| 62 | - |1893 | 41k| 0 | 0 | 58k| 641k|9007 | 0.000000e+00 | 3.000000e+00 | Inf 1219.20/1219.29 c 1181s|500000 | 1336 | 6219k| 12.4 | 43M| 62 | - |1893 | 37k| 0 | 0 | 59k| 655k|9085 | 0.000000e+00 | 3.000000e+00 | Inf 1245.21/1245.27 c 1206s|510000 | 1246 | 6335k| 12.4 | 42M| 62 | 19 |1893 | 37k|1893 |1709 | 60k| 669k|9174 | 0.000000e+00 | 3.000000e+00 | Inf 1270.31/1270.30 c 1231s|520000 | 1152 | 6440k| 12.4 | 42M| 62 | - |1893 | 36k| 0 | 0 | 62k| 682k|9260 | 0.000000e+00 | 3.000000e+00 | Inf 1296.11/1296.17 c 1256s|530000 | 1036 | 6555k| 12.4 | 41M| 62 | - |1893 | 35k| 0 | 0 | 63k| 696k|9346 | 0.000000e+00 | 3.000000e+00 | Inf 1320.61/1320.64 c 1280s|540000 | 973 | 6665k| 12.3 | 40M| 62 | 21 |1893 | 35k|1893 |1718 | 64k| 709k|9395 | 0.000000e+00 | 3.000000e+00 | Inf 1345.81/1345.84 c 1304s|550000 | 619 | 6775k| 12.3 | 33M| 62 | - |1893 | 26k| 0 | 0 | 66k| 723k|9476 | 0.000000e+00 | 3.000000e+00 | Inf 1371.41/1371.48 c 1329s|560000 | 413 | 6914k| 12.3 | 29M| 62 | - |1893 | 20k| 0 | 0 | 67k| 736k|9593 | 0.000000e+00 | 3.000000e+00 | Inf 1399.11/1399.19 c 1356s|570000 | 434 | 7080k| 12.4 | 30M| 62 | - |1893 | 22k| 0 | 0 | 67k| 749k|9689 | 0.000000e+00 | 3.000000e+00 | Inf 1425.51/1425.60 c 1381s|580000 | 423 | 7227k| 12.5 | 31M| 62 | - |1893 | 26k| 0 | 0 | 68k| 762k|9773 | 0.000000e+00 | 3.000000e+00 | Inf 1453.31/1453.36 c 1408s|590000 | 510 | 7375k| 12.5 | 33M| 62 | - |1893 | 30k| 0 | 0 | 69k| 776k|9863 | 0.000000e+00 | 3.000000e+00 | Inf 1481.21/1481.28 c 1436s|600000 | 483 | 7522k| 12.5 | 34M| 62 | 15 |1893 | 31k|1893 |1709 | 70k| 789k|9963 | 0.000000e+00 | 3.000000e+00 | Inf 1510.71/1510.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1510.71/1510.78 c 1464s|610000 | 418 | 7680k| 12.6 | 32M| 62 | - |1893 | 28k| 0 | 0 | 71k| 803k| 10k| 0.000000e+00 | 3.000000e+00 | Inf 1537.01/1537.03 c 1490s|620000 | 323 | 7823k| 12.6 | 31M| 62 | - |1893 | 27k| 0 | 0 | 72k| 816k| 10k| 0.000000e+00 | 3.000000e+00 | Inf 1562.32/1562.31 c 1514s|630000 | 363 | 7959k| 12.6 | 33M| 62 | - |1893 | 33k| 0 | 0 | 73k| 829k| 10k| 0.000000e+00 | 3.000000e+00 | Inf 1591.21/1591.26 c 1542s|640000 | 348 | 8115k| 12.7 | 33M| 62 | 21 |1893 | 33k|1893 |1709 | 75k| 842k| 10k| 0.000000e+00 | 3.000000e+00 | Inf 1618.51/1618.58 c 1569s|650000 | 397 | 8266k| 12.7 | 35M| 62 | 14 |1893 | 38k|1893 |1709 | 76k| 856k| 10k| 0.000000e+00 | 3.000000e+00 | Inf 1646.81/1646.89 c 1597s|660000 | 453 | 8401k| 12.7 | 36M| 62 | 15 |1893 | 39k|1893 |1709 | 77k| 869k| 10k| 0.000000e+00 | 3.000000e+00 | Inf 1675.22/1675.24 c 1624s|670000 | 521 | 8547k| 12.8 | 37M| 62 | 20 |1893 | 42k|1893 |1709 | 78k| 883k| 10k| 0.000000e+00 | 3.000000e+00 | Inf 1703.41/1703.43 c 1652s|680000 | 559 | 8672k| 12.8 | 38M| 62 | - |1893 | 44k| 0 | 0 | 79k| 896k| 10k| 0.000000e+00 | 3.000000e+00 | Inf 1733.62/1733.62 c 1681s|690000 | 510 | 8818k| 12.8 | 37M| 62 | 23 |1893 | 40k|1893 |1709 | 80k| 910k| 10k| 0.000000e+00 | 3.000000e+00 | Inf 1763.42/1763.48 c 1710s|700000 | 428 | 8962k| 12.8 | 36M| 62 | 28 |1893 | 38k|1893 |1709 | 81k| 923k| 10k| 0.000000e+00 | 3.000000e+00 | Inf 1791.71/1791.74 c 1738s|710000 | 407 | 9105k| 12.8 | 36M| 62 | 21 |1893 | 39k|1893 |1714 | 83k| 937k| 10k| 0.000000e+00 | 3.000000e+00 | Inf 1800.02/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.02/1800.00 c 1800.02/1800.00 c SCIP Status : solving was interrupted [user interrupt] 1800.02/1800.00 c Solving Time (sec) : 1745.56 1800.02/1800.00 c Solving Nodes : 712962 1800.02/1800.00 c Primal Bound : +3.00000000000000e+00 (121 solutions) 1800.02/1800.00 c Dual Bound : +0.00000000000000e+00 1800.02/1800.00 c Gap : infinite 1800.02/1800.01 s SATISFIABLE 1800.02/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.02/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.02/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.02/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.02/1800.01 v -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125 1800.02/1800.01 v -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 1800.02/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.02/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.02/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.02/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.02/1800.01 v -x1 1800.02/1800.01 c SCIP Status : solving was interrupted [user interrupt] 1800.02/1800.01 c Solving Time : 1745.56 1800.02/1800.01 c Original Problem : 1800.02/1800.01 c Problem name : HOME/instance-2693451-1277904851.wbo 1800.02/1800.01 c Variables : 2031 (1131 binary, 0 integer, 0 implicit integer, 900 continuous) 1800.02/1800.01 c Constraints : 3608 initial, 3608 maximal 1800.02/1800.01 c Presolved Problem : 1800.02/1800.01 c Problem name : t_HOME/instance-2693451-1277904851.wbo 1800.02/1800.01 c Variables : 1893 (1062 binary, 0 integer, 0 implicit integer, 831 continuous) 1800.02/1800.01 c Constraints : 3334 initial, 44674 maximal 1800.02/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.02/1800.01 c trivial : 0.00 69 0 0 0 0 0 0 0 1800.02/1800.01 c dualfix : 0.00 69 0 0 0 0 0 0 0 1800.02/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.01 c probing : 0.03 0 0 0 0 0 0 0 0 1800.02/1800.01 c indicator : 0.00 0 0 0 0 0 69 0 0 1800.02/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.01 c linear : 0.07 0 0 0 916 0 205 143 0 1800.02/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.01 c root node : - 814 - - 1628 - - - - 1800.02/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.02/1800.01 c integral : 0 0 0 404556 0 219 2677 0 0 772592 1800.02/1800.01 c indicator : 831 0 3107961 15929 0 61 289068 0 0 0 1800.02/1800.02 c setppc : 15 5 3112303 15902 0 59703 2574721 0 0 0 1800.02/1800.02 c linear : 831 5 3053563 15952 0 100485 10476959 83519 0 0 1800.02/1800.02 c logicor : 1657+ 5 1631283 275 0 118822 6169662 0 0 0 1800.02/1800.02 c countsols : 0 0 0 275 0 0 0 0 0 0 1800.02/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.02/1800.02 c integral : 39.00 0.00 0.00 39.00 0.00 1800.02/1800.02 c indicator : 2.21 0.02 2.10 0.09 0.00 1800.02/1800.02 c setppc : 17.22 0.00 17.20 0.02 0.00 1800.02/1800.02 c linear : 62.77 0.00 62.40 0.37 0.00 1800.02/1800.02 c logicor : 249.74 0.01 249.73 0.00 0.00 1800.02/1800.02 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.02/1800.02 c Propagators : Time Calls Cutoffs DomReds 1800.02/1800.02 c vbounds : 0.91 2 0 0 1800.02/1800.02 c rootredcost : 0.71 24 0 814 1800.02/1800.02 c pseudoobj : 49.55 3113617 424 240193 1800.02/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.02/1800.02 c propagation : 11.49 279434 278055 1673276 26.9 6538 24.7 - 1800.02/1800.02 c infeasible LP : 20.44 104192 104170 804835 45.8 732 17.3 0 1800.02/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.02/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.02/1800.02 c pseudo solution : 0.00 12 12 68 15.6 0 0.0 - 1800.02/1800.02 c applied globally : - - - 941190 28.2 - - - 1800.02/1800.02 c applied locally : - - - 0 0.0 - - - 1800.02/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.02/1800.02 c cut pool : 0.00 4 - - 12 - (maximal pool size: 291) 1800.02/1800.02 c redcost : 9.95 405476 0 35179 0 0 1800.02/1800.02 c impliedbounds : 0.00 5 0 0 0 0 1800.02/1800.02 c intobj : 0.00 0 0 0 0 0 1800.02/1800.02 c cgmip : 0.00 0 0 0 0 0 1800.02/1800.02 c gomory : 0.18 5 0 0 1106 0 1800.02/1800.02 c strongcg : 0.16 5 0 0 908 0 1800.02/1800.02 c cmir : 0.02 5 0 0 2 0 1800.02/1800.02 c flowcover : 0.05 5 0 0 4 0 1800.02/1800.02 c clique : 0.00 5 0 0 0 0 1800.02/1800.02 c zerohalf : 0.00 0 0 0 0 0 1800.02/1800.02 c mcf : 0.00 1 0 0 0 0 1800.02/1800.02 c rapidlearning : 0.00 0 0 0 0 0 1800.02/1800.02 c Pricers : Time Calls Vars 1800.02/1800.02 c problem variables: 0.00 0 0 1800.02/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.02/1800.02 c relpscost : 38.71 388588 219 2677 0 0 772592 1800.02/1800.02 c pscost : 0.00 0 0 0 0 0 0 1800.02/1800.02 c inference : 0.00 253 0 0 0 0 506 1800.02/1800.02 c mostinf : 0.00 0 0 0 0 0 0 1800.02/1800.02 c leastinf : 0.00 0 0 0 0 0 0 1800.02/1800.02 c fullstrong : 0.00 0 0 0 0 0 0 1800.02/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0 1800.02/1800.02 c random : 0.00 0 0 0 0 0 0 1800.02/1800.02 c Primal Heuristics : Time Calls Found 1800.02/1800.02 c LP solutions : 0.00 - 22 1800.02/1800.02 c pseudo solutions : 0.00 - 0 1800.02/1800.02 c oneopt : 0.29 20 0 1800.02/1800.02 c feaspump : 0.02 1 0 1800.02/1800.02 c crossover : 0.44 10 0 1800.02/1800.02 c guideddiving : 0.21 48 0 1800.02/1800.02 c pscostdiving : 0.18 48 0 1800.02/1800.02 c coefdiving : 0.23 48 0 1800.02/1800.02 c fracdiving : 0.18 49 0 1800.02/1800.02 c veclendiving : 0.17 49 0 1800.02/1800.02 c linesearchdiving : 0.18 49 0 1800.02/1800.02 c objpscostdiving : 0.22 25 0 1800.02/1800.02 c rootsoldiving : 0.29 25 0 1800.02/1800.02 c trivial : 0.01 2 0 1800.02/1800.02 c simplerounding : 0.61 388689 0 1800.02/1800.02 c zirounding : 0.24 1000 0 1800.02/1800.02 c rounding : 2.90 29890 1 1800.02/1800.02 c shifting : 0.81 2786 0 1800.02/1800.02 c intshifting : 0.01 14 0 1800.02/1800.02 c twoopt : 0.00 0 0 1800.02/1800.02 c fixandinfer : 0.00 0 0 1800.02/1800.02 c intdiving : 0.00 0 0 1800.02/1800.02 c actconsdiving : 0.00 0 0 1800.02/1800.02 c octane : 0.00 0 0 1800.02/1800.02 c rens : 0.04 1 0 1800.02/1800.02 c rins : 0.00 0 0 1800.02/1800.02 c localbranching : 0.00 0 0 1800.02/1800.02 c mutation : 0.00 0 0 1800.02/1800.02 c dins : 0.00 0 0 1800.02/1800.02 c undercover : 0.00 0 0 1800.02/1800.02 c nlp : 0.20 0 0 1800.02/1800.02 c trysol : 1.40 5716 98 1800.02/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec 1800.02/1800.02 c primal LP : 0.00 0 0 0.00 - 1800.02/1800.02 c dual LP : 926.51 506777 9139412 18.03 9864.34 1800.02/1800.02 c lex dual LP : 0.00 0 0 0.00 - 1800.02/1800.02 c barrier LP : 0.00 0 0 0.00 - 1800.02/1800.02 c diving/probing LP: 1.19 673 7009 10.41 5889.92 1800.02/1800.02 c strong branching : 35.09 10806 338945 31.37 9659.30 1800.02/1800.02 c (at root node) : - 33 20028 606.91 - 1800.02/1800.02 c conflict analysis: 0.00 0 0 0.00 - 1800.02/1800.02 c B&B Tree : 1800.02/1800.02 c number of runs : 1 1800.02/1800.02 c nodes : 712962 1800.02/1800.02 c nodes (total) : 712962 1800.02/1800.02 c nodes left : 400 1800.02/1800.02 c max depth : 62 1800.02/1800.02 c max depth (total): 62 1800.02/1800.02 c backtracks : 106692 (15.0%) 1800.02/1800.02 c delayed cutoffs : 58965 1800.02/1800.02 c repropagations : 1114416 (4108147 domain reductions, 56915 cutoffs) 1800.02/1800.02 c avg switch length: 4.72 1800.02/1800.02 c switching time : 199.92 1800.02/1800.02 c Solution : 1800.02/1800.02 c Solutions found : 121 (24 improvements) 1800.02/1800.02 c First Solution : +4.24880000000000e+04 (in run 1, after 1 nodes, 0.64 seconds, depth 0, found by <trysol>) 1800.02/1800.02 c Primal Bound : +3.00000000000000e+00 (in run 1, after 103739 nodes, 238.92 seconds, depth 31, found by <relaxation>) 1800.02/1800.02 c Dual Bound : +0.00000000000000e+00 1800.02/1800.02 c Gap : infinite 1800.02/1800.02 c Root Dual Bound : +0.00000000000000e+00 1800.02/1800.02 c Root Iterations : 412 1800.02/1800.08 c Time complete: 1800.09.
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693451-1277904851/watcher-2693451-1277904851 -o /tmp/evaluation-result-2693451-1277904851/solver-2693451-1277904851 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693451-1277904851.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.02 2.04 2.01 4/196 11819 /proc/meminfo: memFree=31148240/32951124 swapFree=67111528/67111528 [pid=11819] ppid=11817 vsize=11008 CPUtime=0 /proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 1675 0 0 0 0 0 0 0 25 0 1 0 131781147 11272192 1596 4089446400 4194304 9819077 140733645589056 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/11819/statm: 2752 1596 392 1374 0 1373 0 [startup+0.079907 s] /proc/loadavg: 2.02 2.04 2.01 4/196 11819 /proc/meminfo: memFree=31148240/32951124 swapFree=67111528/67111528 [pid=11819] ppid=11817 vsize=24056 CPUtime=0.06 /proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 5918 0 0 0 6 0 0 0 25 0 1 0 131781147 24633344 4714 4089446400 4194304 9819077 140733645589056 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11819/statm: 6014 4714 498 1374 0 4635 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 24056 [startup+0.100907 s] /proc/loadavg: 2.02 2.04 2.01 4/196 11819 /proc/meminfo: memFree=31148240/32951124 swapFree=67111528/67111528 [pid=11819] ppid=11817 vsize=25824 CPUtime=0.09 /proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 7303 0 0 0 8 1 0 0 25 0 1 0 131781147 26443776 5072 4089446400 4194304 9819077 140733645589056 18446744073709551615 8675336 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11819/statm: 6456 5132 504 1374 0 5077 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 25824 [startup+0.30087 s] /proc/loadavg: 2.02 2.04 2.01 4/196 11819 /proc/meminfo: memFree=31148240/32951124 swapFree=67111528/67111528 [pid=11819] ppid=11817 vsize=35104 CPUtime=0.29 /proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 11092 0 0 0 28 1 0 0 25 0 1 0 131781147 35946496 7104 4089446400 4194304 9819077 140733645589056 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11819/statm: 8776 7104 680 1374 0 7397 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 35104 [startup+0.700834 s] /proc/loadavg: 2.02 2.04 2.01 4/196 11819 /proc/meminfo: memFree=31148240/32951124 swapFree=67111528/67111528 [pid=11819] ppid=11817 vsize=45024 CPUtime=0.69 /proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 27904 0 0 0 67 2 0 0 25 0 1 0 131781147 46104576 8916 4089446400 4194304 9819077 140733645589056 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11819/statm: 11256 8916 717 1374 0 9877 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 45024 [startup+1.50067 s] /proc/loadavg: 2.01 2.04 2.01 3/197 11820 /proc/meminfo: memFree=31114256/32951124 swapFree=67111528/67111528 [pid=11819] ppid=11817 vsize=45344 CPUtime=1.49 /proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 33841 0 0 0 145 4 0 0 25 0 1 0 131781147 46432256 8960 4089446400 4194304 9819077 140733645589056 18446744073709551615 7289360 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11819/statm: 11336 8960 717 1374 0 9957 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 45344 [startup+3.1004 s] /proc/loadavg: 2.01 2.04 2.01 3/197 11820 /proc/meminfo: memFree=31113884/32951124 swapFree=67111528/67111528 [pid=11819] ppid=11817 vsize=45160 CPUtime=3.09 /proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 45475 0 0 0 302 7 0 0 25 0 1 0 131781147 46243840 8913 4089446400 4194304 9819077 140733645589056 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11819/statm: 11290 8913 717 1374 0 9911 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 45160 [startup+6.30087 s] /proc/loadavg: 2.01 2.04 2.01 3/197 11820 /proc/meminfo: memFree=31111540/32951124 swapFree=67111528/67111528 [pid=11819] ppid=11817 vsize=47384 CPUtime=6.3 /proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 98355 0 0 0 611 19 0 0 25 0 1 0 131781147 48521216 9589 4089446400 4194304 9819077 140733645589056 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11819/statm: 11846 9589 724 1374 0 10467 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 47384 [startup+12.7008 s] /proc/loadavg: 2.01 2.04 2.01 3/197 11822 /proc/meminfo: memFree=31099692/32951124 swapFree=67111528/67111528 [pid=11819] ppid=11817 vsize=51872 CPUtime=12.69 /proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 222516 0 0 0 1218 51 0 0 25 0 1 0 131781147 53116928 10984 4089446400 4194304 9819077 140733645589056 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11819/statm: 12968 10986 740 1374 0 11589 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 51872 [startup+25.5006 s] /proc/loadavg: 2.01 2.04 2.01 3/197 11822 /proc/meminfo: memFree=31087768/32951124 swapFree=67111528/67111528 [pid=11819] ppid=11817 vsize=58756 CPUtime=25.49 /proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 390581 0 0 0 2451 98 0 0 25 0 1 0 131781147 60166144 12778 4089446400 4194304 9819077 140733645589056 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11819/statm: 14689 12778 740 1374 0 13310 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 58756 [startup+51.1003 s] /proc/loadavg: 2.00 2.04 2.01 3/197 11822 /proc/meminfo: memFree=31070712/32951124 swapFree=67111528/67111528 [pid=11819] ppid=11817 vsize=66908 CPUtime=51.08 /proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 661223 0 0 0 4924 184 0 0 25 0 1 0 131781147 68513792 14705 4089446400 4194304 9819077 140733645589056 18446744073709551615 6671086 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11819/statm: 16727 14704 740 1374 0 15348 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 66908 [startup+102.307 s] /proc/loadavg: 2.00 2.03 2.00 3/197 11824 /proc/meminfo: memFree=31052332/32951124 swapFree=67111528/67111528 [pid=11819] ppid=11817 vsize=74828 CPUtime=102.29 /proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 1269412 0 0 0 9867 362 0 0 25 0 1 0 131781147 76623872 16674 4089446400 4194304 9819077 140733645589056 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11819/statm: 18707 16676 741 1374 0 17328 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 74828 [startup+162.301 s] /proc/loadavg: 2.00 2.02 2.00 3/197 11826 /proc/meminfo: memFree=31025992/32951124 swapFree=67111528/67111528 [pid=11819] ppid=11817 vsize=79880 CPUtime=162.29 /proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 1922335 0 0 0 15663 566 0 0 25 0 1 0 131781147 81797120 17981 4089446400 4194304 9819077 140733645589056 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11819/statm: 19970 17981 741 1374 0 18591 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 79880 [startup+222.301 s] /proc/loadavg: 2.00 2.02 2.00 8/197 11826 /proc/meminfo: memFree=30999672/32951124 swapFree=67111528/67111528 [pid=11819] ppid=11817 vsize=83368 CPUtime=222.29 /proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 2557737 0 0 0 21466 763 0 0 25 0 1 0 131781147 85368832 18716 4089446400 4194304 9819077 140733645589056 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11819/statm: 20842 18716 741 1374 0 19463 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 83368 [startup+282.3 s] /proc/loadavg: 2.06 2.03 2.00 3/197 11828 /proc/meminfo: memFree=30971868/32951124 swapFree=67111528/67111528 [pid=11819] ppid=11817 vsize=83708 CPUtime=282.3 /proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 3205437 0 0 0 27259 971 0 0 25 0 1 0 131781147 85716992 18980 4089446400 4194304 9819077 140733645589056 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11819/statm: 20927 18981 741 1374 0 19548 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 83708 [startup+342.3 s] /proc/loadavg: 2.02 2.02 2.00 3/197 11830 /proc/meminfo: memFree=30947172/32951124 swapFree=67111528/67111528 [pid=11819] ppid=11817 vsize=84704 CPUtime=342.29 /proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 3814403 0 0 0 33070 1159 0 0 25 0 1 0 131781147 86736896 19073 4089446400 4194304 9819077 140733645589056 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11819/statm: 21176 19073 741 1374 0 19797 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 84704 [startup+402.301 s] /proc/loadavg: 2.34 2.12 2.03 3/197 11832 /proc/meminfo: memFree=30920336/32951124 swapFree=67111528/67111528 [pid=11819] ppid=11817 vsize=89676 CPUtime=402.29 /proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 4412221 0 0 0 38879 1350 0 0 25 0 1 0 131781147 91828224 20320 4089446400 4194304 9819077 140733645589056 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11819/statm: 22016 20297 741 1374 0 20637 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 89676 [startup+462.301 s] /proc/loadavg: 2.12 2.09 2.03 3/197 11834 /proc/meminfo: memFree=30914468/32951124 swapFree=67111528/67111528 [pid=11819] ppid=11817 vsize=91444 CPUtime=462.29 /proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 5026168 0 0 0 44687 1542 0 0 25 0 1 0 131781147 93638656 20773 4089446400 4194304 9819077 140733645589056 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11819/statm: 22861 20773 741 1374 0 21482 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 91444 [startup+522.301 s] /proc/loadavg: 2.08 2.09 2.03 3/197 11834 /proc/meminfo: memFree=30913560/32951124 swapFree=67111528/67111528 [pid=11819] ppid=11817 vsize=91444 CPUtime=522.3 /proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 5627563 0 0 0 50499 1731 0 0 25 0 1 0 131781147 93638656 20920 4089446400 4194304 9819077 140733645589056 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11819/statm: 22861 20920 741 1374 0 21482 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 91444 [startup+582.301 s] /proc/loadavg: 2.03 2.07 2.02 3/197 11836 /proc/meminfo: memFree=30911656/32951124 swapFree=67111528/67111528 [pid=11819] ppid=11817 vsize=93852 CPUtime=582.3 /proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 6201996 0 0 0 56320 1910 0 0 25 0 1 0 131781147 96104448 21325 4089446400 4194304 9819077 140733645589056 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11819/statm: 23562 21327 741 1374 0 22183 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 93852 [startup+642.301 s] /proc/loadavg: 2.01 2.05 2.02 3/197 11838 /proc/meminfo: memFree=30909900/32951124 swapFree=67111528/67111528 [pid=11819] ppid=11817 vsize=95364 CPUtime=642.3 /proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 6756077 0 0 0 62146 2084 0 0 25 0 1 0 131781147 97652736 21730 4089446400 4194304 9819077 140733645589056 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11819/statm: 23841 21730 741 1374 0 22462 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 95364 [startup+702.301 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 2.02 2.00 3/197 11842 /proc/meminfo: memFree=30905556/32951124 swapFree=67111528/67111528 [pid=11819] ppid=11817 vsize=100000 CPUtime=822.3 /proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 8348601 0 0 0 79629 2601 0 0 25 0 1 0 131781147 102400000 22609 4089446400 4194304 9819077 140733645589056 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11819/statm: 25000 22609 741 1374 0 23621 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 100000 [startup+882.3 s] /proc/loadavg: 2.07 2.03 2.00 3/197 11844 /proc/meminfo: memFree=30891512/32951124 swapFree=67111528/67111528 [pid=11819] ppid=11817 vsize=99964 CPUtime=882.3 /proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 8964194 0 0 0 85431 2799 0 0 25 0 1 0 131781147 102363136 22594 4089446400 4194304 9819077 140733645589056 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11819/statm: 24991 22594 741 1374 0 23612 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 99964 [startup+942.301 s] /proc/loadavg: 2.02 2.03 2.00 3/197 11846 /proc/meminfo: memFree=30872016/32951124 swapFree=67111528/67111528 [pid=11819] ppid=11817 vsize=100556 CPUtime=942.31 /proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 9539726 0 0 0 91246 2985 0 0 25 0 1 0 131781147 102969344 22721 4089446400 4194304 9819077 140733645589056 18446744073709551615 6723440 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11819/statm: 25139 22721 741 1374 0 23760 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 100556 [startup+1002.3 s] /proc/loadavg: 2.20 2.09 2.02 3/197 11848 /proc/meminfo: memFree=30853016/32951124 swapFree=67111528/67111528 [pid=11819] ppid=11817 vsize=100752 CPUtime=1002.3 /proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 10113916 0 0 0 97062 3168 0 0 25 0 1 0 131781147 103170048 22813 4089446400 4194304 9819077 140733645589056 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11819/statm: 25188 22813 741 1374 0 23809 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 100752 [startup+1062.3 s] /proc/loadavg: 2.07 2.07 2.02 3/197 11850 /proc/meminfo: memFree=30828308/32951124 swapFree=67111528/67111528 [pid=11819] ppid=11817 vsize=101380 CPUtime=1062.3 /proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 10689475 0 0 0 102879 3351 0 0 25 0 1 0 131781147 103813120 22964 4089446400 4194304 9819077 140733645589056 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11819/statm: 25345 22964 741 1374 0 23966 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 101380 [startup+1122.3 s] /proc/loadavg: 2.51 2.18 2.05 3/197 11850 /proc/meminfo: memFree=30802976/32951124 swapFree=67111528/67111528 [pid=11819] ppid=11817 vsize=101640 CPUtime=1122.3 /proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 11252521 0 0 0 108697 3533 0 0 25 0 1 0 131781147 104079360 23045 4089446400 4194304 9819077 140733645589056 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11819/statm: 25410 23045 741 1374 0 24031 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 101640 [startup+1182.3 s] /proc/loadavg: 2.15 2.13 2.04 3/197 11900 /proc/meminfo: memFree=31413584/32951124 swapFree=67111528/67111528 [pid=11819] ppid=11817 vsize=104876 CPUtime=1182.31 /proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 11818650 0 0 0 114512 3719 0 0 25 0 1 0 131781147 107393024 23766 4089446400 4194304 9819077 140733645589056 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11819/statm: 26219 23766 741 1374 0 24840 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 104876 [startup+1242.3 s] /proc/loadavg: 2.05 2.10 2.04 3/197 11902 /proc/meminfo: memFree=31410468/32951124 swapFree=67111528/67111528 [pid=11819] ppid=11817 vsize=105984 CPUtime=1242.31 /proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 12369017 0 0 0 120347 3884 0 0 25 0 1 0 131781147 108527616 23995 4089446400 4194304 9819077 140733645589056 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11819/statm: 26496 23995 741 1374 0 25117 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 105984 [startup+1302.3 s] /proc/loadavg: 2.02 2.08 2.03 3/197 11904 /proc/meminfo: memFree=31409292/32951124 swapFree=67111528/67111528 [pid=11819] ppid=11817 vsize=106044 CPUtime=1302.31 /proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 12915063 0 0 0 126173 4058 0 0 25 0 1 0 131781147 108589056 23984 4089446400 4194304 9819077 140733645589056 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11819/statm: 26511 23984 741 1374 0 25132 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 106044 [startup+1362.3 s] /proc/loadavg: 2.00 2.07 2.02 3/197 11906 /proc/meminfo: memFree=31408508/32951124 swapFree=67111528/67111528 [pid=11819] ppid=11817 vsize=106848 CPUtime=1362.31 /proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 13467399 0 0 0 132003 4228 0 0 25 0 1 0 131781147 109412352 24166 4089446400 4194304 9819077 140733645589056 18446744073709551615 4210101 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11819/statm: 26712 24166 741 1374 0 25333 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 106848 [startup+1422.31 s] /proc/loadavg: 2.00 2.05 2.02 3/197 11906 /proc/meminfo: memFree=31407944/32951124 swapFree=67111528/67111528 [pid=11819] ppid=11817 vsize=106544 CPUtime=1422.32 /proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 14008322 0 0 0 137828 4404 0 0 25 0 1 0 131781147 109101056 24165 4089446400 4194304 9819077 140733645589056 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11819/statm: 26636 24165 741 1374 0 25257 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 106544 [startup+1482.3 s] /proc/loadavg: 2.00 2.04 2.01 3/197 11908 /proc/meminfo: memFree=31407260/32951124 swapFree=67111528/67111528 [pid=11819] ppid=11817 vsize=106908 CPUtime=1482.31 /proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 14523284 0 0 0 143661 4570 0 0 25 0 1 0 131781147 109473792 24205 4089446400 4194304 9819077 140733645589056 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11819/statm: 26727 24205 741 1374 0 25348 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 106908 [startup+1542.3 s] /proc/loadavg: 2.00 2.03 2.01 3/197 11910 /proc/meminfo: memFree=31406940/32951124 swapFree=67111528/67111528 [pid=11819] ppid=11817 vsize=106516 CPUtime=1542.31 /proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 15053508 0 0 0 149488 4743 0 0 25 0 1 0 131781147 109072384 24227 4089446400 4194304 9819077 140733645589056 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11819/statm: 26629 24227 741 1374 0 25250 0 Current children cumulated CPU time (s) 1542.31 Current children cumulated vsize (KiB) 106516 [startup+1602.3 s] /proc/loadavg: 2.05 2.04 2.01 3/197 11912 /proc/meminfo: memFree=31406512/32951124 swapFree=67111528/67111528 [pid=11819] ppid=11817 vsize=106928 CPUtime=1602.31 /proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 15593238 0 0 0 155313 4918 0 0 25 0 1 0 131781147 109494272 24245 4089446400 4194304 9819077 140733645589056 18446744073709551615 5955748 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11819/statm: 26732 24245 741 1374 0 25353 0 Current children cumulated CPU time (s) 1602.31 Current children cumulated vsize (KiB) 106928 [startup+1662.3 s] /proc/loadavg: 2.02 2.03 2.00 3/197 11923 /proc/meminfo: memFree=31404268/32951124 swapFree=67111528/67111528 [pid=11819] ppid=11817 vsize=106436 CPUtime=1662.31 /proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 16110451 0 0 0 161153 5078 0 0 25 0 1 0 131781147 108990464 24306 4089446400 4194304 9819077 140733645589056 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11819/statm: 26609 24306 741 1374 0 25230 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 106436 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 2.00 3/197 11923 /proc/meminfo: memFree=31403452/32951124 swapFree=67111528/67111528 [pid=11819] ppid=11817 vsize=108244 CPUtime=1722.31 /proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 16604327 0 0 0 166987 5244 0 0 25 0 1 0 131781147 110841856 24458 4089446400 4194304 9819077 140733645589056 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11819/statm: 27061 24458 741 1374 0 25682 0 Current children cumulated CPU time (s) 1722.31 Current children cumulated vsize (KiB) 108244 [startup+1782.3 s] /proc/loadavg: 1.96 2.00 1.99 3/197 11925 /proc/meminfo: memFree=31403240/32951124 swapFree=67111528/67111528 [pid=11819] ppid=11817 vsize=108240 CPUtime=1782.31 /proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 17105098 0 0 0 172834 5397 0 0 25 0 1 0 131781147 110837760 24453 4089446400 4194304 9819077 140733645589056 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11819/statm: 27060 24453 741 1374 0 25681 0 Current children cumulated CPU time (s) 1782.31 Current children cumulated vsize (KiB) 108240 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 1.97 2.00 1.99 3/197 11925 /proc/meminfo: memFree=31403228/32951124 swapFree=67111528/67111528 [pid=11819] ppid=11817 vsize=108240 CPUtime=1800.02 /proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 17264928 0 0 0 174558 5444 0 0 25 0 1 0 131781147 110837760 24451 4089446400 4194304 9819077 140733645589056 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11819/statm: 27060 24451 741 1374 0 25681 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 108240 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.08 CPU time (s): 1800.1 CPU user time (s): 1745.66 CPU system time (s): 54.4477 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 110544 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1745.66 system time used= 54.4477 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17264982 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 1195 runsolver used 3.12453 second user time and 6.26505 second system time The end
Begin job on node130 at 2010-06-30 15:34:11 IDJOB=2693451 IDBENCH=78924 IDSOLVER=1205 FILE ID=node130/2693451-1277904851 PBS_JOBID= 11197197 Free space on /tmp= 74212 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.1900558739--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-2693451-1277904851/watcher-2693451-1277904851 -o /tmp/evaluation-result-2693451-1277904851/solver-2693451-1277904851 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693451-1277904851.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 099eb4454f9d71550aca948671f10d54 RANDOM SEED=1195670239 node130.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.796 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.59 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.796 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.67 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.796 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.796 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.796 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.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.796 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.63 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.796 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.796 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 : 5237.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31148768 kB Buffers: 189476 kB Cached: 966824 kB SwapCached: 0 kB Active: 973548 kB Inactive: 688308 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31148768 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 6312 kB Writeback: 0 kB AnonPages: 504892 kB Mapped: 20756 kB Slab: 77712 kB PageTables: 5608 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1665552 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node130 at 2010-06-30 16:04:13