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.17 | 1800.13 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900563801--soft-33-100-0.wbo |
MD5SUM | 6f14288bb7c1e317bfd5e53473571ca7 |
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 | 33.2679 |
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 | 1839 |
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 | 91769 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 91768 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 719 |
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-2692775-1277902928.wbo> 0.00/0.03 c original problem has 3909 variables (2070 bin, 0 int, 0 impl, 1839 cont) and 4547 constraints 0.00/0.03 c problem read 0.00/0.03 c presolving settings loaded 0.00/0.05 c presolving: 0.05/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1965 impls, 9 clqs 0.05/0.09 c (round 2) 0 del vars, 61 del conss, 1839 chg bounds, 47 chg sides, 0 chg coeffs, 0 upgd conss, 1965 impls, 9 clqs 0.09/0.10 c (round 3) 47 del vars, 152 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 0 upgd conss, 1965 impls, 9 clqs 0.09/0.11 c (round 4) 116 del vars, 174 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 833 upgd conss, 1965 impls, 9 clqs 0.09/0.12 c (round 5) 138 del vars, 174 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 833 upgd conss, 1965 impls, 9 clqs 0.09/0.17 c (0.1s) probing: 101/2001 (5.0%) - 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 138 deleted vars, 174 deleted constraints, 1861 tightened bounds, 0 added holes, 91 changed sides, 0 changed coefficients 0.09/0.17 c 1965 implications, 9 cliques 0.09/0.17 c presolved problem has 3771 variables (2001 bin, 0 int, 0 impl, 1770 cont) and 4373 constraints 0.09/0.17 c 1770 constraints of type <indicator> 0.09/0.17 c 9 constraints of type <setppc> 0.09/0.17 c 1770 constraints of type <linear> 0.09/0.17 c 824 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.11 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 | 13 | - | 13M| 0 | 8 |3771 |4373 |3771 | 833 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.09/0.19 o 88064 0.09/0.19 c y 0.1s| 1 | 0 | 24 | - | 14M| 0 | 8 |3771 |4373 |3771 | 833 | 0 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf 0.19/0.21 c 0.1s| 1 | 0 | 60 | - | 14M| 0 | 29 |3771 |4373 |3771 | 850 | 17 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf 0.19/0.25 c 0.2s| 1 | 0 | 113 | - | 14M| 0 | 43 |3771 |4373 |3771 | 872 | 39 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf 0.29/0.31 c 0.2s| 1 | 0 | 138 | - | 14M| 0 | 46 |3771 |4373 |3771 | 883 | 50 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf 0.29/0.37 c 0.3s| 1 | 0 | 147 | - | 14M| 0 | 47 |3771 |4373 |3771 | 885 | 52 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf 0.39/0.44 c 0.4s| 1 | 0 | 153 | - | 14M| 0 | 50 |3771 |4373 |3771 | 891 | 58 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf 0.89/0.91 c 0.8s| 1 | 2 | 153 | - | 14M| 0 | 50 |3771 |4373 |3771 | 891 | 58 | 0 | 33 | 0.000000e+00 | 8.806400e+04 | Inf 4.99/5.08 o 1100 4.99/5.08 c * 4.8s| 1414 | 1328 | 1565 | 1.0 | 18M|1394 | - |3771 |4373 |3771 | 921 | 102 | 0 | 280 | 0.000000e+00 | 1.100000e+03 | Inf 6.89/6.90 o 1058 6.89/6.90 c * 6.6s| 2306 | 2086 | 3295 | 1.4 | 20M|1394 | - |3771 |4403 |3771 | 914 | 278 | 30 | 481 | 0.000000e+00 | 1.058000e+03 | Inf 6.89/6.90 o 1026 6.89/6.90 c * 6.6s| 2307 | 2000 | 3295 | 1.4 | 20M|1394 | - |3771 |4403 |3771 | 914 | 278 | 30 | 481 | 0.000000e+00 | 1.026000e+03 | Inf 9.39/9.46 o 664 9.39/9.46 c * 9.1s| 3376 | 1952 | 6068 | 1.8 | 21M|1394 | - |3771 |4422 |3771 | 916 | 479 | 49 | 776 | 0.000000e+00 | 6.640000e+02 | Inf 9.59/9.64 o 654 9.59/9.64 c * 9.2s| 3428 | 1987 | 6581 | 1.9 | 21M|1394 | - |3771 |4450 |3771 | 924 | 522 | 77 | 803 | 0.000000e+00 | 6.540000e+02 | Inf 9.59/9.65 o 638 9.59/9.65 c * 9.2s| 3429 | 1946 | 6595 | 1.9 | 21M|1394 | - |3771 |4450 |3771 | 924 | 522 | 77 | 803 | 0.000000e+00 | 6.380000e+02 | Inf 10.79/10.86 o 593 10.79/10.86 c *10.4s| 4146 | 2324 | 7324 | 1.7 | 23M|1394 | - |3771 |4481 |3771 | 906 | 598 | 108 | 926 | 0.000000e+00 | 5.930000e+02 | Inf 11.89/11.91 o 581 11.89/11.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 11.89/11.91 c *11.4s| 4560 | 2656 | 8922 | 1.9 | 24M|1394 | - |3771 |4592 |3771 | 914 | 786 | 219 |1053 | 0.000000e+00 | 5.810000e+02 | Inf 12.59/12.61 o 550 12.59/12.61 c *12.1s| 4940 | 2791 | 9760 | 1.9 | 25M|1394 | - |3771 |4645 |3771 | 915 | 852 | 272 |1088 | 0.000000e+00 | 5.500000e+02 | Inf 12.70/12.76 o 338 12.70/12.76 c *12.2s| 5008 | 1657 | 10092 | 2.0 | 23M|1394 | - |3771 |4719 |3771 | 891 | 917 | 346 |1089 | 0.000000e+00 | 3.380000e+02 | Inf 12.99/13.04 o 324 12.99/13.04 c *12.5s| 5049 | 1638 | 10574 | 2.1 | 23M|1394 | - |3771 |4755 |3771 | 915 | 963 | 382 |1164 | 0.000000e+00 | 3.240000e+02 | Inf 13.39/13.44 o 270 13.39/13.44 c *12.9s| 5292 | 1658 | 10967 | 2.0 | 24M|1394 | - |3771 |4773 |3771 | 901 | 986 | 400 |1172 | 0.000000e+00 | 2.700000e+02 | Inf 16.89/16.90 o 254 16.89/16.90 c *16.2s| 6933 | 2510 | 15015 | 2.1 | 27M|1394 | - |3771 |5206 |3771 | 907 |1297 | 941 |1383 | 0.000000e+00 | 2.540000e+02 | Inf 17.69/17.72 o 253 17.69/17.72 c *17.0s| 7264 | 2710 | 16728 | 2.3 | 27M|1394 | - |3771 |5361 |3771 | 899 |1438 |1170 |1425 | 0.000000e+00 | 2.530000e+02 | Inf 17.69/17.74 o 240 17.69/17.74 c *17.0s| 7270 | 2478 | 16728 | 2.3 | 27M|1394 | - |3771 |5361 |3771 | 899 |1438 |1170 |1425 | 0.000000e+00 | 2.400000e+02 | Inf 17.69/17.77 o 193 17.69/17.77 c *17.0s| 7289 | 1884 | 16728 | 2.3 | 25M|1394 | - |3771 |5361 |3771 | 899 |1438 |1170 |1425 | 0.000000e+00 | 1.930000e+02 | Inf 17.99/18.05 o 176 17.99/18.05 c *17.3s| 7396 | 1733 | 17357 | 2.3 | 25M|1394 | - |3771 |5492 |3771 | 904 |1502 |1320 |1436 | 0.000000e+00 | 1.760000e+02 | Inf 20.39/20.45 o 169 20.39/20.45 c *19.6s| 8335 | 1795 | 21562 | 2.6 | 26M|1394 | - |3771 |5791 |3771 | 908 |1817 |2284 |1551 | 0.000000e+00 | 1.690000e+02 | Inf 20.69/20.73 o 142 20.69/20.73 c *19.9s| 8515 | 1737 | 21787 | 2.5 | 26M|1394 | - |3771 |5783 |3771 | 892 |1871 |2300 |1554 | 0.000000e+00 | 1.420000e+02 | Inf 20.90/20.97 o 109 20.90/20.97 c *20.1s| 8648 | 1580 | 21904 | 2.5 | 25M|1394 | - |3771 |5792 |3771 | 910 |1892 |2324 |1568 | 0.000000e+00 | 1.090000e+02 | Inf 20.99/21.00 o 76 20.99/21.00 c *20.1s| 8655 | 1156 | 21949 | 2.5 | 24M|1394 | - |3771 |5790 |3771 | 909 |1894 |2324 |1570 | 0.000000e+00 | 7.600000e+01 | Inf 21.09/21.17 o 49 21.09/21.17 c *20.3s| 8777 | 800 | 22059 | 2.5 | 23M|1394 | - |3771 |5336 |3771 | 893 |1898 |2331 |1571 | 0.000000e+00 | 4.900000e+01 | Inf 21.19/21.28 o 45 21.19/21.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 21.19/21.28 c *20.4s| 8800 | 650 | 22368 | 2.5 | 23M|1394 | - |3771 |4818 |3771 | 902 |1911 |2357 |1577 | 0.000000e+00 | 4.500000e+01 | Inf 24.89/24.90 c 23.9s| 10000 | 687 | 32791 | 3.3 | 23M|1394 | - |3771 |5277 | 0 | 0 |2141 |3800 |1763 | 0.000000e+00 | 4.500000e+01 | Inf 44.29/44.36 c 42.6s| 20000 | 1005 | 70978 | 3.5 | 30M|1394 | - |3771 |7897 | 0 | 0 |4100 | 16k|1819 | 0.000000e+00 | 4.500000e+01 | Inf 64.90/64.92 c 62.3s| 30000 | 1293 |110791 | 3.7 | 37M|1394 | - |3771 | 10k| 0 | 0 |6980 | 29k|1826 | 0.000000e+00 | 4.500000e+01 | Inf 70.30/70.34 o 26 70.30/70.34 c *67.5s| 32699 | 1037 |118964 | 3.6 | 33M|1394 | - |3771 |9316 |3771 | 920 |7463 | 32k|1826 | 0.000000e+00 | 2.600000e+01 | Inf 84.29/84.37 c 80.9s| 40000 | 1146 |154497 | 3.9 | 36M|1394 | 21 |3771 |8521 |3771 | 901 | 10k| 42k|1826 | 0.000000e+00 | 2.600000e+01 | Inf 103.99/104.01 c 99.7s| 50000 | 1296 |200534 | 4.0 | 40M|1394 | - |3771 |9061 | 0 | 0 | 15k| 55k|1866 | 0.000000e+00 | 2.600000e+01 | Inf 113.40/113.43 o 25 113.40/113.43 c * 109s| 54927 | 1348 |222032 | 4.0 | 42M|1394 | - |3771 |9682 |3771 | 899 | 17k| 61k|1938 | 0.000000e+00 | 2.500000e+01 | Inf 123.69/123.70 c 119s| 60000 | 1449 |246200 | 4.1 | 44M|1394 | 8 |3771 | 11k|3771 | 886 | 21k| 68k|2041 | 0.000000e+00 | 2.500000e+01 | Inf 139.89/139.98 o 23 139.89/139.98 c * 134s| 67960 | 1492 |283097 | 4.2 | 46M|1394 | - |3771 |9772 |3771 | 916 | 25k| 79k|2206 | 0.000000e+00 | 2.300000e+01 | Inf 144.19/144.20 c 138s| 70000 | 1508 |292993 | 4.2 | 46M|1394 | - |3771 |8139 | 0 | 0 | 26k| 81k|2296 | 0.000000e+00 | 2.300000e+01 | Inf 162.70/162.80 c 156s| 80000 | 1646 |333890 | 4.2 | 50M|1394 | 8 |3771 |9826 |3771 | 898 | 29k| 94k|2478 | 0.000000e+00 | 2.300000e+01 | Inf 182.99/183.08 c 175s| 90000 | 1747 |381805 | 4.2 | 54M|1394 | 18 |3771 | 11k|3771 | 894 | 34k| 107k|2659 | 0.000000e+00 | 2.300000e+01 | Inf 201.99/202.09 c 193s|100000 | 1762 |423628 | 4.2 | 56M|1394 | 17 |3771 |9794 |3771 | 896 | 37k| 121k|2803 | 0.000000e+00 | 2.300000e+01 | Inf 221.69/221.76 c 212s|110000 | 1843 |471122 | 4.3 | 59M|1394 | - |3771 | 11k| 0 | 0 | 42k| 134k|2979 | 0.000000e+00 | 2.300000e+01 | Inf 240.10/240.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 240.10/240.10 c 230s|120000 | 1914 |506238 | 4.2 | 62M|1394 | 1 |3771 | 14k|3771 | 891 | 44k| 147k|3139 | 0.000000e+00 | 2.300000e+01 | Inf 260.90/260.92 c 250s|130000 | 2067 |548498 | 4.2 | 66M|1394 | 14 |3771 | 14k|3771 | 886 | 49k| 160k|3268 | 0.000000e+00 | 2.300000e+01 | Inf 281.50/281.55 c 270s|140000 | 2193 |593784 | 4.2 | 70M|1394 | 20 |3771 | 15k|3771 | 888 | 54k| 174k|3405 | 0.000000e+00 | 2.300000e+01 | Inf 300.80/300.82 c 288s|150000 | 2372 |628740 | 4.2 | 76M|1394 | 5 |3771 | 19k|3771 | 888 | 56k| 188k|3523 | 0.000000e+00 | 2.300000e+01 | Inf 320.29/320.36 c 307s|160000 | 2379 |660888 | 4.1 | 78M|1394 | - |3771 | 20k| 0 | 0 | 57k| 202k|3612 | 0.000000e+00 | 2.300000e+01 | Inf 341.19/341.29 c 327s|170000 | 2441 |698214 | 4.1 | 82M|1394 | - |3771 | 21k| 0 | 0 | 59k| 216k|3707 | 0.000000e+00 | 2.300000e+01 | Inf 361.49/361.52 c 346s|180000 | 2595 |730691 | 4.1 | 87M|1394 | 1 |3771 | 22k|3771 | 888 | 61k| 231k|3781 | 0.000000e+00 | 2.300000e+01 | Inf 382.89/382.91 c 367s|190000 | 2579 |767468 | 4.0 | 88M|1394 | - |3771 | 19k| 0 | 0 | 63k| 246k|3981 | 0.000000e+00 | 2.300000e+01 | Inf 404.30/404.37 c 388s|200000 | 2589 |810722 | 4.1 | 89M|1394 | - |3771 | 15k|3771 | 897 | 66k| 259k|4122 | 0.000000e+00 | 2.300000e+01 | Inf 424.10/424.13 c 407s|210000 | 2693 |849549 | 4.0 | 93M|1394 | - |3771 | 20k|3771 | 894 | 68k| 273k|4192 | 0.000000e+00 | 2.300000e+01 | Inf 440.19/440.26 o 22 440.19/440.26 c * 422s|217187 | 2766 |884289 | 4.1 | 94M|1394 | - |3771 | 19k|3771 | 894 | 72k| 283k|4319 | 0.000000e+00 | 2.200000e+01 | Inf 446.19/446.28 c 428s|220000 | 2852 |896177 | 4.1 | 95M|1394 | 1 |3771 | 19k|3771 | 902 | 73k| 287k|4322 | 0.000000e+00 | 2.200000e+01 | Inf 468.89/468.92 c 450s|230000 | 3061 |939995 | 4.1 | 100M|1394 | - |3771 | 21k| 0 | 0 | 79k| 300k|4469 | 0.000000e+00 | 2.200000e+01 | Inf 492.70/492.72 c 473s|240000 | 3258 |986261 | 4.1 | 105M|1394 | 5 |3771 | 23k|3771 | 894 | 85k| 314k|4584 | 0.000000e+00 | 2.200000e+01 | Inf 503.90/503.92 o 19 503.90/503.92 c * 483s|244655 | 2616 | 1006k| 4.1 | 79M|1394 | - |3771 | 23k|3771 | 892 | 88k| 320k|4645 | 0.000000e+00 | 1.900000e+01 | Inf 516.90/516.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 516.90/516.98 c 496s|250000 | 2762 | 1035k| 4.1 | 80M|1394 | - |3771 | 20k| 0 | 0 | 93k| 327k|4693 | 0.000000e+00 | 1.900000e+01 | Inf 540.39/540.45 c 519s|260000 | 2894 | 1085k| 4.2 | 84M|1394 | - |3771 | 21k| 0 | 0 | 100k| 341k|4846 | 0.000000e+00 | 1.900000e+01 | Inf 564.00/564.01 c 541s|270000 | 2814 | 1131k| 4.2 | 86M|1394 | - |3771 | 21k| 0 | 0 | 106k| 356k|4950 | 0.000000e+00 | 1.900000e+01 | Inf 586.31/586.34 c 563s|280000 | 2796 | 1179k| 4.2 | 87M|1394 | - |3771 | 19k| 0 | 0 | 112k| 370k|5076 | 0.000000e+00 | 1.900000e+01 | Inf 607.00/607.02 c 583s|290000 | 2797 | 1226k| 4.2 | 85M|1394 | 1 |3771 | 11k|3771 | 897 | 116k| 384k|5212 | 0.000000e+00 | 1.900000e+01 | Inf 626.20/626.27 c 601s|300000 | 2796 | 1267k| 4.2 | 88M|1394 | - |3771 | 14k| 0 | 0 | 118k| 397k|5310 | 0.000000e+00 | 1.900000e+01 | Inf 645.60/645.67 c 620s|310000 | 2829 | 1304k| 4.2 | 91M|1394 | 11 |3771 | 17k|3771 | 891 | 120k| 411k|5390 | 0.000000e+00 | 1.900000e+01 | Inf 665.90/665.94 c 639s|320000 | 2846 | 1347k| 4.2 | 92M|1394 | - |3771 | 15k| 0 | 0 | 122k| 424k|5487 | 0.000000e+00 | 1.900000e+01 | Inf 684.90/684.93 c 657s|330000 | 2895 | 1383k| 4.2 | 93M|1394 | 6 |3771 | 17k|3771 | 898 | 123k| 438k|5552 | 0.000000e+00 | 1.900000e+01 | Inf 704.30/704.34 c 676s|340000 | 2911 | 1416k| 4.2 | 95M|1394 | 13 |3771 | 21k|3771 | 891 | 125k| 451k|5593 | 0.000000e+00 | 1.900000e+01 | Inf 724.60/724.62 c 695s|350000 | 2944 | 1447k| 4.1 | 97M|1394 | 11 |3771 | 23k|3771 | 891 | 126k| 464k|5666 | 0.000000e+00 | 1.900000e+01 | Inf 745.20/745.28 c 715s|360000 | 2909 | 1478k| 4.1 | 97M|1394 | - |3771 | 21k| 0 | 0 | 127k| 478k|5783 | 0.000000e+00 | 1.900000e+01 | Inf 765.51/765.59 c 735s|370000 | 2832 | 1517k| 4.1 | 96M|1394 | 1 |3771 | 14k|3771 | 891 | 130k| 491k|5861 | 0.000000e+00 | 1.900000e+01 | Inf 786.90/786.91 c 755s|380000 | 2763 | 1565k| 4.1 | 96M|1394 | 12 |3771 | 12k|3771 | 898 | 133k| 505k|5984 | 0.000000e+00 | 1.900000e+01 | Inf 808.90/808.93 c 777s|390000 | 2831 | 1619k| 4.2 | 98M|1394 | 12 |3771 | 12k|3771 | 886 | 138k| 518k|6083 | 0.000000e+00 | 1.900000e+01 | Inf 833.00/833.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 833.00/833.02 c 800s|400000 | 2904 | 1679k| 4.2 | 101M|1394 | 20 |3771 | 16k|3771 | 886 | 147k| 531k|6195 | 0.000000e+00 | 1.900000e+01 | Inf 858.60/858.63 c 824s|410000 | 3003 | 1742k| 4.2 | 104M|1394 | 15 |3771 | 18k|3771 | 886 | 156k| 545k|6349 | 0.000000e+00 | 1.900000e+01 | Inf 884.10/884.18 c 849s|420000 | 3089 | 1801k| 4.3 | 108M|1394 | - |3771 | 21k| 0 | 0 | 165k| 559k|6438 | 0.000000e+00 | 1.900000e+01 | Inf 907.60/907.67 c 872s|430000 | 3143 | 1849k| 4.3 | 110M|1394 | - |3771 | 22k| 0 | 0 | 170k| 573k|6528 | 0.000000e+00 | 1.900000e+01 | Inf 929.10/929.17 c 892s|440000 | 3187 | 1884k| 4.3 | 112M|1394 | 8 |3771 | 26k|3771 | 891 | 172k| 586k|6598 | 0.000000e+00 | 1.900000e+01 | Inf 951.51/951.54 c 914s|450000 | 3264 | 1919k| 4.3 | 115M|1394 | - |3771 | 27k| 0 | 0 | 173k| 599k|6669 | 0.000000e+00 | 1.900000e+01 | Inf 973.51/973.55 c 935s|460000 | 3309 | 1952k| 4.2 | 117M|1394 | 1 |3771 | 30k|3771 | 891 | 174k| 613k|6737 | 0.000000e+00 | 1.900000e+01 | Inf 979.91/979.97 o 17 979.91/979.97 c * 942s|462638 | 2649 | 1962k| 4.2 | 97M|1394 | - |3771 | 29k|3771 | 891 | 175k| 617k|6745 | 0.000000e+00 | 1.700000e+01 | Inf 996.20/996.28 c 957s|470000 | 2705 | 1986k| 4.2 | 98M|1394 | - |3771 | 30k| 0 | 0 | 176k| 627k|6789 | 0.000000e+00 | 1.700000e+01 | Inf 1017.21/1017.29 c 978s|480000 | 2657 | 2017k| 4.2 | 98M|1394 | - |3771 | 30k| 0 | 0 | 177k| 642k|6821 | 0.000000e+00 | 1.700000e+01 | Inf 1039.71/1039.71 c 999s|490000 | 2681 | 2063k| 4.2 | 95M|1394 | 8 |3771 | 19k|3771 | 909 | 182k| 655k|6962 | 0.000000e+00 | 1.700000e+01 | Inf 1041.71/1041.71 o 16 1041.71/1041.71 c *1001s|490862 | 1961 | 2068k| 4.2 | 71M|1394 | - |3771 | 19k|3771 | 896 | 182k| 656k|6962 | 0.000000e+00 | 1.600000e+01 | Inf 1045.01/1045.03 o 6 1045.01/1045.03 c *1004s|492249 | 705 | 2076k| 4.2 | 40M|1394 | - |3771 | 19k|3771 | 897 | 183k| 658k|6963 | 0.000000e+00 | 6.000000e+00 | Inf 1062.10/1062.13 c 1021s|500000 | 717 | 2121k| 4.2 | 40M|1394 | 15 |3771 | 14k|3771 | 894 | 189k| 668k|7057 | 0.000000e+00 | 6.000000e+00 | Inf 1081.21/1081.24 c 1039s|510000 | 702 | 2164k| 4.2 | 41M|1394 | 1 |3771 | 18k|3771 | 892 | 192k| 681k|7145 | 0.000000e+00 | 6.000000e+00 | Inf 1102.01/1102.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1102.01/1102.07 c 1059s|520000 | 718 | 2210k| 4.2 | 42M|1394 | 1 |3771 | 21k|3771 | 892 | 196k| 694k|7232 | 0.000000e+00 | 6.000000e+00 | Inf 1122.01/1122.07 c 1078s|530000 | 756 | 2248k| 4.2 | 43M|1394 | 15 |3771 | 23k|3771 | 892 | 198k| 707k|7296 | 0.000000e+00 | 6.000000e+00 | Inf 1143.12/1143.17 c 1098s|540000 | 809 | 2290k| 4.2 | 44M|1394 | - |3771 | 22k| 0 | 0 | 203k| 721k|7346 | 0.000000e+00 | 6.000000e+00 | Inf 1164.01/1164.03 c 1119s|550000 | 859 | 2335k| 4.2 | 44M|1394 | - |3771 | 20k| 0 | 0 | 207k| 735k|7405 | 0.000000e+00 | 6.000000e+00 | Inf 1185.71/1185.80 c 1139s|560000 | 823 | 2383k| 4.3 | 44M|1394 | - |3771 | 20k| 0 | 0 | 212k| 749k|7486 | 0.000000e+00 | 6.000000e+00 | Inf 1206.01/1206.03 c 1159s|570000 | 830 | 2422k| 4.3 | 45M|1394 | 20 |3771 | 24k|3771 | 907 | 216k| 762k|7568 | 0.000000e+00 | 6.000000e+00 | Inf 1227.41/1227.50 c 1180s|580000 | 832 | 2459k| 4.2 | 46M|1394 | - |3771 | 28k| 0 | 0 | 218k| 775k|7637 | 0.000000e+00 | 6.000000e+00 | Inf 1240.42/1240.49 o 5 1240.42/1240.49 c *1192s|586064 | 767 | 2479k| 4.2 | 46M|1394 | - |3771 | 31k|3771 | 900 | 219k| 783k|7650 | 0.000000e+00 | 5.000000e+00 | Inf 1248.91/1248.96 c 1200s|590000 | 786 | 2495k| 4.2 | 46M|1394 | 16 |3771 | 28k|3771 | 892 | 220k| 788k|7684 | 0.000000e+00 | 5.000000e+00 | Inf 1270.21/1270.28 c 1221s|600000 | 804 | 2531k| 4.2 | 46M|1394 | 12 |3771 | 28k|3771 | 892 | 222k| 802k|7733 | 0.000000e+00 | 5.000000e+00 | Inf 1293.01/1293.04 c 1243s|610000 | 776 | 2574k| 4.2 | 45M|1394 | - |3771 | 25k| 0 | 0 | 225k| 816k|7815 | 0.000000e+00 | 5.000000e+00 | Inf 1316.82/1316.83 c 1266s|620000 | 799 | 2626k| 4.2 | 46M|1394 | - |3771 | 27k| 0 | 0 | 233k| 830k|7887 | 0.000000e+00 | 5.000000e+00 | Inf 1340.71/1340.71 c 1289s|630000 | 889 | 2678k| 4.3 | 47M|1394 | - |3771 | 27k| 0 | 0 | 239k| 844k|7972 | 0.000000e+00 | 5.000000e+00 | Inf 1363.51/1363.59 c 1311s|640000 | 890 | 2724k| 4.3 | 47M|1394 | 8 |3771 | 27k|3771 | 890 | 246k| 857k|8047 | 0.000000e+00 | 5.000000e+00 | Inf 1378.42/1378.44 o 4 1378.42/1378.44 c *1325s|646318 | 839 | 2758k| 4.3 | 47M|1394 | - |3771 | 28k|3771 | 903 | 250k| 866k|8099 | 0.000000e+00 | 4.000000e+00 | Inf 1387.42/1387.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1387.42/1387.43 c 1334s|650000 | 860 | 2778k| 4.3 | 46M|1394 | 9 |3771 | 26k|3771 | 892 | 254k| 871k|8135 | 0.000000e+00 | 4.000000e+00 | Inf 1410.91/1410.98 c 1356s|660000 | 855 | 2829k| 4.3 | 47M|1394 | - |3771 | 28k| 0 | 0 | 261k| 884k|8220 | 0.000000e+00 | 4.000000e+00 | Inf 1434.82/1434.84 c 1379s|670000 | 902 | 2881k| 4.3 | 48M|1394 | 9 |3771 | 29k|3771 | 898 | 268k| 898k|8300 | 0.000000e+00 | 4.000000e+00 | Inf 1458.52/1458.51 c 1402s|680000 | 891 | 2931k| 4.3 | 47M|1394 | - |3771 | 26k| 0 | 0 | 275k| 911k|8384 | 0.000000e+00 | 4.000000e+00 | Inf 1482.42/1482.40 c 1425s|690000 | 951 | 2979k| 4.3 | 47M|1394 | - |3771 | 25k| 0 | 0 | 282k| 925k|8453 | 0.000000e+00 | 4.000000e+00 | Inf 1503.73/1503.78 c 1446s|700000 | 1014 | 3022k| 4.3 | 47M|1394 | 13 |3771 | 22k|3771 | 886 | 287k| 938k|8506 | 0.000000e+00 | 4.000000e+00 | Inf 1524.92/1524.91 c 1466s|710000 | 1187 | 3065k| 4.3 | 48M|1394 | 17 |3771 | 23k|3771 | 901 | 294k| 951k|8565 | 0.000000e+00 | 4.000000e+00 | Inf 1544.82/1544.89 c 1485s|720000 | 1209 | 3104k| 4.3 | 49M|1394 | - |3771 | 24k|3771 | 905 | 298k| 965k|8638 | 0.000000e+00 | 4.000000e+00 | Inf 1565.02/1565.05 c 1505s|730000 | 1168 | 3142k| 4.3 | 48M|1394 | 15 |3771 | 22k|3771 | 896 | 302k| 979k|8680 | 0.000000e+00 | 4.000000e+00 | Inf 1584.32/1584.30 c 1523s|740000 | 1166 | 3179k| 4.3 | 48M|1394 | 1 |3771 | 21k|3771 | 892 | 305k| 993k|8732 | 0.000000e+00 | 4.000000e+00 | Inf 1602.63/1602.64 c 1541s|750000 | 1167 | 3209k| 4.3 | 49M|1394 | 1 |3771 | 25k|3771 | 892 | 307k|1006k|8795 | 0.000000e+00 | 4.000000e+00 | Inf 1622.62/1622.61 c 1560s|760000 | 1188 | 3240k| 4.3 | 51M|1394 | 9 |3771 | 30k|3771 | 892 | 308k|1020k|8803 | 0.000000e+00 | 4.000000e+00 | Inf 1644.82/1644.88 c 1581s|770000 | 1190 | 3271k| 4.2 | 51M|1394 | 8 |3771 | 29k|3771 | 892 | 309k|1034k|8869 | 0.000000e+00 | 4.000000e+00 | Inf 1668.43/1668.47 c 1604s|780000 | 1218 | 3305k| 4.2 | 52M|1394 | 1 |3771 | 31k|3771 | 892 | 310k|1047k|8904 | 0.000000e+00 | 4.000000e+00 | Inf 1692.03/1692.03 c 1627s|790000 | 1221 | 3336k| 4.2 | 53M|1394 | 1 |3771 | 35k|3771 | 892 | 311k|1060k|8938 | 0.000000e+00 | 4.000000e+00 | Inf 1716.13/1716.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1716.13/1716.18 c 1650s|800000 | 1265 | 3364k| 4.2 | 53M|1394 | 15 |3771 | 34k|3771 | 892 | 313k|1074k|8994 | 0.000000e+00 | 4.000000e+00 | Inf 1738.62/1738.68 c 1672s|810000 | 1311 | 3393k| 4.2 | 54M|1394 | - |3771 | 33k| 0 | 0 | 314k|1087k|9004 | 0.000000e+00 | 4.000000e+00 | Inf 1761.42/1761.43 c 1694s|820000 | 1267 | 3422k| 4.2 | 54M|1394 | - |3771 | 33k| 0 | 0 | 315k|1101k|9065 | 0.000000e+00 | 4.000000e+00 | Inf 1780.73/1780.80 o 2 1780.73/1780.80 c *1713s|828202 | 1127 | 3449k| 4.2 | 53M|1394 | - |3771 | 36k|3771 | 892 | 316k|1112k|9074 | 0.000000e+00 | 2.000000e+00 | Inf 1784.82/1784.82 c 1717s|830000 | 1138 | 3454k| 4.2 | 53M|1394 | 1 |3771 | 35k|3771 | 892 | 316k|1115k|9081 | 0.000000e+00 | 2.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) : 1731.65 1800.04/1800.00 c Solving Nodes : 836433 1800.04/1800.00 c Primal Bound : +2.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 : 1731.65 1800.04/1800.05 c Original Problem : 1800.04/1800.05 c Problem name : HOME/instance-2692775-1277902928.wbo 1800.04/1800.05 c Variables : 3909 (2070 binary, 0 integer, 0 implicit integer, 1839 continuous) 1800.04/1800.05 c Constraints : 4547 initial, 4547 maximal 1800.04/1800.05 c Presolved Problem : 1800.04/1800.05 c Problem name : t_HOME/instance-2692775-1277902928.wbo 1800.04/1800.05 c Variables : 3771 (2001 binary, 0 integer, 0 implicit integer, 1770 continuous) 1800.04/1800.05 c Constraints : 4373 initial, 36929 maximal 1800.04/1800.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.04/1800.05 c trivial : 0.00 69 0 0 0 0 0 0 0 1800.04/1800.05 c dualfix : 0.00 69 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.04 0 0 0 0 0 0 0 0 1800.04/1800.05 c indicator : 0.00 0 0 0 0 0 69 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 1861 0 105 91 0 1800.04/1800.05 c logicor : 0.01 0 0 0 0 0 0 0 0 1800.04/1800.05 c root node : - 1754 - - 3508 - - - - 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 500825 0 19 603 0 0 909848 1800.04/1800.05 c indicator : 1770 0 4288207 45199 0 486 5252926 0 0 0 1800.04/1800.05 c setppc : 9 6 4292842 41714 0 21853 1209415 0 0 0 1800.04/1800.05 c linear : 1770 6 4281480 44691 0 235891 20650704 317292 0 0 1800.04/1800.05 c logicor : 824+ 6 1640059 6884 0 155631 3925932 0 0 0 1800.04/1800.05 c countsols : 0 0 0 6884 0 0 0 0 0 0 1800.04/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.04/1800.05 c integral : 24.91 0.00 0.00 24.91 0.00 1800.04/1800.05 c indicator : 18.64 0.00 16.98 1.66 0.00 1800.04/1800.05 c setppc : 8.67 0.00 8.65 0.02 0.00 1800.04/1800.05 c linear : 144.37 0.00 142.25 2.12 0.00 1800.04/1800.05 c logicor : 271.18 0.00 271.15 0.03 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.01 2 0 0 1800.04/1800.05 c rootredcost : 0.02 35 0 1754 1800.04/1800.05 c pseudoobj : 154.03 4311694 7148 4498251 1800.04/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.04/1800.05 c propagation : 20.86 420523 420220 2735013 27.9 16390 22.6 - 1800.04/1800.05 c infeasible LP : 7.65 26342 26342 228048 42.8 317 18.1 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 72 72 415 18.4 62 5.5 - 1800.04/1800.05 c applied globally : - - - 1123971 22.1 - - - 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 5 - - 19 - (maximal pool size: 145) 1800.04/1800.05 c redcost : 26.21 512564 0 677410 0 0 1800.04/1800.05 c impliedbounds : 0.00 6 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 6 0 0 718 0 1800.04/1800.05 c strongcg : 0.04 6 0 0 108 0 1800.04/1800.05 c cmir : 0.03 6 0 0 0 0 1800.04/1800.05 c flowcover : 0.06 6 0 0 0 0 1800.04/1800.05 c clique : 0.00 6 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 : 24.77 455422 19 603 0 0 909848 1800.04/1800.05 c pscost : 0.00 0 0 0 0 0 0 1800.04/1800.05 c inference : 0.77 6850 0 0 0 0 13700 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.07 - 34 1800.04/1800.05 c pseudo solutions : 0.00 - 0 1800.04/1800.05 c feaspump : 0.01 1 0 1800.04/1800.05 c intshifting : 0.00 2 0 1800.04/1800.05 c oneopt : 0.22 33 0 1800.04/1800.05 c pscostdiving : 0.07 34 0 1800.04/1800.05 c linesearchdiving : 0.01 34 0 1800.04/1800.05 c guideddiving : 0.02 34 0 1800.04/1800.05 c coefdiving : 0.02 35 0 1800.04/1800.05 c fracdiving : 0.04 35 0 1800.04/1800.05 c veclendiving : 0.05 35 0 1800.04/1800.05 c objpscostdiving : 0.01 31 0 1800.04/1800.05 c rootsoldiving : 0.07 32 0 1800.04/1800.05 c crossover : 0.85 32 1 1800.04/1800.05 c trivial : 0.01 2 0 1800.04/1800.05 c simplerounding : 0.56 456805 0 1800.04/1800.05 c zirounding : 0.27 1000 0 1800.04/1800.05 c rounding : 2.52 9484 0 1800.04/1800.05 c shifting : 1.32 2952 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.00 0 0 1800.04/1800.05 c trysol : 2.84 7216 123 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 : 536.38 521140 3474277 6.67 6477.27 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: 0.11 53 1049 19.79 9536.36 1800.04/1800.05 c strong branching : 20.76 9129 125155 13.71 6028.66 1800.04/1800.05 c (at root node) : - 33 3451 104.58 - 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 : 836433 1800.04/1800.05 c nodes (total) : 836433 1800.04/1800.05 c nodes left : 1129 1800.04/1800.05 c max depth : 1394 1800.04/1800.05 c max depth (total): 1394 1800.04/1800.05 c backtracks : 88899 (10.6%) 1800.04/1800.05 c delayed cutoffs : 75352 1800.04/1800.05 c repropagations : 1868904 (7436332 domain reductions, 72754 cutoffs) 1800.04/1800.05 c avg switch length: 6.25 1800.04/1800.05 c switching time : 271.72 1800.04/1800.05 c Solution : 1800.04/1800.05 c Solutions found : 158 (35 improvements) 1800.04/1800.05 c First Solution : +8.80640000000000e+04 (in run 1, after 1 nodes, 0.13 seconds, depth 0, found by <trysol>) 1800.04/1800.05 c Primal Bound : +2.00000000000000e+00 (in run 1, after 828202 nodes, 1713.05 seconds, depth 43, 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 : 153 1800.14/1800.13 c Time complete: 1800.16.
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692775-1277902928/watcher-2692775-1277902928 -o /tmp/evaluation-result-2692775-1277902928/solver-2692775-1277902928 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692775-1277902928.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.00 2.18 2.20 3/178 13422 /proc/meminfo: memFree=31046460/32950928 swapFree=67111528/67111528 [pid=13422] ppid=13420 vsize=9412 CPUtime=0 /proc/13422/stat : 13422 (pbscip.linux.x8) R 13420 13422 12656 0 -1 4202496 1650 0 0 0 0 0 0 0 22 0 1 0 131589627 9637888 1569 4089446400 4194304 8223781 140735862164496 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/13422/statm: 2353 1570 369 984 0 1366 0 [startup+0.0570271 s] /proc/loadavg: 2.00 2.18 2.20 3/178 13422 /proc/meminfo: memFree=31046460/32950928 swapFree=67111528/67111528 [pid=13422] ppid=13420 vsize=29776 CPUtime=0.05 /proc/13422/stat : 13422 (pbscip.linux.x8) R 13420 13422 12656 0 -1 4202496 6802 0 0 0 4 1 0 0 22 0 1 0 131589627 30490624 6357 4089446400 4194304 8223781 140735862164496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13422/statm: 7444 6357 441 984 0 6457 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 29776 [startup+0.101001 s] /proc/loadavg: 2.00 2.18 2.20 3/178 13422 /proc/meminfo: memFree=31046460/32950928 swapFree=67111528/67111528 [pid=13422] ppid=13420 vsize=29776 CPUtime=0.09 /proc/13422/stat : 13422 (pbscip.linux.x8) R 13420 13422 12656 0 -1 4202496 7590 0 0 0 8 1 0 0 22 0 1 0 131589627 30490624 6374 4089446400 4194304 8223781 140735862164496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13422/statm: 7444 6374 452 984 0 6457 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 29776 [startup+0.300968 s] /proc/loadavg: 2.00 2.18 2.20 3/178 13422 /proc/meminfo: memFree=31046460/32950928 swapFree=67111528/67111528 [pid=13422] ppid=13420 vsize=37112 CPUtime=0.29 /proc/13422/stat : 13422 (pbscip.linux.x8) R 13420 13422 12656 0 -1 4202496 11898 0 0 0 26 3 0 0 22 0 1 0 131589627 38002688 8344 4089446400 4194304 8223781 140735862164496 18446744073709551615 5734174 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13422/statm: 9278 8344 572 984 0 8291 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 37112 [startup+0.700894 s] /proc/loadavg: 2.00 2.18 2.20 3/178 13422 /proc/meminfo: memFree=31046460/32950928 swapFree=67111528/67111528 [pid=13422] ppid=13420 vsize=39824 CPUtime=0.69 /proc/13422/stat : 13422 (pbscip.linux.x8) R 13420 13422 12656 0 -1 4202496 18915 0 0 0 63 6 0 0 24 0 1 0 131589627 40779776 8956 4089446400 4194304 8223781 140735862164496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13422/statm: 9956 8956 589 984 0 8969 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 39824 [startup+1.50075 s] /proc/loadavg: 2.00 2.18 2.19 3/179 13423 /proc/meminfo: memFree=31011160/32950928 swapFree=67111528/67111528 [pid=13422] ppid=13420 vsize=39736 CPUtime=1.49 /proc/13422/stat : 13422 (pbscip.linux.x8) R 13420 13422 12656 0 -1 4202496 20042 0 0 0 139 10 0 0 25 0 1 0 131589627 40689664 8967 4089446400 4194304 8223781 140735862164496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13422/statm: 9934 8967 590 984 0 8947 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 39736 [startup+3.10054 s] /proc/loadavg: 2.00 2.18 2.19 3/179 13423 /proc/meminfo: memFree=31008184/32950928 swapFree=67111528/67111528 [pid=13422] ppid=13420 vsize=40524 CPUtime=3.09 /proc/13422/stat : 13422 (pbscip.linux.x8) R 13420 13422 12656 0 -1 4202496 26204 0 0 0 292 17 0 0 25 0 1 0 131589627 41496576 9157 4089446400 4194304 8223781 140735862164496 18446744073709551615 4227200 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13422/statm: 10131 9157 593 984 0 9144 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 40524 [startup+6.3009 s] /proc/loadavg: 2.00 2.18 2.19 3/179 13423 /proc/meminfo: memFree=30998200/32950928 swapFree=67111528/67111528 [pid=13422] ppid=13420 vsize=46900 CPUtime=6.29 /proc/13422/stat : 13422 (pbscip.linux.x8) R 13420 13422 12656 0 -1 4202496 38096 0 0 0 603 26 0 0 25 0 1 0 131589627 48025600 10747 4089446400 4194304 8223781 140735862164496 18446744073709551615 6372030 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13422/statm: 11725 10747 596 984 0 10738 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 46900 [startup+12.7008 s] /proc/loadavg: 2.00 2.17 2.19 3/179 13423 /proc/meminfo: memFree=30982088/32950928 swapFree=67111528/67111528 [pid=13422] ppid=13420 vsize=54268 CPUtime=12.7 /proc/13422/stat : 13422 (pbscip.linux.x8) R 13420 13422 12656 0 -1 4202496 62303 0 0 0 1219 51 0 0 25 0 1 0 131589627 55570432 12459 4089446400 4194304 8223781 140735862164496 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13422/statm: 13567 12459 596 984 0 12580 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 54268 [startup+25.5005 s] /proc/loadavg: 2.00 2.17 2.19 3/179 13423 /proc/meminfo: memFree=30953256/32950928 swapFree=67111528/67111528 [pid=13422] ppid=13420 vsize=67036 CPUtime=25.49 /proc/13422/stat : 13422 (pbscip.linux.x8) R 13420 13422 12656 0 -1 4202496 93003 0 0 0 2447 102 0 0 25 0 1 0 131589627 68644864 15607 4089446400 4194304 8223781 140735862164496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13422/statm: 16759 15607 597 984 0 15772 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 67036 [startup+51.101 s] /proc/loadavg: 2.00 2.15 2.18 3/179 13424 /proc/meminfo: memFree=30898476/32950928 swapFree=67111528/67111528 [pid=13422] ppid=13420 vsize=97812 CPUtime=51.09 /proc/13422/stat : 13422 (pbscip.linux.x8) R 13420 13422 12656 0 -1 4202496 108401 0 0 0 4905 204 0 0 25 0 1 0 131589627 100159488 22911 4089446400 4194304 8223781 140735862164496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13422/statm: 24453 22911 597 984 0 23466 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 97812 [startup+102.307 s] /proc/loadavg: 2.00 2.13 2.17 3/179 13425 /proc/meminfo: memFree=30805044/32950928 swapFree=67111528/67111528 [pid=13422] ppid=13420 vsize=128140 CPUtime=102.3 /proc/13422/stat : 13422 (pbscip.linux.x8) R 13420 13422 12656 0 -1 4202496 129607 0 0 0 9804 426 0 0 25 0 1 0 131589627 131215360 30058 4089446400 4194304 8223781 140735862164496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13422/statm: 32035 30058 597 984 0 31048 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 128140 [startup+162.3 s] /proc/loadavg: 2.00 2.10 2.16 3/179 13427 /proc/meminfo: memFree=30721408/32950928 swapFree=67111528/67111528 [pid=13422] ppid=13420 vsize=145176 CPUtime=162.29 /proc/13422/stat : 13422 (pbscip.linux.x8) R 13420 13422 12656 0 -1 4202496 165910 0 0 0 15541 688 0 0 25 0 1 0 131589627 148660224 34059 4089446400 4194304 8223781 140735862164496 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13422/statm: 36294 34059 604 984 0 35307 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 145176 [startup+222.301 s] /proc/loadavg: 2.00 2.08 2.15 3/179 13429 /proc/meminfo: memFree=30680452/32950928 swapFree=67111528/67111528 [pid=13422] ppid=13420 vsize=157148 CPUtime=222.3 /proc/13422/stat : 13422 (pbscip.linux.x8) R 13420 13422 12656 0 -1 4202496 177389 0 0 0 21273 957 0 0 25 0 1 0 131589627 160919552 36696 4089446400 4194304 8223781 140735862164496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13422/statm: 39287 36696 604 984 0 38300 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 157148 [startup+282.301 s] /proc/loadavg: 2.00 2.06 2.13 3/179 13431 /proc/meminfo: memFree=30649648/32950928 swapFree=67111528/67111528 [pid=13422] ppid=13420 vsize=171700 CPUtime=282.3 /proc/13422/stat : 13422 (pbscip.linux.x8) R 13420 13422 12656 0 -1 4202496 182650 0 0 0 27031 1199 0 0 25 0 1 0 131589627 175820800 39672 4089446400 4194304 8223781 140735862164496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13422/statm: 42925 39672 604 984 0 41938 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 171700 [startup+342.3 s] /proc/loadavg: 2.00 2.05 2.12 3/179 13432 /proc/meminfo: memFree=30537488/32950928 swapFree=67111528/67111528 [pid=13422] ppid=13420 vsize=188732 CPUtime=342.29 /proc/13422/stat : 13422 (pbscip.linux.x8) R 13420 13422 12656 0 -1 4202496 190090 0 0 0 32792 1437 0 0 25 0 1 0 131589627 193261568 43186 4089446400 4194304 8223781 140735862164496 18446744073709551615 4210590 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13422/statm: 47183 43186 604 984 0 46196 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 188732 [startup+402.301 s] /proc/loadavg: 2.00 2.04 2.11 3/179 13433 /proc/meminfo: memFree=30454960/32950928 swapFree=67111528/67111528 [pid=13422] ppid=13420 vsize=200900 CPUtime=402.29 /proc/13422/stat : 13422 (pbscip.linux.x8) R 13420 13422 12656 0 -1 4202496 195575 0 0 0 38565 1664 0 0 25 0 1 0 131589627 205721600 45665 4089446400 4194304 8223781 140735862164496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13422/statm: 50225 45665 604 984 0 49238 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 200900 [startup+462.301 s] /proc/loadavg: 2.00 2.03 2.10 3/179 13435 /proc/meminfo: memFree=30395032/32950928 swapFree=67111528/67111528 [pid=13422] ppid=13420 vsize=214416 CPUtime=462.29 /proc/13422/stat : 13422 (pbscip.linux.x8) R 13420 13422 12656 0 -1 4202496 214257 0 0 0 44329 1900 0 0 25 0 1 0 131589627 219561984 48364 4089446400 4194304 8223781 140735862164496 18446744073709551615 4926033 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13422/statm: 53604 48364 604 984 0 52617 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 214416 [startup+522.3 s] /proc/loadavg: 2.00 2.02 2.09 3/179 13437 /proc/meminfo: memFree=30329244/32950928 swapFree=67111528/67111528 [pid=13422] ppid=13420 vsize=229652 CPUtime=522.3 /proc/13422/stat : 13422 (pbscip.linux.x8) R 13420 13422 12656 0 -1 4202496 239036 0 0 0 50111 2119 0 0 25 0 1 0 131589627 235163648 51620 4089446400 4194304 8223781 140735862164496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13422/statm: 57413 51620 604 984 0 56426 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 229652 [startup+582.301 s] /proc/loadavg: 2.00 2.02 2.08 3/179 13439 /proc/meminfo: memFree=30271916/32950928 swapFree=67111528/67111528 [pid=13422] ppid=13420 vsize=235748 CPUtime=582.3 /proc/13422/stat : 13422 (pbscip.linux.x8) R 13420 13422 12656 0 -1 4202496 250891 0 0 0 55888 2342 0 0 25 0 1 0 131589627 241405952 52811 4089446400 4194304 8223781 140735862164496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13422/statm: 58937 52811 604 984 0 57950 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 235748 [startup+642.301 s] /proc/loadavg: 2.00 2.01 2.08 3/179 13440 /proc/meminfo: memFree=30211836/32950928 swapFree=67111528/67111528 [pid=13422] ppid=13420 vsize=241056 CPUtime=642.31 /proc/13422/stat : 13422 (pbscip.linux.x8) R 13420 13422 12656 0 -1 4202496 263245 0 0 0 61637 2594 0 0 25 0 1 0 131589627 246841344 53973 4089446400 4194304 8223781 140735862164496 18446744073709551615 6446886 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13422/statm: 60264 53973 604 984 0 59277 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 241056 [startup+702.3 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 2.00 2.00 2.05 3/179 13447 /proc/meminfo: memFree=29946248/32950928 swapFree=67111528/67111528 [pid=13422] ppid=13420 vsize=260856 CPUtime=882.31 /proc/13422/stat : 13422 (pbscip.linux.x8) R 13420 13422 12656 0 -1 4202496 276821 0 0 0 84727 3504 0 0 25 0 1 0 131589627 267116544 57496 4089446400 4194304 8223781 140735862164496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13422/statm: 65214 57496 604 984 0 64227 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 260856 [startup+942.301 s] /proc/loadavg: 2.00 2.00 2.05 3/179 13448 /proc/meminfo: memFree=29888168/32950928 swapFree=67111528/67111528 [pid=13422] ppid=13420 vsize=269908 CPUtime=942.31 /proc/13422/stat : 13422 (pbscip.linux.x8) R 13420 13422 12656 0 -1 4202496 280383 0 0 0 90511 3720 0 0 25 0 1 0 131589627 276385792 59692 4089446400 4194304 8223781 140735862164496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13422/statm: 67477 59692 604 984 0 66490 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 269908 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.04 3/179 13449 /proc/meminfo: memFree=29843352/32950928 swapFree=67111528/67111528 [pid=13422] ppid=13420 vsize=274736 CPUtime=1002.3 /proc/13422/stat : 13422 (pbscip.linux.x8) R 13420 13422 12656 0 -1 4202496 299180 0 0 0 96306 3924 0 0 25 0 1 0 131589627 281329664 60767 4089446400 4194304 8223781 140735862164496 18446744073709551615 6445090 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13422/statm: 68684 60767 604 984 0 67697 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 274736 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.04 3/179 13451 /proc/meminfo: memFree=29803136/32950928 swapFree=67111528/67111528 [pid=13422] ppid=13420 vsize=277212 CPUtime=1062.31 /proc/13422/stat : 13422 (pbscip.linux.x8) R 13420 13422 12656 0 -1 4202496 325856 0 0 0 102079 4152 0 0 25 0 1 0 131589627 283865088 61201 4089446400 4194304 8223781 140735862164496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13422/statm: 69303 61201 604 984 0 68316 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 277212 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.03 3/179 13453 /proc/meminfo: memFree=29775932/32950928 swapFree=67111528/67111528 [pid=13422] ppid=13420 vsize=277388 CPUtime=1122.31 /proc/13422/stat : 13422 (pbscip.linux.x8) R 13420 13422 12656 0 -1 4202496 329309 0 0 0 107843 4388 0 0 25 0 1 0 131589627 284045312 61264 4089446400 4194304 8223781 140735862164496 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13422/statm: 69347 61264 604 984 0 68360 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 277388 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.02 3/179 13455 /proc/meminfo: memFree=29752960/32950928 swapFree=67111528/67111528 [pid=13422] ppid=13420 vsize=277424 CPUtime=1182.31 /proc/13422/stat : 13422 (pbscip.linux.x8) R 13420 13422 12656 0 -1 4202496 338811 0 0 0 113610 4621 0 0 25 0 1 0 131589627 284082176 61295 4089446400 4194304 8223781 140735862164496 18446744073709551615 5004398 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13422/statm: 69356 61295 604 984 0 68369 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 277424 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.02 3/179 13456 /proc/meminfo: memFree=29727976/32950928 swapFree=67111528/67111528 [pid=13422] ppid=13420 vsize=277820 CPUtime=1242.31 /proc/13422/stat : 13422 (pbscip.linux.x8) R 13420 13422 12656 0 -1 4202496 348927 0 0 0 119389 4842 0 0 25 0 1 0 131589627 284487680 61362 4089446400 4194304 8223781 140735862164496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13422/statm: 69455 61362 604 984 0 68468 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 277820 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.01 3/179 13457 /proc/meminfo: memFree=29711680/32950928 swapFree=67111528/67111528 [pid=13422] ppid=13420 vsize=278392 CPUtime=1302.32 /proc/13422/stat : 13422 (pbscip.linux.x8) R 13420 13422 12656 0 -1 4202496 365123 0 0 0 125170 5062 0 0 25 0 1 0 131589627 285073408 61435 4089446400 4194304 8223781 140735862164496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13422/statm: 69598 61435 604 984 0 68611 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 278392 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.01 3/179 13459 /proc/meminfo: memFree=29691288/32950928 swapFree=67111528/67111528 [pid=13422] ppid=13420 vsize=278360 CPUtime=1362.32 /proc/13422/stat : 13422 (pbscip.linux.x8) R 13420 13422 12656 0 -1 4202496 374200 0 0 0 130950 5282 0 0 25 0 1 0 131589627 285040640 61477 4089446400 4194304 8223781 140735862164496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13422/statm: 69590 61477 604 984 0 68603 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 278360 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13461 /proc/meminfo: memFree=29679348/32950928 swapFree=67111528/67111528 [pid=13422] ppid=13420 vsize=278464 CPUtime=1422.33 /proc/13422/stat : 13422 (pbscip.linux.x8) R 13420 13422 12656 0 -1 4202496 388957 0 0 0 136727 5506 0 0 25 0 1 0 131589627 285147136 61507 4089446400 4194304 8223781 140735862164496 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13422/statm: 69616 61507 604 984 0 68629 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 278464 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13463 /proc/meminfo: memFree=29666384/32950928 swapFree=67111528/67111528 [pid=13422] ppid=13420 vsize=279016 CPUtime=1482.32 /proc/13422/stat : 13422 (pbscip.linux.x8) R 13420 13422 12656 0 -1 4202496 395098 0 0 0 142510 5722 0 0 25 0 1 0 131589627 285712384 61558 4089446400 4194304 8223781 140735862164496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13422/statm: 69754 61558 604 984 0 68767 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 279016 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13464 /proc/meminfo: memFree=29661140/32950928 swapFree=67111528/67111528 [pid=13422] ppid=13420 vsize=279112 CPUtime=1542.32 /proc/13422/stat : 13422 (pbscip.linux.x8) R 13420 13422 12656 0 -1 4202496 398243 0 0 0 148274 5958 0 0 25 0 1 0 131589627 285810688 61582 4089446400 4194304 8223781 140735862164496 18446744073709551615 6436959 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13422/statm: 69778 61582 604 984 0 68791 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 279112 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13465 /proc/meminfo: memFree=29655772/32950928 swapFree=67111528/67111528 [pid=13422] ppid=13420 vsize=279208 CPUtime=1602.32 /proc/13422/stat : 13422 (pbscip.linux.x8) R 13420 13422 12656 0 -1 4202496 411264 0 0 0 154031 6201 0 0 25 0 1 0 131589627 285908992 61606 4089446400 4194304 8223781 140735862164496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13422/statm: 69802 61606 604 984 0 68815 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 279208 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13495 /proc/meminfo: memFree=31118696/32950928 swapFree=67111528/67111528 [pid=13422] ppid=13420 vsize=280584 CPUtime=1662.33 /proc/13422/stat : 13422 (pbscip.linux.x8) R 13420 13422 12656 0 -1 4202496 415355 0 0 0 159828 6405 0 0 25 0 1 0 131589627 287318016 61892 4089446400 4194304 8223781 140735862164496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13422/statm: 70146 61892 604 984 0 69159 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 280584 [startup+1722.3 s] /proc/loadavg: 2.05 2.01 2.00 3/179 13497 /proc/meminfo: memFree=31113420/32950928 swapFree=67111528/67111528 [pid=13422] ppid=13420 vsize=281672 CPUtime=1722.33 /proc/13422/stat : 13422 (pbscip.linux.x8) R 13420 13422 12656 0 -1 4202496 416323 0 0 0 165645 6588 0 0 25 0 1 0 131589627 288432128 62172 4089446400 4194304 8223781 140735862164496 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13422/statm: 70418 62172 604 984 0 69431 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 281672 [startup+1782.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 13502 /proc/meminfo: memFree=31104804/32950928 swapFree=67111528/67111528 [pid=13422] ppid=13420 vsize=281980 CPUtime=1782.32 /proc/13422/stat : 13422 (pbscip.linux.x8) R 13420 13422 12656 0 -1 4202496 425610 0 0 0 171451 6781 0 0 25 0 1 0 131589627 288747520 62246 4089446400 4194304 8223781 140735862164496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13422/statm: 70495 62246 604 984 0 69508 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 281980 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.01 2.01 2.00 3/179 13502 /proc/meminfo: memFree=31103220/32950928 swapFree=67111528/67111528 [pid=13422] ppid=13420 vsize=281980 CPUtime=1800.04 /proc/13422/stat : 13422 (pbscip.linux.x8) R 13420 13422 12656 0 -1 4202496 430169 0 0 0 173167 6837 0 0 25 0 1 0 131589627 288747520 62247 4089446400 4194304 8223781 140735862164496 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13422/statm: 70495 62247 604 984 0 69508 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 281980 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.01 2.01 2.00 3/179 13502 /proc/meminfo: memFree=31103220/32950928 swapFree=67111528/67111528 [pid=13422] ppid=13420 vsize=280700 CPUtime=1800.14 /proc/13422/stat : 13422 (pbscip.linux.x8) R 13420 13422 12656 0 -1 4202496 430172 0 0 0 173177 6837 0 0 25 0 1 0 131589627 287436800 61930 4089446400 4194304 8223781 140735862164496 18446744073709551615 5003658 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/13422/statm: 70175 61930 606 984 0 69188 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 280700 Child status: 0 Real time (s): 1800.13 CPU time (s): 1800.17 CPU user time (s): 1731.79 CPU system time (s): 68.3796 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 295500 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1731.79 system time used= 68.3796 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 430176 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= 1726 runsolver used 3.05953 second user time and 6.76797 second system time The end
Begin job on node123 at 2010-06-30 15:02:08 IDJOB=2692775 IDBENCH=78906 IDSOLVER=1204 FILE ID=node123/2692775-1277902928 PBS_JOBID= 11197206 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.1900563801--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-2692775-1277902928/watcher-2692775-1277902928 -o /tmp/evaluation-result-2692775-1277902928/solver-2692775-1277902928 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692775-1277902928.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6f14288bb7c1e317bfd5e53473571ca7 RANDOM SEED=891799732 node123.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.804 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.60 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.804 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 : 5294.59 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.804 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.804 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.804 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.75 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.804 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.71 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.804 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.804 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: 32950928 kB MemFree: 31047112 kB Buffers: 189220 kB Cached: 1110392 kB SwapCached: 0 kB Active: 975496 kB Inactive: 785144 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31047112 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4688 kB Writeback: 0 kB AnonPages: 460956 kB Mapped: 16332 kB Slab: 78644 kB PageTables: 5532 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 610340 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74200 MiB End job on node123 at 2010-06-30 15:32:10