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.26 | 1800.23 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900553647--soft-0-100-0.wbo |
| MD5SUM | 1693c6ddcdda9c3a56f7a1957868c0a9 |
| 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 | 118.75 |
| 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 | 134314 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 134313 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 715 |
| 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-2692312-1277925720.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.08/0.12 o 134313
0.08/0.12 c feasible solution found by trivial heuristic, objective value 1.343130e+05
0.08/0.12 c presolving:
0.08/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.08/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.08/0.18 c (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.08/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.08/0.18 c presolving (3 rounds):
0.08/0.18 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.08/0.18 c 2707 implications, 0 cliques
0.08/0.18 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.08/0.18 c 2707 constraints of type <indicator>
0.08/0.18 c 2707 constraints of type <linear>
0.08/0.18 c transformed objective value is always integral (scale: 1)
0.08/0.18 c Presolving Time: 0.13
0.08/0.18 c - non default parameters ----------------------------------------------------------------------
0.08/0.18 c # SCIP version 1.2.1.2
0.08/0.18 c
0.08/0.18 c # frequency for displaying node information lines
0.08/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.08/0.18 c display/freq = 10000
0.08/0.18 c
0.08/0.18 c # maximal time in seconds to run
0.08/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.18 c limits/time = 1799.98
0.08/0.18 c
0.08/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.08/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.18 c limits/memory = 3420
0.08/0.18 c
0.08/0.18 c # should presolving try to simplify inequalities
0.08/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.18 c constraints/linear/simplifyinequalities = TRUE
0.08/0.18 c
0.08/0.18 c # should presolving try to simplify knapsacks
0.08/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.08/0.18 c
0.08/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.08/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.08/0.18 c separating/rapidlearning/freq = 0
0.08/0.18 c
0.08/0.18 c -----------------------------------------------------------------------------------------------
0.08/0.18 c start solving
0.08/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.2s| 1 | 0 | 0 | - | 19M| 0 | 0 |5645 |5414 |5645 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.343130e+05 | Inf
0.19/0.20 c 0.2s| 1 | 0 | 22 | - | 19M| 0 | 0 |5645 |5414 |5645 | 22 | 22 | 0 | 0 | 0.000000e+00 | 1.343130e+05 | Inf
0.19/0.20 c 0.2s| 1 | 0 | 43 | - | 19M| 0 | 7 |5645 |5414 |5645 | 53 | 53 | 0 | 0 | 0.000000e+00 | 1.343130e+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.343130e+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.343130e+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.343130e+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.343130e+05 | Inf
0.39/0.41 c 0.4s| 1 | 2 | 185 | - | 19M| 0 | 32 |5645 |5414 |5645 | 137 | 137 | 0 | 32 | 0.000000e+00 | 1.343130e+05 | Inf
28.90/28.93 c 28.5s| 10000 | 10001 | 39356 | 3.9 | 52M| 79 | 0 |5645 |5414 |5645 | 196 | 14k| 0 |1809 | 0.000000e+00 | 1.343130e+05 | Inf
51.99/52.09 c 51.4s| 20000 | 20001 | 66102 | 3.3 | 77M| 79 | 0 |5645 |5414 |5645 | 207 | 22k| 0 |1819 | 0.000000e+00 | 1.343130e+05 | Inf
74.19/74.21 c 73.2s| 30000 | 30001 | 85489 | 2.8 | 102M| 83 | 0 |5645 |5414 |5645 | 220 | 29k| 0 |1819 | 0.000000e+00 | 1.343130e+05 | Inf
98.19/98.20 c 97.0s| 40000 | 40001 |119579 | 3.0 | 126M| 87 | 0 |5645 |5414 |5645 | 187 | 37k| 0 |1969 | 0.000000e+00 | 1.343130e+05 | Inf
113.30/113.37 o 657
113.30/113.37 c * 112s| 46699 | 41104 |137637 | 2.9 | 130M| 127 | - |5645 |5414 |5645 | 204 | 41k| 0 |2151 | 0.000000e+00 | 6.570000e+02 | Inf
122.89/122.94 c 121s| 50000 | 44367 |150123 | 3.0 | 140M| 127 | 0 |5645 |5466 |5645 | 186 | 44k| 52 |2296 | 0.000000e+00 | 6.570000e+02 | Inf
128.19/128.28 o 649
128.19/128.28 c * 127s| 51965 | 46023 |156350 | 3.0 | 144M| 127 | - |5645 |5496 |5645 | 215 | 45k| 82 |2366 | 0.000000e+00 | 6.490000e+02 | Inf
153.30/153.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
153.30/153.39 c 152s| 60000 | 53953 |192187 | 3.2 | 165M| 127 | 0 |5645 |5629 |5645 | 187 | 56k| 215 |2768 | 0.000000e+00 | 6.490000e+02 | Inf
181.49/181.59 c 179s| 70000 | 63815 |223840 | 3.2 | 189M| 127 | 6 |5645 |5788 |5645 | 187 | 65k| 411 |3027 | 0.000000e+00 | 6.490000e+02 | Inf
202.69/202.79 o 646
202.69/202.79 c * 200s| 77032 | 70610 |248398 | 3.2 | 206M| 127 | - |5645 |5860 |5645 | 195 | 73k| 591 |3229 | 0.000000e+00 | 6.460000e+02 | Inf
211.90/211.98 c 210s| 80000 | 73535 |260179 | 3.3 | 213M| 127 | 0 |5645 |5829 |5645 | 159 | 77k| 664 |3339 | 0.000000e+00 | 6.460000e+02 | Inf
238.60/238.62 o 645
238.60/238.62 c * 236s| 89602 | 82878 |289107 | 3.2 | 237M| 127 | - |5645 |5903 |5645 | 221 | 85k| 969 |3557 | 0.000000e+00 | 6.450000e+02 | Inf
239.89/239.93 c 237s| 90000 | 83244 |290476 | 3.2 | 238M| 127 | 0 |5645 |5921 |5645 | 219 | 86k|1015 |3562 | 0.000000e+00 | 6.450000e+02 | Inf
268.60/268.61 c 265s|100000 | 93122 |323329 | 3.2 | 262M| 127 | 0 |5645 |5682 |5645 | 157 | 96k|1184 |3813 | 0.000000e+00 | 6.450000e+02 | Inf
297.01/297.03 c 294s|110000 |102958 |351506 | 3.2 | 288M| 127 | 0 |5645 |5622 |5645 | 267 | 105k|1380 |3992 | 0.000000e+00 | 6.450000e+02 | Inf
326.20/326.22 c 322s|120000 |112800 |389833 | 3.2 | 312M| 135 | 0 |5645 |5598 |5645 | 192 | 116k|1605 |4232 | 0.000000e+00 | 6.450000e+02 | Inf
357.70/357.73 c 354s|130000 |122564 |438162 | 3.4 | 337M| 135 | 0 |5645 |5590 |5645 | 160 | 133k|1994 |4501 | 0.000000e+00 | 6.450000e+02 | Inf
369.20/369.23 o 637
369.20/369.23 c * 365s|133392 |125451 |456610 | 3.4 | 345M| 135 | - |5645 |5630 |5645 | 205 | 140k|2205 |4634 | 0.000000e+00 | 6.370000e+02 | Inf
373.50/373.56 o 632
373.50/373.56 c * 369s|134697 |126418 |463261 | 3.4 | 348M| 135 | - |5645 |5620 |5645 | 203 | 143k|2281 |4659 | 0.000000e+00 | 6.320000e+02 | Inf
374.10/374.17 o 611
374.10/374.17 c * 370s|134906 |125467 |463788 | 3.4 | 346M| 135 | - |5645 |5628 |5645 | 209 | 143k|2296 |4659 | 0.000000e+00 | 6.110000e+02 | Inf
391.10/391.19 c 387s|140000 |130304 |489147 | 3.5 | 359M| 135 | 0 |5645 |5653 |5645 | 218 | 152k|2713 |4811 | 0.000000e+00 | 6.110000e+02 | Inf
402.00/402.02 o 597
402.00/402.02 c * 397s|143235 |132533 |504360 | 3.5 | 366M| 135 | - |5645 |5603 |5645 | 218 | 158k|2845 |4886 | 0.000000e+00 | 5.970000e+02 | Inf
424.10/424.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
424.10/424.15 c 419s|150000 |138969 |540587 | 3.6 | 384M| 142 | 0 |5645 |5674 |5645 | 211 | 170k|3406 |5063 | 0.000000e+00 | 5.970000e+02 | Inf
457.79/457.82 c 452s|160000 |148125 |597720 | 3.7 | 411M| 142 | 0 |5645 |5864 |5645 | 164 | 192k|4925 |5337 | 0.000000e+00 | 5.970000e+02 | Inf
490.10/490.11 c 484s|170000 |157811 |648265 | 3.8 | 436M| 142 | 0 |5645 |5643 |5645 | 213 | 208k|5405 |5552 | 0.000000e+00 | 5.970000e+02 | Inf
523.20/523.23 c 517s|180000 |167442 |701644 | 3.9 | 463M| 179 | 0 |5645 |5640 |5645 | 238 | 230k|6127 |5799 | 0.000000e+00 | 5.970000e+02 | Inf
531.31/531.34 o 596
531.31/531.34 c * 525s|182546 |169831 |712207 | 3.9 | 470M| 179 | - |5645 |5697 |5645 | 215 | 235k|6263 |5879 | 0.000000e+00 | 5.960000e+02 | Inf
538.50/538.51 o 595
538.50/538.51 c * 532s|184562 |171662 |724811 | 3.9 | 476M| 179 | - |5645 |5734 |5645 | 197 | 240k|6418 |5904 | 0.000000e+00 | 5.950000e+02 | Inf
557.60/557.66 c 551s|190000 |176853 |755720 | 4.0 | 491M| 179 | 8 |5645 |5855 |5645 | 198 | 254k|6968 |6079 | 0.000000e+00 | 5.950000e+02 | Inf
566.00/566.06 o 591
566.00/566.06 c * 559s|192339 |178665 |769664 | 4.0 | 498M| 179 | - |5645 |5941 |5645 | 225 | 259k|7334 |6139 | 0.000000e+00 | 5.910000e+02 | Inf
574.00/574.08 o 552
574.00/574.08 c * 567s|194676 |176831 |780857 | 4.0 | 484M| 179 | - |5645 |5815 |5645 | 190 | 264k|7513 |6198 | 0.000000e+00 | 5.520000e+02 | Inf
591.00/591.02 c 584s|200000 |181729 |804001 | 4.0 | 499M| 179 | 7 |5645 |5848 |5645 | 169 | 272k|8143 |6286 | 0.000000e+00 | 5.520000e+02 | Inf
601.60/601.68 o 550
601.60/601.68 c * 594s|202837 |183693 |822566 | 4.1 | 508M| 179 | - |5645 |6174 |5645 | 207 | 280k|9286 |6358 | 0.000000e+00 | 5.500000e+02 | Inf
603.50/603.52 o 549
603.50/603.52 c * 596s|203307 |183979 |825287 | 4.1 | 509M| 179 | - |5645 |6174 |5645 | 192 | 281k|9353 |6367 | 0.000000e+00 | 5.490000e+02 | Inf
603.50/603.52 o 548
603.50/603.52 c * 596s|203308 |183800 |825287 | 4.1 | 509M| 179 | - |5645 |6174 |5645 | 192 | 281k|9353 |6367 | 0.000000e+00 | 5.480000e+02 | Inf
604.10/604.12 o 543
604.10/604.12 c * 597s|203467 |183201 |826093 | 4.1 | 505M| 179 | - |5645 |6140 |5645 | 208 | 281k|9360 |6369 | 0.000000e+00 | 5.430000e+02 | Inf
604.40/604.45 o 539
604.40/604.45 c * 597s|203541 |182638 |826669 | 4.1 | 503M| 179 | - |5645 |6140 |5645 | 190 | 281k|9385 |6370 | 0.000000e+00 | 5.390000e+02 | Inf
604.60/604.68 o 533
604.60/604.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
604.60/604.68 c * 597s|203588 |181760 |827034 | 4.1 | 499M| 179 | - |5645 |6131 |5645 | 201 | 282k|9401 |6370 | 0.000000e+00 | 5.330000e+02 | Inf
626.50/626.50 c 619s|210000 |187765 |863463 | 4.1 | 518M| 179 | 0 |5645 |5728 |5645 | 159 | 294k| 10k|6555 | 0.000000e+00 | 5.330000e+02 | Inf
660.40/660.46 c 652s|220000 |197241 |931074 | 4.2 | 547M| 179 | 0 |5645 |5936 |5645 | 183 | 312k| 11k|6808 | 0.000000e+00 | 5.330000e+02 | Inf
668.70/668.78 o 532
668.70/668.78 c * 661s|222331 |199235 |945310 | 4.3 | 554M| 179 | - |5645 |5951 |5645 | 217 | 317k| 11k|6875 | 0.000000e+00 | 5.320000e+02 | Inf
694.00/694.08 c 686s|230000 |206370 |984884 | 4.3 | 577M| 179 | 0 |5645 |6269 |5645 | 189 | 331k| 12k|7013 | 0.000000e+00 | 5.320000e+02 | Inf
723.71/723.78 o 530
723.71/723.78 c * 715s|238772 |213645 | 1033k| 4.3 | 601M| 179 | - |5645 |6350 |5645 | 185 | 350k| 15k|7145 | 0.000000e+00 | 5.300000e+02 | Inf
728.00/728.05 c 719s|240000 |214679 | 1041k| 4.3 | 604M| 179 | 8 |5645 |6463 |5645 | 178 | 353k| 15k|7154 | 0.000000e+00 | 5.300000e+02 | Inf
761.01/761.08 c 752s|250000 |223681 | 1091k| 4.4 | 631M| 179 | 0 |5645 |6204 |5645 | 161 | 372k| 17k|7315 | 0.000000e+00 | 5.300000e+02 | Inf
779.50/779.50 o 528
779.50/779.50 c * 770s|255399 |228134 | 1120k| 4.4 | 646M| 179 | - |5645 |6426 |5645 | 186 | 382k| 18k|7377 | 0.000000e+00 | 5.280000e+02 | Inf
779.50/779.52 o 520
779.50/779.52 c * 770s|255400 |226472 | 1120k| 4.4 | 639M| 179 | - |5645 |6426 |5645 | 186 | 382k| 18k|7377 | 0.000000e+00 | 5.200000e+02 | Inf
780.10/780.19 o 518
780.10/780.19 c * 771s|255594 |226233 | 1121k| 4.4 | 638M| 179 | - |5645 |6438 |5645 | 188 | 382k| 18k|7377 | 0.000000e+00 | 5.180000e+02 | Inf
794.71/794.71 c 785s|260000 |230268 | 1144k| 4.4 | 650M| 179 | 0 |5645 |5971 |5645 | 171 | 392k| 19k|7453 | 0.000000e+00 | 5.180000e+02 | Inf
798.91/798.92 o 510
798.91/798.92 c * 789s|261385 |229767 | 1150k| 4.4 | 645M| 179 | - |5645 |5892 |5645 | 227 | 394k| 19k|7455 | 0.000000e+00 | 5.100000e+02 | Inf
804.40/804.46 o 499
804.40/804.46 c * 795s|263078 |228592 | 1158k| 4.4 | 638M| 184 | - |5645 |6111 |5645 | 196 | 397k| 20k|7490 | 0.000000e+00 | 4.990000e+02 | Inf
827.40/827.42 c 817s|270000 |234380 | 1193k| 4.4 | 656M| 212 | 3 |5645 |6588 |5645 | 156 | 411k| 22k|7576 | 0.000000e+00 | 4.990000e+02 | Inf
837.11/837.11 o 483
837.11/837.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
837.11/837.11 c * 827s|272997 |232411 | 1206k| 4.4 | 648M| 212 | - |5645 |6393 |5645 | 210 | 416k| 23k|7608 | 0.000000e+00 | 4.830000e+02 | Inf
846.50/846.56 o 475
846.50/846.56 c * 836s|275853 |232673 | 1219k| 4.4 | 648M| 212 | - |5645 |6162 |5645 | 191 | 421k| 24k|7622 | 0.000000e+00 | 4.750000e+02 | Inf
847.01/847.00 o 474
847.01/847.00 c * 837s|275979 |232455 | 1219k| 4.4 | 648M| 212 | - |5645 |6198 |5645 | 195 | 421k| 24k|7622 | 0.000000e+00 | 4.740000e+02 | Inf
848.01/848.09 o 458
848.01/848.09 c * 838s|276274 |228004 | 1221k| 4.4 | 627M| 212 | - |5645 |6220 |5645 | 199 | 421k| 24k|7622 | 0.000000e+00 | 4.580000e+02 | Inf
849.61/849.62 o 457
849.61/849.62 c * 839s|276703 |227996 | 1222k| 4.4 | 627M| 212 | - |5645 |6282 |5645 | 196 | 422k| 24k|7626 | 0.000000e+00 | 4.570000e+02 | Inf
855.61/855.63 o 436
855.61/855.63 c * 845s|278454 |222730 | 1228k| 4.4 | 604M| 212 | - |5645 |6102 |5645 | 200 | 424k| 24k|7658 | 0.000000e+00 | 4.360000e+02 | Inf
857.01/857.01 o 433
857.01/857.01 c * 847s|278833 |221961 | 1229k| 4.4 | 602M| 212 | - |5645 |6233 |5645 | 210 | 425k| 25k|7659 | 0.000000e+00 | 4.330000e+02 | Inf
858.20/858.29 o 426
858.20/858.29 c * 848s|279232 |219802 | 1231k| 4.4 | 595M| 212 | - |5645 |6264 |5645 | 177 | 425k| 25k|7660 | 0.000000e+00 | 4.260000e+02 | Inf
858.91/858.97 o 425
858.91/858.97 c * 849s|279398 |219577 | 1231k| 4.4 | 594M| 212 | - |5645 |6251 |5645 | 198 | 425k| 25k|7664 | 0.000000e+00 | 4.250000e+02 | Inf
859.31/859.33 o 422
859.31/859.33 c * 849s|279487 |218571 | 1232k| 4.4 | 591M| 212 | - |5645 |6241 |5645 | 193 | 426k| 25k|7665 | 0.000000e+00 | 4.220000e+02 | Inf
859.80/859.88 o 420
859.80/859.88 c * 849s|279611 |217886 | 1233k| 4.4 | 589M| 212 | - |5645 |6226 |5645 | 211 | 426k| 25k|7666 | 0.000000e+00 | 4.200000e+02 | Inf
860.80/860.84 o 405
860.80/860.84 c * 850s|279865 |212652 | 1234k| 4.4 | 571M| 212 | - |5645 |6336 |5645 | 202 | 426k| 25k|7674 | 0.000000e+00 | 4.050000e+02 | Inf
861.01/861.05 o 401
861.01/861.05 c * 851s|279916 |211282 | 1234k| 4.4 | 567M| 212 | - |5645 |6356 |5645 | 197 | 426k| 25k|7674 | 0.000000e+00 | 4.010000e+02 | Inf
861.40/861.41 c 851s|280000 |211314 | 1235k| 4.4 | 567M| 212 | 0 |5645 |6377 |5645 | 206 | 427k| 25k|7674 | 0.000000e+00 | 4.010000e+02 | Inf
861.40/861.43 o 393
861.40/861.43 c * 851s|280003 |208245 | 1235k| 4.4 | 558M| 212 | - |5645 |6377 |5645 | 206 | 427k| 25k|7674 | 0.000000e+00 | 3.930000e+02 | Inf
868.30/868.38 o 392
868.30/868.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
868.30/868.38 c * 858s|282228 |209933 | 1240k| 4.4 | 564M| 212 | - |5645 |6248 |5645 | 223 | 429k| 25k|7680 | 0.000000e+00 | 3.920000e+02 | Inf
874.01/874.04 o 391
874.01/874.04 c * 863s|283901 |211047 | 1246k| 4.4 | 568M| 212 | - |5645 |6308 |5645 | 197 | 431k| 26k|7682 | 0.000000e+00 | 3.910000e+02 | Inf
874.01/874.07 o 382
874.01/874.07 c * 863s|283904 |207702 | 1246k| 4.4 | 558M| 212 | - |5645 |6314 |5645 | 202 | 431k| 26k|7682 | 0.000000e+00 | 3.820000e+02 | Inf
874.11/874.15 o 379
874.11/874.15 c * 864s|283914 |206436 | 1246k| 4.4 | 554M| 212 | - |5645 |6312 |5645 | 211 | 431k| 26k|7682 | 0.000000e+00 | 3.790000e+02 | Inf
874.41/874.49 o 374
874.41/874.49 c * 864s|284001 |204698 | 1246k| 4.4 | 549M| 212 | - |5645 |6317 |5645 | 199 | 431k| 26k|7682 | 0.000000e+00 | 3.740000e+02 | Inf
874.41/874.50 o 371
874.41/874.50 c * 864s|284002 |203519 | 1246k| 4.4 | 545M| 212 | - |5645 |6317 |5645 | 199 | 431k| 26k|7682 | 0.000000e+00 | 3.710000e+02 | Inf
877.20/877.24 o 364
877.20/877.24 c * 867s|284804 |201601 | 1250k| 4.4 | 541M| 212 | - |5645 |6262 |5645 | 187 | 433k| 26k|7693 | 0.000000e+00 | 3.640000e+02 | Inf
877.20/877.25 o 363
877.20/877.25 c * 867s|284805 |201209 | 1250k| 4.4 | 540M| 212 | - |5645 |6262 |5645 | 187 | 433k| 26k|7693 | 0.000000e+00 | 3.630000e+02 | Inf
877.30/877.32 o 355
877.30/877.32 c * 867s|284809 |197999 | 1250k| 4.4 | 531M| 212 | - |5645 |6261 |5645 | 213 | 433k| 26k|7693 | 0.000000e+00 | 3.550000e+02 | Inf
877.40/877.40 o 343
877.40/877.40 c * 867s|284824 |193024 | 1250k| 4.4 | 517M| 212 | - |5645 |6266 |5645 | 223 | 433k| 26k|7694 | 0.000000e+00 | 3.430000e+02 | Inf
879.80/879.81 o 339
879.80/879.81 c * 869s|285450 |191946 | 1254k| 4.4 | 515M| 212 | - |5645 |6291 |5645 | 203 | 434k| 26k|7710 | 0.000000e+00 | 3.390000e+02 | Inf
885.60/885.65 o 337
885.60/885.65 c * 875s|287075 |192547 | 1262k| 4.4 | 521M| 212 | - |5645 |6476 |5645 | 206 | 437k| 26k|7720 | 0.000000e+00 | 3.370000e+02 | Inf
886.30/886.31 o 335
886.30/886.31 c * 876s|287211 |191836 | 1263k| 4.4 | 520M| 212 | - |5645 |6499 |5645 | 201 | 438k| 26k|7720 | 0.000000e+00 | 3.350000e+02 | Inf
894.90/894.93 c 884s|290000 |194333 | 1272k| 4.4 | 529M| 212 | 0 |5645 |6296 |5645 | 158 | 441k| 27k|7755 | 0.000000e+00 | 3.350000e+02 | Inf
900.50/900.51 o 333
900.50/900.51 c * 890s|291350 |194526 | 1282k| 4.4 | 534M| 212 | - |5645 |6386 |5645 | 202 | 444k| 27k|7769 | 0.000000e+00 | 3.330000e+02 | Inf
900.91/900.94 o 332
900.91/900.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
900.91/900.94 c * 890s|291437 |194174 | 1283k| 4.4 | 534M| 212 | - |5645 |6377 |5645 | 169 | 444k| 27k|7771 | 0.000000e+00 | 3.320000e+02 | Inf
905.80/905.82 o 322
905.80/905.82 c * 895s|292634 |190737 | 1292k| 4.4 | 525M| 212 | - |5645 |6524 |5645 | 224 | 447k| 28k|7792 | 0.000000e+00 | 3.220000e+02 | Inf
905.80/905.83 o 319
905.80/905.83 c * 895s|292635 |189492 | 1292k| 4.4 | 521M| 212 | - |5645 |6524 |5645 | 224 | 447k| 28k|7792 | 0.000000e+00 | 3.190000e+02 | Inf
911.81/911.88 o 317
911.81/911.88 c * 901s|294073 |189694 | 1304k| 4.4 | 525M| 212 | - |5645 |6635 |5645 | 223 | 450k| 28k|7806 | 0.000000e+00 | 3.170000e+02 | Inf
915.41/915.41 o 315
915.41/915.41 c * 904s|294969 |189512 | 1311k| 4.4 | 528M| 212 | - |5645 |6748 |5645 | 163 | 452k| 29k|7816 | 0.000000e+00 | 3.150000e+02 | Inf
921.82/921.85 o 314
921.82/921.85 c * 911s|296451 |189996 | 1323k| 4.5 | 534M| 212 | - |5645 |6911 |5645 | 208 | 456k| 29k|7849 | 0.000000e+00 | 3.140000e+02 | Inf
921.91/921.95 o 312
921.91/921.95 c * 911s|296474 |189043 | 1323k| 4.5 | 531M| 212 | - |5645 |6912 |5645 | 193 | 456k| 29k|7849 | 0.000000e+00 | 3.120000e+02 | Inf
924.10/924.13 o 311
924.10/924.13 c * 913s|297031 |188999 | 1328k| 4.5 | 533M| 212 | - |5645 |7029 |5645 | 196 | 457k| 30k|7850 | 0.000000e+00 | 3.110000e+02 | Inf
926.01/926.07 o 310
926.01/926.07 c * 915s|297524 |188967 | 1331k| 4.5 | 534M| 212 | - |5645 |6991 |5645 | 223 | 458k| 30k|7853 | 0.000000e+00 | 3.100000e+02 | Inf
926.01/926.09 o 308
926.01/926.09 c * 915s|297530 |188029 | 1331k| 4.5 | 531M| 212 | - |5645 |6991 |5645 | 223 | 458k| 30k|7853 | 0.000000e+00 | 3.080000e+02 | Inf
932.61/932.64 o 305
932.61/932.64 c * 921s|299121 |187884 | 1341k| 4.5 | 535M| 212 | - |5645 |6972 |5645 | 210 | 463k| 30k|7891 | 0.000000e+00 | 3.050000e+02 | Inf
933.70/933.77 o 304
933.70/933.77 c * 922s|299364 |187585 | 1343k| 4.5 | 536M| 212 | - |5645 |7041 |5645 | 204 | 463k| 30k|7900 | 0.000000e+00 | 3.040000e+02 | Inf
936.21/936.20 c 925s|300000 |188026 | 1346k| 4.5 | 539M| 212 | 0 |5645 |6991 |5645 | 227 | 465k| 30k|7904 | 0.000000e+00 | 3.040000e+02 | Inf
944.10/944.10 o 300
944.10/944.10 c * 933s|301948 |187132 | 1357k| 4.5 | 541M| 212 | - |5645 |7127 |5645 | 165 | 468k| 31k|7929 | 0.000000e+00 | 3.000000e+02 | Inf
944.10/944.17 o 295
944.10/944.17 c * 933s|301966 |184630 | 1357k| 4.5 | 533M| 212 | - |5645 |7124 |5645 | 162 | 468k| 31k|7929 | 0.000000e+00 | 2.950000e+02 | Inf
956.70/956.72 o 293
956.70/956.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
956.70/956.72 c * 945s|304985 |185593 | 1382k| 4.5 | 543M| 212 | - |5645 |7710 |5645 | 205 | 476k| 33k|7990 | 0.000000e+00 | 2.930000e+02 | Inf
965.40/965.48 o 292
965.40/965.48 c * 954s|307188 |186683 | 1399k| 4.6 | 552M| 212 | - |5645 |7812 |5645 | 197 | 482k| 34k|8018 | 0.000000e+00 | 2.920000e+02 | Inf
967.40/967.45 o 290
967.40/967.45 c * 956s|307753 |186016 | 1401k| 4.6 | 551M| 212 | - |5645 |7681 |5645 | 189 | 483k| 34k|8034 | 0.000000e+00 | 2.900000e+02 | Inf
973.20/973.20 o 289
973.20/973.20 c g 961s|309261 |186729 | 1411k| 4.6 | 557M| 212 | - |5645 |7119 |5645 | 200 | 485k| 35k|8076 | 0.000000e+00 | 2.890000e+02 | Inf
975.30/975.37 o 270
975.30/975.37 c * 963s|309733 |176625 | 1415k| 4.6 | 516M| 212 | - |5645 |7081 |5645 | 177 | 487k| 35k|8083 | 0.000000e+00 | 2.700000e+02 | Inf
976.01/976.00 o 265
976.01/976.00 c * 964s|309892 |174155 | 1416k| 4.6 | 507M| 212 | - |5645 |7112 |5645 | 222 | 487k| 35k|8085 | 0.000000e+00 | 2.650000e+02 | Inf
976.41/976.49 c 965s|310000 |174194 | 1417k| 4.6 | 508M| 212 | 0 |5645 |7092 |5645 | 231 | 487k| 35k|8094 | 0.000000e+00 | 2.650000e+02 | Inf
976.81/976.82 o 261
976.81/976.82 c * 965s|310082 |172199 | 1417k| 4.6 | 500M| 212 | - |5645 |7081 |5645 | 189 | 487k| 35k|8097 | 0.000000e+00 | 2.610000e+02 | Inf
977.51/977.50 o 258
977.51/977.50 c * 966s|310236 |170687 | 1418k| 4.6 | 495M| 212 | - |5645 |7052 |5645 | 210 | 488k| 35k|8097 | 0.000000e+00 | 2.580000e+02 | Inf
985.11/985.16 o 257
985.11/985.16 c * 973s|311890 |171264 | 1432k| 4.6 | 504M| 212 | - |5645 |7080 |5645 | 208 | 492k| 36k|8127 | 0.000000e+00 | 2.570000e+02 | Inf
985.61/985.61 o 256
985.61/985.61 c * 974s|311979 |170749 | 1433k| 4.6 | 503M| 212 | - |5645 |7087 |5645 | 222 | 493k| 36k|8134 | 0.000000e+00 | 2.560000e+02 | Inf
985.91/985.99 o 252
985.91/985.99 c * 974s|312058 |168466 | 1434k| 4.6 | 495M| 212 | - |5645 |7089 |5645 | 199 | 493k| 36k|8136 | 0.000000e+00 | 2.520000e+02 | Inf
986.01/986.05 o 251
986.01/986.05 c * 974s|312063 |167896 | 1434k| 4.6 | 493M| 212 | - |5645 |7077 |5645 | 182 | 493k| 36k|8136 | 0.000000e+00 | 2.510000e+02 | Inf
990.91/990.96 o 250
990.91/990.96 c * 979s|313209 |168024 | 1442k| 4.6 | 499M| 212 | - |5645 |7203 |5645 | 165 | 495k| 37k|8149 | 0.000000e+00 | 2.500000e+02 | Inf
997.80/997.83 o 248
997.80/997.83 c * 986s|314813 |167789 | 1454k| 4.6 | 505M| 212 | - |5645 |7245 |5645 | 171 | 499k| 37k|8173 | 0.000000e+00 | 2.480000e+02 | Inf
1002.31/1002.33 o 246
1002.31/1002.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1002.31/1002.33 c * 990s|315860 |166968 | 1461k| 4.6 | 506M| 212 | - |5645 |7388 |5645 | 224 | 501k| 38k|8198 | 0.000000e+00 | 2.460000e+02 | Inf
1005.51/1005.57 o 244
1005.51/1005.57 c * 993s|316567 |165956 | 1468k| 4.6 | 506M| 212 | - |5645 |7595 |5645 | 207 | 503k| 38k|8204 | 0.000000e+00 | 2.440000e+02 | Inf
1008.51/1008.55 o 243
1008.51/1008.55 c * 996s|317190 |165648 | 1473k| 4.6 | 508M| 212 | - |5645 |7657 |5645 | 184 | 505k| 39k|8220 | 0.000000e+00 | 2.430000e+02 | Inf
1008.71/1008.75 o 240
1008.71/1008.75 c * 996s|317231 |163575 | 1473k| 4.6 | 500M| 212 | - |5645 |7666 |5645 | 192 | 505k| 39k|8223 | 0.000000e+00 | 2.400000e+02 | Inf
1021.41/1021.40 c 1009s|320000 |165247 | 1496k| 4.7 | 519M| 212 | 0 |5645 |7528 |5645 | 211 | 512k| 40k|8299 | 0.000000e+00 | 2.400000e+02 | Inf
1023.31/1023.37 o 236
1023.31/1023.37 c *1011s|320483 |162707 | 1498k| 4.7 | 511M| 212 | - |5645 |7543 |5645 | 193 | 513k| 40k|8303 | 0.000000e+00 | 2.360000e+02 | Inf
1023.71/1023.76 o 231
1023.71/1023.76 c *1011s|320571 |159132 | 1498k| 4.7 | 496M| 212 | - |5645 |7543 |5645 | 216 | 514k| 40k|8307 | 0.000000e+00 | 2.310000e+02 | Inf
1023.91/1023.97 o 229
1023.91/1023.97 c *1011s|320617 |157702 | 1499k| 4.7 | 491M| 212 | - |5645 |7542 |5645 | 219 | 514k| 40k|8309 | 0.000000e+00 | 2.290000e+02 | Inf
1025.90/1025.93 o 228
1025.90/1025.93 c *1013s|321009 |157274 | 1502k| 4.7 | 491M| 212 | - |5645 |7672 |5645 | 231 | 515k| 41k|8327 | 0.000000e+00 | 2.280000e+02 | Inf
1028.11/1028.17 o 219
1028.11/1028.17 c *1016s|321524 |150528 | 1505k| 4.7 | 471M| 212 | - |5645 |7743 |5645 | 199 | 516k| 41k|8346 | 0.000000e+00 | 2.190000e+02 | Inf
1029.81/1029.85 o 217
1029.81/1029.85 c *1017s|321924 |149109 | 1507k| 4.7 | 468M| 212 | - |5645 |7676 |5645 | 186 | 517k| 41k|8349 | 0.000000e+00 | 2.170000e+02 | Inf
1032.20/1032.24 o 216
1032.20/1032.24 c *1020s|322401 |148503 | 1510k| 4.7 | 470M| 212 | - |5645 |7455 |5645 | 189 | 518k| 41k|8355 | 0.000000e+00 | 2.160000e+02 | Inf
1032.20/1032.26 o 214
1032.20/1032.26 c *1020s|322404 |146708 | 1510k| 4.7 | 463M| 212 | - |5645 |7455 |5645 | 189 | 518k| 41k|8355 | 0.000000e+00 | 2.140000e+02 | Inf
1032.81/1032.88 o 213
1032.81/1032.88 c *1020s|322534 |146002 | 1511k| 4.7 | 463M| 212 | - |5645 |7294 |5645 | 185 | 519k| 41k|8355 | 0.000000e+00 | 2.130000e+02 | Inf
1033.01/1033.02 o 210
1033.01/1033.02 c *1020s|322562 |143130 | 1512k| 4.7 | 451M| 212 | - |5645 |7287 |5645 | 199 | 519k| 41k|8355 | 0.000000e+00 | 2.100000e+02 | Inf
1033.11/1033.19 o 209
1033.11/1033.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1033.11/1033.19 c *1020s|322584 |142445 | 1512k| 4.7 | 448M| 212 | - |5645 |7265 |5645 | 217 | 519k| 42k|8355 | 0.000000e+00 | 2.090000e+02 | Inf
1034.81/1034.81 o 208
1034.81/1034.81 c *1022s|322950 |141781 | 1514k| 4.7 | 449M| 212 | - |5645 |7098 |5645 | 156 | 520k| 42k|8364 | 0.000000e+00 | 2.080000e+02 | Inf
1036.00/1036.10 o 195
1036.00/1036.10 c *1023s|323201 |130296 | 1515k| 4.7 | 408M| 212 | - |5645 |6894 |5645 | 231 | 520k| 42k|8368 | 0.000000e+00 | 1.950000e+02 | Inf
1036.11/1036.15 o 183
1036.11/1036.15 c *1023s|323205 |119282 | 1515k| 4.7 | 370M| 212 | - |5645 |6891 |5645 | 236 | 520k| 42k|8368 | 0.000000e+00 | 1.830000e+02 | Inf
1037.70/1037.74 o 167
1037.70/1037.74 c *1025s|323531 |106514 | 1517k| 4.7 | 336M| 212 | - |5645 |6864 |5645 | 199 | 521k| 42k|8371 | 0.000000e+00 | 1.670000e+02 | Inf
1037.70/1037.79 o 163
1037.70/1037.79 c *1025s|323535 |103776 | 1517k| 4.7 | 326M| 212 | - |5645 |6852 |5645 | 195 | 521k| 42k|8371 | 0.000000e+00 | 1.630000e+02 | Inf
1039.81/1039.84 o 159
1039.81/1039.84 c *1027s|323989 |101082 | 1519k| 4.7 | 321M| 212 | - |5645 |6563 |5645 | 210 | 522k| 42k|8385 | 0.000000e+00 | 1.590000e+02 | Inf
1040.11/1040.17 o 155
1040.11/1040.17 c *1027s|324036 | 94376 | 1520k| 4.7 | 303M| 212 | - |5645 |6547 |5645 | 183 | 522k| 42k|8388 | 0.000000e+00 | 1.550000e+02 | Inf
1040.61/1040.69 o 153
1040.61/1040.69 c *1028s|324133 | 90669 | 1520k| 4.7 | 295M| 212 | - |5645 |6528 |5645 | 170 | 522k| 42k|8389 | 0.000000e+00 | 1.530000e+02 | Inf
1040.70/1040.78 o 143
1040.70/1040.78 c *1028s|324139 | 78783 | 1520k| 4.7 | 261M| 212 | - |5645 |6528 |5645 | 160 | 522k| 42k|8389 | 0.000000e+00 | 1.430000e+02 | Inf
1042.10/1042.16 o 141
1042.10/1042.16 c *1029s|324462 | 76683 | 1522k| 4.7 | 256M| 212 | - |5645 |6575 |5645 | 173 | 523k| 42k|8393 | 0.000000e+00 | 1.410000e+02 | Inf
1042.81/1042.87 o 139
1042.81/1042.87 c *1030s|324665 | 74706 | 1522k| 4.7 | 253M| 212 | - |5645 |6565 |5645 | 159 | 523k| 42k|8396 | 0.000000e+00 | 1.390000e+02 | Inf
1042.90/1042.93 o 137
1042.90/1042.93 c *1030s|324675 | 73304 | 1522k| 4.7 | 250M| 212 | - |5645 |6566 |5645 | 159 | 523k| 42k|8396 | 0.000000e+00 | 1.370000e+02 | Inf
1043.61/1043.67 o 122
1043.61/1043.67 c *1031s|324854 | 58462 | 1523k| 4.7 | 209M| 212 | - |5645 |6528 |5645 | 187 | 523k| 43k|8396 | 0.000000e+00 | 1.220000e+02 | Inf
1043.71/1043.78 o 110
1043.71/1043.78 c *1031s|324867 | 45311 | 1523k| 4.7 | 171M| 212 | - |5645 |6531 |5645 | 192 | 523k| 43k|8397 | 0.000000e+00 | 1.100000e+02 | Inf
1043.81/1043.82 o 109
1043.81/1043.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1043.81/1043.82 c *1031s|324872 | 43983 | 1523k| 4.7 | 167M| 212 | - |5645 |6524 |5645 | 164 | 523k| 43k|8397 | 0.000000e+00 | 1.090000e+02 | Inf
1044.01/1044.04 o 107
1044.01/1044.04 c *1031s|324933 | 43477 | 1523k| 4.7 | 166M| 212 | - |5645 |6518 |5645 | 193 | 523k| 43k|8397 | 0.000000e+00 | 1.070000e+02 | Inf
1044.20/1044.29 o 102
1044.20/1044.29 c *1031s|324979 | 41382 | 1523k| 4.7 | 160M| 212 | - |5645 |6530 |5645 | 205 | 523k| 43k|8397 | 0.000000e+00 | 1.020000e+02 | Inf
1044.30/1044.39 o 100
1044.30/1044.39 c *1031s|324996 | 40547 | 1523k| 4.7 | 157M| 212 | - |5645 |6532 |5645 | 197 | 523k| 43k|8397 | 0.000000e+00 | 1.000000e+02 | Inf
1044.40/1044.46 o 93
1044.40/1044.46 c *1032s|325004 | 36619 | 1523k| 4.7 | 143M| 212 | - |5645 |6490 |5645 | 188 | 523k| 43k|8397 | 0.000000e+00 | 9.300000e+01 | Inf
1044.61/1044.60 o 75
1044.61/1044.60 c *1032s|325029 | 29250 | 1523k| 4.7 | 122M| 212 | - |5645 |6290 |5645 | 195 | 523k| 43k|8397 | 0.000000e+00 | 7.500000e+01 | Inf
1045.30/1045.33 o 68
1045.30/1045.33 c *1032s|325207 | 27741 | 1524k| 4.7 | 117M| 212 | - |5645 |5891 |5645 | 164 | 523k| 43k|8397 | 0.000000e+00 | 6.800000e+01 | Inf
1045.81/1045.82 o 59
1045.81/1045.82 c *1033s|325319 | 6385 | 1524k| 4.7 | 50M| 212 | - |5645 |5742 |5645 | 174 | 523k| 43k|8397 | 0.000000e+00 | 5.900000e+01 | Inf
1054.40/1054.49 o 58
1054.40/1054.49 c *1041s|328002 | 6176 | 1532k| 4.7 | 56M| 212 | - |5645 |6400 |5645 | 167 | 525k| 47k|8433 | 0.000000e+00 | 5.800000e+01 | Inf
1061.11/1061.10 c 1048s|330000 | 6143 | 1538k| 4.7 | 60M| 212 | - |5645 |7175 | 0 | 0 | 527k| 49k|8444 | 0.000000e+00 | 5.800000e+01 | Inf
1062.41/1062.49 o 57
1062.41/1062.49 c *1049s|330419 | 5530 | 1540k| 4.7 | 58M| 212 | - |5645 |7622 |5645 | 221 | 528k| 50k|8444 | 0.000000e+00 | 5.700000e+01 | Inf
1062.80/1062.84 o 45
1062.80/1062.84 c *1050s|330506 | 4955 | 1540k| 4.7 | 57M| 212 | - |5645 |7570 |5645 | 187 | 528k| 50k|8444 | 0.000000e+00 | 4.500000e+01 | Inf
1089.01/1089.05 c 1075s|340000 | 5330 | 1579k| 4.6 | 63M| 212 | 1 |5645 |9171 |5645 | 192 | 540k| 61k|8581 | 0.000000e+00 | 4.500000e+01 | Inf
1120.11/1120.16 c 1106s|350000 | 5763 | 1626k| 4.6 | 72M| 212 | - |5645 |9901 | 0 | 0 | 555k| 74k|8635 | 0.000000e+00 | 4.500000e+01 | Inf
1139.71/1139.79 o 34
1139.71/1139.79 c *1125s|357303 | 5070 | 1652k| 4.6 | 73M| 212 | - |5645 |9289 |5645 | 193 | 565k| 84k|8669 | 0.000000e+00 | 3.400000e+01 | Inf
1139.81/1139.84 o 25
1139.81/1139.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1139.81/1139.84 c *1125s|357307 | 4565 | 1652k| 4.6 | 70M| 212 | - |5645 |8834 |5645 | 193 | 565k| 84k|8669 | 0.000000e+00 | 2.500000e+01 | Inf
1145.91/1145.94 c 1131s|360000 | 4366 | 1658k| 4.6 | 69M| 212 | - |5645 |5855 | 0 | 0 | 566k| 87k|8676 | 0.000000e+00 | 2.500000e+01 | Inf
1168.40/1168.45 c 1153s|370000 | 4557 | 1691k| 4.6 | 73M| 212 | 1 |5645 |7644 |5645 | 154 | 575k| 100k|8724 | 0.000000e+00 | 2.500000e+01 | Inf
1177.81/1177.87 o 20
1177.81/1177.87 c *1163s|374616 | 4610 | 1702k| 4.5 | 74M| 212 | - |5645 |8281 |5645 | 171 | 577k| 106k|8724 | 0.000000e+00 | 2.000000e+01 | Inf
1179.71/1179.70 o 17
1179.71/1179.70 c *1165s|375495 | 4554 | 1704k| 4.5 | 72M| 212 | - |5645 |8062 |5645 | 168 | 577k| 107k|8724 | 0.000000e+00 | 1.700000e+01 | Inf
1188.11/1188.14 c 1173s|380000 | 4570 | 1713k| 4.5 | 73M| 212 | - |5645 |9712 | 0 | 0 | 579k| 112k|8744 | 0.000000e+00 | 1.700000e+01 | Inf
1208.92/1208.91 c 1193s|390000 | 4638 | 1733k| 4.4 | 75M| 212 | 1 |5645 |9071 |5645 | 175 | 584k| 125k|8769 | 0.000000e+00 | 1.700000e+01 | Inf
1215.42/1215.44 o 14
1215.42/1215.44 c *1200s|393267 | 4523 | 1741k| 4.4 | 74M| 212 | - |5645 | 10k|5645 | 154 | 586k| 129k|8784 | 0.000000e+00 | 1.400000e+01 | Inf
1228.81/1228.87 c 1213s|400000 | 4382 | 1761k| 4.4 | 73M| 212 | 1 |5645 |7658 |5645 | 151 | 592k| 138k|8812 | 0.000000e+00 | 1.400000e+01 | Inf
1248.61/1248.63 c 1232s|410000 | 4308 | 1790k| 4.4 | 75M| 212 | - |5645 |9392 | 0 | 0 | 600k| 151k|8844 | 0.000000e+00 | 1.400000e+01 | Inf
1268.81/1268.86 c 1252s|420000 | 4197 | 1822k| 4.3 | 75M| 212 | 1 |5645 | 10k|5645 | 154 | 608k| 166k|8893 | 0.000000e+00 | 1.400000e+01 | Inf
1288.22/1288.26 c 1271s|430000 | 4255 | 1840k| 4.3 | 77M| 212 | 1 |5645 | 14k|5645 | 154 | 612k| 179k|8919 | 0.000000e+00 | 1.400000e+01 | Inf
1308.11/1308.18 c 1291s|440000 | 4185 | 1861k| 4.2 | 77M| 212 | 1 |5645 | 13k|5645 | 164 | 616k| 193k|8943 | 0.000000e+00 | 1.400000e+01 | Inf
1329.11/1329.12 c 1311s|450000 | 4187 | 1890k| 4.2 | 77M| 212 | - |5645 | 11k| 0 | 0 | 623k| 206k|8984 | 0.000000e+00 | 1.400000e+01 | Inf
1334.11/1334.13 o 8
1334.11/1334.13 c *1316s|452269 | 3852 | 1897k| 4.2 | 70M| 212 | - |5645 | 13k|5645 | 187 | 625k| 209k|8984 | 0.000000e+00 | 8.000000e+00 | Inf
1334.11/1334.13 o 5
1334.11/1334.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1334.11/1334.13 c *1316s|452270 | 3732 | 1897k| 4.2 | 67M| 212 | - |5645 | 13k|5645 | 187 | 625k| 209k|8984 | 0.000000e+00 | 5.000000e+00 | Inf
1349.72/1349.73 c 1331s|460000 | 3660 | 1922k| 4.2 | 67M| 212 | - |5645 | 12k| 0 | 0 | 630k| 219k|9011 | 0.000000e+00 | 5.000000e+00 | Inf
1369.91/1369.97 c 1351s|470000 | 3732 | 1950k| 4.2 | 69M| 212 | - |5645 | 15k| 0 | 0 | 638k| 232k|9098 | 0.000000e+00 | 5.000000e+00 | Inf
1390.01/1390.09 c 1371s|480000 | 3891 | 1980k| 4.1 | 71M| 212 | - |5645 | 15k| 0 | 0 | 645k| 245k|9126 | 0.000000e+00 | 5.000000e+00 | Inf
1411.02/1411.06 c 1392s|490000 | 3963 | 2011k| 4.1 | 71M| 212 | 1 |5645 | 15k|5645 | 173 | 653k| 258k|9167 | 0.000000e+00 | 5.000000e+00 | Inf
1431.02/1431.00 c 1411s|500000 | 3986 | 2033k| 4.1 | 72M| 212 | - |5645 | 16k| 0 | 0 | 659k| 271k|9198 | 0.000000e+00 | 5.000000e+00 | Inf
1450.41/1450.41 c 1430s|510000 | 4018 | 2053k| 4.0 | 73M| 212 | 1 |5645 | 17k|5645 | 154 | 663k| 284k|9233 | 0.000000e+00 | 5.000000e+00 | Inf
1470.01/1470.00 c 1449s|520000 | 4010 | 2073k| 4.0 | 73M| 212 | 17 |5645 | 15k|5645 | 175 | 666k| 298k|9241 | 0.000000e+00 | 5.000000e+00 | Inf
1490.22/1490.27 c 1469s|530000 | 4108 | 2095k| 4.0 | 75M| 212 | 1 |5645 | 19k|5645 | 154 | 673k| 311k|9267 | 0.000000e+00 | 5.000000e+00 | Inf
1509.81/1509.83 c 1489s|540000 | 4066 | 2119k| 3.9 | 74M| 212 | - |5645 | 17k| 0 | 0 | 678k| 325k|9294 | 0.000000e+00 | 5.000000e+00 | Inf
1530.31/1530.34 c 1509s|550000 | 4069 | 2148k| 3.9 | 75M| 212 | 1 |5645 | 17k|5645 | 154 | 688k| 339k|9325 | 0.000000e+00 | 5.000000e+00 | Inf
1549.72/1549.74 c 1528s|560000 | 4066 | 2173k| 3.9 | 75M| 212 | 1 |5645 | 16k|5645 | 160 | 694k| 353k|9367 | 0.000000e+00 | 5.000000e+00 | Inf
1569.73/1569.77 c 1547s|570000 | 3996 | 2197k| 3.9 | 75M| 212 | 1 |5645 | 17k|5645 | 169 | 699k| 367k|9400 | 0.000000e+00 | 5.000000e+00 | Inf
1590.12/1590.15 c 1567s|580000 | 4084 | 2224k| 3.8 | 76M| 212 | 1 |5645 | 19k|5645 | 154 | 706k| 381k|9423 | 0.000000e+00 | 5.000000e+00 | Inf
1611.11/1611.14 c 1588s|590000 | 4118 | 2251k| 3.8 | 77M| 212 | - |5645 | 18k| 0 | 0 | 712k| 396k|9450 | 0.000000e+00 | 5.000000e+00 | Inf
1632.62/1632.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1632.62/1632.68 c 1609s|600000 | 4345 | 2281k| 3.8 | 79M| 212 | - |5645 | 19k| 0 | 0 | 720k| 409k|9480 | 0.000000e+00 | 5.000000e+00 | Inf
1653.51/1653.58 c 1630s|610000 | 4381 | 2310k| 3.8 | 80M| 212 | 17 |5645 | 19k|5645 | 170 | 727k| 424k|9506 | 0.000000e+00 | 5.000000e+00 | Inf
1673.42/1673.44 c 1649s|620000 | 4420 | 2336k| 3.8 | 80M| 212 | 1 |5645 | 19k|5645 | 154 | 735k| 440k|9532 | 0.000000e+00 | 5.000000e+00 | Inf
1694.02/1694.02 c 1670s|630000 | 4503 | 2362k| 3.8 | 82M| 212 | - |5645 | 21k|5645 | 187 | 742k| 455k|9556 | 0.000000e+00 | 5.000000e+00 | Inf
1714.82/1714.89 c 1690s|640000 | 4465 | 2389k| 3.7 | 82M| 212 | - |5645 | 22k| 0 | 0 | 748k| 470k|9589 | 0.000000e+00 | 5.000000e+00 | Inf
1725.12/1725.13 o 3
1725.12/1725.13 c *1700s|644682 | 4491 | 2403k| 3.7 | 81M| 212 | - |5645 | 20k|5645 | 176 | 751k| 477k|9589 | 0.000000e+00 | 3.000000e+00 | Inf
1736.41/1736.41 c 1711s|650000 | 4475 | 2416k| 3.7 | 81M| 212 | - |5645 | 21k| 0 | 0 | 754k| 485k|9616 | 0.000000e+00 | 3.000000e+00 | Inf
1756.12/1756.11 c 1731s|660000 | 4460 | 2438k| 3.7 | 82M| 212 | 1 |5645 | 21k|5645 | 167 | 758k| 500k|9638 | 0.000000e+00 | 3.000000e+00 | Inf
1775.52/1775.56 c 1750s|670000 | 4467 | 2461k| 3.7 | 83M| 212 | 7 |5645 | 22k|5645 | 191 | 761k| 514k|9650 | 0.000000e+00 | 3.000000e+00 | Inf
1796.12/1796.12 c 1770s|680000 | 4453 | 2483k| 3.7 | 83M| 212 | - |5645 | 24k| 0 | 0 | 766k| 530k|9674 | 0.000000e+00 | 3.000000e+00 | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1774.08
1800.03/1800.00 c Solving Nodes : 681854
1800.03/1800.00 c Primal Bound : +3.00000000000000e+00 (230 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 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
1800.03/1800.09 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 x109 -x108 -x107 -x106 -x105
1800.03/1800.09 v -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 x80
1800.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
1800.03/1800.09 v -x54 -x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 -x29
1800.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 : 1774.08
1800.03/1800.09 c Original Problem :
1800.03/1800.09 c Problem name : HOME/instance-2692312-1277925720.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-2692312-1277925720.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, 24225 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.04 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.02 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 : - 2648 - - 5296 - - - -
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 619888 0 1 52 0 0 517854
1800.03/1800.09 c indicator : 2707 0 3001839 360705 0 749 15221056 0 0 0
1800.03/1800.09 c linear : 2707 6 3015891 360659 0 140175 10850829 766805 0 0
1800.03/1800.09 c logicor : 0+ 0 868214 0 0 39593 888437 0 0 0
1800.03/1800.09 c bounddisjunction : 0+ 0 15039 0 0 0 64 0 0 0
1800.03/1800.09 c countsols : 0 0 0 247463 0 0 0 0 0 0
1800.03/1800.09 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.09 c integral : 16.70 0.00 0.00 16.70 0.00
1800.03/1800.09 c indicator : 135.17 0.01 47.24 87.92 0.00
1800.03/1800.09 c linear : 193.47 0.00 128.04 65.43 0.00
1800.03/1800.09 c logicor : 81.74 0.00 81.74 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.12 0.00 0.00 0.12 0.00
1800.03/1800.09 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.09 c vbounds : 0.90 2 0 0
1800.03/1800.09 c rootredcost : 0.68 129 0 2648
1800.03/1800.09 c pseudoobj : 163.46 3037158 20187 8492407
1800.03/1800.09 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.09 c propagation : 14.33 199955 199908 1247351 33.5 14745 15.0 -
1800.03/1800.09 c infeasible LP : 0.74 1952 1952 14871 42.5 23 14.8 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.34 1214 1214 5055 13.0 394 4.4 -
1800.03/1800.09 c applied globally : - - - 532880 24.6 - - -
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 : 67.60 628086 0 6423091 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.00 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.09 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.09 c Pricers : Time Calls Vars
1800.03/1800.09 c problem variables: 0.00 0 0
1800.03/1800.09 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.09 c relpscost : 16.34 258974 1 52 0 0 517854
1800.03/1800.09 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.09 c inference : 71.88 247335 0 0 0 0 494670
1800.03/1800.09 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.09 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.09 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.09 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.09 c random : 0.00 0 0 0 0 0 0
1800.03/1800.09 c Primal Heuristics : Time Calls Found
1800.03/1800.09 c LP solutions : 1.15 - 128
1800.03/1800.09 c pseudo solutions : 0.00 - 0
1800.03/1800.09 c feaspump : 0.00 0 0
1800.03/1800.09 c oneopt : 0.95 123 0
1800.03/1800.09 c intshifting : 0.07 26 0
1800.03/1800.09 c crossover : 4.73 165 0
1800.03/1800.09 c guideddiving : 19.64 10704 1
1800.03/1800.09 c veclendiving : 17.29 11447 0
1800.03/1800.09 c linesearchdiving : 17.02 11447 0
1800.03/1800.09 c pscostdiving : 17.59 11447 0
1800.03/1800.09 c fracdiving : 16.70 11447 0
1800.03/1800.09 c coefdiving : 17.14 11448 0
1800.03/1800.09 c rootsoldiving : 17.66 10156 0
1800.03/1800.09 c objpscostdiving : 16.43 10177 0
1800.03/1800.09 c trivial : 0.07 2 2
1800.03/1800.09 c simplerounding : 0.52 261259 0
1800.03/1800.09 c zirounding : 0.46 1000 0
1800.03/1800.09 c rounding : 2.98 7195 0
1800.03/1800.09 c shifting : 2.33 2266 0
1800.03/1800.09 c twoopt : 0.00 0 0
1800.03/1800.09 c fixandinfer : 0.00 0 0
1800.03/1800.09 c intdiving : 0.00 0 0
1800.03/1800.09 c actconsdiving : 0.00 0 0
1800.03/1800.09 c octane : 0.00 0 0
1800.03/1800.09 c rens : 0.03 1 0
1800.03/1800.09 c rins : 0.00 0 0
1800.03/1800.09 c localbranching : 0.00 0 0
1800.03/1800.09 c mutation : 0.00 0 0
1800.03/1800.09 c dins : 0.00 0 0
1800.03/1800.09 c undercover : 0.00 0 0
1800.03/1800.09 c nlp : 0.29 0 0
1800.03/1800.09 c trysol : 1.50 18091 99
1800.03/1800.09 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.09 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.09 c dual LP : 459.83 407555 2481038 6.09 5395.55
1800.03/1800.09 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.09 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.09 c diving/probing LP: 1.56 1628 6253 3.84 4008.33
1800.03/1800.09 c strong branching : 14.61 9674 70642 7.30 4835.18
1800.03/1800.09 c (at root node) : - 32 1061 33.16 -
1800.03/1800.09 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.09 c B&B Tree :
1800.03/1800.09 c number of runs : 1
1800.03/1800.09 c nodes : 681854
1800.03/1800.09 c nodes (total) : 681854
1800.03/1800.09 c nodes left : 4455
1800.03/1800.09 c max depth : 212
1800.03/1800.09 c max depth (total): 212
1800.03/1800.09 c backtracks : 43571 (6.4%)
1800.03/1800.09 c delayed cutoffs : 30321
1800.03/1800.09 c repropagations : 1282135 (4942411 domain reductions, 28233 cutoffs)
1800.03/1800.09 c avg switch length: 5.99
1800.03/1800.09 c switching time : 151.50
1800.03/1800.09 c Solution :
1800.03/1800.09 c Solutions found : 230 (130 improvements)
1800.03/1800.09 c First Solution : +1.34313000000000e+05 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.03/1800.09 c Primal Bound : +3.00000000000000e+00 (in run 1, after 644682 nodes, 1700.36 seconds, depth 53, found by <relaxation>)
1800.03/1800.09 c Dual Bound : +0.00000000000000e+00
1800.03/1800.09 c Gap : infinite
1800.03/1800.09 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.09 c Root Iterations : 106
1800.22/1800.22 c Time complete: 1800.25.
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692312-1277925720/watcher-2692312-1277925720 -o /tmp/evaluation-result-2692312-1277925720/solver-2692312-1277925720 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692312-1277925720.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 4/178 14193 /proc/meminfo: memFree=31590436/32950928 swapFree=67111528/67111528 [pid=14193] ppid=14191 vsize=9744 CPUtime=0 /proc/14193/stat : 14193 (pbscip.linux.x8) R 14191 14193 12818 0 -1 4202496 1732 0 0 0 0 0 0 0 25 0 1 0 133868363 9977856 1651 4089446400 4194304 8223781 140734386773008 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/14193/statm: 2436 1651 369 984 0 1449 0 [startup+0.089269 s] /proc/loadavg: 2.00 2.00 2.00 4/178 14193 /proc/meminfo: memFree=31590436/32950928 swapFree=67111528/67111528 [pid=14193] ppid=14191 vsize=35144 CPUtime=0.07 /proc/14193/stat : 14193 (pbscip.linux.x8) R 14191 14193 12818 0 -1 4202496 8090 0 0 0 7 0 0 0 25 0 1 0 133868363 35987456 7645 4089446400 4194304 8223781 140734386773008 18446744073709551615 7256940 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14193/statm: 8786 7645 422 984 0 7799 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 35144 [startup+0.100203 s] /proc/loadavg: 2.00 2.00 2.00 4/178 14193 /proc/meminfo: memFree=31590436/32950928 swapFree=67111528/67111528 [pid=14193] ppid=14191 vsize=35144 CPUtime=0.08 /proc/14193/stat : 14193 (pbscip.linux.x8) R 14191 14193 12818 0 -1 4202496 8090 0 0 0 8 0 0 0 25 0 1 0 133868363 35987456 7645 4089446400 4194304 8223781 140734386773008 18446744073709551615 7257410 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14193/statm: 8786 7645 422 984 0 7799 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 35144 [startup+0.300229 s] /proc/loadavg: 2.00 2.00 2.00 4/178 14193 /proc/meminfo: memFree=31590436/32950928 swapFree=67111528/67111528 [pid=14193] ppid=14191 vsize=58620 CPUtime=0.29 /proc/14193/stat : 14193 (pbscip.linux.x8) R 14191 14193 12818 0 -1 4202496 14523 0 0 0 27 2 0 0 25 0 1 0 133868363 60026880 13465 4089446400 4194304 8223781 140734386773008 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14193/statm: 14655 13471 564 984 0 13668 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 58620 [startup+0.700149 s] /proc/loadavg: 2.00 2.00 2.00 4/178 14193 /proc/meminfo: memFree=31590436/32950928 swapFree=67111528/67111528 [pid=14193] ppid=14191 vsize=43084 CPUtime=0.69 /proc/14193/stat : 14193 (pbscip.linux.x8) R 14191 14193 12818 0 -1 4202496 15657 0 0 0 66 3 0 0 25 0 1 0 133868363 44118016 9711 4089446400 4194304 8223781 140734386773008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14193/statm: 10771 9711 575 984 0 9784 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 43084 [startup+1.50097 s] /proc/loadavg: 2.08 2.02 2.01 3/179 14194 /proc/meminfo: memFree=31552856/32950928 swapFree=67111528/67111528 [pid=14193] ppid=14191 vsize=43188 CPUtime=1.49 /proc/14193/stat : 14193 (pbscip.linux.x8) R 14191 14193 12818 0 -1 4202496 15751 0 0 0 145 4 0 0 25 0 1 0 133868363 44224512 9801 4089446400 4194304 8223781 140734386773008 18446744073709551615 6440144 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14193/statm: 10797 9801 578 984 0 9810 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 43188 [startup+3.1007 s] /proc/loadavg: 2.08 2.02 2.01 3/179 14194 /proc/meminfo: memFree=31551492/32950928 swapFree=67111528/67111528 [pid=14193] ppid=14191 vsize=49616 CPUtime=3.09 /proc/14193/stat : 14193 (pbscip.linux.x8) R 14191 14193 12818 0 -1 4202496 22061 0 0 0 302 7 0 0 25 0 1 0 133868363 50806784 11047 4089446400 4194304 8223781 140734386773008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14193/statm: 12404 11047 579 984 0 11417 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49616 [startup+6.30017 s] /proc/loadavg: 2.07 2.02 2.00 3/179 14194 /proc/meminfo: memFree=31543304/32950928 swapFree=67111528/67111528 [pid=14193] ppid=14191 vsize=54076 CPUtime=6.29 /proc/14193/stat : 14193 (pbscip.linux.x8) R 14191 14193 12818 0 -1 4202496 28477 0 0 0 616 13 0 0 25 0 1 0 133868363 55373824 12376 4089446400 4194304 8223781 140734386773008 18446744073709551615 6439843 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14193/statm: 13519 12376 579 984 0 12532 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 54076 [startup+12.7001 s] /proc/loadavg: 2.07 2.02 2.00 3/179 14194 /proc/meminfo: memFree=31536240/32950928 swapFree=67111528/67111528 [pid=14193] ppid=14191 vsize=59616 CPUtime=12.69 /proc/14193/stat : 14193 (pbscip.linux.x8) R 14191 14193 12818 0 -1 4202496 40028 0 0 0 1246 23 0 0 25 0 1 0 133868363 61046784 13772 4089446400 4194304 8223781 140734386773008 18446744073709551615 6557694 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14193/statm: 14904 13772 579 984 0 13917 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 59616 [startup+25.5009 s] /proc/loadavg: 2.06 2.01 2.00 3/179 14194 /proc/meminfo: memFree=31522116/32950928 swapFree=67111528/67111528 [pid=14193] ppid=14191 vsize=74432 CPUtime=25.49 /proc/14193/stat : 14193 (pbscip.linux.x8) R 14191 14193 12818 0 -1 4202496 48875 0 0 0 2511 38 0 0 25 0 1 0 133868363 76218368 17468 4089446400 4194304 8223781 140734386773008 18446744073709551615 4414743 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14193/statm: 18608 17468 579 984 0 17621 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 74432 [startup+51.1006 s] /proc/loadavg: 2.03 2.01 2.00 3/179 14194 /proc/meminfo: memFree=31492252/32950928 swapFree=67111528/67111528 [pid=14193] ppid=14191 vsize=105840 CPUtime=51.09 /proc/14193/stat : 14193 (pbscip.linux.x8) R 14191 14193 12818 0 -1 4202496 61822 0 0 0 5040 69 0 0 25 0 1 0 133868363 108380160 25299 4089446400 4194304 8223781 140734386773008 18446744073709551615 4561004 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14193/statm: 26460 25299 579 984 0 25473 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 105840 [startup+102.306 s] /proc/loadavg: 2.01 2.01 2.00 3/179 14196 /proc/meminfo: memFree=31432216/32950928 swapFree=67111528/67111528 [pid=14193] ppid=14191 vsize=163532 CPUtime=102.29 /proc/14193/stat : 14193 (pbscip.linux.x8) R 14191 14193 12818 0 -1 4202496 81448 0 0 0 10104 125 0 0 25 0 1 0 133868363 167456768 39714 4089446400 4194304 8223781 140734386773008 18446744073709551615 6439868 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14193/statm: 40883 39714 579 984 0 39896 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 163532 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14198 /proc/meminfo: memFree=31387652/32950928 swapFree=67111528/67111528 [pid=14193] ppid=14191 vsize=208724 CPUtime=162.3 /proc/14193/stat : 14193 (pbscip.linux.x8) R 14191 14193 12818 0 -1 4202496 135055 0 0 0 16039 191 0 0 25 0 1 0 133868363 213733376 50968 4089446400 4194304 8223781 140734386773008 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14193/statm: 52181 50968 584 984 0 51194 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 208724 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14200 /proc/meminfo: memFree=31334044/32950928 swapFree=67111528/67111528 [pid=14193] ppid=14191 vsize=262956 CPUtime=222.3 /proc/14193/stat : 14193 (pbscip.linux.x8) R 14191 14193 12818 0 -1 4202496 178596 0 0 0 21969 261 0 0 25 0 1 0 133868363 269266944 64122 4089446400 4194304 8223781 140734386773008 18446744073709551615 4651300 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14193/statm: 65739 64122 584 984 0 64752 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 262956 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14202 /proc/meminfo: memFree=31280056/32950928 swapFree=67111528/67111528 [pid=14193] ppid=14191 vsize=317572 CPUtime=282.3 /proc/14193/stat : 14193 (pbscip.linux.x8) R 14191 14193 12818 0 -1 4202496 219249 0 0 0 27898 332 0 0 25 0 1 0 133868363 325193728 77686 4089446400 4194304 8223781 140734386773008 18446744073709551615 7257248 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14193/statm: 79393 77686 584 984 0 78406 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 317572 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14202 /proc/meminfo: memFree=31228556/32950928 swapFree=67111528/67111528 [pid=14193] ppid=14191 vsize=368116 CPUtime=342.3 /proc/14193/stat : 14193 (pbscip.linux.x8) R 14191 14193 12818 0 -1 4202496 237081 0 0 0 33830 400 0 0 25 0 1 0 133868363 376950784 90387 4089446400 4194304 8223781 140734386773008 18446744073709551615 6439950 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14193/statm: 92029 90387 586 984 0 91042 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 368116 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14204 /proc/meminfo: memFree=31180272/32950928 swapFree=67111528/67111528 [pid=14193] ppid=14191 vsize=417164 CPUtime=402.3 /proc/14193/stat : 14193 (pbscip.linux.x8) R 14191 14193 12818 0 -1 4202496 283168 0 0 0 39761 469 0 0 25 0 1 0 133868363 427175936 102491 4089446400 4194304 8223781 140734386773008 18446744073709551615 4444354 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14193/statm: 104291 102491 586 984 0 103304 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 417164 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14206 /proc/meminfo: memFree=31128536/32950928 swapFree=67111528/67111528 [pid=14193] ppid=14191 vsize=469724 CPUtime=462.3 /proc/14193/stat : 14193 (pbscip.linux.x8) R 14191 14193 12818 0 -1 4202496 320134 0 0 0 45689 541 0 0 25 0 1 0 133868363 480997376 115549 4089446400 4194304 8223781 140734386773008 18446744073709551615 6372002 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14193/statm: 117431 115549 586 984 0 116444 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 469724 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14208 /proc/meminfo: memFree=31080748/32950928 swapFree=67111528/67111528 [pid=14193] ppid=14191 vsize=518184 CPUtime=522.3 /proc/14193/stat : 14193 (pbscip.linux.x8) R 14191 14193 12818 0 -1 4202496 337482 0 0 0 51610 620 0 0 25 0 1 0 133868363 530620416 127763 4089446400 4194304 8223781 140734386773008 18446744073709551615 6173615 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14193/statm: 129546 127763 586 984 0 128559 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 518184 [startup+582.3 s] /proc/loadavg: 2.13 2.03 2.01 3/179 14213 /proc/meminfo: memFree=31027496/32950928 swapFree=67111528/67111528 [pid=14193] ppid=14191 vsize=570048 CPUtime=582.3 /proc/14193/stat : 14193 (pbscip.linux.x8) R 14191 14193 12818 0 -1 4202496 398312 0 0 0 57531 699 0 0 25 0 1 0 133868363 583729152 140554 4089446400 4194304 8223781 140734386773008 18446744073709551615 4827527 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14193/statm: 142512 140554 586 984 0 141525 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 570048 [startup+642.301 s] /proc/loadavg: 2.05 2.02 2.00 3/179 14213 /proc/meminfo: memFree=30982380/32950928 swapFree=67111528/67111528 [pid=14193] ppid=14191 vsize=615352 CPUtime=642.31 /proc/14193/stat : 14193 (pbscip.linux.x8) R 14191 14193 12818 0 -1 4202496 436748 0 0 0 63458 773 0 0 25 0 1 0 133868363 630120448 151630 4089446400 4194304 8223781 140734386773008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14193/statm: 153838 151630 588 984 0 152851 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 615352 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14266 /proc/meminfo: memFree=30586844/32950928 swapFree=67111528/67111528 [pid=14193] ppid=14191 vsize=818228 CPUtime=882.3 /proc/14193/stat : 14193 (pbscip.linux.x8) R 14191 14193 12818 0 -1 4202496 631973 0 0 0 87163 1067 0 0 25 0 1 0 133868363 837865472 200011 4089446400 4194304 8223781 140734386773008 18446744073709551615 4820004 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14193/statm: 204557 200011 588 984 0 203570 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 818228 [startup+942.3 s] /proc/loadavg: 2.07 2.02 2.00 3/197 14266 /proc/meminfo: memFree=30504712/32950928 swapFree=67111528/67111528 [pid=14193] ppid=14191 vsize=863988 CPUtime=942.3 /proc/14193/stat : 14193 (pbscip.linux.x8) R 14191 14193 12818 0 -1 4202496 726909 0 0 0 93089 1141 0 0 25 0 1 0 133868363 884723712 211035 4089446400 4194304 8223781 140734386773008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14193/statm: 215997 211035 588 984 0 215010 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 863988 [startup+1002.3 s] /proc/loadavg: 2.39 2.12 2.04 3/197 14268 /proc/meminfo: memFree=30411304/32950928 swapFree=67111528/67111528 [pid=14193] ppid=14191 vsize=922052 CPUtime=1002.31 /proc/14193/stat : 14193 (pbscip.linux.x8) R 14191 14193 12818 0 -1 4202496 835190 0 0 0 99002 1229 0 0 25 0 1 0 133868363 944181248 224599 4089446400 4194304 8223781 140734386773008 18446744073709551615 6448652 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14193/statm: 230513 224599 588 984 0 229526 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 922052 [startup+1062.3 s] /proc/loadavg: 2.14 2.09 2.03 3/197 14270 /proc/meminfo: memFree=30323200/32950928 swapFree=67111528/67111528 [pid=14193] ppid=14191 vsize=976496 CPUtime=1062.31 /proc/14193/stat : 14193 (pbscip.linux.x8) R 14191 14193 12818 0 -1 4202496 959944 0 0 0 104908 1323 0 0 25 0 1 0 133868363 999931904 236337 4089446400 4194304 8223781 140734386773008 18446744073709551615 6482456 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14193/statm: 244124 236337 592 984 0 243137 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 976496 [startup+1122.3 s] /proc/loadavg: 2.05 2.07 2.02 3/197 14272 /proc/meminfo: memFree=30284728/32950928 swapFree=67111528/67111528 [pid=14193] ppid=14191 vsize=988692 CPUtime=1122.3 /proc/14193/stat : 14193 (pbscip.linux.x8) R 14191 14193 12818 0 -1 4202496 997211 0 0 0 110815 1415 0 0 25 0 1 0 133868363 1012420608 239122 4089446400 4194304 8223781 140734386773008 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14193/statm: 247173 239122 594 984 0 246186 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 988692 [startup+1182.3 s] /proc/loadavg: 2.10 2.07 2.02 3/197 14274 /proc/meminfo: memFree=30262352/32950928 swapFree=67111528/67111528 [pid=14193] ppid=14191 vsize=992288 CPUtime=1182.3 /proc/14193/stat : 14193 (pbscip.linux.x8) R 14191 14193 12818 0 -1 4202496 1062219 0 0 0 116706 1524 0 0 25 0 1 0 133868363 1016102912 239882 4089446400 4194304 8223781 140734386773008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14193/statm: 248072 239882 595 984 0 247085 0 Current children cumulated CPU time (s) 1182.3 Current children cumulated vsize (KiB) 992288 [startup+1242.3 s] /proc/loadavg: 2.32 2.16 2.06 3/197 14274 /proc/meminfo: memFree=30226476/32950928 swapFree=67111528/67111528 [pid=14193] ppid=14191 vsize=992796 CPUtime=1242.31 /proc/14193/stat : 14193 (pbscip.linux.x8) R 14191 14193 12818 0 -1 4202496 1116667 0 0 0 122590 1641 0 0 25 0 1 0 133868363 1016623104 239863 4089446400 4194304 8223781 140734386773008 18446744073709551615 6439854 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14193/statm: 248199 239863 595 984 0 247212 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 992796 [startup+1302.3 s] /proc/loadavg: 2.34 2.20 2.08 3/197 14276 /proc/meminfo: memFree=30182164/32950928 swapFree=67111528/67111528 [pid=14193] ppid=14191 vsize=994416 CPUtime=1302.32 /proc/14193/stat : 14193 (pbscip.linux.x8) R 14191 14193 12818 0 -1 4202496 1124695 0 0 0 128481 1751 0 0 25 0 1 0 133868363 1018281984 240206 4089446400 4194304 8223781 140734386773008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14193/statm: 248604 240206 595 984 0 247617 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 994416 [startup+1362.3 s] /proc/loadavg: 2.12 2.16 2.07 3/197 14278 /proc/meminfo: memFree=30141076/32950928 swapFree=67111528/67111528 [pid=14193] ppid=14191 vsize=989068 CPUtime=1362.31 /proc/14193/stat : 14193 (pbscip.linux.x8) R 14191 14193 12818 0 -1 4202496 1160402 0 0 0 134367 1864 0 0 25 0 1 0 133868363 1012805632 238892 4089446400 4194304 8223781 140734386773008 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14193/statm: 247267 238892 596 984 0 246280 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 989068 [startup+1422.31 s] /proc/loadavg: 2.04 2.13 2.06 3/197 14280 /proc/meminfo: memFree=30114976/32950928 swapFree=67111528/67111528 [pid=14193] ppid=14191 vsize=990856 CPUtime=1422.32 /proc/14193/stat : 14193 (pbscip.linux.x8) R 14191 14193 12818 0 -1 4202496 1165416 0 0 0 140267 1965 0 0 25 0 1 0 133868363 1014636544 239361 4089446400 4194304 8223781 140734386773008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14193/statm: 247714 239361 596 984 0 246727 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 990856 [startup+1482.3 s] /proc/loadavg: 2.05 2.12 2.06 3/197 14282 /proc/meminfo: memFree=30077000/32950928 swapFree=67111528/67111528 [pid=14193] ppid=14191 vsize=991580 CPUtime=1482.32 /proc/14193/stat : 14193 (pbscip.linux.x8) R 14191 14193 12818 0 -1 4202496 1172727 0 0 0 146154 2078 0 0 25 0 1 0 133868363 1015377920 239547 4089446400 4194304 8223781 140734386773008 18446744073709551615 6162709 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14193/statm: 247895 239547 594 984 0 246908 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 991580 [startup+1542.3 s] /proc/loadavg: 2.02 2.09 2.06 3/197 14282 /proc/meminfo: memFree=30037404/32950928 swapFree=67111528/67111528 [pid=14193] ppid=14191 vsize=992280 CPUtime=1542.32 /proc/14193/stat : 14193 (pbscip.linux.x8) R 14191 14193 12818 0 -1 4202496 1179787 0 0 0 152048 2184 0 0 25 0 1 0 133868363 1016094720 239726 4089446400 4194304 8223781 140734386773008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14193/statm: 248070 239726 594 984 0 247083 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 992280 [startup+1602.3 s] /proc/loadavg: 2.00 2.07 2.05 3/197 14284 /proc/meminfo: memFree=30002016/32950928 swapFree=67111528/67111528 [pid=14193] ppid=14191 vsize=993940 CPUtime=1602.31 /proc/14193/stat : 14193 (pbscip.linux.x8) R 14191 14193 12818 0 -1 4202496 1180176 0 0 0 157943 2288 0 0 25 0 1 0 133868363 1017794560 240115 4089446400 4194304 8223781 140734386773008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14193/statm: 248485 240115 594 984 0 247498 0 Current children cumulated CPU time (s) 1602.31 Current children cumulated vsize (KiB) 993940 [startup+1662.3 s] /proc/loadavg: 2.00 2.06 2.05 3/197 14286 /proc/meminfo: memFree=29983252/32950928 swapFree=67111528/67111528 [pid=14193] ppid=14191 vsize=994880 CPUtime=1662.31 /proc/14193/stat : 14193 (pbscip.linux.x8) R 14191 14193 12818 0 -1 4202496 1180425 0 0 0 163853 2378 0 0 25 0 1 0 133868363 1018757120 240364 4089446400 4194304 8223781 140734386773008 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14193/statm: 248720 240364 594 984 0 247733 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 994880 [startup+1722.3 s] /proc/loadavg: 2.19 2.11 2.06 3/197 14288 /proc/meminfo: memFree=29956544/32950928 swapFree=67111528/67111528 [pid=14193] ppid=14191 vsize=995512 CPUtime=1722.32 /proc/14193/stat : 14193 (pbscip.linux.x8) R 14191 14193 12818 0 -1 4202496 1180593 0 0 0 169759 2473 0 0 25 0 1 0 133868363 1019404288 240532 4089446400 4194304 8223781 140734386773008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14193/statm: 248878 240532 594 984 0 247891 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 995512 [startup+1782.3 s] /proc/loadavg: 2.11 2.10 2.06 3/197 14290 /proc/meminfo: memFree=29954016/32950928 swapFree=67111528/67111528 [pid=14193] ppid=14191 vsize=996292 CPUtime=1782.32 /proc/14193/stat : 14193 (pbscip.linux.x8) R 14191 14193 12818 0 -1 4202496 1224213 0 0 0 175669 2563 0 0 25 0 1 0 133868363 1020203008 240731 4089446400 4194304 8223781 140734386773008 18446744073709551615 5950800 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14193/statm: 249073 240731 601 984 0 248086 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 996292 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.08 2.09 2.06 3/197 14290 /proc/meminfo: memFree=29953764/32950928 swapFree=67111528/67111528 [pid=14193] ppid=14191 vsize=996552 CPUtime=1800.03 /proc/14193/stat : 14193 (pbscip.linux.x8) R 14191 14193 12818 0 -1 4202496 1224258 0 0 0 177410 2593 0 0 25 0 1 0 133868363 1020469248 240776 4089446400 4194304 8223781 140734386773008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14193/statm: 249138 240776 601 984 0 248151 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 996552 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.08 2.09 2.06 3/197 14290 /proc/meminfo: memFree=29953764/32950928 swapFree=67111528/67111528 [pid=14193] ppid=14191 vsize=601616 CPUtime=1800.22 /proc/14193/stat : 14193 (pbscip.linux.x8) R 14191 14193 12818 0 -1 4202496 1224265 0 0 0 177428 2594 0 0 18 0 1 0 133868363 616054784 143511 4089446400 4194304 8223781 140734386773008 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/14193/statm: 150019 143404 603 984 0 149032 0 Current children cumulated CPU time (s) 1800.22 Current children cumulated vsize (KiB) 601616 Child status: 0 Real time (s): 1800.23 CPU time (s): 1800.26 CPU user time (s): 1774.29 CPU system time (s): 25.9671 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1015340 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1774.29 system time used= 25.9671 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1224269 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1567 runsolver used 2.94355 second user time and 6.06108 second system time The end
Begin job on node126 at 2010-06-30 21:22:00 IDJOB=2692312 IDBENCH=79262 IDSOLVER=1204 FILE ID=node126/2692312-1277925720 PBS_JOBID= 11197344 Free space on /tmp= 74192 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.1900553647--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-2692312-1277925720/watcher-2692312-1277925720 -o /tmp/evaluation-result-2692312-1277925720/solver-2692312-1277925720 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692312-1277925720.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1693c6ddcdda9c3a56f7a1957868c0a9 RANDOM SEED=1419384938 node126.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.835 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.835 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.835 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.835 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.835 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.72 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.835 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.835 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.835 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31590972 kB Buffers: 206344 kB Cached: 926996 kB SwapCached: 0 kB Active: 551112 kB Inactive: 667620 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31590972 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4700 kB Writeback: 0 kB AnonPages: 85680 kB Mapped: 15480 kB Slab: 78592 kB PageTables: 4604 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 229320 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= 74188 MiB End job on node126 at 2010-06-30 21:52:02