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-2700344-1278534873.wbo>
0.00/0.01 c original problem has 1900 variables (1050 bin, 0 int, 0 impl, 850 cont) and 1801 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1050 impls, 0 clqs
0.02/0.03 c (round 2) 100 del vars, 101 del conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1050 impls, 0 clqs
0.02/0.06 c (0.0s) probing: 101/950 (10.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.02/0.06 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.02/0.06 c presolving (3 rounds):
0.02/0.06 c 100 deleted vars, 101 deleted constraints, 850 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.02/0.06 c 1050 implications, 0 cliques
0.02/0.06 c presolved problem has 1800 variables (950 bin, 0 int, 0 impl, 850 cont) and 1700 constraints
0.02/0.06 c 850 constraints of type <indicator>
0.02/0.06 c 850 constraints of type <linear>
0.02/0.06 c transformed objective value is always integral (scale: 1)
0.02/0.06 c Presolving Time: 0.03
0.02/0.06 c - non default parameters ----------------------------------------------------------------------
0.02/0.06 c # SCIP version 1.2.1.2
0.02/0.06 c
0.02/0.06 c # frequency for displaying node information lines
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.06 c display/freq = 10000
0.02/0.06 c
0.02/0.06 c # maximal time in seconds to run
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.06 c limits/time = 1799.99
0.02/0.06 c
0.02/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.06 c limits/memory = 3420
0.02/0.06 c
0.02/0.06 c # should presolving try to simplify inequalities
0.02/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.06 c constraints/linear/simplifyinequalities = TRUE
0.02/0.06 c
0.02/0.06 c # should presolving try to simplify knapsacks
0.02/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.06 c
0.02/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.06 c separating/rapidlearning/freq = 0
0.02/0.06 c
0.02/0.06 c -----------------------------------------------------------------------------------------------
0.02/0.06 c start solving
0.02/0.06 c
0.02/0.06 o 420925
0.02/0.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.02/0.06 c t 0.0s| 1 | 0 | 0 | - |6123k| 0 | - |1800 |1700 | 0 | 0 | 0 | 0 | 0 | -- | 4.209250e+05 | Inf
0.02/0.06 c 0.0s| 1 | 0 | 0 | - |6521k| 0 | 0 |1800 |1700 |1800 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.02/0.06 c 0.0s| 1 | 0 | 28 | - |6558k| 0 | 0 |1800 |1700 |1800 | 66 | 66 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.02/0.07 c 0.0s| 1 | 0 | 84 | - |6607k| 0 | 0 |1800 |1700 |1800 | 111 | 111 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.02/0.07 c 0.0s| 1 | 0 | 128 | - |6624k| 0 | 73 |1800 |1700 |1800 | 142 | 142 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.02/0.08 c 0.1s| 1 | 0 | 175 | - |6876k| 0 | 81 |1800 |1700 |1800 | 182 | 182 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.10 c 0.1s| 1 | 0 | 183 | - |6909k| 0 | 84 |1800 |1700 |1800 | 189 | 189 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 185 | - |6934k| 0 | 84 |1800 |1700 |1800 | 191 | 191 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.29/0.36 c 0.3s| 1 | 2 | 350 | - |6962k| 0 | 84 |1800 |1700 |1800 | 191 | 191 | 0 | 33 | 0.000000e+00 | 4.209250e+05 | Inf
11.99/12.04 c 11.1s| 10000 | 10001 | 67900 | 6.8 | 19M| 117 | 0 |1800 |1700 |1800 | 281 | 17k| 0 | 791 | 0.000000e+00 | 4.209250e+05 | Inf
20.39/20.40 c 18.9s| 20000 | 20001 |100073 | 5.0 | 30M| 123 | 0 |1800 |1700 |1800 | 292 | 27k| 0 | 791 | 0.000000e+00 | 4.209250e+05 | Inf
28.39/28.46 c 26.4s| 30000 | 30001 |122143 | 4.1 | 40M| 123 | 0 |1800 |1700 |1800 | 273 | 33k| 0 | 791 | 0.000000e+00 | 4.209250e+05 | Inf
36.49/36.53 c 34.0s| 40000 | 40001 |148397 | 3.7 | 50M| 123 | 29 |1800 |1700 |1800 | 240 | 40k| 0 | 791 | 0.000000e+00 | 4.209250e+05 | Inf
44.89/44.90 c 41.8s| 50000 | 50001 |184225 | 3.7 | 60M| 123 | 0 |1800 |1700 |1800 | 269 | 48k| 0 | 802 | 0.000000e+00 | 4.209250e+05 | Inf
53.09/53.18 c 49.5s| 60000 | 60001 |213288 | 3.6 | 70M| 137 | 9 |1800 |1700 |1800 | 259 | 56k| 0 | 865 | 0.000000e+00 | 4.209250e+05 | Inf
61.39/61.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.39/61.46 c 57.3s| 70000 | 70001 |247827 | 3.5 | 80M| 137 | 0 |1800 |1700 |1800 | 266 | 67k| 0 | 916 | 0.000000e+00 | 4.209250e+05 | Inf
69.70/69.74 c 65.0s| 80000 | 80001 |283354 | 3.5 | 91M| 137 | 0 |1800 |1700 |1800 | 271 | 77k| 0 | 993 | 0.000000e+00 | 4.209250e+05 | Inf
78.09/78.15 c 72.8s| 90000 | 90001 |323606 | 3.6 | 101M| 137 | 0 |1800 |1700 |1800 | 288 | 88k| 0 |1082 | 0.000000e+00 | 4.209250e+05 | Inf
86.39/86.41 c 80.5s|100000 |100001 |357998 | 3.6 | 111M| 137 | 7 |1800 |1700 |1800 | 308 | 97k| 0 |1192 | 0.000000e+00 | 4.209250e+05 | Inf
94.79/94.81 c 88.4s|110000 |110001 |397559 | 3.6 | 121M| 137 | 25 |1800 |1700 |1800 | 265 | 107k| 0 |1273 | 0.000000e+00 | 4.209250e+05 | Inf
103.49/103.55 c 96.5s|120000 |120001 |445627 | 3.7 | 131M| 137 | 0 |1800 |1700 |1800 | 295 | 119k| 0 |1411 | 0.000000e+00 | 4.209250e+05 | Inf
112.00/112.03 c 104s|130000 |130001 |486066 | 3.7 | 141M| 137 | 0 |1800 |1700 |1800 | 261 | 129k| 0 |1496 | 0.000000e+00 | 4.209250e+05 | Inf
120.30/120.32 c 112s|140000 |140001 |519699 | 3.7 | 152M| 137 | 0 |1800 |1700 |1800 | 292 | 138k| 0 |1561 | 0.000000e+00 | 4.209250e+05 | Inf
128.70/128.70 c 120s|150000 |150001 |556718 | 3.7 | 162M| 137 | 0 |1800 |1700 |1800 | 317 | 148k| 0 |1635 | 0.000000e+00 | 4.209250e+05 | Inf
136.99/137.03 c 128s|160000 |160001 |592749 | 3.7 | 172M| 137 | 0 |1800 |1700 |1800 | 284 | 157k| 0 |1712 | 0.000000e+00 | 4.209250e+05 | Inf
145.29/145.33 c 136s|170000 |170001 |627023 | 3.7 | 182M| 137 | 8 |1800 |1700 |1800 | 302 | 166k| 0 |1794 | 0.000000e+00 | 4.209250e+05 | Inf
153.29/153.39 c 143s|180000 |180001 |655362 | 3.6 | 192M| 137 | 0 |1800 |1700 |1800 | 302 | 174k| 0 |1867 | 0.000000e+00 | 4.209250e+05 | Inf
161.60/161.62 c 151s|190000 |190001 |689268 | 3.6 | 202M| 137 | 23 |1800 |1700 |1800 | 221 | 183k| 0 |1936 | 0.000000e+00 | 4.209250e+05 | Inf
169.89/169.91 c 159s|200000 |200001 |722924 | 3.6 | 212M| 137 | 0 |1800 |1700 |1800 | 292 | 192k| 0 |1991 | 0.000000e+00 | 4.209250e+05 | Inf
178.10/178.15 c 166s|210000 |210001 |753640 | 3.6 | 222M| 137 | 0 |1800 |1700 |1800 | 320 | 201k| 0 |2046 | 0.000000e+00 | 4.209250e+05 | Inf
186.20/186.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
186.20/186.24 c 174s|220000 |220001 |780445 | 3.5 | 233M| 137 | 15 |1800 |1700 |1800 | 220 | 208k| 0 |2100 | 0.000000e+00 | 4.209250e+05 | Inf
194.29/194.39 c 182s|230000 |230001 |811535 | 3.5 | 243M| 137 | 0 |1800 |1700 |1800 | 297 | 217k| 0 |2130 | 0.000000e+00 | 4.209250e+05 | Inf
202.19/202.27 c 189s|240000 |240001 |833936 | 3.5 | 253M| 137 | 0 |1800 |1700 |1800 | 274 | 223k| 0 |2187 | 0.000000e+00 | 4.209250e+05 | Inf
210.10/210.12 c 196s|250000 |250001 |855797 | 3.4 | 263M| 137 | 0 |1800 |1700 |1800 | 278 | 229k| 0 |2224 | 0.000000e+00 | 4.209250e+05 | Inf
218.10/218.12 c 204s|260000 |260001 |882118 | 3.4 | 273M| 137 | 0 |1800 |1700 |1800 | 283 | 236k| 0 |2250 | 0.000000e+00 | 4.209250e+05 | Inf
226.30/226.33 c 211s|270000 |270001 |910359 | 3.4 | 283M| 137 | 0 |1800 |1700 |1800 | 279 | 244k| 0 |2307 | 0.000000e+00 | 4.209250e+05 | Inf
234.50/234.58 c 219s|280000 |280001 |938339 | 3.4 | 293M| 137 | 6 |1800 |1700 |1800 | 316 | 252k| 0 |2364 | 0.000000e+00 | 4.209250e+05 | Inf
242.60/242.69 c 227s|290000 |290001 |962809 | 3.3 | 303M| 137 | 0 |1800 |1700 |1800 | 273 | 258k| 0 |2392 | 0.000000e+00 | 4.209250e+05 | Inf
250.89/250.99 c 234s|300000 |300001 |993293 | 3.3 | 313M| 137 | 0 |1800 |1700 |1800 | 307 | 267k| 0 |2450 | 0.000000e+00 | 4.209250e+05 | Inf
258.89/258.92 c 242s|310000 |310001 | 1013k| 3.3 | 323M| 137 | 0 |1800 |1700 |1800 | 296 | 272k| 0 |2475 | 0.000000e+00 | 4.209250e+05 | Inf
266.89/266.95 c 249s|320000 |320001 | 1037k| 3.2 | 333M| 137 | 6 |1800 |1700 |1800 | 258 | 279k| 0 |2500 | 0.000000e+00 | 4.209250e+05 | Inf
275.10/275.14 c 257s|330000 |330001 | 1064k| 3.2 | 344M| 137 | 0 |1800 |1700 |1800 | 307 | 287k| 0 |2527 | 0.000000e+00 | 4.209250e+05 | Inf
283.20/283.23 c 265s|340000 |340001 | 1086k| 3.2 | 354M| 137 | 0 |1800 |1700 |1800 | 319 | 293k| 0 |2566 | 0.000000e+00 | 4.209250e+05 | Inf
291.60/291.61 c 272s|350000 |350001 | 1119k| 3.2 | 364M| 137 | 0 |1800 |1700 |1800 | 281 | 302k| 0 |2603 | 0.000000e+00 | 4.209250e+05 | Inf
299.59/299.60 c 280s|360000 |360001 | 1142k| 3.2 | 374M| 137 | 0 |1800 |1700 |1800 | 292 | 309k| 0 |2630 | 0.000000e+00 | 4.209250e+05 | Inf
307.60/307.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
307.60/307.64 c 287s|370000 |370001 | 1166k| 3.2 | 384M| 137 | 0 |1800 |1700 |1800 | 305 | 315k| 0 |2669 | 0.000000e+00 | 4.209250e+05 | Inf
315.71/315.73 c 295s|380000 |380001 | 1190k| 3.1 | 394M| 137 | 0 |1800 |1700 |1800 | 297 | 322k| 0 |2708 | 0.000000e+00 | 4.209250e+05 | Inf
323.80/323.81 c 303s|390000 |390001 | 1214k| 3.1 | 404M| 137 | 0 |1800 |1700 |1800 | 304 | 329k| 0 |2730 | 0.000000e+00 | 4.209250e+05 | Inf
331.90/331.92 c 310s|400000 |400001 | 1241k| 3.1 | 414M| 137 | 0 |1800 |1700 |1800 | 301 | 336k| 0 |2756 | 0.000000e+00 | 4.209250e+05 | Inf
339.91/339.97 c 318s|410000 |410001 | 1265k| 3.1 | 424M| 137 | 11 |1800 |1700 |1800 | 274 | 343k| 0 |2784 | 0.000000e+00 | 4.209250e+05 | Inf
348.00/348.01 c 325s|420000 |420001 | 1289k| 3.1 | 434M| 137 | 0 |1800 |1700 |1800 | 297 | 349k| 0 |2830 | 0.000000e+00 | 4.209250e+05 | Inf
356.00/356.07 c 333s|430000 |430001 | 1315k| 3.1 | 444M| 137 | 0 |1800 |1700 |1800 | 304 | 356k| 0 |2856 | 0.000000e+00 | 4.209250e+05 | Inf
364.20/364.21 c 340s|440000 |440001 | 1342k| 3.1 | 455M| 137 | 0 |1800 |1700 |1800 | 312 | 364k| 0 |2879 | 0.000000e+00 | 4.209250e+05 | Inf
372.20/372.27 c 348s|450000 |450001 | 1364k| 3.0 | 465M| 137 | 0 |1800 |1700 |1800 | 289 | 371k| 0 |2905 | 0.000000e+00 | 4.209250e+05 | Inf
380.10/380.18 c 355s|460000 |460001 | 1382k| 3.0 | 475M| 137 | 0 |1800 |1700 |1800 | 280 | 376k| 0 |2925 | 0.000000e+00 | 4.209250e+05 | Inf
388.30/388.31 c 363s|470000 |470001 | 1409k| 3.0 | 485M| 137 | 0 |1800 |1700 |1800 | 286 | 383k| 0 |2962 | 0.000000e+00 | 4.209250e+05 | Inf
396.30/396.35 c 370s|480000 |480001 | 1432k| 3.0 | 495M| 137 | 10 |1800 |1700 |1800 | 286 | 390k| 0 |2990 | 0.000000e+00 | 4.209250e+05 | Inf
404.20/404.20 c 378s|490000 |490001 | 1452k| 3.0 | 505M| 137 | 0 |1800 |1700 |1800 | 329 | 396k| 0 |3007 | 0.000000e+00 | 4.209250e+05 | Inf
412.10/412.15 c 385s|500000 |500001 | 1475k| 2.9 | 515M| 137 | 0 |1800 |1700 |1800 | 293 | 402k| 0 |3035 | 0.000000e+00 | 4.209250e+05 | Inf
420.20/420.23 c 393s|510000 |510001 | 1496k| 2.9 | 525M| 137 | 3 |1800 |1700 |1800 | 300 | 408k| 0 |3059 | 0.000000e+00 | 4.209250e+05 | Inf
428.10/428.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
428.10/428.19 c 400s|520000 |520001 | 1519k| 2.9 | 535M| 137 | 0 |1800 |1700 |1800 | 296 | 414k| 0 |3077 | 0.000000e+00 | 4.209250e+05 | Inf
436.61/436.63 c 408s|530000 |530001 | 1555k| 2.9 | 545M| 137 | 0 |1800 |1700 |1800 | 276 | 424k| 0 |3107 | 0.000000e+00 | 4.209250e+05 | Inf
444.90/444.90 c 416s|540000 |540001 | 1585k| 2.9 | 555M| 137 | 0 |1800 |1700 |1800 | 275 | 433k| 0 |3155 | 0.000000e+00 | 4.209250e+05 | Inf
452.90/452.97 c 423s|550000 |550001 | 1608k| 2.9 | 565M| 137 | 0 |1800 |1700 |1800 | 318 | 440k| 0 |3182 | 0.000000e+00 | 4.209250e+05 | Inf
461.10/461.10 c 431s|560000 |560001 | 1634k| 2.9 | 575M| 137 | 0 |1800 |1700 |1800 | 266 | 448k| 0 |3207 | 0.000000e+00 | 4.209250e+05 | Inf
469.10/469.16 c 439s|570000 |570001 | 1658k| 2.9 | 585M| 137 | 0 |1800 |1700 |1800 | 255 | 455k| 0 |3233 | 0.000000e+00 | 4.209250e+05 | Inf
477.20/477.24 c 446s|580000 |580001 | 1681k| 2.9 | 596M| 137 | 0 |1800 |1700 |1800 | 267 | 461k| 0 |3259 | 0.000000e+00 | 4.209250e+05 | Inf
485.30/485.30 c 454s|590000 |590001 | 1702k| 2.9 | 606M| 137 | 0 |1800 |1700 |1800 | 303 | 468k| 0 |3285 | 0.000000e+00 | 4.209250e+05 | Inf
493.20/493.28 c 461s|600000 |600001 | 1724k| 2.9 | 616M| 137 | 2 |1800 |1700 |1800 | 242 | 474k| 0 |3308 | 0.000000e+00 | 4.209250e+05 | Inf
501.20/501.25 c 469s|610000 |610001 | 1744k| 2.9 | 626M| 137 | 0 |1800 |1700 |1800 | 289 | 480k| 0 |3333 | 0.000000e+00 | 4.209250e+05 | Inf
509.21/509.30 c 476s|620000 |620001 | 1768k| 2.9 | 636M| 137 | 0 |1800 |1700 |1800 | 230 | 487k| 0 |3355 | 0.000000e+00 | 4.209250e+05 | Inf
517.30/517.31 c 484s|630000 |630001 | 1789k| 2.8 | 646M| 137 | 0 |1800 |1700 |1800 | 283 | 493k| 0 |3377 | 0.000000e+00 | 4.209250e+05 | Inf
525.30/525.31 c 491s|640000 |640001 | 1810k| 2.8 | 656M| 137 | 0 |1800 |1700 |1800 | 265 | 499k| 0 |3399 | 0.000000e+00 | 4.209250e+05 | Inf
533.21/533.21 c 499s|650000 |650001 | 1830k| 2.8 | 666M| 137 | 0 |1800 |1700 |1800 | 290 | 504k| 0 |3420 | 0.000000e+00 | 4.209250e+05 | Inf
541.00/541.07 c 506s|660000 |660001 | 1849k| 2.8 | 676M| 137 | 0 |1800 |1700 |1800 | 326 | 510k| 0 |3444 | 0.000000e+00 | 4.209250e+05 | Inf
548.91/548.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
548.91/548.99 c 513s|670000 |670001 | 1870k| 2.8 | 686M| 137 | 6 |1800 |1700 |1800 | 224 | 515k| 0 |3464 | 0.000000e+00 | 4.209250e+05 | Inf
556.91/556.90 c 521s|680000 |680001 | 1890k| 2.8 | 696M| 137 | 0 |1800 |1700 |1800 | 260 | 521k| 0 |3484 | 0.000000e+00 | 4.209250e+05 | Inf
564.81/564.90 c 528s|690000 |690001 | 1912k| 2.8 | 706M| 137 | 0 |1800 |1700 |1800 | 301 | 527k| 0 |3504 | 0.000000e+00 | 4.209250e+05 | Inf
572.70/572.73 c 536s|700000 |700001 | 1932k| 2.8 | 716M| 137 | 0 |1800 |1700 |1800 | 284 | 533k| 0 |3524 | 0.000000e+00 | 4.209250e+05 | Inf
580.60/580.63 c 543s|710000 |710001 | 1952k| 2.7 | 726M| 137 | 0 |1800 |1700 |1800 | 286 | 539k| 0 |3542 | 0.000000e+00 | 4.209250e+05 | Inf
588.61/588.69 c 551s|720000 |720001 | 1978k| 2.7 | 736M| 137 | 0 |1800 |1700 |1800 | 273 | 546k| 0 |3560 | 0.000000e+00 | 4.209250e+05 | Inf
596.60/596.63 c 558s|730000 |730001 | 1999k| 2.7 | 746M| 137 | 0 |1800 |1700 |1800 | 288 | 552k| 0 |3579 | 0.000000e+00 | 4.209250e+05 | Inf
604.41/604.47 c 565s|740000 |740001 | 2021k| 2.7 | 756M| 137 | 0 |1800 |1700 |1800 | 274 | 558k| 0 |3594 | 0.000000e+00 | 4.209250e+05 | Inf
612.30/612.32 c 573s|750000 |750001 | 2040k| 2.7 | 766M| 137 | 8 |1800 |1700 |1800 | 282 | 563k| 0 |3612 | 0.000000e+00 | 4.209250e+05 | Inf
620.10/620.15 c 580s|760000 |760001 | 2059k| 2.7 | 776M| 137 | 0 |1800 |1700 |1800 | 297 | 568k| 0 |3635 | 0.000000e+00 | 4.209250e+05 | Inf
628.11/628.14 c 588s|770000 |770001 | 2080k| 2.7 | 786M| 141 | 0 |1800 |1700 |1800 | 302 | 574k| 0 |3657 | 0.000000e+00 | 4.209250e+05 | Inf
636.10/636.10 c 595s|780000 |780001 | 2104k| 2.7 | 796M| 141 | 0 |1800 |1700 |1800 | 273 | 580k| 0 |3677 | 0.000000e+00 | 4.209250e+05 | Inf
643.91/643.90 c 602s|790000 |790001 | 2121k| 2.7 | 806M| 141 | 0 |1800 |1700 |1800 | 292 | 585k| 0 |3693 | 0.000000e+00 | 4.209250e+05 | Inf
651.90/651.93 c 610s|800000 |800001 | 2147k| 2.7 | 816M| 143 | 0 |1800 |1700 |1800 | 290 | 592k| 0 |3716 | 0.000000e+00 | 4.209250e+05 | Inf
659.71/659.75 c 617s|810000 |810001 | 2165k| 2.7 | 826M| 143 | 0 |1800 |1700 |1800 | 293 | 597k| 0 |3727 | 0.000000e+00 | 4.209250e+05 | Inf
667.61/667.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
667.61/667.60 c 625s|820000 |820001 | 2185k| 2.7 | 837M| 143 | 0 |1800 |1700 |1800 | 315 | 603k| 0 |3738 | 0.000000e+00 | 4.209250e+05 | Inf
675.42/675.45 c 632s|830000 |830001 | 2204k| 2.7 | 847M| 143 | 0 |1800 |1700 |1800 | 287 | 608k| 0 |3758 | 0.000000e+00 | 4.209250e+05 | Inf
683.21/683.26 c 639s|840000 |840001 | 2222k| 2.6 | 857M| 143 | 17 |1800 |1700 |1800 | 311 | 614k| 0 |3776 | 0.000000e+00 | 4.209250e+05 | Inf
691.00/691.07 c 647s|850000 |850001 | 2240k| 2.6 | 867M| 143 | 0 |1800 |1700 |1800 | 325 | 618k| 0 |3795 | 0.000000e+00 | 4.209250e+05 | Inf
698.90/698.94 c 654s|860000 |860001 | 2259k| 2.6 | 877M| 143 | 0 |1800 |1700 |1800 | 319 | 624k| 0 |3812 | 0.000000e+00 | 4.209250e+05 | Inf
706.61/706.66 c 661s|870000 |870001 | 2275k| 2.6 | 887M| 143 | 0 |1800 |1700 |1800 | 282 | 628k| 0 |3813 | 0.000000e+00 | 4.209250e+05 | Inf
714.41/714.42 c 669s|880000 |880001 | 2291k| 2.6 | 897M| 143 | 0 |1800 |1700 |1800 | 308 | 633k| 0 |3833 | 0.000000e+00 | 4.209250e+05 | Inf
722.10/722.17 c 676s|890000 |890001 | 2308k| 2.6 | 907M| 143 | 2 |1800 |1700 |1800 | 212 | 637k| 0 |3852 | 0.000000e+00 | 4.209250e+05 | Inf
729.91/729.98 c 683s|900000 |900001 | 2326k| 2.6 | 917M| 143 | 0 |1800 |1700 |1800 | 287 | 643k| 0 |3868 | 0.000000e+00 | 4.209250e+05 | Inf
737.81/737.83 c 691s|910000 |910001 | 2347k| 2.6 | 927M| 143 | 2 |1800 |1700 |1800 | 304 | 648k| 0 |3885 | 0.000000e+00 | 4.209250e+05 | Inf
745.71/745.79 c 698s|920000 |920001 | 2370k| 2.6 | 937M| 143 | 0 |1800 |1700 |1800 | 309 | 655k| 0 |3901 | 0.000000e+00 | 4.209250e+05 | Inf
753.42/753.48 c 705s|930000 |930001 | 2385k| 2.6 | 947M| 143 | 0 |1800 |1700 |1800 | 308 | 659k| 0 |3908 | 0.000000e+00 | 4.209250e+05 | Inf
761.21/761.24 c 713s|940000 |940001 | 2402k| 2.6 | 957M| 143 | 0 |1800 |1700 |1800 | 289 | 664k| 0 |3927 | 0.000000e+00 | 4.209250e+05 | Inf
769.00/769.06 c 720s|950000 |950001 | 2422k| 2.5 | 967M| 143 | 0 |1800 |1700 |1800 | 280 | 670k| 0 |3943 | 0.000000e+00 | 4.209250e+05 | Inf
776.81/776.87 c 727s|960000 |960001 | 2440k| 2.5 | 977M| 143 | 0 |1800 |1700 |1800 | 333 | 676k| 0 |3953 | 0.000000e+00 | 4.209250e+05 | Inf
784.51/784.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
784.51/784.58 c 735s|970000 |970001 | 2456k| 2.5 | 987M| 143 | 0 |1800 |1700 |1800 | 282 | 680k| 0 |3963 | 0.000000e+00 | 4.209250e+05 | Inf
792.31/792.35 c 742s|980000 |980001 | 2473k| 2.5 | 997M| 143 | 0 |1800 |1700 |1800 | 299 | 685k| 0 |3978 | 0.000000e+00 | 4.209250e+05 | Inf
800.11/800.19 c 749s|990000 |990001 | 2494k| 2.5 |1007M| 143 | 0 |1800 |1700 |1800 | 292 | 691k| 0 |3996 | 0.000000e+00 | 4.209250e+05 | Inf
808.01/808.05 c 757s| 1000k| 1000k| 2513k| 2.5 |1017M| 143 | 0 |1800 |1700 |1800 | 309 | 697k| 0 |4014 | 0.000000e+00 | 4.209250e+05 | Inf
815.81/815.87 c 764s| 1010k| 1010k| 2533k| 2.5 |1027M| 143 | 0 |1800 |1700 |1800 | 321 | 702k| 0 |4022 | 0.000000e+00 | 4.209250e+05 | Inf
823.61/823.63 c 771s| 1020k| 1020k| 2550k| 2.5 |1037M| 143 | 0 |1800 |1700 |1800 | 289 | 707k| 0 |4031 | 0.000000e+00 | 4.209250e+05 | Inf
831.31/831.38 c 778s| 1030k| 1030k| 2568k| 2.5 |1047M| 143 | 0 |1800 |1700 |1800 | 296 | 712k| 0 |4048 | 0.000000e+00 | 4.209250e+05 | Inf
839.22/839.22 c 786s| 1040k| 1040k| 2587k| 2.5 |1057M| 143 | 0 |1800 |1700 |1800 | 283 | 718k| 0 |4066 | 0.000000e+00 | 4.209250e+05 | Inf
847.11/847.12 c 793s| 1050k| 1050k| 2608k| 2.5 |1067M| 143 | 10 |1800 |1700 |1800 | 246 | 724k| 0 |4087 | 0.000000e+00 | 4.209250e+05 | Inf
854.91/854.96 c 801s| 1060k| 1060k| 2625k| 2.5 |1077M| 143 | 0 |1800 |1700 |1800 | 292 | 729k| 0 |4088 | 0.000000e+00 | 4.209250e+05 | Inf
863.51/863.54 c 809s| 1070k| 1070k| 2642k| 2.5 |1087M| 143 | 0 |1800 |1700 |1800 | 315 | 734k| 0 |4109 | 0.000000e+00 | 4.209250e+05 | Inf
872.01/872.04 c 817s| 1080k| 1080k| 2661k| 2.5 |1097M| 143 | 0 |1800 |1700 |1800 | 288 | 739k| 0 |4129 | 0.000000e+00 | 4.209250e+05 | Inf
880.51/880.52 c 826s| 1090k| 1090k| 2677k| 2.5 |1107M| 143 | 5 |1800 |1700 |1800 | 255 | 744k| 0 |4145 | 0.000000e+00 | 4.209250e+05 | Inf
889.11/889.11 c 834s| 1100k| 1100k| 2696k| 2.5 |1117M| 143 | 0 |1800 |1700 |1800 | 270 | 749k| 0 |4156 | 0.000000e+00 | 4.209250e+05 | Inf
897.81/897.82 c 843s| 1110k| 1110k| 2716k| 2.4 |1127M| 143 | 0 |1800 |1700 |1800 | 293 | 755k| 0 |4163 | 0.000000e+00 | 4.209250e+05 | Inf
906.31/906.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
906.31/906.35 c 851s| 1120k| 1120k| 2733k| 2.4 |1137M| 143 | 12 |1800 |1700 |1800 | 267 | 760k| 0 |4181 | 0.000000e+00 | 4.209250e+05 | Inf
914.91/914.96 c 860s| 1130k| 1130k| 2751k| 2.4 |1147M| 143 | 3 |1800 |1700 |1800 | 267 | 765k| 0 |4199 | 0.000000e+00 | 4.209250e+05 | Inf
923.41/923.44 c 868s| 1140k| 1140k| 2768k| 2.4 |1157M| 143 | 2 |1800 |1700 |1800 | 285 | 770k| 0 |4212 | 0.000000e+00 | 4.209250e+05 | Inf
932.11/932.13 c 876s| 1150k| 1150k| 2790k| 2.4 |1167M| 143 | 0 |1800 |1700 |1800 | 286 | 776k| 0 |4219 | 0.000000e+00 | 4.209250e+05 | Inf
940.81/940.86 c 885s| 1160k| 1160k| 2810k| 2.4 |1177M| 143 | 0 |1800 |1700 |1800 | 298 | 782k| 0 |4237 | 0.000000e+00 | 4.209250e+05 | Inf
949.21/949.21 c 893s| 1170k| 1170k| 2823k| 2.4 |1187M| 143 | 0 |1800 |1700 |1800 | 304 | 785k| 0 |4252 | 0.000000e+00 | 4.209250e+05 | Inf
957.61/957.66 c 901s| 1180k| 1180k| 2837k| 2.4 |1197M| 143 | 0 |1800 |1700 |1800 | 291 | 789k| 0 |4257 | 0.000000e+00 | 4.209250e+05 | Inf
966.22/966.20 c 910s| 1190k| 1190k| 2854k| 2.4 |1207M| 143 | 9 |1800 |1700 |1800 | 286 | 794k| 0 |4269 | 0.000000e+00 | 4.209250e+05 | Inf
974.61/974.68 c 918s| 1200k| 1200k| 2871k| 2.4 |1218M| 143 | 0 |1800 |1700 |1800 | 317 | 798k| 0 |4287 | 0.000000e+00 | 4.209250e+05 | Inf
983.11/983.14 c 927s| 1210k| 1210k| 2888k| 2.4 |1228M| 143 | 0 |1800 |1700 |1800 | 300 | 803k| 0 |4301 | 0.000000e+00 | 4.209250e+05 | Inf
991.91/991.94 c 935s| 1220k| 1220k| 2910k| 2.4 |1238M| 143 | 0 |1800 |1700 |1800 | 290 | 810k| 0 |4320 | 0.000000e+00 | 4.209250e+05 | Inf
1000.61/1000.60 c 944s| 1230k| 1230k| 2931k| 2.4 |1248M| 143 | 0 |1800 |1700 |1800 | 294 | 816k| 0 |4329 | 0.000000e+00 | 4.209250e+05 | Inf
1009.11/1009.13 c 952s| 1240k| 1240k| 2951k| 2.4 |1258M| 143 | 0 |1800 |1700 |1800 | 309 | 821k| 0 |4341 | 0.000000e+00 | 4.209250e+05 | Inf
1017.81/1017.85 c 961s| 1250k| 1250k| 2969k| 2.4 |1268M| 143 | 0 |1800 |1700 |1800 | 301 | 827k| 0 |4357 | 0.000000e+00 | 4.209250e+05 | Inf
1026.51/1026.55 c 969s| 1260k| 1260k| 2990k| 2.4 |1278M| 143 | 3 |1800 |1700 |1800 | 275 | 833k| 0 |4372 | 0.000000e+00 | 4.209250e+05 | Inf
1035.11/1035.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1035.11/1035.18 c 978s| 1270k| 1270k| 3010k| 2.4 |1288M| 143 | 0 |1800 |1700 |1800 | 305 | 838k| 0 |4387 | 0.000000e+00 | 4.209250e+05 | Inf
1043.72/1043.80 c 986s| 1280k| 1280k| 3030k| 2.4 |1298M| 143 | 0 |1800 |1700 |1800 | 298 | 844k| 0 |4401 | 0.000000e+00 | 4.209250e+05 | Inf
1052.51/1052.52 c 995s| 1290k| 1290k| 3053k| 2.4 |1308M| 143 | 0 |1800 |1700 |1800 | 291 | 850k| 0 |4412 | 0.000000e+00 | 4.209250e+05 | Inf
1061.11/1061.13 c 1003s| 1300k| 1300k| 3072k| 2.4 |1318M| 143 | 0 |1800 |1700 |1800 | 258 | 856k| 0 |4422 | 0.000000e+00 | 4.209250e+05 | Inf
1069.61/1069.67 c 1012s| 1310k| 1310k| 3090k| 2.4 |1328M| 143 | 0 |1800 |1700 |1800 | 315 | 861k| 0 |4440 | 0.000000e+00 | 4.209250e+05 | Inf
1078.32/1078.33 c 1020s| 1320k| 1320k| 3111k| 2.4 |1338M| 143 | 0 |1800 |1700 |1800 | 293 | 866k| 0 |4459 | 0.000000e+00 | 4.209250e+05 | Inf
1086.72/1086.74 c 1028s| 1330k| 1330k| 3127k| 2.4 |1348M| 143 | 0 |1800 |1700 |1800 | 278 | 871k| 0 |4468 | 0.000000e+00 | 4.209250e+05 | Inf
1095.52/1095.50 c 1037s| 1340k| 1340k| 3150k| 2.4 |1358M| 143 | 9 |1800 |1700 |1800 | 241 | 877k| 0 |4479 | 0.000000e+00 | 4.209250e+05 | Inf
1104.12/1104.11 c 1045s| 1350k| 1350k| 3168k| 2.3 |1368M| 143 | 0 |1800 |1700 |1800 | 286 | 883k| 0 |4497 | 0.000000e+00 | 4.209250e+05 | Inf
1112.52/1112.57 c 1054s| 1360k| 1360k| 3184k| 2.3 |1378M| 143 | 0 |1800 |1700 |1800 | 265 | 887k| 0 |4513 | 0.000000e+00 | 4.209250e+05 | Inf
1121.02/1121.02 c 1062s| 1370k| 1370k| 3202k| 2.3 |1388M| 143 | 0 |1800 |1700 |1800 | 302 | 892k| 0 |4530 | 0.000000e+00 | 4.209250e+05 | Inf
1129.51/1129.56 c 1070s| 1380k| 1380k| 3221k| 2.3 |1398M| 143 | 0 |1800 |1700 |1800 | 297 | 898k| 0 |4534 | 0.000000e+00 | 4.209250e+05 | Inf
1138.11/1138.14 c 1079s| 1390k| 1390k| 3240k| 2.3 |1408M| 143 | 0 |1800 |1700 |1800 | 302 | 903k| 0 |4546 | 0.000000e+00 | 4.209250e+05 | Inf
1146.61/1146.66 c 1087s| 1400k| 1400k| 3257k| 2.3 |1418M| 143 | 0 |1800 |1700 |1800 | 283 | 907k| 0 |4562 | 0.000000e+00 | 4.209250e+05 | Inf
1155.22/1155.23 c 1096s| 1410k| 1410k| 3276k| 2.3 |1429M| 143 | 0 |1800 |1700 |1800 | 314 | 913k| 0 |4579 | 0.000000e+00 | 4.209250e+05 | Inf
1163.72/1163.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1163.72/1163.75 c 1104s| 1420k| 1420k| 3293k| 2.3 |1439M| 143 | 0 |1800 |1700 |1800 | 319 | 917k| 0 |4583 | 0.000000e+00 | 4.209250e+05 | Inf
1172.32/1172.30 c 1112s| 1430k| 1430k| 3310k| 2.3 |1449M| 143 | 0 |1800 |1700 |1800 | 292 | 922k| 0 |4595 | 0.000000e+00 | 4.209250e+05 | Inf
1180.81/1180.87 c 1121s| 1440k| 1440k| 3329k| 2.3 |1459M| 143 | 7 |1800 |1700 |1800 | 241 | 927k| 0 |4611 | 0.000000e+00 | 4.209250e+05 | Inf
1189.52/1189.57 c 1129s| 1450k| 1450k| 3349k| 2.3 |1469M| 143 | 0 |1800 |1700 |1800 | 298 | 933k| 0 |4628 | 0.000000e+00 | 4.209250e+05 | Inf
1198.22/1198.21 c 1138s| 1460k| 1460k| 3367k| 2.3 |1479M| 143 | 0 |1800 |1700 |1800 | 283 | 938k| 0 |4638 | 0.000000e+00 | 4.209250e+05 | Inf
1206.82/1206.86 c 1146s| 1470k| 1470k| 3387k| 2.3 |1489M| 143 | 0 |1800 |1700 |1800 | 286 | 944k| 0 |4643 | 0.000000e+00 | 4.209250e+05 | Inf
1215.01/1215.07 c 1154s| 1480k| 1480k| 3400k| 2.3 |1499M| 143 | 0 |1800 |1700 |1800 | 265 | 947k| 0 |4655 | 0.000000e+00 | 4.209250e+05 | Inf
1223.82/1223.81 c 1163s| 1490k| 1490k| 3422k| 2.3 |1509M| 143 | 0 |1800 |1700 |1800 | 274 | 953k| 0 |4670 | 0.000000e+00 | 4.209250e+05 | Inf
1232.42/1232.44 c 1172s| 1500k| 1500k| 3443k| 2.3 |1519M| 143 | 0 |1800 |1700 |1800 | 275 | 959k| 0 |4685 | 0.000000e+00 | 4.209250e+05 | Inf
1241.02/1241.06 c 1180s| 1510k| 1510k| 3463k| 2.3 |1529M| 143 | 0 |1800 |1700 |1800 | 273 | 965k| 0 |4688 | 0.000000e+00 | 4.209250e+05 | Inf
1249.63/1249.60 c 1188s| 1520k| 1520k| 3480k| 2.3 |1539M| 143 | 0 |1800 |1700 |1800 | 301 | 970k| 0 |4701 | 0.000000e+00 | 4.209250e+05 | Inf
1258.33/1258.32 c 1197s| 1530k| 1530k| 3501k| 2.3 |1549M| 143 | 8 |1800 |1700 |1800 | 270 | 976k| 0 |4717 | 0.000000e+00 | 4.209250e+05 | Inf
1266.82/1266.81 c 1205s| 1540k| 1540k| 3517k| 2.3 |1559M| 143 | 0 |1800 |1700 |1800 | 289 | 980k| 0 |4731 | 0.000000e+00 | 4.209250e+05 | Inf
1275.32/1275.37 c 1214s| 1550k| 1550k| 3534k| 2.3 |1569M| 143 | 0 |1800 |1700 |1800 | 308 | 985k| 0 |4731 | 0.000000e+00 | 4.209250e+05 | Inf
1283.91/1283.95 c 1222s| 1560k| 1560k| 3556k| 2.3 |1579M| 143 | 0 |1800 |1700 |1800 | 293 | 991k| 0 |4744 | 0.000000e+00 | 4.209250e+05 | Inf
1292.42/1292.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1292.42/1292.45 c 1231s| 1570k| 1570k| 3573k| 2.3 |1589M| 143 | 0 |1800 |1700 |1800 | 295 | 996k| 0 |4757 | 0.000000e+00 | 4.209250e+05 | Inf
1301.02/1301.03 c 1239s| 1580k| 1580k| 3592k| 2.3 |1599M| 143 | 0 |1800 |1700 |1800 | 293 |1001k| 0 |4772 | 0.000000e+00 | 4.209250e+05 | Inf
1309.52/1309.57 c 1247s| 1590k| 1590k| 3610k| 2.3 |1609M| 143 | 6 |1800 |1700 |1800 | 259 |1006k| 0 |4781 | 0.000000e+00 | 4.209250e+05 | Inf
1318.12/1318.19 c 1256s| 1600k| 1600k| 3631k| 2.3 |1619M| 143 | 0 |1800 |1700 |1800 | 294 |1012k| 0 |4788 | 0.000000e+00 | 4.209250e+05 | Inf
1326.72/1326.72 c 1264s| 1610k| 1610k| 3649k| 2.3 |1629M| 143 | 0 |1800 |1700 |1800 | 300 |1017k| 0 |4804 | 0.000000e+00 | 4.209250e+05 | Inf
1335.32/1335.32 c 1273s| 1620k| 1620k| 3665k| 2.3 |1639M| 143 | 5 |1800 |1700 |1800 | 296 |1021k| 0 |4818 | 0.000000e+00 | 4.209250e+05 | Inf
1343.52/1343.58 c 1281s| 1630k| 1630k| 3680k| 2.3 |1649M| 143 | 0 |1800 |1700 |1800 | 295 |1025k| 0 |4821 | 0.000000e+00 | 4.209250e+05 | Inf
1352.23/1352.28 c 1289s| 1640k| 1640k| 3701k| 2.3 |1659M| 143 | 0 |1800 |1700 |1800 | 295 |1031k| 0 |4837 | 0.000000e+00 | 4.209250e+05 | Inf
1361.02/1361.01 c 1298s| 1650k| 1650k| 3722k| 2.3 |1670M| 143 | 0 |1800 |1700 |1800 | 287 |1037k| 0 |4854 | 0.000000e+00 | 4.209250e+05 | Inf
1369.43/1369.50 c 1306s| 1660k| 1660k| 3738k| 2.3 |1680M| 143 | 15 |1800 |1700 |1800 | 272 |1042k| 0 |4854 | 0.000000e+00 | 4.209250e+05 | Inf
1378.12/1378.12 c 1315s| 1670k| 1670k| 3756k| 2.2 |1690M| 143 | 0 |1800 |1700 |1800 | 311 |1046k| 0 |4872 | 0.000000e+00 | 4.209250e+05 | Inf
1386.62/1386.60 c 1323s| 1680k| 1680k| 3770k| 2.2 |1700M| 143 | 0 |1800 |1700 |1800 | 320 |1050k| 0 |4880 | 0.000000e+00 | 4.209250e+05 | Inf
1395.22/1395.22 c 1331s| 1690k| 1690k| 3787k| 2.2 |1710M| 143 | 0 |1800 |1700 |1800 | 301 |1055k| 0 |4886 | 0.000000e+00 | 4.209250e+05 | Inf
1403.73/1403.71 c 1340s| 1700k| 1700k| 3805k| 2.2 |1720M| 143 | 20 |1800 |1700 |1800 | 274 |1060k| 0 |4900 | 0.000000e+00 | 4.209250e+05 | Inf
1412.22/1412.24 c 1348s| 1710k| 1710k| 3821k| 2.2 |1730M| 143 | 0 |1800 |1700 |1800 | 288 |1064k| 0 |4907 | 0.000000e+00 | 4.209250e+05 | Inf
1420.82/1420.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1420.82/1420.82 c 1357s| 1720k| 1720k| 3837k| 2.2 |1740M| 143 | 0 |1800 |1700 |1800 | 312 |1069k| 0 |4914 | 0.000000e+00 | 4.209250e+05 | Inf
1429.42/1429.40 c 1365s| 1730k| 1730k| 3853k| 2.2 |1750M| 143 | 0 |1800 |1700 |1800 | 298 |1074k| 0 |4929 | 0.000000e+00 | 4.209250e+05 | Inf
1438.13/1438.12 c 1374s| 1740k| 1740k| 3871k| 2.2 |1760M| 143 | 0 |1800 |1700 |1800 | 295 |1079k| 0 |4935 | 0.000000e+00 | 4.209250e+05 | Inf
1446.72/1446.76 c 1382s| 1750k| 1750k| 3890k| 2.2 |1770M| 143 | 0 |1800 |1700 |1800 | 301 |1084k| 0 |4944 | 0.000000e+00 | 4.209250e+05 | Inf
1455.32/1455.31 c 1391s| 1760k| 1760k| 3906k| 2.2 |1780M| 143 | 7 |1800 |1700 |1800 | 284 |1089k| 0 |4959 | 0.000000e+00 | 4.209250e+05 | Inf
1463.73/1463.76 c 1399s| 1770k| 1770k| 3922k| 2.2 |1790M| 143 | 0 |1800 |1700 |1800 | 298 |1093k| 0 |4965 | 0.000000e+00 | 4.209250e+05 | Inf
1472.32/1472.39 c 1407s| 1780k| 1780k| 3942k| 2.2 |1800M| 143 | 0 |1800 |1700 |1800 | 275 |1099k| 0 |4977 | 0.000000e+00 | 4.209250e+05 | Inf
1481.03/1481.00 c 1416s| 1790k| 1790k| 3961k| 2.2 |1810M| 143 | 0 |1800 |1700 |1800 | 316 |1105k| 0 |4993 | 0.000000e+00 | 4.209250e+05 | Inf
1489.53/1489.53 c 1424s| 1800k| 1800k| 3978k| 2.2 |1820M| 143 | 6 |1800 |1700 |1800 | 276 |1109k| 0 |5001 | 0.000000e+00 | 4.209250e+05 | Inf
1498.03/1498.08 c 1433s| 1810k| 1810k| 3994k| 2.2 |1830M| 143 | 0 |1800 |1700 |1800 | 266 |1113k| 0 |5007 | 0.000000e+00 | 4.209250e+05 | Inf
1506.63/1506.62 c 1441s| 1820k| 1820k| 4011k| 2.2 |1840M| 143 | 6 |1800 |1700 |1800 | 282 |1118k| 0 |5021 | 0.000000e+00 | 4.209250e+05 | Inf
1515.12/1515.14 c 1449s| 1830k| 1830k| 4028k| 2.2 |1850M| 143 | 0 |1800 |1700 |1800 | 283 |1123k| 0 |5025 | 0.000000e+00 | 4.209250e+05 | Inf
1523.72/1523.70 c 1458s| 1840k| 1840k| 4045k| 2.2 |1860M| 143 | 5 |1800 |1700 |1800 | 283 |1128k| 0 |5035 | 0.000000e+00 | 4.209250e+05 | Inf
1532.23/1532.26 c 1466s| 1850k| 1850k| 4060k| 2.2 |1870M| 143 | 27 |1800 |1700 |1800 | 256 |1133k| 0 |5051 | 0.000000e+00 | 4.209250e+05 | Inf
1541.03/1541.01 c 1475s| 1860k| 1860k| 4081k| 2.2 |1880M| 143 | 0 |1800 |1700 |1800 | 313 |1139k| 0 |5065 | 0.000000e+00 | 4.209250e+05 | Inf
1549.32/1549.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1549.32/1549.36 c 1483s| 1870k| 1870k| 4097k| 2.2 |1890M| 143 | 0 |1800 |1700 |1800 | 294 |1143k| 0 |5067 | 0.000000e+00 | 4.209250e+05 | Inf
1557.92/1557.91 c 1491s| 1880k| 1880k| 4115k| 2.2 |1900M| 143 | 0 |1800 |1700 |1800 | 294 |1148k| 0 |5082 | 0.000000e+00 | 4.209250e+05 | Inf
1566.33/1566.34 c 1500s| 1890k| 1890k| 4130k| 2.2 |1910M| 143 | 0 |1800 |1700 |1800 | 304 |1153k| 0 |5082 | 0.000000e+00 | 4.209250e+05 | Inf
1574.82/1574.89 c 1508s| 1900k| 1900k| 4149k| 2.2 |1920M| 143 | 6 |1800 |1700 |1800 | 284 |1158k| 0 |5097 | 0.000000e+00 | 4.209250e+05 | Inf
1583.43/1583.42 c 1516s| 1910k| 1910k| 4167k| 2.2 |1930M| 143 | 0 |1800 |1700 |1800 | 252 |1162k| 0 |5110 | 0.000000e+00 | 4.209250e+05 | Inf
1591.92/1591.90 c 1525s| 1920k| 1920k| 4183k| 2.2 |1940M| 143 | 0 |1800 |1700 |1800 | 306 |1167k| 0 |5113 | 0.000000e+00 | 4.209250e+05 | Inf
1600.33/1600.35 c 1533s| 1930k| 1930k| 4199k| 2.2 |1950M| 143 | 0 |1800 |1700 |1800 | 272 |1171k| 0 |5126 | 0.000000e+00 | 4.209250e+05 | Inf
1609.03/1609.00 c 1542s| 1940k| 1940k| 4218k| 2.2 |1960M| 143 | 0 |1800 |1700 |1800 | 286 |1176k| 0 |5142 | 0.000000e+00 | 4.209250e+05 | Inf
1617.33/1617.39 c 1550s| 1950k| 1950k| 4233k| 2.2 |1970M| 143 | 0 |1800 |1700 |1800 | 291 |1180k| 0 |5142 | 0.000000e+00 | 4.209250e+05 | Inf
1625.93/1625.94 c 1558s| 1960k| 1960k| 4252k| 2.2 |1980M| 143 | 9 |1800 |1700 |1800 | 244 |1186k| 0 |5157 | 0.000000e+00 | 4.209250e+05 | Inf
1634.54/1634.52 c 1567s| 1970k| 1970k| 4273k| 2.2 |1991M| 143 | 0 |1800 |1700 |1800 | 299 |1192k| 0 |5170 | 0.000000e+00 | 4.209250e+05 | Inf
1642.92/1642.98 c 1575s| 1980k| 1980k| 4292k| 2.2 |2001M| 143 | 0 |1800 |1700 |1800 | 288 |1197k| 0 |5179 | 0.000000e+00 | 4.209250e+05 | Inf
1651.53/1651.58 c 1583s| 1990k| 1990k| 4311k| 2.2 |2011M| 143 | 0 |1800 |1700 |1800 | 280 |1203k| 0 |5187 | 0.000000e+00 | 4.209250e+05 | Inf
1660.03/1660.06 c 1592s| 2000k| 2000k| 4328k| 2.2 |2021M| 143 | 7 |1800 |1700 |1800 | 264 |1207k| 0 |5203 | 0.000000e+00 | 4.209250e+05 | Inf
1668.53/1668.58 c 1600s| 2010k| 2010k| 4347k| 2.2 |2031M| 143 | 0 |1800 |1700 |1800 | 290 |1213k| 0 |5207 | 0.000000e+00 | 4.209250e+05 | Inf
1677.03/1677.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1677.03/1677.09 c 1608s| 2020k| 2020k| 4365k| 2.2 |2041M| 143 | 0 |1800 |1700 |1800 | 331 |1218k| 0 |5216 | 0.000000e+00 | 4.209250e+05 | Inf
1685.53/1685.51 c 1617s| 2030k| 2030k| 4381k| 2.2 |2051M| 143 | 0 |1800 |1700 |1800 | 263 |1222k| 0 |5231 | 0.000000e+00 | 4.209250e+05 | Inf
1694.04/1694.04 c 1625s| 2040k| 2040k| 4402k| 2.2 |2061M| 151 | 0 |1800 |1700 |1800 | 283 |1228k| 0 |5242 | 0.000000e+00 | 4.209250e+05 | Inf
1702.63/1702.62 c 1634s| 2050k| 2050k| 4421k| 2.2 |2071M| 151 | 0 |1800 |1700 |1800 | 280 |1233k| 0 |5242 | 0.000000e+00 | 4.209250e+05 | Inf
1711.13/1711.17 c 1642s| 2060k| 2060k| 4439k| 2.2 |2081M| 151 | 9 |1800 |1700 |1800 | 260 |1238k| 0 |5257 | 0.000000e+00 | 4.209250e+05 | Inf
1719.53/1719.59 c 1650s| 2070k| 2070k| 4456k| 2.2 |2091M| 151 | 4 |1800 |1700 |1800 | 301 |1243k| 0 |5273 | 0.000000e+00 | 4.209250e+05 | Inf
1728.14/1728.12 c 1659s| 2080k| 2080k| 4474k| 2.2 |2101M| 151 | 23 |1800 |1700 |1800 | 253 |1248k| 0 |5279 | 0.000000e+00 | 4.209250e+05 | Inf
1736.53/1736.50 c 1667s| 2090k| 2090k| 4489k| 2.1 |2111M| 151 | 0 |1800 |1700 |1800 | 308 |1252k| 0 |5288 | 0.000000e+00 | 4.209250e+05 | Inf
1745.13/1745.10 c 1675s| 2100k| 2100k| 4511k| 2.1 |2121M| 151 | 0 |1800 |1700 |1800 | 290 |1258k| 0 |5303 | 0.000000e+00 | 4.209250e+05 | Inf
1753.53/1753.59 c 1684s| 2110k| 2110k| 4529k| 2.1 |2131M| 151 | 0 |1800 |1700 |1800 | 270 |1263k| 0 |5304 | 0.000000e+00 | 4.209250e+05 | Inf
1762.03/1762.03 c 1692s| 2120k| 2120k| 4546k| 2.1 |2141M| 151 | 0 |1800 |1700 |1800 | 291 |1268k| 0 |5319 | 0.000000e+00 | 4.209250e+05 | Inf
1770.54/1770.56 c 1700s| 2130k| 2130k| 4567k| 2.1 |2151M| 151 | 0 |1800 |1700 |1800 | 283 |1274k| 0 |5334 | 0.000000e+00 | 4.209250e+05 | Inf
1779.03/1779.02 c 1709s| 2140k| 2140k| 4586k| 2.1 |2161M| 151 | 0 |1800 |1700 |1800 | 307 |1279k| 0 |5334 | 0.000000e+00 | 4.209250e+05 | Inf
1787.54/1787.59 c 1717s| 2150k| 2150k| 4607k| 2.1 |2171M| 151 | 0 |1800 |1700 |1800 | 303 |1286k| 0 |5348 | 0.000000e+00 | 4.209250e+05 | Inf
1796.04/1796.03 c 1725s| 2160k| 2160k| 4623k| 2.1 |2181M| 151 | 0 |1800 |1700 |1800 | 303 |1290k| 0 |5362 | 0.000000e+00 | 4.209250e+05 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1729.33
1800.04/1800.00 c Solving Nodes : 2164731
1800.04/1800.00 c Primal Bound : +4.20925000000000e+05 (100 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.01 s SATISFIABLE
1800.04/1800.01 v x200 -x199 x198 -x197 x196 -x195 x194 -x193 x192 -x191 x190 -x189 x188 -x187 x186 -x185 x184 -x183 x182 -x181 x180 -x179 x178 -x177
1800.04/1800.01 v x176 -x175 x174 -x173 x172 -x171 x170 -x169 x168 -x167 x166 -x165 x164 -x163 x162 -x161 x160 -x159 x158 -x157 x156 -x155
1800.04/1800.01 v x154 -x153 x152 -x151 x150 -x149 x148 -x147 x146 -x145 x144 -x143 x142 -x141 x140 -x139 x138 -x137 x136 -x135 x134 -x133 x132
1800.04/1800.01 v -x131 x130 -x129 x128 -x127 x126 -x125 x124 -x123 x122 -x121 x120 -x119 x118 -x117 x116 -x115 x114 -x113 x112 -x111 x110 -x109
1800.04/1800.01 v x108 -x107 x106 -x105 x104 -x103 x102 -x101 x100 -x99 x98 -x97 x96 -x95 x94 -x93 x92 -x91 x90 -x89 x88 -x87 x86 -x85 x84
1800.04/1800.01 v -x83 x82 -x81 x80 -x79 x78 -x77 x76 -x75 x74 -x73 x72 -x71 x70 -x69 x68 -x67 x66 -x65 x64 -x63 x62 -x61 x60 -x59 x58 -x57 x56
1800.04/1800.01 v -x55 x54 -x53 x52 -x51 x50 -x49 x48 -x47 x46 -x45 x44 -x43 x42 -x41 x40 -x39 x38 -x37 x36 -x35 x34 -x33 x32 -x31 x30 -x29 x28
1800.04/1800.01 v -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 -x1
1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.01 c Solving Time : 1729.33
1800.04/1800.01 c Original Problem :
1800.04/1800.01 c Problem name : HOME/instance-2700344-1278534873.wbo
1800.04/1800.01 c Variables : 1900 (1050 binary, 0 integer, 0 implicit integer, 850 continuous)
1800.04/1800.01 c Constraints : 1801 initial, 1801 maximal
1800.04/1800.01 c Presolved Problem :
1800.04/1800.01 c Problem name : t_HOME/instance-2700344-1278534873.wbo
1800.04/1800.01 c Variables : 1800 (950 binary, 0 integer, 0 implicit integer, 850 continuous)
1800.04/1800.01 c Constraints : 1700 initial, 1700 maximal
1800.04/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c probing : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.01 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c linear : 0.01 0 100 0 850 0 101 0 0
1800.04/1800.01 c root node : - 0 - - 0 - - - -
1800.04/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c integral : 0 0 0 2464855 0 0 0 0 0 907912
1800.04/1800.01 c indicator : 850 0 3082693 2010899 0 0 2240819 0 0 0
1800.04/1800.01 c linear : 850 7 3082693 2010899 0 0 1021664 1292579 0 0
1800.04/1800.01 c countsols : 0 0 0 1710775 0 0 0 0 0 0
1800.04/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.01 c integral : 9.03 0.00 0.00 9.03 0.00
1800.04/1800.01 c indicator : 149.43 0.03 32.74 116.66 0.00
1800.04/1800.01 c linear : 34.77 0.00 15.26 19.51 0.00
1800.04/1800.01 c countsols : 0.28 0.00 0.00 0.28 0.00
1800.04/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.01 c vbounds : 0.40 2 0 0
1800.04/1800.01 c rootredcost : 0.37 0 0 0
1800.04/1800.01 c pseudoobj : 49.73 3082493 0 0
1800.04/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.01 c applied globally : - - - 0 0.0 - - -
1800.04/1800.01 c applied locally : - - - 0 0.0 - - -
1800.04/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.01 c cut pool : 0.00 3 - - 8 - (maximal pool size: 60)
1800.04/1800.01 c redcost : 90.39 2464486 0 0 0 0
1800.04/1800.01 c impliedbounds : 0.00 4 0 0 0 0
1800.04/1800.01 c intobj : 0.00 0 0 0 0 0
1800.04/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.01 c gomory : 0.00 4 0 0 63 0
1800.04/1800.01 c strongcg : 0.01 4 0 0 0 0
1800.04/1800.01 c cmir : 0.02 4 0 0 0 0
1800.04/1800.01 c flowcover : 0.03 4 0 0 0 0
1800.04/1800.01 c clique : 0.00 1 0 0 0 0
1800.04/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.01 c mcf : 0.00 1 0 0 0 0
1800.04/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.01 c Pricers : Time Calls Vars
1800.04/1800.01 c problem variables: 0.00 0 0
1800.04/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c relpscost : 8.51 453956 0 0 0 0 907912
1800.04/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c inference : 125.98 1710775 0 0 0 0 3421550
1800.04/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c random : 0.00 0 0 0 0 0 0
1800.04/1800.01 c Primal Heuristics : Time Calls Found
1800.04/1800.01 c LP solutions : 0.00 - 0
1800.04/1800.01 c pseudo solutions : 0.00 - 0
1800.04/1800.01 c feaspump : 0.01 0 0
1800.04/1800.01 c oneopt : 0.95 1 0
1800.04/1800.01 c intshifting : 0.04 20 0
1800.04/1800.01 c crossover : 0.52 13 0
1800.04/1800.01 c coefdiving : 16.69 29873 0
1800.04/1800.01 c pscostdiving : 16.49 29873 0
1800.04/1800.01 c fracdiving : 17.13 29874 0
1800.04/1800.01 c veclendiving : 16.50 29874 0
1800.04/1800.01 c linesearchdiving : 16.67 29874 0
1800.04/1800.01 c guideddiving : 16.69 29874 0
1800.04/1800.01 c objpscostdiving : 17.04 29844 0
1800.04/1800.01 c rootsoldiving : 16.94 29844 0
1800.04/1800.01 c trivial : 0.02 2 1
1800.04/1800.01 c simplerounding : 0.45 453905 0
1800.04/1800.01 c zirounding : 0.36 1000 0
1800.04/1800.01 c rounding : 0.63 9434 0
1800.04/1800.01 c shifting : 1.46 2923 0
1800.04/1800.01 c twoopt : 0.00 0 0
1800.04/1800.01 c fixandinfer : 0.00 0 0
1800.04/1800.01 c intdiving : 0.00 0 0
1800.04/1800.01 c actconsdiving : 0.00 0 0
1800.04/1800.01 c octane : 0.00 0 0
1800.04/1800.01 c rens : 0.01 1 0
1800.04/1800.01 c rins : 0.00 0 0
1800.04/1800.01 c localbranching : 0.00 0 0
1800.04/1800.01 c mutation : 0.00 0 0
1800.04/1800.01 c dins : 0.00 0 0
1800.04/1800.01 c undercover : 0.00 0 0
1800.04/1800.01 c nlp : 0.26 0 0
1800.04/1800.01 c trysol : 0.76 33362 99
1800.04/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.01 c dual LP : 703.93 922020 4629840 5.02 6577.13
1800.04/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.01 c diving/probing LP: 0.20 535 1760 3.29 8800.00
1800.04/1800.01 c strong branching : 5.43 5362 74447 13.88 13710.31
1800.04/1800.01 c (at root node) : - 33 3448 104.48 -
1800.04/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.01 c B&B Tree :
1800.04/1800.01 c number of runs : 1
1800.04/1800.01 c nodes : 2164731
1800.04/1800.01 c nodes (total) : 2164731
1800.04/1800.01 c nodes left : 2164732
1800.04/1800.01 c max depth : 151
1800.04/1800.01 c max depth (total): 151
1800.04/1800.01 c backtracks : 30048 (1.4%)
1800.04/1800.01 c delayed cutoffs : 0
1800.04/1800.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.04/1800.01 c avg switch length: 2.45
1800.04/1800.01 c switching time : 67.96
1800.04/1800.01 c Solution :
1800.04/1800.01 c Solutions found : 100 (1 improvements)
1800.04/1800.01 c First Solution : +4.20925000000000e+05 (in run 1, after 1 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.04/1800.01 c Primal Bound : +4.20925000000000e+05 (in run 1, after 1 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.04/1800.01 c Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Gap : infinite
1800.04/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Root Iterations : 185
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700344-1278534873/watcher-2700344-1278534873 -o /tmp/evaluation-result-2700344-1278534873/solver-2700344-1278534873 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700344-1278534873.wbo -t 1800 -m 3800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 2.58 2.21 3/178 21032
/proc/meminfo: memFree=29087008/32951124 swapFree=67111528/67111528
[pid=21032] ppid=21030 vsize=9140 CPUtime=0
/proc/21032/stat : 21032 (pbscip.linux.x8) R 21030 21032 20441 0 -1 4202496 1598 0 0 0 0 0 0 0 21 0 1 0 21701754 9359360 1517 4089446400 4194304 8223781 140737076183376 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21032/statm: 2320 1530 369 984 0 1333 0
[startup+0.035317 s]
/proc/loadavg: 1.92 2.58 2.21 3/178 21032
/proc/meminfo: memFree=29087008/32951124 swapFree=67111528/67111528
[pid=21032] ppid=21030 vsize=20464 CPUtime=0.02
/proc/21032/stat : 21032 (pbscip.linux.x8) R 21030 21032 20441 0 -1 4202496 5022 0 0 0 2 0 0 0 21 0 1 0 21701754 20955136 4063 4089446400 4194304 8223781 140737076183376 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21032/statm: 5116 4063 446 984 0 4129 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 20464
[startup+0.100305 s]
/proc/loadavg: 1.92 2.58 2.21 3/178 21032
/proc/meminfo: memFree=29087008/32951124 swapFree=67111528/67111528
[pid=21032] ppid=21030 vsize=25068 CPUtime=0.09
/proc/21032/stat : 21032 (pbscip.linux.x8) R 21030 21032 20441 0 -1 4202496 6328 0 0 0 8 1 0 0 21 0 1 0 21701754 25669632 5102 4089446400 4194304 8223781 140737076183376 18446744073709551615 4866079 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21032/statm: 6267 5117 564 984 0 5280 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25068
[startup+0.30027 s]
/proc/loadavg: 1.92 2.58 2.21 3/178 21032
/proc/meminfo: memFree=29087008/32951124 swapFree=67111528/67111528
[pid=21032] ppid=21030 vsize=29324 CPUtime=0.29
/proc/21032/stat : 21032 (pbscip.linux.x8) R 21030 21032 20441 0 -1 4202496 10144 0 0 0 27 2 0 0 21 0 1 0 21701754 30027776 6380 4089446400 4194304 8223781 140737076183376 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21032/statm: 7331 6380 578 984 0 6344 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29324
[startup+0.700199 s]
/proc/loadavg: 1.92 2.58 2.21 3/178 21032
/proc/meminfo: memFree=29087008/32951124 swapFree=67111528/67111528
[pid=21032] ppid=21030 vsize=29324 CPUtime=0.69
/proc/21032/stat : 21032 (pbscip.linux.x8) R 21030 21032 20441 0 -1 4202496 10144 0 0 0 63 6 0 0 22 0 1 0 21701754 30027776 6380 4089446400 4194304 8223781 140737076183376 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21032/statm: 7331 6380 578 984 0 6344 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29324
[startup+1.50106 s]
/proc/loadavg: 1.92 2.58 2.21 3/179 21033
/proc/meminfo: memFree=29062448/32951124 swapFree=67111528/67111528
[pid=21032] ppid=21030 vsize=29324 CPUtime=1.49
/proc/21032/stat : 21032 (pbscip.linux.x8) R 21030 21032 20441 0 -1 4202496 10144 0 0 0 137 12 0 0 25 0 1 0 21701754 30027776 6380 4089446400 4194304 8223781 140737076183376 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21032/statm: 7331 6380 578 984 0 6344 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29324
[startup+3.10078 s]
/proc/loadavg: 1.92 2.58 2.21 3/179 21033
/proc/meminfo: memFree=29061208/32951124 swapFree=67111528/67111528
[pid=21032] ppid=21030 vsize=30568 CPUtime=3.09
/proc/21032/stat : 21032 (pbscip.linux.x8) R 21030 21032 20441 0 -1 4202496 13326 0 0 0 283 26 0 0 25 0 1 0 21701754 31301632 6621 4089446400 4194304 8223781 140737076183376 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21032/statm: 7642 6621 584 984 0 6655 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30568
[startup+6.30021 s]
/proc/loadavg: 1.93 2.57 2.21 3/179 21033
/proc/meminfo: memFree=29053908/32951124 swapFree=67111528/67111528
[pid=21032] ppid=21030 vsize=34108 CPUtime=6.29
/proc/21032/stat : 21032 (pbscip.linux.x8) R 21030 21032 20441 0 -1 4202496 23571 0 0 0 581 48 0 0 25 0 1 0 21701754 34926592 7531 4089446400 4194304 8223781 140737076183376 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21032/statm: 8527 7531 584 984 0 7540 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34108
[startup+12.7011 s]
/proc/loadavg: 1.93 2.56 2.21 3/179 21033
/proc/meminfo: memFree=29038172/32951124 swapFree=67111528/67111528
[pid=21032] ppid=21030 vsize=42536 CPUtime=12.69
/proc/21032/stat : 21032 (pbscip.linux.x8) R 21030 21032 20441 0 -1 4202496 28832 0 0 0 1177 92 0 0 25 0 1 0 21701754 43556864 9683 4089446400 4194304 8223781 140737076183376 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21032/statm: 10634 9683 584 984 0 9647 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42536
[startup+25.5008 s]
/proc/loadavg: 1.95 2.53 2.20 3/179 21033
/proc/meminfo: memFree=29009900/32951124 swapFree=67111528/67111528
[pid=21032] ppid=21030 vsize=58532 CPUtime=25.49
/proc/21032/stat : 21032 (pbscip.linux.x8) R 21030 21032 20441 0 -1 4202496 39139 0 0 0 2369 180 0 0 25 0 1 0 21701754 59936768 13744 4089446400 4194304 8223781 140737076183376 18446744073709551615 5955748 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21032/statm: 14633 13744 584 984 0 13646 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 58532
[startup+51.1003 s]
/proc/loadavg: 1.96 2.48 2.20 3/179 21034
/proc/meminfo: memFree=28958516/32951124 swapFree=67111528/67111528
[pid=21032] ppid=21030 vsize=91452 CPUtime=51.09
/proc/21032/stat : 21032 (pbscip.linux.x8) R 21030 21032 20441 0 -1 4202496 50588 0 0 0 4759 350 0 0 25 0 1 0 21701754 93646848 22072 4089446400 4194304 8223781 140737076183376 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21032/statm: 22863 22072 584 984 0 21876 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 91452
[startup+102.306 s]
/proc/loadavg: 1.98 2.41 2.18 3/179 21035
/proc/meminfo: memFree=28842288/32951124 swapFree=67111528/67111528
[pid=21032] ppid=21030 vsize=156060 CPUtime=102.29
/proc/21032/stat : 21032 (pbscip.linux.x8) R 21030 21032 20441 0 -1 4202496 69598 0 0 0 9533 696 0 0 25 0 1 0 21701754 159805440 37962 4089446400 4194304 8223781 140737076183376 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21032/statm: 39015 37962 584 984 0 38028 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 156060
[startup+162.301 s]
/proc/loadavg: 1.99 2.33 2.17 3/179 21037
/proc/meminfo: memFree=28717212/32951124 swapFree=67111528/67111528
[pid=21032] ppid=21030 vsize=227416 CPUtime=162.29
/proc/21032/stat : 21032 (pbscip.linux.x8) R 21030 21032 20441 0 -1 4202496 87715 0 0 0 15143 1086 0 0 25 0 1 0 21701754 232873984 56078 4089446400 4194304 8223781 140737076183376 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21032/statm: 56854 56078 584 984 0 55867 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 227416
[startup+222.301 s]
/proc/loadavg: 2.07 2.28 2.16 3/179 21038
/proc/meminfo: memFree=28582612/32951124 swapFree=67111528/67111528
[pid=21032] ppid=21030 vsize=306888 CPUtime=222.29
/proc/21032/stat : 21032 (pbscip.linux.x8) R 21030 21032 20441 0 -1 4202496 109952 0 0 0 20760 1469 0 0 25 0 1 0 21701754 314253312 75208 4089446400 4194304 8223781 140737076183376 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21032/statm: 76722 75208 584 984 0 75735 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 306888
[startup+282.3 s]
/proc/loadavg: 2.03 2.23 2.15 3/179 21040
/proc/meminfo: memFree=28454336/32951124 swapFree=67111528/67111528
[pid=21032] ppid=21030 vsize=379044 CPUtime=282.3
/proc/21032/stat : 21032 (pbscip.linux.x8) R 21030 21032 20441 0 -1 4202496 128291 0 0 0 26367 1863 0 0 25 0 1 0 21701754 388141056 93545 4089446400 4194304 8223781 140737076183376 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21032/statm: 94761 93545 584 984 0 93774 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 379044
[startup+342.301 s]
/proc/loadavg: 2.01 2.19 2.14 3/179 21042
/proc/meminfo: memFree=28320348/32951124 swapFree=67111528/67111528
[pid=21032] ppid=21030 vsize=453812 CPUtime=342.3
/proc/21032/stat : 21032 (pbscip.linux.x8) R 21030 21032 20441 0 -1 4202496 150388 0 0 0 31986 2244 0 0 25 0 1 0 21701754 464703488 112529 4089446400 4194304 8223781 140737076183376 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21032/statm: 113453 112529 584 984 0 112466 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 453812
[startup+402.3 s]
/proc/loadavg: 2.00 2.15 2.13 3/179 21043
/proc/meminfo: memFree=28192568/32951124 swapFree=67111528/67111528
[pid=21032] ppid=21030 vsize=536164 CPUtime=402.3
/proc/21032/stat : 21032 (pbscip.linux.x8) R 21030 21032 20441 0 -1 4202496 169228 0 0 0 37596 2634 0 0 25 0 1 0 21701754 549031936 131363 4089446400 4194304 8223781 140737076183376 18446744073709551615 4902885 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21032/statm: 134041 131363 584 984 0 133054 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 536164
[startup+462.301 s]
/proc/loadavg: 2.00 2.12 2.12 3/179 21045
/proc/meminfo: memFree=28059832/32951124 swapFree=67111528/67111528
[pid=21032] ppid=21030 vsize=608112 CPUtime=462.3
/proc/21032/stat : 21032 (pbscip.linux.x8) R 21030 21032 20441 0 -1 4202496 187488 0 0 0 43213 3017 0 0 25 0 1 0 21701754 622706688 149623 4089446400 4194304 8223781 140737076183376 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21032/statm: 152028 149623 584 984 0 151041 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 608112
[startup+522.301 s]
/proc/loadavg: 2.04 2.11 2.11 3/179 21073
/proc/meminfo: memFree=29627244/32951124 swapFree=67111528/67111528
[pid=21032] ppid=21030 vsize=681316 CPUtime=522.3
/proc/21032/stat : 21032 (pbscip.linux.x8) R 21030 21032 20441 0 -1 4202496 206094 0 0 0 48845 3385 0 0 25 0 1 0 21701754 697667584 168229 4089446400 4194304 8223781 140737076183376 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21032/statm: 170329 168229 584 984 0 169342 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 681316
[startup+582.3 s]
/proc/loadavg: 2.01 2.09 2.10 3/179 21075
/proc/meminfo: memFree=29549576/32951124 swapFree=67111528/67111528
[pid=21032] ppid=21030 vsize=757520 CPUtime=582.3
/proc/21032/stat : 21032 (pbscip.linux.x8) R 21030 21032 20441 0 -1 4202496 225430 0 0 0 54474 3756 0 0 25 0 1 0 21701754 775700480 187565 4089446400 4194304 8223781 140737076183376 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21032/statm: 189380 187565 584 984 0 188393 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 757520
[startup+642.301 s]
/proc/loadavg: 2.00 2.07 2.09 3/179 21077
/proc/meminfo: memFree=29472884/32951124 swapFree=67111528/67111528
[pid=21032] ppid=21030 vsize=832284 CPUtime=642.32
/proc/21032/stat : 21032 (pbscip.linux.x8) R 21030 21032 20441 0 -1 4202496 244426 0 0 0 60098 4134 0 0 25 0 1 0 21701754 852258816 206559 4089446400 4194304 8223781 140737076183376 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21032/statm: 208071 206559 584 984 0 207084 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 832284
[startup+702.3 s]
################
# More data... #
################
/proc/21032/stat : 21032 (pbscip.linux.x8) R 21030 21032 20441 0 -1 4202496 358494 0 0 0 94533 5699 0 0 25 0 1 0 21701754 1316339712 317500 4089446400 4194304 8223781 140737076183376 18446744073709551615 5893882 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21032/statm: 321372 317500 584 984 0 320385 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1285488
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/179 21240
/proc/meminfo: memFree=28942284/32951124 swapFree=67111528/67111528
[pid=21032] ppid=21030 vsize=1355020 CPUtime=1062.32
/proc/21032/stat : 21032 (pbscip.linux.x8) R 21030 21032 20441 0 -1 4202496 376133 0 0 0 100432 5800 0 0 25 0 1 0 21701754 1387540480 335139 4089446400 4194304 8223781 140737076183376 18446744073709551615 6003452 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21032/statm: 338755 335139 584 984 0 337768 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1355020
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/179 21241
/proc/meminfo: memFree=28868928/32951124 swapFree=67111528/67111528
[pid=21032] ppid=21030 vsize=1423752 CPUtime=1122.32
/proc/21032/stat : 21032 (pbscip.linux.x8) R 21030 21032 20441 0 -1 4202496 393595 0 0 0 106328 5904 0 0 25 0 1 0 21701754 1457922048 352601 4089446400 4194304 8223781 140737076183376 18446744073709551615 6448634 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21032/statm: 355938 352601 584 984 0 354951 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1423752
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 21243
/proc/meminfo: memFree=28796972/32951124 swapFree=67111528/67111528
[pid=21032] ppid=21030 vsize=1493820 CPUtime=1182.32
/proc/21032/stat : 21032 (pbscip.linux.x8) R 21030 21032 20441 0 -1 4202496 411378 0 0 0 112229 6003 0 0 25 0 1 0 21701754 1529671680 370384 4089446400 4194304 8223781 140737076183376 18446744073709551615 6448683 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21032/statm: 373455 370384 584 984 0 372468 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1493820
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 21245
/proc/meminfo: memFree=28727104/32951124 swapFree=67111528/67111528
[pid=21032] ppid=21030 vsize=1562212 CPUtime=1242.32
/proc/21032/stat : 21032 (pbscip.linux.x8) R 21030 21032 20441 0 -1 4202496 428757 0 0 0 118124 6108 0 0 25 0 1 0 21701754 1599705088 387763 4089446400 4194304 8223781 140737076183376 18446744073709551615 6456407 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21032/statm: 390553 387763 584 984 0 389566 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1562212
[startup+1302.3 s]
/proc/loadavg: 2.04 2.01 2.04 3/179 21246
/proc/meminfo: memFree=28655740/32951124 swapFree=67111528/67111528
[pid=21032] ppid=21030 vsize=1631304 CPUtime=1302.33
/proc/21032/stat : 21032 (pbscip.linux.x8) R 21030 21032 20441 0 -1 4202496 446291 0 0 0 124018 6215 0 0 25 0 1 0 21701754 1670455296 405294 4089446400 4194304 8223781 140737076183376 18446744073709551615 6003640 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21032/statm: 407826 405294 584 984 0 406839 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1631304
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.03 3/179 21248
/proc/meminfo: memFree=28584648/32951124 swapFree=67111528/67111528
[pid=21032] ppid=21030 vsize=1700924 CPUtime=1362.32
/proc/21032/stat : 21032 (pbscip.linux.x8) R 21030 21032 20441 0 -1 4202496 467081 0 0 0 129913 6319 0 0 25 0 1 0 21701754 1741746176 422977 4089446400 4194304 8223781 140737076183376 18446744073709551615 6004083 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21032/statm: 425231 422977 584 984 0 424244 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1700924
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 21249
/proc/meminfo: memFree=28512816/32951124 swapFree=67111528/67111528
[pid=21032] ppid=21030 vsize=1770696 CPUtime=1422.33
/proc/21032/stat : 21032 (pbscip.linux.x8) R 21030 21032 20441 0 -1 4202496 484811 0 0 0 135808 6425 0 0 25 0 1 0 21701754 1813192704 440703 4089446400 4194304 8223781 140737076183376 18446744073709551615 6446791 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21032/statm: 442674 440703 584 984 0 441687 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1770696
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 21251
/proc/meminfo: memFree=28443316/32951124 swapFree=67111528/67111528
[pid=21032] ppid=21030 vsize=1839176 CPUtime=1482.32
/proc/21032/stat : 21032 (pbscip.linux.x8) R 21030 21032 20441 0 -1 4202496 502200 0 0 0 141707 6525 0 0 25 0 1 0 21701754 1883316224 458092 4089446400 4194304 8223781 140737076183376 18446744073709551615 4237199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21032/statm: 459794 458092 584 984 0 458807 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 1839176
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/179 21253
/proc/meminfo: memFree=28371328/32951124 swapFree=67111528/67111528
[pid=21032] ppid=21030 vsize=1908820 CPUtime=1542.32
/proc/21032/stat : 21032 (pbscip.linux.x8) R 21030 21032 20441 0 -1 4202496 519887 0 0 0 147605 6627 0 0 25 0 1 0 21701754 1954631680 475779 4089446400 4194304 8223781 140737076183376 18446744073709551615 6439929 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21032/statm: 477205 475779 584 984 0 476218 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 1908820
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/179 21263
/proc/meminfo: memFree=28299900/32951124 swapFree=67111528/67111528
[pid=21032] ppid=21030 vsize=1978336 CPUtime=1602.32
/proc/21032/stat : 21032 (pbscip.linux.x8) R 21030 21032 20441 0 -1 4202496 537541 0 0 0 153501 6731 0 0 25 0 1 0 21701754 2025816064 493433 4089446400 4194304 8223781 140737076183376 18446744073709551615 6074943 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21032/statm: 494584 493433 584 984 0 493597 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 1978336
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21265
/proc/meminfo: memFree=28229640/32951124 swapFree=67111528/67111528
[pid=21032] ppid=21030 vsize=2046728 CPUtime=1662.33
/proc/21032/stat : 21032 (pbscip.linux.x8) R 21030 21032 20441 0 -1 4202496 554921 0 0 0 159397 6836 0 0 25 0 1 0 21701754 2095849472 510813 4089446400 4194304 8223781 140737076183376 18446744073709551615 6455726 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21032/statm: 511682 510813 584 984 0 510695 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 2046728
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21266
/proc/meminfo: memFree=28158568/32951124 swapFree=67111528/67111528
[pid=21032] ppid=21030 vsize=2148484 CPUtime=1722.33
/proc/21032/stat : 21032 (pbscip.linux.x8) R 21030 21032 20441 0 -1 4202496 572445 0 0 0 165291 6942 0 0 25 0 1 0 21701754 2200047616 528337 4089446400 4194304 8223781 140737076183376 18446744073709551615 4902922 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21032/statm: 537121 528337 584 984 0 536134 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 2148484
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21268
/proc/meminfo: memFree=28088332/32951124 swapFree=67111528/67111528
[pid=21032] ppid=21030 vsize=2217308 CPUtime=1782.33
/proc/21032/stat : 21032 (pbscip.linux.x8) R 21030 21032 20441 0 -1 4202496 589922 0 0 0 171193 7040 0 0 25 0 1 0 21701754 2270523392 545813 4089446400 4194304 8223781 140737076183376 18446744073709551615 7074008 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21032/statm: 554327 545813 584 984 0 553340 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 2217308
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21269
/proc/meminfo: memFree=28067240/32951124 swapFree=67111528/67111528
[pid=21032] ppid=21030 vsize=2238268 CPUtime=1800.04
/proc/21032/stat : 21032 (pbscip.linux.x8) R 21030 21032 20441 0 -1 4202496 595239 0 0 0 172934 7070 0 0 25 0 1 0 21701754 2291986432 551130 4089446400 4194304 8223781 140737076183376 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21032/statm: 559567 551130 584 984 0 558580 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2238268
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -21032
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 21270
/proc/meminfo: memFree=28067232/32951124 swapFree=67111528/67111528
[pid=21032] ppid=21030 vsize=2238268 CPUtime=1801.43
/proc/21032/stat : 21032 (pbscip.linux.x8) R 21030 21032 20441 0 -1 4202496 595241 0 0 0 173073 7070 0 0 25 0 1 0 21701754 2291986432 551132 4089446400 4194304 8223781 140737076183376 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21032/statm: 559567 551132 586 984 0 558580 0
Current children cumulated CPU time (s) 1801.43
Current children cumulated vsize (KiB) 2238268
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 21270
/proc/meminfo: memFree=28066984/32951124 swapFree=67111528/67111528
[pid=21032] ppid=21030 vsize=2238268 CPUtime=1801.83
/proc/21032/stat : 21032 (pbscip.linux.x8) R 21030 21032 20441 0 -1 4202496 595241 0 0 0 173113 7070 0 0 25 0 1 0 21701754 2291986432 551132 4089446400 4194304 8223781 140737076183376 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21032/statm: 559567 551132 586 984 0 558580 0
Current children cumulated CPU time (s) 1801.83
Current children cumulated vsize (KiB) 2238268
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 21270
/proc/meminfo: memFree=28066984/32951124 swapFree=67111528/67111528
[pid=21032] ppid=21030 vsize=2238268 CPUtime=1802.03
/proc/21032/stat : 21032 (pbscip.linux.x8) R 21030 21032 20441 0 -1 4202496 595241 0 0 0 173133 7070 0 0 25 0 1 0 21701754 2291986432 551132 4089446400 4194304 8223781 140737076183376 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21032/statm: 559567 551132 586 984 0 558580 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 2238268
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.09
CPU time (s): 1802.14
CPU user time (s): 1731.34
CPU system time (s): 70.7952
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2238268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1731.34
system time used= 70.7952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 595241
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= 1
involuntary context switches= 3015
runsolver used 2.48862 second user time and 5.72113 second system time
The end
Begin job on node103 at 2010-07-07 22:34:34
IDJOB=2700344
IDBENCH=79420
IDSOLVER=1204
FILE ID=node103/2700344-1278534873
PBS_JOBID= 11239271
Free space on /tmp= 73740 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/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh08_wcsp.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-2700344-1278534873/watcher-2700344-1278534873 -o /tmp/evaluation-result-2700344-1278534873/solver-2700344-1278534873 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700344-1278534873.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= f8c09bda9afe7c43c5a568001f4bbb58
RANDOM SEED=1562594463
node103.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.793
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.58
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.793
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.82
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.793
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.793
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.86
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.793
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.793
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.793
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.793
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 : 5408.92
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 29087908 kB
Buffers: 129152 kB
Cached: 2309656 kB
SwapCached: 0 kB
Active: 2247960 kB
Inactive: 1469520 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 29087908 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 4676 kB
Writeback: 0 kB
AnonPages: 1278736 kB
Mapped: 15680 kB
Slab: 78432 kB
PageTables: 7276 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 1419888 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= 73736 MiB
End job on node103 at 2010-07-07 23:04:36