Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver | MSAT | 1790.13 | 1790.08 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670167--soft-66-100-0.wbo |
MD5SUM | 3458f76d1c0eafd16754e96da618f7a2 |
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 | 303.96 |
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 | 925 |
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 | 46664 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 46663 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 707 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] 0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-2705539-1278572955.wbo> 0.00/0.02 c original problem has 2081 variables (1156 bin, 0 int, 925 impl, 0 cont) and 3633 constraints 0.00/0.02 c problem read 0.00/0.02 c presolving settings loaded 0.00/0.03 c presolving: 0.00/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 218 impls, 14 clqs 0.00/0.06 c (round 2) 0 del vars, 113 del conss, 925 chg bounds, 45 chg sides, 0 chg coeffs, 0 upgd conss, 218 impls, 14 clqs 0.00/0.07 c (round 3) 45 del vars, 158 del conss, 925 chg bounds, 45 chg sides, 0 chg coeffs, 1715 upgd conss, 218 impls, 14 clqs 0.00/0.08 c (round 4) 90 del vars, 218 del conss, 925 chg bounds, 45 chg sides, 0 chg coeffs, 1715 upgd conss, 218 impls, 14 clqs 0.09/0.12 c (0.1s) probing: 101/1111 (9.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 0.09/0.12 c (0.1s) probing aborted: 100/100 successive totally useless probings 0.09/0.12 c presolving (5 rounds): 0.09/0.12 c 90 deleted vars, 218 deleted constraints, 925 tightened bounds, 0 added holes, 45 changed sides, 0 changed coefficients 0.09/0.12 c 1970 implications, 14 cliques 0.09/0.12 c presolved problem has 1991 variables (1111 bin, 0 int, 880 impl, 0 cont) and 3415 constraints 0.09/0.12 c 1 constraints of type <knapsack> 0.09/0.12 c 63 constraints of type <setppc> 0.09/0.12 c 880 constraints of type <linear> 0.09/0.12 c 880 constraints of type <indicator> 0.09/0.12 c 1591 constraints of type <logicor> 0.09/0.12 c transformed objective value is always integral (scale: 1) 0.09/0.12 c Presolving Time: 0.09 0.09/0.12 c - non default parameters ---------------------------------------------------------------------- 0.09/0.12 c # SCIP version 1.2.1.3 0.09/0.12 c 0.09/0.12 c # frequency for displaying node information lines 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.12 c display/freq = 10000 0.09/0.12 c 0.09/0.12 c # maximal time in seconds to run 0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.12 c limits/time = 1789.98 0.09/0.12 c 0.09/0.12 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.12 c limits/memory = 3420 0.09/0.12 c 0.09/0.12 c # default clock type (1: CPU user seconds, 2: wall clock time) 0.09/0.12 c # [type: int, range: [1,2], default: 1] 0.09/0.12 c timing/clocktype = 2 0.09/0.12 c 0.09/0.12 c # should presolving try to simplify inequalities 0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.12 c constraints/linear/simplifyinequalities = TRUE 0.09/0.12 c 0.09/0.12 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.12 c constraints/indicator/addCouplingCons = TRUE 0.09/0.12 c 0.09/0.12 c # should presolving try to simplify knapsacks 0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.12 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.12 c 0.09/0.12 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.12 c separating/rapidlearning/freq = 0 0.09/0.12 c 0.09/0.12 c ----------------------------------------------------------------------------------------------- 0.09/0.12 c start solving 0.09/0.12 c 0.09/0.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.09/0.13 c 0.1s| 1 | 0 | 28 | - |8982k| 0 | 23 |1991 |3415 |1991 |1655 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.19/0.22 c 0.2s| 1 | 0 | 57 | - |9139k| 0 | 15 |1991 |3415 |1991 |1672 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf 0.19/0.25 c 0.2s| 1 | 0 | 71 | - |9243k| 0 | 18 |1991 |3415 |1991 |1682 | 27 | 0 | 0 | 0.000000e+00 | -- | Inf 0.29/0.30 c 0.3s| 1 | 0 | 74 | - |9364k| 0 | 17 |1991 |3415 |1991 |1684 | 29 | 0 | 0 | 0.000000e+00 | -- | Inf 0.29/0.33 c 0.3s| 1 | 0 | 83 | - |9423k| 0 | 14 |1991 |3415 |1991 |1689 | 34 | 0 | 0 | 0.000000e+00 | -- | Inf 0.29/0.36 c 0.3s| 1 | 0 | 86 | - |9523k| 0 | 0 |1991 |3415 |1991 |1694 | 39 | 0 | 0 | 0.000000e+00 | -- | Inf 0.29/0.36 c 0.3s| 1 | 2 | 86 | - |9523k| 0 | 0 |1991 |3415 |1991 |1694 | 39 | 0 | 0 | 0.000000e+00 | -- | Inf 0.59/0.63 o 44621 0.59/0.63 c y 0.6s| 261 | 260 | 143 | 0.2 | 10M| 259 | - |1991 |3415 | 0 | 0 | 41 | 0 | 42 | 0.000000e+00 | 4.462100e+04 | Inf 1.19/1.22 o 325 1.19/1.22 c * 1.2s| 903 | 795 | 291 | 0.2 | 11M| 641 | - |1991 |3428 |1991 |1696 | 52 | 13 | 113 | 0.000000e+00 | 3.250000e+02 | Inf 4.99/5.00 o 322 4.99/5.00 c * 5.0s| 4246 | 4095 | 2445 | 0.6 | 16M| 665 | - |1991 |3503 |1991 |1694 | 255 | 88 | 708 | 0.000000e+00 | 3.220000e+02 | Inf 5.29/5.36 o 245 5.29/5.36 c * 5.3s| 4505 | 4169 | 2761 | 0.6 | 17M| 665 | - |1991 |3508 |1991 |1689 | 274 | 93 | 758 | 0.000000e+00 | 2.450000e+02 | Inf 5.40/5.42 o 237 5.40/5.42 c * 5.4s| 4552 | 4186 | 2790 | 0.6 | 17M| 665 | - |1991 |3519 |1991 |1693 | 277 | 104 | 758 | 0.000000e+00 | 2.370000e+02 | Inf 5.50/5.59 o 219 5.50/5.59 c * 5.6s| 4661 | 4187 | 2989 | 0.6 | 17M| 665 | - |1991 |3554 |1991 |1690 | 287 | 139 | 787 | 0.000000e+00 | 2.190000e+02 | Inf 5.50/5.59 o 204 5.50/5.59 c * 5.6s| 4662 | 4128 | 2989 | 0.6 | 17M| 665 | - |1991 |3554 |1991 |1690 | 287 | 139 | 787 | 0.000000e+00 | 2.040000e+02 | Inf 5.69/5.77 o 190 5.69/5.77 c * 5.7s| 4762 | 4150 | 3150 | 0.6 | 17M| 665 | - |1991 |3605 |1991 |1689 | 300 | 190 | 825 | 0.000000e+00 | 1.900000e+02 | Inf 5.69/5.79 o 180 5.69/5.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 5.69/5.79 c * 5.8s| 4770 | 4123 | 3161 | 0.6 | 17M| 665 | - |1991 |3607 |1991 |1691 | 302 | 192 | 825 | 0.000000e+00 | 1.800000e+02 | Inf 5.79/5.86 o 166 5.79/5.86 c * 5.8s| 4822 | 3971 | 3225 | 0.7 | 17M| 665 | - |1991 |3620 |1991 |1689 | 308 | 205 | 830 | 0.000000e+00 | 1.660000e+02 | Inf 6.99/7.02 o 165 6.99/7.02 c * 7.0s| 5342 | 4258 | 4954 | 0.9 | 18M| 665 | - |1991 |3899 |1991 |1692 | 457 | 510 |1110 | 0.000000e+00 | 1.650000e+02 | Inf 6.99/7.08 o 143 6.99/7.08 c * 7.1s| 5383 | 4073 | 4998 | 0.9 | 18M| 665 | - |1991 |3908 |1991 |1698 | 462 | 523 |1112 | 0.000000e+00 | 1.430000e+02 | Inf 7.29/7.32 o 129 7.29/7.32 c * 7.3s| 5494 | 3933 | 5306 | 1.0 | 18M| 665 | - |1991 |3966 |1991 |1687 | 491 | 593 |1161 | 0.000000e+00 | 1.290000e+02 | Inf 7.59/7.67 o 106 7.59/7.67 c * 7.6s| 5659 | 3661 | 5916 | 1.0 | 18M| 665 | - |1991 |4051 |1991 |1694 | 530 | 698 |1219 | 0.000000e+00 | 1.060000e+02 | Inf 7.99/8.04 o 101 7.99/8.04 c * 8.0s| 5795 | 3613 | 6746 | 1.1 | 18M| 665 | - |1991 |4210 |1991 |1691 | 551 | 890 |1291 | 0.000000e+00 | 1.010000e+02 | Inf 8.09/8.10 o 84 8.09/8.10 c * 8.1s| 5824 | 3009 | 6894 | 1.2 | 18M| 665 | - |1991 |4217 |1991 |1694 | 562 | 900 |1298 | 0.000000e+00 | 8.400000e+01 | Inf 8.09/8.10 o 66 8.09/8.10 c * 8.1s| 5825 | 2463 | 6894 | 1.2 | 17M| 665 | - |1991 |4217 |1991 |1694 | 562 | 900 |1298 | 0.000000e+00 | 6.600000e+01 | Inf 8.09/8.13 o 44 8.09/8.13 c * 8.1s| 5841 | 1807 | 6907 | 1.2 | 16M| 665 | - |1991 |3894 |1991 |1694 | 562 | 908 |1298 | 0.000000e+00 | 4.400000e+01 | Inf 9.99/10.01 o 28 9.99/10.01 c *10.0s| 6324 | 1164 | 13310 | 2.1 | 15M| 665 | - |1991 |4060 |1991 |1694 | 799 |1645 |1705 | 0.000000e+00 | 2.800000e+01 | Inf 12.89/12.91 o 24 12.89/12.91 c *12.9s| 7434 | 1188 | 28645 | 3.8 | 16M| 665 | - |1991 |4302 |1991 |1689 |1252 |3190 |1972 | 0.000000e+00 | 2.400000e+01 | Inf 12.89/12.92 o 11 12.89/12.92 c *12.9s| 7442 | 908 | 28645 | 3.8 | 15M| 665 | - |1991 |4221 |1991 |1689 |1252 |3192 |1972 | 0.000000e+00 | 1.100000e+01 | Inf 13.79/13.83 o 3 13.79/13.83 c *13.8s| 7819 | 553 | 34331 | 4.4 | 14M| 665 | - |1991 |4190 |1991 |1694 |1420 |3746 |2029 | 0.000000e+00 | 3.000000e+00 | Inf 13.79/13.84 o 2 13.79/13.84 c *13.8s| 7820 | 551 | 34331 | 4.4 | 14M| 665 | - |1991 |4190 |1991 |1694 |1420 |3746 |2029 | 0.000000e+00 | 2.000000e+00 | Inf 17.89/17.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 17.89/17.99 c 18.0s| 10000 | 578 | 62880 | 6.3 | 15M| 665 | 19 |1991 |5355 |1991 |1685 |2078 |6627 |2152 | 0.000000e+00 | 2.000000e+00 | Inf 36.29/36.35 c 36.3s| 20000 | 688 |189708 | 9.5 | 18M| 665 | 10 |1991 |9086 |1991 |1685 |4357 | 19k|2559 | 0.000000e+00 | 2.000000e+00 | Inf 56.49/56.54 c 56.5s| 30000 | 708 |319985 | 10.7 | 20M| 665 | 13 |1991 | 12k|1991 |1685 |6819 | 32k|3200 | 0.000000e+00 | 2.000000e+00 | Inf 77.49/77.56 c 77.5s| 40000 | 680 |457586 | 11.4 | 22M| 665 | 15 |1991 | 17k|1991 |1686 |9289 | 45k|3801 | 0.000000e+00 | 2.000000e+00 | Inf 101.10/101.18 c 101s| 50000 | 693 |618258 | 12.4 | 24M| 665 | - |1991 | 20k| 0 | 0 | 11k| 58k|4364 | 0.000000e+00 | 2.000000e+00 | Inf 124.39/124.46 c 124s| 60000 | 706 |765990 | 12.8 | 26M| 665 | - |1991 | 24k|1991 |1685 | 14k| 71k|4828 | 0.000000e+00 | 2.000000e+00 | Inf 147.89/147.90 c 148s| 70000 | 771 |906247 | 12.9 | 29M| 665 | 8 |1991 | 29k|1991 |1685 | 17k| 84k|5209 | 0.000000e+00 | 2.000000e+00 | Inf 172.90/172.97 c 173s| 80000 | 798 | 1056k| 13.2 | 29M| 665 | - |1991 | 28k| 0 | 0 | 20k| 97k|5619 | 0.000000e+00 | 2.000000e+00 | Inf 198.00/198.07 c 198s| 90000 | 801 | 1206k| 13.4 | 30M| 665 | - |1991 | 29k|1991 |1685 | 22k| 110k|5980 | 0.000000e+00 | 2.000000e+00 | Inf 221.80/221.84 c 222s|100000 | 775 | 1342k| 13.4 | 29M| 665 | - |1991 | 26k|1991 |1692 | 24k| 123k|6374 | 0.000000e+00 | 2.000000e+00 | Inf 246.80/246.83 c 247s|110000 | 750 | 1496k| 13.6 | 30M| 665 | - |1991 | 30k| 0 | 0 | 27k| 136k|6729 | 0.000000e+00 | 2.000000e+00 | Inf 270.90/270.92 c 271s|120000 | 723 | 1630k| 13.6 | 30M| 665 | 9 |1991 | 28k|1991 |1685 | 29k| 150k|6999 | 0.000000e+00 | 2.000000e+00 | Inf 296.10/296.18 c 296s|130000 | 761 | 1763k| 13.6 | 31M| 665 | - |1991 | 32k| 0 | 0 | 31k| 162k|7298 | 0.000000e+00 | 2.000000e+00 | Inf 321.70/321.77 c 322s|140000 | 803 | 1907k| 13.6 | 34M| 665 | 21 |1991 | 36k|1991 |1685 | 34k| 175k|7502 | 0.000000e+00 | 2.000000e+00 | Inf 346.80/346.87 c 347s|150000 | 824 | 2032k| 13.5 | 35M| 665 | - |1991 | 39k|1991 |1685 | 36k| 189k|7784 | 0.000000e+00 | 2.000000e+00 | Inf 374.40/374.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 374.40/374.49 c 374s|160000 | 951 | 2176k| 13.6 | 38M| 665 | - |1991 | 44k|1991 |1685 | 38k| 201k|8091 | 0.000000e+00 | 2.000000e+00 | Inf 402.61/402.66 c 403s|170000 | 916 | 2320k| 13.6 | 38M| 665 | - |1991 | 43k|1991 |1685 | 40k| 215k|8266 | 0.000000e+00 | 2.000000e+00 | Inf 430.90/430.96 c 431s|180000 | 858 | 2464k| 13.7 | 37M| 665 | 30 |1991 | 42k|1991 |1685 | 43k| 228k|8520 | 0.000000e+00 | 2.000000e+00 | Inf 458.81/458.82 c 459s|190000 | 832 | 2603k| 13.7 | 37M| 665 | - |1991 | 42k| 0 | 0 | 46k| 241k|8770 | 0.000000e+00 | 2.000000e+00 | Inf 486.11/486.14 c 486s|200000 | 829 | 2745k| 13.7 | 37M| 665 | 17 |1991 | 43k|1991 |1685 | 49k| 255k|8953 | 0.000000e+00 | 2.000000e+00 | Inf 514.00/514.00 c 514s|210000 | 739 | 2903k| 13.8 | 36M| 665 | 19 |1991 | 39k|1991 |1685 | 51k| 268k|9161 | 0.000000e+00 | 2.000000e+00 | Inf 540.20/540.25 c 540s|220000 | 638 | 3043k| 13.8 | 32M| 665 | - |1991 | 30k|1991 |1685 | 53k| 281k|9377 | 0.000000e+00 | 2.000000e+00 | Inf 565.10/565.16 c 565s|230000 | 632 | 3180k| 13.8 | 34M| 665 | - |1991 | 35k|1991 |1685 | 55k| 294k|9577 | 0.000000e+00 | 2.000000e+00 | Inf 592.01/592.09 c 592s|240000 | 619 | 3326k| 13.9 | 35M| 665 | - |1991 | 38k|1991 |1685 | 58k| 306k|9804 | 0.000000e+00 | 2.000000e+00 | Inf 618.81/618.87 c 619s|250000 | 646 | 3470k| 13.9 | 35M| 665 | 17 |1991 | 38k|1991 |1686 | 61k| 319k| 10k| 0.000000e+00 | 2.000000e+00 | Inf 645.31/645.34 c 645s|260000 | 617 | 3610k| 13.9 | 34M| 665 | 22 |1991 | 34k|1991 |1686 | 63k| 332k| 10k| 0.000000e+00 | 2.000000e+00 | Inf 671.60/671.64 c 672s|270000 | 544 | 3749k| 13.9 | 33M| 665 | 20 |1991 | 32k|1991 |1687 | 65k| 346k| 10k| 0.000000e+00 | 2.000000e+00 | Inf 695.30/695.36 c 695s|280000 | 583 | 3883k| 13.9 | 31M| 665 | - |1991 | 27k| 0 | 0 | 68k| 359k| 10k| 0.000000e+00 | 2.000000e+00 | Inf 718.51/718.53 c 719s|290000 | 506 | 4012k| 13.8 | 32M| 665 | - |1991 | 29k| 0 | 0 | 70k| 372k| 10k| 0.000000e+00 | 2.000000e+00 | Inf 740.61/740.60 c 741s|300000 | 584 | 4121k| 13.7 | 34M| 665 | - |1991 | 33k|1991 |1685 | 72k| 384k| 10k| 0.000000e+00 | 2.000000e+00 | Inf 765.01/765.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 765.01/765.00 c 765s|310000 | 494 | 4240k| 13.7 | 33M| 665 | 24 |1991 | 31k|1991 |1685 | 75k| 397k| 11k| 0.000000e+00 | 2.000000e+00 | Inf 788.72/788.72 c 789s|320000 | 576 | 4373k| 13.7 | 33M| 665 | - |1991 | 30k|1991 |1685 | 78k| 410k| 11k| 0.000000e+00 | 2.000000e+00 | Inf 812.71/812.74 c 813s|330000 | 615 | 4505k| 13.7 | 34M| 665 | 17 |1991 | 34k|1991 |1685 | 81k| 423k| 11k| 0.000000e+00 | 2.000000e+00 | Inf 837.51/837.52 c 837s|340000 | 607 | 4640k| 13.6 | 35M| 665 | 13 |1991 | 36k|1991 |1685 | 83k| 436k| 11k| 0.000000e+00 | 2.000000e+00 | Inf 862.51/862.52 c 863s|350000 | 660 | 4773k| 13.6 | 36M| 665 | 25 |1991 | 37k|1991 |1685 | 86k| 449k| 11k| 0.000000e+00 | 2.000000e+00 | Inf 889.31/889.32 c 889s|360000 | 626 | 4925k| 13.7 | 36M| 665 | - |1991 | 38k| 0 | 0 | 88k| 463k| 11k| 0.000000e+00 | 2.000000e+00 | Inf 916.02/916.04 c 916s|370000 | 619 | 5076k| 13.7 | 37M| 665 | - |1991 | 39k|1991 |1685 | 90k| 476k| 12k| 0.000000e+00 | 2.000000e+00 | Inf 943.92/943.96 c 944s|380000 | 607 | 5238k| 13.8 | 36M| 665 | 18 |1991 | 38k|1991 |1685 | 93k| 489k| 12k| 0.000000e+00 | 2.000000e+00 | Inf 970.51/970.56 c 971s|390000 | 571 | 5389k| 13.8 | 36M| 665 | 19 |1991 | 38k|1991 |1685 | 95k| 503k| 12k| 0.000000e+00 | 2.000000e+00 | Inf 997.72/997.78 c 998s|400000 | 647 | 5547k| 13.9 | 38M| 665 | - |1991 | 42k| 0 | 0 | 97k| 516k| 12k| 0.000000e+00 | 2.000000e+00 | Inf 1025.32/1025.35 c 1025s|410000 | 718 | 5697k| 13.9 | 40M| 665 | - |1991 | 46k|1991 |1685 | 100k| 529k| 12k| 0.000000e+00 | 2.000000e+00 | Inf 1053.91/1053.91 c 1054s|420000 | 700 | 5850k| 13.9 | 40M| 665 | - |1991 | 46k|1991 |1690 | 103k| 542k| 12k| 0.000000e+00 | 2.000000e+00 | Inf 1081.92/1081.99 c 1082s|430000 | 622 | 6002k| 14.0 | 39M| 665 | 16 |1991 | 44k|1991 |1685 | 105k| 555k| 12k| 0.000000e+00 | 2.000000e+00 | Inf 1108.12/1108.17 c 1108s|440000 | 568 | 6143k| 14.0 | 37M| 665 | - |1991 | 39k| 0 | 0 | 107k| 568k| 13k| 0.000000e+00 | 2.000000e+00 | Inf 1133.62/1133.69 c 1134s|450000 | 572 | 6275k| 13.9 | 37M| 665 | 8 |1991 | 39k|1991 |1685 | 109k| 581k| 13k| 0.000000e+00 | 2.000000e+00 | Inf 1159.42/1159.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1159.42/1159.46 c 1159s|460000 | 610 | 6415k| 13.9 | 38M| 665 | - |1991 | 42k| 0 | 0 | 111k| 594k| 13k| 0.000000e+00 | 2.000000e+00 | Inf 1184.12/1184.10 c 1184s|470000 | 826 | 6543k| 13.9 | 41M| 665 | 21 |1991 | 47k|1991 |1685 | 115k| 607k| 13k| 0.000000e+00 | 2.000000e+00 | Inf 1210.83/1210.86 c 1211s|480000 | 922 | 6669k| 13.9 | 41M| 665 | - |1991 | 46k| 0 | 0 | 117k| 619k| 13k| 0.000000e+00 | 2.000000e+00 | Inf 1238.02/1238.05 c 1238s|490000 | 1053 | 6799k| 13.9 | 42M| 665 | - |1991 | 45k| 0 | 0 | 120k| 632k| 13k| 0.000000e+00 | 2.000000e+00 | Inf 1263.93/1263.98 c 1264s|500000 | 1125 | 6921k| 13.8 | 44M| 665 | - |1991 | 49k|1991 |1685 | 123k| 645k| 13k| 0.000000e+00 | 2.000000e+00 | Inf 1290.52/1290.50 c 1290s|510000 | 1203 | 7039k| 13.8 | 44M| 665 | 12 |1991 | 49k|1991 |1685 | 126k| 658k| 13k| 0.000000e+00 | 2.000000e+00 | Inf 1317.42/1317.40 c 1317s|520000 | 1156 | 7166k| 13.8 | 44M| 665 | 19 |1991 | 48k|1991 |1685 | 128k| 671k| 14k| 0.000000e+00 | 2.000000e+00 | Inf 1344.62/1344.61 c 1345s|530000 | 1119 | 7299k| 13.8 | 43M| 665 | - |1991 | 45k|1991 |1697 | 131k| 684k| 14k| 0.000000e+00 | 2.000000e+00 | Inf 1371.92/1371.95 c 1372s|540000 | 1121 | 7439k| 13.8 | 44M| 665 | - |1991 | 49k| 0 | 0 | 133k| 697k| 14k| 0.000000e+00 | 2.000000e+00 | Inf 1399.23/1399.21 c 1399s|550000 | 952 | 7566k| 13.8 | 42M| 665 | 21 |1991 | 47k|1991 |1685 | 136k| 710k| 14k| 0.000000e+00 | 2.000000e+00 | Inf 1426.03/1426.03 c 1426s|560000 | 735 | 7698k| 13.7 | 41M| 665 | 21 |1991 | 45k|1991 |1692 | 139k| 723k| 14k| 0.000000e+00 | 2.000000e+00 | Inf 1452.83/1452.83 c 1453s|570000 | 643 | 7830k| 13.7 | 41M| 665 | - |1991 | 47k| 0 | 0 | 142k| 736k| 14k| 0.000000e+00 | 2.000000e+00 | Inf 1479.92/1479.99 c 1480s|580000 | 553 | 7964k| 13.7 | 39M| 665 | 21 |1991 | 44k|1991 |1685 | 144k| 749k| 14k| 0.000000e+00 | 2.000000e+00 | Inf 1505.43/1505.49 c 1505s|590000 | 541 | 8094k| 13.7 | 38M| 665 | - |1991 | 40k|1991 |1685 | 146k| 763k| 14k| 0.000000e+00 | 2.000000e+00 | Inf 1531.93/1531.99 c 1532s|600000 | 584 | 8231k| 13.7 | 39M| 665 | - |1991 | 42k| 0 | 0 | 149k| 776k| 14k| 0.000000e+00 | 2.000000e+00 | Inf 1558.13/1558.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1558.13/1558.18 c 1558s|610000 | 657 | 8367k| 13.7 | 41M| 665 | 29 |1991 | 47k|1991 |1685 | 151k| 789k| 15k| 0.000000e+00 | 2.000000e+00 | Inf 1585.83/1585.88 c 1586s|620000 | 883 | 8502k| 13.7 | 43M| 665 | 14 |1991 | 49k|1991 |1685 | 153k| 801k| 15k| 0.000000e+00 | 2.000000e+00 | Inf 1615.73/1615.80 c 1616s|630000 | 910 | 8654k| 13.7 | 44M| 665 | 18 |1991 | 51k|1991 |1685 | 156k| 815k| 15k| 0.000000e+00 | 2.000000e+00 | Inf 1643.73/1643.75 c 1644s|640000 | 853 | 8792k| 13.7 | 44M| 665 | - |1991 | 50k|1991 |1698 | 158k| 828k| 15k| 0.000000e+00 | 2.000000e+00 | Inf 1671.04/1671.05 c 1671s|650000 | 771 | 8927k| 13.7 | 44M| 665 | - |1991 | 51k|1991 |1685 | 161k| 841k| 15k| 0.000000e+00 | 2.000000e+00 | Inf 1699.33/1699.30 c 1699s|660000 | 719 | 9062k| 13.7 | 43M| 665 | 18 |1991 | 51k|1991 |1685 | 163k| 854k| 15k| 0.000000e+00 | 2.000000e+00 | Inf 1726.43/1726.48 c 1726s|670000 | 658 | 9193k| 13.7 | 43M| 665 | - |1991 | 51k| 0 | 0 | 166k| 867k| 15k| 0.000000e+00 | 2.000000e+00 | Inf 1753.14/1753.12 c 1753s|680000 | 724 | 9321k| 13.7 | 45M| 665 | - |1991 | 56k| 0 | 0 | 168k| 880k| 15k| 0.000000e+00 | 2.000000e+00 | Inf 1782.23/1782.25 c 1782s|690000 | 482 | 9457k| 13.7 | 41M| 665 | 1 |1991 | 48k|1991 |1685 | 171k| 894k| 15k| 0.000000e+00 | 2.000000e+00 | Inf 1790.03/1790.00 c 1790.03/1790.00 c SCIP Status : solving was interrupted [time limit reached] 1790.03/1790.00 c Solving Time (sec) : 1789.98 1790.03/1790.00 c Solving Nodes : 693046 1790.03/1790.00 c Primal Bound : +2.00000000000000e+00 (65 solutions) 1790.03/1790.00 c Dual Bound : +0.00000000000000e+00 1790.03/1790.00 c Gap : infinite 1790.03/1790.01 s SATISFIABLE 1790.03/1790.01 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 1790.03/1790.01 v -x209 -x208 -x207 -x206 x205 -x204 -x203 -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 1790.03/1790.01 v -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 x168 1790.03/1790.01 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 1790.03/1790.01 v -x146 x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 1790.03/1790.01 v -x125 -x124 x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104 1790.03/1790.01 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 1790.03/1790.01 v -x79 -x78 -x77 x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 x61 -x60 -x59 -x58 -x57 -x56 -x55 1790.03/1790.01 v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 1790.03/1790.01 v -x28 x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 1790.03/1790.01 v -x1 1790.03/1790.01 c SCIP Status : solving was interrupted [time limit reached] 1790.03/1790.01 c Solving Time : 1789.98 1790.03/1790.01 c Original Problem : 1790.03/1790.01 c Problem name : HOME/instance-2705539-1278572955.wbo 1790.03/1790.01 c Variables : 2081 (1156 binary, 0 integer, 925 implicit integer, 0 continuous) 1790.03/1790.01 c Constraints : 3633 initial, 3633 maximal 1790.03/1790.01 c Presolved Problem : 1790.03/1790.01 c Problem name : t_HOME/instance-2705539-1278572955.wbo 1790.03/1790.01 c Variables : 1991 (1111 binary, 0 integer, 880 implicit integer, 0 continuous) 1790.03/1790.01 c Constraints : 3415 initial, 56841 maximal 1790.03/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1790.03/1790.01 c trivial : 0.00 45 0 0 0 0 0 0 0 1790.03/1790.01 c dualfix : 0.00 45 0 0 0 0 0 0 0 1790.03/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 1790.03/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1790.03/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0 1790.03/1790.01 c probing : 0.03 0 0 0 0 0 0 0 0 1790.03/1790.01 c knapsack : 0.00 0 0 0 0 0 0 0 0 1790.03/1790.01 c setppc : 0.00 0 0 0 0 0 60 0 0 1790.03/1790.01 c linear : 0.04 0 0 0 925 0 113 45 0 1790.03/1790.01 c indicator : 0.00 0 0 0 0 0 45 0 0 1790.03/1790.01 c logicor : 0.01 0 0 0 0 0 0 0 0 1790.03/1790.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0 1790.03/1790.01 c root node : - 1738 - - 1738 - - - - 1790.03/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1790.03/1790.01 c integral : 0 0 0 405378 0 581 7064 0 0 724082 1790.03/1790.01 c knapsack : 1 6 2766800 36945 1 43870 4692745 0 0 0 1790.03/1790.01 c setppc : 63 6 2724319 36667 1 39630 2249844 0 0 0 1790.03/1790.01 c linear : 880 6 2685389 36980 1 33828 3600439 171992 0 0 1790.03/1790.01 c indicator : 880 0 2648511 36924 1 42 95041 0 0 0 1790.03/1790.01 c logicor : 1591+ 6 1482679 5416 1 64965 5477142 0 0 0 1790.03/1790.01 c bounddisjunction : 0+ 0 337938 0 0 10 54 0 0 0 1790.03/1790.01 c countsols : 0 0 0 5416 1 0 0 0 0 0 1790.03/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1790.03/1790.01 c integral : 38.86 0.00 0.00 38.86 0.00 1790.03/1790.01 c knapsack : 24.48 0.00 24.47 0.02 0.00 1790.03/1790.01 c setppc : 19.30 0.00 19.27 0.03 0.00 1790.03/1790.01 c linear : 39.01 0.00 38.00 1.01 0.00 1790.03/1790.01 c indicator : 2.31 0.01 1.92 0.38 0.00 1790.03/1790.01 c logicor : 300.51 0.00 300.39 0.12 0.00 1790.03/1790.01 c bounddisjunction : 0.85 0.00 0.85 0.00 0.00 1790.03/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00 1790.03/1790.01 c Propagators : Time Calls Cutoffs DomReds 1790.03/1790.01 c vbounds : 0.46 1282 0 141 1790.03/1790.01 c rootredcost : 0.46 23 0 869 1790.03/1790.01 c pseudoobj : 36.31 2769185 372 82034 1790.03/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1790.03/1790.01 c propagation : 6.08 182675 181979 1072378 25.0 4784 25.6 - 1790.03/1790.01 c infeasible LP : 30.72 178867 178865 1318198 43.2 953 20.2 0 1790.03/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1790.03/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1790.03/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1790.03/1790.01 c applied globally : - - - 898619 31.2 - - - 1790.03/1790.01 c applied locally : - - - 0 0.0 - - - 1790.03/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1790.03/1790.01 c cut pool : 0.00 5 - - 59 - (maximal pool size: 291) 1790.03/1790.01 c redcost : 13.34 405753 0 7789 0 0 1790.03/1790.01 c impliedbounds : 0.00 5 0 0 0 0 1790.03/1790.01 c intobj : 0.00 0 0 0 0 0 1790.03/1790.01 c cgmip : 0.00 0 0 0 0 0 1790.03/1790.01 c gomory : 0.06 5 0 0 1962 0 1790.03/1790.01 c strongcg : 0.06 5 0 0 1962 0 1790.03/1790.01 c cmir : 0.01 5 0 0 1 0 1790.03/1790.01 c flowcover : 0.03 5 0 0 2 0 1790.03/1790.01 c clique : 0.00 5 0 0 0 0 1790.03/1790.01 c zerohalf : 0.00 0 0 0 0 0 1790.03/1790.01 c mcf : 0.00 1 0 0 0 0 1790.03/1790.01 c rapidlearning : 0.05 1 0 0 0 0 1790.03/1790.01 c Pricers : Time Calls Vars 1790.03/1790.01 c problem variables: 0.00 0 0 1790.03/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1790.03/1790.01 c relpscost : 38.55 368380 581 7064 0 0 724082 1790.03/1790.01 c pscost : 0.00 0 0 0 0 0 0 1790.03/1790.01 c inference : 0.61 5395 0 0 0 0 10798 1790.03/1790.01 c mostinf : 0.00 0 0 0 0 0 0 1790.03/1790.01 c leastinf : 0.00 0 0 0 0 0 0 1790.03/1790.01 c fullstrong : 0.00 0 0 0 0 0 0 1790.03/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0 1790.03/1790.01 c random : 0.00 0 0 0 0 0 0 1790.03/1790.01 c Primal Heuristics : Time Calls Found 1790.03/1790.01 c LP solutions : 0.01 - 22 1790.03/1790.01 c pseudo solutions : 0.00 - 0 1790.03/1790.01 c intshifting : 0.02 0 0 1790.03/1790.01 c oneopt : 0.25 20 0 1790.03/1790.01 c feaspump : 0.03 1 0 1790.03/1790.01 c crossover : 0.40 6 0 1790.03/1790.01 c linesearchdiving : 0.34 99 0 1790.03/1790.01 c guideddiving : 0.36 99 0 1790.03/1790.01 c rootsoldiving : 0.38 50 0 1790.03/1790.01 c pscostdiving : 0.36 100 0 1790.03/1790.01 c veclendiving : 0.36 100 0 1790.03/1790.01 c coefdiving : 0.34 100 0 1790.03/1790.01 c fracdiving : 0.36 100 0 1790.03/1790.01 c objpscostdiving : 0.25 51 0 1790.03/1790.01 c trivial : 0.00 2 0 1790.03/1790.01 c simplerounding : 0.52 368372 0 1790.03/1790.01 c zirounding : 0.23 1000 0 1790.03/1790.01 c rounding : 0.77 8554 0 1790.03/1790.01 c shifting : 0.72 2672 0 1790.03/1790.01 c twoopt : 0.00 0 0 1790.03/1790.01 c fixandinfer : 0.00 0 0 1790.03/1790.01 c intdiving : 0.00 0 0 1790.03/1790.01 c actconsdiving : 0.00 0 0 1790.03/1790.01 c octane : 0.00 0 0 1790.03/1790.01 c rens : 0.00 0 0 1790.03/1790.01 c rins : 0.00 0 0 1790.03/1790.01 c localbranching : 0.00 0 0 1790.03/1790.01 c mutation : 0.00 0 0 1790.03/1790.01 c dins : 0.00 0 0 1790.03/1790.01 c undercover : 0.00 0 0 1790.03/1790.01 c nlp : 0.13 0 0 1790.03/1790.01 c trysol : 0.18 93 43 1790.03/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec 1790.03/1790.01 c primal LP : 0.00 0 0 0.00 - 1790.03/1790.01 c dual LP : 878.85 575103 9486011 16.49 10793.61 1790.03/1790.01 c lex dual LP : 0.00 0 0 0.00 - 1790.03/1790.01 c barrier LP : 0.00 0 0 0.00 - 1790.03/1790.01 c diving/probing LP: 1.69 1088 11519 10.59 6808.83 1790.03/1790.01 c strong branching : 35.11 15843 370135 23.36 10541.71 1790.03/1790.01 c (at root node) : - 0 0 0.00 - 1790.03/1790.01 c conflict analysis: 0.00 0 0 0.00 - 1790.03/1790.01 c B&B Tree : 1790.03/1790.01 c number of runs : 1 1790.03/1790.01 c nodes : 693046 1790.03/1790.01 c nodes (total) : 693046 1790.03/1790.01 c nodes left : 500 1790.03/1790.01 c max depth : 665 1790.03/1790.01 c max depth (total): 665 1790.03/1790.01 c backtracks : 116563 (16.8%) 1790.03/1790.01 c delayed cutoffs : 36494 1790.03/1790.01 c repropagations : 928259 (3191401 domain reductions, 35416 cutoffs) 1790.03/1790.01 c avg switch length: 4.56 1790.03/1790.01 c switching time : 232.54 1790.03/1790.01 c Solution : 1790.03/1790.01 c Solutions found : 65 (23 improvements) 1790.03/1790.01 c First Solution : +4.46210000000000e+04 (in run 1, after 260 nodes, 0.61 seconds, depth 260, found by <trysol>) 1790.03/1790.01 c Primal Bound : +2.00000000000000e+00 (in run 1, after 7820 nodes, 13.81 seconds, depth 35, found by <relaxation>) 1790.03/1790.01 c Dual Bound : +0.00000000000000e+00 1790.03/1790.01 c Gap : infinite 1790.03/1790.01 c Root Dual Bound : +0.00000000000000e+00 1790.03/1790.01 c Root Iterations : 86 1790.03/1790.08 c Time complete: 1790.12.
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705539-1278572955/watcher-2705539-1278572955 -o /tmp/evaluation-result-2705539-1278572955/solver-2705539-1278572955 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705539-1278572955.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.19 0.05 0.01 4/178 21923 /proc/meminfo: memFree=30120300/32951124 swapFree=67111528/67111528 [pid=21923] ppid=21921 vsize=12556 CPUtime=0 /proc/21923/stat : 21923 (pbscip.linux.x8) R 21921 21923 21786 0 -1 4202496 1972 0 0 0 0 0 0 0 25 0 1 0 25509499 12857344 1891 4089446400 4194304 10345943 140736773064448 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/21923/statm: 3139 1891 429 1502 0 1632 0 [startup+0.0877229 s] /proc/loadavg: 0.19 0.05 0.01 4/178 21923 /proc/meminfo: memFree=30120300/32951124 swapFree=67111528/67111528 [pid=21923] ppid=21921 vsize=27508 CPUtime=0.08 /proc/21923/stat : 21923 (pbscip.linux.x8) R 21921 21923 21786 0 -1 4202496 5934 0 0 0 8 0 0 0 25 0 1 0 25509499 28168192 5499 4089446400 4194304 10345943 140736773064448 18446744073709551615 5018991 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21923/statm: 6877 5499 561 1502 0 5370 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 27508 [startup+0.100701 s] /proc/loadavg: 0.19 0.05 0.01 4/178 21923 /proc/meminfo: memFree=30120300/32951124 swapFree=67111528/67111528 [pid=21923] ppid=21921 vsize=27644 CPUtime=0.09 /proc/21923/stat : 21923 (pbscip.linux.x8) R 21921 21923 21786 0 -1 4202496 5989 0 0 0 9 0 0 0 25 0 1 0 25509499 28307456 5554 4089446400 4194304 10345943 140736773064448 18446744073709551615 5031777 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21923/statm: 6911 5554 570 1502 0 5404 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27644 [startup+0.300665 s] /proc/loadavg: 0.19 0.05 0.01 4/178 21923 /proc/meminfo: memFree=30120300/32951124 swapFree=67111528/67111528 [pid=21923] ppid=21921 vsize=36432 CPUtime=0.29 /proc/21923/stat : 21923 (pbscip.linux.x8) R 21921 21923 21786 0 -1 4202496 12174 0 0 0 28 1 0 0 25 0 1 0 25509499 37306368 7548 4089446400 4194304 10345943 140736773064448 18446744073709551615 6466557 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21923/statm: 9108 7548 759 1502 0 7601 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36432 [startup+0.700598 s] /proc/loadavg: 0.19 0.05 0.01 4/178 21923 /proc/meminfo: memFree=30120300/32951124 swapFree=67111528/67111528 [pid=21923] ppid=21921 vsize=38792 CPUtime=0.69 /proc/21923/stat : 21923 (pbscip.linux.x8) R 21921 21923 21786 0 -1 4202496 13653 0 0 0 68 1 0 0 25 0 1 0 25509499 39723008 8238 4089446400 4194304 10345943 140736773064448 18446744073709551615 6777589 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21923/statm: 9698 8238 773 1502 0 8191 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 38792 [startup+1.50046 s] /proc/loadavg: 0.34 0.08 0.02 3/179 21924 /proc/meminfo: memFree=30089292/32951124 swapFree=67111528/67111528 [pid=21923] ppid=21921 vsize=44340 CPUtime=1.49 /proc/21923/stat : 21923 (pbscip.linux.x8) R 21921 21923 21786 0 -1 4202496 14834 0 0 0 147 2 0 0 25 0 1 0 25509499 45404160 8955 4089446400 4194304 10345943 140736773064448 18446744073709551615 6802904 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21923/statm: 11085 8955 779 1502 0 9578 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 44340 [startup+3.10017 s] /proc/loadavg: 0.34 0.08 0.02 3/179 21924 /proc/meminfo: memFree=30086192/32951124 swapFree=67111528/67111528 [pid=21923] ppid=21921 vsize=45136 CPUtime=3.09 /proc/21923/stat : 21923 (pbscip.linux.x8) R 21921 21923 21786 0 -1 4202496 19540 0 0 0 306 3 0 0 25 0 1 0 25509499 46219264 9413 4089446400 4194304 10345943 140736773064448 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21923/statm: 11284 9413 781 1502 0 9777 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 45136 [startup+6.30061 s] /proc/loadavg: 0.47 0.11 0.04 3/179 21924 /proc/meminfo: memFree=30072556/32951124 swapFree=67111528/67111528 [pid=21923] ppid=21921 vsize=54352 CPUtime=6.29 /proc/21923/stat : 21923 (pbscip.linux.x8) R 21921 21923 21786 0 -1 4202496 30631 0 0 0 624 5 0 0 25 0 1 0 25509499 55656448 11337 4089446400 4194304 10345943 140736773064448 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21923/statm: 13588 11337 786 1502 0 12081 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 54352 [startup+12.7005 s] /proc/loadavg: 0.59 0.14 0.05 3/179 21924 /proc/meminfo: memFree=30057916/32951124 swapFree=67111528/67111528 [pid=21923] ppid=21921 vsize=58316 CPUtime=12.69 /proc/21923/stat : 21923 (pbscip.linux.x8) R 21921 21923 21786 0 -1 4202496 61971 0 0 0 1257 12 0 0 25 0 1 0 25509499 59715584 12569 4089446400 4194304 10345943 140736773064448 18446744073709551615 6551120 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21923/statm: 14579 12569 798 1502 0 13072 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 58316 [startup+25.5002 s] /proc/loadavg: 0.90 0.23 0.08 3/179 21924 /proc/meminfo: memFree=30037300/32951124 swapFree=67111528/67111528 [pid=21923] ppid=21921 vsize=59756 CPUtime=25.49 /proc/21923/stat : 21923 (pbscip.linux.x8) R 21921 21923 21786 0 -1 4202496 79507 0 0 0 2528 21 0 0 25 0 1 0 25509499 61190144 13242 4089446400 4194304 10345943 140736773064448 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21923/statm: 14939 13242 798 1502 0 13432 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 59756 [startup+51.1007 s] /proc/loadavg: 1.28 0.37 0.13 3/179 21925 /proc/meminfo: memFree=29996748/32951124 swapFree=67111528/67111528 [pid=21923] ppid=21921 vsize=71328 CPUtime=51.09 /proc/21923/stat : 21923 (pbscip.linux.x8) R 21921 21923 21786 0 -1 4202496 93725 0 0 0 5075 34 0 0 25 0 1 0 25509499 73039872 16360 4089446400 4194304 10345943 140736773064448 18446744073709551615 6003051 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21923/statm: 17832 16360 798 1502 0 16325 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 71328 [startup+102.307 s] /proc/loadavg: 1.68 0.62 0.22 3/179 21926 /proc/meminfo: memFree=29987232/32951124 swapFree=67111528/67111528 [pid=21923] ppid=21921 vsize=73200 CPUtime=102.3 /proc/21923/stat : 21923 (pbscip.linux.x8) R 21921 21923 21786 0 -1 4202496 94236 0 0 0 10170 60 0 0 25 0 1 0 25509499 74956800 16869 4089446400 4194304 10345943 140736773064448 18446744073709551615 4995726 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21923/statm: 18300 16869 798 1502 0 16793 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 73200 [startup+162.301 s] /proc/loadavg: 1.88 0.87 0.33 3/179 21928 /proc/meminfo: memFree=29976644/32951124 swapFree=67111528/67111528 [pid=21923] ppid=21921 vsize=77496 CPUtime=162.29 /proc/21923/stat : 21923 (pbscip.linux.x8) R 21921 21923 21786 0 -1 4202496 105254 0 0 0 16137 92 0 0 25 0 1 0 25509499 79355904 18075 4089446400 4194304 10345943 140736773064448 18446744073709551615 6872601 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21923/statm: 19374 18075 798 1502 0 17867 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 77496 [startup+222.301 s] /proc/loadavg: 1.95 1.07 0.43 3/179 21930 /proc/meminfo: memFree=29969044/32951124 swapFree=67111528/67111528 [pid=21923] ppid=21921 vsize=80596 CPUtime=222.3 /proc/21923/stat : 21923 (pbscip.linux.x8) R 21921 21923 21786 0 -1 4202496 120977 0 0 0 22108 122 0 0 25 0 1 0 25509499 82530304 18513 4089446400 4194304 10345943 140736773064448 18446744073709551615 6068920 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21923/statm: 20149 18513 798 1502 0 18642 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 80596 [startup+282.301 s] /proc/loadavg: 1.98 1.24 0.53 3/179 21931 /proc/meminfo: memFree=29952516/32951124 swapFree=67111528/67111528 [pid=21923] ppid=21921 vsize=82900 CPUtime=282.3 /proc/21923/stat : 21923 (pbscip.linux.x8) R 21921 21923 21786 0 -1 4202496 135409 0 0 0 28081 149 0 0 25 0 1 0 25509499 84889600 19059 4089446400 4194304 10345943 140736773064448 18446744073709551615 5085256 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21923/statm: 20725 19059 798 1502 0 19218 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 82900 [startup+342.3 s] /proc/loadavg: 1.99 1.38 0.62 3/179 21932 /proc/meminfo: memFree=29948748/32951124 swapFree=67111528/67111528 [pid=21923] ppid=21921 vsize=88172 CPUtime=342.3 /proc/21923/stat : 21923 (pbscip.linux.x8) R 21921 21923 21786 0 -1 4202496 145683 0 0 0 34055 175 0 0 25 0 1 0 25509499 90288128 20019 4089446400 4194304 10345943 140736773064448 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21923/statm: 22043 20019 798 1502 0 20536 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 88172 [startup+402.301 s] /proc/loadavg: 1.99 1.49 0.70 3/179 21934 /proc/meminfo: memFree=29943860/32951124 swapFree=67111528/67111528 [pid=21923] ppid=21921 vsize=91120 CPUtime=402.3 /proc/21923/stat : 21923 (pbscip.linux.x8) R 21921 21923 21786 0 -1 4202496 151865 0 0 0 40032 198 0 0 25 0 1 0 25509499 93306880 20814 4089446400 4194304 10345943 140736773064448 18446744073709551615 5926431 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21923/statm: 22780 20814 798 1502 0 21273 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 91120 [startup+462.3 s] /proc/loadavg: 1.99 1.58 0.78 3/179 21936 /proc/meminfo: memFree=29942324/32951124 swapFree=67111528/67111528 [pid=21923] ppid=21921 vsize=91960 CPUtime=462.3 /proc/21923/stat : 21923 (pbscip.linux.x8) R 21921 21923 21786 0 -1 4202496 156907 0 0 0 46011 219 0 0 25 0 1 0 25509499 94167040 21120 4089446400 4194304 10345943 140736773064448 18446744073709551615 4212623 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21923/statm: 22990 21120 798 1502 0 21483 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 91960 [startup+522.301 s] /proc/loadavg: 1.99 1.65 0.85 3/179 21937 /proc/meminfo: memFree=29940912/32951124 swapFree=67111528/67111528 [pid=21923] ppid=21921 vsize=92912 CPUtime=522.3 /proc/21923/stat : 21923 (pbscip.linux.x8) R 21921 21923 21786 0 -1 4202496 165463 0 0 0 51987 243 0 0 25 0 1 0 25509499 95141888 21341 4089446400 4194304 10345943 140736773064448 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21923/statm: 23228 21341 798 1502 0 21721 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 92912 [startup+582.301 s] /proc/loadavg: 2.05 1.73 0.93 3/179 21942 /proc/meminfo: memFree=29940556/32951124 swapFree=67111528/67111528 [pid=21923] ppid=21921 vsize=92688 CPUtime=582.3 /proc/21923/stat : 21923 (pbscip.linux.x8) R 21921 21923 21786 0 -1 4202496 182093 0 0 0 57961 269 0 0 25 0 1 0 25509499 94912512 21551 4089446400 4194304 10345943 140736773064448 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21923/statm: 23172 21551 798 1502 0 21665 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 92688 [startup+642.3 s] /proc/loadavg: 2.02 1.77 0.99 3/179 21943 /proc/meminfo: memFree=29939844/32951124 swapFree=67111528/67111528 [pid=21923] ppid=21921 vsize=92660 CPUtime=642.31 /proc/21923/stat : 21923 (pbscip.linux.x8) R 21921 21923 21786 0 -1 4202496 203190 0 0 0 63933 298 0 0 25 0 1 0 25509499 94883840 21544 4089446400 4194304 10345943 140736773064448 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21923/statm: 23165 21544 798 1502 0 21658 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 92660 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=29936704/32951124 swapFree=67111528/67111528 [pid=21923] ppid=21921 vsize=95772 CPUtime=1062.32 /proc/21923/stat : 21923 (pbscip.linux.x8) R 21921 21923 21786 0 -1 4202496 289533 0 0 0 105758 474 0 0 25 0 1 0 25509499 98070528 21910 4089446400 4194304 10345943 140736773064448 18446744073709551615 9107408 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21923/statm: 23943 21910 798 1502 0 22436 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 95772 [startup+1122.3 s] /proc/loadavg: 2.00 1.95 1.38 3/179 21957 /proc/meminfo: memFree=29936276/32951124 swapFree=67111528/67111528 [pid=21923] ppid=21921 vsize=96720 CPUtime=1122.32 /proc/21923/stat : 21923 (pbscip.linux.x8) R 21921 21923 21786 0 -1 4202496 291899 0 0 0 111734 498 0 0 25 0 1 0 25509499 99041280 22002 4089446400 4194304 10345943 140736773064448 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21923/statm: 24180 22002 798 1502 0 22673 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 96720 [startup+1182.3 s] /proc/loadavg: 2.00 1.95 1.42 3/179 21958 /proc/meminfo: memFree=29935864/32951124 swapFree=67111528/67111528 [pid=21923] ppid=21921 vsize=96680 CPUtime=1182.32 /proc/21923/stat : 21923 (pbscip.linux.x8) R 21921 21923 21786 0 -1 4202496 293722 0 0 0 117714 518 0 0 25 0 1 0 25509499 99000320 22144 4089446400 4194304 10345943 140736773064448 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21923/statm: 24170 22144 798 1502 0 22663 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 96680 [startup+1242.3 s] /proc/loadavg: 2.00 1.96 1.45 3/179 21959 /proc/meminfo: memFree=29934212/32951124 swapFree=67111528/67111528 [pid=21923] ppid=21921 vsize=98708 CPUtime=1242.32 /proc/21923/stat : 21923 (pbscip.linux.x8) R 21921 21923 21786 0 -1 4202496 298329 0 0 0 123692 540 0 0 25 0 1 0 25509499 101076992 22401 4089446400 4194304 10345943 140736773064448 18446744073709551615 6307447 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21923/statm: 24677 22401 798 1502 0 23170 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 98708 [startup+1302.3 s] /proc/loadavg: 2.00 1.97 1.48 3/179 21961 /proc/meminfo: memFree=29932676/32951124 swapFree=67111528/67111528 [pid=21923] ppid=21921 vsize=98076 CPUtime=1302.33 /proc/21923/stat : 21923 (pbscip.linux.x8) R 21921 21923 21786 0 -1 4202496 304469 0 0 0 129672 561 0 0 25 0 1 0 25509499 100429824 22674 4089446400 4194304 10345943 140736773064448 18446744073709551615 5085404 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21923/statm: 24519 22674 798 1502 0 23012 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 98076 [startup+1362.3 s] /proc/loadavg: 2.00 1.97 1.51 3/179 21963 /proc/meminfo: memFree=29932012/32951124 swapFree=67111528/67111528 [pid=21923] ppid=21921 vsize=97804 CPUtime=1362.33 /proc/21923/stat : 21923 (pbscip.linux.x8) R 21921 21923 21786 0 -1 4202496 310730 0 0 0 135649 584 0 0 25 0 1 0 25509499 100151296 22671 4089446400 4194304 10345943 140736773064448 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21923/statm: 24451 22671 798 1502 0 22944 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 97804 [startup+1422.31 s] /proc/loadavg: 2.00 1.97 1.54 3/179 21965 /proc/meminfo: memFree=29930860/32951124 swapFree=67111528/67111528 [pid=21923] ppid=21921 vsize=99640 CPUtime=1422.33 /proc/21923/stat : 21923 (pbscip.linux.x8) R 21921 21923 21786 0 -1 4202496 318932 0 0 0 141628 605 0 0 25 0 1 0 25509499 102031360 22787 4089446400 4194304 10345943 140736773064448 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21923/statm: 24910 22787 798 1502 0 23403 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 99640 [startup+1482.3 s] /proc/loadavg: 2.03 1.99 1.57 3/179 21966 /proc/meminfo: memFree=29930316/32951124 swapFree=67111528/67111528 [pid=21923] ppid=21921 vsize=98052 CPUtime=1482.33 /proc/21923/stat : 21923 (pbscip.linux.x8) R 21921 21923 21786 0 -1 4202496 326719 0 0 0 147602 631 0 0 25 0 1 0 25509499 100405248 22756 4089446400 4194304 10345943 140736773064448 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21923/statm: 24513 22756 798 1502 0 23006 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 98052 [startup+1542.3 s] /proc/loadavg: 2.01 1.99 1.60 3/179 21967 /proc/meminfo: memFree=29929160/32951124 swapFree=67111528/67111528 [pid=21923] ppid=21921 vsize=100028 CPUtime=1542.33 /proc/21923/stat : 21923 (pbscip.linux.x8) R 21921 21923 21786 0 -1 4202496 331750 0 0 0 153579 654 0 0 25 0 1 0 25509499 102428672 22858 4089446400 4194304 10345943 140736773064448 18446744073709551615 6714911 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21923/statm: 25007 22858 798 1502 0 23500 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 100028 [startup+1602.3 s] /proc/loadavg: 2.00 1.99 1.62 3/179 21969 /proc/meminfo: memFree=29929120/32951124 swapFree=67111528/67111528 [pid=21923] ppid=21921 vsize=99008 CPUtime=1602.33 /proc/21923/stat : 21923 (pbscip.linux.x8) R 21921 21923 21786 0 -1 4202496 334846 0 0 0 159558 675 0 0 25 0 1 0 25509499 101384192 22917 4089446400 4194304 10345943 140736773064448 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21923/statm: 24752 22917 798 1502 0 23245 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 99008 [startup+1662.3 s] /proc/loadavg: 2.00 1.99 1.64 3/179 21971 /proc/meminfo: memFree=29927348/32951124 swapFree=67111528/67111528 [pid=21923] ppid=21921 vsize=101924 CPUtime=1662.33 /proc/21923/stat : 21923 (pbscip.linux.x8) R 21921 21923 21786 0 -1 4202496 337870 0 0 0 165536 697 0 0 25 0 1 0 25509499 104370176 23282 4089446400 4194304 10345943 140736773064448 18446744073709551615 7546742 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21923/statm: 25481 23282 798 1502 0 23974 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 101924 [startup+1722.3 s] /proc/loadavg: 2.00 1.99 1.66 3/179 21972 /proc/meminfo: memFree=29925572/32951124 swapFree=67111528/67111528 [pid=21923] ppid=21921 vsize=101960 CPUtime=1722.33 /proc/21923/stat : 21923 (pbscip.linux.x8) R 21921 21923 21786 0 -1 4202496 340142 0 0 0 171517 716 0 0 25 0 1 0 25509499 104407040 23283 4089446400 4194304 10345943 140736773064448 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21923/statm: 25490 23283 798 1502 0 23983 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 101960 [startup+1782.3 s] /proc/loadavg: 2.00 1.99 1.68 3/179 21974 /proc/meminfo: memFree=29923300/32951124 swapFree=67111528/67111528 [pid=21923] ppid=21921 vsize=104388 CPUtime=1782.33 /proc/21923/stat : 21923 (pbscip.linux.x8) R 21921 21923 21786 0 -1 4202496 344637 0 0 0 177495 738 0 0 25 0 1 0 25509499 106893312 23822 4089446400 4194304 10345943 140736773064448 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21923/statm: 26097 23822 798 1502 0 24590 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 104388 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 1.99 1.68 3/179 21974 /proc/meminfo: memFree=29922672/32951124 swapFree=67111528/67111528 [pid=21923] ppid=21921 vsize=103788 CPUtime=1785.53 /proc/21923/stat : 21923 (pbscip.linux.x8) R 21921 21923 21786 0 -1 4202496 345066 0 0 0 177814 739 0 0 25 0 1 0 25509499 106278912 23992 4089446400 4194304 10345943 140736773064448 18446744073709551615 4230933 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21923/statm: 25947 23992 798 1502 0 24440 0 Current children cumulated CPU time (s) 1785.53 Current children cumulated vsize (KiB) 103788 [startup+1787.1 s] /proc/loadavg: 2.00 1.99 1.68 3/179 21974 /proc/meminfo: memFree=29922672/32951124 swapFree=67111528/67111528 [pid=21923] ppid=21921 vsize=103788 CPUtime=1787.14 /proc/21923/stat : 21923 (pbscip.linux.x8) R 21921 21923 21786 0 -1 4202496 345070 0 0 0 177974 740 0 0 25 0 1 0 25509499 106278912 23996 4089446400 4194304 10345943 140736773064448 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21923/statm: 25947 23996 798 1502 0 24440 0 Current children cumulated CPU time (s) 1787.14 Current children cumulated vsize (KiB) 103788 [startup+1788.7 s] /proc/loadavg: 2.00 1.99 1.68 3/179 21974 /proc/meminfo: memFree=29922548/32951124 swapFree=67111528/67111528 [pid=21923] ppid=21921 vsize=103788 CPUtime=1788.73 /proc/21923/stat : 21923 (pbscip.linux.x8) R 21921 21923 21786 0 -1 4202496 345072 0 0 0 178133 740 0 0 25 0 1 0 25509499 106278912 23998 4089446400 4194304 10345943 140736773064448 18446744073709551615 7547116 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21923/statm: 25947 23998 798 1502 0 24440 0 Current children cumulated CPU time (s) 1788.73 Current children cumulated vsize (KiB) 103788 [startup+1789.5 s] /proc/loadavg: 2.00 1.99 1.68 3/179 21974 /proc/meminfo: memFree=29922548/32951124 swapFree=67111528/67111528 [pid=21923] ppid=21921 vsize=103788 CPUtime=1789.53 /proc/21923/stat : 21923 (pbscip.linux.x8) R 21921 21923 21786 0 -1 4202496 345088 0 0 0 178213 740 0 0 25 0 1 0 25509499 106278912 24014 4089446400 4194304 10345943 140736773064448 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21923/statm: 25947 24014 798 1502 0 24440 0 Current children cumulated CPU time (s) 1789.53 Current children cumulated vsize (KiB) 103788 [startup+1789.9 s] /proc/loadavg: 2.00 1.99 1.68 2/174 21991 /proc/meminfo: memFree=30083888/32951124 swapFree=67111528/67111528 [pid=21923] ppid=21921 vsize=103788 CPUtime=1789.93 /proc/21923/stat : 21923 (pbscip.linux.x8) R 21921 21923 21786 0 -1 4202496 345088 0 0 0 178253 740 0 0 25 0 1 0 25509499 106278912 24014 4089446400 4194304 10345943 140736773064448 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21923/statm: 25947 24014 798 1502 0 24440 0 Current children cumulated CPU time (s) 1789.93 Current children cumulated vsize (KiB) 103788 [startup+1790 s] /proc/loadavg: 2.00 1.99 1.68 2/174 21991 /proc/meminfo: memFree=30083888/32951124 swapFree=67111528/67111528 [pid=21923] ppid=21921 vsize=103788 CPUtime=1790.03 /proc/21923/stat : 21923 (pbscip.linux.x8) R 21921 21923 21786 0 -1 4202496 345088 0 0 0 178263 740 0 0 25 0 1 0 25509499 106278912 24014 4089446400 4194304 10345943 140736773064448 18446744073709551615 7537789 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21923/statm: 25947 24014 798 1502 0 24440 0 Current children cumulated CPU time (s) 1790.03 Current children cumulated vsize (KiB) 103788 Child status: 0 Real time (s): 1790.08 CPU time (s): 1790.13 CPU user time (s): 1782.71 CPU system time (s): 7.41287 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 105468 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1782.71 system time used= 7.41287 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 345155 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 1137 runsolver used 3.33949 second user time and 6.36003 second system time The end
Begin job on node119 at 2010-07-08 09:09:15 IDJOB=2705539 IDBENCH=78912 IDSOLVER=1214 FILE ID=node119/2705539-1278572955 PBS_JOBID= 11240215 Free space on /tmp= 73216 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900670167--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-2705539-1278572955/watcher-2705539-1278572955 -o /tmp/evaluation-result-2705539-1278572955/solver-2705539-1278572955 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705539-1278572955.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3458f76d1c0eafd16754e96da618f7a2 RANDOM SEED=970932403 node119.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.868 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.73 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.868 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.868 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.868 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.75 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.868 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.72 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.868 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.82 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.868 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.868 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30120828 kB Buffers: 152884 kB Cached: 2405796 kB SwapCached: 0 kB Active: 1201624 kB Inactive: 1464408 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30120828 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 25788 kB Writeback: 0 kB AnonPages: 106964 kB Mapped: 17524 kB Slab: 100092 kB PageTables: 5272 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 252096 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= 73216 MiB End job on node119 at 2010-07-08 09:39:05