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.24 | 1800.2 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900551864--soft-0-100-0.wbo |
| MD5SUM | 917ecf2b03be28c1e7bdced93c48bfdc |
| 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 | 29.4515 |
| 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 | 136614 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 136613 |
| 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-2692301-1277925089.wbo>
0.02/0.03 c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.02/0.03 c problem read
0.02/0.03 c presolving settings loaded
0.09/0.12 o 136613
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.366130e+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.13
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.19 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.366130e+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.366130e+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.366130e+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.366130e+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.366130e+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.366130e+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.366130e+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.366130e+05 | Inf
26.69/26.75 c 26.5s| 10000 | 10001 | 30079 | 3.0 | 50M| 107 | 0 |5645 |5414 |5645 | 201 | 12k| 0 |1778 | 0.000000e+00 | 1.366130e+05 | Inf
48.99/49.07 c 48.6s| 20000 | 20001 | 54711 | 2.7 | 74M| 107 | 0 |5645 |5414 |5645 | 206 | 21k| 0 |1806 | 0.000000e+00 | 1.366130e+05 | Inf
71.09/71.12 c 70.5s| 30000 | 30001 | 76393 | 2.5 | 97M| 107 | 0 |5645 |5414 |5645 | 180 | 29k| 0 |1811 | 0.000000e+00 | 1.366130e+05 | Inf
92.79/92.82 c 92.0s| 40000 | 40001 | 96957 | 2.4 | 120M| 107 | 0 |5645 |5414 |5645 | 232 | 37k| 0 |1881 | 0.000000e+00 | 1.366130e+05 | Inf
110.29/110.35 o 820
110.29/110.35 c * 109s| 47672 | 44199 |116850 | 2.4 | 131M| 107 | - |5645 |5414 |5645 | 229 | 45k| 0 |2123 | 0.000000e+00 | 8.200000e+02 | Inf
117.50/117.54 c 117s| 50000 | 46521 |127681 | 2.6 | 138M| 107 | 0 |5645 |5420 |5645 | 205 | 48k| 6 |2209 | 0.000000e+00 | 8.200000e+02 | Inf
142.80/142.81 c 142s| 60000 | 56434 |158038 | 2.6 | 161M| 253 | 0 |5645 |5607 |5645 | 173 | 58k| 193 |2529 | 0.000000e+00 | 8.200000e+02 | Inf
167.89/167.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
167.89/167.99 c 167s| 70000 | 66396 |186725 | 2.7 | 182M| 253 | 0 |5645 |5653 |5645 | 184 | 67k| 240 |2787 | 0.000000e+00 | 8.200000e+02 | Inf
194.79/194.81 o 805
194.79/194.81 c * 193s| 79702 | 75758 |222237 | 2.8 | 205M| 253 | - |5645 |5890 |5645 | 241 | 79k| 522 |3136 | 0.000000e+00 | 8.050000e+02 | Inf
195.59/195.70 c 194s| 80000 | 76049 |223355 | 2.8 | 206M| 253 | 0 |5645 |5910 |5645 | 233 | 79k| 547 |3139 | 0.000000e+00 | 8.050000e+02 | Inf
196.80/196.81 o 794
196.80/196.81 c * 195s| 80353 | 76222 |224784 | 2.8 | 207M| 253 | - |5645 |5953 |5645 | 228 | 80k| 590 |3144 | 0.000000e+00 | 7.940000e+02 | Inf
196.80/196.83 o 787
196.80/196.83 c * 195s| 80354 | 76117 |224784 | 2.8 | 207M| 253 | - |5645 |5953 |5645 | 228 | 80k| 590 |3144 | 0.000000e+00 | 7.870000e+02 | Inf
222.39/222.48 c 221s| 90000 | 85687 |260754 | 2.9 | 230M| 253 | 0 |5645 |6027 |5645 | 181 | 90k| 748 |3419 | 0.000000e+00 | 7.870000e+02 | Inf
229.49/229.55 o 769
229.49/229.55 c * 228s| 92409 | 87673 |272234 | 2.9 | 235M| 253 | - |5645 |6178 |5645 | 212 | 94k| 957 |3509 | 0.000000e+00 | 7.690000e+02 | Inf
250.60/250.65 c 249s|100000 | 95213 |304179 | 3.0 | 253M| 253 | 0 |5645 |6115 |5645 | 193 | 103k|1047 |3742 | 0.000000e+00 | 7.690000e+02 | Inf
255.20/255.23 o 765
255.20/255.23 c * 253s|101639 | 96777 |310748 | 3.1 | 257M| 253 | - |5645 |6077 |5645 | 233 | 105k|1050 |3784 | 0.000000e+00 | 7.650000e+02 | Inf
278.10/278.15 c 276s|110000 |105070 |344108 | 3.1 | 277M| 253 | 0 |5645 |5988 |5645 | 163 | 116k|1176 |4001 | 0.000000e+00 | 7.650000e+02 | Inf
303.30/303.32 c 301s|120000 |115016 |375047 | 3.1 | 300M| 253 | 11 |5645 |5889 |5645 | 176 | 125k|1287 |4243 | 0.000000e+00 | 7.650000e+02 | Inf
330.89/330.99 c 328s|130000 |124888 |416552 | 3.2 | 324M| 253 | 0 |5645 |5911 |5645 | 236 | 140k|1509 |4513 | 0.000000e+00 | 7.650000e+02 | Inf
343.60/343.67 o 752
343.60/343.67 c * 341s|134304 |128771 |438636 | 3.3 | 334M| 253 | - |5645 |6055 |5645 | 177 | 148k|1804 |4646 | 0.000000e+00 | 7.520000e+02 | Inf
358.00/358.07 c 355s|140000 |134446 |457534 | 3.3 | 347M| 253 | 0 |5645 |5949 |5645 | 180 | 152k|1869 |4760 | 0.000000e+00 | 7.520000e+02 | Inf
385.00/385.08 c 382s|150000 |144366 |491939 | 3.3 | 373M| 253 | 0 |5645 |5789 |5645 | 181 | 165k|2056 |4975 | 0.000000e+00 | 7.520000e+02 | Inf
399.00/399.05 o 745
399.00/399.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
399.00/399.05 c * 396s|154961 |149038 |512776 | 3.3 | 385M| 253 | - |5645 |5821 |5645 | 217 | 173k|2272 |5139 | 0.000000e+00 | 7.450000e+02 | Inf
399.00/399.07 o 744
399.00/399.07 c * 396s|154967 |149018 |512801 | 3.3 | 385M| 253 | - |5645 |5821 |5645 | 221 | 173k|2272 |5139 | 0.000000e+00 | 7.440000e+02 | Inf
399.00/399.07 o 743
399.00/399.07 c * 396s|154968 |148992 |512801 | 3.3 | 384M| 253 | - |5645 |5821 |5645 | 221 | 173k|2272 |5139 | 0.000000e+00 | 7.430000e+02 | Inf
414.00/414.03 c 411s|160000 |153879 |535929 | 3.3 | 397M| 253 | 0 |5645 |5827 |5645 | 176 | 181k|2530 |5268 | 0.000000e+00 | 7.430000e+02 | Inf
442.70/442.74 c 439s|170000 |163771 |579113 | 3.4 | 422M| 253 | 5 |5645 |5711 |5645 | 223 | 196k|2788 |5526 | 0.000000e+00 | 7.430000e+02 | Inf
463.40/463.49 o 741
463.40/463.49 c * 460s|177528 |171040 |608459 | 3.4 | 440M| 253 | - |5645 |5732 |5645 | 207 | 206k|3190 |5693 | 0.000000e+00 | 7.410000e+02 | Inf
463.50/463.50 o 734
463.50/463.50 c * 460s|177529 |170862 |608459 | 3.4 | 439M| 253 | - |5645 |5732 |5645 | 207 | 206k|3190 |5693 | 0.000000e+00 | 7.340000e+02 | Inf
471.00/471.03 c 467s|180000 |173293 |620489 | 3.4 | 446M| 253 | 0 |5645 |5653 |5645 | 219 | 211k|3291 |5788 | 0.000000e+00 | 7.340000e+02 | Inf
500.90/500.91 c 497s|190000 |182996 |675753 | 3.6 | 471M| 253 | 0 |5645 |5861 |5645 | 200 | 229k|4031 |6060 | 0.000000e+00 | 7.340000e+02 | Inf
527.20/527.22 o 722
527.20/527.22 c * 523s|199126 |191590 |715929 | 3.6 | 493M| 253 | - |5645 |5640 |5645 | 197 | 243k|4246 |6274 | 0.000000e+00 | 7.220000e+02 | Inf
529.80/529.88 c 526s|200000 |192460 |720268 | 3.6 | 495M| 253 | 0 |5645 |5614 |5645 | 182 | 245k|4251 |6297 | 0.000000e+00 | 7.220000e+02 | Inf
533.30/533.37 o 691
533.30/533.37 c * 529s|201096 |192124 |725889 | 3.6 | 494M| 253 | - |5645 |5665 |5645 | 243 | 247k|4342 |6317 | 0.000000e+00 | 6.910000e+02 | Inf
559.10/559.15 c 555s|210000 |200906 |763034 | 3.6 | 517M| 253 | 0 |5645 |5653 |5645 | 215 | 261k|4616 |6488 | 0.000000e+00 | 6.910000e+02 | Inf
588.60/588.64 c 584s|220000 |210680 |806329 | 3.7 | 543M| 253 | 5 |5645 |5684 |5645 | 145 | 277k|5109 |6738 | 0.000000e+00 | 6.910000e+02 | Inf
599.81/599.83 o 689
599.81/599.83 c * 595s|224050 |214522 |823732 | 3.7 | 553M| 253 | - |5645 |5716 |5645 | 202 | 281k|5308 |6824 | 0.000000e+00 | 6.890000e+02 | Inf
614.91/614.94 o 664
614.91/614.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
614.91/614.94 c * 610s|229313 |218102 |846307 | 3.7 | 560M| 253 | - |5645 |5656 |5645 | 222 | 289k|5516 |6915 | 0.000000e+00 | 6.640000e+02 | Inf
617.01/617.07 c 612s|230000 |218762 |849529 | 3.7 | 562M| 253 | 0 |5645 |5658 |5645 | 204 | 291k|5575 |6940 | 0.000000e+00 | 6.640000e+02 | Inf
632.91/632.93 o 663
632.91/632.93 c * 628s|235512 |224134 |872657 | 3.7 | 576M| 253 | - |5645 |5616 |5645 | 217 | 298k|5730 |7026 | 0.000000e+00 | 6.630000e+02 | Inf
633.01/633.01 o 655
633.01/633.01 c * 628s|235537 |223567 |872687 | 3.7 | 574M| 253 | - |5645 |5624 |5645 | 218 | 298k|5738 |7026 | 0.000000e+00 | 6.550000e+02 | Inf
643.10/643.18 o 648
643.10/643.18 c * 638s|238972 |226360 |888079 | 3.7 | 582M| 253 | - |5645 |5651 |5645 | 207 | 303k|5942 |7111 | 0.000000e+00 | 6.480000e+02 | Inf
646.21/646.21 c 641s|240000 |227372 |892968 | 3.7 | 584M| 253 | 0 |5645 |5598 |5645 | 177 | 304k|5965 |7120 | 0.000000e+00 | 6.480000e+02 | Inf
669.91/669.95 o 644
669.91/669.95 c * 665s|247200 |233702 |933167 | 3.8 | 604M| 253 | - |5645 |6066 |5645 | 213 | 320k|7070 |7353 | 0.000000e+00 | 6.440000e+02 | Inf
672.60/672.65 o 632
672.60/672.65 c * 668s|248057 |233250 |937302 | 3.8 | 602M| 253 | - |5645 |6129 |5645 | 195 | 322k|7250 |7361 | 0.000000e+00 | 6.320000e+02 | Inf
674.01/674.04 o 626
674.01/674.04 c * 669s|248516 |233044 |938796 | 3.8 | 601M| 253 | - |5645 |6094 |5645 | 191 | 322k|7300 |7363 | 0.000000e+00 | 6.260000e+02 | Inf
678.61/678.65 c 673s|250000 |234451 |946097 | 3.8 | 605M| 253 | 0 |5645 |6042 |5645 | 160 | 325k|7498 |7368 | 0.000000e+00 | 6.260000e+02 | Inf
705.91/705.96 c 701s|260000 |244286 |983494 | 3.8 | 630M| 253 | 0 |5645 |5712 |5645 | 183 | 336k|7854 |7529 | 0.000000e+00 | 6.260000e+02 | Inf
733.21/733.22 o 620
733.21/733.22 c * 728s|269349 |252762 | 1025k| 3.8 | 653M| 253 | - |5645 |5625 |5645 | 244 | 347k|8307 |7673 | 0.000000e+00 | 6.200000e+02 | Inf
735.30/735.37 c 730s|270000 |253342 | 1028k| 3.8 | 655M| 253 | 0 |5645 |5698 |5645 | 178 | 349k|8430 |7681 | 0.000000e+00 | 6.200000e+02 | Inf
744.40/744.43 o 612
744.40/744.43 c * 739s|272926 |255322 | 1044k| 3.8 | 661M| 253 | - |5645 |5704 |5645 | 160 | 354k|8619 |7765 | 0.000000e+00 | 6.120000e+02 | Inf
758.61/758.60 o 611
758.61/758.60 c * 753s|277643 |259762 | 1068k| 3.8 | 673M| 253 | - |5645 |5791 |5645 | 169 | 362k|9016 |7845 | 0.000000e+00 | 6.110000e+02 | Inf
758.61/758.61 o 602
758.61/758.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
758.61/758.61 c * 753s|277644 |258658 | 1068k| 3.8 | 669M| 253 | - |5645 |5791 |5645 | 169 | 362k|9016 |7845 | 0.000000e+00 | 6.020000e+02 | Inf
764.41/764.46 o 579
764.41/764.46 c * 759s|279541 |257359 | 1076k| 3.9 | 664M| 253 | - |5645 |5841 |5645 | 192 | 365k|9258 |7883 | 0.000000e+00 | 5.790000e+02 | Inf
765.91/765.94 c 760s|280000 |257808 | 1079k| 3.9 | 665M| 253 | 1 |5645 |5804 |5645 | 145 | 365k|9297 |7884 | 0.000000e+00 | 5.790000e+02 | Inf
768.40/768.46 o 575
768.40/768.46 c * 763s|280809 |257999 | 1083k| 3.9 | 665M| 253 | - |5645 |5828 |5645 | 234 | 367k|9410 |7886 | 0.000000e+00 | 5.750000e+02 | Inf
791.91/791.92 o 572
791.91/791.92 c * 786s|288572 |265119 | 1122k| 3.9 | 685M| 253 | - |5645 |5772 |5645 | 205 | 378k|9843 |8020 | 0.000000e+00 | 5.720000e+02 | Inf
791.91/791.94 o 566
791.91/791.94 c * 786s|288576 |264217 | 1122k| 3.9 | 682M| 253 | - |5645 |5772 |5645 | 205 | 378k|9843 |8020 | 0.000000e+00 | 5.660000e+02 | Inf
791.91/791.95 o 558
791.91/791.95 c * 786s|288577 |262951 | 1122k| 3.9 | 678M| 253 | - |5645 |5772 |5645 | 205 | 378k|9843 |8020 | 0.000000e+00 | 5.580000e+02 | Inf
796.71/796.76 c 791s|290000 |264237 | 1130k| 3.9 | 682M| 253 | 0 |5645 |5868 |5645 | 234 | 381k| 10k|8090 | 0.000000e+00 | 5.580000e+02 | Inf
827.31/827.37 c 821s|300000 |273654 | 1180k| 3.9 | 709M| 253 | 0 |5645 |5829 |5645 | 170 | 397k| 11k|8238 | 0.000000e+00 | 5.580000e+02 | Inf
850.91/850.97 o 554
850.91/850.97 c * 844s|308484 |281299 | 1221k| 4.0 | 729M| 253 | - |5645 |5579 |5645 | 180 | 405k| 11k|8376 | 0.000000e+00 | 5.540000e+02 | Inf
853.21/853.30 o 549
853.21/853.30 c * 847s|309256 |281161 | 1225k| 4.0 | 729M| 253 | - |5645 |5580 |5645 | 188 | 406k| 11k|8384 | 0.000000e+00 | 5.490000e+02 | Inf
855.51/855.56 c 849s|310000 |281885 | 1230k| 4.0 | 730M| 253 | 0 |5645 |5610 |5645 | 177 | 407k| 11k|8391 | 0.000000e+00 | 5.490000e+02 | Inf
872.80/872.85 o 540
872.80/872.85 c * 866s|315993 |285954 | 1260k| 4.0 | 740M| 253 | - |5645 |5594 |5645 | 183 | 412k| 11k|8491 | 0.000000e+00 | 5.400000e+02 | Inf
875.41/875.40 o 532
875.41/875.40 c * 869s|316796 |285214 | 1265k| 4.0 | 738M| 253 | - |5645 |5602 |5645 | 179 | 413k| 11k|8496 | 0.000000e+00 | 5.320000e+02 | Inf
885.31/885.30 o 524
885.31/885.30 c * 879s|319900 |286490 | 1284k| 4.0 | 742M| 253 | - |5645 |5665 |5645 | 186 | 417k| 12k|8565 | 0.000000e+00 | 5.240000e+02 | Inf
885.71/885.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
885.71/885.71 c 879s|320000 |286580 | 1285k| 4.0 | 742M| 253 | 0 |5645 |5688 |5645 | 166 | 418k| 12k|8567 | 0.000000e+00 | 5.240000e+02 | Inf
895.50/895.53 o 522
895.50/895.53 c * 889s|323241 |289257 | 1301k| 4.0 | 751M| 253 | - |5645 |5836 |5645 | 214 | 422k| 12k|8614 | 0.000000e+00 | 5.220000e+02 | Inf
895.50/895.55 o 513
895.50/895.55 c * 889s|323242 |287048 | 1301k| 4.0 | 745M| 253 | - |5645 |5836 |5645 | 214 | 422k| 12k|8614 | 0.000000e+00 | 5.130000e+02 | Inf
898.41/898.44 o 507
898.41/898.44 c * 892s|324066 |286239 | 1307k| 4.0 | 744M| 253 | - |5645 |5967 |5645 | 197 | 424k| 12k|8616 | 0.000000e+00 | 5.070000e+02 | Inf
898.41/898.45 o 503
898.41/898.45 c * 892s|324067 |285241 | 1307k| 4.0 | 741M| 253 | - |5645 |5967 |5645 | 197 | 424k| 12k|8616 | 0.000000e+00 | 5.030000e+02 | Inf
902.21/902.25 o 501
902.21/902.25 c * 895s|325182 |285723 | 1314k| 4.0 | 744M| 253 | - |5645 |6000 |5645 | 209 | 426k| 12k|8655 | 0.000000e+00 | 5.010000e+02 | Inf
903.21/903.25 o 499
903.21/903.25 c * 896s|325445 |285457 | 1316k| 4.0 | 744M| 253 | - |5645 |6032 |5645 | 192 | 427k| 12k|8664 | 0.000000e+00 | 4.990000e+02 | Inf
909.01/909.08 o 498
909.01/909.08 c * 902s|327061 |286704 | 1324k| 4.1 | 747M| 253 | - |5645 |5921 |5645 | 198 | 430k| 13k|8692 | 0.000000e+00 | 4.980000e+02 | Inf
909.11/909.11 o 485
909.11/909.11 c * 902s|327066 |283222 | 1324k| 4.1 | 737M| 253 | - |5645 |5921 |5645 | 198 | 430k| 13k|8692 | 0.000000e+00 | 4.850000e+02 | Inf
909.11/909.12 o 484
909.11/909.12 c * 902s|327067 |282888 | 1324k| 4.1 | 736M| 253 | - |5645 |5921 |5645 | 198 | 430k| 13k|8692 | 0.000000e+00 | 4.840000e+02 | Inf
911.11/911.11 o 483
911.11/911.11 c * 904s|327630 |283131 | 1327k| 4.1 | 737M| 253 | - |5645 |5900 |5645 | 208 | 431k| 13k|8696 | 0.000000e+00 | 4.830000e+02 | Inf
919.21/919.22 c 912s|330000 |285305 | 1337k| 4.1 | 744M| 253 | 0 |5645 |6049 |5645 | 199 | 434k| 13k|8725 | 0.000000e+00 | 4.830000e+02 | Inf
922.61/922.65 o 477
922.61/922.65 c * 915s|330965 |284377 | 1342k| 4.1 | 743M| 253 | - |5645 |6131 |5645 | 205 | 436k| 13k|8738 | 0.000000e+00 | 4.770000e+02 | Inf
954.11/954.19 c 946s|340000 |292573 | 1391k| 4.1 | 770M| 253 | 1 |5645 |6038 |5645 | 164 | 451k| 15k|8924 | 0.000000e+00 | 4.770000e+02 | Inf
968.51/968.50 o 470
968.51/968.50 c * 960s|344377 |294601 | 1412k| 4.1 | 777M| 253 | - |5645 |5838 |5645 | 208 | 457k| 15k|8978 | 0.000000e+00 | 4.700000e+02 | Inf
968.71/968.71 o 464
968.71/968.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
968.71/968.71 c * 960s|344422 |292670 | 1412k| 4.1 | 771M| 253 | - |5645 |5852 |5645 | 202 | 457k| 15k|8978 | 0.000000e+00 | 4.640000e+02 | Inf
968.71/968.76 o 455
968.71/968.76 c * 960s|344425 |289367 | 1412k| 4.1 | 761M| 253 | - |5645 |5852 |5645 | 205 | 457k| 15k|8978 | 0.000000e+00 | 4.550000e+02 | Inf
968.71/968.79 o 441
968.71/968.79 c * 960s|344426 |284031 | 1412k| 4.1 | 745M| 253 | - |5645 |5852 |5645 | 205 | 457k| 15k|8978 | 0.000000e+00 | 4.410000e+02 | Inf
970.41/970.48 o 440
970.41/970.48 c * 962s|344921 |284087 | 1414k| 4.1 | 746M| 253 | - |5645 |5872 |5645 | 186 | 458k| 15k|8981 | 0.000000e+00 | 4.400000e+02 | Inf
970.51/970.50 o 433
970.51/970.50 c * 962s|344922 |281413 | 1414k| 4.1 | 738M| 253 | - |5645 |5872 |5645 | 186 | 458k| 15k|8981 | 0.000000e+00 | 4.330000e+02 | Inf
985.81/985.86 c 977s|350000 |286210 | 1436k| 4.1 | 752M| 253 | 3 |5645 |5833 |5645 | 223 | 463k| 16k|9021 | 0.000000e+00 | 4.330000e+02 | Inf
986.62/986.60 o 427
986.62/986.60 c * 978s|350185 |283858 | 1436k| 4.1 | 745M| 253 | - |5645 |5846 |5645 | 200 | 464k| 16k|9031 | 0.000000e+00 | 4.270000e+02 | Inf
987.91/987.95 o 423
987.91/987.95 c * 979s|350547 |282565 | 1439k| 4.1 | 742M| 253 | - |5645 |5909 |5645 | 203 | 464k| 16k|9051 | 0.000000e+00 | 4.230000e+02 | Inf
987.91/987.97 o 411
987.91/987.97 c * 979s|350548 |277531 | 1439k| 4.1 | 729M| 253 | - |5645 |5909 |5645 | 203 | 464k| 16k|9051 | 0.000000e+00 | 4.110000e+02 | Inf
988.41/988.46 o 405
988.41/988.46 c * 980s|350679 |275104 | 1439k| 4.1 | 721M| 253 | - |5645 |5910 |5645 | 213 | 465k| 16k|9058 | 0.000000e+00 | 4.050000e+02 | Inf
988.41/988.47 o 401
988.41/988.47 c * 980s|350680 |273387 | 1439k| 4.1 | 717M| 253 | - |5645 |5910 |5645 | 213 | 465k| 16k|9058 | 0.000000e+00 | 4.010000e+02 | Inf
992.12/992.16 o 399
992.12/992.16 c * 983s|351662 |273374 | 1447k| 4.1 | 717M| 253 | - |5645 |5919 |5645 | 214 | 466k| 16k|9094 | 0.000000e+00 | 3.990000e+02 | Inf
994.11/994.13 o 397
994.11/994.13 c * 985s|352278 |273053 | 1449k| 4.1 | 716M| 253 | - |5645 |5851 |5645 | 237 | 467k| 16k|9101 | 0.000000e+00 | 3.970000e+02 | Inf
995.91/995.92 o 392
995.91/995.92 c * 987s|352741 |271320 | 1452k| 4.1 | 712M| 253 | - |5645 |5886 |5645 | 188 | 468k| 16k|9115 | 0.000000e+00 | 3.920000e+02 | Inf
996.11/996.12 o 390
996.11/996.12 c * 987s|352781 |270446 | 1453k| 4.1 | 709M| 253 | - |5645 |5889 |5645 | 193 | 468k| 16k|9115 | 0.000000e+00 | 3.900000e+02 | Inf
1015.81/1015.80 o 389
1015.81/1015.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1015.81/1015.80 c *1007s|357965 |274403 | 1490k| 4.2 | 728M| 253 | - |5645 |6275 |5645 | 182 | 478k| 17k|9221 | 0.000000e+00 | 3.890000e+02 | Inf
1016.21/1016.29 o 375
1016.21/1016.29 c *1007s|358089 |267742 | 1491k| 4.2 | 710M| 253 | - |5645 |6264 |5645 | 209 | 478k| 17k|9222 | 0.000000e+00 | 3.750000e+02 | Inf
1020.01/1020.03 o 371
1020.01/1020.03 c *1011s|359117 |266592 | 1496k| 4.2 | 708M| 253 | - |5645 |6230 |5645 | 175 | 480k| 18k|9222 | 0.000000e+00 | 3.710000e+02 | Inf
1023.61/1023.61 c 1014s|360000 |267290 | 1503k| 4.2 | 711M| 253 | 0 |5645 |6281 |5645 | 191 | 482k| 18k|9274 | 0.000000e+00 | 3.710000e+02 | Inf
1025.42/1025.45 o 369
1025.42/1025.45 c *1016s|360461 |266596 | 1506k| 4.2 | 709M| 253 | - |5645 |6265 |5645 | 160 | 483k| 18k|9298 | 0.000000e+00 | 3.690000e+02 | Inf
1025.52/1025.53 o 368
1025.52/1025.53 c *1016s|360470 |266123 | 1506k| 4.2 | 708M| 253 | - |5645 |6259 |5645 | 200 | 483k| 18k|9298 | 0.000000e+00 | 3.680000e+02 | Inf
1026.32/1026.31 o 363
1026.32/1026.31 c *1017s|360684 |263678 | 1508k| 4.2 | 701M| 253 | - |5645 |6241 |5645 | 187 | 484k| 18k|9300 | 0.000000e+00 | 3.630000e+02 | Inf
1026.32/1026.32 o 359
1026.32/1026.32 c *1017s|360685 |261627 | 1508k| 4.2 | 696M| 253 | - |5645 |6241 |5645 | 187 | 484k| 18k|9300 | 0.000000e+00 | 3.590000e+02 | Inf
1036.12/1036.16 o 353
1036.12/1036.16 c *1026s|363434 |260890 | 1521k| 4.2 | 696M| 253 | - |5645 |6141 |5645 | 226 | 488k| 19k|9313 | 0.000000e+00 | 3.530000e+02 | Inf
1036.12/1036.17 o 352
1036.12/1036.17 c *1026s|363435 |260386 | 1521k| 4.2 | 694M| 253 | - |5645 |6141 |5645 | 226 | 488k| 19k|9313 | 0.000000e+00 | 3.520000e+02 | Inf
1040.21/1040.25 o 347
1040.21/1040.25 c *1030s|364482 |258617 | 1528k| 4.2 | 691M| 253 | - |5645 |6093 |5645 | 205 | 490k| 19k|9319 | 0.000000e+00 | 3.470000e+02 | Inf
1041.82/1041.88 o 344
1041.82/1041.88 c *1032s|364914 |257304 | 1529k| 4.2 | 688M| 253 | - |5645 |6085 |5645 | 220 | 490k| 19k|9323 | 0.000000e+00 | 3.440000e+02 | Inf
1044.12/1044.14 o 336
1044.12/1044.14 c *1034s|365440 |253191 | 1533k| 4.2 | 677M| 253 | - |5645 |6103 |5645 | 198 | 492k| 19k|9355 | 0.000000e+00 | 3.360000e+02 | Inf
1044.12/1044.17 o 324
1044.12/1044.17 c *1034s|365441 |246321 | 1533k| 4.2 | 659M| 253 | - |5645 |6103 |5645 | 198 | 492k| 19k|9355 | 0.000000e+00 | 3.240000e+02 | Inf
1046.52/1046.58 o 319
1046.52/1046.58 c *1037s|366018 |243652 | 1538k| 4.2 | 653M| 253 | - |5645 |6175 |5645 | 194 | 493k| 19k|9376 | 0.000000e+00 | 3.190000e+02 | Inf
1046.61/1046.61 o 307
1046.61/1046.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1046.61/1046.61 c *1037s|366019 |236219 | 1538k| 4.2 | 632M| 253 | - |5645 |6175 |5645 | 194 | 493k| 19k|9376 | 0.000000e+00 | 3.070000e+02 | Inf
1046.81/1046.89 o 306
1046.81/1046.89 c *1037s|366077 |235533 | 1538k| 4.2 | 629M| 253 | - |5645 |6205 |5645 | 180 | 494k| 19k|9376 | 0.000000e+00 | 3.060000e+02 | Inf
1046.92/1046.91 o 301
1046.92/1046.91 c *1037s|366078 |232345 | 1538k| 4.2 | 621M| 253 | - |5645 |6205 |5645 | 180 | 494k| 19k|9376 | 0.000000e+00 | 3.010000e+02 | Inf
1047.52/1047.58 o 300
1047.52/1047.58 c *1038s|366237 |231758 | 1539k| 4.2 | 620M| 253 | - |5645 |6221 |5645 | 178 | 494k| 19k|9385 | 0.000000e+00 | 3.000000e+02 | Inf
1048.71/1048.76 o 297
1048.71/1048.76 c *1039s|366472 |229976 | 1541k| 4.2 | 616M| 253 | - |5645 |6233 |5645 | 197 | 495k| 19k|9393 | 0.000000e+00 | 2.970000e+02 | Inf
1050.52/1050.53 o 295
1050.52/1050.53 c *1041s|366851 |229003 | 1545k| 4.2 | 614M| 253 | - |5645 |6300 |5645 | 182 | 496k| 19k|9402 | 0.000000e+00 | 2.950000e+02 | Inf
1050.52/1050.57 o 283
1050.52/1050.57 c *1041s|366852 |220434 | 1545k| 4.2 | 592M| 253 | - |5645 |6300 |5645 | 182 | 496k| 19k|9402 | 0.000000e+00 | 2.830000e+02 | Inf
1053.61/1053.62 o 279
1053.61/1053.62 c *1044s|367505 |217864 | 1551k| 4.2 | 587M| 253 | - |5645 |6301 |5645 | 205 | 498k| 20k|9408 | 0.000000e+00 | 2.790000e+02 | Inf
1056.62/1056.68 o 276
1056.62/1056.68 c *1047s|368189 |215968 | 1556k| 4.2 | 585M| 253 | - |5645 |6459 |5645 | 201 | 499k| 20k|9409 | 0.000000e+00 | 2.760000e+02 | Inf
1057.01/1057.03 o 268
1057.01/1057.03 c *1047s|368258 |209912 | 1557k| 4.2 | 570M| 253 | - |5645 |6446 |5645 | 184 | 499k| 20k|9409 | 0.000000e+00 | 2.680000e+02 | Inf
1057.01/1057.07 o 262
1057.01/1057.07 c *1047s|368262 |204916 | 1557k| 4.2 | 558M| 253 | - |5645 |6445 |5645 | 185 | 499k| 20k|9409 | 0.000000e+00 | 2.620000e+02 | Inf
1057.01/1057.09 o 260
1057.01/1057.09 c *1047s|368263 |203179 | 1557k| 4.2 | 554M| 253 | - |5645 |6445 |5645 | 185 | 499k| 20k|9409 | 0.000000e+00 | 2.600000e+02 | Inf
1057.61/1057.61 o 253
1057.61/1057.61 c *1047s|368369 |196837 | 1558k| 4.2 | 539M| 253 | - |5645 |6461 |5645 | 202 | 500k| 20k|9409 | 0.000000e+00 | 2.530000e+02 | Inf
1057.61/1057.64 o 249
1057.61/1057.64 c *1048s|368370 |192955 | 1558k| 4.2 | 529M| 253 | - |5645 |6461 |5645 | 202 | 500k| 20k|9409 | 0.000000e+00 | 2.490000e+02 | Inf
1058.01/1058.08 o 246
1058.01/1058.08 c *1048s|368458 |190210 | 1559k| 4.2 | 523M| 253 | - |5645 |6475 |5645 | 197 | 500k| 20k|9409 | 0.000000e+00 | 2.460000e+02 | Inf
1058.31/1058.38 o 221
1058.31/1058.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1058.31/1058.38 c *1048s|368512 |165703 | 1559k| 4.2 | 464M| 253 | - |5645 |6492 |5645 | 190 | 500k| 20k|9409 | 0.000000e+00 | 2.210000e+02 | Inf
1059.42/1059.42 o 220
1059.42/1059.42 c *1049s|368700 |164860 | 1561k| 4.2 | 463M| 253 | - |5645 |6555 |5645 | 183 | 501k| 20k|9416 | 0.000000e+00 | 2.200000e+02 | Inf
1059.81/1059.89 o 209
1059.81/1059.89 c *1050s|368787 |153625 | 1562k| 4.2 | 436M| 253 | - |5645 |6577 |5645 | 194 | 501k| 20k|9417 | 0.000000e+00 | 2.090000e+02 | Inf
1060.11/1060.15 o 200
1060.11/1060.15 c *1050s|368821 |143716 | 1562k| 4.2 | 413M| 253 | - |5645 |6567 |5645 | 226 | 501k| 20k|9417 | 0.000000e+00 | 2.000000e+02 | Inf
1060.72/1060.74 o 184
1060.72/1060.74 c *1051s|368916 |125036 | 1563k| 4.2 | 369M| 253 | - |5645 |6578 |5645 | 240 | 501k| 21k|9432 | 0.000000e+00 | 1.840000e+02 | Inf
1060.92/1060.96 o 182
1060.92/1060.96 c *1051s|368944 |122453 | 1563k| 4.2 | 363M| 253 | - |5645 |6548 |5645 | 192 | 501k| 21k|9435 | 0.000000e+00 | 1.820000e+02 | Inf
1062.32/1062.37 o 180
1062.32/1062.37 c *1052s|369248 |120700 | 1565k| 4.2 | 360M| 253 | - |5645 |6506 |5645 | 195 | 502k| 21k|9439 | 0.000000e+00 | 1.800000e+02 | Inf
1062.41/1062.42 o 179
1062.41/1062.42 c *1052s|369251 |119511 | 1565k| 4.2 | 357M| 253 | - |5645 |6494 |5645 | 173 | 502k| 21k|9439 | 0.000000e+00 | 1.790000e+02 | Inf
1062.62/1062.62 o 177
1062.62/1062.62 c *1052s|369290 |117165 | 1565k| 4.2 | 351M| 253 | - |5645 |6466 |5645 | 203 | 502k| 21k|9444 | 0.000000e+00 | 1.770000e+02 | Inf
1062.62/1062.66 o 170
1062.62/1062.66 c *1052s|369291 |110131 | 1565k| 4.2 | 333M| 253 | - |5645 |6466 |5645 | 203 | 502k| 21k|9444 | 0.000000e+00 | 1.700000e+02 | Inf
1062.91/1062.93 o 165
1062.91/1062.93 c *1053s|369335 |104390 | 1565k| 4.2 | 319M| 253 | - |5645 |6416 |5645 | 200 | 502k| 21k|9444 | 0.000000e+00 | 1.650000e+02 | Inf
1063.01/1063.08 o 158
1063.01/1063.08 c *1053s|369348 | 95428 | 1566k| 4.2 | 296M| 253 | - |5645 |6409 |5645 | 218 | 502k| 21k|9444 | 0.000000e+00 | 1.580000e+02 | Inf
1063.11/1063.14 o 145
1063.11/1063.14 c *1053s|369349 | 77907 | 1566k| 4.2 | 254M| 253 | - |5645 |6409 |5645 | 218 | 502k| 21k|9444 | 0.000000e+00 | 1.450000e+02 | Inf
1063.32/1063.34 o 139
1063.32/1063.34 c *1053s|369382 | 73159 | 1566k| 4.2 | 241M| 253 | - |5645 |6362 |5645 | 162 | 502k| 21k|9444 | 0.000000e+00 | 1.390000e+02 | Inf
1066.71/1066.79 c 1056s|370000 | 73525 | 1571k| 4.2 | 246M| 253 | 0 |5645 |6401 |5645 | 230 | 503k| 21k|9468 | 0.000000e+00 | 1.390000e+02 | Inf
1068.02/1068.01 o 137
1068.02/1068.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1068.02/1068.01 c *1058s|370257 | 71401 | 1573k| 4.3 | 243M| 253 | - |5645 |6360 |5645 | 176 | 504k| 21k|9480 | 0.000000e+00 | 1.370000e+02 | Inf
1068.31/1068.31 o 134
1068.31/1068.31 c *1058s|370311 | 68624 | 1574k| 4.3 | 236M| 253 | - |5645 |6325 |5645 | 187 | 504k| 21k|9480 | 0.000000e+00 | 1.340000e+02 | Inf
1068.31/1068.35 o 126
1068.31/1068.35 c *1058s|370314 | 59236 | 1574k| 4.3 | 213M| 253 | - |5645 |6325 |5645 | 187 | 504k| 21k|9480 | 0.000000e+00 | 1.260000e+02 | Inf
1069.01/1069.10 o 112
1069.01/1069.10 c *1059s|370458 | 47539 | 1574k| 4.3 | 179M| 253 | - |5645 |6403 |5645 | 170 | 504k| 22k|9482 | 0.000000e+00 | 1.120000e+02 | Inf
1069.11/1069.16 o 108
1069.11/1069.16 c *1059s|370463 | 43935 | 1575k| 4.3 | 171M| 253 | - |5645 |6403 |5645 | 179 | 504k| 22k|9482 | 0.000000e+00 | 1.080000e+02 | Inf
1069.22/1069.22 o 105
1069.22/1069.22 c *1059s|370479 | 41559 | 1575k| 4.3 | 164M| 253 | - |5645 |6412 |5645 | 188 | 504k| 22k|9482 | 0.000000e+00 | 1.050000e+02 | Inf
1069.31/1069.36 o 96
1069.31/1069.36 c *1059s|370490 | 31595 | 1575k| 4.3 | 137M| 253 | - |5645 |6398 |5645 | 176 | 504k| 22k|9483 | 0.000000e+00 | 9.600000e+01 | Inf
1069.42/1069.44 o 93
1069.42/1069.44 c *1059s|370505 | 30877 | 1575k| 4.3 | 135M| 253 | - |5645 |6249 |5645 | 167 | 504k| 22k|9483 | 0.000000e+00 | 9.300000e+01 | Inf
1069.51/1069.54 o 78
1069.51/1069.54 c *1059s|370514 | 25963 | 1575k| 4.3 | 118M| 253 | - |5645 |6153 |5645 | 186 | 504k| 22k|9485 | 0.000000e+00 | 7.800000e+01 | Inf
1069.51/1069.58 o 75
1069.51/1069.58 c *1059s|370516 | 25186 | 1575k| 4.3 | 115M| 253 | - |5645 |5746 |5645 | 185 | 504k| 22k|9485 | 0.000000e+00 | 7.500000e+01 | Inf
1069.71/1069.76 o 67
1069.71/1069.76 c *1059s|370532 | 7545 | 1575k| 4.3 | 54M| 253 | - |5645 |5662 |5645 | 168 | 504k| 22k|9487 | 0.000000e+00 | 6.700000e+01 | Inf
1107.82/1107.86 c 1097s|380000 | 8432 | 1623k| 4.3 | 77M| 253 | - |5645 |7480 | 0 | 0 | 516k| 33k|9545 | 0.000000e+00 | 6.700000e+01 | Inf
1109.11/1109.15 o 51
1109.11/1109.15 c *1098s|380297 | 7058 | 1625k| 4.3 | 73M| 253 | - |5645 |7682 |5645 | 177 | 516k| 34k|9548 | 0.000000e+00 | 5.100000e+01 | Inf
1135.71/1135.77 o 49
1135.71/1135.77 c *1124s|388583 | 7094 | 1670k| 4.3 | 78M| 253 | - |5645 |7492 |5645 | 186 | 525k| 45k|9583 | 0.000000e+00 | 4.900000e+01 | Inf
1140.72/1140.74 c 1128s|390000 | 7153 | 1678k| 4.3 | 81M| 253 | - |5645 |6817 | 0 | 0 | 528k| 47k|9612 | 0.000000e+00 | 4.900000e+01 | Inf
1156.81/1156.80 o 48
1156.81/1156.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1156.81/1156.80 c *1144s|395560 | 7029 | 1698k| 4.3 | 84M| 253 | - |5645 |7589 |5645 | 182 | 534k| 55k|9627 | 0.000000e+00 | 4.800000e+01 | Inf
1162.92/1162.92 o 45
1162.92/1162.92 c *1150s|397858 | 6875 | 1705k| 4.3 | 84M| 253 | - |5645 |7731 |5645 | 191 | 535k| 58k|9653 | 0.000000e+00 | 4.500000e+01 | Inf
1169.42/1169.42 c 1156s|400000 | 6858 | 1715k| 4.3 | 85M| 253 | 21 |5645 |6895 |5645 | 193 | 538k| 61k|9655 | 0.000000e+00 | 4.500000e+01 | Inf
1179.82/1179.84 o 37
1179.82/1179.84 c *1166s|403502 | 5704 | 1732k| 4.3 | 81M| 253 | - |5645 |7046 |5645 | 185 | 541k| 66k|9689 | 0.000000e+00 | 3.700000e+01 | Inf
1180.12/1180.13 o 18
1180.12/1180.13 c R1167s|403600 | 3876 | 1732k| 4.3 | 70M| 253 | - |5645 |6539 |5645 | 181 | 541k| 66k|9689 | 0.000000e+00 | 1.800000e+01 | Inf
1180.41/1180.40 o 7
1180.41/1180.40 c *1167s|403665 | 3388 | 1732k| 4.3 | 64M| 253 | - |5645 |5215 |5645 | 175 | 541k| 66k|9690 | 0.000000e+00 | 7.000000e+00 | Inf
1192.01/1192.09 o 3
1192.01/1192.09 c *1178s|409800 | 2376 | 1747k| 4.3 | 59M| 253 | - |5645 |6992 |5645 | 175 | 544k| 74k|9698 | 0.000000e+00 | 3.000000e+00 | Inf
1192.42/1192.46 c 1178s|410000 | 2375 | 1748k| 4.3 | 59M| 253 | 1 |5645 |6908 |5645 | 146 | 544k| 74k|9698 | 0.000000e+00 | 3.000000e+00 | Inf
1196.01/1196.03 o 2
1196.01/1196.03 c *1182s|411907 | 2358 | 1753k| 4.3 | 59M| 253 | - |5645 |8760 |5645 | 175 | 546k| 77k|9700 | 0.000000e+00 | 2.000000e+00 | Inf
1210.52/1210.56 c 1196s|420000 | 1911 | 1773k| 4.2 | 56M| 253 | 1 |5645 |6852 |5645 | 146 | 549k| 87k|9774 | 0.000000e+00 | 2.000000e+00 | Inf
1228.82/1228.81 c 1213s|430000 | 1802 | 1801k| 4.2 | 56M| 253 | - |5645 |9873 | 0 | 0 | 553k| 99k|9819 | 0.000000e+00 | 2.000000e+00 | Inf
1248.21/1248.22 c 1232s|440000 | 1768 | 1821k| 4.1 | 58M| 253 | - |5645 | 14k| 0 | 0 | 557k| 112k|9839 | 0.000000e+00 | 2.000000e+00 | Inf
1268.61/1268.61 c 1252s|450000 | 1685 | 1844k| 4.1 | 56M| 253 | 1 |5645 | 11k|5645 | 146 | 561k| 124k|9879 | 0.000000e+00 | 2.000000e+00 | Inf
1288.62/1288.68 c 1271s|460000 | 1703 | 1875k| 4.1 | 57M| 253 | 5 |5645 | 12k|5645 | 155 | 569k| 136k|9914 | 0.000000e+00 | 2.000000e+00 | Inf
1309.51/1309.53 c 1291s|470000 | 1760 | 1905k| 4.1 | 59M| 253 | 15 |5645 | 15k|5645 | 174 | 578k| 151k|9948 | 0.000000e+00 | 2.000000e+00 | Inf
1331.52/1331.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1331.52/1331.59 c 1313s|480000 | 1875 | 1938k| 4.0 | 60M| 253 | - |5645 | 15k| 0 | 0 | 589k| 167k|9982 | 0.000000e+00 | 2.000000e+00 | Inf
1351.93/1351.94 c 1332s|490000 | 1875 | 1967k| 4.0 | 60M| 253 | - |5645 | 14k| 0 | 0 | 598k| 182k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1372.12/1372.15 c 1352s|500000 | 1806 | 1995k| 4.0 | 61M| 253 | - |5645 | 16k| 0 | 0 | 606k| 197k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1392.02/1392.04 c 1371s|510000 | 1785 | 2021k| 4.0 | 61M| 253 | - |5645 | 18k| 0 | 0 | 612k| 213k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1412.12/1412.11 c 1391s|520000 | 1846 | 2040k| 3.9 | 63M| 253 | 17 |5645 | 20k|5645 | 163 | 615k| 228k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1433.62/1433.65 c 1411s|530000 | 1833 | 2062k| 3.9 | 63M| 253 | 1 |5645 | 20k|5645 | 145 | 618k| 242k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1455.72/1455.71 c 1433s|540000 | 1855 | 2078k| 3.8 | 63M| 253 | 1 |5645 | 20k|5645 | 146 | 620k| 256k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1476.92/1476.91 c 1453s|550000 | 1833 | 2098k| 3.8 | 63M| 253 | 1 |5645 | 18k|5645 | 145 | 623k| 269k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1497.32/1497.37 c 1473s|560000 | 1925 | 2119k| 3.8 | 64M| 253 | - |5645 | 20k| 0 | 0 | 627k| 283k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1518.12/1518.11 c 1493s|570000 | 2071 | 2142k| 3.8 | 67M| 253 | - |5645 | 21k| 0 | 0 | 632k| 297k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1538.32/1538.38 c 1513s|580000 | 2257 | 2172k| 3.7 | 69M| 253 | 1 |5645 | 23k|5645 | 164 | 641k| 313k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1558.73/1558.71 c 1533s|590000 | 2182 | 2197k| 3.7 | 68M| 253 | - |5645 | 21k| 0 | 0 | 646k| 329k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1580.63/1580.64 c 1554s|600000 | 1996 | 2223k| 3.7 | 66M| 253 | 1 |5645 | 21k|5645 | 145 | 651k| 345k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1602.02/1602.00 c 1575s|610000 | 1922 | 2254k| 3.7 | 66M| 253 | 1 |5645 | 22k|5645 | 173 | 660k| 365k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1623.73/1623.71 c 1596s|620000 | 1850 | 2280k| 3.7 | 66M| 253 | 1 |5645 | 24k|5645 | 146 | 665k| 381k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1645.63/1645.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1645.63/1645.66 c 1617s|630000 | 1828 | 2300k| 3.7 | 65M| 253 | - |5645 | 21k| 0 | 0 | 667k| 396k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1666.23/1666.28 c 1637s|640000 | 1761 | 2319k| 3.6 | 64M| 253 | 13 |5645 | 21k|5645 | 158 | 670k| 410k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1687.93/1687.90 c 1658s|650000 | 1746 | 2343k| 3.6 | 64M| 253 | 1 |5645 | 20k|5645 | 145 | 675k| 425k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1709.23/1709.22 c 1679s|660000 | 1662 | 2365k| 3.6 | 64M| 253 | 1 |5645 | 22k|5645 | 145 | 680k| 440k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1731.83/1731.88 c 1701s|670000 | 1647 | 2388k| 3.6 | 62M| 253 | 1 |5645 | 20k|5645 | 145 | 684k| 454k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1754.83/1754.81 c 1723s|680000 | 1678 | 2417k| 3.6 | 65M| 253 | 20 |5645 | 25k|5645 | 172 | 690k| 470k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1763.33/1763.36 o 1
1763.33/1763.36 c *1731s|683829 | 1366 | 2429k| 3.6 | 61M| 253 | - |5645 | 26k|5645 | 154 | 692k| 476k| 10k| 0.000000e+00 | 1.000000e+00 | Inf
1778.43/1778.46 c 1746s|690000 | 1402 | 2443k| 3.5 | 60M| 253 | - |5645 | 23k| 0 | 0 | 695k| 484k| 10k| 0.000000e+00 | 1.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) : 1766.95
1800.03/1800.00 c Solving Nodes : 699622
1800.03/1800.00 c Primal Bound : +1.00000000000000e+00 (226 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.07 s SATISFIABLE
1800.03/1800.07 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.07 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.07 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.07 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.07 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.07 v -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.03/1800.07 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.07 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.07 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.07 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.07 v -x1
1800.03/1800.07 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.07 c Solving Time : 1766.95
1800.03/1800.07 c Original Problem :
1800.03/1800.07 c Problem name : HOME/instance-2692301-1277925089.wbo
1800.03/1800.07 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.03/1800.07 c Constraints : 5415 initial, 5415 maximal
1800.03/1800.07 c Presolved Problem :
1800.03/1800.07 c Problem name : t_HOME/instance-2692301-1277925089.wbo
1800.03/1800.07 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.03/1800.07 c Constraints : 5414 initial, 27435 maximal
1800.03/1800.07 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.07 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.07 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.07 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.07 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.07 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.07 c probing : 0.03 0 0 0 0 0 0 0 0
1800.03/1800.07 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.07 c linear : 0.03 0 0 0 2707 0 1 0 0
1800.03/1800.07 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.07 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.07 c root node : - 2707 - - 5414 - - - -
1800.03/1800.07 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.07 c integral : 0 0 0 647905 0 0 42 0 0 478386
1800.03/1800.07 c indicator : 2707 0 2302893 405775 0 420 9172860 0 0 0
1800.03/1800.07 c linear : 2707 6 2612462 408288 0 130967 9425690 699379 0 0
1800.03/1800.07 c logicor : 0+ 0 773261 0 0 37980 792061 0 0 0
1800.03/1800.07 c bounddisjunction : 0+ 0 11199 0 0 0 469 0 0 0
1800.03/1800.07 c countsols : 0 0 0 305088 0 0 0 0 0 0
1800.03/1800.07 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.07 c integral : 17.54 0.00 0.00 17.54 0.00
1800.03/1800.07 c indicator : 141.40 0.00 37.97 103.43 0.00
1800.03/1800.07 c linear : 199.63 0.01 131.26 68.36 0.00
1800.03/1800.07 c logicor : 91.78 0.00 91.78 0.00 0.00
1800.03/1800.07 c bounddisjunction : 0.01 0.00 0.01 0.00 0.00
1800.03/1800.07 c countsols : 0.08 0.00 0.00 0.08 0.00
1800.03/1800.07 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.07 c vbounds : 0.23 2 0 0
1800.03/1800.07 c rootredcost : 0.21 126 0 2707
1800.03/1800.07 c pseudoobj : 133.75 2624439 11037 3993958
1800.03/1800.07 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.07 c propagation : 14.11 179984 179906 1255825 37.6 15411 15.0 -
1800.03/1800.07 c infeasible LP : 0.67 1705 1705 14781 44.2 27 14.6 0
1800.03/1800.07 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.07 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.07 c pseudo solution : 0.15 837 837 3695 13.4 553 4.3 -
1800.03/1800.07 c applied globally : - - - 496971 26.9 - - -
1800.03/1800.07 c applied locally : - - - 0 0.0 - - -
1800.03/1800.07 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.07 c cut pool : 0.00 3 - - 30 - (maximal pool size: 86)
1800.03/1800.07 c redcost : 69.02 653420 0 4843661 0 0
1800.03/1800.07 c impliedbounds : 0.00 4 0 0 0 0
1800.03/1800.07 c intobj : 0.00 0 0 0 0 0
1800.03/1800.07 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.07 c gomory : 0.00 4 0 0 86 0
1800.03/1800.07 c strongcg : 0.00 4 0 0 0 0
1800.03/1800.07 c cmir : 0.02 4 0 0 0 0
1800.03/1800.07 c flowcover : 0.02 4 0 0 0 0
1800.03/1800.07 c clique : 0.00 1 0 0 0 0
1800.03/1800.07 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.07 c mcf : 0.00 1 0 0 0 0
1800.03/1800.07 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.07 c Pricers : Time Calls Vars
1800.03/1800.07 c problem variables: 0.00 0 0
1800.03/1800.07 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.07 c relpscost : 17.24 239229 0 42 0 0 478386
1800.03/1800.07 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.07 c inference : 90.48 304963 0 0 0 0 609926
1800.03/1800.07 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.07 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.07 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.07 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.07 c random : 0.00 0 0 0 0 0 0
1800.03/1800.07 c Primal Heuristics : Time Calls Found
1800.03/1800.07 c LP solutions : 1.56 - 125
1800.03/1800.07 c pseudo solutions : 0.00 - 0
1800.03/1800.07 c feaspump : 0.00 0 0
1800.03/1800.07 c oneopt : 0.68 104 0
1800.03/1800.07 c intshifting : 0.09 13 0
1800.03/1800.07 c crossover : 4.51 152 0
1800.03/1800.07 c guideddiving : 15.62 9014 0
1800.03/1800.07 c pscostdiving : 14.67 9801 0
1800.03/1800.07 c coefdiving : 14.89 9802 0
1800.03/1800.07 c fracdiving : 14.37 9802 0
1800.03/1800.07 c veclendiving : 14.65 9802 0
1800.03/1800.07 c linesearchdiving : 15.06 9802 0
1800.03/1800.07 c rootsoldiving : 16.43 9751 0
1800.03/1800.07 c objpscostdiving : 15.73 9751 0
1800.03/1800.07 c trivial : 0.08 2 2
1800.03/1800.07 c simplerounding : 0.54 240935 0
1800.03/1800.07 c zirounding : 0.27 1000 0
1800.03/1800.07 c rounding : 5.44 19608 1
1800.03/1800.07 c shifting : 2.03 2147 0
1800.03/1800.07 c twoopt : 0.00 0 0
1800.03/1800.07 c fixandinfer : 0.00 0 0
1800.03/1800.07 c intdiving : 0.00 0 0
1800.03/1800.07 c actconsdiving : 0.00 0 0
1800.03/1800.07 c octane : 0.00 0 0
1800.03/1800.07 c rens : 0.02 1 0
1800.03/1800.07 c rins : 0.00 0 0
1800.03/1800.07 c localbranching : 0.00 0 0
1800.03/1800.07 c mutation : 0.00 0 0
1800.03/1800.07 c dins : 0.00 0 0
1800.03/1800.07 c undercover : 0.00 0 0
1800.03/1800.07 c nlp : 0.09 0 0
1800.03/1800.07 c trysol : 3.46 25081 98
1800.03/1800.07 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.07 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.07 c dual LP : 455.60 373622 2464615 6.60 5409.60
1800.03/1800.07 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.07 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.07 c diving/probing LP: 0.49 418 3197 7.65 6524.49
1800.03/1800.07 c strong branching : 15.42 10604 79692 7.52 5168.09
1800.03/1800.07 c (at root node) : - 32 1061 33.16 -
1800.03/1800.07 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.07 c B&B Tree :
1800.03/1800.07 c number of runs : 1
1800.03/1800.07 c nodes : 699622
1800.03/1800.07 c nodes (total) : 699622
1800.03/1800.07 c nodes left : 1388
1800.03/1800.07 c max depth : 253
1800.03/1800.07 c max depth (total): 253
1800.03/1800.07 c backtracks : 40609 (5.8%)
1800.03/1800.07 c delayed cutoffs : 30413
1800.03/1800.07 c repropagations : 1044929 (3012058 domain reductions, 27586 cutoffs)
1800.03/1800.07 c avg switch length: 5.13
1800.03/1800.07 c switching time : 147.49
1800.03/1800.07 c Solution :
1800.03/1800.07 c Solutions found : 226 (127 improvements)
1800.03/1800.07 c First Solution : +1.36613000000000e+05 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.03/1800.07 c Primal Bound : +1.00000000000000e+00 (in run 1, after 683829 nodes, 1731.34 seconds, depth 68, found by <relaxation>)
1800.03/1800.07 c Dual Bound : +0.00000000000000e+00
1800.03/1800.07 c Gap : infinite
1800.03/1800.07 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.07 c Root Iterations : 106
1800.13/1800.19 c Time complete: 1800.22.
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692301-1277925089/watcher-2692301-1277925089 -o /tmp/evaluation-result-2692301-1277925089/solver-2692301-1277925089 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692301-1277925089.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.90 1.98 1.99 4/196 18368 /proc/meminfo: memFree=30928028/32951124 swapFree=67111528/67111528 [pid=18368] ppid=18366 vsize=9544 CPUtime=0 /proc/18368/stat : 18368 (pbscip.linux.x8) R 18366 18368 16354 0 -1 4202496 1679 0 0 0 0 0 0 0 25 0 1 0 133803413 9773056 1599 4089446400 4194304 8223781 140733298687904 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/18368/statm: 2386 1599 369 984 0 1399 0 [startup+0.0297581 s] /proc/loadavg: 1.90 1.98 1.99 4/196 18368 /proc/meminfo: memFree=30928028/32951124 swapFree=67111528/67111528 [pid=18368] ppid=18366 vsize=16596 CPUtime=0.02 /proc/18368/stat : 18368 (pbscip.linux.x8) R 18366 18368 16354 0 -1 4202496 3461 0 0 0 2 0 0 0 25 0 1 0 133803413 16994304 3381 4089446400 4194304 8223781 140733298687904 18446744073709551615 4397005 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/18368/statm: 4149 3381 369 984 0 3162 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 16596 [startup+0.100745 s] /proc/loadavg: 1.90 1.98 1.99 4/196 18368 /proc/meminfo: memFree=30928028/32951124 swapFree=67111528/67111528 [pid=18368] ppid=18366 vsize=35136 CPUtime=0.09 /proc/18368/stat : 18368 (pbscip.linux.x8) R 18366 18368 16354 0 -1 4202496 8087 0 0 0 9 0 0 0 25 0 1 0 133803413 35979264 7643 4089446400 4194304 8223781 140733298687904 18446744073709551615 4241139 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18368/statm: 8784 7643 422 984 0 7797 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 35136 [startup+0.30071 s] /proc/loadavg: 1.90 1.98 1.99 4/196 18368 /proc/meminfo: memFree=30928028/32951124 swapFree=67111528/67111528 [pid=18368] ppid=18366 vsize=58612 CPUtime=0.29 /proc/18368/stat : 18368 (pbscip.linux.x8) R 18366 18368 16354 0 -1 4202496 14526 0 0 0 28 1 0 0 25 0 1 0 133803413 60018688 13469 4089446400 4194304 8223781 140733298687904 18446744073709551615 6207703 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18368/statm: 14653 13469 564 984 0 13666 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 58612 [startup+0.700637 s] /proc/loadavg: 1.90 1.98 1.99 4/196 18368 /proc/meminfo: memFree=30928028/32951124 swapFree=67111528/67111528 [pid=18368] ppid=18366 vsize=43076 CPUtime=0.69 /proc/18368/stat : 18368 (pbscip.linux.x8) R 18366 18368 16354 0 -1 4202496 15654 0 0 0 67 2 0 0 25 0 1 0 133803413 44109824 9709 4089446400 4194304 8223781 140733298687904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18368/statm: 10769 9709 575 984 0 9782 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 43076 [startup+1.5005 s] /proc/loadavg: 1.90 1.98 1.99 3/197 18369 /proc/meminfo: memFree=30890820/32951124 swapFree=67111528/67111528 [pid=18368] ppid=18366 vsize=43272 CPUtime=1.49 /proc/18368/stat : 18368 (pbscip.linux.x8) R 18366 18368 16354 0 -1 4202496 15762 0 0 0 146 3 0 0 25 0 1 0 133803413 44310528 9817 4089446400 4194304 8223781 140733298687904 18446744073709551615 6436197 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18368/statm: 10818 9817 578 984 0 9831 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 43272 [startup+3.10021 s] /proc/loadavg: 1.90 1.98 1.99 3/197 18369 /proc/meminfo: memFree=30887844/32951124 swapFree=67111528/67111528 [pid=18368] ppid=18366 vsize=50560 CPUtime=3.09 /proc/18368/stat : 18368 (pbscip.linux.x8) R 18366 18368 16354 0 -1 4202496 22326 0 0 0 304 5 0 0 25 0 1 0 133803413 51773440 11305 4089446400 4194304 8223781 140733298687904 18446744073709551615 6003452 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18368/statm: 12640 11305 579 984 0 11653 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 50560 [startup+6.30065 s] /proc/loadavg: 1.91 1.98 1.99 3/197 18369 /proc/meminfo: memFree=30881948/32951124 swapFree=67111528/67111528 [pid=18368] ppid=18366 vsize=54140 CPUtime=6.29 /proc/18368/stat : 18368 (pbscip.linux.x8) R 18366 18368 16354 0 -1 4202496 28489 0 0 0 620 9 0 0 25 0 1 0 133803413 55439360 12394 4089446400 4194304 8223781 140733298687904 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18368/statm: 13535 12394 579 984 0 12548 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 54140 [startup+12.7005 s] /proc/loadavg: 1.92 1.98 1.99 3/197 18369 /proc/meminfo: memFree=30874252/32951124 swapFree=67111528/67111528 [pid=18368] ppid=18366 vsize=60556 CPUtime=12.69 /proc/18368/stat : 18368 (pbscip.linux.x8) R 18366 18368 16354 0 -1 4202496 40521 0 0 0 1255 14 0 0 25 0 1 0 133803413 62009344 14008 4089446400 4194304 8223781 140733298687904 18446744073709551615 5892378 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18368/statm: 15139 14008 579 984 0 14152 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 60556 [startup+25.5003 s] /proc/loadavg: 2.01 2.00 2.00 3/197 18370 /proc/meminfo: memFree=30860012/32951124 swapFree=67111528/67111528 [pid=18368] ppid=18366 vsize=75500 CPUtime=25.49 /proc/18368/stat : 18368 (pbscip.linux.x8) R 18366 18368 16354 0 -1 4202496 49300 0 0 0 2525 24 0 0 25 0 1 0 133803413 77312000 17751 4089446400 4194304 8223781 140733298687904 18446744073709551615 6505690 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18368/statm: 18875 17751 579 984 0 17888 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 75500 [startup+51.1007 s] /proc/loadavg: 2.00 2.00 2.00 3/197 18371 /proc/meminfo: memFree=30830148/32951124 swapFree=67111528/67111528 [pid=18368] ppid=18366 vsize=105168 CPUtime=51.09 /proc/18368/stat : 18368 (pbscip.linux.x8) R 18366 18368 16354 0 -1 4202496 61778 0 0 0 5064 45 0 0 25 0 1 0 133803413 107692032 25193 4089446400 4194304 8223781 140733298687904 18446744073709551615 6446774 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18368/statm: 26292 25193 579 984 0 25305 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 105168 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/197 18372 /proc/meminfo: memFree=30763772/32951124 swapFree=67111528/67111528 [pid=18368] ppid=18366 vsize=162348 CPUtime=102.3 /proc/18368/stat : 18368 (pbscip.linux.x8) R 18366 18368 16354 0 -1 4202496 81604 0 0 0 10148 82 0 0 25 0 1 0 133803413 166244352 39451 4089446400 4194304 8223781 140733298687904 18446744073709551615 6003169 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18368/statm: 40587 39451 579 984 0 39600 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 162348 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 18373 /proc/meminfo: memFree=30709552/32951124 swapFree=67111528/67111528 [pid=18368] ppid=18366 vsize=209300 CPUtime=162.29 /proc/18368/stat : 18368 (pbscip.linux.x8) R 18366 18368 16354 0 -1 4202496 120773 0 0 0 16100 129 0 0 25 0 1 0 133803413 214323200 51353 4089446400 4194304 8223781 140733298687904 18446744073709551615 6505975 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18368/statm: 52325 51353 583 984 0 51338 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 209300 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 18375 /proc/meminfo: memFree=30650252/32951124 swapFree=67111528/67111528 [pid=18368] ppid=18366 vsize=265588 CPUtime=222.29 /proc/18368/stat : 18368 (pbscip.linux.x8) R 18366 18368 16354 0 -1 4202496 174940 0 0 0 22057 172 0 0 25 0 1 0 133803413 271962112 64951 4089446400 4194304 8223781 140733298687904 18446744073709551615 6456034 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18368/statm: 66397 64951 583 984 0 65410 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 265588 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 18377 /proc/meminfo: memFree=30594536/32951124 swapFree=67111528/67111528 [pid=18368] ppid=18366 vsize=317264 CPUtime=282.3 /proc/18368/stat : 18368 (pbscip.linux.x8) R 18366 18368 16354 0 -1 4202496 235094 0 0 0 28009 221 0 0 25 0 1 0 133803413 324878336 77820 4089446400 4194304 8223781 140733298687904 18446744073709551615 6446822 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18368/statm: 79316 77820 583 984 0 78329 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 317264 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 18378 /proc/meminfo: memFree=30534468/32951124 swapFree=67111528/67111528 [pid=18368] ppid=18366 vsize=375472 CPUtime=342.3 /proc/18368/stat : 18368 (pbscip.linux.x8) R 18366 18368 16354 0 -1 4202496 256730 0 0 0 33966 264 0 0 25 0 1 0 133803413 384483328 92418 4089446400 4194304 8223781 140733298687904 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18368/statm: 93868 92418 583 984 0 92881 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 375472 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 18380 /proc/meminfo: memFree=30471688/32951124 swapFree=67111528/67111528 [pid=18368] ppid=18366 vsize=429612 CPUtime=402.3 /proc/18368/stat : 18368 (pbscip.linux.x8) R 18366 18368 16354 0 -1 4202496 298051 0 0 0 39924 306 0 0 25 0 1 0 133803413 439922688 106060 4089446400 4194304 8223781 140733298687904 18446744073709551615 4429792 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18368/statm: 107403 106060 583 984 0 106416 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 429612 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 18381 /proc/meminfo: memFree=30408408/32951124 swapFree=67111528/67111528 [pid=18368] ppid=18366 vsize=482072 CPUtime=462.3 /proc/18368/stat : 18368 (pbscip.linux.x8) R 18366 18368 16354 0 -1 4202496 331391 0 0 0 45881 349 0 0 25 0 1 0 133803413 493641728 119239 4089446400 4194304 8223781 140733298687904 18446744073709551615 6446774 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18368/statm: 120518 119239 583 984 0 119531 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 482072 [startup+522.301 s] /proc/loadavg: 2.06 2.01 2.00 3/197 18383 /proc/meminfo: memFree=30355792/32951124 swapFree=67111528/67111528 [pid=18368] ppid=18366 vsize=529632 CPUtime=522.3 /proc/18368/stat : 18368 (pbscip.linux.x8) R 18366 18368 16354 0 -1 4202496 357744 0 0 0 51835 395 0 0 25 0 1 0 133803413 542343168 131199 4089446400 4194304 8223781 140733298687904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18368/statm: 132408 131199 585 984 0 131421 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 529632 [startup+582.301 s] /proc/loadavg: 2.10 2.02 2.01 3/197 18385 /proc/meminfo: memFree=30296988/32951124 swapFree=67111528/67111528 [pid=18368] ppid=18366 vsize=586464 CPUtime=582.31 /proc/18368/stat : 18368 (pbscip.linux.x8) R 18366 18368 16354 0 -1 4202496 400289 0 0 0 57786 445 0 0 25 0 1 0 133803413 600539136 144444 4089446400 4194304 8223781 140733298687904 18446744073709551615 4225310 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18368/statm: 146616 144444 585 984 0 145629 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 586464 [startup+642.3 s] /proc/loadavg: 2.04 2.02 2.00 3/197 18387 /proc/meminfo: memFree=30219432/32951124 swapFree=67111528/67111528 [pid=18368] ppid=18366 vsize=634024 CPUtime=642.31 /proc/18368/stat : 18368 (pbscip.linux.x8) R 18366 18368 16354 0 -1 4202496 459706 0 0 0 63741 490 0 0 25 0 1 0 133803413 649240576 156444 4089446400 4194304 8223781 140733298687904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18368/statm: 158506 156444 585 984 0 157519 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 634024 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 2.02 2.03 2.00 3/197 18393 /proc/meminfo: memFree=30028332/32951124 swapFree=67111528/67111528 [pid=18368] ppid=18366 vsize=819384 CPUtime=882.31 /proc/18368/stat : 18368 (pbscip.linux.x8) R 18366 18368 16354 0 -1 4202496 644536 0 0 0 87556 675 0 0 25 0 1 0 133803413 839049216 202628 4089446400 4194304 8223781 140733298687904 18446744073709551615 4414793 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18368/statm: 204846 202628 585 984 0 203859 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 819384 [startup+942.3 s] /proc/loadavg: 1.96 2.01 1.99 3/179 18445 /proc/meminfo: memFree=30323448/32951124 swapFree=67111528/67111528 [pid=18368] ppid=18366 vsize=845088 CPUtime=942.31 /proc/18368/stat : 18368 (pbscip.linux.x8) R 18366 18368 16354 0 -1 4202496 731136 0 0 0 93452 779 0 0 25 0 1 0 133803413 865370112 208865 4089446400 4194304 8223781 140733298687904 18446744073709551615 6482877 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18368/statm: 211272 208865 586 984 0 210285 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 845088 [startup+1002.3 s] /proc/loadavg: 1.98 2.00 1.99 3/179 18447 /proc/meminfo: memFree=30214276/32951124 swapFree=67111528/67111528 [pid=18368] ppid=18366 vsize=876828 CPUtime=1002.31 /proc/18368/stat : 18368 (pbscip.linux.x8) R 18366 18368 16354 0 -1 4202496 802036 0 0 0 99334 897 0 0 25 0 1 0 133803413 897871872 216781 4089446400 4194304 8223781 140733298687904 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18368/statm: 219207 216781 586 984 0 218220 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 876828 [startup+1062.3 s] /proc/loadavg: 1.99 2.00 1.99 3/179 18448 /proc/meminfo: memFree=30113884/32951124 swapFree=67111528/67111528 [pid=18368] ppid=18366 vsize=911488 CPUtime=1062.32 /proc/18368/stat : 18368 (pbscip.linux.x8) R 18366 18368 16354 0 -1 4202496 898198 0 0 0 105212 1020 0 0 25 0 1 0 133803413 933363712 225201 4089446400 4194304 8223781 140733298687904 18446744073709551615 6456014 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18368/statm: 227872 225201 586 984 0 226885 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 911488 [startup+1122.3 s] /proc/loadavg: 2.03 2.01 2.00 3/179 18450 /proc/meminfo: memFree=30044468/32951124 swapFree=67111528/67111528 [pid=18368] ppid=18366 vsize=953868 CPUtime=1122.31 /proc/18368/stat : 18368 (pbscip.linux.x8) R 18366 18368 16354 0 -1 4202496 969216 0 0 0 111059 1172 0 0 25 0 1 0 133803413 976760832 235137 4089446400 4194304 8223781 140733298687904 18446744073709551615 6162720 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18368/statm: 238467 235137 592 984 0 237480 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 953868 [startup+1182.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 18452 /proc/meminfo: memFree=30006884/32951124 swapFree=67111528/67111528 [pid=18368] ppid=18366 vsize=966284 CPUtime=1182.31 /proc/18368/stat : 18368 (pbscip.linux.x8) R 18366 18368 16354 0 -1 4202496 1053919 0 0 0 116873 1358 0 0 25 0 1 0 133803413 989474816 237805 4089446400 4194304 8223781 140733298687904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18368/statm: 241571 237805 603 984 0 240584 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 966284 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18456 /proc/meminfo: memFree=30019020/32951124 swapFree=67111528/67111528 [pid=18368] ppid=18366 vsize=949356 CPUtime=1242.32 /proc/18368/stat : 18368 (pbscip.linux.x8) R 18366 18368 16354 0 -1 4202496 1125362 0 0 0 122639 1593 0 0 25 0 1 0 133803413 972140544 233596 4089446400 4194304 8223781 140733298687904 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18368/statm: 237339 233596 603 984 0 236352 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 949356 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18458 /proc/meminfo: memFree=30024288/32951124 swapFree=67111528/67111528 [pid=18368] ppid=18366 vsize=937636 CPUtime=1302.32 /proc/18368/stat : 18368 (pbscip.linux.x8) R 18366 18368 16354 0 -1 4202496 1136467 0 0 0 128436 1796 0 0 25 0 1 0 133803413 960139264 230655 4089446400 4194304 8223781 140733298687904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18368/statm: 234409 230655 603 984 0 233422 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 937636 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18459 /proc/meminfo: memFree=30019048/32951124 swapFree=67111528/67111528 [pid=18368] ppid=18366 vsize=938656 CPUtime=1362.32 /proc/18368/stat : 18368 (pbscip.linux.x8) R 18366 18368 16354 0 -1 4202496 1136745 0 0 0 134238 1994 0 0 25 0 1 0 133803413 961183744 230917 4089446400 4194304 8223781 140733298687904 18446744073709551615 6162885 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18368/statm: 234664 230917 603 984 0 233677 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 938656 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18461 /proc/meminfo: memFree=30016660/32951124 swapFree=67111528/67111528 [pid=18368] ppid=18366 vsize=939528 CPUtime=1422.33 /proc/18368/stat : 18368 (pbscip.linux.x8) R 18366 18368 16354 0 -1 4202496 1141410 0 0 0 140046 2187 0 0 25 0 1 0 133803413 962076672 231121 4089446400 4194304 8223781 140733298687904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18368/statm: 234882 231121 603 984 0 233895 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 939528 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18463 /proc/meminfo: memFree=30013780/32951124 swapFree=67111528/67111528 [pid=18368] ppid=18366 vsize=940312 CPUtime=1482.32 /proc/18368/stat : 18368 (pbscip.linux.x8) R 18366 18368 16354 0 -1 4202496 1141604 0 0 0 145871 2361 0 0 25 0 1 0 133803413 962879488 231315 4089446400 4194304 8223781 140733298687904 18446744073709551615 6377386 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18368/statm: 235078 231315 603 984 0 234091 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 940312 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18464 /proc/meminfo: memFree=30010888/32951124 swapFree=67111528/67111528 [pid=18368] ppid=18366 vsize=941048 CPUtime=1542.32 /proc/18368/stat : 18368 (pbscip.linux.x8) R 18366 18368 16354 0 -1 4202496 1141812 0 0 0 151686 2546 0 0 25 0 1 0 133803413 963633152 231523 4089446400 4194304 8223781 140733298687904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18368/statm: 235262 231523 603 984 0 234275 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 941048 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18466 /proc/meminfo: memFree=30010944/32951124 swapFree=67111528/67111528 [pid=18368] ppid=18366 vsize=938468 CPUtime=1602.32 /proc/18368/stat : 18368 (pbscip.linux.x8) R 18366 18368 16354 0 -1 4202496 1141934 0 0 0 157509 2723 0 0 25 0 1 0 133803413 960991232 230874 4089446400 4194304 8223781 140733298687904 18446744073709551615 6003313 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18368/statm: 234617 230874 603 984 0 233630 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 938468 [startup+1662.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 18467 /proc/meminfo: memFree=30013424/32951124 swapFree=67111528/67111528 [pid=18368] ppid=18366 vsize=933900 CPUtime=1662.33 /proc/18368/stat : 18368 (pbscip.linux.x8) R 18366 18368 16354 0 -1 4202496 1146587 0 0 0 163338 2895 0 0 25 0 1 0 133803413 956313600 229732 4089446400 4194304 8223781 140733298687904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18368/statm: 233475 229732 603 984 0 232488 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 933900 [startup+1722.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 18469 /proc/meminfo: memFree=30008548/32951124 swapFree=67111528/67111528 [pid=18368] ppid=18366 vsize=934124 CPUtime=1722.33 /proc/18368/stat : 18368 (pbscip.linux.x8) R 18366 18368 16354 0 -1 4202496 1146652 0 0 0 169158 3075 0 0 25 0 1 0 133803413 956542976 229797 4089446400 4194304 8223781 140733298687904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18368/statm: 233531 229797 603 984 0 232544 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 934124 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18471 /proc/meminfo: memFree=30007272/32951124 swapFree=67111528/67111528 [pid=18368] ppid=18366 vsize=933516 CPUtime=1782.33 /proc/18368/stat : 18368 (pbscip.linux.x8) R 18366 18368 16354 0 -1 4202496 1174882 0 0 0 174975 3258 0 0 25 0 1 0 133803413 955920384 229639 4089446400 4194304 8223781 140733298687904 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18368/statm: 233379 229639 603 984 0 232392 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 933516 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18471 /proc/meminfo: memFree=30007168/32951124 swapFree=67111528/67111528 [pid=18368] ppid=18366 vsize=933516 CPUtime=1800.03 /proc/18368/stat : 18368 (pbscip.linux.x8) R 18366 18368 16354 0 -1 4202496 1179203 0 0 0 176696 3307 0 0 25 0 1 0 133803413 955920384 229639 4089446400 4194304 8223781 140733298687904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18368/statm: 233379 229639 603 984 0 232392 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 933516 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.11 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18471 /proc/meminfo: memFree=30007168/32951124 swapFree=67111528/67111528 [pid=18368] ppid=18366 vsize=748340 CPUtime=1800.13 /proc/18368/stat : 18368 (pbscip.linux.x8) R 18366 18368 16354 0 -1 4202496 1179210 0 0 0 176705 3308 0 0 18 0 1 0 133803413 766300160 183352 4089446400 4194304 8223781 140733298687904 18446744073709551615 4408811 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/18368/statm: 187085 183352 605 984 0 186098 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 748340 Child status: 0 Real time (s): 1800.2 CPU time (s): 1800.24 CPU user time (s): 1767.12 CPU system time (s): 33.118 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 984564 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1767.12 system time used= 33.118 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1179214 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 4300 runsolver used 3.05454 second user time and 5.97809 second system time The end
Begin job on node140 at 2010-06-30 21:11:29 IDJOB=2692301 IDBENCH=79257 IDSOLVER=1204 FILE ID=node140/2692301-1277925089 PBS_JOBID= 11197289 Free space on /tmp= 74200 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.1900551864--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-2692301-1277925089/watcher-2692301-1277925089 -o /tmp/evaluation-result-2692301-1277925089/solver-2692301-1277925089 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692301-1277925089.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 917ecf2b03be28c1e7bdced93c48bfdc RANDOM SEED=1064158454 node140.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.790 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.58 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.790 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.07 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.790 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.790 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.89 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.790 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 : 5421.15 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.790 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.790 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.790 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: 32951124 kB MemFree: 30928556 kB Buffers: 206868 kB Cached: 1282176 kB SwapCached: 0 kB Active: 1139300 kB Inactive: 738868 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30928556 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4956 kB Writeback: 0 kB AnonPages: 389640 kB Mapped: 20432 kB Slab: 81072 kB PageTables: 5356 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1657868 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= 74192 MiB End job on node140 at 2010-06-30 21:41:31