Download the above graph as a PDF file / as an EPS file
| 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.16 | 1800.14 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900544484--soft-33-100-0.wbo |
| MD5SUM | 97e6423088cc7ef1f08dcccdf9e01ef4 |
| 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 | 86.7398 |
| 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 | 1857 |
| 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 | 93863 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 93862 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 741 |
| 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-2692315-1277912628.wbo>
0.00/0.03 c original problem has 3945 variables (2088 bin, 0 int, 0 impl, 1857 cont) and 4565 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.02/0.05 c presolving:
0.02/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1983 impls, 5 clqs
0.02/0.09 c (round 2) 0 del vars, 62 del conss, 1857 chg bounds, 50 chg sides, 0 chg coeffs, 0 upgd conss, 1983 impls, 5 clqs
0.02/0.10 c (round 3) 50 del vars, 124 del conss, 1864 chg bounds, 62 chg sides, 0 chg coeffs, 0 upgd conss, 1983 impls, 5 clqs
0.09/0.11 c (round 4) 107 del vars, 131 del conss, 1864 chg bounds, 62 chg sides, 0 chg coeffs, 834 upgd conss, 1983 impls, 5 clqs
0.09/0.12 c (round 5) 114 del vars, 131 del conss, 1864 chg bounds, 62 chg sides, 0 chg coeffs, 834 upgd conss, 1983 impls, 5 clqs
0.09/0.16 c (0.1s) probing: 101/2031 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.16 c presolving (6 rounds):
0.09/0.16 c 114 deleted vars, 131 deleted constraints, 1864 tightened bounds, 0 added holes, 62 changed sides, 0 changed coefficients
0.09/0.16 c 1983 implications, 5 cliques
0.09/0.16 c presolved problem has 3831 variables (2031 bin, 0 int, 0 impl, 1800 cont) and 4434 constraints
0.09/0.16 c 1800 constraints of type <indicator>
0.09/0.16 c 5 constraints of type <setppc>
0.09/0.16 c 1800 constraints of type <linear>
0.09/0.16 c 829 constraints of type <logicor>
0.09/0.16 c transformed objective value is always integral (scale: 1)
0.09/0.16 c Presolving Time: 0.10
0.09/0.16 c - non default parameters ----------------------------------------------------------------------
0.09/0.16 c # SCIP version 1.2.1.2
0.09/0.16 c
0.09/0.16 c # frequency for displaying node information lines
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16 c display/freq = 10000
0.09/0.16 c
0.09/0.16 c # maximal time in seconds to run
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/time = 1799.98
0.09/0.16 c
0.09/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/memory = 3420
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify inequalities
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/linear/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify knapsacks
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16 c separating/rapidlearning/freq = 0
0.09/0.16 c
0.09/0.16 c -----------------------------------------------------------------------------------------------
0.09/0.16 c start solving
0.09/0.16 c
0.09/0.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.17 c 0.1s| 1 | 0 | 12 | - | 14M| 0 | 3 |3831 |4434 |3831 | 834 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 o 90731
0.09/0.18 c y 0.1s| 1 | 0 | 21 | - | 14M| 0 | 3 |3831 |4434 |3831 | 834 | 0 | 0 | 0 | 0.000000e+00 | 9.073100e+04 | Inf
0.09/0.19 c 0.1s| 1 | 0 | 57 | - | 14M| 0 | 33 |3831 |4434 |3831 | 856 | 22 | 0 | 0 | 0.000000e+00 | 9.073100e+04 | Inf
0.19/0.24 c 0.2s| 1 | 0 | 144 | - | 14M| 0 | 56 |3831 |4434 |3831 | 886 | 52 | 0 | 0 | 0.000000e+00 | 9.073100e+04 | Inf
0.29/0.31 c 0.3s| 1 | 0 | 171 | - | 14M| 0 | 58 |3831 |4434 |3831 | 902 | 68 | 0 | 0 | 0.000000e+00 | 9.073100e+04 | Inf
0.29/0.38 c 0.3s| 1 | 0 | 177 | - | 14M| 0 | 57 |3831 |4434 |3831 | 905 | 71 | 0 | 0 | 0.000000e+00 | 9.073100e+04 | Inf
0.39/0.46 c 0.4s| 1 | 0 | 182 | - | 14M| 0 | 60 |3831 |4434 |3831 | 907 | 73 | 0 | 0 | 0.000000e+00 | 9.073100e+04 | Inf
0.49/0.54 c 0.5s| 1 | 0 | 190 | - | 14M| 0 | 59 |3831 |4434 |3831 | 908 | 74 | 0 | 0 | 0.000000e+00 | 9.073100e+04 | Inf
0.79/0.88 c 0.8s| 1 | 2 | 190 | - | 14M| 0 | 59 |3831 |4434 |3831 | 908 | 74 | 0 | 33 | 0.000000e+00 | 9.073100e+04 | Inf
26.19/26.24 c 25.2s| 10000 | 9989 | 45268 | 4.5 | 39M| 85 | 0 |3831 |4445 |3831 | 953 | 10k| 14 |1817 | 0.000000e+00 | 9.073100e+04 | Inf
42.99/43.01 c 41.4s| 20000 | 19981 | 68729 | 3.4 | 57M| 105 | 7 |3831 |4446 |3831 | 954 | 16k| 23 |1833 | 0.000000e+00 | 9.073100e+04 | Inf
59.50/59.56 c 57.4s| 30000 | 29973 | 92311 | 3.1 | 75M| 105 | 0 |3831 |4450 |3831 | 949 | 22k| 28 |1838 | 0.000000e+00 | 9.073100e+04 | Inf
75.59/75.62 c 72.9s| 40000 | 39961 |111082 | 2.8 | 93M| 119 | 0 |3831 |4452 |3831 | 939 | 27k| 35 |1838 | 0.000000e+00 | 9.073100e+04 | Inf
91.70/91.76 c 88.5s| 50000 | 49959 |132146 | 2.6 | 110M| 119 | 0 |3831 |4458 |3831 | 968 | 32k| 43 |1838 | 0.000000e+00 | 9.073100e+04 | Inf
101.99/102.03 o 699
101.99/102.03 c *98.4s| 56534 | 46859 |143662 | 2.5 | 106M| 119 | - |3831 |4456 |3831 | 979 | 35k| 44 |1838 | 0.000000e+00 | 6.990000e+02 | Inf
110.29/110.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
110.29/110.40 c 106s| 60000 | 50261 |164872 | 2.7 | 113M| 119 | 0 |3831 |4610 |3831 | 944 | 41k| 255 |1839 | 0.000000e+00 | 6.990000e+02 | Inf
134.39/134.48 c 130s| 70000 | 59979 |222948 | 3.2 | 133M| 119 | 0 |3831 |4708 |3831 | 943 | 57k| 887 |1965 | 0.000000e+00 | 6.990000e+02 | Inf
134.99/135.09 o 681
134.99/135.09 c * 130s| 70224 | 59417 |224543 | 3.2 | 132M| 119 | - |3831 |4708 |3831 | 943 | 58k| 903 |1974 | 0.000000e+00 | 6.810000e+02 | Inf
143.69/143.76 o 638
143.69/143.76 c * 139s| 73610 | 60565 |246438 | 3.3 | 135M| 119 | - |3831 |4830 |3831 | 957 | 63k|1258 |2083 | 0.000000e+00 | 6.380000e+02 | Inf
143.89/143.92 o 636
143.89/143.92 c * 139s| 73648 | 60489 |246939 | 3.4 | 135M| 119 | - |3831 |4849 |3831 | 967 | 63k|1278 |2095 | 0.000000e+00 | 6.360000e+02 | Inf
144.10/144.15 o 632
144.10/144.15 c * 139s| 73720 | 60326 |247630 | 3.4 | 135M| 119 | - |3831 |4855 |3831 | 955 | 63k|1287 |2100 | 0.000000e+00 | 6.320000e+02 | Inf
153.30/153.32 o 625
153.30/153.32 c * 148s| 77006 | 63057 |272399 | 3.5 | 141M| 119 | - |3831 |4809 |3831 | 951 | 70k|1670 |2215 | 0.000000e+00 | 6.250000e+02 | Inf
153.39/153.43 o 621
153.39/153.43 c * 148s| 77026 | 62834 |272842 | 3.5 | 140M| 119 | - |3831 |4806 |3831 | 963 | 70k|1670 |2221 | 0.000000e+00 | 6.210000e+02 | Inf
159.79/159.90 c 154s| 80000 | 65741 |285489 | 3.6 | 146M| 119 | 0 |3831 |4793 |3831 | 956 | 73k|1822 |2250 | 0.000000e+00 | 6.210000e+02 | Inf
166.50/166.51 o 614
166.50/166.51 c * 161s| 82356 | 67517 |303086 | 3.7 | 151M| 119 | - |3831 |4917 |3831 | 939 | 77k|2224 |2325 | 0.000000e+00 | 6.140000e+02 | Inf
187.29/187.30 c 181s| 90000 | 74577 |357916 | 4.0 | 167M| 119 | 1 |3831 |5059 |3831 | 922 | 92k|3384 |2583 | 0.000000e+00 | 6.140000e+02 | Inf
211.20/211.27 c 204s|100000 | 84142 |411863 | 4.1 | 186M| 119 | 0 |3831 |5102 |3831 | 929 | 109k|4308 |2753 | 0.000000e+00 | 6.140000e+02 | Inf
222.39/222.43 o 600
222.39/222.43 c * 215s|104488 | 87636 |434162 | 4.2 | 193M| 119 | - |3831 |5016 |3831 | 946 | 117k|4462 |2886 | 0.000000e+00 | 6.000000e+02 | Inf
222.89/222.95 o 597
222.89/222.95 c * 215s|104680 | 87567 |435386 | 4.2 | 193M| 119 | - |3831 |5050 |3831 | 948 | 118k|4503 |2887 | 0.000000e+00 | 5.970000e+02 | Inf
230.90/230.99 o 588
230.90/230.99 c * 223s|107720 | 89591 |454703 | 4.2 | 198M| 119 | - |3831 |5357 |3831 | 943 | 124k|5222 |2973 | 0.000000e+00 | 5.880000e+02 | Inf
232.69/232.79 o 586
232.69/232.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
232.69/232.79 c * 225s|108347 | 90007 |459390 | 4.2 | 199M| 119 | - |3831 |5434 |3831 | 942 | 125k|5364 |2974 | 0.000000e+00 | 5.860000e+02 | Inf
236.40/236.42 c 228s|110000 | 91575 |465966 | 4.2 | 202M| 119 | 8 |3831 |5408 |3831 | 944 | 127k|5549 |2992 | 0.000000e+00 | 5.860000e+02 | Inf
237.99/238.00 o 574
237.99/238.00 c * 230s|110546 | 91109 |469952 | 4.2 | 201M| 119 | - |3831 |5374 |3831 | 930 | 129k|5649 |3044 | 0.000000e+00 | 5.740000e+02 | Inf
240.90/240.94 o 569
240.90/240.94 c * 233s|111551 | 91508 |476804 | 4.3 | 202M| 119 | - |3831 |5417 |3831 | 955 | 131k|5944 |3065 | 0.000000e+00 | 5.690000e+02 | Inf
241.50/241.59 o 564
241.50/241.59 c * 233s|111792 | 91305 |478392 | 4.3 | 201M| 119 | - |3831 |5448 |3831 | 942 | 131k|6000 |3065 | 0.000000e+00 | 5.640000e+02 | Inf
262.10/262.12 o 550
262.10/262.12 c * 253s|119873 | 97565 |524697 | 4.4 | 215M| 119 | - |3831 |5229 |3831 | 939 | 146k|7242 |3242 | 0.000000e+00 | 5.500000e+02 | Inf
262.39/262.48 c 253s|120000 | 97677 |525754 | 4.4 | 215M| 119 | 0 |3831 |5217 |3831 | 957 | 146k|7269 |3244 | 0.000000e+00 | 5.500000e+02 | Inf
269.69/269.77 o 544
269.69/269.77 c * 260s|122782 | 99792 |541734 | 4.4 | 219M| 119 | - |3831 |5092 |3831 | 953 | 152k|7578 |3303 | 0.000000e+00 | 5.440000e+02 | Inf
284.70/284.73 o 535
284.70/284.73 c * 275s|128324 |104041 |580012 | 4.5 | 229M| 119 | - |3831 |5145 |3831 | 948 | 164k|8371 |3415 | 0.000000e+00 | 5.350000e+02 | Inf
284.70/284.74 o 528
284.70/284.74 c * 275s|128325 |103376 |580012 | 4.5 | 227M| 119 | - |3831 |5145 |3831 | 948 | 164k|8371 |3415 | 0.000000e+00 | 5.280000e+02 | Inf
284.80/284.81 o 518
284.80/284.81 c * 275s|128342 |102236 |580210 | 4.5 | 224M| 119 | - |3831 |5153 |3831 | 944 | 164k|8383 |3415 | 0.000000e+00 | 5.180000e+02 | Inf
284.80/284.82 o 511
284.80/284.82 c * 275s|128343 |101323 |580210 | 4.5 | 222M| 119 | - |3831 |5153 |3831 | 944 | 164k|8383 |3415 | 0.000000e+00 | 5.110000e+02 | Inf
284.80/284.86 o 509
284.80/284.86 c * 275s|128352 |101079 |580296 | 4.5 | 221M| 119 | - |3831 |5159 |3831 | 943 | 164k|8390 |3415 | 0.000000e+00 | 5.090000e+02 | Inf
284.80/284.90 o 508
284.80/284.90 c * 275s|128359 |100939 |580389 | 4.5 | 221M| 119 | - |3831 |5158 |3831 | 943 | 164k|8390 |3415 | 0.000000e+00 | 5.080000e+02 | Inf
285.60/285.67 o 498
285.60/285.67 c * 276s|128618 | 99770 |582431 | 4.5 | 218M| 119 | - |3831 |5288 |3831 | 949 | 165k|8548 |3417 | 0.000000e+00 | 4.980000e+02 | Inf
285.80/285.87 o 494
285.80/285.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
285.80/285.87 c * 276s|128678 | 99306 |582865 | 4.5 | 217M| 119 | - |3831 |5321 |3831 | 953 | 165k|8595 |3417 | 0.000000e+00 | 4.940000e+02 | Inf
287.70/287.70 o 492
287.70/287.70 c * 278s|129397 | 99704 |586997 | 4.5 | 218M| 119 | - |3831 |5335 |3831 | 947 | 167k|8746 |3418 | 0.000000e+00 | 4.920000e+02 | Inf
289.40/289.42 o 485
289.40/289.42 c * 279s|129968 | 99096 |590998 | 4.5 | 217M| 119 | - |3831 |5485 |3831 | 937 | 168k|9038 |3453 | 0.000000e+00 | 4.850000e+02 | Inf
289.40/289.44 o 476
289.40/289.44 c * 279s|129970 | 97859 |591005 | 4.5 | 214M| 119 | - |3831 |5483 |3831 | 938 | 168k|9038 |3453 | 0.000000e+00 | 4.760000e+02 | Inf
289.40/289.45 o 469
289.40/289.45 c * 279s|129971 | 96912 |591005 | 4.5 | 212M| 119 | - |3831 |5483 |3831 | 938 | 168k|9038 |3453 | 0.000000e+00 | 4.690000e+02 | Inf
289.49/289.55 c 280s|130000 | 96928 |591236 | 4.5 | 212M| 119 | 0 |3831 |5479 |3831 | 948 | 168k|9056 |3453 | 0.000000e+00 | 4.690000e+02 | Inf
292.30/292.34 o 466
292.30/292.34 c * 282s|131059 | 97426 |596849 | 4.6 | 213M| 119 | - |3831 |5386 |3831 | 941 | 170k|9255 |3489 | 0.000000e+00 | 4.660000e+02 | Inf
296.69/296.74 o 450
296.69/296.74 c * 286s|132773 | 96343 |606186 | 4.6 | 211M| 119 | - |3831 |5449 |3831 | 961 | 174k|9662 |3507 | 0.000000e+00 | 4.500000e+02 | Inf
299.29/299.34 o 440
299.29/299.34 c * 289s|133811 | 95660 |610533 | 4.6 | 210M| 119 | - |3831 |5429 |3831 | 930 | 175k|9816 |3512 | 0.000000e+00 | 4.400000e+02 | Inf
300.79/300.87 o 425
300.79/300.87 c * 290s|134397 | 93674 |613320 | 4.6 | 207M| 119 | - |3831 |5402 |3831 | 935 | 176k|9869 |3520 | 0.000000e+00 | 4.250000e+02 | Inf
303.19/303.26 o 411
303.19/303.26 c * 293s|135226 | 91953 |617595 | 4.6 | 204M| 119 | - |3831 |5371 |3831 | 939 | 178k| 10k|3589 | 0.000000e+00 | 4.110000e+02 | Inf
304.60/304.68 o 407
304.60/304.68 c * 294s|135847 | 91788 |619874 | 4.6 | 204M| 119 | - |3831 |5370 |3831 | 940 | 179k| 10k|3589 | 0.000000e+00 | 4.070000e+02 | Inf
304.70/304.75 o 405
304.70/304.75 c * 294s|135869 | 91400 |619975 | 4.6 | 203M| 119 | - |3831 |5373 |3831 | 938 | 179k| 10k|3589 | 0.000000e+00 | 4.050000e+02 | Inf
304.79/304.83 o 399
304.79/304.83 c * 294s|135886 | 90310 |620265 | 4.6 | 201M| 119 | - |3831 |5365 |3831 | 966 | 179k| 10k|3589 | 0.000000e+00 | 3.990000e+02 | Inf
305.40/305.44 o 384
305.40/305.44 c * 295s|136118 | 87746 |621423 | 4.6 | 196M| 119 | - |3831 |5396 |3831 | 947 | 179k| 10k|3589 | 0.000000e+00 | 3.840000e+02 | Inf
305.40/305.46 o 379
305.40/305.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
305.40/305.46 c * 295s|136120 | 86788 |621427 | 4.6 | 194M| 119 | - |3831 |5395 |3831 | 947 | 179k| 10k|3589 | 0.000000e+00 | 3.790000e+02 | Inf
305.90/305.97 o 378
305.90/305.97 c * 295s|136288 | 86722 |622713 | 4.6 | 194M| 119 | - |3831 |5436 |3831 | 934 | 180k| 10k|3591 | 0.000000e+00 | 3.780000e+02 | Inf
305.90/305.97 o 370
305.90/305.97 c * 295s|136289 | 85283 |622713 | 4.6 | 191M| 119 | - |3831 |5436 |3831 | 934 | 180k| 10k|3591 | 0.000000e+00 | 3.700000e+02 | Inf
307.50/307.58 o 365
307.50/307.58 c * 297s|136953 | 84886 |625051 | 4.6 | 191M| 119 | - |3831 |5421 |3831 | 938 | 180k| 10k|3593 | 0.000000e+00 | 3.650000e+02 | Inf
308.49/308.57 o 358
308.49/308.57 c * 298s|137287 | 83753 |627055 | 4.6 | 188M| 119 | - |3831 |5421 |3831 | 954 | 181k| 10k|3626 | 0.000000e+00 | 3.580000e+02 | Inf
312.40/312.42 o 346
312.40/312.42 c * 302s|138648 | 82246 |636733 | 4.6 | 186M| 119 | - |3831 |5513 |3831 | 947 | 184k| 10k|3642 | 0.000000e+00 | 3.460000e+02 | Inf
313.69/313.72 o 342
313.69/313.72 c * 303s|139157 | 81829 |640136 | 4.6 | 185M| 119 | - |3831 |5537 |3831 | 925 | 184k| 11k|3643 | 0.000000e+00 | 3.420000e+02 | Inf
313.69/313.72 o 332
313.69/313.72 c * 303s|139158 | 79814 |640137 | 4.6 | 181M| 119 | - |3831 |5536 |3831 | 925 | 184k| 11k|3643 | 0.000000e+00 | 3.320000e+02 | Inf
315.99/316.09 c 305s|140000 | 80478 |645474 | 4.6 | 184M| 119 | 0 |3831 |5592 |3831 | 941 | 186k| 11k|3644 | 0.000000e+00 | 3.320000e+02 | Inf
316.20/316.29 o 329
316.20/316.29 c * 305s|140067 | 79896 |645928 | 4.6 | 183M| 119 | - |3831 |5634 |3831 | 931 | 186k| 11k|3644 | 0.000000e+00 | 3.290000e+02 | Inf
316.90/316.95 o 325
316.90/316.95 c * 306s|140303 | 79079 |647105 | 4.6 | 181M| 119 | - |3831 |5711 |3831 | 939 | 186k| 11k|3644 | 0.000000e+00 | 3.250000e+02 | Inf
316.90/316.95 o 316
316.90/316.95 c * 306s|140304 | 77203 |647105 | 4.6 | 178M| 119 | - |3831 |5711 |3831 | 939 | 186k| 11k|3644 | 0.000000e+00 | 3.160000e+02 | Inf
319.20/319.27 o 313
319.20/319.27 c * 308s|141128 | 77185 |651184 | 4.6 | 178M| 119 | - |3831 |5657 |3831 | 916 | 188k| 11k|3684 | 0.000000e+00 | 3.130000e+02 | Inf
323.40/323.48 o 309
323.40/323.48 c * 312s|142768 | 77658 |658906 | 4.6 | 180M| 119 | - |3831 |5528 |3831 | 925 | 190k| 12k|3732 | 0.000000e+00 | 3.090000e+02 | Inf
323.69/323.71 o 307
323.69/323.71 c * 312s|142865 | 77245 |659296 | 4.6 | 179M| 119 | - |3831 |5587 |3831 | 938 | 190k| 12k|3732 | 0.000000e+00 | 3.070000e+02 | Inf
324.20/324.20 o 304
324.20/324.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
324.20/324.20 c * 313s|143034 | 76717 |660166 | 4.6 | 179M| 119 | - |3831 |5575 |3831 | 924 | 190k| 12k|3734 | 0.000000e+00 | 3.040000e+02 | Inf
324.20/324.21 o 300
324.20/324.21 c * 313s|143035 | 75753 |660166 | 4.6 | 177M| 119 | - |3831 |5575 |3831 | 924 | 190k| 12k|3734 | 0.000000e+00 | 3.000000e+02 | Inf
324.20/324.28 o 293
324.20/324.28 c * 313s|143059 | 74158 |660285 | 4.6 | 174M| 119 | - |3831 |5571 |3831 | 941 | 190k| 12k|3734 | 0.000000e+00 | 2.930000e+02 | Inf
324.30/324.39 o 292
324.30/324.39 c * 313s|143094 | 73948 |660468 | 4.6 | 173M| 119 | - |3831 |5569 |3831 | 939 | 190k| 12k|3734 | 0.000000e+00 | 2.920000e+02 | Inf
324.40/324.41 o 283
324.40/324.41 c * 313s|143096 | 71883 |660479 | 4.6 | 169M| 119 | - |3831 |5569 |3831 | 939 | 190k| 12k|3734 | 0.000000e+00 | 2.830000e+02 | Inf
324.51/324.52 o 277
324.51/324.52 c * 313s|143132 | 70442 |660675 | 4.6 | 166M| 119 | - |3831 |5578 |3831 | 942 | 190k| 12k|3734 | 0.000000e+00 | 2.770000e+02 | Inf
325.20/325.22 o 272
325.20/325.22 c * 314s|143380 | 69384 |661822 | 4.6 | 164M| 119 | - |3831 |5625 |3831 | 936 | 191k| 12k|3734 | 0.000000e+00 | 2.720000e+02 | Inf
325.30/325.30 o 266
325.30/325.30 c * 314s|143406 | 67873 |661962 | 4.6 | 161M| 119 | - |3831 |5630 |3831 | 930 | 191k| 12k|3734 | 0.000000e+00 | 2.660000e+02 | Inf
325.30/325.39 o 262
325.30/325.39 c * 314s|143427 | 66914 |662138 | 4.6 | 159M| 119 | - |3831 |5627 |3831 | 943 | 191k| 12k|3734 | 0.000000e+00 | 2.620000e+02 | Inf
325.50/325.59 o 256
325.50/325.59 c * 314s|143484 | 65607 |662606 | 4.6 | 157M| 119 | - |3831 |5623 |3831 | 947 | 191k| 12k|3734 | 0.000000e+00 | 2.560000e+02 | Inf
325.60/325.61 o 242
325.60/325.61 c * 314s|143485 | 61834 |662606 | 4.6 | 149M| 119 | - |3831 |5623 |3831 | 947 | 191k| 12k|3734 | 0.000000e+00 | 2.420000e+02 | Inf
325.60/325.65 o 228
325.60/325.65 c * 314s|143491 | 57828 |662662 | 4.6 | 141M| 119 | - |3831 |5623 |3831 | 936 | 191k| 12k|3734 | 0.000000e+00 | 2.280000e+02 | Inf
325.60/325.66 o 227
325.60/325.66 c * 314s|143492 | 57455 |662664 | 4.6 | 141M| 119 | - |3831 |5623 |3831 | 936 | 191k| 12k|3734 | 0.000000e+00 | 2.270000e+02 | Inf
325.70/325.71 o 215
325.70/325.71 c * 314s|143497 | 53912 |662752 | 4.6 | 134M| 119 | - |3831 |5620 |3831 | 943 | 191k| 12k|3734 | 0.000000e+00 | 2.150000e+02 | Inf
325.70/325.74 o 214
325.70/325.74 c * 314s|143500 | 53617 |662775 | 4.6 | 133M| 119 | - |3831 |5623 |3831 | 948 | 191k| 12k|3734 | 0.000000e+00 | 2.140000e+02 | Inf
326.90/326.98 o 209
326.90/326.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
326.90/326.98 c * 316s|143952 | 52398 |665468 | 4.6 | 132M| 119 | - |3831 |5651 |3831 | 967 | 192k| 12k|3735 | 0.000000e+00 | 2.090000e+02 | Inf
327.09/327.16 o 206
327.09/327.16 c * 316s|143999 | 51469 |665930 | 4.6 | 130M| 119 | - |3831 |5642 |3831 | 948 | 192k| 12k|3735 | 0.000000e+00 | 2.060000e+02 | Inf
327.50/327.55 o 197
327.50/327.55 c * 316s|144132 | 48667 |667007 | 4.6 | 125M| 119 | - |3831 |5674 |3831 | 916 | 192k| 12k|3735 | 0.000000e+00 | 1.970000e+02 | Inf
327.50/327.60 o 187
327.50/327.60 c * 316s|144142 | 45480 |667052 | 4.6 | 119M| 119 | - |3831 |5671 |3831 | 928 | 192k| 12k|3735 | 0.000000e+00 | 1.870000e+02 | Inf
328.70/328.72 o 185
328.70/328.72 c * 317s|144465 | 44991 |670519 | 4.6 | 119M| 119 | - |3831 |5795 |3831 | 960 | 193k| 13k|3736 | 0.000000e+00 | 1.850000e+02 | Inf
329.29/329.36 o 175
329.29/329.36 c * 318s|144657 | 41939 |672239 | 4.6 | 114M| 119 | - |3831 |5881 |3831 | 959 | 193k| 13k|3736 | 0.000000e+00 | 1.750000e+02 | Inf
329.39/329.43 o 172
329.39/329.43 c * 318s|144677 | 41012 |672453 | 4.6 | 112M| 119 | - |3831 |5882 |3831 | 972 | 193k| 13k|3737 | 0.000000e+00 | 1.720000e+02 | Inf
329.50/329.51 o 164
329.50/329.51 c * 318s|144694 | 38250 |672633 | 4.6 | 107M| 119 | - |3831 |5883 |3831 | 948 | 193k| 13k|3737 | 0.000000e+00 | 1.640000e+02 | Inf
330.89/330.97 o 162
330.89/330.97 c * 319s|145142 | 37735 |676422 | 4.7 | 107M| 119 | - |3831 |5843 |3831 | 948 | 194k| 13k|3738 | 0.000000e+00 | 1.620000e+02 | Inf
330.89/330.98 o 159
330.89/330.98 c * 319s|145143 | 36814 |676422 | 4.7 | 105M| 119 | - |3831 |5843 |3831 | 948 | 194k| 13k|3738 | 0.000000e+00 | 1.590000e+02 | Inf
333.40/333.41 o 144
333.40/333.41 c * 322s|145928 | 32275 |682195 | 4.7 | 98M| 119 | - |3831 |5800 |3831 | 933 | 196k| 14k|3790 | 0.000000e+00 | 1.440000e+02 | Inf
333.50/333.54 o 141
333.50/333.54 c * 322s|145974 | 31574 |682460 | 4.7 | 97M| 119 | - |3831 |5774 |3831 | 926 | 196k| 14k|3790 | 0.000000e+00 | 1.410000e+02 | Inf
334.00/334.02 o 138
334.00/334.02 c * 322s|146139 | 30745 |683431 | 4.7 | 95M| 119 | - |3831 |5834 |3831 | 920 | 196k| 14k|3791 | 0.000000e+00 | 1.380000e+02 | Inf
334.30/334.37 o 124
334.30/334.37 c * 323s|146253 | 25647 |684033 | 4.7 | 84M| 119 | - |3831 |5822 |3831 | 940 | 196k| 14k|3791 | 0.000000e+00 | 1.240000e+02 | Inf
335.19/335.22 o 123
335.19/335.22 c * 324s|146512 | 25289 |685557 | 4.7 | 84M| 119 | - |3831 |5728 |3831 | 947 | 197k| 14k|3793 | 0.000000e+00 | 1.230000e+02 | Inf
336.40/336.49 o 116
336.40/336.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
336.40/336.49 c * 325s|146915 | 23334 |687884 | 4.7 | 81M| 119 | - |3831 |5676 |3831 | 938 | 197k| 14k|3802 | 0.000000e+00 | 1.160000e+02 | Inf
336.90/336.97 o 114
336.90/336.97 c * 325s|147060 | 22777 |688481 | 4.7 | 80M| 119 | - |3831 |5543 |3831 | 938 | 197k| 14k|3805 | 0.000000e+00 | 1.140000e+02 | Inf
336.99/337.06 o 112
336.99/337.06 c * 325s|147086 | 22221 |688551 | 4.7 | 79M| 119 | - |3831 |5558 |3831 | 939 | 197k| 15k|3805 | 0.000000e+00 | 1.120000e+02 | Inf
337.10/337.15 o 102
337.10/337.15 c * 325s|147109 | 19081 |688600 | 4.7 | 72M| 119 | - |3831 |5581 |3831 | 920 | 197k| 15k|3805 | 0.000000e+00 | 1.020000e+02 | Inf
337.19/337.25 o 92
337.19/337.25 c * 326s|147131 | 16452 |688855 | 4.7 | 66M| 119 | - |3831 |5540 |3831 | 918 | 198k| 15k|3806 | 0.000000e+00 | 9.200000e+01 | Inf
337.90/337.94 o 91
337.90/337.94 c * 326s|147336 | 16292 |690152 | 4.7 | 66M| 119 | - |3831 |5024 |3831 | 931 | 198k| 15k|3807 | 0.000000e+00 | 9.100000e+01 | Inf
337.99/338.03 o 90
337.99/338.03 c * 326s|147355 | 16067 |690227 | 4.7 | 65M| 119 | - |3831 |4943 |3831 | 922 | 198k| 15k|3807 | 0.000000e+00 | 9.000000e+01 | Inf
338.10/338.19 o 78
338.10/338.19 c * 326s|147389 | 13578 |690546 | 4.7 | 59M| 119 | - |3831 |4877 |3831 | 924 | 198k| 15k|3807 | 0.000000e+00 | 7.800000e+01 | Inf
338.29/338.35 o 73
338.29/338.35 c * 327s|147431 | 11901 |690803 | 4.7 | 56M| 119 | - |3831 |4632 |3831 | 941 | 198k| 15k|3807 | 0.000000e+00 | 7.300000e+01 | Inf
338.60/338.66 o 60
338.60/338.66 c * 327s|147514 | 10007 |691165 | 4.7 | 51M| 119 | - |3831 |4559 |3831 | 917 | 198k| 15k|3808 | 0.000000e+00 | 6.000000e+01 | Inf
338.60/338.69 o 57
338.60/338.69 c * 327s|147517 | 9403 |691180 | 4.7 | 50M| 119 | - |3831 |4306 |3831 | 922 | 198k| 15k|3808 | 0.000000e+00 | 5.700000e+01 | Inf
338.80/338.83 o 50
338.80/338.83 c * 327s|147542 | 8811 |691540 | 4.7 | 49M| 119 | - |3831 |4201 |3831 | 943 | 198k| 15k|3808 | 0.000000e+00 | 5.000000e+01 | Inf
338.80/338.85 o 35
338.80/338.85 c * 327s|147543 | 1898 |691540 | 4.7 | 29M| 119 | - |3831 |4201 |3831 | 943 | 198k| 15k|3808 | 0.000000e+00 | 3.500000e+01 | Inf
344.20/344.22 c 332s|150000 | 1152 |704816 | 4.7 | 29M| 119 | 12 |3831 |5655 |3831 | 920 | 199k| 18k|3875 | 0.000000e+00 | 3.500000e+01 | Inf
346.19/346.26 o 27
346.19/346.26 c * 334s|150989 | 975 |710198 | 4.7 | 29M| 119 | - |3831 |5994 |3831 | 929 | 200k| 20k|3882 | 0.000000e+00 | 2.700000e+01 | Inf
352.00/352.02 o 25
352.00/352.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
352.00/352.02 c * 340s|153899 | 1059 |723099 | 4.7 | 30M| 119 | - |3831 |7324 |3831 | 929 | 202k| 24k|3937 | 0.000000e+00 | 2.500000e+01 | Inf
364.11/364.14 c 351s|160000 | 1265 |752919 | 4.7 | 33M| 119 | 5 |3831 |8855 |3831 | 918 | 208k| 32k|3989 | 0.000000e+00 | 2.500000e+01 | Inf
383.81/383.83 c 370s|170000 | 1116 |794810 | 4.7 | 33M| 119 | 15 |3831 |7788 |3831 | 922 | 214k| 46k|4093 | 0.000000e+00 | 2.500000e+01 | Inf
402.50/402.59 o 19
402.50/402.59 c * 388s|179701 | 968 |840449 | 4.7 | 33M| 119 | - |3831 |8355 |3831 | 921 | 218k| 59k|4186 | 0.000000e+00 | 1.900000e+01 | Inf
403.19/403.27 c 389s|180000 | 973 |842407 | 4.7 | 33M| 119 | - |3831 |7678 | 0 | 0 | 218k| 59k|4186 | 0.000000e+00 | 1.900000e+01 | Inf
410.50/410.56 o 6
410.50/410.56 c * 396s|183513 | 870 |863237 | 4.7 | 31M| 119 | - |3831 |9262 |3831 | 944 | 221k| 64k|4235 | 0.000000e+00 | 6.000000e+00 | Inf
420.60/420.69 c 405s|190000 | 942 |886173 | 4.7 | 32M| 119 | 1 |3831 | 10k|3831 | 918 | 222k| 72k|4283 | 0.000000e+00 | 6.000000e+00 | Inf
437.00/437.05 c 421s|200000 | 1018 |919409 | 4.6 | 35M| 119 | 9 |3831 | 15k|3831 | 918 | 223k| 86k|4337 | 0.000000e+00 | 6.000000e+00 | Inf
453.60/453.65 c 437s|210000 | 1049 |949840 | 4.5 | 36M| 119 | 5 |3831 | 17k|3831 | 918 | 225k| 100k|4379 | 0.000000e+00 | 6.000000e+00 | Inf
470.80/470.89 c 453s|220000 | 1043 |982224 | 4.5 | 36M| 119 | 1 |3831 | 17k|3831 | 918 | 226k| 115k|4434 | 0.000000e+00 | 6.000000e+00 | Inf
488.60/488.63 c 470s|230000 | 1008 | 1013k| 4.4 | 37M| 119 | 6 |3831 | 18k|3831 | 918 | 227k| 129k|4481 | 0.000000e+00 | 6.000000e+00 | Inf
506.30/506.35 c 487s|240000 | 1003 | 1043k| 4.3 | 38M| 119 | 10 |3831 | 21k|3831 | 918 | 227k| 143k|4525 | 0.000000e+00 | 6.000000e+00 | Inf
525.00/525.01 c 505s|250000 | 987 | 1073k| 4.3 | 38M| 119 | 1 |3831 | 22k|3831 | 929 | 228k| 157k|4580 | 0.000000e+00 | 6.000000e+00 | Inf
543.90/543.98 c 523s|260000 | 1032 | 1104k| 4.2 | 39M| 119 | - |3831 | 21k| 0 | 0 | 230k| 170k|4628 | 0.000000e+00 | 6.000000e+00 | Inf
562.70/562.73 c 541s|270000 | 1021 | 1132k| 4.2 | 40M| 119 | 23 |3831 | 23k|3831 | 918 | 231k| 185k|4681 | 0.000000e+00 | 6.000000e+00 | Inf
581.90/581.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
581.90/581.96 c 559s|280000 | 1048 | 1160k| 4.1 | 41M| 119 | 17 |3831 | 24k|3831 | 918 | 232k| 199k|4730 | 0.000000e+00 | 6.000000e+00 | Inf
601.70/601.72 c 578s|290000 | 1041 | 1189k| 4.1 | 41M| 119 | 9 |3831 | 24k|3831 | 918 | 233k| 213k|4778 | 0.000000e+00 | 6.000000e+00 | Inf
622.51/622.53 c 598s|300000 | 1088 | 1223k| 4.1 | 42M| 119 | - |3831 | 26k| 0 | 0 | 234k| 227k|4828 | 0.000000e+00 | 6.000000e+00 | Inf
642.60/642.66 c 618s|310000 | 1034 | 1253k| 4.0 | 42M| 119 | 1 |3831 | 27k|3831 | 918 | 234k| 242k|4878 | 0.000000e+00 | 6.000000e+00 | Inf
662.60/662.62 c 637s|320000 | 1018 | 1279k| 4.0 | 41M| 119 | - |3831 | 26k| 0 | 0 | 236k| 257k|4936 | 0.000000e+00 | 6.000000e+00 | Inf
682.70/682.75 c 656s|330000 | 998 | 1308k| 4.0 | 42M| 119 | - |3831 | 27k| 0 | 0 | 237k| 271k|4988 | 0.000000e+00 | 6.000000e+00 | Inf
682.70/682.76 o 5
682.70/682.76 c * 656s|330002 | 986 | 1308k| 4.0 | 41M| 119 | - |3831 | 27k|3831 | 935 | 237k| 271k|4988 | 0.000000e+00 | 5.000000e+00 | Inf
682.70/682.76 o 3
682.70/682.76 c * 656s|330003 | 944 | 1308k| 4.0 | 41M| 119 | - |3831 | 27k|3831 | 935 | 237k| 271k|4988 | 0.000000e+00 | 3.000000e+00 | Inf
703.00/703.08 c 676s|340000 | 952 | 1337k| 3.9 | 41M| 119 | 1 |3831 | 26k|3831 | 918 | 238k| 285k|5037 | 0.000000e+00 | 3.000000e+00 | Inf
723.50/723.58 c 695s|350000 | 928 | 1368k| 3.9 | 39M| 119 | 9 |3831 | 21k|3831 | 918 | 239k| 300k|5095 | 0.000000e+00 | 3.000000e+00 | Inf
742.41/742.50 c 713s|360000 | 935 | 1400k| 3.9 | 40M| 119 | - |3831 | 24k| 0 | 0 | 240k| 314k|5140 | 0.000000e+00 | 3.000000e+00 | Inf
763.20/763.27 c 733s|370000 | 989 | 1436k| 3.9 | 41M| 119 | 21 |3831 | 26k|3831 | 918 | 241k| 328k|5195 | 0.000000e+00 | 3.000000e+00 | Inf
783.60/783.69 c 752s|380000 | 884 | 1471k| 3.9 | 37M| 119 | - |3831 | 17k| 0 | 0 | 241k| 341k|5263 | 0.000000e+00 | 3.000000e+00 | Inf
801.30/801.38 c 769s|390000 | 868 | 1503k| 3.9 | 36M| 119 | 16 |3831 | 13k|3831 | 918 | 243k| 355k|5326 | 0.000000e+00 | 3.000000e+00 | Inf
818.31/818.40 c 785s|400000 | 871 | 1535k| 3.8 | 36M| 119 | - |3831 | 13k| 0 | 0 | 244k| 368k|5365 | 0.000000e+00 | 3.000000e+00 | Inf
836.51/836.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
836.51/836.56 c 802s|410000 | 856 | 1573k| 3.8 | 36M| 119 | 9 |3831 | 15k|3831 | 918 | 245k| 381k|5431 | 0.000000e+00 | 3.000000e+00 | Inf
848.50/848.58 o 1
848.50/848.58 c * 814s|416798 | 854 | 1596k| 3.8 | 38M| 119 | - |3831 | 20k|3831 | 918 | 245k| 390k|5465 | 0.000000e+00 | 1.000000e+00 | Inf
854.20/854.29 c 819s|420000 | 853 | 1607k| 3.8 | 38M| 119 | - |3831 | 20k| 0 | 0 | 246k| 394k|5473 | 0.000000e+00 | 1.000000e+00 | Inf
872.41/872.42 c 836s|430000 | 852 | 1637k| 3.8 | 38M| 119 | 15 |3831 | 21k|3831 | 918 | 246k| 407k|5532 | 0.000000e+00 | 1.000000e+00 | Inf
891.31/891.32 c 854s|440000 | 757 | 1669k| 3.8 | 37M| 119 | - |3831 | 18k| 0 | 0 | 247k| 421k|5803 | 0.000000e+00 | 1.000000e+00 | Inf
909.90/909.98 c 872s|450000 | 739 | 1705k| 3.8 | 37M| 119 | - |3831 | 18k| 0 | 0 | 248k| 434k|5817 | 0.000000e+00 | 1.000000e+00 | Inf
928.80/928.85 c 890s|460000 | 710 | 1740k| 3.8 | 38M| 119 | 27 |3831 | 21k|3831 | 918 | 250k| 447k|5861 | 0.000000e+00 | 1.000000e+00 | Inf
951.60/951.60 c 911s|470000 | 821 | 1789k| 3.8 | 41M| 119 | 8 |3831 | 27k|3831 | 919 | 257k| 460k|6021 | 0.000000e+00 | 1.000000e+00 | Inf
976.31/976.33 c 935s|480000 | 1008 | 1836k| 3.8 | 43M| 119 | - |3831 | 31k| 0 | 0 | 265k| 474k|6114 | 0.000000e+00 | 1.000000e+00 | Inf
1003.30/1003.36 c 961s|490000 | 1178 | 1888k| 3.9 | 46M| 119 | 22 |3831 | 35k|3831 | 930 | 274k| 487k|6180 | 0.000000e+00 | 1.000000e+00 | Inf
1031.81/1031.89 c 988s|500000 | 1261 | 1937k| 3.9 | 47M| 119 | 3 |3831 | 35k|3831 | 908 | 282k| 501k|6245 | 0.000000e+00 | 1.000000e+00 | Inf
1060.50/1060.55 c 1016s|510000 | 1382 | 1993k| 3.9 | 50M| 119 | - |3831 | 39k| 0 | 0 | 293k| 515k|6337 | 0.000000e+00 | 1.000000e+00 | Inf
1090.02/1090.04 c 1044s|520000 | 1429 | 2043k| 3.9 | 51M| 119 | 23 |3831 | 39k|3831 | 908 | 300k| 529k|6395 | 0.000000e+00 | 1.000000e+00 | Inf
1118.01/1118.05 c 1071s|530000 | 1303 | 2091k| 3.9 | 48M| 119 | - |3831 | 32k| 0 | 0 | 308k| 543k|6453 | 0.000000e+00 | 1.000000e+00 | Inf
1143.21/1143.26 c 1095s|540000 | 1197 | 2139k| 4.0 | 48M| 119 | - |3831 | 33k| 0 | 0 | 315k| 557k|6526 | 0.000000e+00 | 1.000000e+00 | Inf
1169.60/1169.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1169.60/1169.60 c 1120s|550000 | 1118 | 2188k| 4.0 | 48M| 119 | 11 |3831 | 34k|3831 | 941 | 322k| 571k|6607 | 0.000000e+00 | 1.000000e+00 | Inf
1196.31/1196.37 c 1146s|560000 | 1068 | 2237k| 4.0 | 47M| 119 | - |3831 | 35k| 0 | 0 | 330k| 584k|6662 | 0.000000e+00 | 1.000000e+00 | Inf
1224.01/1224.04 c 1173s|570000 | 1073 | 2288k| 4.0 | 49M| 119 | - |3831 | 38k| 0 | 0 | 337k| 599k|6706 | 0.000000e+00 | 1.000000e+00 | Inf
1250.72/1250.73 c 1198s|580000 | 1064 | 2334k| 4.0 | 49M| 119 | 12 |3831 | 38k|3831 | 915 | 343k| 612k|6780 | 0.000000e+00 | 1.000000e+00 | Inf
1279.61/1279.63 c 1226s|590000 | 1158 | 2383k| 4.0 | 50M| 119 | 16 |3831 | 39k|3831 | 915 | 351k| 626k|6864 | 0.000000e+00 | 1.000000e+00 | Inf
1308.31/1308.32 c 1254s|600000 | 1322 | 2434k| 4.1 | 52M| 119 | - |3831 | 42k| 0 | 0 | 360k| 640k|6914 | 0.000000e+00 | 1.000000e+00 | Inf
1338.21/1338.22 c 1282s|610000 | 1554 | 2486k| 4.1 | 55M| 119 | - |3831 | 45k| 0 | 0 | 369k| 655k|6964 | 0.000000e+00 | 1.000000e+00 | Inf
1370.81/1370.89 c 1314s|620000 | 1789 | 2544k| 4.1 | 57M| 119 | 3 |3831 | 46k|3831 | 908 | 380k| 669k|7055 | 0.000000e+00 | 1.000000e+00 | Inf
1400.91/1400.97 c 1343s|630000 | 1745 | 2594k| 4.1 | 57M| 119 | - |3831 | 46k| 0 | 0 | 388k| 685k|7097 | 0.000000e+00 | 1.000000e+00 | Inf
1432.01/1432.03 c 1373s|640000 | 1684 | 2644k| 4.1 | 57M| 119 | - |3831 | 44k| 0 | 0 | 397k| 700k|7143 | 0.000000e+00 | 1.000000e+00 | Inf
1460.11/1460.14 c 1400s|650000 | 1636 | 2692k| 4.1 | 57M| 119 | - |3831 | 45k| 0 | 0 | 405k| 714k|7190 | 0.000000e+00 | 1.000000e+00 | Inf
1489.11/1489.16 c 1428s|660000 | 1553 | 2740k| 4.2 | 57M| 119 | - |3831 | 44k|3831 | 938 | 413k| 729k|7251 | 0.000000e+00 | 1.000000e+00 | Inf
1517.71/1517.71 c 1455s|670000 | 1480 | 2789k| 4.2 | 57M| 119 | - |3831 | 45k| 0 | 0 | 420k| 745k|7321 | 0.000000e+00 | 1.000000e+00 | Inf
1545.42/1545.41 c 1482s|680000 | 1478 | 2840k| 4.2 | 57M| 119 | - |3831 | 46k| 0 | 0 | 429k| 760k|7369 | 0.000000e+00 | 1.000000e+00 | Inf
1573.32/1573.38 c 1509s|690000 | 1348 | 2888k| 4.2 | 54M| 119 | - |3831 | 40k| 0 | 0 | 436k| 775k|7421 | 0.000000e+00 | 1.000000e+00 | Inf
1600.61/1600.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1600.61/1600.66 c 1535s|700000 | 1349 | 2934k| 4.2 | 55M| 119 | - |3831 | 42k| 0 | 0 | 444k| 789k|7464 | 0.000000e+00 | 1.000000e+00 | Inf
1630.71/1630.79 c 1564s|710000 | 1443 | 2983k| 4.2 | 56M| 119 | - |3831 | 43k|3831 | 928 | 452k| 803k|7513 | 0.000000e+00 | 1.000000e+00 | Inf
1659.71/1659.74 c 1592s|720000 | 1319 | 3033k| 4.2 | 55M| 119 | - |3831 | 41k| 0 | 0 | 460k| 817k|7569 | 0.000000e+00 | 1.000000e+00 | Inf
1690.31/1690.34 c 1621s|730000 | 964 | 3087k| 4.2 | 48M| 119 | 19 |3831 | 32k|3831 | 916 | 468k| 832k|7644 | 0.000000e+00 | 1.000000e+00 | Inf
1715.42/1715.40 c 1645s|740000 | 1018 | 3129k| 4.2 | 50M| 119 | 13 |3831 | 38k|3831 | 918 | 473k| 845k|7808 | 0.000000e+00 | 1.000000e+00 | Inf
1742.12/1742.11 c 1671s|750000 | 1089 | 3166k| 4.2 | 51M| 119 | - |3831 | 40k| 0 | 0 | 474k| 858k|7844 | 0.000000e+00 | 1.000000e+00 | Inf
1769.32/1769.32 c 1697s|760000 | 1161 | 3211k| 4.2 | 53M| 119 | 16 |3831 | 44k|3831 | 923 | 480k| 871k|7886 | 0.000000e+00 | 1.000000e+00 | Inf
1796.91/1796.91 c 1724s|770000 | 1159 | 3254k| 4.2 | 54M| 119 | 8 |3831 | 44k|3831 | 922 | 484k| 884k|7927 | 0.000000e+00 | 1.000000e+00 | Inf
1800.02/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.01 c
1800.02/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.01 c Solving Time (sec) : 1726.60
1800.02/1800.01 c Solving Nodes : 770894
1800.02/1800.01 c Primal Bound : +1.00000000000000e+00 (219 solutions)
1800.02/1800.01 c Dual Bound : +0.00000000000000e+00
1800.02/1800.01 c Gap : infinite
1800.02/1800.04 s SATISFIABLE
1800.02/1800.04 v -x231 -x230 -x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 x211 -x210
1800.02/1800.04 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.02/1800.04 v -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 -x168
1800.02/1800.04 v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.02/1800.04 v -x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x126 -x125
1800.02/1800.04 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.02/1800.04 v -x103 -x102 x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.02/1800.04 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 -x55 -x54
1800.02/1800.04 v -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.02/1800.04 v -x28 -x27 -x26 -x25 -x24 x23 -x22 -x21 -x20 x19 -x18 -x17 x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
1800.02/1800.04 v -x1
1800.02/1800.04 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.04 c Solving Time : 1726.60
1800.02/1800.04 c Original Problem :
1800.02/1800.04 c Problem name : HOME/instance-2692315-1277912628.wbo
1800.02/1800.04 c Variables : 3945 (2088 binary, 0 integer, 0 implicit integer, 1857 continuous)
1800.02/1800.04 c Constraints : 4565 initial, 4565 maximal
1800.02/1800.04 c Presolved Problem :
1800.02/1800.04 c Problem name : t_HOME/instance-2692315-1277912628.wbo
1800.02/1800.04 c Variables : 3831 (2031 binary, 0 integer, 0 implicit integer, 1800 continuous)
1800.02/1800.04 c Constraints : 4434 initial, 47959 maximal
1800.02/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.04 c trivial : 0.00 57 0 0 0 0 0 0 0
1800.02/1800.04 c dualfix : 0.00 57 0 0 0 0 0 0 0
1800.02/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.04 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.04 c probing : 0.04 0 0 0 0 0 0 0 0
1800.02/1800.04 c indicator : 0.01 0 0 0 0 0 57 0 0
1800.02/1800.04 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.04 c linear : 0.03 0 0 0 1864 0 74 62 0
1800.02/1800.04 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.04 c root node : - 1800 - - 3600 - - - -
1800.02/1800.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.04 c integral : 0 0 0 554516 0 8 314 0 0 747672
1800.02/1800.04 c indicator : 1800 0 1680690 149068 0 202 2665817 0 0 0
1800.02/1800.04 c setppc : 5 6 3252845 126147 0 15282 811214 0 0 0
1800.02/1800.04 c linear : 1800 6 3347127 180381 0 169912 15957057 485044 0 0
1800.02/1800.04 c logicor : 829+ 6 1440681 115113 0 142823 3350434 0 0 0
1800.02/1800.04 c bounddisjunction : 0+ 0 28636 0 0 0 8 0 0 0
1800.02/1800.04 c countsols : 0 0 0 115113 0 0 0 0 0 0
1800.02/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.04 c integral : 19.62 0.00 0.00 19.62 0.00
1800.02/1800.04 c indicator : 29.41 0.00 10.37 19.04 0.00
1800.02/1800.04 c setppc : 5.52 0.00 5.52 0.00 0.00
1800.02/1800.04 c linear : 127.59 0.01 120.44 7.14 0.00
1800.02/1800.04 c logicor : 306.49 0.00 305.65 0.84 0.00
1800.02/1800.04 c bounddisjunction : 0.01 0.00 0.01 0.00 0.00
1800.02/1800.04 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.04 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.04 c vbounds : 0.02 2 0 0
1800.02/1800.04 c rootredcost : 0.00 103 0 1800
1800.02/1800.04 c pseudoobj : 110.05 3366221 3705 1591969
1800.02/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.04 c propagation : 16.21 331722 331364 2005544 29.7 12695 25.2 -
1800.02/1800.04 c infeasible LP : 4.12 15982 15982 128398 45.0 112 23.6 0
1800.02/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.04 c pseudo solution : 0.05 197 197 1164 15.9 63 4.3 -
1800.02/1800.04 c applied globally : - - - 886137 23.7 - - -
1800.02/1800.04 c applied locally : - - - 0 0.0 - - -
1800.02/1800.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.04 c cut pool : 0.00 5 - - 21 - (maximal pool size: 72)
1800.02/1800.04 c redcost : 30.45 557401 0 940293 0 0
1800.02/1800.04 c impliedbounds : 0.00 6 0 0 0 0
1800.02/1800.04 c intobj : 0.00 0 0 0 0 0
1800.02/1800.04 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.04 c gomory : 0.15 6 0 0 363 0
1800.02/1800.04 c strongcg : 0.07 6 0 0 44 0
1800.02/1800.04 c cmir : 0.05 6 0 0 0 0
1800.02/1800.04 c flowcover : 0.06 6 0 0 0 0
1800.02/1800.04 c clique : 0.00 6 0 0 0 0
1800.02/1800.04 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.04 c mcf : 0.00 1 0 0 0 0
1800.02/1800.04 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.04 c Pricers : Time Calls Vars
1800.02/1800.04 c problem variables: 0.00 0 0
1800.02/1800.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.04 c relpscost : 19.55 374103 8 314 0 0 747672
1800.02/1800.04 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.04 c inference : 17.80 115011 0 0 0 0 230022
1800.02/1800.04 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.04 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.04 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.04 c random : 0.00 0 0 0 0 0 0
1800.02/1800.04 c Primal Heuristics : Time Calls Found
1800.02/1800.04 c LP solutions : 0.34 - 102
1800.02/1800.04 c pseudo solutions : 0.00 - 0
1800.02/1800.04 c feaspump : 0.00 1 0
1800.02/1800.04 c oneopt : 0.37 91 0
1800.02/1800.04 c intshifting : 0.00 17 0
1800.02/1800.04 c crossover : 2.20 108 0
1800.02/1800.04 c veclendiving : 6.49 6333 0
1800.02/1800.04 c guideddiving : 6.54 6333 0
1800.02/1800.04 c pscostdiving : 6.67 6333 0
1800.02/1800.04 c linesearchdiving : 6.34 6334 0
1800.02/1800.04 c coefdiving : 6.42 6334 0
1800.02/1800.04 c fracdiving : 5.89 6334 0
1800.02/1800.04 c rootsoldiving : 6.47 4691 0
1800.02/1800.04 c objpscostdiving : 4.89 4708 0
1800.02/1800.04 c trivial : 0.00 2 0
1800.02/1800.04 c simplerounding : 0.24 374655 0
1800.02/1800.04 c zirounding : 0.05 1000 0
1800.02/1800.04 c rounding : 1.66 8644 0
1800.02/1800.04 c shifting : 1.25 2726 0
1800.02/1800.04 c twoopt : 0.00 0 0
1800.02/1800.04 c fixandinfer : 0.00 0 0
1800.02/1800.04 c intdiving : 0.00 0 0
1800.02/1800.04 c actconsdiving : 0.00 0 0
1800.02/1800.04 c octane : 0.00 0 0
1800.02/1800.04 c rens : 0.01 1 0
1800.02/1800.04 c rins : 0.00 0 0
1800.02/1800.04 c localbranching : 0.00 0 0
1800.02/1800.04 c mutation : 0.00 0 0
1800.02/1800.04 c dins : 0.00 0 0
1800.02/1800.04 c undercover : 0.00 0 0
1800.02/1800.04 c nlp : 0.01 0 0
1800.02/1800.04 c trysol : 0.92 10610 117
1800.02/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.04 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.04 c dual LP : 484.85 466699 3252235 6.97 6707.71
1800.02/1800.04 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.04 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.04 c diving/probing LP: 1.46 1082 7616 7.04 5216.44
1800.02/1800.04 c strong branching : 16.47 7927 111094 14.01 6745.23
1800.02/1800.04 c (at root node) : - 33 2838 86.00 -
1800.02/1800.04 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.04 c B&B Tree :
1800.02/1800.04 c number of runs : 1
1800.02/1800.04 c nodes : 770894
1800.02/1800.04 c nodes (total) : 770894
1800.02/1800.04 c nodes left : 1163
1800.02/1800.04 c max depth : 119
1800.02/1800.04 c max depth (total): 119
1800.02/1800.04 c backtracks : 82755 (10.7%)
1800.02/1800.04 c delayed cutoffs : 68366
1800.02/1800.04 c repropagations : 1376671 (4571066 domain reductions, 65556 cutoffs)
1800.02/1800.04 c avg switch length: 5.25
1800.02/1800.04 c switching time : 258.90
1800.02/1800.04 c Solution :
1800.02/1800.04 c Solutions found : 219 (103 improvements)
1800.02/1800.04 c First Solution : +9.07310000000000e+04 (in run 1, after 1 nodes, 0.13 seconds, depth 0, found by <trysol>)
1800.02/1800.04 c Primal Bound : +1.00000000000000e+00 (in run 1, after 416798 nodes, 813.52 seconds, depth 44, found by <relaxation>)
1800.02/1800.04 c Dual Bound : +0.00000000000000e+00
1800.02/1800.04 c Gap : infinite
1800.02/1800.04 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.04 c Root Iterations : 190
1800.12/1800.13 c Time complete: 1800.15.
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692315-1277912628/watcher-2692315-1277912628 -o /tmp/evaluation-result-2692315-1277912628/solver-2692315-1277912628 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692315-1277912628.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 1.99 1.99 4/178 24656 /proc/meminfo: memFree=31092120/32951124 swapFree=67111528/67111528 [pid=24656] ppid=24654 vsize=9552 CPUtime=0 /proc/24656/stat : 24656 (pbscip.linux.x8) R 24654 24656 24474 0 -1 4202496 1682 0 0 0 0 0 0 0 21 0 1 0 164902355 9781248 1601 4089446400 4194304 8223781 140736685107056 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/24656/statm: 2388 1601 369 984 0 1401 0 [startup+0.0335219 s] /proc/loadavg: 1.92 1.99 1.99 4/178 24656 /proc/meminfo: memFree=31092120/32951124 swapFree=67111528/67111528 [pid=24656] ppid=24654 vsize=17512 CPUtime=0.02 /proc/24656/stat : 24656 (pbscip.linux.x8) R 24654 24656 24474 0 -1 4202496 3975 0 0 0 2 0 0 0 21 0 1 0 164902355 17932288 3531 4089446400 4194304 8223781 140736685107056 18446744073709551615 7235159 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24656/statm: 4378 3555 384 984 0 3391 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 17512 [startup+0.10051 s] /proc/loadavg: 1.92 1.99 1.99 4/178 24656 /proc/meminfo: memFree=31092120/32951124 swapFree=67111528/67111528 [pid=24656] ppid=24654 vsize=30792 CPUtime=0.09 /proc/24656/stat : 24656 (pbscip.linux.x8) R 24654 24656 24474 0 -1 4202496 7843 0 0 0 8 1 0 0 21 0 1 0 164902355 31531008 6370 4089446400 4194304 8223781 140736685107056 18446744073709551615 7302071 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24656/statm: 7441 6370 452 984 0 6454 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 30792 [startup+0.300473 s] /proc/loadavg: 1.92 1.99 1.99 4/178 24656 /proc/meminfo: memFree=31092120/32951124 swapFree=67111528/67111528 [pid=24656] ppid=24654 vsize=36128 CPUtime=0.29 /proc/24656/stat : 24656 (pbscip.linux.x8) R 24654 24656 24474 0 -1 4202496 11667 0 0 0 26 3 0 0 21 0 1 0 164902355 36995072 8109 4089446400 4194304 8223781 140736685107056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24656/statm: 9032 8109 572 984 0 8045 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36128 [startup+0.700413 s] /proc/loadavg: 1.92 1.99 1.99 4/178 24656 /proc/meminfo: memFree=31092120/32951124 swapFree=67111528/67111528 [pid=24656] ppid=24654 vsize=36928 CPUtime=0.69 /proc/24656/stat : 24656 (pbscip.linux.x8) R 24654 24656 24474 0 -1 4202496 18851 0 0 0 64 5 0 0 22 0 1 0 164902355 37814272 8307 4089446400 4194304 8223781 140736685107056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24656/statm: 9232 8307 589 984 0 8245 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 36928 [startup+1.50031 s] /proc/loadavg: 1.92 1.99 1.99 3/179 24657 /proc/meminfo: memFree=31060864/32951124 swapFree=67111528/67111528 [pid=24656] ppid=24654 vsize=36904 CPUtime=1.49 /proc/24656/stat : 24656 (pbscip.linux.x8) R 24654 24656 24474 0 -1 4202496 19082 0 0 0 141 8 0 0 25 0 1 0 164902355 37789696 8306 4089446400 4194304 8223781 140736685107056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24656/statm: 9226 8306 589 984 0 8239 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 36904 [startup+3.10103 s] /proc/loadavg: 1.92 1.99 1.99 3/179 24657 /proc/meminfo: memFree=31061392/32951124 swapFree=67111528/67111528 [pid=24656] ppid=24654 vsize=37020 CPUtime=3.09 /proc/24656/stat : 24656 (pbscip.linux.x8) R 24654 24656 24474 0 -1 4202496 19257 0 0 0 293 16 0 0 25 0 1 0 164902355 37908480 8321 4089446400 4194304 8223781 140736685107056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24656/statm: 9255 8321 591 984 0 8268 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 37020 [startup+6.30049 s] /proc/loadavg: 1.93 1.99 1.99 3/179 24657 /proc/meminfo: memFree=31060152/32951124 swapFree=67111528/67111528 [pid=24656] ppid=24654 vsize=39744 CPUtime=6.29 /proc/24656/stat : 24656 (pbscip.linux.x8) R 24654 24656 24474 0 -1 4202496 20496 0 0 0 601 28 0 0 25 0 1 0 164902355 40697856 8899 4089446400 4194304 8223781 140736685107056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24656/statm: 9936 8899 594 984 0 8949 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 39744 [startup+12.7004 s] /proc/loadavg: 1.93 1.99 1.99 3/179 24657 /proc/meminfo: memFree=31050540/32951124 swapFree=67111528/67111528 [pid=24656] ppid=24654 vsize=50184 CPUtime=12.69 /proc/24656/stat : 24656 (pbscip.linux.x8) R 24654 24656 24474 0 -1 4202496 42057 0 0 0 1215 54 0 0 25 0 1 0 164902355 51388416 11451 4089446400 4194304 8223781 140736685107056 18446744073709551615 6003263 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24656/statm: 12546 11451 595 984 0 11559 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 50184 [startup+25.5003 s] /proc/loadavg: 1.95 1.99 1.99 3/179 24657 /proc/meminfo: memFree=31035020/32951124 swapFree=67111528/67111528 [pid=24656] ppid=24654 vsize=63240 CPUtime=25.49 /proc/24656/stat : 24656 (pbscip.linux.x8) R 24654 24656 24474 0 -1 4202496 60817 0 0 0 2446 103 0 0 25 0 1 0 164902355 64757760 14747 4089446400 4194304 8223781 140736685107056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24656/statm: 15810 14747 595 984 0 14823 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 63240 [startup+51.101 s] /proc/loadavg: 1.96 1.99 1.99 3/179 24659 /proc/meminfo: memFree=31001944/32951124 swapFree=67111528/67111528 [pid=24656] ppid=24654 vsize=92976 CPUtime=51.09 /proc/24656/stat : 24656 (pbscip.linux.x8) R 24654 24656 24474 0 -1 4202496 74946 0 0 0 4924 185 0 0 25 0 1 0 164902355 95207424 22227 4089446400 4194304 8223781 140736685107056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24656/statm: 23244 22227 595 984 0 22257 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 92976 [startup+102.307 s] /proc/loadavg: 1.98 1.99 1.99 3/179 24659 /proc/meminfo: memFree=30943112/32951124 swapFree=67111528/67111528 [pid=24656] ppid=24654 vsize=147676 CPUtime=102.3 /proc/24656/stat : 24656 (pbscip.linux.x8) R 24654 24656 24474 0 -1 4202496 103305 0 0 0 9870 360 0 0 25 0 1 0 164902355 151220224 36024 4089446400 4194304 8223781 140736685107056 18446744073709551615 6456376 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24656/statm: 36919 36024 595 984 0 35932 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 147676 [startup+162.3 s] /proc/loadavg: 1.99 1.99 1.99 3/179 24661 /proc/meminfo: memFree=30903988/32951124 swapFree=67111528/67111528 [pid=24656] ppid=24654 vsize=184660 CPUtime=162.29 /proc/24656/stat : 24656 (pbscip.linux.x8) R 24654 24656 24474 0 -1 4202496 236793 0 0 0 15661 568 0 0 25 0 1 0 164902355 189091840 44772 4089446400 4194304 8223781 140736685107056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24656/statm: 46165 44772 598 984 0 45178 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 184660 [startup+222.3 s] /proc/loadavg: 1.99 1.99 1.99 3/179 24663 /proc/meminfo: memFree=30845016/32951124 swapFree=67111528/67111528 [pid=24656] ppid=24654 vsize=239136 CPUtime=222.3 /proc/24656/stat : 24656 (pbscip.linux.x8) R 24654 24656 24474 0 -1 4202496 294002 0 0 0 21458 772 0 0 25 0 1 0 164902355 244875264 58436 4089446400 4194304 8223781 140736685107056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24656/statm: 59784 58436 598 984 0 58797 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 239136 [startup+282.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 24665 /proc/meminfo: memFree=30802448/32951124 swapFree=67111528/67111528 [pid=24656] ppid=24654 vsize=279892 CPUtime=282.3 /proc/24656/stat : 24656 (pbscip.linux.x8) R 24654 24656 24474 0 -1 4202496 401934 0 0 0 27257 973 0 0 25 0 1 0 164902355 286609408 68653 4089446400 4194304 8223781 140736685107056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24656/statm: 69973 68653 598 984 0 68986 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 279892 [startup+342.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 24667 /proc/meminfo: memFree=30761456/32951124 swapFree=67111528/67111528 [pid=24656] ppid=24654 vsize=315840 CPUtime=342.3 /proc/24656/stat : 24656 (pbscip.linux.x8) R 24654 24656 24474 0 -1 4202496 580002 0 0 0 33036 1194 0 0 25 0 1 0 164902355 323420160 77523 4089446400 4194304 8223781 140736685107056 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24656/statm: 78960 77523 605 984 0 77973 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 315840 [startup+402.301 s] /proc/loadavg: 2.05 2.01 2.00 3/179 24667 /proc/meminfo: memFree=30745664/32951124 swapFree=67111528/67111528 [pid=24656] ppid=24654 vsize=326808 CPUtime=402.29 /proc/24656/stat : 24656 (pbscip.linux.x8) R 24654 24656 24474 0 -1 4202496 639767 0 0 0 38770 1459 0 0 25 0 1 0 164902355 334651392 80202 4089446400 4194304 8223781 140736685107056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24656/statm: 81702 80202 605 984 0 80715 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 326808 [startup+462.301 s] /proc/loadavg: 2.02 2.01 2.00 3/179 24669 /proc/meminfo: memFree=30739664/32951124 swapFree=67111528/67111528 [pid=24656] ppid=24654 vsize=329472 CPUtime=462.3 /proc/24656/stat : 24656 (pbscip.linux.x8) R 24654 24656 24474 0 -1 4202496 712876 0 0 0 44493 1737 0 0 25 0 1 0 164902355 337379328 80864 4089446400 4194304 8223781 140736685107056 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24656/statm: 82368 80864 605 984 0 81381 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 329472 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24671 /proc/meminfo: memFree=30730932/32951124 swapFree=67111528/67111528 [pid=24656] ppid=24654 vsize=332152 CPUtime=522.3 /proc/24656/stat : 24656 (pbscip.linux.x8) R 24654 24656 24474 0 -1 4202496 725812 0 0 0 50235 1995 0 0 25 0 1 0 164902355 340123648 81511 4089446400 4194304 8223781 140736685107056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24656/statm: 83038 81511 605 984 0 82051 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 332152 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24673 /proc/meminfo: memFree=30726780/32951124 swapFree=67111528/67111528 [pid=24656] ppid=24654 vsize=333696 CPUtime=582.3 /proc/24656/stat : 24656 (pbscip.linux.x8) R 24654 24656 24474 0 -1 4202496 727234 0 0 0 55983 2247 0 0 25 0 1 0 164902355 341704704 81857 4089446400 4194304 8223781 140736685107056 18446744073709551615 6002998 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24656/statm: 83424 81857 605 984 0 82437 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 333696 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24675 /proc/meminfo: memFree=30715192/32951124 swapFree=67111528/67111528 [pid=24656] ppid=24654 vsize=335700 CPUtime=642.31 /proc/24656/stat : 24656 (pbscip.linux.x8) R 24654 24656 24474 0 -1 4202496 742289 0 0 0 61748 2483 0 0 25 0 1 0 164902355 343756800 82335 4089446400 4194304 8223781 140736685107056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24656/statm: 83925 82335 605 984 0 82938 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 335700 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.99 1.98 1.99 3/179 24730 /proc/meminfo: memFree=30733228/32951124 swapFree=67111528/67111528 [pid=24656] ppid=24654 vsize=338676 CPUtime=882.31 /proc/24656/stat : 24656 (pbscip.linux.x8) R 24654 24656 24474 0 -1 4202496 822020 0 0 0 84557 3674 0 0 25 0 1 0 164902355 346804224 83011 4089446400 4194304 8223781 140736685107056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24656/statm: 84669 83011 605 984 0 83682 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 338676 [startup+942.301 s] /proc/loadavg: 1.99 1.98 1.99 3/179 24732 /proc/meminfo: memFree=30725608/32951124 swapFree=67111528/67111528 [pid=24656] ppid=24654 vsize=340120 CPUtime=942.3 /proc/24656/stat : 24656 (pbscip.linux.x8) R 24654 24656 24474 0 -1 4202496 825828 0 0 0 90247 3983 0 0 25 0 1 0 164902355 348282880 83225 4089446400 4194304 8223781 140736685107056 18446744073709551615 4210635 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24656/statm: 85030 83225 605 984 0 84043 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 340120 [startup+1002.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 24732 /proc/meminfo: memFree=30721568/32951124 swapFree=67111528/67111528 [pid=24656] ppid=24654 vsize=342696 CPUtime=1002.31 /proc/24656/stat : 24656 (pbscip.linux.x8) R 24654 24656 24474 0 -1 4202496 834647 0 0 0 95987 4244 0 0 25 0 1 0 164902355 350920704 83861 4089446400 4194304 8223781 140736685107056 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24656/statm: 85674 83861 605 984 0 84687 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 342696 [startup+1062.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 24743 /proc/meminfo: memFree=30715584/32951124 swapFree=67111528/67111528 [pid=24656] ppid=24654 vsize=344720 CPUtime=1062.31 /proc/24656/stat : 24656 (pbscip.linux.x8) R 24654 24656 24474 0 -1 4202496 836361 0 0 0 101751 4480 0 0 25 0 1 0 164902355 352993280 84272 4089446400 4194304 8223781 140736685107056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24656/statm: 86180 84272 605 984 0 85193 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 344720 [startup+1122.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 24745 /proc/meminfo: memFree=30708948/32951124 swapFree=67111528/67111528 [pid=24656] ppid=24654 vsize=345828 CPUtime=1122.3 /proc/24656/stat : 24656 (pbscip.linux.x8) R 24654 24656 24474 0 -1 4202496 855646 0 0 0 107515 4715 0 0 25 0 1 0 164902355 354127872 84557 4089446400 4194304 8223781 140736685107056 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24656/statm: 86457 84557 605 984 0 85470 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 345828 [startup+1182.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 24747 /proc/meminfo: memFree=30704288/32951124 swapFree=67111528/67111528 [pid=24656] ppid=24654 vsize=345900 CPUtime=1182.31 /proc/24656/stat : 24656 (pbscip.linux.x8) R 24654 24656 24474 0 -1 4202496 861581 0 0 0 113260 4971 0 0 25 0 1 0 164902355 354201600 84586 4089446400 4194304 8223781 140736685107056 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24656/statm: 86475 84586 605 984 0 85488 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 345900 [startup+1242.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 24749 /proc/meminfo: memFree=30701008/32951124 swapFree=67111528/67111528 [pid=24656] ppid=24654 vsize=345984 CPUtime=1242.31 /proc/24656/stat : 24656 (pbscip.linux.x8) R 24654 24656 24474 0 -1 4202496 866100 0 0 0 119024 5207 0 0 25 0 1 0 164902355 354287616 84598 4089446400 4194304 8223781 140736685107056 18446744073709551615 4431666 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24656/statm: 86496 84598 605 984 0 85509 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 345984 [startup+1302.3 s] /proc/loadavg: 2.03 2.00 2.00 3/179 24749 /proc/meminfo: memFree=30698856/32951124 swapFree=67111528/67111528 [pid=24656] ppid=24654 vsize=346080 CPUtime=1302.31 /proc/24656/stat : 24656 (pbscip.linux.x8) R 24654 24656 24474 0 -1 4202496 879696 0 0 0 124783 5448 0 0 25 0 1 0 164902355 354385920 84666 4089446400 4194304 8223781 140736685107056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24656/statm: 86520 84666 605 984 0 85533 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 346080 [startup+1362.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 24751 /proc/meminfo: memFree=30692092/32951124 swapFree=67111528/67111528 [pid=24656] ppid=24654 vsize=348696 CPUtime=1362.31 /proc/24656/stat : 24656 (pbscip.linux.x8) R 24654 24656 24474 0 -1 4202496 884331 0 0 0 130566 5665 0 0 25 0 1 0 164902355 357064704 85234 4089446400 4194304 8223781 140736685107056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24656/statm: 87174 85234 605 984 0 86187 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 348696 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24753 /proc/meminfo: memFree=30687472/32951124 swapFree=67111528/67111528 [pid=24656] ppid=24654 vsize=350332 CPUtime=1422.32 /proc/24656/stat : 24656 (pbscip.linux.x8) R 24654 24656 24474 0 -1 4202496 897274 0 0 0 136347 5885 0 0 25 0 1 0 164902355 358739968 85599 4089446400 4194304 8223781 140736685107056 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24656/statm: 87583 85599 605 984 0 86596 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 350332 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24755 /proc/meminfo: memFree=30683200/32951124 swapFree=67111528/67111528 [pid=24656] ppid=24654 vsize=350440 CPUtime=1482.31 /proc/24656/stat : 24656 (pbscip.linux.x8) R 24654 24656 24474 0 -1 4202496 902248 0 0 0 142114 6117 0 0 25 0 1 0 164902355 358850560 85617 4089446400 4194304 8223781 140736685107056 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24656/statm: 87610 85617 605 984 0 86623 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 350440 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24757 /proc/meminfo: memFree=30680528/32951124 swapFree=67111528/67111528 [pid=24656] ppid=24654 vsize=350644 CPUtime=1542.32 /proc/24656/stat : 24656 (pbscip.linux.x8) R 24654 24656 24474 0 -1 4202496 907835 0 0 0 147882 6350 0 0 25 0 1 0 164902355 359059456 85678 4089446400 4194304 8223781 140736685107056 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24656/statm: 87661 85678 605 984 0 86674 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 350644 [startup+1602.3 s] /proc/loadavg: 2.03 2.01 2.00 3/179 24757 /proc/meminfo: memFree=30676408/32951124 swapFree=67111528/67111528 [pid=24656] ppid=24654 vsize=350684 CPUtime=1602.32 /proc/24656/stat : 24656 (pbscip.linux.x8) R 24654 24656 24474 0 -1 4202496 910619 0 0 0 153646 6586 0 0 25 0 1 0 164902355 359100416 85727 4089446400 4194304 8223781 140736685107056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24656/statm: 87671 85727 605 984 0 86684 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 350684 [startup+1662.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 24759 /proc/meminfo: memFree=30670536/32951124 swapFree=67111528/67111528 [pid=24656] ppid=24654 vsize=351736 CPUtime=1662.31 /proc/24656/stat : 24656 (pbscip.linux.x8) R 24654 24656 24474 0 -1 4202496 920373 0 0 0 159418 6813 0 0 25 0 1 0 164902355 360177664 85881 4089446400 4194304 8223781 140736685107056 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24656/statm: 87934 85881 605 984 0 86947 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 351736 [startup+1722.3 s] /proc/loadavg: 2.08 2.02 2.01 3/179 24761 /proc/meminfo: memFree=30667884/32951124 swapFree=67111528/67111528 [pid=24656] ppid=24654 vsize=351568 CPUtime=1722.31 /proc/24656/stat : 24656 (pbscip.linux.x8) R 24654 24656 24474 0 -1 4202496 924745 0 0 0 165184 7047 0 0 25 0 1 0 164902355 360005632 85840 4089446400 4194304 8223781 140736685107056 18446744073709551615 4210097 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24656/statm: 87892 85840 605 984 0 86905 0 Current children cumulated CPU time (s) 1722.31 Current children cumulated vsize (KiB) 351568 [startup+1782.3 s] /proc/loadavg: 2.03 2.01 2.00 3/179 24763 /proc/meminfo: memFree=30663716/32951124 swapFree=67111528/67111528 [pid=24656] ppid=24654 vsize=352604 CPUtime=1782.32 /proc/24656/stat : 24656 (pbscip.linux.x8) R 24654 24656 24474 0 -1 4202496 929401 0 0 0 170956 7276 0 0 25 0 1 0 164902355 361066496 86015 4089446400 4194304 8223781 140736685107056 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24656/statm: 88151 86015 605 984 0 87164 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 352604 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.02 2.01 2.00 3/179 24763 /proc/meminfo: memFree=30663336/32951124 swapFree=67111528/67111528 [pid=24656] ppid=24654 vsize=352604 CPUtime=1800.02 /proc/24656/stat : 24656 (pbscip.linux.x8) R 24654 24656 24474 0 -1 4202496 929992 0 0 0 172661 7341 0 0 25 0 1 0 164902355 361066496 86015 4089446400 4194304 8223781 140736685107056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24656/statm: 88151 86015 605 984 0 87164 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 352604 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.02 2.01 2.00 3/179 24763 /proc/meminfo: memFree=30663336/32951124 swapFree=67111528/67111528 [pid=24656] ppid=24654 vsize=309712 CPUtime=1800.12 /proc/24656/stat : 24656 (pbscip.linux.x8) R 24654 24656 24474 0 -1 4202496 930036 0 0 0 172671 7341 0 0 18 0 1 0 164902355 317145088 75307 4089446400 4194304 8223781 140736685107056 18446744073709551615 6207086 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/24656/statm: 77428 75307 607 984 0 76441 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 309712 Child status: 0 Real time (s): 1800.14 CPU time (s): 1800.16 CPU user time (s): 1726.73 CPU system time (s): 73.4298 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 352668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1726.73 system time used= 73.4298 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 930040 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= 3079 runsolver used 3.15552 second user time and 6.67698 second system time The end
Begin job on node118 at 2010-06-30 17:43:48 IDJOB=2692315 IDBENCH=78998 IDSOLVER=1204 FILE ID=node118/2692315-1277912628 PBS_JOBID= 11197260 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.1900544484--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-2692315-1277912628/watcher-2692315-1277912628 -o /tmp/evaluation-result-2692315-1277912628/solver-2692315-1277912628 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692315-1277912628.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 97e6423088cc7ef1f08dcccdf9e01ef4 RANDOM SEED=2039945275 node118.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.791 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.58 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.791 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 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.76 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.791 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.791 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.791 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.83 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.791 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 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 : 5448.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31092524 kB Buffers: 198528 kB Cached: 1302372 kB SwapCached: 0 kB Active: 690308 kB Inactive: 1025040 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31092524 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4696 kB Writeback: 0 kB AnonPages: 215108 kB Mapped: 17108 kB Slab: 79032 kB PageTables: 5500 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 359712 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node118 at 2010-06-30 18:13:50