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-2692424-1277930910.wbo>
0.00/0.03 c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.09/0.12 o 135864
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.358640e+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.97
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 3420
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 c
0.19/0.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.20 c t 0.1s| 1 | 0 | 0 | - | 19M| 0 | 0 |5645 |5414 |5645 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.358640e+05 | Inf
0.19/0.20 c 0.1s| 1 | 0 | 22 | - | 19M| 0 | 0 |5645 |5414 |5645 | 22 | 22 | 0 | 0 | 0.000000e+00 | 1.358640e+05 | Inf
0.19/0.20 c 0.1s| 1 | 0 | 43 | - | 19M| 0 | 7 |5645 |5414 |5645 | 53 | 53 | 0 | 0 | 0.000000e+00 | 1.358640e+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.358640e+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.358640e+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.358640e+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.358640e+05 | Inf
0.39/0.41 c 0.3s| 1 | 2 | 185 | - | 19M| 0 | 32 |5645 |5414 |5645 | 137 | 137 | 0 | 32 | 0.000000e+00 | 1.358640e+05 | Inf
25.99/26.06 c 25.8s| 10000 | 10001 | 32834 | 3.3 | 50M| 157 | 0 |5645 |5414 |5645 | 226 | 12k| 0 |1817 | 0.000000e+00 | 1.358640e+05 | Inf
37.50/37.57 o 124
37.50/37.57 c *37.2s| 15937 | 1422 | 40700 | 2.5 | 31M| 161 | - |5645 |5414 |5645 | 182 | 16k| 0 |1817 | 0.000000e+00 | 1.240000e+02 | Inf
37.90/37.96 o 114
37.90/37.96 c *37.5s| 16009 | 1180 | 41290 | 2.6 | 33M| 161 | - |5645 |5446 |5645 | 178 | 16k| 32 |1817 | 0.000000e+00 | 1.140000e+02 | Inf
38.00/38.01 o 113
38.00/38.01 c *37.6s| 16019 | 1172 | 41404 | 2.6 | 33M| 161 | - |5645 |5446 |5645 | 194 | 16k| 32 |1817 | 0.000000e+00 | 1.130000e+02 | Inf
38.39/38.40 o 103
38.39/38.40 c *38.0s| 16111 | 969 | 41898 | 2.6 | 33M| 161 | - |5645 |5485 |5645 | 205 | 16k| 71 |1819 | 0.000000e+00 | 1.030000e+02 | Inf
38.50/38.54 o 102
38.50/38.54 c *38.1s| 16142 | 985 | 42108 | 2.6 | 34M| 161 | - |5645 |5496 |5645 | 186 | 16k| 82 |1819 | 0.000000e+00 | 1.020000e+02 | Inf
38.60/38.61 o 101
38.60/38.61 c *38.2s| 16154 | 984 | 42318 | 2.6 | 34M| 161 | - |5645 |5496 |5645 | 219 | 16k| 82 |1819 | 0.000000e+00 | 1.010000e+02 | Inf
38.60/38.67 o 79
38.60/38.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.60/38.67 c *38.3s| 16164 | 766 | 42479 | 2.6 | 33M| 161 | - |5645 |5496 |5645 | 207 | 16k| 82 |1819 | 0.000000e+00 | 7.900000e+01 | Inf
38.69/38.72 o 63
38.69/38.72 c *38.3s| 16166 | 556 | 42568 | 2.6 | 32M| 161 | - |5645 |4916 |5645 | 185 | 16k| 82 |1819 | 0.000000e+00 | 6.300000e+01 | Inf
38.99/39.00 o 61
38.99/39.00 c *38.6s| 16216 | 312 | 42866 | 2.6 | 30M| 161 | - |5645 |4515 |5645 | 241 | 16k| 126 |1819 | 0.000000e+00 | 6.100000e+01 | Inf
43.39/43.49 o 55
43.39/43.49 c *43.0s| 17543 | 358 | 47862 | 2.7 | 34M| 161 | - |5645 |5871 |5645 | 186 | 17k|1565 |1822 | 0.000000e+00 | 5.500000e+01 | Inf
47.19/47.30 o 54
47.19/47.30 c *46.8s| 19052 | 428 | 51786 | 2.7 | 35M| 161 | - |5645 |6213 |5645 | 178 | 18k|3001 |1822 | 0.000000e+00 | 5.400000e+01 | Inf
49.50/49.51 c 49.0s| 20000 | 460 | 53958 | 2.7 | 35M| 161 | 1 |5645 |5875 |5645 | 167 | 18k|3877 |1822 | 0.000000e+00 | 5.400000e+01 | Inf
74.69/74.76 c 73.9s| 30000 | 772 | 80595 | 2.7 | 44M| 161 | - |5645 |8010 | 0 | 0 | 23k| 15k|1822 | 0.000000e+00 | 5.400000e+01 | Inf
99.89/99.95 c 98.8s| 40000 | 1056 |101107 | 2.5 | 51M| 161 | - |5645 |9567 | 0 | 0 | 29k| 26k|1839 | 0.000000e+00 | 5.400000e+01 | Inf
125.90/125.95 c 125s| 50000 | 1189 |123228 | 2.5 | 55M| 161 | 1 |5645 |8366 |5645 | 167 | 33k| 38k|1953 | 0.000000e+00 | 5.400000e+01 | Inf
128.70/128.75 o 51
128.70/128.75 c * 127s| 51109 | 1196 |125713 | 2.5 | 55M| 161 | - |5645 |8382 |5645 | 181 | 34k| 39k|1972 | 0.000000e+00 | 5.100000e+01 | Inf
134.00/134.06 o 49
134.00/134.06 c * 133s| 53099 | 1102 |130071 | 2.4 | 55M| 161 | - |5645 |8566 |5645 | 188 | 35k| 41k|1979 | 0.000000e+00 | 4.900000e+01 | Inf
138.39/138.48 o 47
138.39/138.48 c * 137s| 54973 | 1103 |133080 | 2.4 | 56M| 161 | - |5645 |9023 |5645 | 169 | 35k| 43k|1995 | 0.000000e+00 | 4.700000e+01 | Inf
138.39/138.49 o 44
138.39/138.49 c * 137s| 54974 | 1095 |133081 | 2.4 | 55M| 161 | - |5645 |9023 |5645 | 169 | 35k| 43k|1995 | 0.000000e+00 | 4.400000e+01 | Inf
149.80/149.80 c 148s| 60000 | 1205 |141104 | 2.4 | 57M| 161 | 1 |5645 |9920 |5645 | 169 | 36k| 49k|2032 | 0.000000e+00 | 4.400000e+01 | Inf
174.09/174.16 c 172s| 70000 | 1287 |161178 | 2.3 | 60M| 161 | - |5645 |8512 | 0 | 0 | 41k| 61k|2130 | 0.000000e+00 | 4.400000e+01 | Inf
179.50/179.53 o 39
179.50/179.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
179.50/179.53 c * 177s| 72362 | 1253 |166178 | 2.3 | 60M| 161 | - |5645 |9527 |5645 | 179 | 42k| 64k|2147 | 0.000000e+00 | 3.900000e+01 | Inf
187.00/187.10 o 36
187.00/187.10 c * 185s| 75657 | 1264 |172512 | 2.3 | 59M| 161 | - |5645 |8680 |5645 | 168 | 43k| 68k|2207 | 0.000000e+00 | 3.600000e+01 | Inf
196.59/196.64 c 194s| 80000 | 1288 |179955 | 2.2 | 60M| 161 | 1 |5645 |9291 |5645 | 188 | 45k| 74k|2245 | 0.000000e+00 | 3.600000e+01 | Inf
209.10/209.18 o 15
209.10/209.18 c * 207s| 85991 | 1153 |189141 | 2.2 | 53M| 161 | - |5645 | 10k|5645 | 189 | 46k| 81k|2285 | 0.000000e+00 | 1.500000e+01 | Inf
211.60/211.68 o 12
211.60/211.68 c * 209s| 87401 | 1111 |191383 | 2.2 | 52M| 161 | - |5645 | 10k|5645 | 169 | 47k| 83k|2285 | 0.000000e+00 | 1.200000e+01 | Inf
216.10/216.19 c 214s| 90000 | 1108 |195488 | 2.2 | 52M| 161 | - |5645 |8684 | 0 | 0 | 47k| 86k|2302 | 0.000000e+00 | 1.200000e+01 | Inf
221.39/221.40 o 7
221.39/221.40 c * 219s| 93085 | 920 |200506 | 2.2 | 48M| 161 | - |5645 | 10k|5645 | 178 | 48k| 90k|2314 | 0.000000e+00 | 7.000000e+00 | Inf
233.09/233.16 c 230s|100000 | 800 |215640 | 2.2 | 46M| 161 | 15 |5645 |6770 |5645 | 171 | 50k| 99k|2391 | 0.000000e+00 | 7.000000e+00 | Inf
250.30/250.37 o 6
250.30/250.37 c * 247s|108269 | 934 |256216 | 2.4 | 48M| 161 | - |5645 | 10k|5645 | 183 | 61k| 111k|2556 | 0.000000e+00 | 6.000000e+00 | Inf
251.80/251.82 o 5
251.80/251.82 c * 249s|109048 | 838 |257987 | 2.4 | 45M| 161 | - |5645 |9260 |5645 | 182 | 61k| 112k|2565 | 0.000000e+00 | 5.000000e+00 | Inf
253.49/253.59 c 250s|110000 | 839 |260991 | 2.4 | 46M| 161 | - |5645 |9149 | 0 | 0 | 62k| 113k|2571 | 0.000000e+00 | 5.000000e+00 | Inf
270.50/270.58 c 267s|120000 | 859 |279927 | 2.3 | 47M| 161 | 1 |5645 | 11k|5645 | 173 | 64k| 126k|2686 | 0.000000e+00 | 5.000000e+00 | Inf
288.50/288.52 c 285s|130000 | 910 |295421 | 2.3 | 49M| 161 | - |5645 | 16k| 0 | 0 | 65k| 139k|2723 | 0.000000e+00 | 5.000000e+00 | Inf
307.10/307.16 c 303s|140000 | 1080 |312690 | 2.2 | 51M| 161 | 1 |5645 | 19k|5645 | 173 | 67k| 152k|2800 | 0.000000e+00 | 5.000000e+00 | Inf
317.50/317.55 o 1
317.50/317.55 c * 314s|145602 | 962 |322817 | 2.2 | 49M| 161 | - |5645 | 17k|5645 | 173 | 68k| 160k|2832 | 0.000000e+00 | 1.000000e+00 | Inf
325.30/325.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
325.30/325.35 c 321s|150000 | 956 |329641 | 2.2 | 49M| 161 | 1 |5645 | 17k|5645 | 173 | 69k| 166k|2857 | 0.000000e+00 | 1.000000e+00 | Inf
343.40/343.40 c 339s|160000 | 899 |346494 | 2.2 | 49M| 161 | 1 |5645 | 17k|5645 | 173 | 71k| 180k|2897 | 0.000000e+00 | 1.000000e+00 | Inf
361.90/362.00 c 357s|170000 | 923 |363409 | 2.1 | 49M| 161 | 15 |5645 | 16k|5645 | 190 | 72k| 193k|2980 | 0.000000e+00 | 1.000000e+00 | Inf
379.90/379.94 c 375s|180000 | 939 |378295 | 2.1 | 50M| 161 | 1 |5645 | 17k|5645 | 173 | 74k| 206k|3042 | 0.000000e+00 | 1.000000e+00 | Inf
398.61/398.60 c 394s|190000 | 1004 |395042 | 2.1 | 51M| 161 | 1 |5645 | 18k|5645 | 173 | 75k| 220k|3105 | 0.000000e+00 | 1.000000e+00 | Inf
417.80/417.81 c 413s|200000 | 968 |409946 | 2.0 | 52M| 161 | - |5645 | 20k| 0 | 0 | 77k| 233k|3154 | 0.000000e+00 | 1.000000e+00 | Inf
437.01/437.06 c 432s|210000 | 1101 |428346 | 2.0 | 53M| 161 | - |5645 | 18k| 0 | 0 | 79k| 246k|3210 | 0.000000e+00 | 1.000000e+00 | Inf
455.21/455.29 c 450s|220000 | 1154 |444145 | 2.0 | 54M| 161 | 1 |5645 | 20k|5645 | 173 | 81k| 259k|3258 | 0.000000e+00 | 1.000000e+00 | Inf
474.81/474.83 c 469s|230000 | 1147 |462269 | 2.0 | 54M| 161 | 1 |5645 | 19k|5645 | 173 | 83k| 272k|3309 | 0.000000e+00 | 1.000000e+00 | Inf
493.80/493.81 c 488s|240000 | 1144 |480261 | 2.0 | 56M| 161 | - |5645 | 23k| 0 | 0 | 85k| 286k|3373 | 0.000000e+00 | 1.000000e+00 | Inf
514.41/514.44 c 508s|250000 | 1153 |497295 | 2.0 | 57M| 161 | - |5645 | 24k| 0 | 0 | 87k| 300k|3427 | 0.000000e+00 | 1.000000e+00 | Inf
534.61/534.64 c 528s|260000 | 1197 |513840 | 2.0 | 59M| 161 | 1 |5645 | 28k|5645 | 173 | 90k| 315k|3468 | 0.000000e+00 | 1.000000e+00 | Inf
555.41/555.45 c 549s|270000 | 1079 |532604 | 2.0 | 56M| 161 | 1 |5645 | 23k|5645 | 173 | 92k| 330k|3531 | 0.000000e+00 | 1.000000e+00 | Inf
574.31/574.31 c 567s|280000 | 890 |550657 | 2.0 | 49M| 161 | - |5645 | 13k| 0 | 0 | 95k| 343k|3606 | 0.000000e+00 | 1.000000e+00 | Inf
591.92/591.97 c 585s|290000 | 900 |571439 | 2.0 | 50M| 161 | - |5645 | 15k| 0 | 0 | 97k| 356k|3660 | 0.000000e+00 | 1.000000e+00 | Inf
609.41/609.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
609.41/609.47 c 602s|300000 | 866 |590742 | 2.0 | 50M| 161 | - |5645 | 14k| 0 | 0 | 100k| 370k|3715 | 0.000000e+00 | 1.000000e+00 | Inf
627.12/627.15 c 620s|310000 | 965 |610453 | 2.0 | 52M| 161 | - |5645 | 16k| 0 | 0 | 103k| 383k|3758 | 0.000000e+00 | 1.000000e+00 | Inf
645.42/645.41 c 638s|320000 | 1024 |626208 | 2.0 | 53M| 161 | 11 |5645 | 18k|5645 | 173 | 105k| 397k|3800 | 0.000000e+00 | 1.000000e+00 | Inf
663.32/663.31 c 655s|330000 | 1033 |641967 | 1.9 | 53M| 161 | - |5645 | 17k| 0 | 0 | 107k| 410k|3844 | 0.000000e+00 | 1.000000e+00 | Inf
682.41/682.47 c 674s|340000 | 1031 |659570 | 1.9 | 54M| 161 | 1 |5645 | 19k|5645 | 173 | 109k| 424k|3886 | 0.000000e+00 | 1.000000e+00 | Inf
701.11/701.17 c 693s|350000 | 968 |679376 | 1.9 | 53M| 161 | 1 |5645 | 17k|5645 | 173 | 112k| 439k|3937 | 0.000000e+00 | 1.000000e+00 | Inf
719.42/719.46 c 711s|360000 | 1009 |696284 | 1.9 | 55M| 161 | 1 |5645 | 21k|5645 | 173 | 115k| 453k|3979 | 0.000000e+00 | 1.000000e+00 | Inf
738.61/738.65 c 730s|370000 | 1093 |712889 | 1.9 | 56M| 161 | - |5645 | 23k| 0 | 0 | 117k| 467k|4011 | 0.000000e+00 | 1.000000e+00 | Inf
757.02/757.03 c 748s|380000 | 1181 |734759 | 1.9 | 59M| 161 | 1 |5645 | 26k|5645 | 173 | 123k| 484k|4077 | 0.000000e+00 | 1.000000e+00 | Inf
776.62/776.63 c 767s|390000 | 1143 |754448 | 1.9 | 58M| 161 | 1 |5645 | 24k|5645 | 186 | 126k| 499k|4127 | 0.000000e+00 | 1.000000e+00 | Inf
796.12/796.19 c 787s|400000 | 915 |776804 | 1.9 | 54M| 161 | - |5645 | 21k| 0 | 0 | 129k| 515k|4175 | 0.000000e+00 | 1.000000e+00 | Inf
816.72/816.73 c 807s|410000 | 880 |795695 | 1.9 | 55M| 161 | - |5645 | 24k| 0 | 0 | 131k| 529k|4217 | 0.000000e+00 | 1.000000e+00 | Inf
837.82/837.85 c 828s|420000 | 895 |816240 | 1.9 | 53M| 161 | - |5645 | 18k| 0 | 0 | 135k| 542k|4282 | 0.000000e+00 | 1.000000e+00 | Inf
857.42/857.47 c 847s|430000 | 972 |834425 | 1.9 | 56M| 161 | 1 |5645 | 25k|5645 | 167 | 138k| 556k|4318 | 0.000000e+00 | 1.000000e+00 | Inf
877.83/877.85 c 868s|440000 | 878 |851850 | 1.9 | 54M| 161 | - |5645 | 22k| 0 | 0 | 142k| 570k|4365 | 0.000000e+00 | 1.000000e+00 | Inf
896.63/896.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
896.63/896.67 c 886s|450000 | 769 |870408 | 1.9 | 51M| 161 | 1 |5645 | 16k|5645 | 144 | 144k| 584k|4471 | 0.000000e+00 | 1.000000e+00 | Inf
915.23/915.28 c 905s|460000 | 736 |891313 | 1.9 | 50M| 161 | - |5645 | 16k| 0 | 0 | 148k| 597k|4562 | 0.000000e+00 | 1.000000e+00 | Inf
935.43/935.40 c 924s|470000 | 717 |913399 | 1.9 | 51M| 161 | 1 |5645 | 18k|5645 | 174 | 150k| 610k|4620 | 0.000000e+00 | 1.000000e+00 | Inf
957.72/957.70 c 947s|480000 | 780 |936076 | 1.9 | 53M| 161 | - |5645 | 22k| 0 | 0 | 153k| 622k|4661 | 0.000000e+00 | 1.000000e+00 | Inf
978.62/978.60 c 967s|490000 | 739 |961244 | 2.0 | 52M| 161 | - |5645 | 21k| 0 | 0 | 156k| 637k|4721 | 0.000000e+00 | 1.000000e+00 | Inf
1000.23/1000.29 c 989s|500000 | 802 |987410 | 2.0 | 52M| 161 | - |5645 | 20k| 0 | 0 | 160k| 649k|4770 | 0.000000e+00 | 1.000000e+00 | Inf
1021.82/1021.89 c 1010s|510000 | 883 | 1007k| 2.0 | 54M| 161 | - |5645 | 23k| 0 | 0 | 164k| 662k|4811 | 0.000000e+00 | 1.000000e+00 | Inf
1044.33/1044.37 c 1032s|520000 | 870 | 1030k| 2.0 | 54M| 161 | 1 |5645 | 23k|5645 | 186 | 168k| 676k|4868 | 0.000000e+00 | 1.000000e+00 | Inf
1068.53/1068.57 c 1056s|530000 | 798 | 1057k| 2.0 | 54M| 161 | - |5645 | 24k| 0 | 0 | 172k| 689k|4934 | 0.000000e+00 | 1.000000e+00 | Inf
1091.83/1091.84 c 1079s|540000 | 736 | 1082k| 2.0 | 54M| 161 | 1 |5645 | 25k|5645 | 178 | 176k| 702k|4974 | 0.000000e+00 | 1.000000e+00 | Inf
1112.83/1112.87 c 1100s|550000 | 663 | 1100k| 2.0 | 52M| 161 | 1 |5645 | 22k|5645 | 173 | 179k| 715k|5037 | 0.000000e+00 | 1.000000e+00 | Inf
1137.83/1137.88 c 1125s|560000 | 640 | 1130k| 2.0 | 52M| 161 | - |5645 | 22k| 0 | 0 | 184k| 728k|5917 | 0.000000e+00 | 1.000000e+00 | Inf
1164.95/1164.93 c 1152s|570000 | 749 | 1161k| 2.0 | 55M| 161 | 1 |5645 | 26k|5645 | 163 | 191k| 741k|6049 | 0.000000e+00 | 1.000000e+00 | Inf
1195.43/1195.41 c 1182s|580000 | 886 | 1202k| 2.1 | 57M| 161 | 9 |5645 | 27k|5645 | 156 | 201k| 754k|6170 | 0.000000e+00 | 1.000000e+00 | Inf
1229.04/1229.02 c 1215s|590000 | 1105 | 1247k| 2.1 | 60M| 161 | - |5645 | 30k| 0 | 0 | 214k| 767k|6186 | 0.000000e+00 | 1.000000e+00 | Inf
1261.53/1261.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1261.53/1261.51 c 1248s|600000 | 1299 | 1294k| 2.2 | 63M| 161 | - |5645 | 33k| 0 | 0 | 228k| 780k|6207 | 0.000000e+00 | 1.000000e+00 | Inf
1296.73/1296.71 c 1283s|610000 | 1584 | 1352k| 2.2 | 66M| 161 | 8 |5645 | 34k|5645 | 180 | 246k| 794k|6248 | 0.000000e+00 | 1.000000e+00 | Inf
1330.14/1330.13 c 1316s|620000 | 1429 | 1399k| 2.3 | 65M| 161 | 20 |5645 | 33k|5645 | 210 | 257k| 808k|6329 | 0.000000e+00 | 1.000000e+00 | Inf
1360.34/1360.38 c 1346s|630000 | 1430 | 1434k| 2.3 | 65M| 161 | - |5645 | 32k| 0 | 0 | 264k| 821k|6376 | 0.000000e+00 | 1.000000e+00 | Inf
1387.64/1387.66 c 1373s|640000 | 1490 | 1454k| 2.3 | 67M| 161 | - |5645 | 35k| 0 | 0 | 266k| 835k|6406 | 0.000000e+00 | 1.000000e+00 | Inf
1418.44/1418.47 c 1403s|650000 | 1498 | 1490k| 2.3 | 68M| 161 | - |5645 | 38k| 0 | 0 | 275k| 849k|6467 | 0.000000e+00 | 1.000000e+00 | Inf
1457.74/1457.74 c 1442s|660000 | 1597 | 1542k| 2.3 | 71M| 161 | 11 |5645 | 42k|5645 | 192 | 292k| 863k|6537 | 0.000000e+00 | 1.000000e+00 | Inf
1498.35/1498.35 c 1483s|670000 | 1586 | 1591k| 2.4 | 72M| 161 | 19 |5645 | 43k|5645 | 211 | 304k| 878k|6602 | 0.000000e+00 | 1.000000e+00 | Inf
1532.94/1532.97 c 1517s|680000 | 1512 | 1637k| 2.4 | 68M| 161 | 8 |5645 | 33k|5645 | 201 | 316k| 891k|6693 | 0.000000e+00 | 1.000000e+00 | Inf
1563.55/1563.51 c 1548s|690000 | 1658 | 1675k| 2.4 | 71M| 161 | - |5645 | 38k| 0 | 0 | 326k| 905k|6757 | 0.000000e+00 | 1.000000e+00 | Inf
1596.94/1596.99 c 1581s|700000 | 1743 | 1715k| 2.5 | 73M| 161 | 1 |5645 | 41k|5645 | 195 | 335k| 919k|6791 | 0.000000e+00 | 1.000000e+00 | Inf
1629.55/1629.56 c 1613s|710000 | 1593 | 1755k| 2.5 | 69M| 161 | - |5645 | 30k| 0 | 0 | 343k| 933k|6876 | 0.000000e+00 | 1.000000e+00 | Inf
1659.55/1659.59 c 1643s|720000 | 1477 | 1796k| 2.5 | 67M| 161 | - |5645 | 29k| 0 | 0 | 353k| 947k|6944 | 0.000000e+00 | 1.000000e+00 | Inf
1688.66/1688.68 c 1672s|730000 | 1312 | 1838k| 2.5 | 65M| 161 | 13 |5645 | 29k|5645 | 184 | 364k| 961k|6998 | 0.000000e+00 | 1.000000e+00 | Inf
1720.56/1720.53 c 1703s|740000 | 1324 | 1885k| 2.5 | 65M| 161 | - |5645 | 30k| 0 | 0 | 378k| 975k|7061 | 0.000000e+00 | 1.000000e+00 | Inf
1752.65/1752.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1752.65/1752.61 c 1735s|750000 | 1365 | 1928k| 2.6 | 67M| 161 | 17 |5645 | 32k|5645 | 181 | 389k| 989k|7120 | 0.000000e+00 | 1.000000e+00 | Inf
1786.15/1786.18 c 1769s|760000 | 1325 | 1977k| 2.6 | 67M| 161 | - |5645 | 34k| 0 | 0 | 401k|1003k|7176 | 0.000000e+00 | 1.000000e+00 | Inf
1800.06/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.00 c
1800.06/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.00 c Solving Time (sec) : 1782.34
1800.06/1800.00 c Solving Nodes : 764308
1800.06/1800.00 c Primal Bound : +1.00000000000000e+00 (177 solutions)
1800.06/1800.00 c Dual Bound : +0.00000000000000e+00
1800.06/1800.00 c Gap : infinite
1800.06/1800.06 s SATISFIABLE
1800.06/1800.06 v -x231 -x230 -x229 -x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.06/1800.06 v -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 x194 -x193 -x192 -x191 -x190 x189
1800.06/1800.06 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.06/1800.06 v -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147
1800.06/1800.06 v -x146 -x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.06/1800.06 v -x125 x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104
1800.06/1800.06 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.06/1800.06 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.06/1800.06 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.06/1800.06 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.06/1800.06 v x1
1800.06/1800.06 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.06 c Solving Time : 1782.34
1800.06/1800.06 c Original Problem :
1800.06/1800.06 c Problem name : HOME/instance-2692424-1277930910.wbo
1800.06/1800.06 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.06/1800.06 c Constraints : 5415 initial, 5415 maximal
1800.06/1800.06 c Presolved Problem :
1800.06/1800.06 c Problem name : t_HOME/instance-2692424-1277930910.wbo
1800.06/1800.06 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.06/1800.06 c Constraints : 5414 initial, 45108 maximal
1800.06/1800.06 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.06 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.06 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.06 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.06 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.06 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.06 c probing : 0.04 0 0 0 0 0 0 0 0
1800.06/1800.06 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.06 c linear : 0.01 0 0 0 2707 0 1 0 0
1800.06/1800.06 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.06 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.06 c root node : - 2707 - - 5414 - - - -
1800.06/1800.06 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.06 c integral : 0 0 0 464303 0 3 177 0 0 810462
1800.06/1800.06 c indicator : 2707 0 911124 22178 0 346 3527758 0 0 0
1800.06/1800.06 c linear : 2707 6 4539764 58897 0 315721 19781819 405352 0 0
1800.06/1800.06 c logicor : 0+ 0 1173616 0 0 62963 1303172 0 0 0
1800.06/1800.06 c bounddisjunction : 0+ 0 43823 0 0 119 2028 0 0 0
1800.06/1800.06 c countsols : 0 0 0 14530 0 0 0 0 0 0
1800.06/1800.06 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.06 c integral : 14.75 0.00 0.00 14.75 0.00
1800.06/1800.06 c indicator : 16.12 0.00 12.45 3.67 0.00
1800.06/1800.06 c linear : 208.59 0.00 204.39 4.20 0.00
1800.06/1800.06 c logicor : 314.36 0.00 314.36 0.00 0.00
1800.06/1800.06 c bounddisjunction : 0.07 0.00 0.07 0.00 0.00
1800.06/1800.06 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.06 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.06 c vbounds : 0.98 2 0 0
1800.06/1800.06 c rootredcost : 1.05 23 0 2707
1800.06/1800.06 c pseudoobj : 224.81 4551272 11069 2689319
1800.06/1800.06 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.06 c propagation : 21.48 389872 389733 2438857 29.5 13250 26.5 -
1800.06/1800.06 c infeasible LP : 3.47 9597 9597 78725 42.5 153 18.4 0
1800.06/1800.06 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.06 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.06 c pseudo solution : 0.01 77 77 430 16.9 16 16.1 -
1800.06/1800.06 c applied globally : - - - 1009832 22.7 - - -
1800.06/1800.06 c applied locally : - - - 0 0.0 - - -
1800.06/1800.06 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.06 c cut pool : 0.00 3 - - 30 - (maximal pool size: 86)
1800.06/1800.06 c redcost : 32.84 466508 0 779951 0 0
1800.06/1800.06 c impliedbounds : 0.01 4 0 0 0 0
1800.06/1800.06 c intobj : 0.00 0 0 0 0 0
1800.06/1800.06 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.06 c gomory : 0.00 4 0 0 86 0
1800.06/1800.06 c strongcg : 0.00 4 0 0 0 0
1800.06/1800.06 c cmir : 0.00 4 0 0 0 0
1800.06/1800.06 c flowcover : 0.03 4 0 0 0 0
1800.06/1800.06 c clique : 0.00 1 0 0 0 0
1800.06/1800.06 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.06 c mcf : 0.00 1 0 0 0 0
1800.06/1800.06 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.06 c Pricers : Time Calls Vars
1800.06/1800.06 c problem variables: 0.00 0 0
1800.06/1800.06 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.06 c relpscost : 14.29 405393 3 177 0 0 810462
1800.06/1800.06 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.06 c inference : 3.20 14507 0 0 0 0 29014
1800.06/1800.06 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.06 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.06 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.06 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.06 c random : 0.00 0 0 0 0 0 0
1800.06/1800.06 c Primal Heuristics : Time Calls Found
1800.06/1800.06 c LP solutions : 0.03 - 23
1800.06/1800.06 c pseudo solutions : 0.00 - 0
1800.06/1800.06 c feaspump : 0.01 0 0
1800.06/1800.06 c oneopt : 0.46 22 0
1800.06/1800.06 c intshifting : 0.04 9 0
1800.06/1800.06 c guideddiving : 0.34 36 0
1800.06/1800.06 c crossover : 1.01 24 0
1800.06/1800.06 c veclendiving : 0.47 250 0
1800.06/1800.06 c linesearchdiving : 0.30 251 0
1800.06/1800.06 c coefdiving : 0.50 251 0
1800.06/1800.06 c pscostdiving : 0.45 251 0
1800.06/1800.06 c fracdiving : 0.30 251 0
1800.06/1800.06 c objpscostdiving : 0.35 247 0
1800.06/1800.06 c rootsoldiving : 1.24 247 0
1800.06/1800.06 c trivial : 0.07 2 2
1800.06/1800.06 c simplerounding : 0.90 406099 0
1800.06/1800.06 c zirounding : 0.38 1000 0
1800.06/1800.06 c rounding : 2.85 9011 0
1800.06/1800.06 c shifting : 1.24 2754 0
1800.06/1800.06 c twoopt : 0.00 0 0
1800.06/1800.06 c fixandinfer : 0.00 0 0
1800.06/1800.06 c intdiving : 0.00 0 0
1800.06/1800.06 c actconsdiving : 0.00 0 0
1800.06/1800.06 c octane : 0.00 0 0
1800.06/1800.06 c rens : 0.03 1 0
1800.06/1800.06 c rins : 0.00 0 0
1800.06/1800.06 c localbranching : 0.00 0 0
1800.06/1800.06 c mutation : 0.00 0 0
1800.06/1800.06 c dins : 0.00 0 0
1800.06/1800.06 c undercover : 0.00 0 0
1800.06/1800.06 c nlp : 0.28 0 0
1800.06/1800.06 c trysol : 2.83 4028 152
1800.06/1800.06 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.06 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.06 c dual LP : 354.80 460716 1995002 4.33 5622.89
1800.06/1800.06 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.06 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.06 c diving/probing LP: 0.61 378 1272 3.37 2085.25
1800.06/1800.06 c strong branching : 11.35 7184 66556 9.26 5863.96
1800.06/1800.06 c (at root node) : - 32 1061 33.16 -
1800.06/1800.06 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.06 c B&B Tree :
1800.06/1800.06 c number of runs : 1
1800.06/1800.06 c nodes : 764308
1800.06/1800.06 c nodes (total) : 764308
1800.06/1800.06 c nodes left : 1249
1800.06/1800.06 c max depth : 161
1800.06/1800.06 c max depth (total): 161
1800.06/1800.06 c backtracks : 62590 (8.2%)
1800.06/1800.06 c delayed cutoffs : 57240
1800.06/1800.06 c repropagations : 2519135 (4486712 domain reductions, 55180 cutoffs)
1800.06/1800.06 c avg switch length: 7.94
1800.06/1800.06 c switching time : 302.96
1800.06/1800.06 c Solution :
1800.06/1800.06 c Solutions found : 177 (24 improvements)
1800.06/1800.06 c First Solution : +1.35864000000000e+05 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.06/1800.06 c Primal Bound : +1.00000000000000e+00 (in run 1, after 145602 nodes, 313.54 seconds, depth 61, found by <relaxation>)
1800.06/1800.06 c Dual Bound : +0.00000000000000e+00
1800.06/1800.06 c Gap : infinite
1800.06/1800.06 c Root Dual Bound : +0.00000000000000e+00
1800.06/1800.06 c Root Iterations : 106
1800.17/1800.16 c Time complete: 1800.22.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692424-1277930910/watcher-2692424-1277930910 -o /tmp/evaluation-result-2692424-1277930910/solver-2692424-1277930910 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692424-1277930910.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 15051
/proc/meminfo: memFree=29300852/32951124 swapFree=67111528/67111528
[pid=15051] ppid=15049 vsize=9736 CPUtime=0
/proc/15051/stat : 15051 (pbscip.linux.x8) R 15049 15051 14146 0 -1 4202496 1757 0 0 0 0 0 0 0 25 0 1 0 134389172 9969664 1677 4089446400 4194304 8223781 140733879438912 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/15051/statm: 2434 1677 369 984 0 1447 0
[startup+0.103818 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 15051
/proc/meminfo: memFree=29300852/32951124 swapFree=67111528/67111528
[pid=15051] ppid=15049 vsize=35136 CPUtime=0.09
/proc/15051/stat : 15051 (pbscip.linux.x8) R 15049 15051 14146 0 -1 4202496 8088 0 0 0 9 0 0 0 25 0 1 0 134389172 35979264 7644 4089446400 4194304 8223781 140733879438912 18446744073709551615 4241142 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15051/statm: 8784 7644 422 984 0 7797 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35136
[startup+0.200942 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 15051
/proc/meminfo: memFree=29300852/32951124 swapFree=67111528/67111528
[pid=15051] ppid=15049 vsize=38916 CPUtime=0.19
/proc/15051/stat : 15051 (pbscip.linux.x8) R 15049 15051 14146 0 -1 4202496 9577 0 0 0 18 1 0 0 25 0 1 0 134389172 39849984 8617 4089446400 4194304 8223781 140733879438912 18446744073709551615 7238062 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15051/statm: 9978 8631 477 984 0 8991 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 38916
[startup+0.300899 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 15051
/proc/meminfo: memFree=29300852/32951124 swapFree=67111528/67111528
[pid=15051] ppid=15049 vsize=58612 CPUtime=0.29
/proc/15051/stat : 15051 (pbscip.linux.x8) R 15049 15051 14146 0 -1 4202496 14528 0 0 0 27 2 0 0 25 0 1 0 134389172 60018688 13471 4089446400 4194304 8223781 140733879438912 18446744073709551615 4384918 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15051/statm: 14653 13471 564 984 0 13666 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 58612
[startup+0.700722 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 15051
/proc/meminfo: memFree=29300852/32951124 swapFree=67111528/67111528
[pid=15051] ppid=15049 vsize=43076 CPUtime=0.69
/proc/15051/stat : 15051 (pbscip.linux.x8) R 15049 15051 14146 0 -1 4202496 15655 0 0 0 66 3 0 0 25 0 1 0 134389172 44109824 9710 4089446400 4194304 8223781 140733879438912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15051/statm: 10769 9710 575 984 0 9782 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43076
[startup+1.50056 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15052
/proc/meminfo: memFree=29262404/32951124 swapFree=67111528/67111528
[pid=15051] ppid=15049 vsize=43328 CPUtime=1.49
/proc/15051/stat : 15051 (pbscip.linux.x8) R 15049 15051 14146 0 -1 4202496 15786 0 0 0 145 4 0 0 25 0 1 0 134389172 44367872 9841 4089446400 4194304 8223781 140733879438912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15051/statm: 10832 9841 578 984 0 9845 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43328
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15052
/proc/meminfo: memFree=29260172/32951124 swapFree=67111528/67111528
[pid=15051] ppid=15049 vsize=49604 CPUtime=3.09
/proc/15051/stat : 15051 (pbscip.linux.x8) R 15049 15051 14146 0 -1 4202496 22091 0 0 0 303 6 0 0 25 0 1 0 134389172 50794496 11078 4089446400 4194304 8223781 140733879438912 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15051/statm: 12401 11078 579 984 0 11414 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49604
[startup+6.30066 s]
/proc/loadavg: 2.08 2.02 2.01 4/179 15052
/proc/meminfo: memFree=29251060/32951124 swapFree=67111528/67111528
[pid=15051] ppid=15049 vsize=53772 CPUtime=6.29
/proc/15051/stat : 15051 (pbscip.linux.x8) R 15049 15051 14146 0 -1 4202496 28410 0 0 0 620 9 0 0 25 0 1 0 134389172 55062528 12303 4089446400 4194304 8223781 140733879438912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15051/statm: 13443 12303 579 984 0 12456 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 53772
[startup+12.7004 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 15052
/proc/meminfo: memFree=29235964/32951124 swapFree=67111528/67111528
[pid=15051] ppid=15049 vsize=61136 CPUtime=12.69
/proc/15051/stat : 15051 (pbscip.linux.x8) R 15049 15051 14146 0 -1 4202496 40357 0 0 0 1253 16 0 0 25 0 1 0 134389172 62603264 14141 4089446400 4194304 8223781 140733879438912 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15051/statm: 15284 14141 579 984 0 14297 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 61136
[startup+25.501 s]
/proc/loadavg: 2.06 2.01 2.00 4/179 15053
/proc/meminfo: memFree=29201900/32951124 swapFree=67111528/67111528
[pid=15051] ppid=15049 vsize=76668 CPUtime=25.49
/proc/15051/stat : 15051 (pbscip.linux.x8) R 15049 15051 14146 0 -1 4202496 49295 0 0 0 2522 27 0 0 25 0 1 0 134389172 78508032 18023 4089446400 4194304 8223781 140733879438912 18446744073709551615 5813722 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15051/statm: 19167 18023 579 984 0 18180 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 76668
[startup+51.1012 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 15054
/proc/meminfo: memFree=29130108/32951124 swapFree=67111528/67111528
[pid=15051] ppid=15049 vsize=112300 CPUtime=51.09
/proc/15051/stat : 15051 (pbscip.linux.x8) R 15049 15051 14146 0 -1 4202496 78638 0 0 0 5056 53 0 0 25 0 1 0 134389172 114995200 26849 4089446400 4194304 8223781 140733879438912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15051/statm: 28075 26849 584 984 0 27088 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 112300
[startup+102.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 15055
/proc/meminfo: memFree=29006936/32951124 swapFree=67111528/67111528
[pid=15051] ppid=15049 vsize=177936 CPUtime=102.3
/proc/15051/stat : 15051 (pbscip.linux.x8) R 15049 15051 14146 0 -1 4202496 100096 0 0 0 10119 111 0 0 25 0 1 0 134389172 182206464 42767 4089446400 4194304 8223781 140733879438912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15051/statm: 44484 42767 584 984 0 43497 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 177936
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 15102
/proc/meminfo: memFree=31356856/32951124 swapFree=67111528/67111528
[pid=15051] ppid=15049 vsize=214744 CPUtime=162.29
/proc/15051/stat : 15051 (pbscip.linux.x8) R 15049 15051 14146 0 -1 4202496 145668 0 0 0 16049 180 0 0 25 0 1 0 134389172 219897856 51577 4089446400 4194304 8223781 140733879438912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15051/statm: 53686 51577 590 984 0 52699 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 214744
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 15104
/proc/meminfo: memFree=31301868/32951124 swapFree=67111528/67111528
[pid=15051] ppid=15049 vsize=236244 CPUtime=222.31
/proc/15051/stat : 15051 (pbscip.linux.x8) R 15049 15051 14146 0 -1 4202496 207348 0 0 0 21963 268 0 0 25 0 1 0 134389172 241913856 56733 4089446400 4194304 8223781 140733879438912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15051/statm: 59061 56733 593 984 0 58074 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 236244
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 15106
/proc/meminfo: memFree=31267104/32951124 swapFree=67111528/67111528
[pid=15051] ppid=15049 vsize=238564 CPUtime=282.3
/proc/15051/stat : 15051 (pbscip.linux.x8) R 15049 15051 14146 0 -1 4202496 246507 0 0 0 27876 354 0 0 25 0 1 0 134389172 244289536 57299 4089446400 4194304 8223781 140733879438912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15051/statm: 59641 57299 601 984 0 58654 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 238564
[startup+342.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/197 15108
/proc/meminfo: memFree=31245116/32951124 swapFree=67111528/67111528
[pid=15051] ppid=15049 vsize=240024 CPUtime=342.31
/proc/15051/stat : 15051 (pbscip.linux.x8) R 15049 15051 14146 0 -1 4202496 269650 0 0 0 33800 431 0 0 25 0 1 0 134389172 245784576 57697 4089446400 4194304 8223781 140733879438912 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15051/statm: 60006 57697 601 984 0 59019 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 240024
[startup+402.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/197 15109
/proc/meminfo: memFree=31206260/32951124 swapFree=67111528/67111528
[pid=15051] ppid=15049 vsize=243192 CPUtime=402.31
/proc/15051/stat : 15051 (pbscip.linux.x8) R 15049 15051 14146 0 -1 4202496 272186 0 0 0 39726 505 0 0 25 0 1 0 134389172 249028608 58461 4089446400 4194304 8223781 140733879438912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15051/statm: 60798 58461 601 984 0 59811 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 243192
[startup+462.3 s]
/proc/loadavg: 2.33 2.12 2.04 3/197 15110
/proc/meminfo: memFree=31161196/32951124 swapFree=67111528/67111528
[pid=15051] ppid=15049 vsize=244248 CPUtime=462.3
/proc/15051/stat : 15051 (pbscip.linux.x8) R 15049 15051 14146 0 -1 4202496 274279 0 0 0 45655 575 0 0 25 0 1 0 134389172 250109952 58739 4089446400 4194304 8223781 140733879438912 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15051/statm: 61062 58739 601 984 0 60075 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 244248
[startup+522.301 s]
/proc/loadavg: 2.12 2.09 2.03 3/197 15112
/proc/meminfo: memFree=31112416/32951124 swapFree=67111528/67111528
[pid=15051] ppid=15049 vsize=246108 CPUtime=522.3
/proc/15051/stat : 15051 (pbscip.linux.x8) R 15049 15051 14146 0 -1 4202496 276565 0 0 0 51592 638 0 0 25 0 1 0 134389172 252014592 59213 4089446400 4194304 8223781 140733879438912 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15051/statm: 61527 59213 601 984 0 60540 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 246108
[startup+582.301 s]
/proc/loadavg: 2.04 2.07 2.03 3/197 15114
/proc/meminfo: memFree=31077796/32951124 swapFree=67111528/67111528
[pid=15051] ppid=15049 vsize=248640 CPUtime=582.31
/proc/15051/stat : 15051 (pbscip.linux.x8) R 15049 15051 14146 0 -1 4202496 277161 0 0 0 57526 705 0 0 25 0 1 0 134389172 254607360 59807 4089446400 4194304 8223781 140733879438912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15051/statm: 62160 59807 601 984 0 61173 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 248640
[startup+642.3 s]
/proc/loadavg: 2.01 2.06 2.02 9/197 15116
/proc/meminfo: memFree=31045396/32951124 swapFree=67111528/67111528
[pid=15051] ppid=15049 vsize=249124 CPUtime=642.31
/proc/15051/stat : 15051 (pbscip.linux.x8) R 15049 15051 14146 0 -1 4202496 277261 0 0 0 63457 774 0 0 25 0 1 0 134389172 255102976 59905 4089446400 4194304 8223781 140733879438912 18446744073709551615 4223875 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15051/statm: 62281 59905 601 984 0 61294 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 249124
[startup+702.301 s]
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.02 2.03 2.00 3/197 15131
/proc/meminfo: memFree=31028712/32951124 swapFree=67111528/67111528
[pid=15051] ppid=15049 vsize=251776 CPUtime=882.33
/proc/15051/stat : 15051 (pbscip.linux.x8) R 15049 15051 14146 0 -1 4202496 279807 0 0 0 87200 1033 0 0 25 0 1 0 134389172 257818624 60560 4089446400 4194304 8223781 140733879438912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15051/statm: 62944 60560 601 984 0 61957 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 251776
[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/197 15133
/proc/meminfo: memFree=31028172/32951124 swapFree=67111528/67111528
[pid=15051] ppid=15049 vsize=252484 CPUtime=942.32
/proc/15051/stat : 15051 (pbscip.linux.x8) R 15049 15051 14146 0 -1 4202496 279927 0 0 0 93128 1104 0 0 25 0 1 0 134389172 258543616 60663 4089446400 4194304 8223781 140733879438912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15051/statm: 63121 60663 601 984 0 62134 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 252484
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/197 15134
/proc/meminfo: memFree=31028020/32951124 swapFree=67111528/67111528
[pid=15051] ppid=15049 vsize=252908 CPUtime=1002.33
/proc/15051/stat : 15051 (pbscip.linux.x8) R 15049 15051 14146 0 -1 4202496 280030 0 0 0 99071 1162 0 0 25 0 1 0 134389172 258977792 60734 4089446400 4194304 8223781 140733879438912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15051/statm: 63227 60734 601 984 0 62240 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 252908
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 15135
/proc/meminfo: memFree=31027368/32951124 swapFree=67111528/67111528
[pid=15051] ppid=15049 vsize=253436 CPUtime=1062.33
/proc/15051/stat : 15051 (pbscip.linux.x8) R 15049 15051 14146 0 -1 4202496 280204 0 0 0 105018 1215 0 0 25 0 1 0 134389172 259518464 60875 4089446400 4194304 8223781 140733879438912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15051/statm: 63359 60875 601 984 0 62372 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 253436
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 15137
/proc/meminfo: memFree=31001908/32951124 swapFree=67111528/67111528
[pid=15051] ppid=15049 vsize=253436 CPUtime=1122.33
/proc/15051/stat : 15051 (pbscip.linux.x8) R 15049 15051 14146 0 -1 4202496 280296 0 0 0 110955 1278 0 0 25 0 1 0 134389172 259518464 60916 4089446400 4194304 8223781 140733879438912 18446744073709551615 5990663 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15051/statm: 63359 60916 601 984 0 62372 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 253436
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 15139
/proc/meminfo: memFree=30947184/32951124 swapFree=67111528/67111528
[pid=15051] ppid=15049 vsize=255052 CPUtime=1182.33
/proc/15051/stat : 15051 (pbscip.linux.x8) R 15049 15051 14146 0 -1 4202496 287942 0 0 0 116900 1333 0 0 25 0 1 0 134389172 261173248 61170 4089446400 4194304 8223781 140733879438912 18446744073709551615 6004033 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15051/statm: 63763 61170 601 984 0 62776 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 255052
[startup+1242.3 s]
/proc/loadavg: 2.22 2.07 2.02 3/197 15141
/proc/meminfo: memFree=30894208/32951124 swapFree=67111528/67111528
[pid=15051] ppid=15049 vsize=257256 CPUtime=1242.34
/proc/15051/stat : 15051 (pbscip.linux.x8) R 15049 15051 14146 0 -1 4202496 288463 0 0 0 122858 1376 0 0 25 0 1 0 134389172 263430144 61691 4089446400 4194304 8223781 140733879438912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15051/statm: 64314 61691 601 984 0 63327 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 257256
[startup+1302.3 s]
/proc/loadavg: 2.08 2.06 2.02 3/197 15142
/proc/meminfo: memFree=30838608/32951124 swapFree=67111528/67111528
[pid=15051] ppid=15049 vsize=260740 CPUtime=1302.33
/proc/15051/stat : 15051 (pbscip.linux.x8) R 15049 15051 14146 0 -1 4202496 289350 0 0 0 128816 1417 0 0 25 0 1 0 134389172 266997760 62578 4089446400 4194304 8223781 140733879438912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15051/statm: 65185 62578 601 984 0 64198 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 260740
[startup+1362.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/197 15143
/proc/meminfo: memFree=30795788/32951124 swapFree=67111528/67111528
[pid=15051] ppid=15049 vsize=260796 CPUtime=1362.34
/proc/15051/stat : 15051 (pbscip.linux.x8) R 15049 15051 14146 0 -1 4202496 289415 0 0 0 134775 1459 0 0 25 0 1 0 134389172 267055104 62640 4089446400 4194304 8223781 140733879438912 18446744073709551615 4220848 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15051/statm: 65199 62640 601 984 0 64212 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 260796
[startup+1422.3 s]
/proc/loadavg: 2.01 2.03 2.01 3/197 15145
/proc/meminfo: memFree=30747272/32951124 swapFree=67111528/67111528
[pid=15051] ppid=15049 vsize=263184 CPUtime=1422.35
/proc/15051/stat : 15051 (pbscip.linux.x8) R 15049 15051 14146 0 -1 4202496 289898 0 0 0 140730 1505 0 0 25 0 1 0 134389172 269500416 63123 4089446400 4194304 8223781 140733879438912 18446744073709551615 6023790 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15051/statm: 65796 63123 601 984 0 64809 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 263184
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/197 15147
/proc/meminfo: memFree=30687728/32951124 swapFree=67111528/67111528
[pid=15051] ppid=15049 vsize=265376 CPUtime=1482.34
/proc/15051/stat : 15051 (pbscip.linux.x8) R 15049 15051 14146 0 -1 4202496 290488 0 0 0 146689 1545 0 0 25 0 1 0 134389172 271745024 63705 4089446400 4194304 8223781 140733879438912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15051/statm: 66344 63705 601 984 0 65357 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 265376
[startup+1542.31 s]
/proc/loadavg: 2.06 2.03 2.00 3/197 15149
/proc/meminfo: memFree=30631764/32951124 swapFree=67111528/67111528
[pid=15051] ppid=15049 vsize=265732 CPUtime=1542.35
/proc/15051/stat : 15051 (pbscip.linux.x8) R 15049 15051 14146 0 -1 4202496 290594 0 0 0 152646 1589 0 0 25 0 1 0 134389172 272109568 63789 4089446400 4194304 8223781 140733879438912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15051/statm: 66433 63789 601 984 0 65446 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 265732
[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/197 15150
/proc/meminfo: memFree=30578660/32951124 swapFree=67111528/67111528
[pid=15051] ppid=15049 vsize=266112 CPUtime=1602.34
/proc/15051/stat : 15051 (pbscip.linux.x8) R 15049 15051 14146 0 -1 4202496 290709 0 0 0 158609 1625 0 0 25 0 1 0 134389172 272498688 63887 4089446400 4194304 8223781 140733879438912 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15051/statm: 66528 63887 601 984 0 65541 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 266112
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/197 15151
/proc/meminfo: memFree=30529148/32951124 swapFree=67111528/67111528
[pid=15051] ppid=15049 vsize=266192 CPUtime=1662.35
/proc/15051/stat : 15051 (pbscip.linux.x8) R 15049 15051 14146 0 -1 4202496 290766 0 0 0 164565 1670 0 0 25 0 1 0 134389172 272580608 63943 4089446400 4194304 8223781 140733879438912 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15051/statm: 66548 63943 601 984 0 65561 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 266192
[startup+1722.3 s]
/proc/loadavg: 2.34 2.12 2.03 3/197 15153
/proc/meminfo: memFree=30466616/32951124 swapFree=67111528/67111528
[pid=15051] ppid=15049 vsize=266192 CPUtime=1722.36
/proc/15051/stat : 15051 (pbscip.linux.x8) R 15049 15051 14146 0 -1 4202496 290766 0 0 0 170519 1717 0 0 25 0 1 0 134389172 272580608 63943 4089446400 4194304 8223781 140733879438912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15051/statm: 66548 63943 601 984 0 65561 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 266192
[startup+1782.3 s]
/proc/loadavg: 2.15 2.11 2.03 2/198 15216
/proc/meminfo: memFree=31354772/32951124 swapFree=67111528/67111528
[pid=15051] ppid=15049 vsize=266192 CPUtime=1782.35
/proc/15051/stat : 15051 (pbscip.linux.x8) R 15049 15051 14146 0 -1 4202496 290767 0 0 0 176477 1758 0 0 25 0 1 0 134389172 272580608 63944 4089446400 4194304 8223781 140733879438912 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15051/statm: 66548 63944 601 984 0 65561 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 266192
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.04 2.08 2.03 3/179 15252
/proc/meminfo: memFree=31393316/32951124 swapFree=67111528/67111528
[pid=15051] ppid=15049 vsize=266192 CPUtime=1800.06
/proc/15051/stat : 15051 (pbscip.linux.x8) R 15049 15051 14146 0 -1 4202496 290770 0 0 0 178236 1770 0 0 25 0 1 0 134389172 272580608 63947 4089446400 4194304 8223781 140733879438912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15051/statm: 66548 63947 601 984 0 65561 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 266192
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.04 2.08 2.03 3/179 15252
/proc/meminfo: memFree=31393316/32951124 swapFree=67111528/67111528
[pid=15051] ppid=15049 vsize=257556 CPUtime=1800.17
/proc/15051/stat : 15051 (pbscip.linux.x8) R 15049 15051 14146 0 -1 4202496 290777 0 0 0 178247 1770 0 0 18 0 1 0 134389172 263737344 61795 4089446400 4194304 8223781 140733879438912 18446744073709551615 4997782 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/15051/statm: 64389 61795 603 984 0 63402 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 257556
Child status: 0
Real time (s): 1800.16
CPU time (s): 1800.22
CPU user time (s): 1782.51
CPU system time (s): 17.7103
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 266192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.51
system time used= 17.7103
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 290781
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= 4669
runsolver used 3.13352 second user time and 6.20306 second system time
The end
Begin job on node102 at 2010-06-30 22:48:30
IDJOB=2692424
IDBENCH=79310
IDSOLVER=1204
FILE ID=node102/2692424-1277930910
PBS_JOBID= 11197350
Free space on /tmp= 74208 MiB
SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900576151--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-2692424-1277930910/watcher-2692424-1277930910 -o /tmp/evaluation-result-2692424-1277930910/solver-2692424-1277930910 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692424-1277930910.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 2ef467464a5a95a7940c8f8fcd712c57
RANDOM SEED=2138020748
node102.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.833
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.66
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.833
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.833
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.833
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.85
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.833
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.833
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.833
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.833
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 29301380 kB
Buffers: 214264 kB
Cached: 739100 kB
SwapCached: 0 kB
Active: 2906552 kB
Inactive: 596772 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 29301380 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 4712 kB
Writeback: 0 kB
AnonPages: 2549780 kB
Mapped: 16104 kB
Slab: 78440 kB
PageTables: 9448 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 2743432 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74200 MiB
End job on node102 at 2010-06-30 23:18:32