0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2703532-1278562421.opb>
0.00/0.01 c original problem has 51 variables (51 bin, 0 int, 0 impl, 0 cont) and 13 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 2) 1 del vars, 7 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c presolving (3 rounds):
0.00/0.02 c 1 deleted vars, 7 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 50 variables (50 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.00/0.02 c 6 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.3
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1790
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 1620
0.00/0.02 c
0.00/0.02 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.02 c # [type: int, range: [1,2], default: 1]
0.00/0.02 c timing/clocktype = 2
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/indicator/addCouplingCons = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 0 | 28 | - | 273k| 0 | 6 | 50 | 6 | 50 | 6 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.12 c 0.1s| 1 | 0 | 98 | - | 305k| 0 | 9 | 50 | 7 | 50 | 12 | 6 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.12 c 0.1s| 1 | 0 | 105 | - | 340k| 0 | 12 | 50 | 7 | 50 | 16 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.13 c 0.1s| 1 | 0 | 116 | - | 372k| 0 | 15 | 50 | 7 | 50 | 21 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 c 0.1s| 1 | 0 | 126 | - | 391k| 0 | 15 | 50 | 7 | 50 | 24 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.15 c 0.1s| 1 | 0 | 131 | - | 396k| 0 | 17 | 50 | 7 | 50 | 27 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.16 c 0.2s| 1 | 0 | 144 | - | 405k| 0 | 18 | 50 | 7 | 50 | 29 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.23 c 0.2s| 1 | 2 | 144 | - | 405k| 0 | 18 | 50 | 7 | 50 | 29 | 23 | 0 | 9 | 0.000000e+00 | -- | Inf
4.19/4.28 c 4.3s| 10000 | 3484 | 25352 | 2.5 |4024k| 43 | 6 | 50 |3358 | 50 | 18 | 23 |4652 | 590 | 0.000000e+00 | -- | Inf
8.68/8.71 c 8.7s| 20000 | 6206 | 49591 | 2.5 |6011k| 44 | - | 50 |3137 | 50 | 18 | 23 |9927 | 780 | 0.000000e+00 | -- | Inf
13.08/13.13 c 13.1s| 30000 | 8827 | 73523 | 2.4 |7997k| 44 | 6 | 50 |3507 | 50 | 18 | 23 | 15k| 921 | 0.000000e+00 | -- | Inf
17.59/17.64 c 17.6s| 40000 | 11330 | 97433 | 2.4 | 10M| 44 | 6 | 50 |4166 | 50 | 18 | 23 | 20k|1045 | 0.000000e+00 | -- | Inf
22.29/22.31 c 22.3s| 50000 | 13992 |120939 | 2.4 | 12M| 44 | - | 50 |4423 | 0 | 0 | 23 | 25k|1153 | 0.000000e+00 | -- | Inf
27.18/27.21 c 27.2s| 60000 | 16275 |144895 | 2.4 | 13M| 44 | 6 | 50 |4778 | 50 | 18 | 23 | 31k|1235 | 0.000000e+00 | -- | Inf
32.08/32.18 c 32.2s| 70000 | 18569 |169028 | 2.4 | 15M| 44 | - | 50 |4391 | 0 | 0 | 23 | 36k|1324 | 0.000000e+00 | -- | Inf
37.08/37.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.08/37.15 c 37.1s| 80000 | 21029 |193082 | 2.4 | 17M| 44 | - | 50 |4842 | 50 | 18 | 23 | 41k|1423 | 0.000000e+00 | -- | Inf
42.28/42.38 c 42.4s| 90000 | 23150 |216435 | 2.4 | 19M| 45 | - | 50 |5023 | 0 | 0 | 23 | 47k|1491 | 0.000000e+00 | -- | Inf
46.98/47.08 c 47.1s|100000 | 26049 |241052 | 2.4 | 22M| 45 | 6 | 50 |6405 | 50 | 18 | 23 | 52k|1550 | 0.000000e+00 | -- | Inf
52.57/52.69 c 52.7s|110000 | 28372 |264040 | 2.4 | 23M| 45 | 6 | 50 |5759 | 50 | 18 | 23 | 57k|1603 | 0.000000e+00 | -- | Inf
58.28/58.33 c 58.3s|120000 | 30573 |287676 | 2.4 | 25M| 45 | 6 | 50 |6231 | 50 | 18 | 23 | 63k|1667 | 0.000000e+00 | -- | Inf
63.97/64.04 c 64.0s|130000 | 32761 |311128 | 2.4 | 27M| 45 | - | 50 |5878 | 50 | 18 | 23 | 69k|1722 | 0.000000e+00 | -- | Inf
69.77/69.84 c 69.8s|140000 | 34833 |334613 | 2.4 | 29M| 45 | 6 | 50 |5989 | 50 | 18 | 23 | 74k|1775 | 0.000000e+00 | -- | Inf
75.47/75.50 c 75.5s|150000 | 36961 |358100 | 2.4 | 31M| 45 | 6 | 50 |5958 | 50 | 18 | 23 | 80k|1818 | 0.000000e+00 | -- | Inf
80.77/80.86 c 80.9s|160000 | 39347 |381560 | 2.4 | 33M| 45 | 6 | 50 |6689 | 50 | 18 | 23 | 85k|1863 | 0.000000e+00 | -- | Inf
86.36/86.49 c 86.5s|170000 | 41640 |404569 | 2.4 | 35M| 45 | 6 | 50 |6759 | 50 | 18 | 23 | 91k|1910 | 0.000000e+00 | -- | Inf
92.57/92.66 c 92.6s|180000 | 43761 |427969 | 2.4 | 36M| 45 | - | 50 |6544 | 50 | 18 | 23 | 96k|1961 | 0.000000e+00 | -- | Inf
98.87/98.91 c 98.9s|190000 | 45883 |451206 | 2.4 | 38M| 45 | - | 50 |6352 | 50 | 18 | 23 | 102k|2003 | 0.000000e+00 | -- | Inf
104.96/105.02 c 105s|200000 | 47837 |474703 | 2.4 | 40M| 45 | 6 | 50 |6907 | 50 | 18 | 23 | 107k|2035 | 0.000000e+00 | -- | Inf
110.96/111.01 c 111s|210000 | 50007 |498299 | 2.4 | 42M| 45 | 6 | 50 |6716 | 50 | 18 | 23 | 113k|2080 | 0.000000e+00 | -- | Inf
117.06/117.11 c 117s|220000 | 52136 |521844 | 2.4 | 44M| 45 | 6 | 50 |6834 | 50 | 18 | 23 | 118k|2114 | 0.000000e+00 | -- | Inf
122.86/122.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
122.86/122.98 c 123s|230000 | 54448 |545607 | 2.4 | 46M| 45 | 6 | 50 |7294 | 50 | 18 | 23 | 124k|2145 | 0.000000e+00 | -- | Inf
129.16/129.23 c 129s|240000 | 56575 |568634 | 2.4 | 47M| 45 | - | 50 |7790 | 50 | 18 | 23 | 129k|2179 | 0.000000e+00 | -- | Inf
135.25/135.38 c 135s|250000 | 58996 |592196 | 2.4 | 49M| 45 | - | 50 |7160 | 50 | 18 | 23 | 135k|2233 | 0.000000e+00 | -- | Inf
141.55/141.64 c 142s|260000 | 61089 |615955 | 2.4 | 51M| 45 | - | 50 |6916 | 50 | 18 | 23 | 140k|2267 | 0.000000e+00 | -- | Inf
147.85/147.94 c 148s|270000 | 63225 |639703 | 2.4 | 53M| 45 | - | 50 |7457 | 0 | 0 | 23 | 146k|2301 | 0.000000e+00 | -- | Inf
153.85/153.94 c 154s|280000 | 65640 |663404 | 2.4 | 55M| 45 | - | 50 |8052 | 50 | 18 | 23 | 151k|2326 | 0.000000e+00 | -- | Inf
160.14/160.23 c 160s|290000 | 67775 |686763 | 2.4 | 57M| 45 | 6 | 50 |8067 | 50 | 18 | 23 | 157k|2360 | 0.000000e+00 | -- | Inf
166.75/166.88 c 167s|300000 | 69721 |710026 | 2.4 | 58M| 45 | 6 | 50 |7234 | 50 | 18 | 23 | 163k|2388 | 0.000000e+00 | -- | Inf
172.75/172.82 c 173s|310000 | 71967 |733921 | 2.4 | 60M| 45 | 6 | 50 |8166 | 50 | 18 | 23 | 168k|2417 | 0.000000e+00 | -- | Inf
178.84/178.98 c 179s|320000 | 74176 |757639 | 2.4 | 62M| 45 | - | 50 |8377 | 50 | 18 | 23 | 174k|2437 | 0.000000e+00 | -- | Inf
185.84/185.93 c 186s|330000 | 76093 |780984 | 2.4 | 63M| 45 | - | 50 |7164 | 0 | 0 | 23 | 179k|2471 | 0.000000e+00 | -- | Inf
192.55/192.67 c 193s|340000 | 78097 |804566 | 2.4 | 65M| 45 | - | 50 |7257 | 0 | 0 | 23 | 185k|2505 | 0.000000e+00 | -- | Inf
198.83/198.95 c 199s|350000 | 80089 |828244 | 2.4 | 67M| 45 | - | 50 |7527 | 50 | 18 | 23 | 191k|2535 | 0.000000e+00 | -- | Inf
204.84/204.99 c 205s|360000 | 82133 |850665 | 2.4 | 69M| 45 | 6 | 50 |8021 | 50 | 18 | 23 | 196k|2561 | 0.000000e+00 | -- | Inf
211.73/211.84 c 212s|370000 | 83957 |873771 | 2.4 | 70M| 45 | - | 50 |7779 | 0 | 0 | 23 | 202k|2587 | 0.000000e+00 | -- | Inf
217.53/217.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
217.53/217.68 c 218s|380000 | 86343 |897431 | 2.4 | 73M| 45 | 6 | 50 |8763 | 50 | 18 | 23 | 207k|2611 | 0.000000e+00 | -- | Inf
224.73/224.80 c 225s|390000 | 88277 |920829 | 2.4 | 74M| 45 | - | 50 |8117 | 0 | 0 | 23 | 213k|2637 | 0.000000e+00 | -- | Inf
231.23/231.38 c 231s|400000 | 90325 |944574 | 2.4 | 76M| 45 | 6 | 50 |8613 | 50 | 18 | 23 | 219k|2665 | 0.000000e+00 | -- | Inf
237.53/237.66 c 238s|410000 | 92689 |968383 | 2.4 | 78M| 45 | - | 50 |9740 | 50 | 18 | 23 | 224k|2688 | 0.000000e+00 | -- | Inf
244.92/245.00 c 245s|420000 | 94641 |991804 | 2.4 | 80M| 45 | 6 | 50 |8435 | 50 | 18 | 23 | 230k|2712 | 0.000000e+00 | -- | Inf
250.62/250.80 c 251s|430000 | 97230 | 1015k| 2.4 | 82M| 45 | - | 50 | 10k| 50 | 18 | 23 | 235k|2735 | 0.000000e+00 | -- | Inf
258.31/258.47 c 258s|440000 | 99241 | 1038k| 2.4 | 83M| 45 | - | 50 |8732 | 50 | 18 | 23 | 240k|2760 | 0.000000e+00 | -- | Inf
265.32/265.44 c 265s|450000 |101295 | 1062k| 2.4 | 85M| 45 | 6 | 50 |8468 | 50 | 18 | 23 | 246k|2787 | 0.000000e+00 | -- | Inf
271.52/271.62 c 272s|460000 |103809 | 1086k| 2.4 | 87M| 45 | 6 | 50 |8653 | 50 | 18 | 23 | 252k|2801 | 0.000000e+00 | -- | Inf
278.51/278.63 c 279s|470000 |105800 | 1110k| 2.4 | 89M| 45 | - | 50 |7941 | 0 | 0 | 23 | 257k|2822 | 0.000000e+00 | -- | Inf
285.81/285.92 c 286s|480000 |107693 | 1133k| 2.4 | 90M| 45 | - | 50 |7459 | 50 | 18 | 23 | 263k|2845 | 0.000000e+00 | -- | Inf
292.11/292.27 c 292s|490000 |109739 | 1157k| 2.4 | 92M| 45 | 6 | 50 |7898 | 50 | 18 | 23 | 268k|2864 | 0.000000e+00 | -- | Inf
298.60/298.78 c 299s|500000 |111942 | 1180k| 2.4 | 94M| 45 | 6 | 50 |7971 | 50 | 18 | 23 | 274k|2882 | 0.000000e+00 | -- | Inf
305.50/305.62 c 306s|510000 |114008 | 1204k| 2.4 | 96M| 45 | 6 | 50 |8325 | 50 | 18 | 23 | 280k|2904 | 0.000000e+00 | -- | Inf
312.60/312.75 c 313s|520000 |115969 | 1227k| 2.4 | 97M| 45 | - | 50 |8094 | 50 | 18 | 23 | 285k|2920 | 0.000000e+00 | -- | Inf
319.41/319.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
319.41/319.52 c 320s|530000 |118067 | 1251k| 2.4 | 99M| 45 | 6 | 50 |8271 | 50 | 18 | 23 | 291k|2939 | 0.000000e+00 | -- | Inf
326.71/326.84 c 327s|540000 |119849 | 1274k| 2.4 | 101M| 45 | - | 50 |7781 | 0 | 0 | 23 | 297k|2960 | 0.000000e+00 | -- | Inf
333.39/333.58 c 334s|550000 |121926 | 1298k| 2.4 | 103M| 45 | - | 50 |8059 | 50 | 18 | 23 | 302k|2978 | 0.000000e+00 | -- | Inf
340.49/340.62 c 341s|560000 |123946 | 1321k| 2.4 | 104M| 45 | 6 | 50 |7795 | 50 | 18 | 23 | 308k|3001 | 0.000000e+00 | -- | Inf
347.39/347.52 c 348s|570000 |125946 | 1344k| 2.4 | 106M| 45 | 6 | 50 |7560 | 50 | 18 | 23 | 313k|3027 | 0.000000e+00 | -- | Inf
354.20/354.39 c 354s|580000 |127772 | 1367k| 2.4 | 108M| 45 | 6 | 50 |7512 | 50 | 18 | 23 | 319k|3052 | 0.000000e+00 | -- | Inf
360.18/360.36 c 360s|590000 |130058 | 1391k| 2.4 | 110M| 45 | 6 | 50 |8686 | 50 | 18 | 23 | 324k|3074 | 0.000000e+00 | -- | Inf
367.39/367.58 c 368s|600000 |131753 | 1414k| 2.4 | 111M| 45 | - | 50 |8274 | 50 | 18 | 23 | 330k|3098 | 0.000000e+00 | -- | Inf
373.69/373.87 c 374s|610000 |134117 | 1438k| 2.4 | 113M| 45 | - | 50 |8916 | 50 | 18 | 23 | 335k|3117 | 0.000000e+00 | -- | Inf
380.48/380.60 c 381s|620000 |136338 | 1462k| 2.4 | 115M| 45 | 6 | 50 |9944 | 50 | 18 | 23 | 341k|3132 | 0.000000e+00 | -- | Inf
388.08/388.28 c 388s|630000 |138241 | 1485k| 2.4 | 117M| 45 | - | 50 |9730 | 0 | 0 | 23 | 347k|3153 | 0.000000e+00 | -- | Inf
395.08/395.24 c 395s|640000 |140093 | 1509k| 2.4 | 119M| 45 | 6 | 50 |9532 | 50 | 18 | 23 | 352k|3187 | 0.000000e+00 | -- | Inf
402.38/402.58 c 403s|650000 |142241 | 1532k| 2.4 | 120M| 45 | 6 | 50 |8795 | 50 | 18 | 23 | 358k|3212 | 0.000000e+00 | -- | Inf
409.67/409.87 c 410s|660000 |144082 | 1555k| 2.4 | 122M| 45 | 6 | 50 |8735 | 50 | 18 | 23 | 364k|3228 | 0.000000e+00 | -- | Inf
417.17/417.30 c 417s|670000 |146039 | 1579k| 2.4 | 123M| 45 | - | 50 |8127 | 50 | 18 | 23 | 369k|3248 | 0.000000e+00 | -- | Inf
424.58/424.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
424.58/424.73 c 425s|680000 |147720 | 1602k| 2.4 | 125M| 45 | 6 | 50 |8000 | 50 | 18 | 23 | 375k|3265 | 0.000000e+00 | -- | Inf
431.77/431.99 c 432s|690000 |149576 | 1626k| 2.4 | 127M| 45 | - | 50 |8449 | 50 | 18 | 23 | 381k|3278 | 0.000000e+00 | -- | Inf
438.87/439.04 c 439s|700000 |151658 | 1650k| 2.4 | 129M| 45 | 6 | 50 |9169 | 50 | 18 | 23 | 387k|3292 | 0.000000e+00 | -- | Inf
446.36/446.50 c 446s|710000 |153442 | 1673k| 2.4 | 130M| 45 | 6 | 50 |9147 | 50 | 18 | 23 | 392k|3314 | 0.000000e+00 | -- | Inf
453.76/453.90 c 454s|720000 |155287 | 1697k| 2.4 | 132M| 45 | 6 | 50 |8751 | 50 | 18 | 23 | 398k|3333 | 0.000000e+00 | -- | Inf
461.26/461.45 c 461s|730000 |157017 | 1720k| 2.4 | 134M| 45 | 6 | 50 |8252 | 50 | 18 | 23 | 404k|3355 | 0.000000e+00 | -- | Inf
468.25/468.46 c 468s|740000 |158892 | 1743k| 2.4 | 135M| 45 | - | 50 |8620 | 50 | 18 | 23 | 410k|3378 | 0.000000e+00 | -- | Inf
475.16/475.36 c 475s|750000 |161007 | 1767k| 2.4 | 137M| 45 | - | 50 |8742 | 50 | 18 | 23 | 415k|3395 | 0.000000e+00 | -- | Inf
482.46/482.64 c 483s|760000 |162871 | 1790k| 2.4 | 139M| 45 | - | 50 |7994 | 50 | 18 | 23 | 421k|3414 | 0.000000e+00 | -- | Inf
489.46/489.67 c 490s|770000 |164815 | 1813k| 2.4 | 140M| 45 | 6 | 50 |8339 | 50 | 18 | 23 | 427k|3436 | 0.000000e+00 | -- | Inf
497.16/497.38 c 497s|780000 |166615 | 1837k| 2.4 | 142M| 45 | 6 | 50 |8520 | 50 | 18 | 23 | 433k|3456 | 0.000000e+00 | -- | Inf
505.25/505.43 c 505s|790000 |168216 | 1860k| 2.4 | 144M| 45 | - | 50 |8290 | 50 | 18 | 23 | 439k|3482 | 0.000000e+00 | -- | Inf
512.45/512.62 c 513s|800000 |170133 | 1884k| 2.4 | 146M| 45 | - | 50 |8578 | 50 | 18 | 23 | 444k|3497 | 0.000000e+00 | -- | Inf
520.15/520.38 c 520s|810000 |171756 | 1907k| 2.4 | 147M| 45 | 6 | 50 |8275 | 50 | 18 | 23 | 450k|3514 | 0.000000e+00 | -- | Inf
527.44/527.60 c 528s|820000 |173562 | 1931k| 2.4 | 149M| 45 | 6 | 50 |9030 | 50 | 18 | 23 | 456k|3535 | 0.000000e+00 | -- | Inf
534.64/534.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
534.64/534.87 c 535s|830000 |175407 | 1955k| 2.4 | 151M| 45 | - | 50 |8816 | 0 | 0 | 23 | 462k|3554 | 0.000000e+00 | -- | Inf
543.04/543.24 c 543s|840000 |177090 | 1978k| 2.4 | 152M| 45 | 6 | 50 |8248 | 50 | 18 | 23 | 468k|3572 | 0.000000e+00 | -- | Inf
550.34/550.57 c 551s|850000 |178891 | 2001k| 2.4 | 154M| 45 | 6 | 50 |8595 | 50 | 18 | 23 | 474k|3584 | 0.000000e+00 | -- | Inf
557.93/558.13 c 558s|860000 |180639 | 2025k| 2.4 | 155M| 45 | - | 50 |8532 | 0 | 0 | 23 | 480k|3600 | 0.000000e+00 | -- | Inf
565.43/565.61 c 566s|870000 |182410 | 2048k| 2.4 | 157M| 45 | 6 | 50 |8744 | 50 | 18 | 23 | 485k|3626 | 0.000000e+00 | -- | Inf
572.83/573.00 c 573s|880000 |184195 | 2071k| 2.4 | 159M| 45 | 6 | 50 |8981 | 50 | 18 | 23 | 491k|3640 | 0.000000e+00 | -- | Inf
580.82/581.06 c 581s|890000 |185860 | 2096k| 2.4 | 161M| 45 | 6 | 50 |9261 | 50 | 18 | 23 | 497k|3658 | 0.000000e+00 | -- | Inf
588.12/588.37 c 588s|900000 |187770 | 2119k| 2.4 | 162M| 45 | - | 50 |9308 | 50 | 18 | 23 | 503k|3674 | 0.000000e+00 | -- | Inf
595.82/596.08 c 596s|910000 |189575 | 2143k| 2.4 | 164M| 45 | 6 | 50 |9858 | 50 | 18 | 23 | 509k|3689 | 0.000000e+00 | -- | Inf
603.82/604.04 c 604s|920000 |191346 | 2166k| 2.4 | 166M| 45 | 6 | 50 |9382 | 50 | 18 | 23 | 514k|3698 | 0.000000e+00 | -- | Inf
611.02/611.21 c 611s|930000 |193085 | 2189k| 2.4 | 168M| 45 | 6 | 50 | 10k| 50 | 18 | 23 | 520k|3719 | 0.000000e+00 | -- | Inf
618.42/618.62 c 619s|940000 |195033 | 2213k| 2.4 | 169M| 45 | - | 50 | 10k| 0 | 0 | 23 | 526k|3736 | 0.000000e+00 | -- | Inf
626.31/626.51 c 626s|950000 |196851 | 2236k| 2.4 | 171M| 45 | 6 | 50 |9176 | 50 | 18 | 23 | 532k|3748 | 0.000000e+00 | -- | Inf
634.01/634.27 c 634s|960000 |198561 | 2259k| 2.4 | 172M| 45 | 6 | 50 |8806 | 50 | 18 | 23 | 538k|3766 | 0.000000e+00 | -- | Inf
641.81/642.06 c 642s|970000 |200354 | 2282k| 2.4 | 174M| 45 | - | 50 |8516 | 50 | 18 | 23 | 543k|3777 | 0.000000e+00 | -- | Inf
649.50/649.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
649.50/649.70 c 650s|980000 |202147 | 2306k| 2.4 | 176M| 45 | 6 | 50 |9629 | 50 | 18 | 23 | 549k|3792 | 0.000000e+00 | -- | Inf
658.01/658.23 c 658s|990000 |203729 | 2329k| 2.4 | 177M| 45 | - | 50 |9066 | 50 | 18 | 23 | 555k|3811 | 0.000000e+00 | -- | Inf
665.90/666.14 c 666s| 1000k|205390 | 2353k| 2.4 | 179M| 45 | 6 | 50 |9241 | 50 | 18 | 23 | 561k|3823 | 0.000000e+00 | -- | Inf
673.80/674.07 c 674s| 1010k|207138 | 2377k| 2.4 | 180M| 45 | 6 | 50 |9221 | 50 | 18 | 23 | 567k|3843 | 0.000000e+00 | -- | Inf
682.10/682.34 c 682s| 1020k|208904 | 2400k| 2.4 | 182M| 45 | 6 | 50 |8961 | 50 | 18 | 23 | 573k|3864 | 0.000000e+00 | -- | Inf
689.09/689.35 c 689s| 1030k|210782 | 2424k| 2.4 | 184M| 45 | - | 50 | 10k| 50 | 18 | 23 | 578k|3881 | 0.000000e+00 | -- | Inf
696.89/697.15 c 697s| 1040k|212556 | 2447k| 2.4 | 186M| 45 | 6 | 50 | 10k| 50 | 18 | 23 | 584k|3892 | 0.000000e+00 | -- | Inf
704.29/704.56 c 705s| 1050k|214496 | 2471k| 2.4 | 188M| 45 | 6 | 50 | 10k| 50 | 18 | 23 | 590k|3916 | 0.000000e+00 | -- | Inf
713.49/713.78 c 714s| 1060k|216077 | 2495k| 2.4 | 189M| 45 | 6 | 50 |9745 | 50 | 18 | 23 | 596k|3928 | 0.000000e+00 | -- | Inf
721.89/722.13 c 722s| 1070k|217809 | 2518k| 2.4 | 191M| 45 | - | 50 |9617 | 50 | 18 | 23 | 602k|3943 | 0.000000e+00 | -- | Inf
729.89/730.12 c 730s| 1080k|219468 | 2541k| 2.4 | 192M| 45 | 6 | 50 |9529 | 50 | 18 | 23 | 608k|3962 | 0.000000e+00 | -- | Inf
737.58/737.81 c 738s| 1090k|221375 | 2565k| 2.4 | 194M| 45 | 6 | 50 |9771 | 50 | 18 | 23 | 613k|3975 | 0.000000e+00 | -- | Inf
744.59/744.81 c 745s| 1100k|223643 | 2589k| 2.4 | 196M| 45 | - | 50 | 10k| 50 | 18 | 23 | 619k|3991 | 0.000000e+00 | -- | Inf
751.19/751.49 c 751s| 1110k|225959 | 2614k| 2.4 | 198M| 45 | 6 | 50 | 12k| 50 | 18 | 23 | 624k|4002 | 0.000000e+00 | -- | Inf
759.38/759.67 c 760s| 1120k|228129 | 2638k| 2.4 | 200M| 45 | 6 | 50 | 12k| 50 | 18 | 23 | 630k|4023 | 0.000000e+00 | -- | Inf
767.97/768.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
767.97/768.23 c 768s| 1130k|230016 | 2662k| 2.4 | 202M| 45 | 6 | 50 | 11k| 50 | 18 | 23 | 635k|4038 | 0.000000e+00 | -- | Inf
777.07/777.37 c 777s| 1140k|231731 | 2685k| 2.4 | 203M| 45 | - | 50 | 10k| 50 | 18 | 23 | 641k|4049 | 0.000000e+00 | -- | Inf
785.37/785.63 c 786s| 1150k|233464 | 2708k| 2.4 | 205M| 45 | 6 | 50 | 10k| 50 | 18 | 23 | 647k|4070 | 0.000000e+00 | -- | Inf
793.87/794.10 c 794s| 1160k|235229 | 2732k| 2.4 | 206M| 45 | - | 50 | 10k| 0 | 0 | 23 | 653k|4081 | 0.000000e+00 | -- | Inf
802.16/802.44 c 802s| 1170k|237048 | 2756k| 2.4 | 208M| 45 | - | 50 | 10k| 0 | 0 | 23 | 658k|4093 | 0.000000e+00 | -- | Inf
810.86/811.18 c 811s| 1180k|238775 | 2779k| 2.4 | 210M| 45 | 6 | 50 | 10k| 50 | 18 | 23 | 664k|4108 | 0.000000e+00 | -- | Inf
819.96/820.28 c 820s| 1190k|240384 | 2802k| 2.4 | 211M| 45 | - | 50 |9913 | 50 | 18 | 23 | 670k|4123 | 0.000000e+00 | -- | Inf
828.86/829.17 c 829s| 1200k|242097 | 2826k| 2.4 | 213M| 45 | - | 50 |9163 | 0 | 0 | 23 | 676k|4134 | 0.000000e+00 | -- | Inf
835.75/836.00 c 836s| 1210k|244091 | 2849k| 2.4 | 215M| 45 | 6 | 50 | 10k| 50 | 18 | 23 | 682k|4153 | 0.000000e+00 | -- | Inf
844.05/844.30 c 844s| 1220k|246074 | 2873k| 2.4 | 216M| 45 | 6 | 50 | 10k| 50 | 18 | 23 | 687k|4173 | 0.000000e+00 | -- | Inf
852.36/852.63 c 853s| 1230k|247980 | 2896k| 2.4 | 218M| 45 | - | 50 | 10k| 50 | 18 | 23 | 693k|4185 | 0.000000e+00 | -- | Inf
859.95/860.27 c 860s| 1240k|249883 | 2919k| 2.4 | 220M| 45 | - | 50 | 10k| 50 | 18 | 23 | 698k|4196 | 0.000000e+00 | -- | Inf
868.64/868.92 c 869s| 1250k|251767 | 2942k| 2.4 | 221M| 45 | 6 | 50 | 10k| 50 | 18 | 23 | 704k|4211 | 0.000000e+00 | -- | Inf
878.04/878.30 c 878s| 1260k|253356 | 2966k| 2.4 | 223M| 45 | - | 50 |9754 | 50 | 18 | 23 | 710k|4224 | 0.000000e+00 | -- | Inf
886.54/886.83 c 887s| 1270k|254984 | 2989k| 2.4 | 225M| 45 | - | 50 | 10k| 50 | 18 | 23 | 716k|4235 | 0.000000e+00 | -- | Inf
894.24/894.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
894.24/894.50 c 894s| 1280k|257148 | 3012k| 2.4 | 227M| 45 | - | 50 | 11k| 50 | 18 | 23 | 721k|4246 | 0.000000e+00 | -- | Inf
902.13/902.46 c 902s| 1290k|258972 | 3036k| 2.4 | 228M| 45 | 6 | 50 | 11k| 50 | 18 | 23 | 727k|4270 | 0.000000e+00 | -- | Inf
910.64/910.98 c 911s| 1300k|261037 | 3060k| 2.4 | 230M| 45 | - | 50 | 10k| 0 | 0 | 23 | 733k|4280 | 0.000000e+00 | -- | Inf
919.83/920.10 c 920s| 1310k|262877 | 3084k| 2.4 | 232M| 45 | 6 | 50 | 10k| 50 | 18 | 23 | 739k|4291 | 0.000000e+00 | -- | Inf
929.43/929.70 c 930s| 1320k|264424 | 3107k| 2.4 | 233M| 45 | 6 | 50 |9839 | 50 | 18 | 23 | 745k|4304 | 0.000000e+00 | -- | Inf
938.73/939.02 c 939s| 1330k|266015 | 3130k| 2.4 | 235M| 45 | 6 | 50 | 10k| 50 | 18 | 23 | 750k|4315 | 0.000000e+00 | -- | Inf
947.53/947.87 c 948s| 1340k|267819 | 3154k| 2.4 | 236M| 45 | 6 | 50 |9842 | 50 | 18 | 23 | 756k|4329 | 0.000000e+00 | -- | Inf
954.63/954.95 c 955s| 1350k|269820 | 3177k| 2.4 | 238M| 45 | 6 | 50 | 10k| 50 | 18 | 23 | 762k|4344 | 0.000000e+00 | -- | Inf
962.72/963.05 c 963s| 1360k|271712 | 3200k| 2.4 | 240M| 45 | - | 50 | 10k| 50 | 18 | 23 | 767k|4359 | 0.000000e+00 | -- | Inf
972.02/972.38 c 972s| 1370k|273215 | 3224k| 2.4 | 241M| 45 | - | 50 | 10k| 50 | 18 | 23 | 773k|4373 | 0.000000e+00 | -- | Inf
981.02/981.31 c 981s| 1380k|274847 | 3248k| 2.4 | 243M| 45 | 6 | 50 |9675 | 50 | 18 | 23 | 779k|4386 | 0.000000e+00 | -- | Inf
988.91/989.25 c 989s| 1390k|276619 | 3272k| 2.4 | 245M| 45 | - | 50 | 10k| 50 | 18 | 23 | 785k|4398 | 0.000000e+00 | -- | Inf
997.11/997.44 c 997s| 1400k|278465 | 3296k| 2.4 | 247M| 45 | - | 50 | 11k| 0 | 0 | 23 | 791k|4412 | 0.000000e+00 | -- | Inf
1006.60/1006.97 c 1007s| 1410k|280148 | 3319k| 2.4 | 248M| 45 | 6 | 50 |9818 | 50 | 18 | 23 | 796k|4429 | 0.000000e+00 | -- | Inf
1014.40/1014.74 c 1015s| 1420k|282030 | 3342k| 2.4 | 250M| 45 | - | 50 | 10k| 50 | 18 | 23 | 802k|4442 | 0.000000e+00 | -- | Inf
1024.70/1025.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1024.70/1025.05 c 1025s| 1430k|283478 | 3366k| 2.4 | 251M| 45 | - | 50 |9340 | 50 | 18 | 23 | 808k|4453 | 0.000000e+00 | -- | Inf
1032.99/1033.33 c 1033s| 1440k|285259 | 3389k| 2.4 | 253M| 45 | - | 50 |9495 | 0 | 0 | 23 | 814k|4467 | 0.000000e+00 | -- | Inf
1041.70/1042.08 c 1042s| 1450k|286903 | 3413k| 2.4 | 254M| 45 | 6 | 50 | 10k| 50 | 18 | 23 | 820k|4479 | 0.000000e+00 | -- | Inf
1050.80/1051.13 c 1051s| 1460k|288633 | 3436k| 2.4 | 256M| 45 | - | 50 | 10k| 50 | 18 | 23 | 825k|4490 | 0.000000e+00 | -- | Inf
1058.59/1058.93 c 1059s| 1470k|290898 | 3459k| 2.4 | 258M| 45 | 6 | 50 | 10k| 50 | 18 | 23 | 831k|4558 | 0.000000e+00 | -- | Inf
1064.69/1065.04 c 1065s| 1480k|294357 | 3483k| 2.4 | 260M| 45 | - | 50 | 11k| 50 | 18 | 23 | 835k|4654 | 0.000000e+00 | -- | Inf
1071.78/1072.12 c 1072s| 1490k|297405 | 3507k| 2.4 | 262M| 45 | 6 | 50 | 11k| 50 | 18 | 23 | 840k|4705 | 0.000000e+00 | -- | Inf
1078.68/1079.09 c 1079s| 1500k|300100 | 3531k| 2.4 | 264M| 45 | 6 | 50 | 11k| 50 | 18 | 23 | 845k|4820 | 0.000000e+00 | -- | Inf
1085.68/1086.09 c 1086s| 1510k|303136 | 3554k| 2.4 | 266M| 45 | - | 50 | 12k| 50 | 18 | 23 | 850k|4929 | 0.000000e+00 | -- | Inf
1093.08/1093.41 c 1093s| 1520k|305938 | 3579k| 2.4 | 268M| 45 | 6 | 50 | 12k| 50 | 18 | 23 | 855k|4929 | 0.000000e+00 | -- | Inf
1100.68/1101.02 c 1101s| 1530k|308576 | 3603k| 2.4 | 271M| 45 | 6 | 50 | 13k| 50 | 18 | 23 | 860k|4929 | 0.000000e+00 | -- | Inf
1108.77/1109.14 c 1109s| 1540k|310979 | 3626k| 2.4 | 272M| 45 | 6 | 50 | 12k| 50 | 18 | 23 | 865k|4929 | 0.000000e+00 | -- | Inf
1116.37/1116.76 c 1117s| 1550k|313514 | 3650k| 2.4 | 274M| 45 | - | 50 | 12k| 0 | 0 | 23 | 870k|4929 | 0.000000e+00 | -- | Inf
1123.47/1123.89 c 1124s| 1560k|316448 | 3673k| 2.4 | 277M| 45 | - | 50 | 14k| 50 | 18 | 23 | 875k|4929 | 0.000000e+00 | -- | Inf
1132.57/1132.90 c 1133s| 1570k|318894 | 3697k| 2.4 | 278M| 45 | 6 | 50 | 13k| 50 | 18 | 23 | 880k|4929 | 0.000000e+00 | -- | Inf
1139.87/1140.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1139.87/1140.22 c 1140s| 1580k|321856 | 3721k| 2.4 | 280M| 45 | 6 | 50 | 14k| 50 | 18 | 23 | 885k|4929 | 0.000000e+00 | -- | Inf
1147.96/1148.38 c 1148s| 1590k|324390 | 3744k| 2.4 | 282M| 45 | - | 50 | 14k| 50 | 18 | 23 | 890k|4929 | 0.000000e+00 | -- | Inf
1155.77/1156.12 c 1156s| 1600k|327240 | 3768k| 2.4 | 285M| 45 | 6 | 50 | 15k| 50 | 18 | 23 | 895k|4929 | 0.000000e+00 | -- | Inf
1164.67/1165.07 c 1165s| 1610k|329475 | 3791k| 2.4 | 286M| 45 | 6 | 50 | 13k| 50 | 18 | 23 | 900k|4929 | 0.000000e+00 | -- | Inf
1173.15/1173.52 c 1174s| 1620k|331914 | 3816k| 2.4 | 288M| 45 | 6 | 50 | 13k| 50 | 18 | 23 | 905k|4929 | 0.000000e+00 | -- | Inf
1181.86/1182.20 c 1182s| 1630k|334204 | 3840k| 2.4 | 290M| 45 | 6 | 50 | 13k| 50 | 18 | 23 | 910k|4929 | 0.000000e+00 | -- | Inf
1190.65/1191.08 c 1191s| 1640k|336406 | 3863k| 2.4 | 291M| 45 | - | 50 | 13k| 50 | 18 | 23 | 916k|4932 | 0.000000e+00 | -- | Inf
1199.65/1200.05 c 1200s| 1650k|338573 | 3887k| 2.4 | 293M| 45 | - | 50 | 13k| 50 | 18 | 23 | 921k|4946 | 0.000000e+00 | -- | Inf
1207.35/1207.79 c 1208s| 1660k|341186 | 3911k| 2.4 | 295M| 45 | 6 | 50 | 14k| 50 | 18 | 23 | 926k|4957 | 0.000000e+00 | -- | Inf
1216.15/1216.53 c 1217s| 1670k|343261 | 3936k| 2.4 | 297M| 45 | - | 50 | 14k| 0 | 0 | 23 | 932k|4971 | 0.000000e+00 | -- | Inf
1224.44/1224.86 c 1225s| 1680k|345791 | 3959k| 2.4 | 299M| 45 | 6 | 50 | 14k| 50 | 18 | 23 | 937k|4985 | 0.000000e+00 | -- | Inf
1233.35/1233.73 c 1234s| 1690k|348064 | 3983k| 2.4 | 301M| 45 | - | 50 | 13k| 50 | 18 | 23 | 942k|4996 | 0.000000e+00 | -- | Inf
1241.74/1242.12 c 1242s| 1700k|350183 | 4006k| 2.4 | 303M| 45 | - | 50 | 14k| 50 | 18 | 23 | 947k|5010 | 0.000000e+00 | -- | Inf
1250.94/1251.31 c 1251s| 1710k|352271 | 4029k| 2.4 | 304M| 45 | - | 50 | 13k| 50 | 18 | 23 | 953k|5020 | 0.000000e+00 | -- | Inf
1260.24/1260.60 c 1261s| 1720k|354188 | 4054k| 2.4 | 306M| 45 | 6 | 50 | 13k| 50 | 18 | 23 | 958k|5034 | 0.000000e+00 | -- | Inf
1269.04/1269.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1269.04/1269.42 c 1269s| 1730k|356295 | 4078k| 2.4 | 308M| 45 | 6 | 50 | 13k| 50 | 18 | 23 | 963k|5043 | 0.000000e+00 | -- | Inf
1277.53/1277.98 c 1278s| 1740k|358644 | 4102k| 2.4 | 310M| 45 | 6 | 50 | 14k| 50 | 18 | 23 | 969k|5059 | 0.000000e+00 | -- | Inf
1285.93/1286.31 c 1286s| 1750k|361087 | 4126k| 2.4 | 312M| 45 | 6 | 50 | 14k| 50 | 18 | 23 | 974k|5068 | 0.000000e+00 | -- | Inf
1294.92/1295.36 c 1295s| 1760k|363271 | 4150k| 2.4 | 314M| 45 | - | 50 | 14k| 0 | 0 | 23 | 979k|5081 | 0.000000e+00 | -- | Inf
1305.32/1305.74 c 1306s| 1770k|365048 | 4174k| 2.4 | 315M| 45 | 6 | 50 | 12k| 50 | 18 | 23 | 985k|5090 | 0.000000e+00 | -- | Inf
1314.92/1315.35 c 1315s| 1780k|366848 | 4197k| 2.4 | 316M| 45 | 6 | 50 | 12k| 50 | 18 | 23 | 991k|5101 | 0.000000e+00 | -- | Inf
1324.01/1324.43 c 1324s| 1790k|368553 | 4220k| 2.4 | 318M| 45 | - | 50 | 12k| 50 | 18 | 23 | 996k|5110 | 0.000000e+00 | -- | Inf
1334.02/1334.47 c 1334s| 1800k|370447 | 4244k| 2.4 | 319M| 45 | 6 | 50 | 11k| 50 | 18 | 23 |1002k|5123 | 0.000000e+00 | -- | Inf
1343.61/1344.04 c 1344s| 1810k|372339 | 4268k| 2.4 | 321M| 45 | 6 | 50 | 10k| 50 | 18 | 23 |1008k|5146 | 0.000000e+00 | -- | Inf
1349.61/1350.09 c 1350s| 1820k|374935 | 4291k| 2.4 | 323M| 45 | 6 | 50 | 12k| 50 | 18 | 23 |1013k|5155 | 0.000000e+00 | -- | Inf
1356.81/1357.27 c 1357s| 1830k|377274 | 4315k| 2.4 | 325M| 45 | 6 | 50 | 13k| 50 | 18 | 23 |1018k|5166 | 0.000000e+00 | -- | Inf
1364.51/1364.96 c 1365s| 1840k|379122 | 4338k| 2.4 | 327M| 45 | 6 | 50 | 13k| 50 | 18 | 23 |1024k|5178 | 0.000000e+00 | -- | Inf
1373.30/1373.71 c 1374s| 1850k|380715 | 4360k| 2.4 | 329M| 45 | - | 50 | 12k| 50 | 18 | 23 |1029k|5192 | 0.000000e+00 | -- | Inf
1384.30/1384.78 c 1385s| 1860k|382373 | 4384k| 2.4 | 330M| 45 | 6 | 50 | 10k| 50 | 18 | 23 |1035k|5200 | 0.000000e+00 | -- | Inf
1394.19/1394.65 c 1395s| 1870k|384140 | 4408k| 2.4 | 331M| 45 | 6 | 50 | 10k| 50 | 18 | 23 |1041k|5207 | 0.000000e+00 | -- | Inf
1402.20/1402.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1402.20/1402.63 c 1403s| 1880k|386045 | 4431k| 2.4 | 333M| 45 | - | 50 | 11k| 50 | 18 | 23 |1047k|5216 | 0.000000e+00 | -- | Inf
1412.09/1412.57 c 1413s| 1890k|387713 | 4455k| 2.4 | 335M| 45 | 6 | 50 | 10k| 50 | 18 | 23 |1053k|5228 | 0.000000e+00 | -- | Inf
1420.49/1420.96 c 1421s| 1900k|389532 | 4478k| 2.4 | 336M| 45 | - | 50 | 10k| 50 | 18 | 23 |1058k|5238 | 0.000000e+00 | -- | Inf
1430.69/1431.12 c 1431s| 1910k|391188 | 4502k| 2.4 | 338M| 45 | - | 50 |9846 | 50 | 18 | 23 |1064k|5260 | 0.000000e+00 | -- | Inf
1439.99/1440.40 c 1440s| 1920k|392797 | 4525k| 2.4 | 339M| 45 | - | 50 |9063 | 50 | 18 | 23 |1070k|5270 | 0.000000e+00 | -- | Inf
1446.28/1446.79 c 1447s| 1930k|395036 | 4549k| 2.4 | 342M| 45 | - | 50 | 11k| 50 | 18 | 23 |1075k|5278 | 0.000000e+00 | -- | Inf
1455.58/1456.01 c 1456s| 1940k|396633 | 4572k| 2.4 | 343M| 45 | 6 | 50 | 11k| 50 | 18 | 23 |1081k|5284 | 0.000000e+00 | -- | Inf
1462.48/1462.92 c 1463s| 1950k|399176 | 4595k| 2.4 | 345M| 45 | - | 50 | 12k| 50 | 18 | 23 |1086k|5291 | 0.000000e+00 | -- | Inf
1471.67/1472.10 c 1472s| 1960k|401156 | 4619k| 2.4 | 347M| 45 | 6 | 50 | 12k| 50 | 18 | 23 |1092k|5302 | 0.000000e+00 | -- | Inf
1481.38/1481.80 c 1482s| 1970k|402927 | 4643k| 2.4 | 349M| 45 | 6 | 50 | 11k| 50 | 18 | 23 |1098k|5316 | 0.000000e+00 | -- | Inf
1490.67/1491.14 c 1491s| 1980k|404793 | 4668k| 2.4 | 350M| 45 | 6 | 50 | 11k| 50 | 18 | 23 |1103k|5330 | 0.000000e+00 | -- | Inf
1500.37/1500.85 c 1501s| 1990k|406542 | 4691k| 2.4 | 352M| 45 | 6 | 50 | 11k| 50 | 18 | 23 |1109k|5339 | 0.000000e+00 | -- | Inf
1508.27/1508.70 c 1509s| 2000k|408580 | 4714k| 2.4 | 354M| 45 | - | 50 | 12k| 0 | 0 | 23 |1115k|5352 | 0.000000e+00 | -- | Inf
1518.26/1518.78 c 1519s| 2010k|410185 | 4737k| 2.4 | 355M| 45 | 6 | 50 | 10k| 50 | 18 | 23 |1121k|5364 | 0.000000e+00 | -- | Inf
1527.16/1527.62 c 1528s| 2020k|412154 | 4761k| 2.4 | 357M| 45 | 6 | 50 | 10k| 50 | 18 | 23 |1126k|5380 | 0.000000e+00 | -- | Inf
1535.76/1536.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1535.76/1536.25 c 1536s| 2030k|414043 | 4785k| 2.4 | 358M| 45 | - | 50 | 10k| 50 | 18 | 23 |1132k|5389 | 0.000000e+00 | -- | Inf
1545.75/1546.20 c 1546s| 2040k|415853 | 4808k| 2.4 | 360M| 45 | - | 50 | 10k| 0 | 0 | 23 |1138k|5397 | 0.000000e+00 | -- | Inf
1553.35/1553.83 c 1554s| 2050k|418000 | 4831k| 2.4 | 362M| 45 | - | 50 | 11k| 50 | 18 | 23 |1143k|5406 | 0.000000e+00 | -- | Inf
1561.14/1561.64 c 1562s| 2060k|420488 | 4855k| 2.4 | 364M| 45 | 6 | 50 | 11k| 50 | 18 | 23 |1148k|5418 | 0.000000e+00 | -- | Inf
1568.15/1568.61 c 1569s| 2070k|423124 | 4878k| 2.4 | 366M| 45 | 6 | 50 | 12k| 50 | 18 | 23 |1154k|5428 | 0.000000e+00 | -- | Inf
1575.84/1576.31 c 1576s| 2080k|425610 | 4901k| 2.4 | 368M| 45 | - | 50 | 13k| 50 | 18 | 23 |1159k|5437 | 0.000000e+00 | -- | Inf
1583.94/1584.48 c 1584s| 2090k|427771 | 4925k| 2.4 | 370M| 45 | - | 50 | 13k| 50 | 18 | 23 |1164k|5452 | 0.000000e+00 | -- | Inf
1591.44/1591.96 c 1592s| 2100k|430413 | 4949k| 2.4 | 373M| 45 | 6 | 50 | 15k| 50 | 18 | 23 |1169k|5460 | 0.000000e+00 | -- | Inf
1600.15/1600.66 c 1601s| 2110k|432567 | 4972k| 2.4 | 374M| 45 | 6 | 50 | 14k| 50 | 18 | 23 |1175k|5467 | 0.000000e+00 | -- | Inf
1609.14/1609.61 c 1610s| 2120k|434517 | 4996k| 2.4 | 376M| 45 | 6 | 50 | 14k| 50 | 18 | 23 |1181k|5480 | 0.000000e+00 | -- | Inf
1618.63/1619.11 c 1619s| 2130k|436305 | 5020k| 2.4 | 378M| 45 | 6 | 50 | 14k| 50 | 18 | 23 |1186k|5492 | 0.000000e+00 | -- | Inf
1627.63/1628.13 c 1628s| 2140k|438296 | 5044k| 2.4 | 380M| 45 | - | 50 | 14k| 50 | 18 | 23 |1192k|5500 | 0.000000e+00 | -- | Inf
1636.33/1636.81 c 1637s| 2150k|440343 | 5067k| 2.4 | 382M| 45 | 6 | 50 | 15k| 50 | 18 | 23 |1198k|5509 | 0.000000e+00 | -- | Inf
1645.02/1645.58 c 1646s| 2160k|442422 | 5090k| 2.4 | 384M| 45 | 6 | 50 | 16k| 50 | 18 | 23 |1203k|5518 | 0.000000e+00 | -- | Inf
1654.73/1655.22 c 1655s| 2170k|444216 | 5114k| 2.4 | 385M| 45 | - | 50 | 16k| 50 | 18 | 23 |1209k|5527 | 0.000000e+00 | -- | Inf
1663.62/1664.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1663.62/1664.19 c 1664s| 2180k|446374 | 5137k| 2.4 | 387M| 45 | 6 | 50 | 17k| 50 | 18 | 23 |1214k|5535 | 0.000000e+00 | -- | Inf
1673.72/1674.24 c 1674s| 2190k|448605 | 5160k| 2.4 | 389M| 45 | - | 50 | 16k| 50 | 18 | 23 |1219k|5543 | 0.000000e+00 | -- | Inf
1683.62/1684.16 c 1684s| 2200k|450386 | 5183k| 2.4 | 391M| 45 | 6 | 50 | 15k| 50 | 18 | 23 |1225k|5553 | 0.000000e+00 | -- | Inf
1693.61/1694.16 c 1694s| 2210k|452497 | 5206k| 2.4 | 392M| 45 | 6 | 50 | 15k| 50 | 18 | 23 |1231k|5561 | 0.000000e+00 | -- | Inf
1704.91/1705.42 c 1705s| 2220k|454552 | 5230k| 2.4 | 394M| 45 | 6 | 50 | 14k| 50 | 18 | 23 |1236k|5570 | 0.000000e+00 | -- | Inf
1714.80/1715.38 c 1715s| 2230k|456454 | 5254k| 2.4 | 395M| 45 | 6 | 50 | 13k| 50 | 18 | 23 |1242k|5581 | 0.000000e+00 | -- | Inf
1726.10/1726.67 c 1727s| 2240k|458223 | 5277k| 2.4 | 397M| 45 | 6 | 50 | 11k| 50 | 18 | 23 |1247k|5589 | 0.000000e+00 | -- | Inf
1735.90/1736.48 c 1736s| 2250k|460104 | 5301k| 2.4 | 398M| 45 | 6 | 50 | 10k| 50 | 18 | 23 |1253k|5599 | 0.000000e+00 | -- | Inf
1744.29/1744.83 c 1745s| 2260k|462028 | 5324k| 2.4 | 400M| 45 | 6 | 50 | 12k| 50 | 18 | 23 |1259k|5616 | 0.000000e+00 | -- | Inf
1753.99/1754.56 c 1755s| 2270k|463873 | 5347k| 2.4 | 402M| 45 | 6 | 50 | 11k| 50 | 18 | 23 |1264k|5627 | 0.000000e+00 | -- | Inf
1765.19/1765.70 c 1766s| 2280k|465556 | 5371k| 2.4 | 403M| 45 | 6 | 50 | 10k| 50 | 18 | 23 |1270k|5637 | 0.000000e+00 | -- | Inf
1773.69/1774.29 c 1774s| 2290k|467404 | 5395k| 2.4 | 405M| 45 | - | 50 | 11k| 0 | 0 | 23 |1276k|5646 | 0.000000e+00 | -- | Inf
1782.59/1783.11 c 1783s| 2300k|469067 | 5418k| 2.4 | 407M| 45 | 6 | 50 | 11k| 50 | 18 | 23 |1282k|5661 | 0.000000e+00 | -- | Inf
1789.49/1790.01 c
1789.49/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.49/1790.01 c Solving Time (sec) : 1790.00
1789.49/1790.01 c Solving Nodes : 2306147
1789.49/1790.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.49/1790.01 c Dual Bound : +0.00000000000000e+00
1789.49/1790.01 c Gap : infinite
1789.49/1790.01 s UNKNOWN
1789.49/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.49/1790.01 c Solving Time : 1790.00
1789.49/1790.01 c Original Problem :
1789.49/1790.01 c Problem name : HOME/instance-2703532-1278562421.opb
1789.49/1790.01 c Variables : 51 (51 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.49/1790.01 c Constraints : 13 initial, 13 maximal
1789.49/1790.01 c Presolved Problem :
1789.49/1790.01 c Problem name : t_HOME/instance-2703532-1278562421.opb
1789.49/1790.01 c Variables : 50 (50 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.49/1790.01 c Constraints : 6 initial, 17834 maximal
1789.49/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.49/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.49/1790.01 c dualfix : 0.00 1 0 0 0 0 0 0 0
1789.49/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.49/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.49/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1789.49/1790.01 c probing : 0.01 0 0 0 0 0 0 0 0
1789.49/1790.01 c linear : 0.00 0 0 0 0 0 7 0 0
1789.49/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.49/1790.01 c root node : - 0 - - 0 - - - -
1789.49/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.49/1790.01 c integral : 0 0 0 1409399 0 633 2240 0 0 2813344
1789.49/1790.01 c linear : 6+ 7 5456445 0 1 207996 3157365 0 0 0
1789.49/1790.01 c logicor : 0+ 0 2297286 0 0 4892 850504 0 0 0
1789.49/1790.01 c countsols : 0 0 0 0 1 0 0 0 0 0
1789.49/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.49/1790.01 c integral : 17.40 0.00 0.00 17.40 0.00
1789.49/1790.01 c linear : 223.58 0.00 223.58 0.00 0.00
1789.49/1790.01 c logicor : 576.09 0.00 576.09 0.00 0.00
1789.49/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.49/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.49/1790.01 c vbounds : 2.01 2 0 0
1789.49/1790.01 c rootredcost : 2.11 0 0 0
1789.49/1790.01 c pseudoobj : 1.70 0 0 0
1789.49/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.49/1790.01 c propagation : 20.24 212888 174840 612530 35.5 15 29.9 -
1789.49/1790.01 c infeasible LP : 47.80 718033 718021 1400804 24.0 8007 28.7 0
1789.49/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.49/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.49/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.49/1790.01 c applied globally : - - - 1086496 21.2 - - -
1789.49/1790.01 c applied locally : - - - 199683 33.8 - - -
1789.49/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.49/1790.01 c cut pool : 0.00 5 - - 7 - (maximal pool size: 82)
1789.49/1790.01 c redcost : 3.25 1409403 0 0 0 0
1789.49/1790.01 c impliedbounds : 0.00 6 0 0 0 0
1789.49/1790.01 c intobj : 0.00 0 0 0 0 0
1789.49/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.49/1790.01 c gomory : 0.00 6 0 0 0 0
1789.49/1790.01 c strongcg : 0.00 6 0 0 37 0
1789.49/1790.01 c cmir : 0.02 6 0 0 25 0
1789.49/1790.01 c flowcover : 0.02 6 0 0 38 0
1789.49/1790.01 c clique : 0.00 1 0 0 0 0
1789.49/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.49/1790.01 c mcf : 0.00 1 0 0 0 0
1789.49/1790.01 c rapidlearning : 0.09 1 0 0 0 1
1789.49/1790.01 c Pricers : Time Calls Vars
1789.49/1790.01 c problem variables: 0.00 0 0
1789.49/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.49/1790.01 c relpscost : 15.89 1409399 633 2240 0 0 2813344
1789.49/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.49/1790.01 c inference : 0.00 1 0 0 0 0 2
1789.49/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.49/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.49/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.49/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.49/1790.01 c random : 0.00 0 0 0 0 0 0
1789.49/1790.01 c Primal Heuristics : Time Calls Found
1789.49/1790.01 c LP solutions : 0.00 - 0
1789.49/1790.01 c pseudo solutions : 0.00 - 0
1789.49/1790.01 c oneopt : 1.52 0 0
1789.49/1790.01 c crossover : 0.89 0 0
1789.49/1790.01 c guideddiving : 0.10 0 0
1789.49/1790.01 c veclendiving : 0.14 54 0
1789.49/1790.01 c linesearchdiving : 0.15 54 0
1789.49/1790.01 c fracdiving : 0.18 55 0
1789.49/1790.01 c coefdiving : 0.15 55 0
1789.49/1790.01 c pscostdiving : 0.15 55 0
1789.49/1790.01 c feaspump : 0.13 28 0
1789.49/1790.01 c rootsoldiving : 0.14 28 0
1789.49/1790.01 c objpscostdiving : 0.13 28 0
1789.49/1790.01 c trivial : 0.00 2 0
1789.49/1790.01 c simplerounding : 0.62 0 0
1789.49/1790.01 c zirounding : 0.92 1000 0
1789.49/1790.01 c rounding : 1.50 16770 0
1789.49/1790.01 c shifting : 3.23 5060 0
1789.49/1790.01 c intshifting : 0.08 0 0
1789.49/1790.01 c twoopt : 0.00 0 0
1789.49/1790.01 c fixandinfer : 0.00 0 0
1789.49/1790.01 c intdiving : 0.00 0 0
1789.49/1790.01 c actconsdiving : 0.00 0 0
1789.49/1790.01 c octane : 0.00 0 0
1789.49/1790.01 c rens : 0.05 1 0
1789.49/1790.01 c rins : 0.00 0 0
1789.49/1790.01 c localbranching : 0.00 0 0
1789.49/1790.01 c mutation : 0.00 0 0
1789.49/1790.01 c dins : 0.00 0 0
1789.49/1790.01 c undercover : 0.00 0 0
1789.49/1790.01 c nlp : 0.74 0 0
1789.49/1790.01 c trysol : 1.06 0 0
1789.49/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.49/1790.01 c primal LP : 0.00 0 0 0.00 -
1789.49/1790.01 c dual LP : 243.49 2082043 5430582 2.61 22303.15
1789.49/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.49/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.49/1790.01 c diving/probing LP: 0.16 1207 2507 2.08 15866.89
1789.49/1790.01 c strong branching : 1.37 5670 27869 4.92 20297.74
1789.49/1790.01 c (at root node) : - 9 313 34.78 -
1789.49/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.49/1790.01 c B&B Tree :
1789.49/1790.01 c number of runs : 1
1789.49/1790.01 c nodes : 2306147
1789.49/1790.01 c nodes (total) : 2306147
1789.49/1790.01 c nodes left : 470008
1789.49/1790.01 c max depth : 45
1789.49/1790.01 c max depth (total): 45
1789.49/1790.01 c backtracks : 299929 (13.0%)
1789.49/1790.01 c delayed cutoffs : 37192
1789.49/1790.01 c repropagations : 1997513 (1047969 domain reductions, 31417 cutoffs)
1789.49/1790.01 c avg switch length: 5.38
1789.49/1790.01 c switching time : 402.76
1789.49/1790.01 c Solution :
1789.49/1790.01 c Solutions found : 0 (0 improvements)
1789.49/1790.01 c Primal Bound : -
1789.49/1790.01 c Dual Bound : +0.00000000000000e+00
1789.49/1790.01 c Gap : infinite
1789.49/1790.01 c Root Dual Bound : +0.00000000000000e+00
1789.49/1790.01 c Root Iterations : 144
1791.99/1792.58 c Time complete: 1792.06.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703532-1278562421/watcher-2703532-1278562421 -o /tmp/evaluation-result-2703532-1278562421/solver-2703532-1278562421 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703532-1278562421.opb -t 1800 -m 1800
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): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 1200
/proc/meminfo: memFree=1651032/2059040 swapFree=4086148/4192956
[pid=1200] ppid=1198 vsize=5824 CPUtime=0
/proc/1200/stat : 1200 (pbscip.linux.x8) R 1198 1200 1086 0 -1 4202496 799 0 0 0 0 0 0 0 20 0 1 0 24455067 5963776 713 1992294400 4194304 8395647 140734051098480 18446744073709551615 7355228 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1200/statm: 1456 714 338 1026 0 426 0
[startup+0.101687 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 1200
/proc/meminfo: memFree=1651032/2059040 swapFree=4086148/4192956
[pid=1200] ppid=1198 vsize=21912 CPUtime=0.09
/proc/1200/stat : 1200 (pbscip.linux.x8) R 1198 1200 1086 0 -1 4202496 4744 0 0 0 8 1 0 0 20 0 1 0 24455067 22437888 4302 1992294400 4194304 8395647 140734051098480 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1200/statm: 5478 4302 599 1026 0 4448 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21912
[startup+0.200701 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 1200
/proc/meminfo: memFree=1651032/2059040 swapFree=4086148/4192956
[pid=1200] ppid=1198 vsize=22944 CPUtime=0.19
/proc/1200/stat : 1200 (pbscip.linux.x8) R 1198 1200 1086 0 -1 4202496 5296 0 0 0 17 2 0 0 20 0 1 0 24455067 23494656 4854 1992294400 4194304 8395647 140734051098480 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1200/statm: 5736 4854 619 1026 0 4706 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 22944
[startup+0.300714 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 1200
/proc/meminfo: memFree=1651032/2059040 swapFree=4086148/4192956
[pid=1200] ppid=1198 vsize=22944 CPUtime=0.29
/proc/1200/stat : 1200 (pbscip.linux.x8) R 1198 1200 1086 0 -1 4202496 5298 0 0 0 26 3 0 0 20 0 1 0 24455067 23494656 4856 1992294400 4194304 8395647 140734051098480 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1200/statm: 5736 4856 621 1026 0 4706 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22944
[startup+0.700766 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 1200
/proc/meminfo: memFree=1651032/2059040 swapFree=4086148/4192956
[pid=1200] ppid=1198 vsize=22944 CPUtime=0.69
/proc/1200/stat : 1200 (pbscip.linux.x8) R 1198 1200 1086 0 -1 4202496 5299 0 0 0 65 4 0 0 20 0 1 0 24455067 23494656 4857 1992294400 4194304 8395647 140734051098480 18446744073709551615 4601572 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1200/statm: 5736 4857 621 1026 0 4706 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22944
[startup+1.50087 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1201
/proc/meminfo: memFree=1633912/2059040 swapFree=4086148/4192956
[pid=1200] ppid=1198 vsize=22944 CPUtime=1.49
/proc/1200/stat : 1200 (pbscip.linux.x8) R 1198 1200 1086 0 -1 4202496 5303 0 0 0 141 8 0 0 22 0 1 0 24455067 23494656 4861 1992294400 4194304 8395647 140734051098480 18446744073709551615 5026694 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1200/statm: 5736 4861 621 1026 0 4706 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22944
[startup+3.10108 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1201
/proc/meminfo: memFree=1633788/2059040 swapFree=4086148/4192956
[pid=1200] ppid=1198 vsize=22944 CPUtime=3.09
/proc/1200/stat : 1200 (pbscip.linux.x8) R 1198 1200 1086 0 -1 4202496 5309 0 0 0 296 13 0 0 25 0 1 0 24455067 23494656 4867 1992294400 4194304 8395647 140734051098480 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1200/statm: 5736 4867 621 1026 0 4706 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22944
[startup+6.3005 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1201
/proc/meminfo: memFree=1633168/2059040 swapFree=4086148/4192956
[pid=1200] ppid=1198 vsize=22944 CPUtime=6.29
/proc/1200/stat : 1200 (pbscip.linux.x8) R 1198 1200 1086 0 -1 4202496 5317 0 0 0 607 22 0 0 25 0 1 0 24455067 23494656 4875 1992294400 4194304 8395647 140734051098480 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1200/statm: 5736 4875 621 1026 0 4706 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22944
[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1203
/proc/meminfo: memFree=1632672/2059040 swapFree=4086148/4192956
[pid=1200] ppid=1198 vsize=23472 CPUtime=12.69
/proc/1200/stat : 1200 (pbscip.linux.x8) R 1198 1200 1086 0 -1 4202496 5495 0 0 0 1231 38 0 0 25 0 1 0 24455067 24035328 5053 1992294400 4194304 8395647 140734051098480 18446744073709551615 5027356 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1200/statm: 5868 5053 621 1026 0 4838 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23472
[startup+25.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1203
/proc/meminfo: memFree=1625728/2059040 swapFree=4086148/4192956
[pid=1200] ppid=1198 vsize=30476 CPUtime=25.48
/proc/1200/stat : 1200 (pbscip.linux.x8) R 1198 1200 1086 0 -1 4202496 7211 0 0 0 2476 72 0 0 25 0 1 0 24455067 31207424 6769 1992294400 4194304 8395647 140734051098480 18446744073709551615 4453552 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1200/statm: 7619 6769 621 1026 0 6589 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 30476
[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1203
/proc/meminfo: memFree=1614444/2059040 swapFree=4086148/4192956
[pid=1200] ppid=1198 vsize=41768 CPUtime=51.07
/proc/1200/stat : 1200 (pbscip.linux.x8) R 1198 1200 1086 0 -1 4202496 10063 0 0 0 4972 135 0 0 25 0 1 0 24455067 42770432 9621 1992294400 4194304 8395647 140734051098480 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1200/statm: 10442 9621 621 1026 0 9412 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 41768
[startup+102.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1205
/proc/meminfo: memFree=1595100/2059040 swapFree=4086148/4192956
[pid=1200] ppid=1198 vsize=60920 CPUtime=102.27
/proc/1200/stat : 1200 (pbscip.linux.x8) R 1198 1200 1086 0 -1 4202496 14856 0 0 0 9977 250 0 0 25 0 1 0 24455067 62382080 14414 1992294400 4194304 8395647 140734051098480 18446744073709551615 5085356 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1200/statm: 15230 14414 621 1026 0 14200 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 60920
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1207
/proc/meminfo: memFree=1576748/2059040 swapFree=4086148/4192956
[pid=1200] ppid=1198 vsize=80360 CPUtime=162.24
/proc/1200/stat : 1200 (pbscip.linux.x8) R 1198 1200 1086 0 -1 4202496 19410 0 0 0 15855 369 0 0 25 0 1 0 24455067 82288640 18968 1992294400 4194304 8395647 140734051098480 18446744073709551615 4230937 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1200/statm: 20090 18968 621 1026 0 19060 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 80360
[startup+222.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1207
/proc/meminfo: memFree=1558148/2059040 swapFree=4086148/4192956
[pid=1200] ppid=1198 vsize=98512 CPUtime=222.24
/proc/1200/stat : 1200 (pbscip.linux.x8) R 1198 1200 1086 0 -1 4202496 24033 0 0 0 21734 490 0 0 25 0 1 0 24455067 100876288 23591 1992294400 4194304 8395647 140734051098480 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1200/statm: 24628 23591 621 1026 0 23598 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 98512
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1210
/proc/meminfo: memFree=1540788/2059040 swapFree=4086148/4192956
[pid=1200] ppid=1198 vsize=116372 CPUtime=282.21
/proc/1200/stat : 1200 (pbscip.linux.x8) R 1198 1200 1086 0 -1 4202496 28473 0 0 0 27617 604 0 0 25 0 1 0 24455067 119164928 28031 1992294400 4194304 8395647 140734051098480 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1200/statm: 29093 28031 621 1026 0 28063 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 116372
[startup+342.301 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 1215
/proc/meminfo: memFree=1524916/2059040 swapFree=4086148/4192956
[pid=1200] ppid=1198 vsize=131096 CPUtime=342.19
/proc/1200/stat : 1200 (pbscip.linux.x8) R 1198 1200 1086 0 -1 4202496 32202 0 0 0 33501 718 0 0 25 0 1 0 24455067 134242304 31760 1992294400 4194304 8395647 140734051098480 18446744073709551615 5085356 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1200/statm: 32774 31760 621 1026 0 31744 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 131096
[startup+402.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 1217
/proc/meminfo: memFree=1506812/2059040 swapFree=4086148/4192956
[pid=1200] ppid=1198 vsize=149256 CPUtime=402.18
/proc/1200/stat : 1200 (pbscip.linux.x8) R 1198 1200 1086 0 -1 4202496 36736 0 0 0 39388 830 0 0 25 0 1 0 24455067 152838144 36294 1992294400 4194304 8395647 140734051098480 18446744073709551615 4621206 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1200/statm: 37314 36294 621 1026 0 36284 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 149256
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1219
/proc/meminfo: memFree=1492924/2059040 swapFree=4086148/4192956
[pid=1200] ppid=1198 vsize=163060 CPUtime=462.16
/proc/1200/stat : 1200 (pbscip.linux.x8) R 1198 1200 1086 0 -1 4202496 40276 0 0 0 45282 934 0 0 25 0 1 0 24455067 166973440 39834 1992294400 4194304 8395647 140734051098480 18446744073709551615 6063744 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1200/statm: 40765 39834 621 1026 0 39735 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 163060
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1219
/proc/meminfo: memFree=1479284/2059040 swapFree=4086148/4192956
[pid=1200] ppid=1198 vsize=176164 CPUtime=522.15
/proc/1200/stat : 1200 (pbscip.linux.x8) R 1198 1200 1086 0 -1 4202496 43586 0 0 0 51173 1042 0 0 25 0 1 0 24455067 180391936 43144 1992294400 4194304 8395647 140734051098480 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1200/statm: 44041 43144 621 1026 0 43011 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 176164
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1221
/proc/meminfo: memFree=1466636/2059040 swapFree=4086148/4192956
[pid=1200] ppid=1198 vsize=188632 CPUtime=582.12
/proc/1200/stat : 1200 (pbscip.linux.x8) R 1198 1200 1086 0 -1 4202496 46756 0 0 0 57071 1141 0 0 25 0 1 0 24455067 193159168 46314 1992294400 4194304 8395647 140734051098480 18446744073709551615 6068942 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1200/statm: 47158 46314 621 1026 0 46128 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 188632
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1223
/proc/meminfo: memFree=1452004/2059040 swapFree=4086148/4192956
[pid=1200] ppid=1198 vsize=207264 CPUtime=642.11
/proc/1200/stat : 1200 (pbscip.linux.x8) R 1198 1200 1086 0 -1 4202496 50396 0 0 0 62969 1242 0 0 25 0 1 0 24455067 212238336 49954 1992294400 4194304 8395647 140734051098480 18446744073709551615 4706214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1200/statm: 51816 49954 621 1026 0 50786 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 207264
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1345488/2059040 swapFree=4086148/4192956
[pid=1200] ppid=1198 vsize=311872 CPUtime=1121.97
/proc/1200/stat : 1200 (pbscip.linux.x8) R 1198 1200 1086 0 -1 4202496 76859 0 0 0 110184 2013 0 0 25 0 1 0 24455067 319356928 76417 1992294400 4194304 8395647 140734051098480 18446744073709551615 5085356 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1200/statm: 77968 76417 621 1026 0 76938 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 311872
[startup+1182.3 s]
/proc/loadavg: 1.08 1.05 1.01 2/107 1237
/proc/meminfo: memFree=1333584/2059040 swapFree=4086148/4192956
[pid=1200] ppid=1198 vsize=323284 CPUtime=1181.95
/proc/1200/stat : 1200 (pbscip.linux.x8) R 1198 1200 1086 0 -1 4202496 79796 0 0 0 116089 2106 0 0 25 0 1 0 24455067 331042816 79354 1992294400 4194304 8395647 140734051098480 18446744073709551615 4231120 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1200/statm: 80821 79354 621 1026 0 79791 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 323284
[startup+1242.3 s]
/proc/loadavg: 1.08 1.06 1.00 2/107 1239
/proc/meminfo: memFree=1320068/2059040 swapFree=4086148/4192956
[pid=1200] ppid=1198 vsize=336168 CPUtime=1241.94
/proc/1200/stat : 1200 (pbscip.linux.x8) R 1198 1200 1086 0 -1 4202496 83106 0 0 0 121995 2199 0 0 25 0 1 0 24455067 344236032 82664 1992294400 4194304 8395647 140734051098480 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1200/statm: 84042 82664 621 1026 0 83012 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 336168
[startup+1302.3 s]
/proc/loadavg: 1.07 1.06 1.00 2/107 1241
/proc/meminfo: memFree=1308040/2059040 swapFree=4086148/4192956
[pid=1200] ppid=1198 vsize=347724 CPUtime=1301.92
/proc/1200/stat : 1200 (pbscip.linux.x8) R 1198 1200 1086 0 -1 4202496 86063 0 0 0 127905 2287 0 0 25 0 1 0 24455067 356069376 85621 1992294400 4194304 8395647 140734051098480 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1200/statm: 86931 85621 621 1026 0 85901 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 347724
[startup+1362.3 s]
/proc/loadavg: 1.07 1.06 1.00 2/107 1243
/proc/meminfo: memFree=1297252/2059040 swapFree=4086148/4192956
[pid=1200] ppid=1198 vsize=359296 CPUtime=1361.91
/proc/1200/stat : 1200 (pbscip.linux.x8) R 1198 1200 1086 0 -1 4202496 89022 0 0 0 133811 2380 0 0 25 0 1 0 24455067 367919104 88580 1992294400 4194304 8395647 140734051098480 18446744073709551615 5030475 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1200/statm: 89824 88580 621 1026 0 88794 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 359296
[startup+1422.3 s]
/proc/loadavg: 1.06 1.06 1.00 2/107 1243
/proc/meminfo: memFree=1282000/2059040 swapFree=4086148/4192956
[pid=1200] ppid=1198 vsize=373716 CPUtime=1421.89
/proc/1200/stat : 1200 (pbscip.linux.x8) R 1198 1200 1086 0 -1 4202496 92560 0 0 0 139728 2461 0 0 25 0 1 0 24455067 382685184 92118 1992294400 4194304 8395647 140734051098480 18446744073709551615 6066416 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1200/statm: 93429 92118 621 1026 0 92399 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 373716
[startup+1482.3 s]
/proc/loadavg: 1.02 1.05 1.00 2/107 1245
/proc/meminfo: memFree=1269600/2059040 swapFree=4086148/4192956
[pid=1200] ppid=1198 vsize=386132 CPUtime=1481.88
/proc/1200/stat : 1200 (pbscip.linux.x8) R 1198 1200 1086 0 -1 4202496 95762 0 0 0 145638 2550 0 0 25 0 1 0 24455067 395399168 95320 1992294400 4194304 8395647 140734051098480 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1200/statm: 96533 95320 621 1026 0 95503 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 386132
[startup+1542.31 s]
/proc/loadavg: 1.01 1.04 1.00 2/107 1247
/proc/meminfo: memFree=1259308/2059040 swapFree=4086148/4192956
[pid=1200] ppid=1198 vsize=395672 CPUtime=1541.87
/proc/1200/stat : 1200 (pbscip.linux.x8) R 1198 1200 1086 0 -1 4202496 98218 0 0 0 151553 2634 0 0 25 0 1 0 24455067 405168128 97776 1992294400 4194304 8395647 140734051098480 18446744073709551615 5005942 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1200/statm: 98918 97776 621 1026 0 97888 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 395672
[startup+1602.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 1249
/proc/meminfo: memFree=1245792/2059040 swapFree=4086148/4192956
[pid=1200] ppid=1198 vsize=408472 CPUtime=1601.84
/proc/1200/stat : 1200 (pbscip.linux.x8) R 1198 1200 1086 0 -1 4202496 101550 0 0 0 157451 2733 0 0 25 0 1 0 24455067 418275328 101108 1992294400 4194304 8395647 140734051098480 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1200/statm: 102118 101108 621 1026 0 101088 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 408472
[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 1251
/proc/meminfo: memFree=1235376/2059040 swapFree=4086148/4192956
[pid=1200] ppid=1198 vsize=418684 CPUtime=1661.82
/proc/1200/stat : 1200 (pbscip.linux.x8) R 1198 1200 1086 0 -1 4202496 104153 0 0 0 163362 2820 0 0 25 0 1 0 24455067 428732416 103711 1992294400 4194304 8395647 140734051098480 18446744073709551615 6587239 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1200/statm: 104671 103711 621 1026 0 103641 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 418684
[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 1251
/proc/meminfo: memFree=1224836/2059040 swapFree=4086148/4192956
[pid=1200] ppid=1198 vsize=428888 CPUtime=1721.81
/proc/1200/stat : 1200 (pbscip.linux.x8) R 1198 1200 1086 0 -1 4202496 106743 0 0 0 169281 2900 0 0 25 0 1 0 24455067 439181312 106301 1992294400 4194304 8395647 140734051098480 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1200/statm: 107222 106301 621 1026 0 106192 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 428888
[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 1253
/proc/meminfo: memFree=1213304/2059040 swapFree=4086148/4192956
[pid=1200] ppid=1198 vsize=448904 CPUtime=1781.78
/proc/1200/stat : 1200 (pbscip.linux.x8) R 1198 1200 1086 0 -1 4202496 109574 0 0 0 175196 2982 0 0 25 0 1 0 24455067 459677696 109132 1992294400 4194304 8395647 140734051098480 18446744073709551615 4212623 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1200/statm: 112226 109132 621 1026 0 111196 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 448904
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 1.00 1.01 1.00 3/107 1253
/proc/meminfo: memFree=1212932/2059040 swapFree=4086148/4192956
[pid=1200] ppid=1198 vsize=449608 CPUtime=1785.08
/proc/1200/stat : 1200 (pbscip.linux.x8) R 1198 1200 1086 0 -1 4202496 109755 0 0 0 175521 2987 0 0 25 0 1 0 24455067 460398592 109313 1992294400 4194304 8395647 140734051098480 18446744073709551615 4241004 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1200/statm: 112402 109313 621 1026 0 111372 0
Current children cumulated CPU time (s) 1785.08
Current children cumulated vsize (KiB) 449608
[startup+1788.8 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 1253
/proc/meminfo: memFree=1212560/2059040 swapFree=4086148/4192956
[pid=1200] ppid=1198 vsize=449608 CPUtime=1788.28
/proc/1200/stat : 1200 (pbscip.linux.x8) R 1198 1200 1086 0 -1 4202496 109755 0 0 0 175838 2990 0 0 25 0 1 0 24455067 460398592 109313 1992294400 4194304 8395647 140734051098480 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1200/statm: 112402 109313 621 1026 0 111372 0
Current children cumulated CPU time (s) 1788.28
Current children cumulated vsize (KiB) 449608
[startup+1790.4 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 1253
/proc/meminfo: memFree=1212560/2059040 swapFree=4086148/4192956
[pid=1200] ppid=1198 vsize=449608 CPUtime=1789.89
/proc/1200/stat : 1200 (pbscip.linux.x8) R 1198 1200 1086 0 -1 4202496 109758 0 0 0 175997 2992 0 0 25 0 1 0 24455067 460398592 109316 1992294400 4194304 8395647 140734051098480 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1200/statm: 112402 109316 624 1026 0 111372 0
Current children cumulated CPU time (s) 1789.89
Current children cumulated vsize (KiB) 449608
[startup+1791.2 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 1253
/proc/meminfo: memFree=1212560/2059040 swapFree=4086148/4192956
[pid=1200] ppid=1198 vsize=449608 CPUtime=1790.69
/proc/1200/stat : 1200 (pbscip.linux.x8) R 1198 1200 1086 0 -1 4202496 109758 0 0 0 176077 2992 0 0 25 0 1 0 24455067 460398592 109316 1992294400 4194304 8395647 140734051098480 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1200/statm: 112402 109316 624 1026 0 111372 0
Current children cumulated CPU time (s) 1790.69
Current children cumulated vsize (KiB) 449608
[startup+1792.01 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 1253
/proc/meminfo: memFree=1212560/2059040 swapFree=4086148/4192956
[pid=1200] ppid=1198 vsize=449608 CPUtime=1791.49
/proc/1200/stat : 1200 (pbscip.linux.x8) R 1198 1200 1086 0 -1 4202496 109758 0 0 0 176157 2992 0 0 25 0 1 0 24455067 460398592 109316 1992294400 4194304 8395647 140734051098480 18446744073709551615 4220157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1200/statm: 112402 109316 624 1026 0 111372 0
Current children cumulated CPU time (s) 1791.49
Current children cumulated vsize (KiB) 449608
[startup+1792.4 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 1253
/proc/meminfo: memFree=1212560/2059040 swapFree=4086148/4192956
[pid=1200] ppid=1198 vsize=449608 CPUtime=1791.89
/proc/1200/stat : 1200 (pbscip.linux.x8) R 1198 1200 1086 0 -1 4202496 109758 0 0 0 176197 2992 0 0 25 0 1 0 24455067 460398592 109316 1992294400 4194304 8395647 140734051098480 18446744073709551615 6345759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1200/statm: 112402 109316 624 1026 0 111372 0
Current children cumulated CPU time (s) 1791.89
Current children cumulated vsize (KiB) 449608
[startup+1792.5 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 1253
/proc/meminfo: memFree=1212560/2059040 swapFree=4086148/4192956
[pid=1200] ppid=1198 vsize=449608 CPUtime=1791.99
/proc/1200/stat : 1200 (pbscip.linux.x8) R 1198 1200 1086 0 -1 4202496 109758 0 0 0 176207 2992 0 0 25 0 1 0 24455067 460398592 109316 1992294400 4194304 8395647 140734051098480 18446744073709551615 4664167 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1200/statm: 112402 109316 624 1026 0 111372 0
Current children cumulated CPU time (s) 1791.99
Current children cumulated vsize (KiB) 449608
Child status: 0
Real time (s): 1792.58
CPU time (s): 1792.07
CPU user time (s): 1762.11
CPU system time (s): 29.9674
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (KiB): 449608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1762.11
system time used= 29.9674
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109761
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= 3098
runsolver used 2.80457 second user time and 8.62669 second system time
The end