0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [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-2664614-1276405505.opb>
0.00/0.05 c original problem has 720 variables (720 bin, 0 int, 0 impl, 0 cont) and 2168 constraints
0.00/0.05 c problem read
0.00/0.05 c presolving settings loaded
0.00/0.05 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.06 c presolving:
0.09/0.11 c (round 1) 120 del vars, 120 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1928 upgd conss, 992 impls, 0 clqs
0.09/0.13 c (round 2) 120 del vars, 240 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1928 upgd conss, 992 impls, 0 clqs
0.09/0.15 c (0.1s) probing: 101/600 (16.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15 c presolving (3 rounds):
0.09/0.15 c 120 deleted vars, 240 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.15 c 992 implications, 0 cliques
0.09/0.15 c presolved problem has 600 variables (600 bin, 0 int, 0 impl, 0 cont) and 1928 constraints
0.09/0.15 c 24 constraints of type <knapsack>
0.09/0.15 c 1904 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.08
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.2
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1799.96
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 1620
0.09/0.15 c
0.09/0.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c lp/solvefreq = -1
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.16 c 0.1s| 1 | 2 | 0 | - |3252k| 0 | - | 600 |1928 | 0 | 0 | 0 | 0 | 0 | 1.200000e+01 | -- | Inf
7.39/7.45 c 7.1s| 10000 | 7535 | 0 | 0.0 | 10M| 53 | - | 600 |3045 | 0 | 0 | 0 |3135 | 0 | 1.300000e+01 | -- | Inf
15.79/15.80 c 15.2s| 20000 | 14211 | 0 | 0.0 | 17M| 68 | - | 600 |3590 | 0 | 0 | 0 |7292 | 0 | 1.400000e+01 | -- | Inf
24.38/24.45 c 23.6s| 30000 | 20890 | 0 | 0.0 | 24M| 68 | - | 600 |3922 | 0 | 0 | 0 | 11k| 0 | 1.400000e+01 | -- | Inf
32.99/33.08 c 31.9s| 40000 | 27901 | 0 | 0.0 | 30M| 68 | - | 600 |3845 | 0 | 0 | 0 | 14k| 0 | 1.400000e+01 | -- | Inf
41.58/41.61 c 40.2s| 50000 | 34861 | 0 | 0.0 | 36M| 68 | - | 600 |3389 | 0 | 0 | 0 | 18k| 0 | 1.500000e+01 | -- | Inf
49.98/50.01 c 48.3s| 60000 | 41950 | 0 | 0.0 | 41M| 68 | - | 600 |3427 | 0 | 0 | 0 | 22k| 0 | 1.500000e+01 | -- | Inf
58.58/58.63 c 56.6s| 70000 | 48932 | 0 | 0.0 | 47M| 68 | - | 600 |3466 | 0 | 0 | 0 | 26k| 0 | 1.500000e+01 | -- | Inf
67.37/67.41 c 65.1s| 80000 | 55653 | 0 | 0.0 | 52M| 68 | - | 600 |3358 | 0 | 0 | 0 | 30k| 0 | 1.500000e+01 | -- | Inf
76.16/76.27 c 73.7s| 90000 | 62420 | 0 | 0.0 | 58M| 68 | - | 600 |3466 | 0 | 0 | 0 | 34k| 0 | 1.500000e+01 | -- | Inf
85.46/85.58 c 82.7s|100000 | 68992 | 0 | 0.0 | 64M| 68 | - | 600 |3671 | 0 | 0 | 0 | 39k| 0 | 1.500000e+01 | -- | Inf
94.66/94.73 c 91.6s|110000 | 75748 | 0 | 0.0 | 70M| 68 | - | 600 |3612 | 0 | 0 | 0 | 43k| 0 | 1.500000e+01 | -- | Inf
104.16/104.29 c 101s|120000 | 81912 | 0 | 0.0 | 76M| 68 | - | 600 |3626 | 0 | 0 | 0 | 48k| 0 | 1.500000e+01 | -- | Inf
113.46/113.58 c 110s|130000 | 88276 | 0 | 0.0 | 82M| 68 | - | 600 |3390 | 0 | 0 | 0 | 53k| 0 | 1.500000e+01 | -- | Inf
122.25/122.33 c 118s|140000 | 95228 | 0 | 0.0 | 88M| 68 | - | 600 |3471 | 0 | 0 | 0 | 57k| 0 | 1.500000e+01 | -- | Inf
131.15/131.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
131.15/131.23 c 127s|150000 |101913 | 0 | 0.0 | 93M| 68 | - | 600 |3501 | 0 | 0 | 0 | 60k| 0 | 1.500000e+01 | -- | Inf
140.05/140.19 c 136s|160000 |108400 | 0 | 0.0 | 98M| 68 | - | 600 |3470 | 0 | 0 | 0 | 65k| 0 | 1.500000e+01 | -- | Inf
148.94/149.00 c 144s|170000 |115347 | 0 | 0.0 | 104M| 68 | - | 600 |3578 | 0 | 0 | 0 | 68k| 0 | 1.500000e+01 | -- | Inf
157.85/157.92 c 153s|180000 |122289 | 0 | 0.0 | 110M| 68 | - | 600 |3779 | 0 | 0 | 0 | 72k| 0 | 1.600000e+01 | -- | Inf
166.94/167.07 c 162s|190000 |128911 | 0 | 0.0 | 117M| 68 | - | 600 |3932 | 0 | 0 | 0 | 76k| 0 | 1.600000e+01 | -- | Inf
176.24/176.31 c 171s|200000 |135415 | 0 | 0.0 | 123M| 68 | - | 600 |3945 | 0 | 0 | 0 | 80k| 0 | 1.600000e+01 | -- | Inf
185.64/185.75 c 180s|210000 |141696 | 0 | 0.0 | 129M| 68 | - | 600 |4184 | 0 | 0 | 0 | 84k| 0 | 1.600000e+01 | -- | Inf
194.53/194.64 c 188s|220000 |148470 | 0 | 0.0 | 134M| 68 | - | 600 |3346 | 0 | 0 | 0 | 88k| 0 | 1.600000e+01 | -- | Inf
203.33/203.40 c 197s|230000 |155293 | 0 | 0.0 | 140M| 68 | - | 600 |3489 | 0 | 0 | 0 | 92k| 0 | 1.600000e+01 | -- | Inf
212.03/212.17 c 205s|240000 |162057 | 0 | 0.0 | 146M| 68 | - | 600 |3603 | 0 | 0 | 0 | 96k| 0 | 1.600000e+01 | -- | Inf
221.02/221.15 c 214s|250000 |168643 | 0 | 0.0 | 152M| 68 | - | 600 |3574 | 0 | 0 | 0 | 100k| 0 | 1.600000e+01 | -- | Inf
230.02/230.16 c 223s|260000 |175072 | 0 | 0.0 | 158M| 68 | - | 600 |3672 | 0 | 0 | 0 | 105k| 0 | 1.600000e+01 | -- | Inf
239.21/239.30 c 232s|270000 |181422 | 0 | 0.0 | 164M| 68 | - | 600 |3563 | 0 | 0 | 0 | 109k| 0 | 1.600000e+01 | -- | Inf
248.42/248.50 c 240s|280000 |187657 | 0 | 0.0 | 170M| 68 | - | 600 |3666 | 0 | 0 | 0 | 114k| 0 | 1.600000e+01 | -- | Inf
257.81/257.98 c 250s|290000 |193819 | 0 | 0.0 | 176M| 68 | - | 600 |3430 | 0 | 0 | 0 | 119k| 0 | 1.600000e+01 | -- | Inf
267.31/267.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
267.31/267.49 c 259s|300000 |200173 | 0 | 0.0 | 182M| 68 | - | 600 |3770 | 0 | 0 | 0 | 123k| 0 | 1.600000e+01 | -- | Inf
276.91/277.03 c 268s|310000 |206395 | 0 | 0.0 | 189M| 68 | - | 600 |3858 | 0 | 0 | 0 | 128k| 0 | 1.600000e+01 | -- | Inf
286.51/286.61 c 277s|320000 |212613 | 0 | 0.0 | 196M| 68 | - | 600 |4063 | 0 | 0 | 0 | 133k| 0 | 1.600000e+01 | -- | Inf
296.20/296.38 c 287s|330000 |218725 | 0 | 0.0 | 202M| 68 | - | 600 |4005 | 0 | 0 | 0 | 138k| 0 | 1.600000e+01 | -- | Inf
305.79/305.94 c 296s|340000 |225249 | 0 | 0.0 | 209M| 68 | - | 600 |4153 | 0 | 0 | 0 | 142k| 0 | 1.600000e+01 | -- | Inf
315.79/315.91 c 306s|350000 |231364 | 0 | 0.0 | 216M| 68 | - | 600 |4098 | 0 | 0 | 0 | 147k| 0 | 1.600000e+01 | -- | Inf
324.98/325.13 c 315s|360000 |237457 | 0 | 0.0 | 222M| 68 | - | 600 |3502 | 0 | 0 | 0 | 151k| 0 | 1.600000e+01 | -- | Inf
334.19/334.37 c 324s|370000 |243292 | 0 | 0.0 | 227M| 68 | - | 600 |3462 | 0 | 0 | 0 | 156k| 0 | 1.600000e+01 | -- | Inf
343.28/343.45 c 333s|380000 |249601 | 0 | 0.0 | 233M| 68 | - | 600 |3558 | 0 | 0 | 0 | 160k| 0 | 1.600000e+01 | -- | Inf
352.38/352.58 c 341s|390000 |255800 | 0 | 0.0 | 240M| 68 | - | 600 |3808 | 0 | 0 | 0 | 164k| 0 | 1.600000e+01 | -- | Inf
361.78/361.92 c 350s|400000 |262035 | 0 | 0.0 | 246M| 68 | - | 600 |3721 | 0 | 0 | 0 | 169k| 0 | 1.600000e+01 | -- | Inf
371.37/371.56 c 360s|410000 |267918 | 0 | 0.0 | 253M| 68 | - | 600 |4079 | 0 | 0 | 0 | 173k| 0 | 1.600000e+01 | -- | Inf
381.07/381.23 c 369s|420000 |273736 | 0 | 0.0 | 259M| 68 | - | 600 |3592 | 0 | 0 | 0 | 178k| 0 | 1.600000e+01 | -- | Inf
390.27/390.49 c 378s|430000 |280142 | 0 | 0.0 | 266M| 68 | - | 600 |3826 | 0 | 0 | 0 | 183k| 0 | 1.700000e+01 | -- | Inf
399.67/399.82 c 387s|440000 |286457 | 0 | 0.0 | 273M| 68 | - | 600 |3937 | 0 | 0 | 0 | 187k| 0 | 1.700000e+01 | -- | Inf
409.07/409.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
409.07/409.23 c 396s|450000 |292787 | 0 | 0.0 | 280M| 68 | - | 600 |4066 | 0 | 0 | 0 | 191k| 0 | 1.700000e+01 | -- | Inf
419.17/419.36 c 406s|460000 |297543 | 0 | 0.0 | 285M| 68 | - | 600 |3617 | 0 | 0 | 0 | 196k| 0 | 1.700000e+01 | -- | Inf
429.75/429.91 c 416s|470000 |302206 | 0 | 0.0 | 291M| 68 | - | 600 |3765 | 0 | 0 | 0 | 202k| 0 | 1.700000e+01 | -- | Inf
440.35/440.55 c 427s|480000 |306604 | 0 | 0.0 | 297M| 68 | - | 600 |3812 | 0 | 0 | 0 | 208k| 0 | 1.700000e+01 | -- | Inf
450.54/450.79 c 437s|490000 |311375 | 0 | 0.0 | 302M| 68 | - | 600 |3532 | 0 | 0 | 0 | 214k| 0 | 1.700000e+01 | -- | Inf
461.05/461.23 c 447s|500000 |316169 | 0 | 0.0 | 308M| 68 | - | 600 |3667 | 0 | 0 | 0 | 221k| 0 | 1.700000e+01 | -- | Inf
471.54/471.79 c 457s|510000 |321211 | 0 | 0.0 | 314M| 68 | - | 600 |3652 | 0 | 0 | 0 | 227k| 0 | 1.700000e+01 | -- | Inf
482.04/482.20 c 467s|520000 |326327 | 0 | 0.0 | 320M| 68 | - | 600 |3804 | 0 | 0 | 0 | 233k| 0 | 1.700000e+01 | -- | Inf
492.43/492.64 c 477s|530000 |331477 | 0 | 0.0 | 326M| 68 | - | 600 |3770 | 0 | 0 | 0 | 238k| 0 | 1.700000e+01 | -- | Inf
503.14/503.38 c 488s|540000 |336373 | 0 | 0.0 | 332M| 68 | - | 600 |3756 | 0 | 0 | 0 | 244k| 0 | 1.700000e+01 | -- | Inf
514.23/514.45 c 498s|550000 |341092 | 0 | 0.0 | 338M| 68 | - | 600 |4058 | 0 | 0 | 0 | 251k| 0 | 1.700000e+01 | -- | Inf
525.43/525.64 c 509s|560000 |345681 | 0 | 0.0 | 344M| 68 | - | 600 |4074 | 0 | 0 | 0 | 257k| 0 | 1.700000e+01 | -- | Inf
536.63/536.89 c 520s|570000 |350147 | 0 | 0.0 | 349M| 68 | - | 600 |4100 | 0 | 0 | 0 | 264k| 0 | 1.700000e+01 | -- | Inf
547.82/548.09 c 531s|580000 |354613 | 0 | 0.0 | 355M| 68 | - | 600 |4012 | 0 | 0 | 0 | 270k| 0 | 1.700000e+01 | -- | Inf
558.41/558.62 c 541s|590000 |360230 | 0 | 0.0 | 361M| 68 | - | 600 |3982 | 0 | 0 | 0 | 276k| 0 | 1.700000e+01 | -- | Inf
569.11/569.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
569.11/569.38 c 552s|600000 |365483 | 0 | 0.0 | 367M| 68 | - | 600 |4033 | 0 | 0 | 0 | 283k| 0 | 1.700000e+01 | -- | Inf
580.21/580.46 c 562s|610000 |370830 | 0 | 0.0 | 374M| 68 | - | 600 |4027 | 0 | 0 | 0 | 289k| 0 | 1.700000e+01 | -- | Inf
591.41/591.60 c 573s|620000 |376110 | 0 | 0.0 | 381M| 68 | - | 600 |4098 | 0 | 0 | 0 | 295k| 0 | 1.700000e+01 | -- | Inf
602.80/603.02 c 584s|630000 |381037 | 0 | 0.0 | 387M| 68 | - | 600 |4160 | 0 | 0 | 0 | 302k| 0 | 1.700000e+01 | -- | Inf
614.40/614.66 c 596s|640000 |386225 | 0 | 0.0 | 394M| 68 | - | 600 |4214 | 0 | 0 | 0 | 308k| 0 | 1.700000e+01 | -- | Inf
625.99/626.23 c 607s|650000 |391226 | 0 | 0.0 | 400M| 68 | - | 600 |4447 | 0 | 0 | 0 | 315k| 0 | 1.700000e+01 | -- | Inf
637.90/638.12 c 618s|660000 |395913 | 0 | 0.0 | 407M| 68 | - | 600 |4291 | 0 | 0 | 0 | 322k| 0 | 1.700000e+01 | -- | Inf
649.89/650.12 c 630s|670000 |400757 | 0 | 0.0 | 413M| 68 | - | 600 |4712 | 0 | 0 | 0 | 329k| 0 | 1.700000e+01 | -- | Inf
662.18/662.45 c 642s|680000 |405358 | 0 | 0.0 | 419M| 68 | - | 600 |4711 | 0 | 0 | 0 | 337k| 0 | 1.700000e+01 | -- | Inf
674.28/674.52 c 654s|690000 |410285 | 0 | 0.0 | 426M| 68 | - | 600 |4629 | 0 | 0 | 0 | 344k| 0 | 1.700000e+01 | -- | Inf
686.57/686.88 c 666s|700000 |414825 | 0 | 0.0 | 432M| 68 | - | 600 |4685 | 0 | 0 | 0 | 351k| 0 | 1.700000e+01 | -- | Inf
699.28/699.54 c 678s|710000 |419210 | 0 | 0.0 | 439M| 68 | - | 600 |4843 | 0 | 0 | 0 | 359k| 0 | 1.800000e+01 | -- | Inf
712.58/712.84 c 691s|720000 |423082 | 0 | 0.0 | 446M| 68 | - | 600 |4854 | 0 | 0 | 0 | 367k| 0 | 1.800000e+01 | -- | Inf
723.07/723.35 c 701s|730000 |428960 | 0 | 0.0 | 452M| 68 | - | 600 |4069 | 0 | 0 | 0 | 372k| 0 | 1.800000e+01 | -- | Inf
733.67/733.94 c 712s|740000 |434273 | 0 | 0.0 | 459M| 68 | - | 600 |4160 | 0 | 0 | 0 | 378k| 0 | 1.800000e+01 | -- | Inf
744.96/745.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
744.96/745.25 c 723s|750000 |439424 | 0 | 0.0 | 465M| 68 | - | 600 |4636 | 0 | 0 | 0 | 384k| 0 | 1.800000e+01 | -- | Inf
756.66/756.91 c 734s|760000 |444407 | 0 | 0.0 | 471M| 68 | - | 600 |4692 | 0 | 0 | 0 | 390k| 0 | 1.800000e+01 | -- | Inf
768.46/768.74 c 746s|770000 |449392 | 0 | 0.0 | 477M| 68 | - | 600 |4475 | 0 | 0 | 0 | 397k| 0 | 1.800000e+01 | -- | Inf
779.66/779.98 c 757s|780000 |454890 | 0 | 0.0 | 484M| 68 | - | 600 |4428 | 0 | 0 | 0 | 403k| 0 | 1.800000e+01 | -- | Inf
791.15/791.44 c 768s|790000 |460264 | 0 | 0.0 | 490M| 68 | - | 600 |4597 | 0 | 0 | 0 | 409k| 0 | 1.800000e+01 | -- | Inf
802.35/802.65 c 779s|800000 |465950 | 0 | 0.0 | 497M| 68 | - | 600 |4634 | 0 | 0 | 0 | 415k| 0 | 1.800000e+01 | -- | Inf
813.75/814.00 c 790s|810000 |471569 | 0 | 0.0 | 503M| 68 | - | 600 |4716 | 0 | 0 | 0 | 421k| 0 | 1.800000e+01 | -- | Inf
825.54/825.81 c 801s|820000 |476844 | 0 | 0.0 | 510M| 68 | - | 600 |4937 | 0 | 0 | 0 | 428k| 0 | 1.800000e+01 | -- | Inf
837.53/837.89 c 813s|830000 |482094 | 0 | 0.0 | 517M| 68 | - | 600 |4977 | 0 | 0 | 0 | 434k| 0 | 1.800000e+01 | -- | Inf
849.83/850.19 c 825s|840000 |487288 | 0 | 0.0 | 523M| 68 | - | 600 |5264 | 0 | 0 | 0 | 441k| 0 | 1.800000e+01 | -- | Inf
862.23/862.56 c 837s|850000 |492437 | 0 | 0.0 | 530M| 68 | - | 600 |5093 | 0 | 0 | 0 | 448k| 0 | 1.800000e+01 | -- | Inf
875.23/875.51 c 849s|860000 |497222 | 0 | 0.0 | 536M| 68 | - | 600 |5028 | 0 | 0 | 0 | 455k| 0 | 1.800000e+01 | -- | Inf
887.03/887.35 c 861s|870000 |502631 | 0 | 0.0 | 543M| 68 | - | 600 |4835 | 0 | 0 | 0 | 462k| 0 | 1.800000e+01 | -- | Inf
898.62/898.94 c 872s|880000 |508018 | 0 | 0.0 | 549M| 68 | - | 600 |4532 | 0 | 0 | 0 | 468k| 0 | 1.800000e+01 | -- | Inf
910.21/910.50 c 884s|890000 |513669 | 0 | 0.0 | 556M| 68 | - | 600 |4458 | 0 | 0 | 0 | 474k| 0 | 1.800000e+01 | -- | Inf
921.42/921.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
921.42/921.78 c 894s|900000 |519405 | 0 | 0.0 | 563M| 68 | - | 600 |4845 | 0 | 0 | 0 | 480k| 0 | 1.800000e+01 | -- | Inf
933.01/933.39 c 906s|910000 |524754 | 0 | 0.0 | 569M| 68 | - | 600 |4769 | 0 | 0 | 0 | 486k| 0 | 1.800000e+01 | -- | Inf
944.91/945.27 c 917s|920000 |530286 | 0 | 0.0 | 576M| 68 | - | 600 |4832 | 0 | 0 | 0 | 492k| 0 | 1.800000e+01 | -- | Inf
957.21/957.54 c 929s|930000 |535500 | 0 | 0.0 | 583M| 68 | - | 600 |5253 | 0 | 0 | 0 | 499k| 0 | 1.800000e+01 | -- | Inf
969.60/969.94 c 941s|940000 |540454 | 0 | 0.0 | 589M| 68 | - | 600 |5026 | 0 | 0 | 0 | 505k| 0 | 1.800000e+01 | -- | Inf
981.90/982.20 c 953s|950000 |545837 | 0 | 0.0 | 596M| 68 | - | 600 |5027 | 0 | 0 | 0 | 512k| 0 | 1.800000e+01 | -- | Inf
994.49/994.81 c 966s|960000 |551091 | 0 | 0.0 | 603M| 68 | - | 600 |5224 | 0 | 0 | 0 | 519k| 0 | 1.800000e+01 | -- | Inf
1007.20/1007.53 c 978s|970000 |556096 | 0 | 0.0 | 609M| 68 | - | 600 |5256 | 0 | 0 | 0 | 526k| 0 | 1.800000e+01 | -- | Inf
1019.68/1020.09 c 990s|980000 |561114 | 0 | 0.0 | 616M| 68 | - | 600 |4871 | 0 | 0 | 0 | 534k| 0 | 1.800000e+01 | -- | Inf
1032.88/1033.28 c 1003s|990000 |565588 | 0 | 0.0 | 622M| 68 | - | 600 |5341 | 0 | 0 | 0 | 542k| 0 | 1.800000e+01 | -- | Inf
1045.68/1046.07 c 1015s| 1000k|570062 | 0 | 0.0 | 629M| 68 | - | 600 |4638 | 0 | 0 | 0 | 549k| 0 | 1.800000e+01 | -- | Inf
1058.28/1058.60 c 1028s| 1010k|574865 | 0 | 0.0 | 635M| 68 | - | 600 |4471 | 0 | 0 | 0 | 556k| 0 | 1.900000e+01 | -- | Inf
1070.57/1070.92 c 1040s| 1020k|579755 | 0 | 0.0 | 642M| 68 | - | 600 |4662 | 0 | 0 | 0 | 563k| 0 | 1.900000e+01 | -- | Inf
1082.77/1083.11 c 1051s| 1030k|584606 | 0 | 0.0 | 649M| 68 | - | 600 |4828 | 0 | 0 | 0 | 570k| 0 | 1.900000e+01 | -- | Inf
1095.17/1095.59 c 1064s| 1040k|589634 | 0 | 0.0 | 655M| 68 | - | 600 |4773 | 0 | 0 | 0 | 578k| 0 | 1.900000e+01 | -- | Inf
1107.77/1108.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1107.77/1108.12 c 1076s| 1050k|594614 | 0 | 0.0 | 662M| 68 | - | 600 |5168 | 0 | 0 | 0 | 585k| 0 | 1.900000e+01 | -- | Inf
1120.57/1120.90 c 1088s| 1060k|599566 | 0 | 0.0 | 669M| 68 | - | 600 |4926 | 0 | 0 | 0 | 592k| 0 | 1.900000e+01 | -- | Inf
1133.46/1133.87 c 1101s| 1070k|604343 | 0 | 0.0 | 676M| 68 | - | 600 |5144 | 0 | 0 | 0 | 600k| 0 | 1.900000e+01 | -- | Inf
1146.35/1146.74 c 1113s| 1080k|609420 | 0 | 0.0 | 682M| 68 | - | 600 |5106 | 0 | 0 | 0 | 607k| 0 | 1.900000e+01 | -- | Inf
1159.06/1159.44 c 1126s| 1090k|614170 | 0 | 0.0 | 689M| 68 | - | 600 |5168 | 0 | 0 | 0 | 614k| 0 | 1.900000e+01 | -- | Inf
1172.34/1172.71 c 1139s| 1100k|619058 | 0 | 0.0 | 697M| 68 | - | 600 |5371 | 0 | 0 | 0 | 621k| 0 | 1.900000e+01 | -- | Inf
1185.84/1186.23 c 1152s| 1110k|624246 | 0 | 0.0 | 704M| 68 | - | 600 |5380 | 0 | 0 | 0 | 629k| 0 | 1.900000e+01 | -- | Inf
1199.24/1199.65 c 1165s| 1120k|628657 | 0 | 0.0 | 711M| 68 | - | 600 |5411 | 0 | 0 | 0 | 637k| 0 | 1.900000e+01 | -- | Inf
1213.03/1213.47 c 1178s| 1130k|633328 | 0 | 0.0 | 718M| 68 | - | 600 |5749 | 0 | 0 | 0 | 645k| 0 | 1.900000e+01 | -- | Inf
1226.84/1227.25 c 1192s| 1140k|638129 | 0 | 0.0 | 725M| 68 | - | 600 |5552 | 0 | 0 | 0 | 653k| 0 | 1.900000e+01 | -- | Inf
1241.13/1241.58 c 1206s| 1150k|642338 | 0 | 0.0 | 732M| 68 | - | 600 |5723 | 0 | 0 | 0 | 661k| 0 | 1.900000e+01 | -- | Inf
1255.23/1255.66 c 1219s| 1160k|647158 | 0 | 0.0 | 739M| 68 | - | 600 |6142 | 0 | 0 | 0 | 669k| 0 | 1.900000e+01 | -- | Inf
1270.03/1270.42 c 1234s| 1170k|651258 | 0 | 0.0 | 747M| 68 | - | 600 |5856 | 0 | 0 | 0 | 677k| 0 | 1.900000e+01 | -- | Inf
1284.62/1285.01 c 1248s| 1180k|655823 | 0 | 0.0 | 754M| 68 | - | 600 |6170 | 0 | 0 | 0 | 686k| 0 | 1.900000e+01 | -- | Inf
1299.62/1300.03 c 1263s| 1190k|659923 | 0 | 0.0 | 760M| 68 | - | 600 |6021 | 0 | 0 | 0 | 694k| 0 | 1.900000e+01 | -- | Inf
1315.12/1315.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1315.12/1315.60 c 1278s| 1200k|664127 | 0 | 0.0 | 767M| 68 | - | 600 |6665 | 0 | 0 | 0 | 703k| 0 | 1.900000e+01 | -- | Inf
1331.20/1331.62 c 1294s| 1210k|667874 | 0 | 0.0 | 774M| 68 | - | 600 |6570 | 0 | 0 | 0 | 712k| 0 | 1.900000e+01 | -- | Inf
1347.01/1347.43 c 1309s| 1220k|672006 | 0 | 0.0 | 781M| 68 | - | 600 |6609 | 0 | 0 | 0 | 721k| 0 | 1.900000e+01 | -- | Inf
1363.00/1363.41 c 1325s| 1230k|675879 | 0 | 0.0 | 788M| 68 | - | 600 |6761 | 0 | 0 | 0 | 730k| 0 | 1.900000e+01 | -- | Inf
1377.89/1378.36 c 1339s| 1240k|680463 | 0 | 0.0 | 795M| 68 | - | 600 |5726 | 0 | 0 | 0 | 738k| 0 | 1.900000e+01 | -- | Inf
1389.08/1389.55 c 1350s| 1250k|687051 | 0 | 0.0 | 802M| 68 | - | 600 |5245 | 0 | 0 | 0 | 743k| 0 | 1.900000e+01 | -- | Inf
1400.69/1401.12 c 1361s| 1260k|693153 | 0 | 0.0 | 810M| 68 | - | 600 |5092 | 0 | 0 | 0 | 748k| 0 | 1.900000e+01 | -- | Inf
1412.58/1413.05 c 1373s| 1270k|699029 | 0 | 0.0 | 817M| 68 | - | 600 |5409 | 0 | 0 | 0 | 754k| 0 | 1.900000e+01 | -- | Inf
1425.48/1425.97 c 1386s| 1280k|704483 | 0 | 0.0 | 825M| 68 | - | 600 |5832 | 0 | 0 | 0 | 761k| 0 | 1.900000e+01 | -- | Inf
1438.28/1438.78 c 1398s| 1290k|709923 | 0 | 0.0 | 832M| 68 | - | 600 |5653 | 0 | 0 | 0 | 767k| 0 | 1.900000e+01 | -- | Inf
1451.16/1451.68 c 1411s| 1300k|715539 | 0 | 0.0 | 840M| 68 | - | 600 |5807 | 0 | 0 | 0 | 774k| 0 | 1.900000e+01 | -- | Inf
1463.96/1464.48 c 1423s| 1310k|721287 | 0 | 0.0 | 847M| 68 | - | 600 |5973 | 0 | 0 | 0 | 780k| 0 | 1.900000e+01 | -- | Inf
1476.86/1477.37 c 1436s| 1320k|727066 | 0 | 0.0 | 855M| 68 | - | 600 |6115 | 0 | 0 | 0 | 787k| 0 | 1.900000e+01 | -- | Inf
1489.65/1490.17 c 1448s| 1330k|732699 | 0 | 0.0 | 863M| 68 | - | 600 |6150 | 0 | 0 | 0 | 793k| 0 | 1.900000e+01 | -- | Inf
1502.95/1503.43 c 1461s| 1340k|738390 | 0 | 0.0 | 871M| 68 | - | 600 |6111 | 0 | 0 | 0 | 799k| 0 | 1.900000e+01 | -- | Inf
1516.85/1517.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1516.85/1517.33 c 1475s| 1350k|743748 | 0 | 0.0 | 879M| 68 | - | 600 |6481 | 0 | 0 | 0 | 806k| 0 | 1.900000e+01 | -- | Inf
1531.04/1531.51 c 1488s| 1360k|749145 | 0 | 0.0 | 887M| 68 | - | 600 |6410 | 0 | 0 | 0 | 813k| 0 | 1.900000e+01 | -- | Inf
1545.74/1546.29 c 1503s| 1370k|754135 | 0 | 0.0 | 894M| 68 | - | 600 |6577 | 0 | 0 | 0 | 821k| 0 | 1.900000e+01 | -- | Inf
1560.43/1560.95 c 1517s| 1380k|759113 | 0 | 0.0 | 901M| 68 | - | 600 |6405 | 0 | 0 | 0 | 829k| 0 | 1.900000e+01 | -- | Inf
1574.74/1575.26 c 1531s| 1390k|764079 | 0 | 0.0 | 908M| 68 | - | 600 |5883 | 0 | 0 | 0 | 836k| 0 | 1.900000e+01 | -- | Inf
1587.93/1588.45 c 1544s| 1400k|769557 | 0 | 0.0 | 916M| 68 | - | 600 |5802 | 0 | 0 | 0 | 843k| 0 | 2.000000e+01 | -- | Inf
1601.22/1601.71 c 1557s| 1410k|775036 | 0 | 0.0 | 923M| 68 | - | 600 |6184 | 0 | 0 | 0 | 850k| 0 | 2.000000e+01 | -- | Inf
1615.12/1615.67 c 1570s| 1420k|780272 | 0 | 0.0 | 931M| 68 | - | 600 |6337 | 0 | 0 | 0 | 857k| 0 | 2.000000e+01 | -- | Inf
1629.11/1629.65 c 1584s| 1430k|785646 | 0 | 0.0 | 939M| 68 | - | 600 |6150 | 0 | 0 | 0 | 864k| 0 | 2.000000e+01 | -- | Inf
1643.41/1643.91 c 1598s| 1440k|790787 | 0 | 0.0 | 947M| 68 | - | 600 |6779 | 0 | 0 | 0 | 871k| 0 | 2.000000e+01 | -- | Inf
1658.11/1658.66 c 1612s| 1450k|796098 | 0 | 0.0 | 954M| 68 | - | 600 |6326 | 0 | 0 | 0 | 879k| 0 | 2.000000e+01 | -- | Inf
1672.70/1673.22 c 1627s| 1460k|801060 | 0 | 0.0 | 963M| 68 | - | 600 |6857 | 0 | 0 | 0 | 886k| 0 | 2.000000e+01 | -- | Inf
1688.29/1688.88 c 1642s| 1470k|806156 | 0 | 0.0 | 971M| 68 | - | 600 |7080 | 0 | 0 | 0 | 894k| 0 | 2.000000e+01 | -- | Inf
1703.79/1704.39 c 1657s| 1480k|810970 | 0 | 0.0 | 979M| 68 | - | 600 |6970 | 0 | 0 | 0 | 902k| 0 | 2.000000e+01 | -- | Inf
1719.48/1720.00 c 1672s| 1490k|816148 | 0 | 0.0 | 987M| 68 | - | 600 |7417 | 0 | 0 | 0 | 910k| 0 | 2.000000e+01 | -- | Inf
1735.78/1736.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1735.78/1736.30 c 1688s| 1500k|820648 | 0 | 0.0 | 995M| 68 | - | 600 |7403 | 0 | 0 | 0 | 919k| 0 | 2.000000e+01 | -- | Inf
1752.37/1752.98 c 1705s| 1510k|825431 | 0 | 0.0 |1002M| 68 | - | 600 |7334 | 0 | 0 | 0 | 927k| 0 | 2.000000e+01 | -- | Inf
1769.27/1769.90 c 1721s| 1520k|829915 | 0 | 0.0 |1011M| 68 | - | 600 |7789 | 0 | 0 | 0 | 936k| 0 | 2.000000e+01 | -- | Inf
1785.66/1786.23 c 1737s| 1530k|834670 | 0 | 0.0 |1018M| 68 | - | 600 |7521 | 0 | 0 | 0 | 945k| 0 | 2.000000e+01 | -- | Inf
1800.07/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.61 c
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time (sec) : 1751.21
1800.07/1800.61 c Solving Nodes : 1538482
1800.07/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.07/1800.61 c Dual Bound : +2.00000000000000e+01
1800.07/1800.61 c Gap : infinite
1800.07/1800.61 s UNKNOWN
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time : 1751.21
1800.07/1800.61 c Original Problem :
1800.07/1800.61 c Problem name : HOME/instance-2664614-1276405505.opb
1800.07/1800.61 c Variables : 720 (720 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 2168 initial, 2168 maximal
1800.07/1800.61 c Presolved Problem :
1800.07/1800.61 c Problem name : t_HOME/instance-2664614-1276405505.opb
1800.07/1800.61 c Variables : 600 (600 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 1928 initial, 7823 maximal
1800.07/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c implics : 0.00 0 120 0 0 0 0 0 0
1800.07/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.61 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c linear : 0.02 0 0 0 0 0 240 0 0
1800.07/1800.61 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.07/1800.61 c root node : - 0 - - 0 - - - -
1800.07/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.61 c knapsack : 24 0 5390153 0 1278776 308594 20158647 0 0 0
1800.07/1800.61 c logicor : 1904+ 0 4717081 0 1278776 86258 20799319 0 0 0
1800.07/1800.61 c countsols : 0 0 0 0 1278775 0 0 0 0 0
1800.07/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.61 c knapsack : 132.92 0.00 97.50 0.00 35.42
1800.07/1800.61 c logicor : 847.56 0.00 370.95 0.00 476.61
1800.07/1800.61 c countsols : 0.68 0.00 0.00 0.00 0.68
1800.07/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.61 c vbounds : 2.62 2 0 0
1800.07/1800.61 c rootredcost : 2.67 0 0 0
1800.07/1800.61 c pseudoobj : 158.18 5389953 0 0
1800.07/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.61 c propagation : 18.33 394852 379496 1271345 13.7 24007 11.8 -
1800.07/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.61 c applied globally : - - - 952752 12.5 - - -
1800.07/1800.61 c applied locally : - - - 0 0.0 - - -
1800.07/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.07/1800.61 c redcost : 0.00 0 0 0 0 0
1800.07/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.07/1800.61 c intobj : 0.00 0 0 0 0 0
1800.07/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.61 c gomory : 0.00 0 0 0 0 0
1800.07/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.07/1800.61 c cmir : 0.00 0 0 0 0 0
1800.07/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.07/1800.61 c clique : 0.00 0 0 0 0 0
1800.07/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.61 c mcf : 0.00 0 0 0 0 0
1800.07/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.61 c Pricers : Time Calls Vars
1800.07/1800.61 c problem variables: 0.00 0 0
1800.07/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.07/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.61 c inference : 175.81 1278775 0 0 0 0 2557550
1800.07/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.61 c random : 0.00 0 0 0 0 0 0
1800.07/1800.61 c Primal Heuristics : Time Calls Found
1800.07/1800.61 c LP solutions : 0.00 - 0
1800.07/1800.61 c pseudo solutions : 0.00 - 0
1800.07/1800.61 c oneopt : 0.98 0 0
1800.07/1800.61 c trivial : 0.00 2 0
1800.07/1800.61 c simplerounding : 0.00 0 0
1800.07/1800.61 c zirounding : 0.00 0 0
1800.07/1800.61 c rounding : 0.00 0 0
1800.07/1800.61 c shifting : 0.00 0 0
1800.07/1800.61 c intshifting : 0.00 0 0
1800.07/1800.61 c twoopt : 0.00 0 0
1800.07/1800.61 c fixandinfer : 0.00 0 0
1800.07/1800.61 c feaspump : 0.00 0 0
1800.07/1800.61 c coefdiving : 0.00 0 0
1800.07/1800.61 c pscostdiving : 0.00 0 0
1800.07/1800.61 c fracdiving : 0.00 0 0
1800.07/1800.61 c veclendiving : 0.00 0 0
1800.07/1800.61 c intdiving : 0.00 0 0
1800.07/1800.61 c actconsdiving : 0.00 0 0
1800.07/1800.61 c objpscostdiving : 0.00 0 0
1800.07/1800.61 c rootsoldiving : 0.00 0 0
1800.07/1800.61 c linesearchdiving : 0.00 0 0
1800.07/1800.61 c guideddiving : 0.00 0 0
1800.07/1800.61 c octane : 0.00 0 0
1800.07/1800.61 c rens : 0.00 0 0
1800.07/1800.61 c rins : 0.00 0 0
1800.07/1800.61 c localbranching : 0.00 0 0
1800.07/1800.61 c mutation : 0.00 0 0
1800.07/1800.61 c crossover : 0.00 0 0
1800.07/1800.61 c dins : 0.00 0 0
1800.07/1800.61 c undercover : 0.00 0 0
1800.07/1800.61 c nlp : 1.37 0 0
1800.07/1800.61 c trysol : 0.64 0 0
1800.07/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.07/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.07/1800.61 c (at root node) : - 0 0 0.00 -
1800.07/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.61 c B&B Tree :
1800.07/1800.61 c number of runs : 1
1800.07/1800.61 c nodes : 1538482
1800.07/1800.61 c nodes (total) : 1538482
1800.07/1800.61 c nodes left : 838397
1800.07/1800.61 c max depth : 68
1800.07/1800.61 c max depth (total): 68
1800.07/1800.61 c backtracks : 170698 (11.1%)
1800.07/1800.61 c delayed cutoffs : 180672
1800.07/1800.61 c repropagations : 569744 (11515833 domain reductions, 135145 cutoffs)
1800.07/1800.61 c avg switch length: 6.12
1800.07/1800.61 c switching time : 284.51
1800.07/1800.61 c Solution :
1800.07/1800.61 c Solutions found : 0 (0 improvements)
1800.07/1800.61 c Primal Bound : -
1800.07/1800.61 c Dual Bound : +2.00000000000000e+01
1800.07/1800.61 c Gap : infinite
1800.07/1800.61 c Root Dual Bound : +1.20000000000000e+01
1800.07/1800.61 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664614-1276405505/watcher-2664614-1276405505 -o /tmp/evaluation-result-2664614-1276405505/solver-2664614-1276405505 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664614-1276405505.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: 0.99 0.97 0.99 3/106 21333
/proc/meminfo: memFree=1782328/2059040 swapFree=4142016/4192956
[pid=21333] ppid=21331 vsize=6584 CPUtime=0
/proc/21333/stat : 21333 (pbscip.linux.x8) R 21331 21333 14279 0 -1 4202496 981 0 0 0 0 0 0 0 18 0 1 0 16154421 6742016 904 1992294400 4194304 7136930 140735589242368 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21333/statm: 1646 914 254 719 0 925 0
[startup+0.0929459 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 21333
/proc/meminfo: memFree=1782328/2059040 swapFree=4142016/4192956
[pid=21333] ppid=21331 vsize=14148 CPUtime=0.08
/proc/21333/stat : 21333 (pbscip.linux.x8) R 21331 21333 14279 0 -1 4202496 3448 0 0 0 7 1 0 0 20 0 1 0 16154421 14487552 2760 1992294400 4194304 7136930 140735589242368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21333/statm: 3537 2760 344 719 0 2816 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14148
[startup+0.100947 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 21333
/proc/meminfo: memFree=1782328/2059040 swapFree=4142016/4192956
[pid=21333] ppid=21331 vsize=15564 CPUtime=0.09
/proc/21333/stat : 21333 (pbscip.linux.x8) R 21331 21333 14279 0 -1 4202496 3799 0 0 0 8 1 0 0 20 0 1 0 16154421 15937536 3111 1992294400 4194304 7136930 140735589242368 18446744073709551615 4397069 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21333/statm: 3891 3111 347 719 0 3170 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15564
[startup+0.300963 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 21333
/proc/meminfo: memFree=1782328/2059040 swapFree=4142016/4192956
[pid=21333] ppid=21331 vsize=16892 CPUtime=0.29
/proc/21333/stat : 21333 (pbscip.linux.x8) R 21331 21333 14279 0 -1 4202496 5726 0 0 0 25 4 0 0 20 0 1 0 16154421 17297408 3496 1992294400 4194304 7136930 140735589242368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21333/statm: 4223 3496 396 719 0 3502 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16892
[startup+0.700995 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 21333
/proc/meminfo: memFree=1782328/2059040 swapFree=4142016/4192956
[pid=21333] ppid=21331 vsize=17788 CPUtime=0.69
/proc/21333/stat : 21333 (pbscip.linux.x8) R 21331 21333 14279 0 -1 4202496 5951 0 0 0 64 5 0 0 21 0 1 0 16154421 18214912 3721 1992294400 4194304 7136930 140735589242368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21333/statm: 4447 3721 396 719 0 3726 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17788
[startup+1.50106 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 21334
/proc/meminfo: memFree=1768556/2059040 swapFree=4142016/4192956
[pid=21333] ppid=21331 vsize=18472 CPUtime=1.49
/proc/21333/stat : 21333 (pbscip.linux.x8) R 21331 21333 14279 0 -1 4202496 6143 0 0 0 140 9 0 0 23 0 1 0 16154421 18915328 3913 1992294400 4194304 7136930 140735589242368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21333/statm: 4618 3913 396 719 0 3897 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18472
[startup+3.10119 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 21334
/proc/meminfo: memFree=1766820/2059040 swapFree=4142016/4192956
[pid=21333] ppid=21331 vsize=20796 CPUtime=3.09
/proc/21333/stat : 21333 (pbscip.linux.x8) R 21331 21333 14279 0 -1 4202496 6729 0 0 0 296 13 0 0 25 0 1 0 16154421 21295104 4499 1992294400 4194304 7136930 140735589242368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21333/statm: 5199 4499 396 719 0 4478 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20796
[startup+6.30145 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 21334
/proc/meminfo: memFree=1762108/2059040 swapFree=4142016/4192956
[pid=21333] ppid=21331 vsize=25316 CPUtime=6.29
/proc/21333/stat : 21333 (pbscip.linux.x8) R 21331 21333 14279 0 -1 4202496 7851 0 0 0 602 27 0 0 25 0 1 0 16154421 25923584 5621 1992294400 4194304 7136930 140735589242368 18446744073709551615 5892212 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21333/statm: 6329 5621 396 719 0 5608 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25316
[startup+12.701 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 21336
/proc/meminfo: memFree=1754172/2059040 swapFree=4142016/4192956
[pid=21333] ppid=21331 vsize=33036 CPUtime=12.69
/proc/21333/stat : 21333 (pbscip.linux.x8) R 21331 21333 14279 0 -1 4202496 9750 0 0 0 1223 46 0 0 25 0 1 0 16154421 33828864 7520 1992294400 4194304 7136930 140735589242368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21333/statm: 8259 7520 396 719 0 7538 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33036
[startup+25.501 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 21336
/proc/meminfo: memFree=1741028/2059040 swapFree=4142016/4192956
[pid=21333] ppid=21331 vsize=45640 CPUtime=25.49
/proc/21333/stat : 21333 (pbscip.linux.x8) R 21331 21333 14279 0 -1 4202496 12886 0 0 0 2462 87 0 0 25 0 1 0 16154421 46735360 10656 1992294400 4194304 7136930 140735589242368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21333/statm: 11410 10656 396 719 0 10689 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 45640
[startup+51.1011 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 21336
/proc/meminfo: memFree=1718956/2059040 swapFree=4142016/4192956
[pid=21333] ppid=21331 vsize=68312 CPUtime=51.07
/proc/21333/stat : 21333 (pbscip.linux.x8) R 21331 21333 14279 0 -1 4202496 18570 0 0 0 4942 165 0 0 25 0 1 0 16154421 69951488 16340 1992294400 4194304 7136930 140735589242368 18446744073709551615 4632905 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21333/statm: 17078 16340 396 719 0 16357 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 68312
[startup+102.308 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 21338
/proc/meminfo: memFree=1679276/2059040 swapFree=4142016/4192956
[pid=21333] ppid=21331 vsize=108648 CPUtime=102.26
/proc/21333/stat : 21333 (pbscip.linux.x8) R 21331 21333 14279 0 -1 4202496 28136 0 0 0 9896 330 0 0 25 0 1 0 16154421 111255552 25906 1992294400 4194304 7136930 140735589242368 18446744073709551615 5005193 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21333/statm: 27162 25906 396 719 0 26441 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 108648
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 21340
/proc/meminfo: memFree=1633520/2059040 swapFree=4142016/4192956
[pid=21333] ppid=21331 vsize=155816 CPUtime=162.24
/proc/21333/stat : 21333 (pbscip.linux.x8) R 21331 21333 14279 0 -1 4202496 39924 0 0 0 15704 520 0 0 25 0 1 0 16154421 159555584 37694 1992294400 4194304 7136930 140735589242368 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21333/statm: 38954 37694 396 719 0 38233 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 155816
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 21340
/proc/meminfo: memFree=1582804/2059040 swapFree=4142016/4192956
[pid=21333] ppid=21331 vsize=205040 CPUtime=222.22
/proc/21333/stat : 21333 (pbscip.linux.x8) R 21331 21333 14279 0 -1 4202496 52162 0 0 0 21509 713 0 0 25 0 1 0 16154421 209960960 49932 1992294400 4194304 7136930 140735589242368 18446744073709551615 6166784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21333/statm: 51260 49932 396 719 0 50539 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 205040
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 21342
/proc/meminfo: memFree=1537668/2059040 swapFree=4142016/4192956
[pid=21333] ppid=21331 vsize=254556 CPUtime=282.21
/proc/21333/stat : 21333 (pbscip.linux.x8) R 21331 21333 14279 0 -1 4202496 63421 0 0 0 27325 896 0 0 25 0 1 0 16154421 260665344 61191 1992294400 4194304 7136930 140735589242368 18446744073709551615 5005117 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21333/statm: 63639 61191 396 719 0 62918 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 254556
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 21344
/proc/meminfo: memFree=1495012/2059040 swapFree=4142016/4192956
[pid=21333] ppid=21331 vsize=297396 CPUtime=342.18
/proc/21333/stat : 21333 (pbscip.linux.x8) R 21331 21333 14279 0 -1 4202496 74242 0 0 0 33146 1072 0 0 25 0 1 0 16154421 304533504 72012 1992294400 4194304 7136930 140735589242368 18446744073709551615 4660982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21333/statm: 74349 72012 396 719 0 73628 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 297396
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 21346
/proc/meminfo: memFree=1448264/2059040 swapFree=4142016/4192956
[pid=21333] ppid=21331 vsize=344764 CPUtime=402.17
/proc/21333/stat : 21333 (pbscip.linux.x8) R 21331 21333 14279 0 -1 4202496 85913 0 0 0 38960 1257 0 0 25 0 1 0 16154421 353038336 83683 1992294400 4194304 7136930 140735589242368 18446744073709551615 4697381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21333/statm: 86191 83683 396 719 0 85470 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 344764
[startup+462.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 21348
/proc/meminfo: memFree=1404864/2059040 swapFree=4142016/4192956
[pid=21333] ppid=21331 vsize=387056 CPUtime=462.15
/proc/21333/stat : 21333 (pbscip.linux.x8) R 21331 21333 14279 0 -1 4202496 96536 0 0 0 44777 1438 0 0 25 0 1 0 16154421 396345344 94306 1992294400 4194304 7136930 140735589242368 18446744073709551615 4999902 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21333/statm: 96764 94306 396 719 0 96043 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 387056
[startup+522.3 s]
/proc/loadavg: 1.06 0.99 0.99 2/107 21351
/proc/meminfo: memFree=1367044/2059040 swapFree=4142016/4192956
[pid=21333] ppid=21331 vsize=426292 CPUtime=522.13
/proc/21333/stat : 21333 (pbscip.linux.x8) R 21331 21333 14279 0 -1 4202496 105772 0 0 0 50599 1614 0 0 25 0 1 0 16154421 436523008 103542 1992294400 4194304 7136930 140735589242368 18446744073709551615 4208913 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21333/statm: 106573 103542 396 719 0 105852 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 426292
[startup+582.301 s]
/proc/loadavg: 1.02 0.99 0.99 2/107 21353
/proc/meminfo: memFree=1327984/2059040 swapFree=4142016/4192956
[pid=21333] ppid=21331 vsize=464904 CPUtime=582.1
/proc/21333/stat : 21333 (pbscip.linux.x8) R 21331 21333 14279 0 -1 4202496 115605 0 0 0 56423 1787 0 0 25 0 1 0 16154421 476061696 113375 1992294400 4194304 7136930 140735589242368 18446744073709551615 4632894 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21333/statm: 116226 113375 396 719 0 115505 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 464904
[startup+642.301 s]
/proc/loadavg: 1.01 0.99 0.99 2/107 21355
/proc/meminfo: memFree=1299216/2059040 swapFree=4142016/4192956
[pid=21333] ppid=21331 vsize=494076 CPUtime=642.1
/proc/21333/stat : 21333 (pbscip.linux.x8) R 21331 21333 14279 0 -1 4202496 122784 0 0 0 62262 1948 0 0 25 0 1 0 16154421 505933824 120554 1992294400 4194304 7136930 140735589242368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21333/statm: 123519 120554 396 719 0 122798 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 494076
[startup+702.301 s]
################
# More data... #
################
/proc/21333/stat : 21333 (pbscip.linux.x8) R 21331 21333 14279 0 -1 4202496 181269 0 0 0 103132 3066 0 0 25 0 1 0 16154421 756097024 179039 1992294400 4194304 7136930 140735589242368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21333/statm: 184594 179039 396 719 0 183873 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 738376
[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 21367
/proc/meminfo: memFree=1031004/2059040 swapFree=4142016/4192956
[pid=21333] ppid=21331 vsize=774772 CPUtime=1121.96
/proc/21333/stat : 21333 (pbscip.linux.x8) R 21331 21333 14279 0 -1 4202496 189987 0 0 0 108964 3232 0 0 25 0 1 0 16154421 793366528 187757 1992294400 4194304 7136930 140735589242368 18446744073709551615 4414501 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21333/statm: 193693 187757 396 719 0 192972 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 774772
[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 21369
/proc/meminfo: memFree=994424/2059040 swapFree=4142016/4192956
[pid=21333] ppid=21331 vsize=809316 CPUtime=1181.95
/proc/21333/stat : 21333 (pbscip.linux.x8) R 21331 21333 14279 0 -1 4202496 198717 0 0 0 114803 3392 0 0 25 0 1 0 16154421 828739584 196487 1992294400 4194304 7136930 140735589242368 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21333/statm: 202329 196487 396 719 0 201608 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 809316
[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 21371
/proc/meminfo: memFree=964292/2059040 swapFree=4142016/4192956
[pid=21333] ppid=21331 vsize=838580 CPUtime=1241.93
/proc/21333/stat : 21333 (pbscip.linux.x8) R 21331 21333 14279 0 -1 4202496 206271 0 0 0 120642 3551 0 0 25 0 1 0 16154421 858705920 204041 1992294400 4194304 7136930 140735589242368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21333/statm: 209645 204041 396 719 0 208924 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 838580
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21373
/proc/meminfo: memFree=934284/2059040 swapFree=4142016/4192956
[pid=21333] ppid=21331 vsize=868244 CPUtime=1301.92
/proc/21333/stat : 21333 (pbscip.linux.x8) R 21331 21333 14279 0 -1 4202496 213636 0 0 0 126496 3696 0 0 25 0 1 0 16154421 889081856 211406 1992294400 4194304 7136930 140735589242368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21333/statm: 217061 211406 396 719 0 216340 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 868244
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21375
/proc/meminfo: memFree=904524/2059040 swapFree=4142016/4192956
[pid=21333] ppid=21331 vsize=899192 CPUtime=1361.9
/proc/21333/stat : 21333 (pbscip.linux.x8) R 21331 21333 14279 0 -1 4202496 221065 0 0 0 132352 3838 0 0 25 0 1 0 16154421 920772608 218835 1992294400 4194304 7136930 140735589242368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21333/statm: 224798 218835 396 719 0 224077 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 899192
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21375
/proc/meminfo: memFree=864348/2059040 swapFree=4142016/4192956
[pid=21333] ppid=21331 vsize=940408 CPUtime=1421.89
/proc/21333/stat : 21333 (pbscip.linux.x8) R 21331 21333 14279 0 -1 4202496 231090 0 0 0 138197 3992 0 0 25 0 1 0 16154421 962977792 228860 1992294400 4194304 7136930 140735589242368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21333/statm: 235102 228860 396 719 0 234381 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 940408
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21377
/proc/meminfo: memFree=833720/2059040 swapFree=4142016/4192956
[pid=21333] ppid=21331 vsize=973552 CPUtime=1481.86
/proc/21333/stat : 21333 (pbscip.linux.x8) R 21331 21333 14279 0 -1 4202496 238848 0 0 0 144042 4144 0 0 25 0 1 0 16154421 996917248 236618 1992294400 4194304 7136930 140735589242368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21333/statm: 243388 236618 396 719 0 242667 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 973552
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21379
/proc/meminfo: memFree=800240/2059040 swapFree=4142016/4192956
[pid=21333] ppid=21331 vsize=1006264 CPUtime=1541.84
/proc/21333/stat : 21333 (pbscip.linux.x8) R 21331 21333 14279 0 -1 4202496 247119 0 0 0 149891 4293 0 0 25 0 1 0 16154421 1030414336 244889 1992294400 4194304 7136930 140735589242368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21333/statm: 251566 244889 396 719 0 250845 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1006264
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21381
/proc/meminfo: memFree=770108/2059040 swapFree=4142016/4192956
[pid=21333] ppid=21331 vsize=1036736 CPUtime=1601.82
/proc/21333/stat : 21333 (pbscip.linux.x8) R 21331 21333 14279 0 -1 4202496 254843 0 0 0 155745 4437 0 0 25 0 1 0 16154421 1061617664 252613 1992294400 4194304 7136930 140735589242368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21333/statm: 259184 252613 396 719 0 258463 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1036736
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21383
/proc/meminfo: memFree=733900/2059040 swapFree=4142016/4192956
[pid=21333] ppid=21331 vsize=1071212 CPUtime=1661.81
/proc/21333/stat : 21333 (pbscip.linux.x8) R 21331 21333 14279 0 -1 4202496 263565 0 0 0 161602 4579 0 0 25 0 1 0 16154421 1096921088 261335 1992294400 4194304 7136930 140735589242368 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21333/statm: 267803 261335 396 719 0 267082 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1071212
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21383
/proc/meminfo: memFree=705008/2059040 swapFree=4142016/4192956
[pid=21333] ppid=21331 vsize=1099636 CPUtime=1721.78
/proc/21333/stat : 21333 (pbscip.linux.x8) R 21331 21333 14279 0 -1 4202496 270766 0 0 0 167462 4716 0 0 25 0 1 0 16154421 1126027264 268536 1992294400 4194304 7136930 140735589242368 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21333/statm: 274909 268536 396 719 0 274188 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1099636
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21385
/proc/meminfo: memFree=681696/2059040 swapFree=4142016/4192956
[pid=21333] ppid=21331 vsize=1122800 CPUtime=1781.77
/proc/21333/stat : 21333 (pbscip.linux.x8) R 21331 21333 14279 0 -1 4202496 276509 0 0 0 173333 4844 0 0 25 0 1 0 16154421 1149747200 274279 1992294400 4194304 7136930 140735589242368 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21333/statm: 280700 274279 396 719 0 279979 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1122800
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21385
/proc/meminfo: memFree=673264/2059040 swapFree=4142016/4192956
[pid=21333] ppid=21331 vsize=1130960 CPUtime=1800.07
/proc/21333/stat : 21333 (pbscip.linux.x8) R 21331 21333 14279 0 -1 4202496 278611 0 0 0 175125 4882 0 0 25 0 1 0 16154421 1158103040 276381 1992294400 4194304 7136930 140735589242368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21333/statm: 282740 276381 396 719 0 282019 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1130960
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -21333
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21385
/proc/meminfo: memFree=673264/2059040 swapFree=4142016/4192956
[pid=21333] ppid=21331 vsize=1130960 CPUtime=1800.86
/proc/21333/stat : 21333 (pbscip.linux.x8) R 21331 21333 14279 0 -1 4202496 278617 0 0 0 175204 4882 0 0 25 0 1 0 16154421 1158103040 276387 1992294400 4194304 7136930 140735589242368 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21333/statm: 282740 276387 402 719 0 282019 0
Current children cumulated CPU time (s) 1800.86
Current children cumulated vsize (KiB) 1130960
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 21386
/proc/meminfo: memFree=673132/2059040 swapFree=4142016/4192956
[pid=21333] ppid=21331 vsize=1130960 CPUtime=1801.66
/proc/21333/stat : 21333 (pbscip.linux.x8) R 21331 21333 14279 0 -1 4202496 278617 0 0 0 175284 4882 0 0 25 0 1 0 16154421 1158103040 276387 1992294400 4194304 7136930 140735589242368 18446744073709551615 6165620 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21333/statm: 282740 276387 402 719 0 282019 0
Current children cumulated CPU time (s) 1801.66
Current children cumulated vsize (KiB) 1130960
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 21386
/proc/meminfo: memFree=673132/2059040 swapFree=4142016/4192956
[pid=21333] ppid=21331 vsize=1130960 CPUtime=1802.06
/proc/21333/stat : 21333 (pbscip.linux.x8) R 21331 21333 14279 0 -1 4202496 278617 0 0 0 175324 4882 0 0 25 0 1 0 16154421 1158103040 276387 1992294400 4194304 7136930 140735589242368 18446744073709551615 6165646 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21333/statm: 282740 276387 402 719 0 282019 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 1130960
[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 21386
/proc/meminfo: memFree=673132/2059040 swapFree=4142016/4192956
[pid=21333] ppid=21331 vsize=0 CPUtime=1802.15
/proc/21333/stat : 21333 (pbscip.linux.x8) R 21331 21333 14279 0 -1 4203524 278617 0 0 0 175325 4890 0 0 25 0 1 0 16154421 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/21333/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.15
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.73
CPU time (s): 1802.19
CPU user time (s): 1753.26
CPU system time (s): 48.9346
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 1130960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1753.26
system time used= 48.9346
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278617
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= 5
involuntary context switches= 9334
runsolver used 3.13252 second user time and 8.37373 second system time
The end