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.39 | 1800.36 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900550720--soft-0-100-0.wbo |
| MD5SUM | 78d8e4512631586bbdc844ad983c3b47 |
| Bench Category | SOFT-SMALLINT-LIN (only soft 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 | 274.2 |
| 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 | 2707 |
| 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 | 135280 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 135279 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 687 |
| 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-2692357-1277927871.wbo>
0.00/0.03 c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.09/0.12 o 135279
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.352790e+05
0.09/0.12 c presolving:
0.09/0.13 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.14 c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.18 c (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (3 rounds):
0.09/0.18 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18 c 2707 implications, 0 cliques
0.09/0.18 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.18 c 2707 constraints of type <indicator>
0.09/0.18 c 2707 constraints of type <linear>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.12
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1799.98
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 3420
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 c
0.19/0.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.20 c t 0.1s| 1 | 0 | 0 | - | 19M| 0 | 0 |5645 |5414 |5645 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.352790e+05 | Inf
0.19/0.20 c 0.1s| 1 | 0 | 22 | - | 19M| 0 | 0 |5645 |5414 |5645 | 22 | 22 | 0 | 0 | 0.000000e+00 | 1.352790e+05 | Inf
0.19/0.20 c 0.1s| 1 | 0 | 43 | - | 19M| 0 | 7 |5645 |5414 |5645 | 53 | 53 | 0 | 0 | 0.000000e+00 | 1.352790e+05 | Inf
0.19/0.22 c 0.2s| 1 | 0 | 65 | - | 19M| 0 | 19 |5645 |5414 |5645 | 89 | 89 | 0 | 0 | 0.000000e+00 | 1.352790e+05 | Inf
0.19/0.23 c 0.2s| 1 | 0 | 85 | - | 19M| 0 | 30 |5645 |5414 |5645 | 113 | 113 | 0 | 0 | 0.000000e+00 | 1.352790e+05 | Inf
0.19/0.25 c 0.2s| 1 | 0 | 98 | - | 19M| 0 | 32 |5645 |5414 |5645 | 127 | 127 | 0 | 0 | 0.000000e+00 | 1.352790e+05 | Inf
0.19/0.27 c 0.2s| 1 | 0 | 106 | - | 19M| 0 | 32 |5645 |5414 |5645 | 137 | 137 | 0 | 0 | 0.000000e+00 | 1.352790e+05 | Inf
0.39/0.41 c 0.3s| 1 | 2 | 185 | - | 19M| 0 | 32 |5645 |5414 |5645 | 137 | 137 | 0 | 32 | 0.000000e+00 | 1.352790e+05 | Inf
27.79/27.85 c 27.1s| 10000 | 10001 | 33748 | 3.4 | 51M| 111 | 0 |5645 |5414 |5645 | 221 | 12k| 0 |1696 | 0.000000e+00 | 1.352790e+05 | Inf
49.40/49.48 c 48.1s| 20000 | 20001 | 54858 | 2.7 | 74M| 127 | 0 |5645 |5414 |5645 | 189 | 20k| 0 |1742 | 0.000000e+00 | 1.352790e+05 | Inf
70.30/70.38 c 68.5s| 30000 | 30001 | 74994 | 2.5 | 96M| 143 | 0 |5645 |5414 |5645 | 325 | 28k| 0 |1760 | 0.000000e+00 | 1.352790e+05 | Inf
91.20/91.22 c 88.8s| 40000 | 40001 | 93484 | 2.3 | 118M| 151 | 0 |5645 |5414 |5645 | 206 | 35k| 0 |1777 | 0.000000e+00 | 1.352790e+05 | Inf
112.49/112.55 c 110s| 50000 | 50001 |111648 | 2.2 | 140M| 151 | 0 |5645 |5414 |5645 | 210 | 43k| 0 |1888 | 0.000000e+00 | 1.352790e+05 | Inf
133.39/133.46 c 130s| 60000 | 60001 |127503 | 2.1 | 161M| 153 | 4 |5645 |5414 |5645 | 166 | 49k| 0 |2099 | 0.000000e+00 | 1.352790e+05 | Inf
153.30/153.33 c 149s| 70000 | 70001 |140823 | 2.0 | 183M| 199 | 0 |5645 |5414 |5645 | 204 | 54k| 0 |2233 | 0.000000e+00 | 1.352790e+05 | Inf
173.10/173.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
173.10/173.15 c 169s| 80000 | 80001 |154248 | 1.9 | 204M| 199 | 0 |5645 |5414 |5645 | 205 | 59k| 0 |2398 | 0.000000e+00 | 1.352790e+05 | Inf
192.80/192.82 c 188s| 90000 | 89999 |166749 | 1.9 | 225M| 199 | 0 |5645 |5423 |5645 | 207 | 64k| 9 |2542 | 0.000000e+00 | 1.352790e+05 | Inf
212.39/212.47 c 207s|100000 | 99999 |178755 | 1.8 | 246M| 199 | 0 |5645 |5423 |5645 | 195 | 68k| 9 |2660 | 0.000000e+00 | 1.352790e+05 | Inf
232.10/232.19 c 226s|110000 |109999 |191354 | 1.7 | 267M| 201 | 0 |5645 |5423 |5645 | 190 | 73k| 9 |2829 | 0.000000e+00 | 1.352790e+05 | Inf
251.90/251.98 c 246s|120000 |119999 |204000 | 1.7 | 288M| 207 | 0 |5645 |5423 |5645 | 307 | 78k| 9 |2960 | 0.000000e+00 | 1.352790e+05 | Inf
271.49/271.57 c 265s|130000 |129997 |215865 | 1.7 | 309M| 207 | 0 |5645 |5424 |5645 | 194 | 83k| 10 |3049 | 0.000000e+00 | 1.352790e+05 | Inf
291.60/291.67 c 284s|140000 |139997 |229376 | 1.6 | 330M| 207 | 0 |5645 |5424 |5645 | 204 | 89k| 10 |3234 | 0.000000e+00 | 1.352790e+05 | Inf
311.21/311.28 c 303s|150000 |149997 |240506 | 1.6 | 351M| 207 | 0 |5645 |5424 |5645 | 208 | 93k| 10 |3336 | 0.000000e+00 | 1.352790e+05 | Inf
331.00/331.02 c 323s|160000 |159997 |252641 | 1.6 | 372M| 207 | 0 |5645 |5424 |5645 | 181 | 98k| 10 |3463 | 0.000000e+00 | 1.352790e+05 | Inf
350.50/350.50 c 342s|170000 |169997 |262788 | 1.5 | 393M| 207 | 0 |5645 |5424 |5645 | 240 | 101k| 10 |3562 | 0.000000e+00 | 1.352790e+05 | Inf
369.90/369.99 c 361s|180000 |179997 |273427 | 1.5 | 414M| 207 | 0 |5645 |5424 |5645 | 172 | 105k| 10 |3643 | 0.000000e+00 | 1.352790e+05 | Inf
389.40/389.49 c 380s|190000 |189997 |283955 | 1.5 | 435M| 207 | 0 |5645 |5424 |5645 | 268 | 109k| 10 |3742 | 0.000000e+00 | 1.352790e+05 | Inf
409.00/409.03 c 399s|200000 |199997 |295157 | 1.5 | 456M| 207 | 0 |5645 |5421 |5645 | 192 | 113k| 10 |3841 | 0.000000e+00 | 1.352790e+05 | Inf
428.30/428.35 c 418s|210000 |209997 |304353 | 1.4 | 477M| 207 | 0 |5645 |5421 |5645 | 213 | 117k| 10 |3906 | 0.000000e+00 | 1.352790e+05 | Inf
447.61/447.61 c 436s|220000 |219997 |313421 | 1.4 | 498M| 207 | 0 |5645 |5421 |5645 | 176 | 120k| 10 |3947 | 0.000000e+00 | 1.352790e+05 | Inf
466.70/466.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
466.70/466.78 c 455s|230000 |229997 |322756 | 1.4 | 519M| 207 | 0 |5645 |5421 |5645 | 193 | 123k| 10 |4021 | 0.000000e+00 | 1.352790e+05 | Inf
486.50/486.58 c 474s|240000 |239997 |335075 | 1.4 | 540M| 207 | 0 |5645 |5421 |5645 | 196 | 128k| 10 |4167 | 0.000000e+00 | 1.352790e+05 | Inf
506.60/506.60 c 494s|250000 |249997 |347728 | 1.4 | 561M| 207 | 0 |5645 |5421 |5645 | 196 | 133k| 10 |4412 | 0.000000e+00 | 1.352790e+05 | Inf
526.11/526.14 c 513s|260000 |259997 |359796 | 1.4 | 582M| 207 | 2 |5645 |5421 |5645 | 166 | 137k| 10 |4499 | 0.000000e+00 | 1.352790e+05 | Inf
545.80/545.89 c 532s|270000 |269997 |372444 | 1.4 | 603M| 207 | 0 |5645 |5421 |5645 | 203 | 142k| 10 |4611 | 0.000000e+00 | 1.352790e+05 | Inf
565.41/565.45 c 551s|280000 |279997 |384728 | 1.4 | 624M| 207 | 0 |5645 |5421 |5645 | 210 | 147k| 10 |4707 | 0.000000e+00 | 1.352790e+05 | Inf
584.70/584.79 c 570s|290000 |289997 |395512 | 1.4 | 645M| 207 | 0 |5645 |5421 |5645 | 206 | 151k| 10 |4826 | 0.000000e+00 | 1.352790e+05 | Inf
600.00/600.04 o 1090
600.00/600.04 c * 585s|298100 |265563 |402031 | 1.3 | 599M| 207 | - |5645 |5421 |5645 | 210 | 153k| 10 |4865 | 0.000000e+00 | 1.090000e+03 | Inf
605.40/605.40 c 590s|300000 |267438 |408225 | 1.4 | 605M| 207 | 0 |5645 |5478 |5645 | 181 | 156k| 67 |4937 | 0.000000e+00 | 1.090000e+03 | Inf
616.60/616.69 o 1079
616.60/616.69 c * 601s|303849 |270205 |421987 | 1.4 | 612M| 207 | - |5645 |5501 |5645 | 257 | 161k| 90 |5023 | 0.000000e+00 | 1.079000e+03 | Inf
623.61/623.67 o 1075
623.61/623.67 c * 608s|306273 |272233 |429746 | 1.4 | 618M| 207 | - |5645 |5491 |5645 | 224 | 164k| 90 |5052 | 0.000000e+00 | 1.075000e+03 | Inf
633.80/633.83 c 618s|310000 |275940 |437236 | 1.4 | 626M| 207 | 0 |5645 |5520 |5645 | 182 | 167k| 132 |5111 | 0.000000e+00 | 1.075000e+03 | Inf
660.80/660.81 c 644s|320000 |285883 |461757 | 1.4 | 651M| 207 | 0 |5645 |5494 |5645 | 221 | 177k| 247 |5333 | 0.000000e+00 | 1.075000e+03 | Inf
690.71/690.73 c 674s|330000 |295801 |495788 | 1.5 | 676M| 207 | 0 |5645 |5565 |5645 | 201 | 190k| 477 |5562 | 0.000000e+00 | 1.075000e+03 | Inf
718.51/718.52 c 701s|340000 |305721 |527194 | 1.6 | 700M| 207 | 4 |5645 |5555 |5645 | 190 | 203k| 723 |5929 | 0.000000e+00 | 1.075000e+03 | Inf
735.51/735.52 o 1073
735.51/735.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
735.51/735.52 c * 717s|346100 |311574 |548724 | 1.6 | 715M| 207 | - |5645 |5545 |5645 | 229 | 211k| 823 |6039 | 0.000000e+00 | 1.073000e+03 | Inf
746.41/746.44 c 728s|350000 |315457 |560614 | 1.6 | 724M| 207 | 0 |5645 |5499 |5645 | 190 | 216k| 857 |6096 | 0.000000e+00 | 1.073000e+03 | Inf
777.21/777.23 c 758s|360000 |325358 |599102 | 1.7 | 749M| 207 | 5 |5645 |5577 |5645 | 175 | 231k|1127 |6306 | 0.000000e+00 | 1.073000e+03 | Inf
806.91/806.93 c 787s|370000 |335187 |640623 | 1.7 | 773M| 207 | 9 |5645 |5776 |5645 | 185 | 249k|1623 |6476 | 0.000000e+00 | 1.073000e+03 | Inf
834.31/834.32 c 814s|380000 |345130 |671249 | 1.8 | 797M| 207 | 10 |5645 |5519 |5645 | 185 | 261k|1812 |6704 | 0.000000e+00 | 1.073000e+03 | Inf
840.91/840.92 o 1066
840.91/840.92 c * 820s|382340 |346667 |678658 | 1.8 | 802M| 207 | - |5645 |5575 |5645 | 230 | 263k|1942 |6724 | 0.000000e+00 | 1.066000e+03 | Inf
861.81/861.80 c 841s|390000 |354261 |701939 | 1.8 | 819M| 207 | 0 |5645 |5491 |5645 | 163 | 271k|2106 |6842 | 0.000000e+00 | 1.066000e+03 | Inf
887.41/887.43 c 866s|400000 |364234 |728810 | 1.8 | 842M| 207 | 0 |5645 |5512 |5645 | 178 | 280k|2173 |6975 | 0.000000e+00 | 1.066000e+03 | Inf
916.71/916.73 o 1025
916.71/916.73 c * 895s|409508 |368719 |770235 | 1.9 | 856M| 207 | - |5645 |5530 |5645 | 204 | 296k|2288 |7161 | 0.000000e+00 | 1.025000e+03 | Inf
918.22/918.23 c 896s|410000 |369205 |772473 | 1.9 | 857M| 207 | 1 |5645 |5531 |5645 | 159 | 297k|2304 |7161 | 0.000000e+00 | 1.025000e+03 | Inf
947.31/947.35 c 924s|420000 |379109 |808730 | 1.9 | 883M| 207 | 0 |5645 |5627 |5645 | 201 | 311k|2612 |7330 | 0.000000e+00 | 1.025000e+03 | Inf
950.91/950.96 o 1001
950.91/950.96 c * 928s|421250 |377138 |814141 | 1.9 | 880M| 207 | - |5645 |5605 |5645 | 224 | 313k|2660 |7365 | 0.000000e+00 | 1.001000e+03 | Inf
966.11/966.14 o 999
966.11/966.14 c * 943s|426274 |381781 |834679 | 2.0 | 893M| 207 | - |5645 |5582 |5645 | 219 | 321k|2847 |7447 | 0.000000e+00 | 9.990000e+02 | Inf
968.41/968.45 o 998
968.41/968.45 c * 945s|426990 |382354 |837791 | 2.0 | 894M| 207 | - |5645 |5616 |5645 | 211 | 322k|2907 |7460 | 0.000000e+00 | 9.980000e+02 | Inf
970.01/970.05 o 997
970.01/970.05 c * 947s|427503 |382704 |839638 | 2.0 | 896M| 207 | - |5645 |5624 |5645 | 228 | 322k|2942 |7464 | 0.000000e+00 | 9.970000e+02 | Inf
977.32/977.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
977.32/977.37 c 954s|430000 |385177 |848320 | 2.0 | 902M| 207 | 0 |5645 |5545 |5645 | 219 | 326k|3009 |7479 | 0.000000e+00 | 9.970000e+02 | Inf
977.91/977.95 o 983
977.91/977.95 c * 954s|430198 |383248 |848681 | 2.0 | 898M| 207 | - |5645 |5541 |5645 | 211 | 326k|3009 |7485 | 0.000000e+00 | 9.830000e+02 | Inf
985.31/985.33 o 972
985.31/985.33 c * 962s|432859 |384014 |855365 | 2.0 | 900M| 207 | - |5645 |5564 |5645 | 226 | 328k|3074 |7524 | 0.000000e+00 | 9.720000e+02 | Inf
990.91/990.99 o 950
990.91/990.99 c * 967s|434893 |382039 |860826 | 2.0 | 897M| 207 | - |5645 |5562 |5645 | 198 | 330k|3153 |7551 | 0.000000e+00 | 9.500000e+02 | Inf
1007.11/1007.12 c 983s|440000 |386976 |880627 | 2.0 | 910M| 207 | 0 |5645 |5652 |5645 | 192 | 338k|3648 |7638 | 0.000000e+00 | 9.500000e+02 | Inf
1037.62/1037.62 c 1013s|450000 |396718 |919753 | 2.0 | 936M| 207 | 1 |5645 |5666 |5645 | 147 | 353k|4300 |7757 | 0.000000e+00 | 9.500000e+02 | Inf
1052.91/1052.97 o 943
1052.91/1052.97 c *1028s|455918 |401273 |930810 | 2.0 | 946M| 207 | - |5645 |5544 |5645 | 208 | 358k|4357 |7801 | 0.000000e+00 | 9.430000e+02 | Inf
1062.62/1062.61 o 933
1062.62/1062.61 c *1037s|459326 |402650 |939084 | 2.0 | 951M| 207 | - |5645 |5613 |5645 | 200 | 361k|4532 |7842 | 0.000000e+00 | 9.330000e+02 | Inf
1064.72/1064.76 c 1039s|460000 |403284 |941910 | 2.0 | 952M| 207 | 0 |5645 |5649 |5645 | 193 | 362k|4631 |7848 | 0.000000e+00 | 9.330000e+02 | Inf
1076.61/1076.66 o 921
1076.61/1076.66 c *1051s|464167 |404885 |952990 | 2.1 | 958M| 207 | - |5645 |5660 |5645 | 209 | 366k|4906 |7918 | 0.000000e+00 | 9.210000e+02 | Inf
1093.51/1093.50 c 1068s|470000 |410629 |978983 | 2.1 | 971M| 207 | 0 |5645 |5644 |5645 | 190 | 375k|5118 |8004 | 0.000000e+00 | 9.210000e+02 | Inf
1121.31/1121.38 c 1095s|480000 |420542 | 1008k| 2.1 | 995M| 207 | 0 |5645 |5581 |5645 | 208 | 387k|5317 |8100 | 0.000000e+00 | 9.210000e+02 | Inf
1149.22/1149.27 c 1122s|490000 |430341 | 1034k| 2.1 |1019M| 207 | 0 |5645 |5559 |5645 | 187 | 398k|5816 |8189 | 0.000000e+00 | 9.210000e+02 | Inf
1175.41/1175.44 c 1148s|500000 |440231 | 1059k| 2.1 |1043M| 207 | 8 |5645 |5536 |5645 | 183 | 408k|6105 |8283 | 0.000000e+00 | 9.210000e+02 | Inf
1198.82/1198.82 o 911
1198.82/1198.82 c *1171s|508081 |445853 | 1090k| 2.1 |1058M| 207 | - |5645 |5594 |5645 | 211 | 419k|6479 |8402 | 0.000000e+00 | 9.110000e+02 | Inf
1199.11/1199.17 o 910
1199.11/1199.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1199.11/1199.17 c *1171s|508157 |445642 | 1090k| 2.1 |1058M| 207 | - |5645 |5628 |5645 | 235 | 419k|6520 |8402 | 0.000000e+00 | 9.100000e+02 | Inf
1204.71/1204.77 c 1177s|510000 |447448 | 1096k| 2.2 |1063M| 207 | 0 |5645 |5628 |5645 | 201 | 422k|6634 |8413 | 0.000000e+00 | 9.100000e+02 | Inf
1217.62/1217.65 o 881
1217.62/1217.65 c *1189s|514443 |444143 | 1112k| 2.2 |1057M| 207 | - |5645 |5643 |5645 | 195 | 427k|6901 |8485 | 0.000000e+00 | 8.810000e+02 | Inf
1219.52/1219.59 o 865
1219.52/1219.59 c *1191s|515021 |440245 | 1114k| 2.2 |1049M| 207 | - |5645 |5676 |5645 | 221 | 428k|6985 |8486 | 0.000000e+00 | 8.650000e+02 | Inf
1226.42/1226.49 o 848
1226.42/1226.49 c *1198s|517055 |437114 | 1126k| 2.2 |1044M| 207 | - |5645 |5759 |5645 | 224 | 433k|7241 |8547 | 0.000000e+00 | 8.480000e+02 | Inf
1235.81/1235.82 c 1207s|520000 |439939 | 1141k| 2.2 |1051M| 207 | 1 |5645 |5869 |5645 | 159 | 439k|7614 |8573 | 0.000000e+00 | 8.480000e+02 | Inf
1259.32/1259.36 o 841
1259.32/1259.36 c *1230s|528147 |445763 | 1168k| 2.2 |1067M| 207 | - |5645 |5580 |5645 | 289 | 450k|8024 |8671 | 0.000000e+00 | 8.410000e+02 | Inf
1264.81/1264.90 c 1235s|530000 |447522 | 1175k| 2.2 |1072M| 207 | 0 |5645 |5697 |5645 | 209 | 453k|8260 |8690 | 0.000000e+00 | 8.410000e+02 | Inf
1267.92/1267.95 o 840
1267.92/1267.95 c *1238s|531033 |448185 | 1179k| 2.2 |1074M| 207 | - |5645 |5700 |5645 | 196 | 454k|8348 |8719 | 0.000000e+00 | 8.400000e+02 | Inf
1269.82/1269.83 o 779
1269.82/1269.83 c *1240s|531631 |426400 | 1181k| 2.2 |1027M| 207 | - |5645 |5703 |5645 | 203 | 455k|8402 |8726 | 0.000000e+00 | 7.790000e+02 | Inf
1294.82/1294.84 o 777
1294.82/1294.84 c *1265s|539917 |433362 | 1215k| 2.3 |1047M| 207 | - |5645 |5956 |5645 | 219 | 468k|9689 |8813 | 0.000000e+00 | 7.770000e+02 | Inf
1294.82/1294.86 o 772
1294.82/1294.86 c *1265s|539918 |431330 | 1215k| 2.3 |1042M| 207 | - |5645 |5956 |5645 | 219 | 468k|9689 |8813 | 0.000000e+00 | 7.720000e+02 | Inf
1295.02/1295.04 c 1265s|540000 |431412 | 1215k| 2.3 |1043M| 207 | 0 |5645 |5944 |5645 | 199 | 468k|9689 |8813 | 0.000000e+00 | 7.720000e+02 | Inf
1324.72/1324.76 c 1294s|550000 |440942 | 1263k| 2.3 |1067M| 207 | 0 |5645 |5920 |5645 | 199 | 484k| 10k|8927 | 0.000000e+00 | 7.720000e+02 | Inf
1327.12/1327.12 o 766
1327.12/1327.12 c *1296s|550690 |438973 | 1267k| 2.3 |1064M| 207 | - |5645 |6039 |5645 | 203 | 486k| 10k|8927 | 0.000000e+00 | 7.660000e+02 | Inf
1327.12/1327.16 o 755
1327.12/1327.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1327.12/1327.16 c *1296s|550692 |434183 | 1267k| 2.3 |1053M| 207 | - |5645 |6037 |5645 | 203 | 486k| 10k|8927 | 0.000000e+00 | 7.550000e+02 | Inf
1327.22/1327.20 o 744
1327.22/1327.20 c *1296s|550696 |429296 | 1267k| 2.3 |1043M| 207 | - |5645 |6037 |5645 | 203 | 486k| 10k|8927 | 0.000000e+00 | 7.440000e+02 | Inf
1327.22/1327.22 o 733
1327.22/1327.22 c *1296s|550697 |424420 | 1267k| 2.3 |1032M| 207 | - |5645 |6037 |5645 | 203 | 486k| 10k|8927 | 0.000000e+00 | 7.330000e+02 | Inf
1332.32/1332.30 o 730
1332.32/1332.30 c *1301s|552193 |424337 | 1274k| 2.3 |1034M| 207 | - |5645 |6047 |5645 | 200 | 489k| 11k|8928 | 0.000000e+00 | 7.300000e+02 | Inf
1337.02/1337.02 o 728
1337.02/1337.02 c *1306s|553585 |424618 | 1281k| 2.3 |1036M| 207 | - |5645 |6068 |5645 | 199 | 492k| 11k|8955 | 0.000000e+00 | 7.280000e+02 | Inf
1357.42/1357.43 o 682
1357.42/1357.43 c *1326s|559829 |408003 | 1308k| 2.3 |1002M| 207 | - |5645 |5745 |5645 | 213 | 502k| 12k|9034 | 0.000000e+00 | 6.820000e+02 | Inf
1357.42/1357.49 o 649
1357.42/1357.49 c *1326s|559830 |391618 | 1308k| 2.3 | 964M| 207 | - |5645 |5745 |5645 | 213 | 502k| 12k|9034 | 0.000000e+00 | 6.490000e+02 | Inf
1358.02/1358.09 c 1326s|560000 |391781 | 1309k| 2.3 | 965M| 207 | 0 |5645 |5741 |5645 | 226 | 502k| 12k|9042 | 0.000000e+00 | 6.490000e+02 | Inf
1389.52/1389.59 c 1357s|570000 |400182 | 1357k| 2.4 | 989M| 208 | 0 |5645 |5997 |5645 | 229 | 522k| 15k|9147 | 0.000000e+00 | 6.490000e+02 | Inf
1422.23/1422.30 c 1389s|580000 |409195 | 1407k| 2.4 |1017M| 208 | 4 |5645 |5925 |5645 | 177 | 540k| 17k|9261 | 0.000000e+00 | 6.490000e+02 | Inf
1430.32/1430.32 o 641
1430.32/1430.32 c *1397s|582824 |407696 | 1416k| 2.4 |1015M| 208 | - |5645 |5818 |5645 | 213 | 544k| 17k|9283 | 0.000000e+00 | 6.410000e+02 | Inf
1430.32/1430.34 o 636
1430.32/1430.34 c *1397s|582825 |405002 | 1416k| 2.4 |1008M| 208 | - |5645 |5818 |5645 | 213 | 544k| 17k|9283 | 0.000000e+00 | 6.360000e+02 | Inf
1431.53/1431.53 o 619
1431.53/1431.53 c *1398s|583221 |396190 | 1418k| 2.4 | 988M| 208 | - |5645 |5790 |5645 | 232 | 544k| 17k|9283 | 0.000000e+00 | 6.190000e+02 | Inf
1441.92/1441.98 o 613
1441.92/1441.98 c *1408s|586675 |395881 | 1431k| 2.4 | 990M| 208 | - |5645 |6006 |5645 | 192 | 549k| 18k|9299 | 0.000000e+00 | 6.130000e+02 | Inf
1442.82/1442.83 o 611
1442.82/1442.83 c *1409s|586907 |394963 | 1432k| 2.4 | 988M| 208 | - |5645 |6021 |5645 | 192 | 550k| 18k|9299 | 0.000000e+00 | 6.110000e+02 | Inf
1442.82/1442.85 o 600
1442.82/1442.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1442.82/1442.85 c *1409s|586908 |388861 | 1432k| 2.4 | 973M| 208 | - |5645 |6021 |5645 | 192 | 550k| 18k|9299 | 0.000000e+00 | 6.000000e+02 | Inf
1443.92/1443.99 o 599
1443.92/1443.99 c *1410s|587180 |388513 | 1434k| 2.4 | 973M| 208 | - |5645 |6116 |5645 | 191 | 550k| 18k|9302 | 0.000000e+00 | 5.990000e+02 | Inf
1449.53/1449.57 o 597
1449.53/1449.57 c *1416s|588954 |389104 | 1446k| 2.5 | 975M| 208 | - |5645 |6043 |5645 | 174 | 553k| 18k|9330 | 0.000000e+00 | 5.970000e+02 | Inf
1453.22/1453.27 c 1419s|590000 |390031 | 1455k| 2.5 | 977M| 208 | - |5645 |5935 | 0 | 0 | 556k| 18k|9349 | 0.000000e+00 | 5.970000e+02 | Inf
1488.63/1488.65 c 1454s|600000 |398988 | 1530k| 2.6 |1005M| 208 | 3 |5645 |5962 |5645 | 190 | 580k| 20k|9495 | 0.000000e+00 | 5.970000e+02 | Inf
1513.82/1513.85 o 593
1513.82/1513.85 c *1479s|607493 |403451 | 1570k| 2.6 |1020M| 208 | - |5645 |5857 |5645 | 212 | 596k| 21k|9609 | 0.000000e+00 | 5.930000e+02 | Inf
1514.23/1514.29 o 579
1514.23/1514.29 c *1479s|607629 |395089 | 1571k| 2.6 |1000M| 208 | - |5645 |5863 |5645 | 190 | 596k| 21k|9609 | 0.000000e+00 | 5.790000e+02 | Inf
1521.23/1521.28 c 1486s|610000 |397279 | 1580k| 2.6 |1006M| 208 | 0 |5645 |5883 |5645 | 197 | 600k| 22k|9616 | 0.000000e+00 | 5.790000e+02 | Inf
1537.63/1537.60 o 575
1537.63/1537.60 c *1502s|614828 |399268 | 1603k| 2.6 |1013M| 208 | - |5645 |5776 |5645 | 221 | 610k| 22k|9683 | 0.000000e+00 | 5.750000e+02 | Inf
1553.82/1553.80 c 1518s|620000 |403964 | 1629k| 2.6 |1025M| 208 | 0 |5645 |5993 |5645 | 185 | 619k| 23k|9740 | 0.000000e+00 | 5.750000e+02 | Inf
1555.82/1555.89 o 567
1555.82/1555.89 c *1520s|620596 |399484 | 1633k| 2.6 |1014M| 208 | - |5645 |5958 |5645 | 203 | 620k| 23k|9742 | 0.000000e+00 | 5.670000e+02 | Inf
1560.73/1560.77 o 562
1560.73/1560.77 c *1525s|622035 |397547 | 1639k| 2.6 |1011M| 208 | - |5645 |6130 |5645 | 201 | 623k| 23k|9743 | 0.000000e+00 | 5.620000e+02 | Inf
1561.13/1561.12 o 555
1561.13/1561.12 c *1525s|622125 |393119 | 1640k| 2.6 |1000M| 208 | - |5645 |6147 |5645 | 201 | 623k| 23k|9743 | 0.000000e+00 | 5.550000e+02 | Inf
1561.13/1561.15 o 544
1561.13/1561.15 c *1525s|622126 |385850 | 1640k| 2.6 | 982M| 208 | - |5645 |6147 |5645 | 201 | 623k| 23k|9743 | 0.000000e+00 | 5.440000e+02 | Inf
1573.03/1573.01 o 540
1573.03/1573.01 c *1537s|625427 |385822 | 1659k| 2.7 | 984M| 208 | - |5645 |6554 |5645 | 210 | 630k| 24k|9792 | 0.000000e+00 | 5.400000e+02 | Inf
1588.62/1588.60 o 530
1588.62/1588.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1588.62/1588.61 c *1552s|629945 |383114 | 1686k| 2.7 | 981M| 208 | - |5645 |5963 |5645 | 201 | 641k| 25k|9865 | 0.000000e+00 | 5.300000e+02 | Inf
1588.72/1588.77 c 1552s|630000 |383165 | 1686k| 2.7 | 980M| 208 | 0 |5645 |5966 |5645 | 206 | 641k| 25k|9865 | 0.000000e+00 | 5.300000e+02 | Inf
1618.53/1618.57 o 529
1618.53/1618.57 c *1581s|639870 |391631 | 1744k| 2.7 |1004M| 208 | - |5645 |5830 |5645 | 227 | 655k| 26k|9972 | 0.000000e+00 | 5.290000e+02 | Inf
1619.02/1619.10 c 1582s|640000 |391734 | 1745k| 2.7 |1005M| 208 | 0 |5645 |5843 |5645 | 216 | 656k| 26k|9972 | 0.000000e+00 | 5.290000e+02 | Inf
1640.22/1640.27 o 515
1640.22/1640.27 c *1602s|646449 |387315 | 1781k| 2.8 | 994M| 208 | - |5645 |5903 |5645 | 211 | 669k| 27k| 10k| 0.000000e+00 | 5.150000e+02 | Inf
1640.33/1640.36 o 513
1640.33/1640.36 c *1602s|646469 |385761 | 1781k| 2.8 | 990M| 208 | - |5645 |5894 |5645 | 211 | 669k| 27k| 10k| 0.000000e+00 | 5.130000e+02 | Inf
1651.93/1651.96 c 1614s|650000 |389053 | 1804k| 2.8 | 999M| 208 | 0 |5645 |5874 |5645 | 221 | 675k| 28k| 10k| 0.000000e+00 | 5.130000e+02 | Inf
1665.43/1665.48 o 494
1665.43/1665.48 c *1627s|653957 |377815 | 1834k| 2.8 | 973M| 208 | - |5645 |6197 |5645 | 205 | 684k| 29k| 10k| 0.000000e+00 | 4.940000e+02 | Inf
1685.32/1685.30 o 487
1685.32/1685.30 c *1646s|659275 |376599 | 1873k| 2.8 | 975M| 208 | - |5645 |6134 |5645 | 207 | 698k| 30k| 10k| 0.000000e+00 | 4.870000e+02 | Inf
1686.63/1686.61 o 468
1686.63/1686.61 c *1648s|659613 |360810 | 1876k| 2.8 | 936M| 208 | - |5645 |6127 |5645 | 201 | 699k| 30k| 10k| 0.000000e+00 | 4.680000e+02 | Inf
1688.02/1688.07 c 1649s|660000 |361128 | 1879k| 2.8 | 937M| 208 | 0 |5645 |6151 |5645 | 191 | 700k| 31k| 10k| 0.000000e+00 | 4.680000e+02 | Inf
1707.23/1707.21 o 454
1707.23/1707.21 c *1668s|665713 |354255 | 1914k| 2.9 | 923M| 208 | - |5645 |6319 |5645 | 227 | 710k| 32k| 10k| 0.000000e+00 | 4.540000e+02 | Inf
1721.93/1721.92 c 1682s|670000 |357875 | 1937k| 2.9 | 935M| 208 | 0 |5645 |6147 |5645 | 178 | 719k| 33k| 10k| 0.000000e+00 | 4.540000e+02 | Inf
1746.13/1746.10 o 439
1746.13/1746.10 c *1706s|677078 |350177 | 1971k| 2.9 | 920M| 212 | - |5645 |6121 |5645 | 218 | 735k| 35k| 10k| 0.000000e+00 | 4.390000e+02 | Inf
1755.23/1755.25 c 1715s|680000 |352545 | 1983k| 2.9 | 928M| 212 | 0 |5645 |6345 |5645 | 200 | 740k| 35k| 10k| 0.000000e+00 | 4.390000e+02 | Inf
1755.92/1755.91 o 431
1755.92/1755.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1755.92/1755.91 c *1715s|680177 |345080 | 1984k| 2.9 | 909M| 212 | - |5645 |6332 |5645 | 213 | 740k| 35k| 10k| 0.000000e+00 | 4.310000e+02 | Inf
1758.23/1758.29 o 428
1758.23/1758.29 c *1718s|680807 |342640 | 1987k| 2.9 | 903M| 212 | - |5645 |6499 |5645 | 213 | 741k| 36k| 10k| 0.000000e+00 | 4.280000e+02 | Inf
1758.33/1758.32 o 425
1758.33/1758.32 c *1718s|680808 |339899 | 1987k| 2.9 | 896M| 212 | - |5645 |6498 |5645 | 213 | 741k| 36k| 10k| 0.000000e+00 | 4.250000e+02 | Inf
1758.53/1758.57 o 417
1758.53/1758.57 c *1718s|680859 |332631 | 1987k| 2.9 | 878M| 212 | - |5645 |6508 |5645 | 205 | 742k| 36k| 10k| 0.000000e+00 | 4.170000e+02 | Inf
1758.53/1758.59 o 414
1758.53/1758.59 c *1718s|680860 |329893 | 1987k| 2.9 | 870M| 212 | - |5645 |6507 |5645 | 205 | 742k| 36k| 10k| 0.000000e+00 | 4.140000e+02 | Inf
1762.14/1762.20 o 406
1762.14/1762.20 c *1721s|681824 |323503 | 1991k| 2.9 | 855M| 212 | - |5645 |6472 |5645 | 193 | 743k| 36k| 10k| 0.000000e+00 | 4.060000e+02 | Inf
1769.32/1769.36 o 405
1769.32/1769.36 c *1728s|683895 |324384 | 2003k| 2.9 | 859M| 212 | - |5645 |6087 |5645 | 181 | 747k| 37k| 10k| 0.000000e+00 | 4.050000e+02 | Inf
1771.43/1771.46 o 395
1771.43/1771.46 c *1730s|684493 |315598 | 2006k| 2.9 | 837M| 212 | - |5645 |5997 |5645 | 194 | 748k| 37k| 10k| 0.000000e+00 | 3.950000e+02 | Inf
1775.33/1775.32 o 394
1775.33/1775.32 c *1734s|685538 |315335 | 2012k| 2.9 | 838M| 212 | - |5645 |5973 |5645 | 196 | 751k| 37k| 10k| 0.000000e+00 | 3.940000e+02 | Inf
1775.33/1775.35 o 391
1775.33/1775.35 c *1734s|685540 |312481 | 2012k| 2.9 | 830M| 212 | - |5645 |5973 |5645 | 196 | 751k| 37k| 10k| 0.000000e+00 | 3.910000e+02 | Inf
1775.43/1775.40 o 372
1775.43/1775.40 c *1734s|685541 |295315 | 2012k| 2.9 | 786M| 212 | - |5645 |5972 |5645 | 196 | 751k| 37k| 10k| 0.000000e+00 | 3.720000e+02 | Inf
1776.43/1776.46 o 362
1776.43/1776.46 c *1735s|685805 |286079 | 2014k| 2.9 | 762M| 212 | - |5645 |5989 |5645 | 207 | 751k| 37k| 10k| 0.000000e+00 | 3.620000e+02 | Inf
1776.73/1776.74 o 359
1776.73/1776.74 c *1736s|685867 |283155 | 2014k| 2.9 | 754M| 212 | - |5645 |6014 |5645 | 168 | 752k| 37k| 10k| 0.000000e+00 | 3.590000e+02 | Inf
1776.73/1776.77 o 356
1776.73/1776.77 c *1736s|685870 |280325 | 2014k| 2.9 | 747M| 212 | - |5645 |6014 |5645 | 168 | 752k| 37k| 10k| 0.000000e+00 | 3.560000e+02 | Inf
1776.83/1776.80 o 346
1776.83/1776.80 c *1736s|685871 |270381 | 2014k| 2.9 | 720M| 212 | - |5645 |6014 |5645 | 168 | 752k| 37k| 10k| 0.000000e+00 | 3.460000e+02 | Inf
1779.52/1779.53 o 340
1779.52/1779.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1779.52/1779.53 c *1738s|686534 |264848 | 2019k| 2.9 | 708M| 212 | - |5645 |6108 |5645 | 210 | 753k| 37k| 10k| 0.000000e+00 | 3.400000e+02 | Inf
1779.52/1779.56 o 334
1779.52/1779.56 c *1738s|686535 |258649 | 2019k| 2.9 | 692M| 212 | - |5645 |6108 |5645 | 210 | 753k| 37k| 10k| 0.000000e+00 | 3.340000e+02 | Inf
1781.43/1781.49 o 333
1781.43/1781.49 c *1740s|686992 |257957 | 2021k| 2.9 | 692M| 212 | - |5645 |6154 |5645 | 196 | 754k| 38k| 10k| 0.000000e+00 | 3.330000e+02 | Inf
1781.93/1781.96 o 316
1781.93/1781.96 c *1741s|687114 |241756 | 2022k| 2.9 | 651M| 212 | - |5645 |6166 |5645 | 197 | 754k| 38k| 10k| 0.000000e+00 | 3.160000e+02 | Inf
1784.33/1784.37 o 301
1784.33/1784.37 c *1743s|687703 |226134 | 2024k| 2.9 | 614M| 212 | - |5645 |6395 |5645 | 207 | 755k| 38k| 10k| 0.000000e+00 | 3.010000e+02 | Inf
1786.23/1786.24 o 293
1786.23/1786.24 c *1745s|688206 |218205 | 2027k| 2.9 | 596M| 212 | - |5645 |6340 |5645 | 195 | 756k| 38k| 10k| 0.000000e+00 | 2.930000e+02 | Inf
1787.13/1787.15 o 291
1787.13/1787.15 c *1746s|688439 |216270 | 2028k| 2.9 | 592M| 212 | - |5645 |6260 |5645 | 170 | 757k| 38k| 10k| 0.000000e+00 | 2.910000e+02 | Inf
1792.22/1792.28 o 287
1792.22/1792.28 c *1751s|689710 |213036 | 2034k| 2.9 | 588M| 212 | - |5645 |6087 |5645 | 187 | 759k| 39k| 10k| 0.000000e+00 | 2.870000e+02 | Inf
1793.32/1793.34 c 1752s|690000 |213288 | 2035k| 2.9 | 590M| 212 | 0 |5645 |6063 |5645 | 178 | 759k| 39k| 10k| 0.000000e+00 | 2.870000e+02 | Inf
1794.63/1794.61 o 273
1794.63/1794.61 c *1753s|690258 |196840 | 2037k| 3.0 | 550M| 212 | - |5645 |6066 |5645 | 199 | 760k| 39k| 10k| 0.000000e+00 | 2.730000e+02 | Inf
1794.93/1794.97 o 270
1794.93/1794.97 c *1753s|690329 |193626 | 2038k| 3.0 | 542M| 212 | - |5645 |6048 |5645 | 187 | 760k| 39k| 10k| 0.000000e+00 | 2.700000e+02 | Inf
1795.03/1795.04 o 262
1795.03/1795.04 c *1754s|690333 |184426 | 2038k| 3.0 | 519M| 212 | - |5645 |6042 |5645 | 187 | 760k| 39k| 10k| 0.000000e+00 | 2.620000e+02 | Inf
1795.23/1795.25 o 258
1795.23/1795.25 c *1754s|690373 |179913 | 2038k| 3.0 | 508M| 212 | - |5645 |6033 |5645 | 176 | 760k| 39k| 10k| 0.000000e+00 | 2.580000e+02 | Inf
1795.63/1795.61 o 253
1795.63/1795.61 c *1754s|690456 |173824 | 2038k| 3.0 | 493M| 212 | - |5645 |6024 |5645 | 180 | 761k| 39k| 10k| 0.000000e+00 | 2.530000e+02 | Inf
1796.03/1796.09 o 238
1796.03/1796.09 c *1755s|690557 |157919 | 2039k| 3.0 | 452M| 212 | - |5645 |6034 |5645 | 176 | 761k| 39k| 10k| 0.000000e+00 | 2.380000e+02 | Inf
1796.13/1796.19 o 235
1796.13/1796.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1796.13/1796.19 c *1755s|690576 |155176 | 2039k| 3.0 | 446M| 212 | - |5645 |6034 |5645 | 196 | 761k| 39k| 10k| 0.000000e+00 | 2.350000e+02 | Inf
1796.93/1796.96 o 231
1796.93/1796.96 c *1755s|690729 |151789 | 2040k| 3.0 | 438M| 212 | - |5645 |6028 |5645 | 200 | 761k| 39k| 10k| 0.000000e+00 | 2.310000e+02 | Inf
1797.23/1797.22 o 230
1797.23/1797.22 c *1756s|690792 |150803 | 2041k| 3.0 | 436M| 212 | - |5645 |6034 |5645 | 175 | 761k| 39k| 10k| 0.000000e+00 | 2.300000e+02 | Inf
1797.23/1797.28 o 221
1797.23/1797.28 c *1756s|690805 |141153 | 2041k| 3.0 | 411M| 212 | - |5645 |6033 |5645 | 175 | 761k| 39k| 10k| 0.000000e+00 | 2.210000e+02 | Inf
1797.33/1797.33 o 211
1797.33/1797.33 c *1756s|690806 |129044 | 2041k| 3.0 | 379M| 212 | - |5645 |6033 |5645 | 175 | 761k| 39k| 10k| 0.000000e+00 | 2.110000e+02 | Inf
1797.53/1797.57 o 209
1797.53/1797.57 c *1756s|690845 |126314 | 2041k| 3.0 | 371M| 212 | - |5645 |6019 |5645 | 174 | 762k| 39k| 10k| 0.000000e+00 | 2.090000e+02 | Inf
1797.63/1797.61 o 200
1797.63/1797.61 c *1756s|690846 |117606 | 2041k| 3.0 | 348M| 212 | - |5645 |6019 |5645 | 174 | 762k| 39k| 10k| 0.000000e+00 | 2.000000e+02 | Inf
1797.83/1797.81 o 193
1797.83/1797.81 c *1756s|690871 |110816 | 2041k| 3.0 | 330M| 212 | - |5645 |6021 |5645 | 178 | 762k| 39k| 10k| 0.000000e+00 | 1.930000e+02 | Inf
1797.83/1797.88 o 184
1797.83/1797.88 c *1756s|690884 | 95633 | 2041k| 3.0 | 293M| 212 | - |5645 |6021 |5645 | 178 | 762k| 39k| 10k| 0.000000e+00 | 1.840000e+02 | Inf
1798.02/1798.04 o 182
1798.02/1798.04 c *1756s|690906 | 94353 | 2041k| 3.0 | 290M| 212 | - |5645 |6023 |5645 | 173 | 762k| 39k| 10k| 0.000000e+00 | 1.820000e+02 | Inf
1798.02/1798.08 o 179
1798.02/1798.08 c *1756s|690909 | 89395 | 2041k| 3.0 | 279M| 212 | - |5645 |6023 |5645 | 173 | 762k| 39k| 10k| 0.000000e+00 | 1.790000e+02 | Inf
1798.32/1798.31 o 161
1798.32/1798.31 c *1757s|690949 | 72477 | 2042k| 3.0 | 235M| 212 | - |5645 |6039 |5645 | 167 | 762k| 39k| 10k| 0.000000e+00 | 1.610000e+02 | Inf
1798.44/1798.45 o 151
1798.44/1798.45 c *1757s|690963 | 64183 | 2042k| 3.0 | 213M| 212 | - |5645 |6040 |5645 | 177 | 762k| 39k| 10k| 0.000000e+00 | 1.510000e+02 | Inf
1798.53/1798.50 o 147
1798.53/1798.50 c *1757s|690966 | 62192 | 2042k| 3.0 | 208M| 212 | - |5645 |6036 |5645 | 167 | 762k| 39k| 10k| 0.000000e+00 | 1.470000e+02 | Inf
1798.53/1798.54 o 146
1798.53/1798.54 c *1757s|690971 | 61762 | 2042k| 3.0 | 206M| 212 | - |5645 |6035 |5645 | 168 | 762k| 39k| 10k| 0.000000e+00 | 1.460000e+02 | Inf
1798.63/1798.63 o 144
1798.63/1798.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1798.63/1798.63 c *1757s|690995 | 60663 | 2042k| 3.0 | 203M| 212 | - |5645 |6034 |5645 | 149 | 762k| 39k| 10k| 0.000000e+00 | 1.440000e+02 | Inf
1798.73/1798.71 o 140
1798.73/1798.71 c *1757s|691001 | 58207 | 2042k| 3.0 | 196M| 212 | - |5645 |6028 |5645 | 157 | 762k| 39k| 10k| 0.000000e+00 | 1.400000e+02 | Inf
1798.73/1798.76 o 131
1798.73/1798.76 c *1757s|691009 | 54508 | 2042k| 3.0 | 185M| 212 | - |5645 |6025 |5645 | 149 | 762k| 39k| 10k| 0.000000e+00 | 1.310000e+02 | Inf
1799.54/1799.56 o 130
1799.54/1799.56 c *1758s|691185 | 54087 | 2043k| 3.0 | 184M| 212 | - |5645 |5961 |5645 | 197 | 762k| 39k| 10k| 0.000000e+00 | 1.300000e+02 | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.01 c
1800.03/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.01 c Solving Time (sec) : 1758.37
1800.03/1800.01 c Solving Nodes : 691265
1800.03/1800.01 c Primal Bound : +1.30000000000000e+02 (207 solutions)
1800.03/1800.01 c Dual Bound : +0.00000000000000e+00
1800.03/1800.01 c Gap : infinite
1800.03/1800.09 s SATISFIABLE
1800.03/1800.09 v -x231 -x230 -x229 x228 -x227 -x226 -x225 -x224 -x223 -x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.03/1800.09 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.03/1800.09 v x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 -x168
1800.03/1800.09 v -x167 -x166 -x165 x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.03/1800.09 v -x146 -x145 x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125
1800.03/1800.09 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104
1800.03/1800.09 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.03/1800.09 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.03/1800.09 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.03/1800.09 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.03/1800.09 v -x1
1800.03/1800.09 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.09 c Solving Time : 1758.37
1800.03/1800.09 c Original Problem :
1800.03/1800.09 c Problem name : HOME/instance-2692357-1277927871.wbo
1800.03/1800.09 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.03/1800.09 c Constraints : 5415 initial, 5415 maximal
1800.03/1800.09 c Presolved Problem :
1800.03/1800.09 c Problem name : t_HOME/instance-2692357-1277927871.wbo
1800.03/1800.09 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.03/1800.09 c Constraints : 5414 initial, 6747 maximal
1800.03/1800.09 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.09 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.09 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.09 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.09 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.09 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.09 c probing : 0.03 0 0 0 0 0 0 0 0
1800.03/1800.09 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.09 c linear : 0.01 0 0 0 2707 0 1 0 0
1800.03/1800.09 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.09 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.09 c root node : - 0 - - 0 - - - -
1800.03/1800.09 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.09 c integral : 0 0 0 815066 0 0 1 0 0 181314
1800.03/1800.09 c indicator : 2707 0 1199753 724396 0 197 9412909 0 0 0
1800.03/1800.09 c linear : 2707 6 1198302 723315 0 3302 2123944 762738 0 0
1800.03/1800.09 c logicor : 0+ 0 289858 0 0 122 72408 0 0 0
1800.03/1800.09 c bounddisjunction : 0+ 0 9098 0 0 0 0 0 0 0
1800.03/1800.09 c countsols : 0 0 0 590846 0 0 0 0 0 0
1800.03/1800.09 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.09 c integral : 15.61 0.00 0.00 15.61 0.00
1800.03/1800.09 c indicator : 222.44 0.00 47.12 175.32 0.00
1800.03/1800.09 c linear : 143.67 0.00 46.78 96.89 0.00
1800.03/1800.09 c logicor : 1.88 0.00 1.88 0.00 0.00
1800.03/1800.09 c bounddisjunction : 0.02 0.00 0.02 0.00 0.00
1800.03/1800.09 c countsols : 0.01 0.00 0.00 0.01 0.00
1800.03/1800.09 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.09 c vbounds : 0.06 2 0 0
1800.03/1800.09 c rootredcost : 0.01 107 0 0
1800.03/1800.09 c pseudoobj : 61.16 1206126 6558 3208443
1800.03/1800.09 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.09 c propagation : 0.95 9982 9966 33355 20.4 6356 3.7 -
1800.03/1800.09 c infeasible LP : 0.01 2 2 10 38.4 4 3.2 0
1800.03/1800.09 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.09 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.09 c pseudo solution : 0.28 1239 1239 5320 14.0 700 3.8 -
1800.03/1800.09 c applied globally : - - - 39725 16.0 - - -
1800.03/1800.09 c applied locally : - - - 0 0.0 - - -
1800.03/1800.09 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.09 c cut pool : 0.00 3 - - 30 - (maximal pool size: 86)
1800.03/1800.09 c redcost : 94.69 815473 0 5604761 0 0
1800.03/1800.09 c impliedbounds : 0.00 4 0 0 0 0
1800.03/1800.09 c intobj : 0.00 0 0 0 0 0
1800.03/1800.09 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.09 c gomory : 0.01 4 0 0 86 0
1800.03/1800.09 c strongcg : 0.00 4 0 0 0 0
1800.03/1800.09 c cmir : 0.01 4 0 0 0 0
1800.03/1800.09 c flowcover : 0.03 4 0 0 0 0
1800.03/1800.09 c clique : 0.00 1 0 0 0 0
1800.03/1800.09 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.09 c mcf : 0.00 1 0 0 0 0
1800.03/1800.10 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.10 c Pricers : Time Calls Vars
1800.03/1800.10 c problem variables: 0.00 0 0
1800.03/1800.10 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.10 c relpscost : 15.59 90658 0 1 0 0 181314
1800.03/1800.10 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.10 c inference : 166.19 590739 0 0 0 0 1181478
1800.03/1800.10 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.10 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.10 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.10 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.10 c random : 0.00 0 0 0 0 0 0
1800.03/1800.10 c Primal Heuristics : Time Calls Found
1800.03/1800.10 c LP solutions : 1.88 - 107
1800.03/1800.10 c pseudo solutions : 0.00 - 0
1800.03/1800.10 c oneopt : 0.47 94 0
1800.03/1800.10 c crossover : 3.69 120 0
1800.03/1800.10 c guideddiving : 22.35 12897 0
1800.03/1800.10 c linesearchdiving : 25.03 15876 0
1800.03/1800.10 c fracdiving : 24.01 15877 0
1800.03/1800.10 c veclendiving : 23.71 15877 0
1800.03/1800.10 c coefdiving : 23.58 15877 0
1800.03/1800.10 c pscostdiving : 24.14 15877 0
1800.03/1800.10 c objpscostdiving : 25.65 15875 0
1800.03/1800.10 c rootsoldiving : 25.75 15875 0
1800.03/1800.10 c trivial : 0.08 2 2
1800.03/1800.10 c simplerounding : 0.39 91867 0
1800.03/1800.10 c zirounding : 0.09 1000 0
1800.03/1800.10 c rounding : 1.68 4172 0
1800.03/1800.10 c shifting : 2.08 1343 0
1800.03/1800.10 c intshifting : 0.07 22 0
1800.03/1800.10 c twoopt : 0.00 0 0
1800.03/1800.10 c fixandinfer : 0.00 0 0
1800.03/1800.10 c feaspump : 0.01 0 0
1800.03/1800.10 c intdiving : 0.00 0 0
1800.03/1800.10 c actconsdiving : 0.00 0 0
1800.03/1800.10 c octane : 0.00 0 0
1800.03/1800.10 c rens : 0.03 1 0
1800.03/1800.10 c rins : 0.00 0 0
1800.03/1800.10 c localbranching : 0.00 0 0
1800.03/1800.10 c mutation : 0.00 0 0
1800.03/1800.10 c dins : 0.00 0 0
1800.03/1800.10 c undercover : 0.00 0 0
1800.03/1800.10 c nlp : 0.01 0 0
1800.03/1800.10 c trysol : 0.38 18721 98
1800.03/1800.10 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.10 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.10 c dual LP : 491.37 275125 2039875 7.41 4151.40
1800.03/1800.10 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.10 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.10 c diving/probing LP: 0.82 861 3951 4.59 4818.29
1800.03/1800.10 c strong branching : 14.83 10587 72144 6.81 4864.73
1800.03/1800.10 c (at root node) : - 32 1061 33.16 -
1800.03/1800.10 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.10 c B&B Tree :
1800.03/1800.10 c number of runs : 1
1800.03/1800.10 c nodes : 691265
1800.03/1800.10 c nodes (total) : 691265
1800.03/1800.10 c nodes left : 54108
1800.03/1800.10 c max depth : 212
1800.03/1800.10 c max depth (total): 212
1800.03/1800.10 c backtracks : 19086 (2.8%)
1800.03/1800.10 c delayed cutoffs : 1609
1800.03/1800.10 c repropagations : 10936 (1445109 domain reductions, 1607 cutoffs)
1800.03/1800.10 c avg switch length: 2.59
1800.03/1800.10 c switching time : 69.96
1800.03/1800.10 c Solution :
1800.03/1800.10 c Solutions found : 207 (108 improvements)
1800.03/1800.10 c First Solution : +1.35279000000000e+05 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.03/1800.10 c Primal Bound : +1.30000000000000e+02 (in run 1, after 691185 nodes, 1757.94 seconds, depth 57, found by <relaxation>)
1800.03/1800.10 c Dual Bound : +0.00000000000000e+00
1800.03/1800.10 c Gap : infinite
1800.03/1800.10 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.10 c Root Iterations : 106
1800.32/1800.35 c Time complete: 1800.38.
OK 130
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692357-1277927871/watcher-2692357-1277927871 -o /tmp/evaluation-result-2692357-1277927871/solver-2692357-1277927871 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692357-1277927871.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.86 2.05 2.08 3/178 15228 /proc/meminfo: memFree=31012116/32950904 swapFree=67111528/67111528 [pid=15228] ppid=15226 vsize=9548 CPUtime=0 /proc/15228/stat : 15228 (pbscip.linux.x8) R 15226 15228 15203 0 -1 4202496 1682 0 0 0 0 0 0 0 21 0 1 0 134083861 9777152 1601 4089446400 4194304 8223781 140735573581312 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/15228/statm: 2387 1601 369 984 0 1400 0 [startup+0.0951699 s] /proc/loadavg: 1.86 2.05 2.08 3/178 15228 /proc/meminfo: memFree=31012116/32950904 swapFree=67111528/67111528 [pid=15228] ppid=15226 vsize=35140 CPUtime=0.09 /proc/15228/stat : 15228 (pbscip.linux.x8) R 15226 15228 15203 0 -1 4202496 8090 0 0 0 8 1 0 0 21 0 1 0 134083861 35983360 7645 4089446400 4194304 8223781 140735573581312 18446744073709551615 4241122 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15228/statm: 8785 7645 422 984 0 7798 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 35140 [startup+0.101167 s] /proc/loadavg: 1.86 2.05 2.08 3/178 15228 /proc/meminfo: memFree=31012116/32950904 swapFree=67111528/67111528 [pid=15228] ppid=15226 vsize=35140 CPUtime=0.09 /proc/15228/stat : 15228 (pbscip.linux.x8) R 15226 15228 15203 0 -1 4202496 8090 0 0 0 8 1 0 0 21 0 1 0 134083861 35983360 7645 4089446400 4194304 8223781 140735573581312 18446744073709551615 4241142 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15228/statm: 8785 7645 422 984 0 7798 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 35140 [startup+0.300139 s] /proc/loadavg: 1.86 2.05 2.08 3/178 15228 /proc/meminfo: memFree=31012116/32950904 swapFree=67111528/67111528 [pid=15228] ppid=15226 vsize=57332 CPUtime=0.29 /proc/15228/stat : 15228 (pbscip.linux.x8) R 15226 15228 15203 0 -1 4202496 14207 0 0 0 26 3 0 0 21 0 1 0 134083861 58707968 13149 4089446400 4194304 8223781 140735573581312 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15228/statm: 14398 13176 564 984 0 13411 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 57332 [startup+0.700063 s] /proc/loadavg: 1.86 2.05 2.08 3/178 15228 /proc/meminfo: memFree=31012116/32950904 swapFree=67111528/67111528 [pid=15228] ppid=15226 vsize=43080 CPUtime=0.69 /proc/15228/stat : 15228 (pbscip.linux.x8) R 15226 15228 15203 0 -1 4202496 15657 0 0 0 65 4 0 0 22 0 1 0 134083861 44113920 9711 4089446400 4194304 8223781 140735573581312 18446744073709551615 6448634 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15228/statm: 10770 9711 575 984 0 9783 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 43080 [startup+1.50092 s] /proc/loadavg: 1.86 2.05 2.08 3/179 15229 /proc/meminfo: memFree=30974908/32950904 swapFree=67111528/67111528 [pid=15228] ppid=15226 vsize=43300 CPUtime=1.49 /proc/15228/stat : 15228 (pbscip.linux.x8) R 15226 15228 15203 0 -1 4202496 15781 0 0 0 142 7 0 0 25 0 1 0 134083861 44339200 9835 4089446400 4194304 8223781 140735573581312 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15228/statm: 10825 9835 578 984 0 9838 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 43300 [startup+3.10064 s] /proc/loadavg: 1.87 2.05 2.08 3/179 15229 /proc/meminfo: memFree=30973296/32950904 swapFree=67111528/67111528 [pid=15228] ppid=15226 vsize=48660 CPUtime=3.09 /proc/15228/stat : 15228 (pbscip.linux.x8) R 15226 15228 15203 0 -1 4202496 21857 0 0 0 297 12 0 0 25 0 1 0 134083861 49827840 10875 4089446400 4194304 8223781 140735573581312 18446744073709551615 4561071 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15228/statm: 12165 10875 581 984 0 11178 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 48660 [startup+6.30107 s] /proc/loadavg: 1.87 2.05 2.08 3/179 15229 /proc/meminfo: memFree=30965936/32950904 swapFree=67111528/67111528 [pid=15228] ppid=15226 vsize=53216 CPUtime=6.29 /proc/15228/stat : 15228 (pbscip.linux.x8) R 15226 15228 15203 0 -1 4202496 28227 0 0 0 607 22 0 0 25 0 1 0 134083861 54493184 12167 4089446400 4194304 8223781 140735573581312 18446744073709551615 6481348 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15228/statm: 13304 12167 581 984 0 12317 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 53216 [startup+12.7009 s] /proc/loadavg: 1.89 2.05 2.08 3/179 15229 /proc/meminfo: memFree=30959876/32950904 swapFree=67111528/67111528 [pid=15228] ppid=15226 vsize=60980 CPUtime=12.69 /proc/15228/stat : 15228 (pbscip.linux.x8) R 15226 15228 15203 0 -1 4202496 40313 0 0 0 1232 37 0 0 25 0 1 0 134083861 62443520 14076 4089446400 4194304 8223781 140735573581312 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15228/statm: 15245 14076 581 984 0 14258 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 60980 [startup+25.5006 s] /proc/loadavg: 1.90 2.05 2.07 3/179 15229 /proc/meminfo: memFree=30944156/32950904 swapFree=67111528/67111528 [pid=15228] ppid=15226 vsize=75128 CPUtime=25.5 /proc/15228/stat : 15228 (pbscip.linux.x8) R 15226 15228 15203 0 -1 4202496 48937 0 0 0 2480 70 0 0 25 0 1 0 134083861 76931072 17612 4089446400 4194304 8223781 140735573581312 18446744073709551615 6520475 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15228/statm: 18782 17612 581 984 0 17795 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 75128 [startup+51.1011 s] /proc/loadavg: 1.94 2.04 2.07 3/179 15230 /proc/meminfo: memFree=30915020/32950904 swapFree=67111528/67111528 [pid=15228] ppid=15226 vsize=103008 CPUtime=51.09 /proc/15228/stat : 15228 (pbscip.linux.x8) R 15226 15228 15203 0 -1 4202496 61035 0 0 0 4973 136 0 0 25 0 1 0 134083861 105480192 24634 4089446400 4194304 8223781 140735573581312 18446744073709551615 6162703 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15228/statm: 25752 24634 581 984 0 24765 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 103008 [startup+102.307 s] /proc/loadavg: 1.97 2.03 2.07 3/179 15231 /proc/meminfo: memFree=30855596/32950904 swapFree=67111528/67111528 [pid=15228] ppid=15226 vsize=159400 CPUtime=102.3 /proc/15228/stat : 15228 (pbscip.linux.x8) R 15226 15228 15203 0 -1 4202496 80503 0 0 0 9963 267 0 0 25 0 1 0 134083861 163225600 38792 4089446400 4194304 8223781 140735573581312 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15228/statm: 39850 38792 581 984 0 38863 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 159400 [startup+162.3 s] /proc/loadavg: 1.99 2.02 2.06 3/179 15233 /proc/meminfo: memFree=30783364/32950904 swapFree=67111528/67111528 [pid=15228] ppid=15226 vsize=226532 CPUtime=162.3 /proc/15228/stat : 15228 (pbscip.linux.x8) R 15226 15228 15203 0 -1 4202496 101913 0 0 0 15810 420 0 0 25 0 1 0 134083861 231968768 55188 4089446400 4194304 8223781 140735573581312 18446744073709551615 7256940 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15228/statm: 56633 55188 581 984 0 55646 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 226532 [startup+222.301 s] /proc/loadavg: 1.99 2.02 2.05 3/179 15244 /proc/meminfo: memFree=30717816/32950904 swapFree=67111528/67111528 [pid=15228] ppid=15226 vsize=289304 CPUtime=222.3 /proc/15228/stat : 15228 (pbscip.linux.x8) R 15226 15228 15203 0 -1 4202496 122796 0 0 0 21665 565 0 0 25 0 1 0 134083861 296247296 71006 4089446400 4194304 8223781 140735573581312 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15228/statm: 72326 71006 585 984 0 71339 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 289304 [startup+282.301 s] /proc/loadavg: 1.99 2.01 2.05 3/179 15245 /proc/meminfo: memFree=30649048/32950904 swapFree=67111528/67111528 [pid=15228] ppid=15226 vsize=352744 CPUtime=282.3 /proc/15228/stat : 15228 (pbscip.linux.x8) R 15226 15228 15203 0 -1 4202496 139222 0 0 0 27518 712 0 0 25 0 1 0 134083861 361209856 86987 4089446400 4194304 8223781 140735573581312 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15228/statm: 88186 86987 585 984 0 87199 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 352744 [startup+342.3 s] /proc/loadavg: 1.99 2.01 2.04 3/179 15247 /proc/meminfo: memFree=30580308/32950904 swapFree=67111528/67111528 [pid=15228] ppid=15226 vsize=417644 CPUtime=342.29 /proc/15228/stat : 15228 (pbscip.linux.x8) R 15226 15228 15203 0 -1 4202496 155653 0 0 0 33373 856 0 0 25 0 1 0 134083861 427667456 103320 4089446400 4194304 8223781 140735573581312 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15228/statm: 104411 103320 585 984 0 103424 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 417644 [startup+402.3 s] /proc/loadavg: 1.99 2.00 2.04 3/179 15248 /proc/meminfo: memFree=30516288/32950904 swapFree=67111528/67111528 [pid=15228] ppid=15226 vsize=481124 CPUtime=402.3 /proc/15228/stat : 15228 (pbscip.linux.x8) R 15226 15228 15203 0 -1 4202496 171665 0 0 0 39218 1012 0 0 25 0 1 0 134083861 492670976 119310 4089446400 4194304 8223781 140735573581312 18446744073709551615 5813326 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15228/statm: 120281 119310 585 984 0 119294 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 481124 [startup+462.301 s] /proc/loadavg: 1.99 2.00 2.03 3/179 15250 /proc/meminfo: memFree=30453112/32950904 swapFree=67111528/67111528 [pid=15228] ppid=15226 vsize=546144 CPUtime=462.31 /proc/15228/stat : 15228 (pbscip.linux.x8) R 15226 15228 15203 0 -1 4202496 192062 0 0 0 45077 1154 0 0 25 0 1 0 134083861 559251456 134664 4089446400 4194304 8223781 140735573581312 18446744073709551615 4697650 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15228/statm: 136536 134664 585 984 0 135549 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 546144 [startup+522.301 s] /proc/loadavg: 1.99 2.00 2.03 3/179 15252 /proc/meminfo: memFree=30389448/32950904 swapFree=67111528/67111528 [pid=15228] ppid=15226 vsize=609264 CPUtime=522.3 /proc/15228/stat : 15228 (pbscip.linux.x8) R 15226 15228 15203 0 -1 4202496 208522 0 0 0 50924 1306 0 0 25 0 1 0 134083861 623886336 150569 4089446400 4194304 8223781 140735573581312 18446744073709551615 5990663 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15228/statm: 152316 150569 585 984 0 151329 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 609264 [startup+582.3 s] /proc/loadavg: 1.99 2.00 2.02 3/179 15253 /proc/meminfo: memFree=30322064/32950904 swapFree=67111528/67111528 [pid=15228] ppid=15226 vsize=675420 CPUtime=582.3 /proc/15228/stat : 15228 (pbscip.linux.x8) R 15226 15228 15203 0 -1 4202496 225301 0 0 0 56777 1453 0 0 25 0 1 0 134083861 691630080 167239 4089446400 4194304 8223781 140735573581312 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15228/statm: 168855 167239 585 984 0 167868 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 675420 [startup+642.301 s] /proc/loadavg: 1.99 2.00 2.01 3/179 15255 /proc/meminfo: memFree=30290264/32950904 swapFree=67111528/67111528 [pid=15228] ppid=15226 vsize=706396 CPUtime=642.31 /proc/15228/stat : 15228 (pbscip.linux.x8) R 15226 15228 15203 0 -1 4202496 288187 0 0 0 62639 1592 0 0 25 0 1 0 134083861 723349504 175002 4089446400 4194304 8223781 140735573581312 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15228/statm: 176599 175002 585 984 0 175612 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 706396 [startup+702.301 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.99 2.00 2.00 3/179 15291 /proc/meminfo: memFree=30500276/32950904 swapFree=67111528/67111528 [pid=15228] ppid=15226 vsize=915508 CPUtime=942.31 /proc/15228/stat : 15228 (pbscip.linux.x8) R 15226 15228 15203 0 -1 4202496 436998 0 0 0 91956 2275 0 0 25 0 1 0 134083861 937480192 227407 4089446400 4194304 8223781 140735573581312 18446744073709551615 4651319 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15228/statm: 228877 227407 587 984 0 227890 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 915508 [startup+1002.3 s] /proc/loadavg: 1.99 2.00 2.00 3/179 15292 /proc/meminfo: memFree=30463492/32950904 swapFree=67111528/67111528 [pid=15228] ppid=15226 vsize=948340 CPUtime=1002.31 /proc/15228/stat : 15228 (pbscip.linux.x8) R 15226 15228 15203 0 -1 4202496 517189 0 0 0 97827 2404 0 0 25 0 1 0 134083861 971100160 235695 4089446400 4194304 8223781 140735573581312 18446744073709551615 4414517 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15228/statm: 237085 235695 587 984 0 236098 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 948340 [startup+1062.3 s] /proc/loadavg: 1.99 2.00 2.00 3/179 15294 /proc/meminfo: memFree=30400080/32950904 swapFree=67111528/67111528 [pid=15228] ppid=15226 vsize=994252 CPUtime=1062.31 /proc/15228/stat : 15228 (pbscip.linux.x8) R 15226 15228 15203 0 -1 4202496 549372 0 0 0 103706 2525 0 0 25 0 1 0 134083861 1018114048 247264 4089446400 4194304 8223781 140735573581312 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15228/statm: 248563 247264 587 984 0 247576 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 994252 [startup+1122.3 s] /proc/loadavg: 1.99 2.00 2.00 3/179 15296 /proc/meminfo: memFree=30371628/32950904 swapFree=67111528/67111528 [pid=15228] ppid=15226 vsize=1038688 CPUtime=1122.31 /proc/15228/stat : 15228 (pbscip.linux.x8) R 15226 15228 15203 0 -1 4202496 582078 0 0 0 109577 2654 0 0 25 0 1 0 134083861 1063616512 258497 4089446400 4194304 8223781 140735573581312 18446744073709551615 6003593 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15228/statm: 259672 258497 587 984 0 258685 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1038688 [startup+1182.3 s] /proc/loadavg: 1.99 2.00 2.00 3/179 15297 /proc/meminfo: memFree=30321508/32950904 swapFree=67111528/67111528 [pid=15228] ppid=15226 vsize=1089444 CPUtime=1182.32 /proc/15228/stat : 15228 (pbscip.linux.x8) R 15226 15228 15203 0 -1 4202496 596544 0 0 0 115453 2779 0 0 25 0 1 0 134083861 1115590656 271098 4089446400 4194304 8223781 140735573581312 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15228/statm: 272361 271098 587 984 0 271374 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1089444 [startup+1242.3 s] /proc/loadavg: 1.99 2.00 2.00 3/179 15299 /proc/meminfo: memFree=30288928/32950904 swapFree=67111528/67111528 [pid=15228] ppid=15226 vsize=1121144 CPUtime=1242.32 /proc/15228/stat : 15228 (pbscip.linux.x8) R 15226 15228 15203 0 -1 4202496 653606 0 0 0 121323 2909 0 0 25 0 1 0 134083861 1148051456 278901 4089446400 4194304 8223781 140735573581312 18446744073709551615 4414768 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15228/statm: 280286 278901 587 984 0 279299 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1121144 [startup+1302.3 s] /proc/loadavg: 1.99 2.00 2.00 3/179 15300 /proc/meminfo: memFree=30271888/32950904 swapFree=67111528/67111528 [pid=15228] ppid=15226 vsize=1137256 CPUtime=1302.32 /proc/15228/stat : 15228 (pbscip.linux.x8) R 15226 15228 15203 0 -1 4202496 691195 0 0 0 127197 3035 0 0 25 0 1 0 134083861 1164550144 283030 4089446400 4194304 8223781 140735573581312 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15228/statm: 284314 283030 587 984 0 283327 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 1137256 [startup+1362.3 s] /proc/loadavg: 1.99 2.00 2.00 3/179 15302 /proc/meminfo: memFree=30254968/32950904 swapFree=67111528/67111528 [pid=15228] ppid=15226 vsize=1154052 CPUtime=1362.32 /proc/15228/stat : 15228 (pbscip.linux.x8) R 15226 15228 15203 0 -1 4202496 739435 0 0 0 133059 3173 0 0 25 0 1 0 134083861 1181749248 287219 4089446400 4194304 8223781 140735573581312 18446744073709551615 4697577 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15228/statm: 288513 287219 587 984 0 287526 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1154052 [startup+1422.31 s] /proc/loadavg: 2.07 2.02 2.00 3/179 15304 /proc/meminfo: memFree=30239788/32950904 swapFree=67111528/67111528 [pid=15228] ppid=15226 vsize=1170252 CPUtime=1422.33 /proc/15228/stat : 15228 (pbscip.linux.x8) R 15226 15228 15203 0 -1 4202496 753892 0 0 0 138923 3310 0 0 25 0 1 0 134083861 1198338048 291164 4089446400 4194304 8223781 140735573581312 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15228/statm: 292563 291164 587 984 0 291576 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1170252 [startup+1482.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 15305 /proc/meminfo: memFree=30226232/32950904 swapFree=67111528/67111528 [pid=15228] ppid=15226 vsize=1183980 CPUtime=1482.32 /proc/15228/stat : 15228 (pbscip.linux.x8) R 15226 15228 15203 0 -1 4202496 812712 0 0 0 144780 3452 0 0 25 0 1 0 134083861 1212395520 294500 4089446400 4194304 8223781 140735573581312 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15228/statm: 295995 294500 587 984 0 295008 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 1183980 [startup+1542.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 15307 /proc/meminfo: memFree=30212784/32950904 swapFree=67111528/67111528 [pid=15228] ppid=15226 vsize=1196876 CPUtime=1542.33 /proc/15228/stat : 15228 (pbscip.linux.x8) R 15226 15228 15203 0 -1 4202496 850774 0 0 0 150649 3584 0 0 25 0 1 0 134083861 1225601024 297618 4089446400 4194304 8223781 140735573581312 18446744073709551615 6445090 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15228/statm: 299219 297618 587 984 0 298232 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 1196876 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15308 /proc/meminfo: memFree=30197968/32950904 swapFree=67111528/67111528 [pid=15228] ppid=15226 vsize=1212324 CPUtime=1602.33 /proc/15228/stat : 15228 (pbscip.linux.x8) R 15226 15228 15203 0 -1 4202496 914961 0 0 0 156511 3722 0 0 25 0 1 0 134083861 1241419776 301381 4089446400 4194304 8223781 140735573581312 18446744073709551615 4697577 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15228/statm: 303081 301381 587 984 0 302094 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 1212324 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15310 /proc/meminfo: memFree=30185500/32950904 swapFree=67111528/67111528 [pid=15228] ppid=15226 vsize=1225168 CPUtime=1662.33 /proc/15228/stat : 15228 (pbscip.linux.x8) R 15226 15228 15203 0 -1 4202496 956502 0 0 0 162385 3848 0 0 25 0 1 0 134083861 1254572032 304550 4089446400 4194304 8223781 140735573581312 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15228/statm: 306292 304550 588 984 0 305305 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 1225168 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15312 /proc/meminfo: memFree=30170056/32950904 swapFree=67111528/67111528 [pid=15228] ppid=15226 vsize=1241516 CPUtime=1722.33 /proc/15228/stat : 15228 (pbscip.linux.x8) R 15226 15228 15203 0 -1 4202496 1002599 0 0 0 168241 3992 0 0 25 0 1 0 134083861 1271312384 308412 4089446400 4194304 8223781 140735573581312 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15228/statm: 310379 308412 588 984 0 309392 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 1241516 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15313 /proc/meminfo: memFree=30152008/32950904 swapFree=67111528/67111528 [pid=15228] ppid=15226 vsize=1259852 CPUtime=1782.33 /proc/15228/stat : 15228 (pbscip.linux.x8) R 15226 15228 15203 0 -1 4202496 1063120 0 0 0 174108 4125 0 0 25 0 1 0 134083861 1290088448 312878 4089446400 4194304 8223781 140735573581312 18446744073709551615 6482569 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15228/statm: 314963 312878 588 984 0 313976 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 1259852 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15314 /proc/meminfo: memFree=30138828/32950904 swapFree=67111528/67111528 [pid=15228] ppid=15226 vsize=1273272 CPUtime=1800.03 /proc/15228/stat : 15228 (pbscip.linux.x8) R 15226 15228 15203 0 -1 4202496 1089710 0 0 0 175839 4164 0 0 25 0 1 0 134083861 1303830528 316224 4089446400 4194304 8223781 140735573581312 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15228/statm: 318318 316224 588 984 0 317331 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1273272 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.2 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15314 /proc/meminfo: memFree=30138828/32950904 swapFree=67111528/67111528 [pid=15228] ppid=15226 vsize=1265080 CPUtime=1800.22 /proc/15228/stat : 15228 (pbscip.linux.x8) R 15226 15228 15203 0 -1 4202496 1089717 0 0 0 175858 4164 0 0 18 0 1 0 134083861 1295441920 314183 4089446400 4194304 8223781 140735573581312 18446744073709551615 6206490 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/15228/statm: 316270 314183 590 984 0 315283 0 Current children cumulated CPU time (s) 1800.22 Current children cumulated vsize (KiB) 1265080 [startup+1800.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15314 /proc/meminfo: memFree=30138828/32950904 swapFree=67111528/67111528 [pid=15228] ppid=15226 vsize=834804 CPUtime=1800.32 /proc/15228/stat : 15228 (pbscip.linux.x8) R 15226 15228 15203 0 -1 4202496 1089717 0 0 0 175867 4165 0 0 18 0 1 0 134083861 854839296 206614 4089446400 4194304 8223781 140735573581312 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/15228/statm: 208701 206614 590 984 0 207714 0 Current children cumulated CPU time (s) 1800.32 Current children cumulated vsize (KiB) 834804 Child status: 0 Real time (s): 1800.36 CPU time (s): 1800.39 CPU user time (s): 1758.71 CPU system time (s): 41.6867 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1280304 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1758.71 system time used= 41.6867 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1089721 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= 4 involuntary context switches= 13622 runsolver used 3.42548 second user time and 6.14706 second system time The end
Begin job on node121 at 2010-06-30 21:57:51 IDJOB=2692357 IDBENCH=79283 IDSOLVER=1204 FILE ID=node121/2692357-1277927871 PBS_JOBID= 11197412 Free space on /tmp= 74204 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/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900550720--soft-0-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-2692357-1277927871/watcher-2692357-1277927871 -o /tmp/evaluation-result-2692357-1277927871/solver-2692357-1277927871 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692357-1277927871.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 78d8e4512631586bbdc844ad983c3b47 RANDOM SEED=610677286 node121.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.876 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.75 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.876 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 : 5226.23 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.876 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.876 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.876 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.876 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.876 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.876 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950904 kB MemFree: 31012768 kB Buffers: 208968 kB Cached: 1110596 kB SwapCached: 0 kB Active: 985536 kB Inactive: 806268 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950904 kB LowFree: 31012768 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4800 kB Writeback: 0 kB AnonPages: 471460 kB Mapped: 17368 kB Slab: 81548 kB PageTables: 5996 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586980 kB Committed_AS: 650908 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 node121 at 2010-06-30 22:27:53