Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | MSAT (TO) | 1802.01 | 1801.96 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900581320--soft-33-100-0.wbo |
MD5SUM | 8591b35e74198f55af565a685d4a35ec |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 331.278 |
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 | 1837 |
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 | 93832 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 93831 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 641 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2692881-1277908474.wbo> 0.00/0.03 c original problem has 3905 variables (2068 bin, 0 int, 0 impl, 1837 cont) and 4545 constraints 0.00/0.03 c problem read 0.00/0.03 c presolving settings loaded 0.00/0.05 c presolving: 0.04/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1967 impls, 5 clqs 0.04/0.08 c (round 2) 0 del vars, 61 del conss, 1837 chg bounds, 45 chg sides, 0 chg coeffs, 0 upgd conss, 1967 impls, 5 clqs 0.04/0.09 c (round 3) 45 del vars, 131 del conss, 1851 chg bounds, 70 chg sides, 0 chg coeffs, 0 upgd conss, 1967 impls, 5 clqs 0.09/0.10 c (round 4) 104 del vars, 146 del conss, 1852 chg bounds, 71 chg sides, 0 chg coeffs, 0 upgd conss, 1967 impls, 5 clqs 0.09/0.11 c (round 5) 119 del vars, 147 del conss, 1852 chg bounds, 71 chg sides, 0 chg coeffs, 844 upgd conss, 1967 impls, 5 clqs 0.09/0.12 c (round 6) 120 del vars, 147 del conss, 1852 chg bounds, 71 chg sides, 0 chg coeffs, 844 upgd conss, 1967 impls, 5 clqs 0.09/0.16 c (0.1s) probing: 101/2008 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 0.09/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings 0.09/0.16 c presolving (7 rounds): 0.09/0.16 c 120 deleted vars, 147 deleted constraints, 1852 tightened bounds, 0 added holes, 71 changed sides, 0 changed coefficients 0.09/0.16 c 1967 implications, 5 cliques 0.09/0.16 c presolved problem has 3785 variables (2008 bin, 0 int, 0 impl, 1777 cont) and 4398 constraints 0.09/0.16 c 1777 constraints of type <indicator> 0.09/0.16 c 5 constraints of type <setppc> 0.09/0.16 c 1777 constraints of type <linear> 0.09/0.16 c 839 constraints of type <logicor> 0.09/0.16 c transformed objective value is always integral (scale: 1) 0.09/0.16 c Presolving Time: 0.11 0.09/0.16 c - non default parameters ---------------------------------------------------------------------- 0.09/0.16 c # SCIP version 1.2.1.2 0.09/0.16 c 0.09/0.16 c # frequency for displaying node information lines 0.09/0.16 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.16 c display/freq = 10000 0.09/0.16 c 0.09/0.16 c # maximal time in seconds to run 0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.16 c limits/time = 1799.98 0.09/0.16 c 0.09/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.16 c limits/memory = 3420 0.09/0.16 c 0.09/0.16 c # should presolving try to simplify inequalities 0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.16 c constraints/linear/simplifyinequalities = TRUE 0.09/0.16 c 0.09/0.16 c # should presolving try to simplify knapsacks 0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.16 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.16 c 0.09/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.16 c separating/rapidlearning/freq = 0 0.09/0.16 c 0.09/0.16 c ----------------------------------------------------------------------------------------------- 0.09/0.16 c start solving 0.09/0.17 c 0.09/0.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.09/0.17 c 0.1s| 1 | 0 | 9 | - | 13M| 0 | 3 |3785 |4398 |3785 | 844 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.09/0.18 o 90383 0.09/0.18 c y 0.1s| 1 | 0 | 14 | - | 14M| 0 | 3 |3785 |4398 |3785 | 844 | 0 | 0 | 0 | 0.000000e+00 | 9.038300e+04 | Inf 0.19/0.20 c 0.1s| 1 | 0 | 48 | - | 14M| 0 | 36 |3785 |4398 |3785 | 867 | 23 | 0 | 0 | 0.000000e+00 | 9.038300e+04 | Inf 0.19/0.24 c 0.2s| 1 | 0 | 106 | - | 14M| 0 | 50 |3785 |4398 |3785 | 894 | 50 | 0 | 0 | 0.000000e+00 | 9.038300e+04 | Inf 0.29/0.30 c 0.2s| 1 | 0 | 156 | - | 14M| 0 | 57 |3785 |4398 |3785 | 917 | 73 | 0 | 0 | 0.000000e+00 | 9.038300e+04 | Inf 0.29/0.38 c 0.3s| 1 | 0 | 186 | - | 14M| 0 | 50 |3785 |4398 |3785 | 927 | 83 | 0 | 0 | 0.000000e+00 | 9.038300e+04 | Inf 0.39/0.45 c 0.4s| 1 | 0 | 224 | - | 14M| 0 | 60 |3785 |4398 |3785 | 932 | 88 | 0 | 0 | 0.000000e+00 | 9.038300e+04 | Inf 0.49/0.54 c 0.5s| 1 | 0 | 240 | - | 15M| 0 | 64 |3785 |4398 |3785 | 936 | 92 | 0 | 0 | 0.000000e+00 | 9.038300e+04 | Inf 1.19/1.22 c 1.1s| 1 | 2 | 240 | - | 15M| 0 | 64 |3785 |4398 |3785 | 936 | 92 | 0 | 33 | 0.000000e+00 | 9.038300e+04 | Inf 44.09/44.13 c 42.6s| 10000 | 9987 |177602 | 17.7 | 40M| 119 | 1 |3785 |4405 |3785 | 938 | 10k| 7 |1733 | 0.000000e+00 | 9.038300e+04 | Inf 69.30/69.31 c 67.0s| 20000 | 19983 |281869 | 14.1 | 59M| 125 | 0 |3785 |4407 |3785 | 946 | 17k| 14 |1733 | 0.000000e+00 | 9.038300e+04 | Inf 94.39/94.43 c 91.4s| 30000 | 29977 |377340 | 12.6 | 77M| 137 | 0 |3785 |4411 |3785 | 968 | 23k| 22 |2006 | 0.000000e+00 | 9.038300e+04 | Inf 118.10/118.16 c 114s| 40000 | 39971 |459906 | 11.5 | 96M| 137 | 33 |3785 |4410 |3785 | 947 | 28k| 30 |2220 | 0.000000e+00 | 9.038300e+04 | Inf 141.29/141.39 c 137s| 50000 | 49963 |537533 | 10.7 | 114M| 137 | 0 |3785 |4417 |3785 | 992 | 33k| 40 |2465 | 0.000000e+00 | 9.038300e+04 | Inf 163.50/163.58 c 158s| 60000 | 59959 |607079 | 10.1 | 132M| 137 | 13 |3785 |4409 |3785 | 967 | 38k| 45 |2623 | 0.000000e+00 | 9.038300e+04 | Inf 186.59/186.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 186.59/186.67 c 181s| 70000 | 69953 |682744 | 9.8 | 151M| 137 | 23 |3785 |4413 |3785 | 949 | 43k| 57 |2824 | 0.000000e+00 | 9.038300e+04 | Inf 209.30/209.35 c 203s| 80000 | 79949 |755032 | 9.4 | 169M| 137 | 0 |3785 |4410 |3785 |1008 | 47k| 63 |2971 | 0.000000e+00 | 9.038300e+04 | Inf 232.39/232.42 c 225s| 90000 | 89947 |830815 | 9.2 | 187M| 137 | 0 |3785 |4407 |3785 | 990 | 50k| 65 |3116 | 0.000000e+00 | 9.038300e+04 | Inf 254.90/254.91 c 247s|100000 | 99947 |902988 | 9.0 | 205M| 137 | 18 |3785 |4406 |3785 | 949 | 54k| 65 |3249 | 0.000000e+00 | 9.038300e+04 | Inf 276.90/276.97 c 268s|110000 |109945 |971182 | 8.8 | 223M| 137 | 0 |3785 |4403 |3785 | 973 | 58k| 66 |3375 | 0.000000e+00 | 9.038300e+04 | Inf 299.80/299.83 c 291s|120000 |119941 | 1045k| 8.7 | 242M| 137 | 0 |3785 |4405 |3785 | 980 | 62k| 68 |3530 | 0.000000e+00 | 9.038300e+04 | Inf 321.40/321.46 c 312s|130000 |129935 | 1109k| 8.5 | 260M| 137 | 31 |3785 |4408 |3785 | 948 | 65k| 76 |3663 | 0.000000e+00 | 9.038300e+04 | Inf 343.30/343.38 c 333s|140000 |139933 | 1177k| 8.4 | 278M| 137 | 0 |3785 |4404 |3785 | 949 | 69k| 77 |3738 | 0.000000e+00 | 9.038300e+04 | Inf 364.41/364.48 c 353s|150000 |149929 | 1239k| 8.3 | 296M| 137 | 0 |3785 |4407 |3785 | 949 | 72k| 82 |3823 | 0.000000e+00 | 9.038300e+04 | Inf 386.11/386.18 c 374s|160000 |159929 | 1302k| 8.1 | 314M| 137 | 0 |3785 |4406 |3785 | 989 | 75k| 82 |3956 | 0.000000e+00 | 9.038300e+04 | Inf 407.80/407.85 c 396s|170000 |169925 | 1368k| 8.0 | 332M| 137 | 0 |3785 |4406 |3785 | 948 | 77k| 84 |4028 | 0.000000e+00 | 9.038300e+04 | Inf 429.31/429.37 c 416s|180000 |179923 | 1431k| 8.0 | 350M| 139 | 0 |3785 |4406 |3785 | 947 | 80k| 85 |4115 | 0.000000e+00 | 9.038300e+04 | Inf 451.20/451.26 c 438s|190000 |189921 | 1498k| 7.9 | 368M| 139 | 0 |3785 |4405 |3785 | 956 | 82k| 86 |4219 | 0.000000e+00 | 9.038300e+04 | Inf 472.11/472.13 c 458s|200000 |199921 | 1559k| 7.8 | 386M| 139 | 0 |3785 |4403 |3785 | 959 | 84k| 86 |4266 | 0.000000e+00 | 9.038300e+04 | Inf 494.20/494.27 c 479s|210000 |209919 | 1626k| 7.7 | 404M| 139 | 0 |3785 |4404 |3785 | 955 | 87k| 87 |4378 | 0.000000e+00 | 9.038300e+04 | Inf 515.21/515.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 515.21/515.25 c 500s|220000 |219919 | 1688k| 7.7 | 422M| 139 | 22 |3785 |4404 |3785 | 954 | 89k| 87 |4420 | 0.000000e+00 | 9.038300e+04 | Inf 537.60/537.65 c 522s|230000 |229917 | 1758k| 7.6 | 440M| 139 | 0 |3785 |4405 |3785 | 959 | 92k| 88 |4544 | 0.000000e+00 | 9.038300e+04 | Inf 558.31/558.36 c 542s|240000 |239917 | 1820k| 7.6 | 458M| 139 | 0 |3785 |4405 |3785 | 948 | 94k| 88 |4577 | 0.000000e+00 | 9.038300e+04 | Inf 580.11/580.19 c 563s|250000 |249917 | 1885k| 7.5 | 476M| 139 | 0 |3785 |4405 |3785 | 947 | 97k| 88 |4671 | 0.000000e+00 | 9.038300e+04 | Inf 601.31/601.39 c 583s|260000 |259915 | 1949k| 7.5 | 494M| 139 | 0 |3785 |4406 |3785 | 949 | 99k| 89 |4699 | 0.000000e+00 | 9.038300e+04 | Inf 622.41/622.45 c 604s|270000 |269913 | 2007k| 7.4 | 511M| 143 | 0 |3785 |4407 |3785 | 973 | 102k| 90 |4796 | 0.000000e+00 | 9.038300e+04 | Inf 642.91/642.99 c 624s|280000 |279913 | 2066k| 7.4 | 529M| 143 | 0 |3785 |4406 |3785 | 948 | 104k| 90 |4843 | 0.000000e+00 | 9.038300e+04 | Inf 663.61/663.60 c 644s|290000 |289909 | 2123k| 7.3 | 547M| 143 | 6 |3785 |4407 |3785 | 955 | 106k| 92 |4914 | 0.000000e+00 | 9.038300e+04 | Inf 684.61/684.64 c 664s|300000 |299905 | 2185k| 7.3 | 565M| 149 | 0 |3785 |4410 |3785 | 947 | 109k| 95 |5001 | 0.000000e+00 | 9.038300e+04 | Inf 704.91/704.98 c 684s|310000 |309905 | 2243k| 7.2 | 583M| 149 | 0 |3785 |4408 |3785 |1001 | 112k| 95 |5019 | 0.000000e+00 | 9.038300e+04 | Inf 725.41/725.40 c 704s|320000 |319903 | 2299k| 7.2 | 601M| 149 | 0 |3785 |4408 |3785 | 965 | 114k| 97 |5135 | 0.000000e+00 | 9.038300e+04 | Inf 745.31/745.33 c 723s|330000 |329903 | 2356k| 7.1 | 619M| 161 | 0 |3785 |4408 |3785 | 976 | 116k| 97 |5142 | 0.000000e+00 | 9.038300e+04 | Inf 765.71/765.70 c 743s|340000 |339901 | 2413k| 7.1 | 637M| 161 | 0 |3785 |4409 |3785 | 982 | 119k| 98 |5268 | 0.000000e+00 | 9.038300e+04 | Inf 784.72/784.72 c 761s|350000 |349901 | 2462k| 7.0 | 654M| 161 | 0 |3785 |4408 |3785 | 948 | 122k| 98 |5303 | 0.000000e+00 | 9.038300e+04 | Inf 804.22/804.26 c 780s|360000 |359901 | 2514k| 7.0 | 672M| 161 | 0 |3785 |4408 |3785 | 948 | 124k| 98 |5356 | 0.000000e+00 | 9.038300e+04 | Inf 824.42/824.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 824.42/824.44 c 800s|370000 |369901 | 2570k| 6.9 | 690M| 161 | 0 |3785 |4408 |3785 | 968 | 126k| 98 |5439 | 0.000000e+00 | 9.038300e+04 | Inf 844.62/844.61 c 820s|380000 |379901 | 2628k| 6.9 | 708M| 161 | 0 |3785 |4408 |3785 | 959 | 129k| 98 |5452 | 0.000000e+00 | 9.038300e+04 | Inf 865.02/865.09 c 840s|390000 |389897 | 2686k| 6.9 | 725M| 161 | 0 |3785 |4410 |3785 | 961 | 131k| 100 |5546 | 0.000000e+00 | 9.038300e+04 | Inf 885.02/885.06 c 859s|400000 |399897 | 2744k| 6.9 | 743M| 161 | 0 |3785 |4410 |3785 | 946 | 134k| 100 |5582 | 0.000000e+00 | 9.038300e+04 | Inf 905.02/905.08 c 879s|410000 |409895 | 2801k| 6.8 | 761M| 161 | 0 |3785 |4411 |3785 | 946 | 137k| 101 |5621 | 0.000000e+00 | 9.038300e+04 | Inf 925.02/925.08 c 898s|420000 |419895 | 2856k| 6.8 | 778M| 161 | 0 |3785 |4409 |3785 | 996 | 140k| 101 |5715 | 0.000000e+00 | 9.038300e+04 | Inf 945.42/945.45 c 918s|430000 |429895 | 2917k| 6.8 | 796M| 161 | 0 |3785 |4409 |3785 | 953 | 142k| 101 |5722 | 0.000000e+00 | 9.038300e+04 | Inf 964.63/964.65 c 937s|440000 |439891 | 2966k| 6.7 | 814M| 167 | 0 |3785 |4412 |3785 | 985 | 145k| 104 |5772 | 0.000000e+00 | 9.038300e+04 | Inf 983.92/983.91 c 956s|450000 |449891 | 3016k| 6.7 | 831M| 167 | 0 |3785 |4412 |3785 | 947 | 148k| 104 |5864 | 0.000000e+00 | 9.038300e+04 | Inf 1003.32/1003.33 c 974s|460000 |459889 | 3069k| 6.7 | 849M| 167 | 0 |3785 |4413 |3785 | 950 | 150k| 106 |5889 | 0.000000e+00 | 9.038300e+04 | Inf 1020.92/1020.99 c 992s|470000 |469889 | 3106k| 6.6 | 866M| 167 | 0 |3785 |4412 |3785 | 950 | 152k| 106 |5912 | 0.000000e+00 | 9.038300e+04 | Inf 1039.92/1039.90 c 1010s|480000 |479889 | 3148k| 6.6 | 884M| 167 | 0 |3785 |4412 |3785 | 947 | 154k| 106 |5985 | 0.000000e+00 | 9.038300e+04 | Inf 1058.02/1058.07 c 1028s|490000 |489889 | 3190k| 6.5 | 902M| 171 | 0 |3785 |4411 |3785 | 953 | 156k| 106 |6027 | 0.000000e+00 | 9.038300e+04 | Inf 1076.52/1076.56 c 1046s|500000 |499887 | 3237k| 6.5 | 919M| 171 | 0 |3785 |4412 |3785 | 944 | 159k| 107 |6030 | 0.000000e+00 | 9.038300e+04 | Inf 1096.13/1096.11 c 1065s|510000 |509885 | 3288k| 6.4 | 937M| 171 | 0 |3785 |4412 |3785 | 956 | 161k| 110 |6088 | 0.000000e+00 | 9.038300e+04 | Inf 1115.12/1115.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1115.12/1115.13 c 1083s|520000 |519885 | 3335k| 6.4 | 954M| 171 | 0 |3785 |4410 |3785 | 954 | 163k| 110 |6175 | 0.000000e+00 | 9.038300e+04 | Inf 1133.12/1133.18 c 1101s|530000 |529885 | 3374k| 6.4 | 972M| 171 | 0 |3785 |4410 |3785 | 978 | 165k| 110 |6176 | 0.000000e+00 | 9.038300e+04 | Inf 1151.43/1151.48 c 1119s|540000 |539881 | 3417k| 6.3 | 989M| 171 | 0 |3785 |4416 |3785 | 961 | 167k| 116 |6210 | 0.000000e+00 | 9.038300e+04 | Inf 1169.82/1169.88 c 1137s|550000 |549879 | 3458k| 6.3 |1007M| 171 | 0 |3785 |4412 |3785 | 964 | 169k| 117 |6257 | 0.000000e+00 | 9.038300e+04 | Inf 1188.63/1188.69 c 1155s|560000 |559879 | 3504k| 6.3 |1024M| 171 | 0 |3785 |4412 |3785 | 945 | 171k| 117 |6308 | 0.000000e+00 | 9.038300e+04 | Inf 1206.43/1206.49 c 1173s|570000 |569877 | 3544k| 6.2 |1042M| 171 | 0 |3785 |4415 |3785 | 966 | 173k| 121 |6317 | 0.000000e+00 | 9.038300e+04 | Inf 1224.13/1224.10 c 1190s|580000 |579877 | 3582k| 6.2 |1059M| 171 | 0 |3785 |4412 |3785 | 946 | 175k| 121 |6342 | 0.000000e+00 | 9.038300e+04 | Inf 1242.82/1242.89 c 1208s|590000 |589877 | 3627k| 6.1 |1076M| 171 | 0 |3785 |4410 |3785 | 948 | 177k| 121 |6397 | 0.000000e+00 | 9.038300e+04 | Inf 1260.03/1260.08 c 1225s|600000 |599877 | 3659k| 6.1 |1094M| 189 | 1 |3785 |4410 |3785 | 948 | 178k| 121 |6447 | 0.000000e+00 | 9.038300e+04 | Inf 1278.73/1278.70 c 1243s|610000 |609875 | 3707k| 6.1 |1111M| 189 | 0 |3785 |4411 |3785 | 952 | 180k| 122 |6470 | 0.000000e+00 | 9.038300e+04 | Inf 1295.74/1295.78 c 1260s|620000 |619871 | 3741k| 6.0 |1129M| 189 | 0 |3785 |4413 |3785 | 954 | 182k| 124 |6470 | 0.000000e+00 | 9.038300e+04 | Inf 1312.24/1312.21 c 1276s|630000 |629871 | 3767k| 6.0 |1146M| 189 | 0 |3785 |4412 |3785 | 994 | 184k| 124 |6523 | 0.000000e+00 | 9.038300e+04 | Inf 1330.94/1330.93 c 1294s|640000 |639871 | 3813k| 6.0 |1163M| 189 | 0 |3785 |4412 |3785 | 983 | 186k| 124 |6555 | 0.000000e+00 | 9.038300e+04 | Inf 1349.64/1349.68 c 1312s|650000 |649869 | 3863k| 5.9 |1181M| 189 | 19 |3785 |4413 |3785 | 943 | 189k| 125 |6597 | 0.000000e+00 | 9.038300e+04 | Inf 1368.13/1368.16 c 1330s|660000 |659869 | 3910k| 5.9 |1198M| 189 | 0 |3785 |4412 |3785 | 970 | 191k| 125 |6598 | 0.000000e+00 | 9.038300e+04 | Inf 1387.53/1387.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1387.53/1387.59 c 1349s|670000 |669865 | 3963k| 5.9 |1216M| 189 | 0 |3785 |4415 |3785 | 959 | 194k| 128 |6661 | 0.000000e+00 | 9.038300e+04 | Inf 1405.53/1405.58 c 1367s|680000 |679865 | 4003k| 5.9 |1234M| 189 | 0 |3785 |4415 |3785 | 963 | 196k| 128 |6714 | 0.000000e+00 | 9.038300e+04 | Inf 1423.83/1423.82 c 1384s|690000 |689863 | 4046k| 5.9 |1251M| 189 | 0 |3785 |4414 |3785 | 975 | 198k| 129 |6732 | 0.000000e+00 | 9.038300e+04 | Inf 1442.44/1442.43 c 1403s|700000 |699861 | 4095k| 5.9 |1269M| 189 | 0 |3785 |4412 |3785 | 939 | 200k| 130 |6732 | 0.000000e+00 | 9.038300e+04 | Inf 1460.14/1460.19 c 1420s|710000 |709859 | 4132k| 5.8 |1286M| 189 | 0 |3785 |4412 |3785 | 946 | 202k| 131 |6768 | 0.000000e+00 | 9.038300e+04 | Inf 1479.23/1479.24 c 1438s|720000 |719855 | 4180k| 5.8 |1304M| 189 | 0 |3785 |4413 |3785 | 970 | 204k| 133 |6820 | 0.000000e+00 | 9.038300e+04 | Inf 1496.94/1496.93 c 1456s|730000 |729851 | 4217k| 5.8 |1321M| 189 | 0 |3785 |4414 |3785 | 948 | 206k| 135 |6866 | 0.000000e+00 | 9.038300e+04 | Inf 1515.04/1515.03 c 1473s|740000 |739851 | 4260k| 5.8 |1338M| 189 | 0 |3785 |4413 |3785 | 974 | 208k| 135 |6868 | 0.000000e+00 | 9.038300e+04 | Inf 1532.43/1532.42 c 1490s|750000 |749851 | 4295k| 5.7 |1356M| 189 | 0 |3785 |4412 |3785 | 954 | 210k| 135 |6885 | 0.000000e+00 | 9.038300e+04 | Inf 1549.74/1549.75 c 1507s|760000 |759851 | 4328k| 5.7 |1373M| 189 | 0 |3785 |4412 |3785 | 963 | 212k| 135 |6931 | 0.000000e+00 | 9.038300e+04 | Inf 1566.34/1566.37 c 1523s|770000 |769851 | 4356k| 5.7 |1390M| 193 | 0 |3785 |4412 |3785 | 948 | 213k| 135 |6971 | 0.000000e+00 | 9.038300e+04 | Inf 1583.34/1583.31 c 1540s|780000 |779849 | 4387k| 5.6 |1408M| 193 | 0 |3785 |4419 |3785 | 957 | 215k| 142 |7005 | 0.000000e+00 | 9.038300e+04 | Inf 1599.64/1599.62 c 1556s|790000 |789849 | 4414k| 5.6 |1425M| 193 | 0 |3785 |4417 |3785 | 953 | 216k| 142 |7006 | 0.000000e+00 | 9.038300e+04 | Inf 1616.74/1616.76 c 1573s|800000 |799847 | 4450k| 5.6 |1443M| 193 | 0 |3785 |4416 |3785 | 958 | 218k| 144 |7010 | 0.000000e+00 | 9.038300e+04 | Inf 1634.65/1634.64 c 1590s|810000 |809843 | 4488k| 5.5 |1460M| 193 | 0 |3785 |4412 |3785 | 954 | 220k| 146 |7058 | 0.000000e+00 | 9.038300e+04 | Inf 1651.84/1651.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1651.84/1651.86 c 1607s|820000 |819843 | 4522k| 5.5 |1478M| 193 | 0 |3785 |4411 |3785 | 966 | 222k| 146 |7102 | 0.000000e+00 | 9.038300e+04 | Inf 1668.24/1668.20 c 1623s|830000 |829841 | 4547k| 5.5 |1495M| 193 | 0 |3785 |4411 |3785 | 992 | 223k| 147 |7149 | 0.000000e+00 | 9.038300e+04 | Inf 1684.84/1684.89 c 1639s|840000 |839841 | 4575k| 5.4 |1512M| 193 | 0 |3785 |4410 |3785 | 958 | 225k| 147 |7153 | 0.000000e+00 | 9.038300e+04 | Inf 1700.94/1700.90 c 1655s|850000 |849837 | 4600k| 5.4 |1530M| 193 | 0 |3785 |4415 |3785 | 970 | 227k| 152 |7157 | 0.000000e+00 | 9.038300e+04 | Inf 1716.64/1716.61 c 1670s|860000 |859835 | 4623k| 5.4 |1547M| 193 | 0 |3785 |4416 |3785 | 977 | 229k| 153 |7160 | 0.000000e+00 | 9.038300e+04 | Inf 1732.64/1732.60 c 1685s|870000 |869835 | 4649k| 5.3 |1565M| 193 | 0 |3785 |4412 |3785 | 977 | 232k| 153 |7188 | 0.000000e+00 | 9.038300e+04 | Inf 1748.45/1748.41 c 1701s|880000 |879833 | 4672k| 5.3 |1582M| 193 | 0 |3785 |4412 |3785 | 963 | 235k| 154 |7251 | 0.000000e+00 | 9.038300e+04 | Inf 1764.35/1764.35 c 1716s|890000 |889833 | 4697k| 5.3 |1599M| 193 | 0 |3785 |4412 |3785 | 960 | 237k| 154 |7285 | 0.000000e+00 | 9.038300e+04 | Inf 1779.94/1779.99 c 1732s|900000 |899829 | 4719k| 5.2 |1617M| 193 | 0 |3785 |4413 |3785 | 977 | 240k| 156 |7289 | 0.000000e+00 | 9.038300e+04 | Inf 1798.84/1798.82 c 1750s|910000 |909827 | 4740k| 5.2 |1634M| 193 | 0 |3785 |4414 |3785 | 972 | 243k| 157 |7314 | 0.000000e+00 | 9.038300e+04 | Inf 1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.05/1800.00 c 1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt] 1800.05/1800.00 c Solving Time (sec) : 1751.40 1800.05/1800.00 c Solving Nodes : 910588 1800.05/1800.00 c Primal Bound : +9.03830000000000e+04 (100 solutions) 1800.05/1800.00 c Dual Bound : +0.00000000000000e+00 1800.05/1800.00 c Gap : infinite 1800.05/1800.05 s SATISFIABLE 1800.05/1800.05 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 1800.05/1800.05 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 1800.05/1800.05 v -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 1800.05/1800.05 v -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 1800.05/1800.05 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 1800.05/1800.05 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 1800.05/1800.05 v -x105 -x104 -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 1800.05/1800.05 v -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 1800.05/1800.05 v -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 1800.05/1800.05 v -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 x13 -x12 -x11 -x10 -x9 -x8 x7 -x6 -x5 1800.05/1800.05 v -x4 -x3 -x2 -x1 1800.05/1800.05 c SCIP Status : solving was interrupted [user interrupt] 1800.05/1800.05 c Solving Time : 1751.40 1800.05/1800.05 c Original Problem : 1800.05/1800.05 c Problem name : HOME/instance-2692881-1277908474.wbo 1800.05/1800.05 c Variables : 3905 (2068 binary, 0 integer, 0 implicit integer, 1837 continuous) 1800.05/1800.05 c Constraints : 4545 initial, 4545 maximal 1800.05/1800.05 c Presolved Problem : 1800.05/1800.05 c Problem name : t_HOME/instance-2692881-1277908474.wbo 1800.05/1800.05 c Variables : 3785 (2008 binary, 0 integer, 0 implicit integer, 1777 continuous) 1800.05/1800.05 c Constraints : 4398 initial, 4419 maximal 1800.05/1800.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.05/1800.05 c trivial : 0.00 60 0 0 0 0 0 0 0 1800.05/1800.05 c dualfix : 0.01 60 0 0 0 0 0 0 0 1800.05/1800.05 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.05 c implics : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.05 c probing : 0.04 0 0 0 0 0 0 0 0 1800.05/1800.05 c indicator : 0.00 0 0 0 0 0 60 0 0 1800.05/1800.05 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.05 c linear : 0.03 0 0 0 1852 0 87 71 0 1800.05/1800.05 c logicor : 0.01 0 0 0 0 0 0 0 0 1800.05/1800.05 c root node : - 0 - - 0 - - - - 1800.05/1800.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.05/1800.05 c integral : 0 0 0 948324 0 0 20 0 0 141024 1800.05/1800.05 c indicator : 1777 0 1384084 877792 0 0 747170 0 0 0 1800.05/1800.05 c setppc : 5 6 822856 448980 0 9 220228 0 0 0 1800.05/1800.05 c linear : 1777 6 1383024 876739 0 1 441833 243263 0 0 1800.05/1800.05 c logicor : 839+ 6 551901 839989 0 77 615193 0 0 0 1800.05/1800.05 c countsols : 0 0 0 839989 0 0 0 0 0 0 1800.05/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.05/1800.05 c integral : 37.43 0.00 0.00 37.43 0.00 1800.05/1800.05 c indicator : 139.96 0.00 27.22 112.74 0.00 1800.05/1800.05 c setppc : 1.18 0.00 1.18 0.00 0.00 1800.05/1800.05 c linear : 34.49 0.00 12.28 22.21 0.00 1800.05/1800.05 c logicor : 11.64 0.00 4.24 7.40 0.00 1800.05/1800.05 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.05/1800.05 c Propagators : Time Calls Cutoffs DomReds 1800.05/1800.05 c vbounds : 0.00 2 0 0 1800.05/1800.05 c rootredcost : 0.00 1 0 0 1800.05/1800.05 c pseudoobj : 43.09 1383884 0 0 1800.05/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.05/1800.05 c propagation : 0.00 87 87 133 8.2 27 3.0 - 1800.05/1800.05 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1800.05/1800.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.05/1800.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.05/1800.05 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.05/1800.05 c applied globally : - - - 157 7.3 - - - 1800.05/1800.05 c applied locally : - - - 0 0.0 - - - 1800.05/1800.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.05/1800.05 c cut pool : 0.00 5 - - 66 - (maximal pool size: 217) 1800.05/1800.05 c redcost : 68.90 948264 0 0 0 0 1800.05/1800.05 c impliedbounds : 0.00 6 0 0 0 0 1800.05/1800.05 c intobj : 0.00 0 0 0 0 0 1800.05/1800.05 c cgmip : 0.00 0 0 0 0 0 1800.05/1800.05 c gomory : 0.13 6 0 0 882 0 1800.05/1800.05 c strongcg : 0.07 6 0 0 36 0 1800.05/1800.05 c cmir : 0.03 6 0 0 0 0 1800.05/1800.05 c flowcover : 0.07 6 0 0 0 0 1800.05/1800.05 c clique : 0.00 6 0 0 0 0 1800.05/1800.05 c zerohalf : 0.00 0 0 0 0 0 1800.05/1800.05 c mcf : 0.00 1 0 0 0 0 1800.05/1800.05 c rapidlearning : 0.00 0 0 0 0 0 1800.05/1800.05 c Pricers : Time Calls Vars 1800.05/1800.05 c problem variables: 0.00 0 0 1800.05/1800.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.05/1800.05 c relpscost : 37.40 70532 0 20 0 0 141024 1800.05/1800.05 c pscost : 0.00 0 0 0 0 0 0 1800.05/1800.05 c inference : 133.88 839989 0 0 0 0 1679978 1800.05/1800.05 c mostinf : 0.00 0 0 0 0 0 0 1800.05/1800.05 c leastinf : 0.00 0 0 0 0 0 0 1800.05/1800.05 c fullstrong : 0.00 0 0 0 0 0 0 1800.05/1800.05 c allfullstrong : 0.00 0 0 0 0 0 0 1800.05/1800.05 c random : 0.00 0 0 0 0 0 0 1800.05/1800.05 c Primal Heuristics : Time Calls Found 1800.05/1800.05 c LP solutions : 0.00 - 0 1800.05/1800.05 c pseudo solutions : 0.00 - 0 1800.05/1800.05 c oneopt : 0.18 1 0 1800.05/1800.05 c feaspump : 0.01 1 0 1800.05/1800.05 c intshifting : 0.00 6 0 1800.05/1800.05 c crossover : 0.29 12 0 1800.05/1800.05 c fracdiving : 10.80 10903 0 1800.05/1800.05 c veclendiving : 10.90 10903 0 1800.05/1800.05 c linesearchdiving : 10.34 10903 0 1800.05/1800.05 c pscostdiving : 11.03 10904 0 1800.05/1800.05 c guideddiving : 10.31 10904 0 1800.05/1800.05 c coefdiving : 10.48 10904 0 1800.05/1800.05 c rootsoldiving : 11.09 10893 0 1800.05/1800.05 c objpscostdiving : 11.48 10894 0 1800.05/1800.05 c trivial : 0.01 2 0 1800.05/1800.05 c simplerounding : 0.05 70490 0 1800.05/1800.05 c zirounding : 0.06 1000 0 1800.05/1800.05 c rounding : 0.48 3602 0 1800.05/1800.05 c shifting : 1.08 1149 0 1800.05/1800.05 c twoopt : 0.00 0 0 1800.05/1800.05 c fixandinfer : 0.00 0 0 1800.05/1800.05 c intdiving : 0.00 0 0 1800.05/1800.05 c actconsdiving : 0.00 0 0 1800.05/1800.05 c octane : 0.00 0 0 1800.05/1800.05 c rens : 0.03 1 0 1800.05/1800.05 c rins : 0.00 0 0 1800.05/1800.05 c localbranching : 0.00 0 0 1800.05/1800.05 c mutation : 0.00 0 0 1800.05/1800.05 c dins : 0.00 0 0 1800.05/1800.05 c undercover : 0.00 0 0 1800.05/1800.05 c nlp : 0.01 0 0 1800.05/1800.05 c trysol : 0.29 12593 100 1800.05/1800.05 c LP : Time Calls Iterations Iter/call Iter/sec 1800.05/1800.05 c primal LP : 0.00 0 0 0.00 - 1800.05/1800.05 c dual LP : 890.69 129270 4742278 36.69 5324.27 1800.05/1800.05 c lex dual LP : 0.00 0 0 0.00 - 1800.05/1800.05 c barrier LP : 0.00 0 0 0.00 - 1800.05/1800.05 c diving/probing LP: 0.08 87 362 4.16 4525.00 1800.05/1800.05 c strong branching : 36.92 7314 322081 44.04 8723.75 1800.05/1800.05 c (at root node) : - 33 5873 177.97 - 1800.05/1800.05 c conflict analysis: 0.00 0 0 0.00 - 1800.05/1800.05 c B&B Tree : 1800.05/1800.05 c number of runs : 1 1800.05/1800.05 c nodes : 910588 1800.05/1800.05 c nodes (total) : 910588 1800.05/1800.05 c nodes left : 910415 1800.05/1800.05 c max depth : 193 1800.05/1800.05 c max depth (total): 193 1800.05/1800.05 c backtracks : 10916 (1.2%) 1800.05/1800.05 c delayed cutoffs : 0 1800.05/1800.05 c repropagations : 401 (223 domain reductions, 0 cutoffs) 1800.05/1800.05 c avg switch length: 2.27 1800.05/1800.05 c switching time : 51.79 1800.05/1800.05 c Solution : 1800.05/1800.05 c Solutions found : 100 (1 improvements) 1800.05/1800.05 c First Solution : +9.03830000000000e+04 (in run 1, after 1 nodes, 0.13 seconds, depth 0, found by <trysol>) 1800.05/1800.05 c Primal Bound : +9.03830000000000e+04 (in run 1, after 1 nodes, 0.13 seconds, depth 0, found by <trysol>) 1800.05/1800.05 c Dual Bound : +0.00000000000000e+00 1800.05/1800.05 c Gap : infinite 1800.05/1800.05 c Root Dual Bound : +0.00000000000000e+00 1800.05/1800.05 c Root Iterations : 240 1801.94/1801.95 c Time complete: 1802.
OK 978
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692881-1277908474/watcher-2692881-1277908474 -o /tmp/evaluation-result-2692881-1277908474/solver-2692881-1277908474 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692881-1277908474.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: 1.92 2.04 2.03 3/182 12725 /proc/meminfo: memFree=30331612/32951124 swapFree=67111528/67111528 [pid=12725] ppid=12723 vsize=9404 CPUtime=0 /proc/12725/stat : 12725 (pbscip.linux.x8) R 12723 12725 11955 0 -1 4202496 1647 0 0 0 0 0 0 0 22 0 1 0 132142989 9629696 1567 4089446400 4194304 8223781 140736269148320 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/12725/statm: 2351 1567 369 984 0 1364 0 [startup+0.0524991 s] /proc/loadavg: 1.92 2.04 2.03 3/182 12725 /proc/meminfo: memFree=30331612/32951124 swapFree=67111528/67111528 [pid=12725] ppid=12723 vsize=29648 CPUtime=0.04 /proc/12725/stat : 12725 (pbscip.linux.x8) R 12723 12725 11955 0 -1 4202496 6753 0 0 0 4 0 0 0 22 0 1 0 132142989 30359552 6309 4089446400 4194304 8223781 140736269148320 18446744073709551615 5957523 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12725/statm: 7412 6340 429 984 0 6425 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 29648 [startup+0.100478 s] /proc/loadavg: 1.92 2.04 2.03 3/182 12725 /proc/meminfo: memFree=30331612/32951124 swapFree=67111528/67111528 [pid=12725] ppid=12723 vsize=29648 CPUtime=0.09 /proc/12725/stat : 12725 (pbscip.linux.x8) R 12723 12725 11955 0 -1 4202496 8098 0 0 0 8 1 0 0 22 0 1 0 132142989 30359552 6369 4089446400 4194304 8223781 140736269148320 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12725/statm: 7412 6369 452 984 0 6425 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 29648 [startup+0.30044 s] /proc/loadavg: 1.92 2.04 2.03 3/182 12725 /proc/meminfo: memFree=30331612/32951124 swapFree=67111528/67111528 [pid=12725] ppid=12723 vsize=37216 CPUtime=0.29 /proc/12725/stat : 12725 (pbscip.linux.x8) R 12723 12725 11955 0 -1 4202496 12458 0 0 0 26 3 0 0 22 0 1 0 132142989 38109184 8393 4089446400 4194304 8223781 140736269148320 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12725/statm: 9304 8393 572 984 0 8317 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 37216 [startup+0.700368 s] /proc/loadavg: 1.92 2.04 2.03 3/182 12725 /proc/meminfo: memFree=30331612/32951124 swapFree=67111528/67111528 [pid=12725] ppid=12723 vsize=40032 CPUtime=0.69 /proc/12725/stat : 12725 (pbscip.linux.x8) R 12723 12725 11955 0 -1 4202496 20285 0 0 0 64 5 0 0 24 0 1 0 132142989 40992768 9074 4089446400 4194304 8223781 140736269148320 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12725/statm: 10008 9074 588 984 0 9021 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 40032 [startup+1.50022 s] /proc/loadavg: 1.92 2.04 2.03 3/183 12726 /proc/meminfo: memFree=30295520/32951124 swapFree=67111528/67111528 [pid=12725] ppid=12723 vsize=40032 CPUtime=1.49 /proc/12725/stat : 12725 (pbscip.linux.x8) R 12723 12725 11955 0 -1 4202496 20286 0 0 0 141 8 0 0 25 0 1 0 132142989 40992768 9075 4089446400 4194304 8223781 140736269148320 18446744073709551615 6591875 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12725/statm: 10008 9075 589 984 0 9021 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 40032 [startup+3.10093 s] /proc/loadavg: 1.92 2.04 2.03 3/183 12726 /proc/meminfo: memFree=30294652/32951124 swapFree=67111528/67111528 [pid=12725] ppid=12723 vsize=40032 CPUtime=3.09 /proc/12725/stat : 12725 (pbscip.linux.x8) R 12723 12725 11955 0 -1 4202496 20286 0 0 0 296 13 0 0 25 0 1 0 132142989 40992768 9075 4089446400 4194304 8223781 140736269148320 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12725/statm: 10008 9075 589 984 0 9021 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 40032 [startup+6.30036 s] /proc/loadavg: 1.93 2.04 2.03 3/183 12726 /proc/meminfo: memFree=30292296/32951124 swapFree=67111528/67111528 [pid=12725] ppid=12723 vsize=40032 CPUtime=6.29 /proc/12725/stat : 12725 (pbscip.linux.x8) R 12723 12725 11955 0 -1 4202496 20346 0 0 0 604 25 0 0 25 0 1 0 132142989 40992768 9135 4089446400 4194304 8223781 140736269148320 18446744073709551615 4978047 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12725/statm: 10008 9135 590 984 0 9021 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 40032 [startup+12.7002 s] /proc/loadavg: 1.93 2.04 2.03 3/183 12726 /proc/meminfo: memFree=30284868/32951124 swapFree=67111528/67111528 [pid=12725] ppid=12723 vsize=44568 CPUtime=12.69 /proc/12725/stat : 12725 (pbscip.linux.x8) R 12723 12725 11955 0 -1 4202496 27531 0 0 0 1223 46 0 0 25 0 1 0 132142989 45637632 10093 4089446400 4194304 8223781 140736269148320 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12725/statm: 11142 10093 592 984 0 10155 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 44568 [startup+25.5009 s] /proc/loadavg: 1.95 2.04 2.02 3/183 12727 /proc/meminfo: memFree=30264040/32951124 swapFree=67111528/67111528 [pid=12725] ppid=12723 vsize=53080 CPUtime=25.49 /proc/12725/stat : 12725 (pbscip.linux.x8) R 12723 12725 11955 0 -1 4202496 57269 0 0 0 2463 86 0 0 25 0 1 0 132142989 54353920 12163 4089446400 4194304 8223781 140736269148320 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12725/statm: 13270 12163 595 984 0 12283 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 53080 [startup+51.1002 s] /proc/loadavg: 1.96 2.03 2.02 3/183 12727 /proc/meminfo: memFree=30226208/32951124 swapFree=67111528/67111528 [pid=12725] ppid=12723 vsize=89720 CPUtime=51.1 /proc/12725/stat : 12725 (pbscip.linux.x8) R 12723 12725 11955 0 -1 4202496 81676 0 0 0 4941 169 0 0 25 0 1 0 132142989 91873280 20826 4089446400 4194304 8223781 140736269148320 18446744073709551615 7253720 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12725/statm: 22430 20856 595 984 0 21443 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 89720 [startup+102.307 s] /proc/loadavg: 2.02 2.04 2.02 3/183 12729 /proc/meminfo: memFree=30155376/32951124 swapFree=67111528/67111528 [pid=12725] ppid=12723 vsize=111628 CPUtime=102.3 /proc/12725/stat : 12725 (pbscip.linux.x8) R 12723 12725 11955 0 -1 4202496 121139 0 0 0 9902 328 0 0 25 0 1 0 132142989 114307072 26905 4089446400 4194304 8223781 140736269148320 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12725/statm: 27907 26905 595 984 0 26920 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 111628 [startup+162.301 s] /proc/loadavg: 2.06 2.04 2.02 3/183 12730 /proc/meminfo: memFree=30080316/32951124 swapFree=67111528/67111528 [pid=12725] ppid=12723 vsize=162816 CPUtime=162.29 /proc/12725/stat : 12725 (pbscip.linux.x8) R 12723 12725 11955 0 -1 4202496 157799 0 0 0 15717 512 0 0 25 0 1 0 132142989 166723584 39795 4089446400 4194304 8223781 140736269148320 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12725/statm: 40704 39795 595 984 0 39717 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 162816 [startup+222.301 s] /proc/loadavg: 2.06 2.05 2.02 3/183 12732 /proc/meminfo: memFree=30011564/32951124 swapFree=67111528/67111528 [pid=12725] ppid=12723 vsize=212180 CPUtime=222.3 /proc/12725/stat : 12725 (pbscip.linux.x8) R 12723 12725 11955 0 -1 4202496 193252 0 0 0 21540 690 0 0 25 0 1 0 132142989 217272320 51711 4089446400 4194304 8223781 140736269148320 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12725/statm: 53045 51711 596 984 0 52058 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 212180 [startup+282.301 s] /proc/loadavg: 2.07 2.05 2.02 3/183 12733 /proc/meminfo: memFree=29939736/32951124 swapFree=67111528/67111528 [pid=12725] ppid=12723 vsize=262744 CPUtime=282.3 /proc/12725/stat : 12725 (pbscip.linux.x8) R 12723 12725 11955 0 -1 4202496 232914 0 0 0 27363 867 0 0 25 0 1 0 132142989 269049856 64457 4089446400 4194304 8223781 140736269148320 18446744073709551615 4966043 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12725/statm: 65686 64457 595 984 0 64699 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 262744 [startup+342.3 s] /proc/loadavg: 2.09 2.06 2.02 3/183 12735 /proc/meminfo: memFree=29880152/32951124 swapFree=67111528/67111528 [pid=12725] ppid=12723 vsize=312680 CPUtime=342.3 /proc/12725/stat : 12725 (pbscip.linux.x8) R 12723 12725 11955 0 -1 4202496 262272 0 0 0 33189 1041 0 0 25 0 1 0 132142989 320184320 77069 4089446400 4194304 8223781 140736269148320 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12725/statm: 78170 77069 595 984 0 77183 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 312680 [startup+402.3 s] /proc/loadavg: 2.03 2.04 2.02 3/183 12737 /proc/meminfo: memFree=29830156/32951124 swapFree=67111528/67111528 [pid=12725] ppid=12723 vsize=359160 CPUtime=402.3 /proc/12725/stat : 12725 (pbscip.linux.x8) R 12723 12725 11955 0 -1 4202496 291746 0 0 0 39015 1215 0 0 25 0 1 0 132142989 367779840 88783 4089446400 4194304 8223781 140736269148320 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12725/statm: 89790 88783 595 984 0 88803 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 359160 [startup+462.3 s] /proc/loadavg: 2.12 2.07 2.02 3/183 12738 /proc/meminfo: memFree=29751868/32951124 swapFree=67111528/67111528 [pid=12725] ppid=12723 vsize=411184 CPUtime=462.31 /proc/12725/stat : 12725 (pbscip.linux.x8) R 12723 12725 11955 0 -1 4202496 313955 0 0 0 44846 1385 0 0 25 0 1 0 132142989 421052416 101857 4089446400 4194304 8223781 140736269148320 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12725/statm: 102796 101857 595 984 0 101809 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 411184 [startup+522.3 s] /proc/loadavg: 2.12 2.08 2.02 3/183 12740 /proc/meminfo: memFree=29637596/32951124 swapFree=67111528/67111528 [pid=12725] ppid=12723 vsize=463612 CPUtime=522.3 /proc/12725/stat : 12725 (pbscip.linux.x8) R 12723 12725 11955 0 -1 4202496 346595 0 0 0 50664 1566 0 0 25 0 1 0 132142989 474738688 114037 4089446400 4194304 8223781 140736269148320 18446744073709551615 6089682 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12725/statm: 115903 114037 595 984 0 114916 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 463612 [startup+582.3 s] /proc/loadavg: 2.04 2.06 2.02 3/183 12741 /proc/meminfo: memFree=29533124/32951124 swapFree=67111528/67111528 [pid=12725] ppid=12723 vsize=516644 CPUtime=582.3 /proc/12725/stat : 12725 (pbscip.linux.x8) R 12723 12725 11955 0 -1 4202496 369730 0 0 0 56486 1744 0 0 25 0 1 0 132142989 529043456 127471 4089446400 4194304 8223781 140736269148320 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12725/statm: 129161 127471 595 984 0 128174 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 516644 [startup+642.301 s] /proc/loadavg: 2.01 2.05 2.01 3/183 12743 /proc/meminfo: memFree=29435120/32951124 swapFree=67111528/67111528 [pid=12725] ppid=12723 vsize=568676 CPUtime=642.31 /proc/12725/stat : 12725 (pbscip.linux.x8) R 12723 12725 11955 0 -1 4202496 391703 0 0 0 62313 1918 0 0 25 0 1 0 132142989 582324224 140596 4089446400 4194304 8223781 140736269148320 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12725/statm: 142169 140596 595 984 0 141182 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 568676 [startup+702.301 s] ################ # More data... # ################ [startup+1062.3 s] /proc/loadavg: 2.01 2.01 2.00 3/183 12782 /proc/meminfo: memFree=30171476/32951124 swapFree=67111528/67111528 [pid=12725] ppid=12723 vsize=943856 CPUtime=1062.32 /proc/12725/stat : 12725 (pbscip.linux.x8) R 12723 12725 11955 0 -1 4202496 571429 0 0 0 103191 3041 0 0 25 0 1 0 132142989 966508544 233168 4089446400 4194304 8223781 140736269148320 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12725/statm: 235964 233168 595 984 0 234977 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 943856 [startup+1122.3 s] /proc/loadavg: 2.00 2.01 2.00 3/183 12784 /proc/meminfo: memFree=30033788/32951124 swapFree=67111528/67111528 [pid=12725] ppid=12723 vsize=998272 CPUtime=1122.33 /proc/12725/stat : 12725 (pbscip.linux.x8) R 12723 12725 11955 0 -1 4202496 598446 0 0 0 109044 3189 0 0 25 0 1 0 132142989 1022230528 246896 4089446400 4194304 8223781 140736269148320 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12725/statm: 249568 246896 595 984 0 248581 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 998272 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 12785 /proc/meminfo: memFree=29892752/32951124 swapFree=67111528/67111528 [pid=12725] ppid=12723 vsize=1055692 CPUtime=1182.33 /proc/12725/stat : 12725 (pbscip.linux.x8) R 12723 12725 11955 0 -1 4202496 618384 0 0 0 114895 3338 0 0 25 0 1 0 132142989 1081028608 261376 4089446400 4194304 8223781 140736269148320 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12725/statm: 263923 261376 595 984 0 262936 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 1055692 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 12787 /proc/meminfo: memFree=29761024/32951124 swapFree=67111528/67111528 [pid=12725] ppid=12723 vsize=1109832 CPUtime=1242.33 /proc/12725/stat : 12725 (pbscip.linux.x8) R 12723 12725 11955 0 -1 4202496 639186 0 0 0 120749 3484 0 0 25 0 1 0 132142989 1136467968 275041 4089446400 4194304 8223781 140736269148320 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12725/statm: 277458 275041 595 984 0 276471 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 1109832 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 12789 /proc/meminfo: memFree=29595924/32951124 swapFree=67111528/67111528 [pid=12725] ppid=12723 vsize=1168984 CPUtime=1302.33 /proc/12725/stat : 12725 (pbscip.linux.x8) R 12723 12725 11955 0 -1 4202496 658842 0 0 0 126599 3634 0 0 25 0 1 0 132142989 1197039616 289962 4089446400 4194304 8223781 140736269148320 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12725/statm: 292246 289962 595 984 0 291259 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1168984 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 12790 /proc/meminfo: memFree=29492940/32951124 swapFree=67111528/67111528 [pid=12725] ppid=12723 vsize=1227400 CPUtime=1362.33 /proc/12725/stat : 12725 (pbscip.linux.x8) R 12723 12725 11955 0 -1 4202496 680232 0 0 0 132452 3781 0 0 25 0 1 0 132142989 1256857600 304694 4089446400 4194304 8223781 140736269148320 18446744073709551615 6162534 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12725/statm: 306850 304694 595 984 0 305863 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 1227400 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/183 12792 /proc/meminfo: memFree=29345956/32951124 swapFree=67111528/67111528 [pid=12725] ppid=12723 vsize=1285248 CPUtime=1422.34 /proc/12725/stat : 12725 (pbscip.linux.x8) R 12723 12725 11955 0 -1 4202496 706610 0 0 0 138296 3938 0 0 25 0 1 0 132142989 1316093952 319280 4089446400 4194304 8223781 140736269148320 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12725/statm: 321312 319280 595 984 0 320325 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 1285248 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 12793 /proc/meminfo: memFree=29214720/32951124 swapFree=67111528/67111528 [pid=12725] ppid=12723 vsize=1339916 CPUtime=1482.34 /proc/12725/stat : 12725 (pbscip.linux.x8) R 12723 12725 11955 0 -1 4202496 733031 0 0 0 144143 4091 0 0 25 0 1 0 132142989 1372073984 333074 4089446400 4194304 8223781 140736269148320 18446744073709551615 6446826 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12725/statm: 334979 333074 595 984 0 333992 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 1339916 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 12795 /proc/meminfo: memFree=29079652/32951124 swapFree=67111528/67111528 [pid=12725] ppid=12723 vsize=1397660 CPUtime=1542.33 /proc/12725/stat : 12725 (pbscip.linux.x8) R 12723 12725 11955 0 -1 4202496 756885 0 0 0 149994 4239 0 0 25 0 1 0 132142989 1431203840 347645 4089446400 4194304 8223781 140736269148320 18446744073709551615 6003327 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12725/statm: 349415 347645 595 984 0 348428 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 1397660 [startup+1602.3 s] /proc/loadavg: 2.07 2.02 2.00 3/183 12806 /proc/meminfo: memFree=28939564/32951124 swapFree=67111528/67111528 [pid=12725] ppid=12723 vsize=1457432 CPUtime=1602.34 /proc/12725/stat : 12725 (pbscip.linux.x8) R 12723 12725 11955 0 -1 4202496 780036 0 0 0 155847 4387 0 0 25 0 1 0 132142989 1492410368 362725 4089446400 4194304 8223781 140736269148320 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12725/statm: 364358 362725 595 984 0 363371 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 1457432 [startup+1662.3 s] /proc/loadavg: 2.02 2.01 2.00 3/183 12807 /proc/meminfo: memFree=28842168/32951124 swapFree=67111528/67111528 [pid=12725] ppid=12723 vsize=1516844 CPUtime=1662.34 /proc/12725/stat : 12725 (pbscip.linux.x8) R 12723 12725 11955 0 -1 4202496 811620 0 0 0 161699 4535 0 0 25 0 1 0 132142989 1553248256 377712 4089446400 4194304 8223781 140736269148320 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12725/statm: 379211 377712 595 984 0 378224 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 1516844 [startup+1722.3 s] /proc/loadavg: 2.09 2.03 2.01 3/183 12809 /proc/meminfo: memFree=28713168/32951124 swapFree=67111528/67111528 [pid=12725] ppid=12723 vsize=1580744 CPUtime=1722.34 /proc/12725/stat : 12725 (pbscip.linux.x8) R 12723 12725 11955 0 -1 4202496 833201 0 0 0 167546 4688 0 0 25 0 1 0 132142989 1618681856 393833 4089446400 4194304 8223781 140736269148320 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12725/statm: 395186 393833 595 984 0 394199 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 1580744 [startup+1782.3 s] /proc/loadavg: 2.20 2.07 2.02 4/204 12862 /proc/meminfo: memFree=29749960/32951124 swapFree=67111528/67111528 [pid=12725] ppid=12723 vsize=1644116 CPUtime=1782.34 /proc/12725/stat : 12725 (pbscip.linux.x8) R 12723 12725 11955 0 -1 4202496 855545 0 0 0 173385 4849 0 0 25 0 1 0 132142989 1683574784 409823 4089446400 4194304 8223781 140736269148320 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12725/statm: 411029 409823 595 984 0 410042 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 1644116 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.43 2.13 2.04 4/204 12865 /proc/meminfo: memFree=29721188/32951124 swapFree=67111528/67111528 [pid=12725] ppid=12723 vsize=1659292 CPUtime=1800.05 /proc/12725/stat : 12725 (pbscip.linux.x8) R 12723 12725 11955 0 -1 4202496 861942 0 0 0 175142 4863 0 0 25 0 1 0 132142989 1699115008 413654 4089446400 4194304 8223781 140736269148320 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12725/statm: 414823 413654 595 984 0 413836 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1659292 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 2.43 2.13 2.04 4/205 12866 /proc/meminfo: memFree=29720932/32951124 swapFree=67111528/67111528 [pid=12725] ppid=12723 vsize=1659292 CPUtime=1800.65 /proc/12725/stat : 12725 (pbscip.linux.x8) R 12723 12725 11955 0 -1 4202496 861944 0 0 0 175202 4863 0 0 18 0 1 0 132142989 1699115008 413656 4089446400 4194304 8223781 140736269148320 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/12725/statm: 414823 413656 597 984 0 413836 0 Current children cumulated CPU time (s) 1800.65 Current children cumulated vsize (KiB) 1659292 [startup+1801.4 s] /proc/loadavg: 2.43 2.13 2.04 4/205 12866 /proc/meminfo: memFree=29720932/32951124 swapFree=67111528/67111528 [pid=12725] ppid=12723 vsize=1296792 CPUtime=1801.44 /proc/12725/stat : 12725 (pbscip.linux.x8) R 12723 12725 11955 0 -1 4202496 861944 0 0 0 175280 4864 0 0 19 0 1 0 132142989 1327915008 323031 4089446400 4194304 8223781 140736269148320 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/12725/statm: 324198 323031 597 984 0 323211 0 Current children cumulated CPU time (s) 1801.44 Current children cumulated vsize (KiB) 1296792 [startup+1801.81 s] /proc/loadavg: 2.43 2.13 2.04 4/205 12866 /proc/meminfo: memFree=30359904/32951124 swapFree=67111528/67111528 [pid=12725] ppid=12723 vsize=859848 CPUtime=1801.84 /proc/12725/stat : 12725 (pbscip.linux.x8) R 12723 12725 11955 0 -1 4202496 861944 0 0 0 175318 4866 0 0 20 0 1 0 132142989 880484352 213795 4089446400 4194304 8223781 140736269148320 18446744073709551615 6206490 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/12725/statm: 214962 213795 597 984 0 213975 0 Current children cumulated CPU time (s) 1801.84 Current children cumulated vsize (KiB) 859848 [startup+1801.9 s] /proc/loadavg: 2.43 2.13 2.04 4/205 12866 /proc/meminfo: memFree=30359904/32951124 swapFree=67111528/67111528 [pid=12725] ppid=12723 vsize=510616 CPUtime=1801.94 /proc/12725/stat : 12725 (pbscip.linux.x8) R 12723 12725 11955 0 -1 4202496 861944 0 0 0 175327 4867 0 0 20 0 1 0 132142989 522870784 126487 4089446400 4194304 8223781 140736269148320 18446744073709551615 4670017 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/12725/statm: 127654 126487 597 984 0 126667 0 Current children cumulated CPU time (s) 1801.94 Current children cumulated vsize (KiB) 510616 Child status: 0 Real time (s): 1801.96 CPU time (s): 1802.01 CPU user time (s): 1753.31 CPU system time (s): 48.6926 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1659356 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1753.31 system time used= 48.6926 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 861948 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 2850 runsolver used 2.99354 second user time and 6.84296 second system time The end
Begin job on node133 at 2010-06-30 16:34:34 IDJOB=2692881 IDBENCH=78959 IDSOLVER=1204 FILE ID=node133/2692881-1277908474 PBS_JOBID= 11197223 Free space on /tmp= 74208 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900581320--soft-33-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692881-1277908474/watcher-2692881-1277908474 -o /tmp/evaluation-result-2692881-1277908474/solver-2692881-1277908474 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692881-1277908474.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8591b35e74198f55af565a685d4a35ec RANDOM SEED=1027036326 node133.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.821 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.64 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.821 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.821 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.821 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 : 7296.74 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.821 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.821 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.74 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.821 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.821 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30332264 kB Buffers: 188756 kB Cached: 980700 kB SwapCached: 0 kB Active: 1831544 kB Inactive: 641664 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30332264 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4680 kB Writeback: 0 kB AnonPages: 1303908 kB Mapped: 16144 kB Slab: 78588 kB PageTables: 6868 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1468752 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74208 MiB End job on node133 at 2010-06-30 17:04:36