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) | 1800.2 | 1800.15 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900553812--soft-33-100-0.wbo |
MD5SUM | b8c059b75f42fac4cec7408dc4fcfe67 |
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 | 3 |
Best CPU time to get the best result obtained on this benchmark | 262.865 |
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 | 1802 |
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 | 91108 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 91107 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 723 |
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-2692779-1277903135.wbo> 0.00/0.03 c original problem has 3835 variables (2033 bin, 0 int, 0 impl, 1802 cont) and 4510 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, 1950 impls, 9 clqs 0.04/0.08 c (round 2) 0 del vars, 71 del conss, 1802 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1950 impls, 9 clqs 0.04/0.09 c (round 3) 53 del vars, 138 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 0 upgd conss, 1950 impls, 9 clqs 0.09/0.11 c (round 4) 114 del vars, 146 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 882 upgd conss, 1950 impls, 9 clqs 0.09/0.12 c (round 5) 122 del vars, 146 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 882 upgd conss, 1950 impls, 9 clqs 0.09/0.17 c (0.1s) probing: 101/1972 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings 0.09/0.17 c presolving (6 rounds): 0.09/0.17 c 122 deleted vars, 146 deleted constraints, 1810 tightened bounds, 0 added holes, 67 changed sides, 0 changed coefficients 0.09/0.17 c 1950 implications, 9 cliques 0.09/0.17 c presolved problem has 3713 variables (1972 bin, 0 int, 0 impl, 1741 cont) and 4364 constraints 0.09/0.17 c 1741 constraints of type <indicator> 0.09/0.17 c 9 constraints of type <setppc> 0.09/0.17 c 1741 constraints of type <linear> 0.09/0.17 c 873 constraints of type <logicor> 0.09/0.17 c transformed objective value is always integral (scale: 1) 0.09/0.17 c Presolving Time: 0.13 0.09/0.17 c - non default parameters ---------------------------------------------------------------------- 0.09/0.17 c # SCIP version 1.2.1.2 0.09/0.17 c 0.09/0.17 c # frequency for displaying node information lines 0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.17 c display/freq = 10000 0.09/0.17 c 0.09/0.17 c # maximal time in seconds to run 0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.17 c limits/time = 1799.98 0.09/0.17 c 0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.17 c limits/memory = 3420 0.09/0.17 c 0.09/0.17 c # should presolving try to simplify inequalities 0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.17 c constraints/linear/simplifyinequalities = TRUE 0.09/0.17 c 0.09/0.17 c # should presolving try to simplify knapsacks 0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.17 c 0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.17 c separating/rapidlearning/freq = 0 0.09/0.17 c 0.09/0.17 c ----------------------------------------------------------------------------------------------- 0.09/0.17 c start solving 0.09/0.17 c 0.09/0.18 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.18 c 0.1s| 1 | 0 | 15 | - | 13M| 0 | 0 |3713 |4364 |3713 | 882 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.09/0.18 c 0.1s| 1 | 0 | 64 | - | 13M| 0 | 28 |3713 |4364 |3713 | 901 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf 0.09/0.18 o 87754 0.09/0.18 c y 0.1s| 1 | 0 | 64 | - | 13M| 0 | 28 |3713 |4364 |3713 | 901 | 19 | 0 | 0 | 0.000000e+00 | 8.775400e+04 | Inf 0.19/0.22 c 0.2s| 1 | 0 | 88 | - | 14M| 0 | 34 |3713 |4364 |3713 | 920 | 38 | 0 | 0 | 0.000000e+00 | 8.775400e+04 | Inf 0.19/0.27 c 0.2s| 1 | 0 | 140 | - | 14M| 0 | 42 |3713 |4364 |3713 | 932 | 50 | 0 | 0 | 0.000000e+00 | 8.775400e+04 | Inf 0.29/0.33 c 0.3s| 1 | 0 | 152 | - | 14M| 0 | 44 |3713 |4364 |3713 | 935 | 53 | 0 | 0 | 0.000000e+00 | 8.775400e+04 | Inf 0.39/0.40 c 0.4s| 1 | 0 | 168 | - | 14M| 0 | 45 |3713 |4364 |3713 | 942 | 60 | 0 | 0 | 0.000000e+00 | 8.775400e+04 | Inf 0.39/0.47 c 0.4s| 1 | 0 | 174 | - | 14M| 0 | 44 |3713 |4364 |3713 | 943 | 61 | 0 | 0 | 0.000000e+00 | 8.775400e+04 | Inf 0.69/0.79 c 0.8s| 1 | 2 | 174 | - | 14M| 0 | 44 |3713 |4364 |3713 | 943 | 61 | 0 | 33 | 0.000000e+00 | 8.775400e+04 | Inf 9.80/9.90 o 92 9.80/9.90 c * 9.8s| 3048 | 496 | 11606 | 3.8 | 20M| 87 | - |3713 |4364 |3713 | 966 |1004 | 0 | 968 | 0.000000e+00 | 9.200000e+01 | Inf 9.99/10.05 o 80 9.99/10.05 c * 9.9s| 3111 | 427 | 11705 | 3.7 | 21M| 87 | - |3713 |4214 |3713 | 953 |1009 | 0 | 970 | 0.000000e+00 | 8.000000e+01 | Inf 9.99/10.09 o 74 9.99/10.09 c * 9.9s| 3121 | 371 | 11714 | 3.7 | 21M| 87 | - |3713 |4005 |3713 | 953 |1009 | 10 | 970 | 0.000000e+00 | 7.400000e+01 | Inf 10.09/10.10 o 50 10.09/10.10 c * 9.9s| 3122 | 103 | 11715 | 3.7 | 20M| 87 | - |3713 |4005 |3713 | 953 |1009 | 10 | 970 | 0.000000e+00 | 5.000000e+01 | Inf 20.60/20.63 o 43 20.60/20.63 c *20.3s| 6580 | 278 | 32217 | 4.9 | 24M| 87 | - |3713 |5991 |3713 | 949 |2962 |4110 |1815 | 0.000000e+00 | 4.300000e+01 | Inf 27.59/27.65 c 27.2s| 10000 | 385 | 47788 | 4.8 | 27M| 87 | - |3713 |6512 | 0 | 0 |3771 |8407 |1840 | 0.000000e+00 | 4.300000e+01 | Inf 39.60/39.60 o 37 39.60/39.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 39.60/39.60 c *39.0s| 16081 | 560 | 71571 | 4.4 | 31M| 87 | - |3713 |7638 |3713 | 960 |5288 | 15k|1848 | 0.000000e+00 | 3.700000e+01 | Inf 39.60/39.61 o 36 39.60/39.61 c *39.0s| 16082 | 559 | 71577 | 4.4 | 31M| 87 | - |3713 |7638 |3713 | 960 |5288 | 15k|1848 | 0.000000e+00 | 3.600000e+01 | Inf 39.89/39.92 o 27 39.89/39.92 c *39.3s| 16215 | 516 | 72277 | 4.4 | 29M| 87 | - |3713 |7478 |3713 | 963 |5319 | 15k|1848 | 0.000000e+00 | 2.700000e+01 | Inf 41.29/41.34 o 26 41.29/41.34 c *40.7s| 16929 | 545 | 76074 | 4.5 | 30M| 87 | - |3713 |7522 |3713 | 961 |5775 | 16k|1849 | 0.000000e+00 | 2.600000e+01 | Inf 41.70/41.78 o 24 41.70/41.78 c *41.2s| 17166 | 470 | 77045 | 4.5 | 28M| 87 | - |3713 |7643 |3713 | 957 |5845 | 17k|1849 | 0.000000e+00 | 2.400000e+01 | Inf 42.29/42.39 o 12 42.29/42.39 c *41.8s| 17473 | 435 | 78756 | 4.5 | 27M| 87 | - |3713 |7657 |3713 | 953 |5973 | 17k|1849 | 0.000000e+00 | 1.200000e+01 | Inf 46.89/46.97 c 46.3s| 20000 | 494 | 93208 | 4.7 | 28M| 87 | - |3713 |9172 | 0 | 0 |7905 | 20k|1849 | 0.000000e+00 | 1.200000e+01 | Inf 58.40/58.50 o 11 58.40/58.50 c *57.6s| 26106 | 471 |126800 | 4.9 | 28M| 87 | - |3713 |8002 |3713 | 944 | 11k| 29k|1849 | 0.000000e+00 | 1.100000e+01 | Inf 64.90/65.00 c 64.0s| 30000 | 487 |145376 | 4.8 | 29M| 87 | - |3713 |8494 | 0 | 0 | 12k| 34k|1849 | 0.000000e+00 | 1.100000e+01 | Inf 84.49/84.56 c 83.3s| 40000 | 594 |203625 | 5.1 | 32M| 87 | 5 |3713 | 12k|3713 | 954 | 18k| 47k|1960 | 0.000000e+00 | 1.100000e+01 | Inf 105.50/105.52 c 104s| 50000 | 569 |257731 | 5.2 | 33M| 87 | 16 |3713 | 12k|3713 | 947 | 23k| 61k|2276 | 0.000000e+00 | 1.100000e+01 | Inf 124.49/124.57 c 123s| 60000 | 630 |302991 | 5.0 | 36M| 87 | - |3713 | 17k| 0 | 0 | 25k| 74k|2462 | 0.000000e+00 | 1.100000e+01 | Inf 143.79/143.82 c 142s| 70000 | 720 |342838 | 4.9 | 39M| 87 | 22 |3713 | 20k|3713 | 948 | 26k| 88k|2631 | 0.000000e+00 | 1.100000e+01 | Inf 164.79/164.90 c 163s| 80000 | 786 |384581 | 4.8 | 41M| 87 | - |3713 | 21k| 0 | 0 | 26k| 102k|2826 | 0.000000e+00 | 1.100000e+01 | Inf 184.70/184.77 c 182s| 90000 | 848 |424435 | 4.7 | 40M| 87 | 4 |3713 | 18k|3713 | 947 | 27k| 115k|2985 | 0.000000e+00 | 1.100000e+01 | Inf 204.39/204.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 204.39/204.46 c 202s|100000 | 923 |466633 | 4.7 | 41M| 87 | - |3713 | 16k|3713 | 952 | 28k| 130k|3137 | 0.000000e+00 | 1.100000e+01 | Inf 225.90/225.99 c 223s|110000 | 1009 |512975 | 4.7 | 43M| 87 | 11 |3713 | 17k|3713 | 941 | 31k| 144k|3354 | 0.000000e+00 | 1.100000e+01 | Inf 246.60/246.60 c 243s|120000 | 984 |562425 | 4.7 | 43M| 87 | 13 |3713 | 17k|3713 | 948 | 33k| 157k|3555 | 0.000000e+00 | 1.100000e+01 | Inf 266.30/266.38 c 263s|130000 | 1077 |605458 | 4.7 | 44M| 87 | 10 |3713 | 16k|3713 | 948 | 34k| 170k|3727 | 0.000000e+00 | 1.100000e+01 | Inf 266.70/266.77 o 6 266.70/266.77 c * 263s|130212 | 985 |606209 | 4.7 | 42M| 87 | - |3713 | 17k|3713 | 966 | 34k| 170k|3732 | 0.000000e+00 | 6.000000e+00 | Inf 284.60/284.66 c 281s|140000 | 1008 |645537 | 4.6 | 43M| 87 | 1 |3713 | 17k|3713 | 948 | 36k| 183k|3831 | 0.000000e+00 | 6.000000e+00 | Inf 303.61/303.63 c 299s|150000 | 1012 |685567 | 4.6 | 43M| 87 | - |3713 | 17k| 0 | 0 | 37k| 196k|3943 | 0.000000e+00 | 6.000000e+00 | Inf 322.90/322.97 c 319s|160000 | 1177 |732970 | 4.6 | 45M| 87 | 1 |3713 | 16k|3713 | 948 | 41k| 208k|4131 | 0.000000e+00 | 6.000000e+00 | Inf 344.31/344.37 c 340s|170000 | 1335 |789996 | 4.6 | 48M| 87 | 10 |3713 | 16k|3713 | 948 | 45k| 221k|4287 | 0.000000e+00 | 6.000000e+00 | Inf 363.70/363.70 c 359s|180000 | 1393 |833369 | 4.6 | 50M| 87 | 7 |3713 | 21k|3713 | 956 | 48k| 234k|4430 | 0.000000e+00 | 6.000000e+00 | Inf 384.60/384.63 c 379s|190000 | 1456 |880970 | 4.6 | 52M| 87 | 27 |3713 | 22k|3713 | 941 | 50k| 247k|4536 | 0.000000e+00 | 6.000000e+00 | Inf 407.31/407.31 c 402s|200000 | 1551 |937151 | 4.7 | 53M| 87 | - |3713 | 19k| 0 | 0 | 55k| 261k|4729 | 0.000000e+00 | 6.000000e+00 | Inf 427.90/427.95 c 422s|210000 | 1629 |984722 | 4.7 | 54M| 87 | - |3713 | 19k| 0 | 0 | 59k| 274k|4839 | 0.000000e+00 | 6.000000e+00 | Inf 448.30/448.34 c 442s|220000 | 1670 | 1034k| 4.7 | 55M| 87 | 19 |3713 | 19k|3713 | 951 | 64k| 288k|4928 | 0.000000e+00 | 6.000000e+00 | Inf 470.81/470.84 c 465s|230000 | 1756 | 1093k| 4.8 | 57M| 87 | 27 |3713 | 20k|3713 | 965 | 70k| 301k|5115 | 0.000000e+00 | 6.000000e+00 | Inf 491.21/491.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 491.21/491.25 c 485s|240000 | 1835 | 1140k| 4.8 | 58M| 87 | - |3713 | 19k|3713 | 948 | 73k| 315k|5221 | 0.000000e+00 | 6.000000e+00 | Inf 510.01/510.02 c 503s|250000 | 1887 | 1180k| 4.7 | 59M| 87 | - |3713 | 21k| 0 | 0 | 74k| 328k|5312 | 0.000000e+00 | 6.000000e+00 | Inf 531.61/531.63 c 525s|260000 | 1938 | 1240k| 4.8 | 59M| 87 | 20 |3713 | 19k|3713 | 949 | 81k| 342k|5452 | 0.000000e+00 | 6.000000e+00 | Inf 551.61/551.68 c 544s|270000 | 1993 | 1282k| 4.8 | 61M| 87 | 9 |3713 | 21k|3713 | 946 | 82k| 356k|5554 | 0.000000e+00 | 6.000000e+00 | Inf 572.50/572.59 c 565s|280000 | 2171 | 1329k| 4.7 | 63M| 87 | - |3713 | 20k| 0 | 0 | 84k| 370k|5670 | 0.000000e+00 | 6.000000e+00 | Inf 591.40/591.47 c 584s|290000 | 2224 | 1369k| 4.7 | 64M| 87 | - |3713 | 20k| 0 | 0 | 86k| 384k|5743 | 0.000000e+00 | 6.000000e+00 | Inf 610.71/610.79 c 603s|300000 | 2228 | 1407k| 4.7 | 65M| 87 | - |3713 | 24k| 0 | 0 | 87k| 397k|5812 | 0.000000e+00 | 6.000000e+00 | Inf 631.81/631.89 c 623s|310000 | 2246 | 1450k| 4.7 | 67M| 87 | 14 |3713 | 27k|3713 | 950 | 89k| 410k|5901 | 0.000000e+00 | 6.000000e+00 | Inf 653.21/653.22 c 645s|320000 | 2226 | 1492k| 4.7 | 66M| 87 | 19 |3713 | 24k|3713 | 949 | 90k| 424k|5995 | 0.000000e+00 | 6.000000e+00 | Inf 673.81/673.88 c 665s|330000 | 2246 | 1536k| 4.7 | 66M| 87 | 16 |3713 | 21k|3713 | 946 | 91k| 437k|6098 | 0.000000e+00 | 6.000000e+00 | Inf 695.11/695.13 c 686s|340000 | 2256 | 1582k| 4.7 | 67M| 87 | - |3713 | 22k| 0 | 0 | 93k| 451k|6181 | 0.000000e+00 | 6.000000e+00 | Inf 716.51/716.56 c 707s|350000 | 2394 | 1625k| 4.6 | 67M| 87 | 1 |3713 | 19k|3713 | 959 | 95k| 464k|6271 | 0.000000e+00 | 6.000000e+00 | Inf 738.81/738.80 o 3 738.81/738.80 c * 729s|359936 | 815 | 1683k| 4.7 | 42M| 87 | - |3713 | 20k|3713 | 941 | 101k| 477k|6362 | 0.000000e+00 | 3.000000e+00 | Inf 738.91/738.99 c 729s|360000 | 813 | 1684k| 4.7 | 42M| 87 | - |3713 | 19k| 0 | 0 | 102k| 477k|6362 | 0.000000e+00 | 3.000000e+00 | Inf 761.31/761.37 c 751s|370000 | 863 | 1742k| 4.7 | 43M| 87 | 11 |3713 | 19k|3713 | 950 | 109k| 490k|6496 | 0.000000e+00 | 3.000000e+00 | Inf 783.32/783.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 783.32/783.33 c 773s|380000 | 896 | 1795k| 4.7 | 44M| 87 | 22 |3713 | 21k|3713 | 950 | 113k| 503k|6603 | 0.000000e+00 | 3.000000e+00 | Inf 804.51/804.50 c 794s|390000 | 919 | 1845k| 4.7 | 46M| 87 | - |3713 | 26k| 0 | 0 | 116k| 516k|6695 | 0.000000e+00 | 3.000000e+00 | Inf 826.42/826.47 c 816s|400000 | 921 | 1887k| 4.7 | 47M| 87 | - |3713 | 31k| 0 | 0 | 117k| 530k|6771 | 0.000000e+00 | 3.000000e+00 | Inf 850.02/850.04 c 839s|410000 | 925 | 1928k| 4.7 | 50M| 87 | - |3713 | 37k| 0 | 0 | 118k| 544k|6861 | 0.000000e+00 | 3.000000e+00 | Inf 876.21/876.29 c 865s|420000 | 914 | 1973k| 4.7 | 50M| 87 | - |3713 | 38k| 0 | 0 | 120k| 558k|6964 | 0.000000e+00 | 3.000000e+00 | Inf 905.23/905.22 c 894s|430000 | 892 | 2029k| 4.7 | 49M| 87 | - |3713 | 34k| 0 | 0 | 127k| 571k|7054 | 0.000000e+00 | 3.000000e+00 | Inf 933.11/933.13 c 921s|440000 | 921 | 2081k| 4.7 | 51M| 87 | 8 |3713 | 39k|3713 | 941 | 133k| 584k|7146 | 0.000000e+00 | 3.000000e+00 | Inf 962.92/962.95 c 951s|450000 | 1014 | 2137k| 4.8 | 53M| 87 | 5 |3713 | 43k|3713 | 941 | 142k| 598k|7233 | 0.000000e+00 | 3.000000e+00 | Inf 992.32/992.35 c 980s|460000 | 952 | 2190k| 4.8 | 53M| 87 | - |3713 | 43k| 0 | 0 | 149k| 612k|7314 | 0.000000e+00 | 3.000000e+00 | Inf 1022.72/1022.72 c 1010s|470000 | 948 | 2250k| 4.8 | 51M| 87 | - |3713 | 36k| 0 | 0 | 156k| 626k|7452 | 0.000000e+00 | 3.000000e+00 | Inf 1050.22/1050.22 c 1037s|480000 | 1087 | 2308k| 4.8 | 51M| 87 | 16 |3713 | 32k|3713 | 950 | 163k| 639k|7559 | 0.000000e+00 | 3.000000e+00 | Inf 1077.72/1077.72 c 1065s|490000 | 1235 | 2371k| 4.8 | 53M| 87 | - |3713 | 35k| 0 | 0 | 173k| 652k|7659 | 0.000000e+00 | 3.000000e+00 | Inf 1105.32/1105.34 c 1092s|500000 | 1192 | 2429k| 4.9 | 53M| 87 | - |3713 | 34k| 0 | 0 | 181k| 666k|7767 | 0.000000e+00 | 3.000000e+00 | Inf 1133.42/1133.46 c 1120s|510000 | 1241 | 2493k| 4.9 | 54M| 87 | - |3713 | 34k| 0 | 0 | 190k| 680k|7879 | 0.000000e+00 | 3.000000e+00 | Inf 1161.42/1161.49 c 1147s|520000 | 1193 | 2551k| 4.9 | 52M| 87 | - |3713 | 30k| 0 | 0 | 196k| 694k|7973 | 0.000000e+00 | 3.000000e+00 | Inf 1185.93/1185.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1185.93/1185.93 c 1172s|530000 | 1267 | 2605k| 4.9 | 52M| 87 | 24 |3713 | 30k|3713 | 952 | 201k| 707k|8065 | 0.000000e+00 | 3.000000e+00 | Inf 1211.42/1211.47 c 1197s|540000 | 1367 | 2667k| 4.9 | 54M| 87 | 6 |3713 | 30k|3713 | 947 | 209k| 720k|8154 | 0.000000e+00 | 3.000000e+00 | Inf 1237.62/1237.65 c 1223s|550000 | 1443 | 2728k| 5.0 | 55M| 87 | 17 |3713 | 32k|3713 | 941 | 217k| 734k|8275 | 0.000000e+00 | 3.000000e+00 | Inf 1264.22/1264.28 c 1249s|560000 | 1552 | 2790k| 5.0 | 57M| 87 | - |3713 | 34k| 0 | 0 | 225k| 748k|8373 | 0.000000e+00 | 3.000000e+00 | Inf 1291.62/1291.63 c 1276s|570000 | 1614 | 2850k| 5.0 | 57M| 87 | - |3713 | 34k|3713 | 956 | 233k| 761k|8459 | 0.000000e+00 | 3.000000e+00 | Inf 1318.52/1318.56 c 1303s|580000 | 1645 | 2907k| 5.0 | 59M| 87 | 17 |3713 | 37k|3713 | 948 | 241k| 775k|8569 | 0.000000e+00 | 3.000000e+00 | Inf 1346.83/1346.85 c 1331s|590000 | 1674 | 2960k| 5.0 | 60M| 87 | 8 |3713 | 40k|3713 | 949 | 247k| 788k|8671 | 0.000000e+00 | 3.000000e+00 | Inf 1377.23/1377.21 c 1361s|600000 | 1768 | 3016k| 5.0 | 60M| 87 | 16 |3713 | 39k|3713 | 941 | 255k| 801k|8772 | 0.000000e+00 | 3.000000e+00 | Inf 1406.33/1406.35 c 1390s|610000 | 1815 | 3073k| 5.0 | 60M| 87 | 16 |3713 | 34k|3713 | 941 | 264k| 815k|8875 | 0.000000e+00 | 3.000000e+00 | Inf 1431.43/1431.45 c 1415s|620000 | 1768 | 3123k| 5.0 | 59M| 87 | 5 |3713 | 34k|3713 | 955 | 269k| 829k|8931 | 0.000000e+00 | 3.000000e+00 | Inf 1457.53/1457.59 c 1441s|630000 | 1749 | 3181k| 5.0 | 58M| 87 | - |3713 | 30k|3713 | 962 | 275k| 842k|8996 | 0.000000e+00 | 3.000000e+00 | Inf 1480.53/1480.53 c 1463s|640000 | 1753 | 3223k| 5.0 | 58M| 87 | - |3713 | 29k| 0 | 0 | 278k| 855k|9082 | 0.000000e+00 | 3.000000e+00 | Inf 1503.53/1503.57 c 1486s|650000 | 1771 | 3261k| 5.0 | 59M| 87 | 1 |3713 | 33k|3713 | 947 | 279k| 869k|9131 | 0.000000e+00 | 3.000000e+00 | Inf 1528.13/1528.10 c 1510s|660000 | 1808 | 3314k| 5.0 | 60M| 87 | - |3713 | 34k| 0 | 0 | 284k| 883k|9180 | 0.000000e+00 | 3.000000e+00 | Inf 1553.93/1553.95 c 1536s|670000 | 1796 | 3370k| 5.0 | 60M| 87 | - |3713 | 33k| 0 | 0 | 289k| 897k|9266 | 0.000000e+00 | 3.000000e+00 | Inf 1580.33/1580.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1580.33/1580.34 c 1562s|680000 | 1789 | 3429k| 5.0 | 61M| 87 | 12 |3713 | 36k|3713 | 941 | 296k| 910k|9357 | 0.000000e+00 | 3.000000e+00 | Inf 1608.43/1608.42 c 1590s|690000 | 1903 | 3489k| 5.1 | 62M| 87 | - |3713 | 37k| 0 | 0 | 304k| 924k|9456 | 0.000000e+00 | 3.000000e+00 | Inf 1634.64/1634.67 c 1616s|700000 | 1869 | 3541k| 5.1 | 61M| 87 | 1 |3713 | 34k|3713 | 948 | 308k| 938k|9539 | 0.000000e+00 | 3.000000e+00 | Inf 1659.44/1659.44 c 1640s|710000 | 1823 | 3593k| 5.1 | 62M| 87 | 24 |3713 | 37k|3713 | 948 | 313k| 952k|9598 | 0.000000e+00 | 3.000000e+00 | Inf 1683.24/1683.28 c 1664s|720000 | 1802 | 3633k| 5.0 | 63M| 87 | 12 |3713 | 40k|3713 | 948 | 314k| 965k|9634 | 0.000000e+00 | 3.000000e+00 | Inf 1710.23/1710.28 c 1691s|730000 | 1806 | 3681k| 5.0 | 64M| 87 | 1 |3713 | 43k|3713 | 948 | 316k| 978k|9718 | 0.000000e+00 | 3.000000e+00 | Inf 1738.64/1738.63 c 1719s|740000 | 1807 | 3724k| 5.0 | 65M| 87 | - |3713 | 47k|3713 | 949 | 318k| 991k|9749 | 0.000000e+00 | 3.000000e+00 | Inf 1769.84/1769.90 c 1750s|750000 | 1840 | 3786k| 5.0 | 68M| 87 | - |3713 | 52k| 0 | 0 | 327k|1005k|9819 | 0.000000e+00 | 3.000000e+00 | Inf 1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.04/1800.00 c 1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt] 1800.04/1800.00 c Solving Time (sec) : 1779.79 1800.04/1800.00 c Solving Nodes : 759616 1800.04/1800.00 c Primal Bound : +3.00000000000000e+00 (158 solutions) 1800.04/1800.00 c Dual Bound : +0.00000000000000e+00 1800.04/1800.00 c Gap : infinite 1800.04/1800.05 s SATISFIABLE 1800.04/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.04/1800.05 v -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 1800.04/1800.05 v -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 1800.04/1800.05 v -x167 -x166 -x165 x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 1800.04/1800.05 v -x146 -x145 x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x126 1800.04/1800.05 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 1800.04/1800.05 v -x104 x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 -x81 -x80 1800.04/1800.05 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 1800.04/1800.05 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 1800.04/1800.05 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 1800.04/1800.05 v -x1 1800.04/1800.05 c SCIP Status : solving was interrupted [user interrupt] 1800.04/1800.05 c Solving Time : 1779.79 1800.04/1800.05 c Original Problem : 1800.04/1800.05 c Problem name : HOME/instance-2692779-1277903135.wbo 1800.04/1800.05 c Variables : 3835 (2033 binary, 0 integer, 0 implicit integer, 1802 continuous) 1800.04/1800.05 c Constraints : 4510 initial, 4510 maximal 1800.04/1800.05 c Presolved Problem : 1800.04/1800.05 c Problem name : t_HOME/instance-2692779-1277903135.wbo 1800.04/1800.05 c Variables : 3713 (1972 binary, 0 integer, 0 implicit integer, 1741 continuous) 1800.04/1800.05 c Constraints : 4364 initial, 52858 maximal 1800.04/1800.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.04/1800.05 c trivial : 0.00 61 0 0 0 0 0 0 0 1800.04/1800.05 c dualfix : 0.00 61 0 0 0 0 0 0 0 1800.04/1800.05 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.05 c implics : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.05 c probing : 0.05 0 0 0 0 0 0 0 0 1800.04/1800.05 c indicator : 0.00 0 0 0 0 0 61 0 0 1800.04/1800.05 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.05 c linear : 0.05 0 0 0 1810 0 85 67 0 1800.04/1800.05 c logicor : 0.02 0 0 0 0 0 0 0 0 1800.04/1800.05 c root node : - 1701 - - 3402 - - - - 1800.04/1800.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.04/1800.05 c integral : 0 0 0 466703 0 12 826 0 0 837956 1800.04/1800.05 c indicator : 1741 0 3628512 46398 0 180 1061106 0 0 0 1800.04/1800.05 c setppc : 9 6 3682886 46513 0 11891 1300983 0 0 0 1800.04/1800.05 c linear : 1741 6 3676361 47033 0 227911 19609381 330908 0 0 1800.04/1800.05 c logicor : 873+ 6 1522622 2798 0 144915 4001663 0 0 0 1800.04/1800.05 c countsols : 0 0 0 2798 0 0 0 0 0 0 1800.04/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.04/1800.05 c integral : 26.53 0.00 0.00 26.53 0.00 1800.04/1800.05 c indicator : 6.94 0.03 6.03 0.88 0.00 1800.04/1800.05 c setppc : 10.08 0.00 10.07 0.01 0.00 1800.04/1800.05 c linear : 146.34 0.00 144.22 2.12 0.00 1800.04/1800.05 c logicor : 328.11 0.00 328.09 0.02 0.00 1800.04/1800.05 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.04/1800.05 c Propagators : Time Calls Cutoffs DomReds 1800.04/1800.05 c vbounds : 0.66 2 0 0 1800.04/1800.05 c rootredcost : 0.92 15 0 1701 1800.04/1800.05 c pseudoobj : 124.15 3690573 2186 862559 1800.04/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.04/1800.05 c propagation : 17.95 386903 386273 2473523 26.1 12399 23.1 - 1800.04/1800.05 c infeasible LP : 7.22 26415 26415 221659 40.6 189 21.4 0 1800.04/1800.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.04/1800.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.04/1800.05 c pseudo solution : 0.01 18 18 88 14.6 2 11.0 - 1800.04/1800.05 c applied globally : - - - 1018203 21.2 - - - 1800.04/1800.05 c applied locally : - - - 0 0.0 - - - 1800.04/1800.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.04/1800.05 c cut pool : 0.00 4 - - 47 - (maximal pool size: 140) 1800.04/1800.05 c redcost : 22.01 470985 0 164073 0 0 1800.04/1800.05 c impliedbounds : 0.00 5 0 0 0 0 1800.04/1800.05 c intobj : 0.00 0 0 0 0 0 1800.04/1800.05 c cgmip : 0.00 0 0 0 0 0 1800.04/1800.05 c gomory : 0.13 5 0 0 768 0 1800.04/1800.05 c strongcg : 0.06 5 0 0 31 0 1800.04/1800.05 c cmir : 0.02 5 0 0 0 0 1800.04/1800.05 c flowcover : 0.07 5 0 0 0 0 1800.04/1800.05 c clique : 0.00 5 0 0 0 0 1800.04/1800.05 c zerohalf : 0.00 0 0 0 0 0 1800.04/1800.05 c mcf : 0.00 1 0 0 0 0 1800.04/1800.05 c rapidlearning : 0.00 0 0 0 0 0 1800.04/1800.05 c Pricers : Time Calls Vars 1800.04/1800.05 c problem variables: 0.00 0 0 1800.04/1800.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.04/1800.05 c relpscost : 26.12 419660 12 826 0 0 837956 1800.04/1800.05 c pscost : 0.00 0 0 0 0 0 0 1800.04/1800.05 c inference : 0.34 2784 0 0 0 0 5568 1800.04/1800.05 c mostinf : 0.00 0 0 0 0 0 0 1800.04/1800.05 c leastinf : 0.00 0 0 0 0 0 0 1800.04/1800.05 c fullstrong : 0.00 0 0 0 0 0 0 1800.04/1800.05 c allfullstrong : 0.00 0 0 0 0 0 0 1800.04/1800.05 c random : 0.00 0 0 0 0 0 0 1800.04/1800.05 c Primal Heuristics : Time Calls Found 1800.04/1800.05 c LP solutions : 0.02 - 14 1800.04/1800.05 c pseudo solutions : 0.00 - 0 1800.04/1800.05 c feaspump : 0.01 0 0 1800.04/1800.05 c oneopt : 0.33 13 0 1800.04/1800.05 c intshifting : 0.00 10 0 1800.04/1800.05 c crossover : 0.56 9 0 1800.04/1800.05 c veclendiving : 0.21 108 0 1800.04/1800.05 c coefdiving : 0.17 109 0 1800.04/1800.05 c pscostdiving : 0.22 109 0 1800.04/1800.05 c linesearchdiving : 0.16 109 0 1800.04/1800.05 c guideddiving : 0.18 109 0 1800.04/1800.05 c fracdiving : 0.15 109 0 1800.04/1800.05 c objpscostdiving : 0.13 84 0 1800.04/1800.05 c rootsoldiving : 1.87 84 0 1800.04/1800.05 c trivial : 0.00 2 0 1800.04/1800.05 c simplerounding : 0.88 420208 0 1800.04/1800.05 c zirounding : 0.46 1000 0 1800.04/1800.05 c rounding : 1.32 9128 0 1800.04/1800.05 c shifting : 0.98 2874 0 1800.04/1800.05 c twoopt : 0.00 0 0 1800.04/1800.05 c fixandinfer : 0.00 0 0 1800.04/1800.05 c intdiving : 0.00 0 0 1800.04/1800.05 c actconsdiving : 0.00 0 0 1800.04/1800.05 c octane : 0.00 0 0 1800.04/1800.05 c rens : 0.02 1 0 1800.04/1800.05 c rins : 0.00 0 0 1800.04/1800.05 c localbranching : 0.00 0 0 1800.04/1800.05 c mutation : 0.00 0 0 1800.04/1800.05 c dins : 0.00 0 0 1800.04/1800.05 c undercover : 0.00 0 0 1800.04/1800.05 c nlp : 0.29 0 0 1800.04/1800.05 c trysol : 2.05 5449 144 1800.04/1800.05 c LP : Time Calls Iterations Iter/call Iter/sec 1800.04/1800.05 c primal LP : 0.00 0 0 0.00 - 1800.04/1800.05 c dual LP : 540.06 490059 3828718 7.81 7089.43 1800.04/1800.05 c lex dual LP : 0.00 0 0 0.00 - 1800.04/1800.05 c barrier LP : 0.00 0 0 0.00 - 1800.04/1800.05 c diving/probing LP: 1.20 793 4716 5.95 3930.00 1800.04/1800.05 c strong branching : 22.30 9910 140555 14.18 6302.91 1800.04/1800.05 c (at root node) : - 33 2641 80.03 - 1800.04/1800.05 c conflict analysis: 0.00 0 0 0.00 - 1800.04/1800.05 c B&B Tree : 1800.04/1800.05 c number of runs : 1 1800.04/1800.05 c nodes : 759616 1800.04/1800.05 c nodes (total) : 759616 1800.04/1800.05 c nodes left : 1815 1800.04/1800.05 c max depth : 87 1800.04/1800.05 c max depth (total): 87 1800.04/1800.05 c backtracks : 91436 (12.0%) 1800.04/1800.05 c delayed cutoffs : 77066 1800.04/1800.05 c repropagations : 1541286 (5472875 domain reductions, 75039 cutoffs) 1800.04/1800.05 c avg switch length: 5.47 1800.04/1800.05 c switching time : 292.58 1800.04/1800.05 c Solution : 1800.04/1800.05 c Solutions found : 158 (15 improvements) 1800.04/1800.05 c First Solution : +8.77540000000000e+04 (in run 1, after 1 nodes, 0.15 seconds, depth 0, found by <trysol>) 1800.04/1800.05 c Primal Bound : +3.00000000000000e+00 (in run 1, after 359936 nodes, 729.12 seconds, depth 32, found by <relaxation>) 1800.04/1800.05 c Dual Bound : +0.00000000000000e+00 1800.04/1800.05 c Gap : infinite 1800.04/1800.05 c Root Dual Bound : +0.00000000000000e+00 1800.04/1800.05 c Root Iterations : 174 1800.14/1800.15 c Time complete: 1800.19.
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692779-1277903135/watcher-2692779-1277903135 -o /tmp/evaluation-result-2692779-1277903135/solver-2692779-1277903135 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692779-1277903135.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.01 2.00 2.00 4/196 16325 /proc/meminfo: memFree=31178152/32951124 swapFree=67111528/67111528 [pid=16325] ppid=16323 vsize=9408 CPUtime=0 /proc/16325/stat : 16325 (pbscip.linux.x8) R 16323 16325 15299 0 -1 4202496 1650 0 0 0 0 0 0 0 25 0 1 0 131608159 9633792 1569 4089446400 4194304 8223781 140735142340672 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/16325/statm: 2352 1570 369 984 0 1365 0 [startup+0.0526321 s] /proc/loadavg: 2.01 2.00 2.00 4/196 16325 /proc/meminfo: memFree=31178152/32951124 swapFree=67111528/67111528 [pid=16325] ppid=16323 vsize=29176 CPUtime=0.04 /proc/16325/stat : 16325 (pbscip.linux.x8) R 16323 16325 15299 0 -1 4202496 6684 0 0 0 4 0 0 0 25 0 1 0 131608159 29876224 6239 4089446400 4194304 8223781 140735142340672 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16325/statm: 7294 6239 441 984 0 6307 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 29176 [startup+0.100613 s] /proc/loadavg: 2.01 2.00 2.00 4/196 16325 /proc/meminfo: memFree=31178152/32951124 swapFree=67111528/67111528 [pid=16325] ppid=16323 vsize=30204 CPUtime=0.09 /proc/16325/stat : 16325 (pbscip.linux.x8) R 16323 16325 15299 0 -1 4202496 7986 0 0 0 9 0 0 0 25 0 1 0 131608159 30928896 6513 4089446400 4194304 8223781 140735142340672 18446744073709551615 4333587 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16325/statm: 7551 6513 452 984 0 6564 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 30204 [startup+0.300589 s] /proc/loadavg: 2.01 2.00 2.00 4/196 16325 /proc/meminfo: memFree=31178152/32951124 swapFree=67111528/67111528 [pid=16325] ppid=16323 vsize=36036 CPUtime=0.29 /proc/16325/stat : 16325 (pbscip.linux.x8) R 16323 16325 15299 0 -1 4202496 11659 0 0 0 28 1 0 0 25 0 1 0 131608159 36900864 8104 4089446400 4194304 8223781 140735142340672 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16325/statm: 9009 8104 570 984 0 8022 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36036 [startup+0.700501 s] /proc/loadavg: 2.01 2.00 2.00 4/196 16325 /proc/meminfo: memFree=31178152/32951124 swapFree=67111528/67111528 [pid=16325] ppid=16323 vsize=40896 CPUtime=0.69 /proc/16325/stat : 16325 (pbscip.linux.x8) R 16323 16325 15299 0 -1 4202496 19752 0 0 0 67 2 0 0 25 0 1 0 131608159 41877504 9284 4089446400 4194304 8223781 140735142340672 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16325/statm: 10224 9284 585 984 0 9237 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 40896 [startup+1.50036 s] /proc/loadavg: 2.01 2.00 2.00 3/197 16326 /proc/meminfo: memFree=31142308/32951124 swapFree=67111528/67111528 [pid=16325] ppid=16323 vsize=40896 CPUtime=1.49 /proc/16325/stat : 16325 (pbscip.linux.x8) R 16323 16325 15299 0 -1 4202496 19757 0 0 0 146 3 0 0 25 0 1 0 131608159 41877504 9289 4089446400 4194304 8223781 140735142340672 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16325/statm: 10224 9289 587 984 0 9237 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 40896 [startup+3.10107 s] /proc/loadavg: 2.01 2.00 2.00 3/197 16326 /proc/meminfo: memFree=31142316/32951124 swapFree=67111528/67111528 [pid=16325] ppid=16323 vsize=43992 CPUtime=3.09 /proc/16325/stat : 16325 (pbscip.linux.x8) R 16323 16325 15299 0 -1 4202496 25276 0 0 0 305 4 0 0 25 0 1 0 131608159 45047808 10131 4089446400 4194304 8223781 140735142340672 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16325/statm: 10998 10131 591 984 0 10011 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 43992 [startup+6.3005 s] /proc/loadavg: 2.08 2.02 2.01 3/197 16326 /proc/meminfo: memFree=31138928/32951124 swapFree=67111528/67111528 [pid=16325] ppid=16323 vsize=46104 CPUtime=6.29 /proc/16325/stat : 16325 (pbscip.linux.x8) R 16323 16325 15299 0 -1 4202496 30786 0 0 0 621 8 0 0 25 0 1 0 131608159 47210496 10327 4089446400 4194304 8223781 140735142340672 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16325/statm: 11526 10327 591 984 0 10539 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 46104 [startup+12.7004 s] /proc/loadavg: 2.08 2.02 2.00 3/197 16326 /proc/meminfo: memFree=31130880/32951124 swapFree=67111528/67111528 [pid=16325] ppid=16323 vsize=53736 CPUtime=12.69 /proc/16325/stat : 16325 (pbscip.linux.x8) R 16323 16325 15299 0 -1 4202496 48100 0 0 0 1254 15 0 0 25 0 1 0 131608159 55025664 12362 4089446400 4194304 8223781 140735142340672 18446744073709551615 6445658 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16325/statm: 13434 12362 595 984 0 12447 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 53736 [startup+25.5011 s] /proc/loadavg: 2.06 2.02 2.00 3/197 16326 /proc/meminfo: memFree=31115364/32951124 swapFree=67111528/67111528 [pid=16325] ppid=16323 vsize=69132 CPUtime=25.49 /proc/16325/stat : 16325 (pbscip.linux.x8) R 16323 16325 15299 0 -1 4202496 63201 0 0 0 2515 34 0 0 25 0 1 0 131608159 70791168 16134 4089446400 4194304 8223781 140735142340672 18446744073709551615 4660837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16325/statm: 17283 16134 595 984 0 16296 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 69132 [startup+51.1005 s] /proc/loadavg: 2.04 2.02 2.00 3/197 16327 /proc/meminfo: memFree=31092772/32951124 swapFree=67111528/67111528 [pid=16325] ppid=16323 vsize=91972 CPUtime=51.09 /proc/16325/stat : 16325 (pbscip.linux.x8) R 16323 16325 15299 0 -1 4202496 87385 0 0 0 5035 74 0 0 25 0 1 0 131608159 94179328 21721 4089446400 4194304 8223781 140735142340672 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16325/statm: 22993 21721 596 984 0 22006 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 91972 [startup+102.306 s] /proc/loadavg: 2.02 2.01 2.00 3/197 16328 /proc/meminfo: memFree=31085288/32951124 swapFree=67111528/67111528 [pid=16325] ppid=16323 vsize=98692 CPUtime=102.3 /proc/16325/stat : 16325 (pbscip.linux.x8) R 16323 16325 15299 0 -1 4202496 118323 0 0 0 10079 151 0 0 25 0 1 0 131608159 101060608 23400 4089446400 4194304 8223781 140735142340672 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16325/statm: 24673 23400 596 984 0 23686 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 98692 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 16330 /proc/meminfo: memFree=31076164/32951124 swapFree=67111528/67111528 [pid=16325] ppid=16323 vsize=106948 CPUtime=162.29 /proc/16325/stat : 16325 (pbscip.linux.x8) R 16323 16325 15299 0 -1 4202496 137897 0 0 0 15998 231 0 0 25 0 1 0 131608159 109514752 25467 4089446400 4194304 8223781 140735142340672 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16325/statm: 26737 25467 603 984 0 25750 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 106948 [startup+222.301 s] /proc/loadavg: 2.07 2.02 2.00 3/197 16332 /proc/meminfo: memFree=31071004/32951124 swapFree=67111528/67111528 [pid=16325] ppid=16323 vsize=112504 CPUtime=222.29 /proc/16325/stat : 16325 (pbscip.linux.x8) R 16323 16325 15299 0 -1 4202496 148358 0 0 0 21918 311 0 0 25 0 1 0 131608159 115204096 26723 4089446400 4194304 8223781 140735142340672 18446744073709551615 4999763 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16325/statm: 28126 26723 603 984 0 27139 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 112504 [startup+282.3 s] /proc/loadavg: 2.02 2.01 2.00 3/197 16333 /proc/meminfo: memFree=31067976/32951124 swapFree=67111528/67111528 [pid=16325] ppid=16323 vsize=114448 CPUtime=282.3 /proc/16325/stat : 16325 (pbscip.linux.x8) R 16323 16325 15299 0 -1 4202496 165128 0 0 0 27843 387 0 0 25 0 1 0 131608159 117194752 27247 4089446400 4194304 8223781 140735142340672 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16325/statm: 28612 27247 603 984 0 27625 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 114448 [startup+342.3 s] /proc/loadavg: 2.01 2.00 2.00 3/197 16334 /proc/meminfo: memFree=31064440/32951124 swapFree=67111528/67111528 [pid=16325] ppid=16323 vsize=118100 CPUtime=342.3 /proc/16325/stat : 16325 (pbscip.linux.x8) R 16323 16325 15299 0 -1 4202496 170997 0 0 0 33765 465 0 0 25 0 1 0 131608159 120934400 28185 4089446400 4194304 8223781 140735142340672 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16325/statm: 29525 28185 603 984 0 28538 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 118100 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 16336 /proc/meminfo: memFree=31058528/32951124 swapFree=67111528/67111528 [pid=16325] ppid=16323 vsize=124148 CPUtime=402.3 /proc/16325/stat : 16325 (pbscip.linux.x8) R 16323 16325 15299 0 -1 4202496 174973 0 0 0 39687 543 0 0 25 0 1 0 131608159 127127552 29664 4089446400 4194304 8223781 140735142340672 18446744073709551615 4660092 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16325/statm: 31037 29664 603 984 0 30050 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 124148 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 16338 /proc/meminfo: memFree=31055104/32951124 swapFree=67111528/67111528 [pid=16325] ppid=16323 vsize=127852 CPUtime=462.3 /proc/16325/stat : 16325 (pbscip.linux.x8) R 16323 16325 15299 0 -1 4202496 175918 0 0 0 45611 619 0 0 25 0 1 0 131608159 130920448 30472 4089446400 4194304 8223781 140735142340672 18446744073709551615 6003327 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16325/statm: 31963 30472 603 984 0 30976 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 127852 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 16340 /proc/meminfo: memFree=31049824/32951124 swapFree=67111528/67111528 [pid=16325] ppid=16323 vsize=133048 CPUtime=522.3 /proc/16325/stat : 16325 (pbscip.linux.x8) R 16323 16325 15299 0 -1 4202496 180950 0 0 0 51531 699 0 0 25 0 1 0 131608159 136241152 31695 4089446400 4194304 8223781 140735142340672 18446744073709551615 6003313 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16325/statm: 33262 31695 603 984 0 32275 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 133048 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 16341 /proc/meminfo: memFree=31043928/32951124 swapFree=67111528/67111528 [pid=16325] ppid=16323 vsize=139008 CPUtime=582.3 /proc/16325/stat : 16325 (pbscip.linux.x8) R 16323 16325 15299 0 -1 4202496 182428 0 0 0 57452 778 0 0 25 0 1 0 131608159 142344192 33061 4089446400 4194304 8223781 140735142340672 18446744073709551615 4923382 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16325/statm: 34752 33061 603 984 0 33765 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 139008 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 16342 /proc/meminfo: memFree=31039636/32951124 swapFree=67111528/67111528 [pid=16325] ppid=16323 vsize=143264 CPUtime=642.31 /proc/16325/stat : 16325 (pbscip.linux.x8) R 16323 16325 15299 0 -1 4202496 183971 0 0 0 63377 854 0 0 25 0 1 0 131608159 146702336 34070 4089446400 4194304 8223781 140735142340672 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16325/statm: 35816 34070 603 984 0 34829 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 143264 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 2.01 2.01 2.00 3/197 16349 /proc/meminfo: memFree=31033940/32951124 swapFree=67111528/67111528 [pid=16325] ppid=16323 vsize=149156 CPUtime=882.31 /proc/16325/stat : 16325 (pbscip.linux.x8) R 16323 16325 15299 0 -1 4202496 206140 0 0 0 87104 1127 0 0 25 0 1 0 131608159 152735744 35395 4089446400 4194304 8223781 140735142340672 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16325/statm: 37289 35395 603 984 0 36302 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 149156 [startup+942.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 16350 /proc/meminfo: memFree=31032640/32951124 swapFree=67111528/67111528 [pid=16325] ppid=16323 vsize=149988 CPUtime=942.32 /proc/16325/stat : 16325 (pbscip.linux.x8) R 16323 16325 15299 0 -1 4202496 206884 0 0 0 93046 1186 0 0 25 0 1 0 131608159 153587712 35618 4089446400 4194304 8223781 140735142340672 18446744073709551615 6207680 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16325/statm: 37497 35618 603 984 0 36510 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 149988 [startup+1002.3 s] /proc/loadavg: 2.04 2.01 2.00 3/197 16352 /proc/meminfo: memFree=31030852/32951124 swapFree=67111528/67111528 [pid=16325] ppid=16323 vsize=151280 CPUtime=1002.32 /proc/16325/stat : 16325 (pbscip.linux.x8) R 16323 16325 15299 0 -1 4202496 208902 0 0 0 98994 1238 0 0 25 0 1 0 131608159 154910720 35860 4089446400 4194304 8223781 140735142340672 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16325/statm: 37820 35860 603 984 0 36833 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 151280 [startup+1062.3 s] /proc/loadavg: 2.17 2.05 2.01 3/197 16354 /proc/meminfo: memFree=31030792/32951124 swapFree=67111528/67111528 [pid=16325] ppid=16323 vsize=151280 CPUtime=1062.32 /proc/16325/stat : 16325 (pbscip.linux.x8) R 16323 16325 15299 0 -1 4202496 209581 0 0 0 104932 1300 0 0 25 0 1 0 131608159 154910720 35872 4089446400 4194304 8223781 140735142340672 18446744073709551615 5893871 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16325/statm: 37820 35872 603 984 0 36833 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 151280 [startup+1122.3 s] /proc/loadavg: 2.06 2.04 2.01 3/197 16356 /proc/meminfo: memFree=31030112/32951124 swapFree=67111528/67111528 [pid=16325] ppid=16323 vsize=151488 CPUtime=1122.33 /proc/16325/stat : 16325 (pbscip.linux.x8) R 16323 16325 15299 0 -1 4202496 211646 0 0 0 110871 1362 0 0 25 0 1 0 131608159 155123712 35928 4089446400 4194304 8223781 140735142340672 18446744073709551615 6089682 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16325/statm: 37872 35928 603 984 0 36885 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 151488 [startup+1182.3 s] /proc/loadavg: 2.02 2.03 2.00 3/197 16357 /proc/meminfo: memFree=31029932/32951124 swapFree=67111528/67111528 [pid=16325] ppid=16323 vsize=151620 CPUtime=1182.32 /proc/16325/stat : 16325 (pbscip.linux.x8) R 16323 16325 15299 0 -1 4202496 212332 0 0 0 116809 1423 0 0 25 0 1 0 131608159 155258880 35961 4089446400 4194304 8223781 140735142340672 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16325/statm: 37905 35961 603 984 0 36918 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 151620 [startup+1242.3 s] /proc/loadavg: 2.01 2.02 2.00 3/197 16358 /proc/meminfo: memFree=31028860/32951124 swapFree=67111528/67111528 [pid=16325] ppid=16323 vsize=152248 CPUtime=1242.32 /proc/16325/stat : 16325 (pbscip.linux.x8) R 16323 16325 15299 0 -1 4202496 212755 0 0 0 122744 1488 0 0 25 0 1 0 131608159 155901952 36126 4089446400 4194304 8223781 140735142340672 18446744073709551615 6505967 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16325/statm: 38062 36126 603 984 0 37075 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 152248 [startup+1302.3 s] /proc/loadavg: 2.00 2.02 2.00 3/197 16360 /proc/meminfo: memFree=31027804/32951124 swapFree=67111528/67111528 [pid=16325] ppid=16323 vsize=153732 CPUtime=1302.33 /proc/16325/stat : 16325 (pbscip.linux.x8) R 16323 16325 15299 0 -1 4202496 214559 0 0 0 128685 1548 0 0 25 0 1 0 131608159 157421568 36400 4089446400 4194304 8223781 140735142340672 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16325/statm: 38433 36400 603 984 0 37446 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 153732 [startup+1362.3 s] /proc/loadavg: 2.05 2.03 2.00 3/197 16362 /proc/meminfo: memFree=31026140/32951124 swapFree=67111528/67111528 [pid=16325] ppid=16323 vsize=155140 CPUtime=1362.32 /proc/16325/stat : 16325 (pbscip.linux.x8) R 16323 16325 15299 0 -1 4202496 214989 0 0 0 134626 1606 0 0 25 0 1 0 131608159 158863360 36800 4089446400 4194304 8223781 140735142340672 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16325/statm: 38785 36800 603 984 0 37798 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 155140 [startup+1422.31 s] /proc/loadavg: 2.02 2.02 2.00 3/179 16392 /proc/meminfo: memFree=31061412/32951124 swapFree=67111528/67111528 [pid=16325] ppid=16323 vsize=157012 CPUtime=1422.34 /proc/16325/stat : 16325 (pbscip.linux.x8) R 16323 16325 15299 0 -1 4202496 215425 0 0 0 140573 1661 0 0 25 0 1 0 131608159 160780288 37228 4089446400 4194304 8223781 140735142340672 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16325/statm: 39253 37228 603 984 0 38266 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 157012 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.00 3/179 16393 /proc/meminfo: memFree=31060392/32951124 swapFree=67111528/67111528 [pid=16325] ppid=16323 vsize=157116 CPUtime=1482.33 /proc/16325/stat : 16325 (pbscip.linux.x8) R 16323 16325 15299 0 -1 4202496 215502 0 0 0 146510 1723 0 0 25 0 1 0 131608159 160886784 37287 4089446400 4194304 8223781 140735142340672 18446744073709551615 5507255 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16325/statm: 39279 37287 603 984 0 38292 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 157116 [startup+1542.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 16394 /proc/meminfo: memFree=31059368/32951124 swapFree=67111528/67111528 [pid=16325] ppid=16323 vsize=157896 CPUtime=1542.33 /proc/16325/stat : 16325 (pbscip.linux.x8) R 16323 16325 15299 0 -1 4202496 215758 0 0 0 152449 1784 0 0 25 0 1 0 131608159 161685504 37517 4089446400 4194304 8223781 140735142340672 18446744073709551615 4947435 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16325/statm: 39474 37517 603 984 0 38487 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 157896 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16399 /proc/meminfo: memFree=31057532/32951124 swapFree=67111528/67111528 [pid=16325] ppid=16323 vsize=159188 CPUtime=1602.34 /proc/16325/stat : 16325 (pbscip.linux.x8) R 16323 16325 15299 0 -1 4202496 216083 0 0 0 158389 1845 0 0 25 0 1 0 131608159 163008512 37836 4089446400 4194304 8223781 140735142340672 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16325/statm: 39797 37836 603 984 0 38810 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 159188 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16401 /proc/meminfo: memFree=31057236/32951124 swapFree=67111528/67111528 [pid=16325] ppid=16323 vsize=159316 CPUtime=1662.33 /proc/16325/stat : 16325 (pbscip.linux.x8) R 16323 16325 15299 0 -1 4202496 216130 0 0 0 164329 1904 0 0 25 0 1 0 131608159 163139584 37878 4089446400 4194304 8223781 140735142340672 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16325/statm: 39829 37878 603 984 0 38842 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 159316 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16403 /proc/meminfo: memFree=31055836/32951124 swapFree=67111528/67111528 [pid=16325] ppid=16323 vsize=160564 CPUtime=1722.34 /proc/16325/stat : 16325 (pbscip.linux.x8) R 16323 16325 15299 0 -1 4202496 216436 0 0 0 170275 1959 0 0 25 0 1 0 131608159 164417536 38168 4089446400 4194304 8223781 140735142340672 18446744073709551615 4564461 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16325/statm: 40141 38168 603 984 0 39154 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 160564 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16404 /proc/meminfo: memFree=31053440/32951124 swapFree=67111528/67111528 [pid=16325] ppid=16323 vsize=163288 CPUtime=1782.34 /proc/16325/stat : 16325 (pbscip.linux.x8) R 16323 16325 15299 0 -1 4202496 217042 0 0 0 176225 2009 0 0 25 0 1 0 131608159 167206912 38763 4089446400 4194304 8223781 140735142340672 18446744073709551615 4210351 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16325/statm: 40822 38763 603 984 0 39835 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 163288 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16405 /proc/meminfo: memFree=31053292/32951124 swapFree=67111528/67111528 [pid=16325] ppid=16323 vsize=163840 CPUtime=1800.04 /proc/16325/stat : 16325 (pbscip.linux.x8) R 16323 16325 15299 0 -1 4202496 217089 0 0 0 177980 2024 0 0 25 0 1 0 131608159 167772160 38806 4089446400 4194304 8223781 140735142340672 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16325/statm: 40960 38806 603 984 0 39973 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 163840 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.11 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16405 /proc/meminfo: memFree=31053292/32951124 swapFree=67111528/67111528 [pid=16325] ppid=16323 vsize=162704 CPUtime=1800.14 /proc/16325/stat : 16325 (pbscip.linux.x8) R 16323 16325 15299 0 -1 4202496 217112 0 0 0 177990 2024 0 0 25 0 1 0 131608159 166608896 38509 4089446400 4194304 8223781 140735142340672 18446744073709551615 6206490 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/16325/statm: 40676 38509 605 984 0 39689 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 162704 Child status: 0 Real time (s): 1800.15 CPU time (s): 1800.2 CPU user time (s): 1779.95 CPU system time (s): 20.2499 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 163840 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1779.95 system time used= 20.2499 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 217116 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= 1758 runsolver used 2.51662 second user time and 5.79212 second system time The end
Begin job on node146 at 2010-06-30 15:05:35 IDJOB=2692779 IDBENCH=78908 IDSOLVER=1204 FILE ID=node146/2692779-1277903135 PBS_JOBID= 11197159 Free space on /tmp= 74180 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.1900553812--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-2692779-1277903135/watcher-2692779-1277903135 -o /tmp/evaluation-result-2692779-1277903135/solver-2692779-1277903135 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692779-1277903135.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b8c059b75f42fac4cec7408dc4fcfe67 RANDOM SEED=1230689620 node146.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.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.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.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.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31178680 kB Buffers: 189524 kB Cached: 1326724 kB SwapCached: 0 kB Active: 525588 kB Inactive: 1101500 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31178680 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4752 kB Writeback: 0 kB AnonPages: 110968 kB Mapped: 20368 kB Slab: 82608 kB PageTables: 5116 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1646740 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= 74172 MiB End job on node146 at 2010-06-30 15:35:37