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-2663870-1276669057.opb>
0.00/0.04 c original problem has 3238 variables (3238 bin, 0 int, 0 impl, 0 cont) and 3339 constraints
0.00/0.04 c problem read
0.00/0.04 c presolving settings loaded
0.00/0.04 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.06/0.08 o 0
0.06/0.08 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.06/0.08 c presolving:
0.19/0.29 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 300 upgd conss, 24504 impls, 200 clqs
0.49/0.55 c (0.3s) probing: 101/3238 (3.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.55 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.49/0.55 c presolving (2 rounds):
0.49/0.55 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.55 c 24504 implications, 200 cliques
0.49/0.55 c presolved problem has 3238 variables (3238 bin, 0 int, 0 impl, 0 cont) and 3339 constraints
0.49/0.55 c 200 constraints of type <setppc>
0.49/0.55 c 3038 constraints of type <and>
0.49/0.55 c 1 constraints of type <linear>
0.49/0.55 c 100 constraints of type <logicor>
0.49/0.55 c transformed objective value is always integral (scale: 1)
0.49/0.55 c Presolving Time: 0.32
0.49/0.55 c - non default parameters ----------------------------------------------------------------------
0.49/0.55 c # SCIP version 1.2.1.2
0.49/0.55 c
0.49/0.55 c # frequency for displaying node information lines
0.49/0.55 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.55 c display/freq = 10000
0.49/0.55 c
0.49/0.55 c # maximal time in seconds to run
0.49/0.55 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.55 c limits/time = 1799.97
0.49/0.55 c
0.49/0.55 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.55 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.55 c limits/memory = 1620
0.49/0.55 c
0.49/0.55 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.55 c lp/solvefreq = -1
0.49/0.55 c
0.49/0.55 c # should presolving try to simplify inequalities
0.49/0.55 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.55 c constraints/linear/simplifyinequalities = TRUE
0.49/0.55 c
0.49/0.55 c # should presolving try to simplify knapsacks
0.49/0.55 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.55 c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.55 c
0.49/0.55 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.55 c heuristics/undercover/freq = 0
0.49/0.55 c
0.49/0.55 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.55 c separating/rapidlearning/freq = 0
0.49/0.55 c
0.49/0.55 c -----------------------------------------------------------------------------------------------
0.49/0.55 c start solving
0.49/0.55 c
0.49/0.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.56 c t 0.3s| 1 | 2 | 0 | - |9366k| 0 | - |3238 |3339 | 0 | 0 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
10.79/10.80 o -4
10.79/10.80 c *10.4s| 4476 | 3129 | 0 | 0.0 | 24M| 101 | - |3238 |3573 | 0 | 0 | 0 | 281 | 0 |-9.800000e+01 |-4.000000e+00 | 95.92%
11.79/11.86 o -6
11.79/11.86 c *11.4s| 5160 | 3750 | 0 | 0.0 | 26M| 101 | - |3238 |3608 | 0 | 0 | 0 | 319 | 0 |-9.800000e+01 |-6.000000e+00 | 93.88%
12.10/12.17 o -7
12.10/12.17 c *11.7s| 5360 | 3915 | 0 | 0.0 | 26M| 101 | - |3238 |3623 | 0 | 0 | 0 | 340 | 0 |-9.800000e+01 |-7.000000e+00 | 92.86%
22.88/22.94 c 22.3s| 10000 | 8079 | 0 | 0.0 | 53M| 101 | - |3238 |3615 | 0 | 0 | 0 | 552 | 0 |-9.800000e+01 |-7.000000e+00 | 92.86%
41.68/41.77 o -8
41.68/41.77 c *40.8s| 19278 | 16900 | 0 | 0.0 | 108M| 101 | - |3238 |3710 | 0 | 0 | 0 | 777 | 0 |-9.800000e+01 |-8.000000e+00 | 91.84%
41.78/41.87 o -9
41.78/41.87 c *40.9s| 19342 | 16951 | 0 | 0.0 | 109M| 101 | - |3238 |3720 | 0 | 0 | 0 | 788 | 0 |-9.800000e+01 |-9.000000e+00 | 90.82%
43.07/43.13 c 42.1s| 20000 | 17561 | 0 | 0.0 | 113M| 101 | - |3238 |3718 | 0 | 0 | 0 | 819 | 0 |-9.800000e+01 |-9.000000e+00 | 90.82%
61.07/61.10 c 59.8s| 30000 | 26310 | 0 | 0.0 | 172M| 101 | - |3238 |3923 | 0 | 0 | 0 |1638 | 0 |-9.800000e+01 |-9.000000e+00 | 90.82%
77.37/77.44 c 75.7s| 40000 | 34019 | 0 | 0.0 | 216M| 108 | - |3238 |4150 | 0 | 0 | 0 |3313 | 0 |-9.800000e+01 |-9.000000e+00 | 90.82%
95.76/95.88 c 93.8s| 50000 | 40660 | 0 | 0.0 | 259M| 123 | - |3238 |4044 | 0 | 0 | 0 |5588 | 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
118.66/118.77 c 116s| 60000 | 49970 | 0 | 0.0 | 334M| 123 | - |3238 |4087 | 0 | 0 | 0 |6011 | 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
138.25/138.33 c 135s| 70000 | 59656 | 0 | 0.0 | 391M| 123 | - |3238 |4030 | 0 | 0 | 0 |6174 | 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
157.74/157.84 c 155s| 80000 | 69276 | 0 | 0.0 | 453M| 123 | - |3238 |4055 | 0 | 0 | 0 |6393 | 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
177.94/178.03 c 174s| 90000 | 78627 | 0 | 0.0 | 514M| 123 | - |3238 |4053 | 0 | 0 | 0 |6753 | 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
197.53/197.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
197.53/197.66 c 194s|100000 | 88075 | 0 | 0.0 | 575M| 123 | - |3238 |4017 | 0 | 0 | 0 |7053 | 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
216.72/216.80 c 212s|110000 | 97285 | 0 | 0.0 | 635M| 123 | - |3238 |4103 | 0 | 0 | 0 |7545 | 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
234.93/235.02 c 230s|120000 |106408 | 0 | 0.0 | 692M| 123 | - |3238 |4165 | 0 | 0 | 0 |8151 | 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
252.83/252.93 c 248s|130000 |115569 | 0 | 0.0 | 750M| 123 | - |3238 |4148 | 0 | 0 | 0 |8709 | 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
270.01/270.14 c 264s|140000 |124801 | 0 | 0.0 | 808M| 123 | - |3238 |4275 | 0 | 0 | 0 |9201 | 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
286.81/286.99 c 281s|150000 |133692 | 0 | 0.0 | 862M| 123 | - |3238 |4450 | 0 | 0 | 0 | 10k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
303.21/303.30 c 297s|160000 |141783 | 0 | 0.0 | 908M| 123 | - |3238 |4624 | 0 | 0 | 0 | 11k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
319.40/319.54 c 313s|170000 |149978 | 0 | 0.0 | 953M| 123 | - |3238 |4737 | 0 | 0 | 0 | 13k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
334.80/334.90 c 328s|180000 |157584 | 0 | 0.0 | 991M| 123 | - |3238 |5118 | 0 | 0 | 0 | 15k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
348.89/349.03 c 341s|190000 |163850 | 0 | 0.0 |1020M| 123 | - |3238 |5369 | 0 | 0 | 0 | 18k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
364.59/364.79 c 357s|200000 |171114 | 0 | 0.0 |1055M| 123 | - |3238 |4777 | 0 | 0 | 0 | 20k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
380.58/380.71 c 372s|210000 |177307 | 0 | 0.0 |1087M| 123 | - |3238 |5423 | 0 | 0 | 0 | 23k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
399.09/399.28 c 391s|220000 |183353 | 0 | 0.0 |1129M| 123 | - |3238 |4582 | 0 | 0 | 0 | 26k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
419.37/419.52 c 410s|230000 |192910 | 0 | 0.0 |1175M| 123 | - |3238 |4475 | 0 | 0 | 0 | 26k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
438.47/438.69 c 429s|240000 |202526 | 0 | 0.0 |1221M| 123 | - |3238 |4414 | 0 | 0 | 0 | 26k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
458.26/458.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
458.26/458.50 c 449s|250000 |212058 | 0 | 0.0 |1275M| 123 | - |3238 |4409 | 0 | 0 | 0 | 26k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
478.16/478.34 c 468s|260000 |221434 | 0 | 0.0 |1329M| 123 | - |3238 |4477 | 0 | 0 | 0 | 27k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
488.85/489.05 c (node 265244) switching to memory saving mode (mem: 1296.0M/1620.0M)
493.36/493.54 c 483s|270000 |226367 | 0 | 0.0 |1361M| 188 | - |3238 |6327 | 0 | 0 | 0 | 31k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
502.56/502.70 c 491s|280000 |226364 | 0 | 0.0 |1363M| 188 | - |3238 |7471 | 0 | 0 | 0 | 42k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
512.55/512.77 c 501s|290000 |226364 | 0 | 0.0 |1366M| 188 | - |3238 |9763 | 0 | 0 | 0 | 52k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
524.75/524.98 c 513s|300000 |226364 | 0 | 0.0 |1371M| 188 | - |3238 | 13k| 0 | 0 | 0 | 63k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
537.55/537.79 c 525s|310000 |226364 | 0 | 0.0 |1370M| 188 | - |3238 | 12k| 0 | 0 | 0 | 73k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
551.04/551.28 c 538s|320000 |226364 | 0 | 0.0 |1371M| 188 | - |3238 | 13k| 0 | 0 | 0 | 83k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
566.04/566.27 c 553s|330000 |226364 | 0 | 0.0 |1375M| 188 | - |3238 | 16k| 0 | 0 | 0 | 94k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
579.34/579.54 c 565s|340000 |226355 | 0 | 0.0 |1362M| 188 | - |3238 |6438 | 0 | 0 | 0 | 104k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
589.03/589.27 c 575s|350000 |226356 | 0 | 0.0 |1365M| 188 | - |3238 |8992 | 0 | 0 | 0 | 115k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
600.63/600.86 c 586s|360000 |226354 | 0 | 0.0 |1367M| 188 | - |3238 | 10k| 0 | 0 | 0 | 125k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
612.43/612.69 c 597s|370000 |226355 | 0 | 0.0 |1369M| 188 | - |3238 | 12k| 0 | 0 | 0 | 136k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
624.81/625.04 c 609s|380000 |226350 | 0 | 0.0 |1363M| 188 | - |3238 |7010 | 0 | 0 | 0 | 147k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
633.82/634.01 c 617s|390000 |226340 | 0 | 0.0 |1362M| 188 | - |3238 |6422 | 0 | 0 | 0 | 157k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
643.22/643.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
643.22/643.50 c 627s|400000 |226336 | 0 | 0.0 |1362M| 188 | - |3238 |6398 | 0 | 0 | 0 | 167k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
653.31/653.50 c 636s|410000 |226336 | 0 | 0.0 |1365M| 188 | - |3238 |8586 | 0 | 0 | 0 | 178k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
664.31/664.56 c 647s|420000 |226336 | 0 | 0.0 |1368M| 188 | - |3238 | 11k| 0 | 0 | 0 | 188k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
673.90/674.12 c 656s|430000 |226335 | 0 | 0.0 |1365M| 188 | - |3238 |8534 | 0 | 0 | 0 | 199k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
684.80/685.02 c 666s|440000 |226336 | 0 | 0.0 |1368M| 188 | - |3238 | 10k| 0 | 0 | 0 | 209k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
696.31/696.53 c 677s|450000 |226330 | 0 | 0.0 |1365M| 188 | - |3238 |8409 | 0 | 0 | 0 | 220k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
705.91/706.13 c 686s|460000 |226321 | 0 | 0.0 |1364M| 188 | - |3238 |8033 | 0 | 0 | 0 | 230k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
717.09/717.35 c 697s|470000 |226321 | 0 | 0.0 |1367M| 188 | - |3238 | 10k| 0 | 0 | 0 | 241k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
730.80/731.01 c 710s|480000 |226321 | 0 | 0.0 |1369M| 188 | - |3238 | 11k| 0 | 0 | 0 | 251k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
744.39/744.63 c 723s|490000 |226320 | 0 | 0.0 |1372M| 188 | - |3238 | 13k| 0 | 0 | 0 | 262k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
759.18/759.42 c 738s|500000 |226317 | 0 | 0.0 |1373M| 188 | - |3238 | 14k| 0 | 0 | 0 | 272k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
775.18/775.41 c 753s|510000 |226318 | 0 | 0.0 |1375M| 188 | - |3238 | 15k| 0 | 0 | 0 | 283k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
791.47/791.78 c 769s|520000 |226317 | 0 | 0.0 |1376M| 188 | - |3238 | 17k| 0 | 0 | 0 | 293k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
807.18/807.46 c 785s|530000 |226317 | 0 | 0.0 |1376M| 188 | - |3238 | 17k| 0 | 0 | 0 | 304k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
825.87/826.11 c 803s|540000 |226317 | 0 | 0.0 |1379M| 188 | - |3238 | 19k| 0 | 0 | 0 | 314k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
847.16/847.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
847.16/847.41 c 824s|550000 |226318 | 0 | 0.0 |1380M| 188 | - |3238 | 20k| 0 | 0 | 0 | 325k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
869.55/869.87 c 846s|560000 |226318 | 0 | 0.0 |1384M| 188 | - |3238 | 23k| 0 | 0 | 0 | 336k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
892.15/892.48 c 868s|570000 |226315 | 0 | 0.0 |1387M| 188 | - |3238 | 25k| 0 | 0 | 0 | 347k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
906.34/906.62 c 882s|580000 |226314 | 0 | 0.0 |1378M| 188 | - |3238 | 18k| 0 | 0 | 0 | 357k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
917.15/917.45 c 892s|590000 |226299 | 0 | 0.0 |1366M| 188 | - |3238 |9356 | 0 | 0 | 0 | 367k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
929.14/929.50 c 904s|600000 |226300 | 0 | 0.0 |1369M| 188 | - |3238 | 11k| 0 | 0 | 0 | 377k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
943.23/943.51 c 917s|610000 |226299 | 0 | 0.0 |1371M| 188 | - |3238 | 12k| 0 | 0 | 0 | 388k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
959.83/960.15 c 933s|620000 |226298 | 0 | 0.0 |1375M| 188 | - |3238 | 16k| 0 | 0 | 0 | 398k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
976.53/976.83 c 950s|630000 |226299 | 0 | 0.0 |1375M| 188 | - |3238 | 16k| 0 | 0 | 0 | 409k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
993.12/993.40 c 966s|640000 |226299 | 0 | 0.0 |1375M| 188 | - |3238 | 16k| 0 | 0 | 0 | 419k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
1010.71/1011.01 c 983s|650000 |226299 | 0 | 0.0 |1377M| 188 | - |3238 | 17k| 0 | 0 | 0 | 430k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
1029.81/1030.12 c 1002s|660000 |226296 | 0 | 0.0 |1375M| 188 | - |3238 | 16k| 0 | 0 | 0 | 441k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
1041.21/1041.52 c 1012s|670000 |226291 | 0 | 0.0 |1364M| 188 | - |3238 |7279 | 0 | 0 | 0 | 451k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
1051.51/1051.86 c 1022s|680000 |226293 | 0 | 0.0 |1368M| 188 | - |3238 | 10k| 0 | 0 | 0 | 462k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
1064.10/1064.45 c 1035s|690000 |226291 | 0 | 0.0 |1373M| 188 | - |3238 | 13k| 0 | 0 | 0 | 472k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
1077.10/1077.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1077.10/1077.43 c 1047s|700000 |226293 | 0 | 0.0 |1369M| 188 | - |3238 | 11k| 0 | 0 | 0 | 483k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
1092.10/1092.50 c 1062s|710000 |226295 | 0 | 0.0 |1373M| 188 | - |3238 | 14k| 0 | 0 | 0 | 493k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
1110.99/1111.39 c 1080s|720000 |226294 | 0 | 0.0 |1376M| 188 | - |3238 | 16k| 0 | 0 | 0 | 503k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
1129.89/1130.23 c 1098s|730000 |226294 | 0 | 0.0 |1375M| 188 | - |3238 | 16k| 0 | 0 | 0 | 514k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
1145.68/1146.03 c 1114s|740000 |226294 | 0 | 0.0 |1376M| 188 | - |3238 | 16k| 0 | 0 | 0 | 525k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
1162.67/1163.02 c 1130s|750000 |226294 | 0 | 0.0 |1376M| 188 | - |3238 | 16k| 0 | 0 | 0 | 536k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
1179.37/1179.79 c 1147s|760000 |226289 | 0 | 0.0 |1379M| 188 | - |3238 | 19k| 0 | 0 | 0 | 546k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
1196.37/1196.73 c 1163s|770000 |226293 | 0 | 0.0 |1375M| 188 | - |3238 | 15k| 0 | 0 | 0 | 557k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
1215.46/1215.80 c 1182s|780000 |226294 | 0 | 0.0 |1378M| 188 | - |3238 | 18k| 0 | 0 | 0 | 568k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
1235.76/1236.14 c 1202s|790000 |226294 | 0 | 0.0 |1381M| 188 | - |3238 | 20k| 0 | 0 | 0 | 578k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
1255.55/1255.95 c 1221s|800000 |226292 | 0 | 0.0 |1383M| 188 | - |3238 | 22k| 0 | 0 | 0 | 589k| 0 |-9.600000e+01 |-9.000000e+00 | 90.62%
1256.25/1256.68 o -10
1256.25/1256.68 c *1222s|800334 |226292 | 0 | 0.0 |1376M| 188 | - |3238 | 17k| 0 | 0 | 0 | 590k| 0 |-9.600000e+01 |-1.000000e+01 | 89.58%
1270.85/1271.27 c 1236s|810000 |226292 | 0 | 0.0 |1379M| 188 | - |3238 | 19k| 0 | 0 | 0 | 600k| 0 |-9.600000e+01 |-1.000000e+01 | 89.58%
1289.94/1290.34 c 1255s|820000 |226293 | 0 | 0.0 |1378M| 188 | - |3238 | 18k| 0 | 0 | 0 | 610k| 0 |-9.600000e+01 |-1.000000e+01 | 89.58%
1308.64/1309.01 c 1273s|830000 |226293 | 0 | 0.0 |1381M| 188 | - |3238 | 21k| 0 | 0 | 0 | 621k| 0 |-9.600000e+01 |-1.000000e+01 | 89.58%
1327.34/1327.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1327.34/1327.79 c 1292s|840000 |226293 | 0 | 0.0 |1379M| 188 | - |3238 | 19k| 0 | 0 | 0 | 632k| 0 |-9.600000e+01 |-1.000000e+01 | 89.58%
1347.53/1347.92 c 1311s|850000 |226292 | 0 | 0.0 |1382M| 188 | - |3238 | 21k| 0 | 0 | 0 | 643k| 0 |-9.600000e+01 |-1.000000e+01 | 89.58%
1374.42/1374.80 c 1338s|860000 |226294 | 0 | 0.0 |1384M| 188 | - |3238 | 23k| 0 | 0 | 0 | 653k| 0 |-9.600000e+01 |-1.000000e+01 | 89.58%
1398.12/1398.51 c 1361s|870000 |226292 | 0 | 0.0 |1385M| 188 | - |3238 | 24k| 0 | 0 | 0 | 664k| 0 |-9.600000e+01 |-1.000000e+01 | 89.58%
1421.31/1421.78 c 1384s|880000 |226293 | 0 | 0.0 |1385M| 188 | - |3238 | 23k| 0 | 0 | 0 | 675k| 0 |-9.600000e+01 |-1.000000e+01 | 89.58%
1445.21/1445.69 c 1407s|890000 |226293 | 0 | 0.0 |1387M| 188 | - |3238 | 26k| 0 | 0 | 0 | 686k| 0 |-9.600000e+01 |-1.000000e+01 | 89.58%
1468.60/1469.05 c 1430s|900000 |226292 | 0 | 0.0 |1385M| 188 | - |3238 | 24k| 0 | 0 | 0 | 697k| 0 |-9.600000e+01 |-1.000000e+01 | 89.58%
1489.09/1489.50 c 1450s|910000 |226286 | 0 | 0.0 |1381M| 188 | - |3238 | 20k| 0 | 0 | 0 | 708k| 0 |-9.600000e+01 |-1.000000e+01 | 89.58%
1506.69/1507.12 c 1468s|920000 |226288 | 0 | 0.0 |1379M| 188 | - |3238 | 18k| 0 | 0 | 0 | 718k| 0 |-9.600000e+01 |-1.000000e+01 | 89.58%
1523.09/1523.59 c 1484s|930000 |226287 | 0 | 0.0 |1377M| 188 | - |3238 | 17k| 0 | 0 | 0 | 728k| 0 |-9.600000e+01 |-1.000000e+01 | 89.58%
1541.47/1541.95 c 1501s|940000 |226287 | 0 | 0.0 |1378M| 188 | - |3238 | 17k| 0 | 0 | 0 | 739k| 0 |-9.600000e+01 |-1.000000e+01 | 89.58%
1562.87/1563.39 c 1522s|950000 |226287 | 0 | 0.0 |1380M| 188 | - |3238 | 19k| 0 | 0 | 0 | 749k| 0 |-9.600000e+01 |-1.000000e+01 | 89.58%
1584.57/1585.05 c 1544s|960000 |226287 | 0 | 0.0 |1381M| 188 | - |3238 | 20k| 0 | 0 | 0 | 759k| 0 |-9.600000e+01 |-1.000000e+01 | 89.58%
1605.26/1605.75 c 1564s|970000 |226287 | 0 | 0.0 |1382M| 188 | - |3238 | 21k| 0 | 0 | 0 | 770k| 0 |-9.600000e+01 |-1.000000e+01 | 89.58%
1629.06/1629.53 c 1587s|980000 |226288 | 0 | 0.0 |1385M| 188 | - |3238 | 23k| 0 | 0 | 0 | 780k| 0 |-9.600000e+01 |-1.000000e+01 | 89.58%
1649.45/1649.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1649.45/1649.94 c 1607s|990000 |226288 | 0 | 0.0 |1379M| 188 | - |3238 | 18k| 0 | 0 | 0 | 791k| 0 |-9.600000e+01 |-1.000000e+01 | 89.58%
1666.05/1666.57 c 1623s| 1000k|226287 | 0 | 0.0 |1381M| 188 | - |3238 | 20k| 0 | 0 | 0 | 802k| 0 |-9.600000e+01 |-1.000000e+01 | 89.58%
1685.44/1685.99 c 1642s| 1010k|226288 | 0 | 0.0 |1382M| 188 | - |3238 | 20k| 0 | 0 | 0 | 812k| 0 |-9.600000e+01 |-1.000000e+01 | 89.58%
1706.53/1707.02 c 1663s| 1020k|226288 | 0 | 0.0 |1383M| 188 | - |3238 | 21k| 0 | 0 | 0 | 823k| 0 |-9.600000e+01 |-1.000000e+01 | 89.58%
1731.72/1732.21 c 1688s| 1030k|226287 | 0 | 0.0 |1384M| 188 | - |3238 | 22k| 0 | 0 | 0 | 833k| 0 |-9.600000e+01 |-1.000000e+01 | 89.58%
1756.72/1757.25 c 1712s| 1040k|226287 | 0 | 0.0 |1387M| 188 | - |3238 | 24k| 0 | 0 | 0 | 843k| 0 |-9.600000e+01 |-1.000000e+01 | 89.58%
1784.01/1784.56 c 1739s| 1050k|226287 | 0 | 0.0 |1387M| 188 | - |3238 | 25k| 0 | 0 | 0 | 854k| 0 |-9.600000e+01 |-1.000000e+01 | 89.58%
1800.02/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.50 c
1800.02/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.50 c Solving Time (sec) : 1754.99
1800.02/1800.50 c Solving Nodes : 1055408
1800.02/1800.50 c Primal Bound : -1.00000000000000e+01 (9 solutions)
1800.02/1800.50 c Dual Bound : -9.60000000000000e+01
1800.02/1800.50 c Gap : 89.58 %
1800.02/1800.51 s SATISFIABLE
1800.02/1800.51 v -x162 -x111 -x139 -x121 -x180 -x119 x108 -x154 -x172 -x132 -x190 -x166 -x129 -x153 -x198 -x113 -x140 -x200 -x155 -x189 -x179 -x156
1800.02/1800.51 v -x152 -x149 -x109 -x188 -x151 -x144 -x165 -x135 -x115 -x146 -x147 -x126 -x106 -x182 -x197 -x102 -x195 -x161 -x133 -x105 -x104
1800.02/1800.51 v -x192 -x114 -x171 -x125 -x138 -x185 -x174 -x143 -x157 -x170 -x159 -x123 -x103 x101 -x199 x196 -x186 -x181 -x177 x176 x175
1800.02/1800.51 v -x167 -x158 -x148 -x145 -x142 -x134 -x120 -x118 -x117 -x110 -x107 -x124 -x131 x183 -x130 -x168 -x169 x112 -x137 -x173 -x141
1800.02/1800.51 v -x127 -x164 -x160 -x191 -x128 -x163 -x122 -x150 -x193 x136 -x194 -x116 x178 x187 -x184 -x100 -x99 -x98 x97 -x96 x95 -x94 -x93
1800.02/1800.51 v x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68
1800.02/1800.51 v -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 -x53 x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42
1800.02/1800.51 v -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17
1800.02/1800.51 v -x16 x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 -x1
1800.02/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.51 c Solving Time : 1754.99
1800.02/1800.51 c Original Problem :
1800.02/1800.51 c Problem name : HOME/instance-2663870-1276669057.opb
1800.02/1800.51 c Variables : 3238 (3238 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.51 c Constraints : 3339 initial, 3339 maximal
1800.02/1800.51 c Presolved Problem :
1800.02/1800.51 c Problem name : t_HOME/instance-2663870-1276669057.opb
1800.02/1800.51 c Variables : 3238 (3238 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.51 c Constraints : 3339 initial, 27187 maximal
1800.02/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c implics : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.51 c probing : 0.07 0 0 0 0 0 0 0 0
1800.02/1800.51 c setppc : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.51 c and : 0.18 0 0 0 0 0 0 0 0
1800.02/1800.51 c linear : 0.03 0 0 0 0 0 0 0 0
1800.02/1800.51 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c root node : - 0 - - 0 - - - -
1800.02/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.51 c setppc : 200 0 4680483 0 672156 7238 1557007 0 0 0
1800.02/1800.51 c and : 3038 0 4706975 0 676033 340 23486561 0 0 0
1800.02/1800.51 c linear : 1 0 4705980 0 676069 84416 4432301 0 0 0
1800.02/1800.51 c logicor : 100+ 0 734930 0 675891 5658 603582 0 0 0
1800.02/1800.51 c countsols : 0 0 0 0 676075 0 0 0 0 0
1800.02/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.51 c setppc : 89.14 0.00 11.02 0.00 78.12
1800.02/1800.51 c and : 116.57 0.00 109.50 0.00 7.07
1800.02/1800.51 c linear : 146.79 0.00 145.88 0.00 0.91
1800.02/1800.51 c logicor : 406.66 0.00 396.40 0.00 10.26
1800.02/1800.51 c countsols : 0.29 0.00 0.00 0.00 0.29
1800.02/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.51 c vbounds : 2.22 2 0 0
1800.02/1800.51 c rootredcost : 2.57 0 0 0
1800.02/1800.51 c pseudoobj : 363.70 5064312 350013 361207
1800.02/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.51 c propagation : 368.76 447665 446208 4697267 146.7 74 97.8 -
1800.02/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.51 c applied globally : - - - 860279 142.8 - - -
1800.02/1800.51 c applied locally : - - - 0 0.0 - - -
1800.02/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.51 c redcost : 0.00 0 0 0 0 0
1800.02/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.51 c intobj : 0.00 0 0 0 0 0
1800.02/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.51 c gomory : 0.00 0 0 0 0 0
1800.02/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.51 c cmir : 0.00 0 0 0 0 0
1800.02/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.51 c clique : 0.00 0 0 0 0 0
1800.02/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.51 c mcf : 0.00 0 0 0 0 0
1800.02/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.51 c Pricers : Time Calls Vars
1800.02/1800.51 c problem variables: 0.00 0 0
1800.02/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.51 c inference : 130.55 676069 0 0 0 0 1352138
1800.02/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.51 c random : 0.00 0 0 0 0 0 0
1800.02/1800.51 c Primal Heuristics : Time Calls Found
1800.02/1800.51 c LP solutions : 0.00 - 0
1800.02/1800.51 c pseudo solutions : 0.01 - 6
1800.02/1800.51 c oneopt : 1.33 0 0
1800.02/1800.51 c trivial : 0.00 2 3
1800.02/1800.51 c simplerounding : 0.00 0 0
1800.02/1800.51 c zirounding : 0.00 0 0
1800.02/1800.51 c rounding : 0.00 0 0
1800.02/1800.51 c shifting : 0.00 0 0
1800.02/1800.51 c intshifting : 0.00 0 0
1800.02/1800.51 c twoopt : 0.00 0 0
1800.02/1800.51 c fixandinfer : 0.00 0 0
1800.02/1800.51 c feaspump : 0.00 0 0
1800.02/1800.51 c coefdiving : 0.00 0 0
1800.02/1800.51 c pscostdiving : 0.00 0 0
1800.02/1800.51 c fracdiving : 0.00 0 0
1800.02/1800.51 c veclendiving : 0.00 0 0
1800.02/1800.51 c intdiving : 0.00 0 0
1800.02/1800.51 c actconsdiving : 0.00 0 0
1800.02/1800.51 c objpscostdiving : 0.00 0 0
1800.02/1800.51 c rootsoldiving : 0.00 0 0
1800.02/1800.51 c linesearchdiving : 0.00 0 0
1800.02/1800.51 c guideddiving : 0.00 0 0
1800.02/1800.51 c octane : 0.00 0 0
1800.02/1800.51 c rens : 0.00 0 0
1800.02/1800.51 c rins : 0.00 0 0
1800.02/1800.51 c localbranching : 0.00 0 0
1800.02/1800.51 c mutation : 0.00 0 0
1800.02/1800.51 c crossover : 0.00 0 0
1800.02/1800.51 c dins : 0.00 0 0
1800.02/1800.51 c undercover : 0.00 0 0
1800.02/1800.51 c nlp : 0.52 0 0
1800.02/1800.51 c trysol : 0.70 0 0
1800.02/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.51 c (at root node) : - 0 0 0.00 -
1800.02/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.51 c B&B Tree :
1800.02/1800.51 c number of runs : 1
1800.02/1800.51 c nodes : 1055408
1800.02/1800.51 c nodes (total) : 1055408
1800.02/1800.51 c nodes left : 226288
1800.02/1800.51 c max depth : 188
1800.02/1800.51 c max depth (total): 188
1800.02/1800.51 c backtracks : 77987 (7.4%)
1800.02/1800.51 c delayed cutoffs : 70442
1800.02/1800.51 c repropagations : 2386571 (1935741 domain reductions, 68332 cutoffs)
1800.02/1800.51 c avg switch length: 6.47
1800.02/1800.51 c switching time : 322.49
1800.02/1800.51 c Solution :
1800.02/1800.51 c Solutions found : 9 (7 improvements)
1800.02/1800.51 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.02/1800.51 c Primal Bound : -1.00000000000000e+01 (in run 1, after 800334 nodes, 1222.02 seconds, depth 121, found by <relaxation>)
1800.02/1800.51 c Dual Bound : -9.60000000000000e+01
1800.02/1800.51 c Gap : 89.58 %
1800.02/1800.51 c Root Dual Bound : -1.00000000000000e+02
1800.02/1800.51 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-2663870-1276669057/watcher-2663870-1276669057 -o /tmp/evaluation-result-2663870-1276669057/solver-2663870-1276669057 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663870-1276669057.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.85 0.97 0.99 3/105 16434
/proc/meminfo: memFree=1749248/2059040 swapFree=4192956/4192956
[pid=16434] ppid=16432 vsize=6584 CPUtime=0
/proc/16434/stat : 16434 (pbscip.linux.x8) R 16432 16434 16409 0 -1 4202496 1123 0 0 0 0 0 0 0 25 0 1 0 8199575 6742016 1046 1992294400 4194304 7136930 140734093887712 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16434/statm: 1646 1057 254 719 0 925 0
[startup+0.073293 s]
/proc/loadavg: 0.85 0.97 0.99 3/105 16434
/proc/meminfo: memFree=1749248/2059040 swapFree=4192956/4192956
[pid=16434] ppid=16432 vsize=17896 CPUtime=0.06
/proc/16434/stat : 16434 (pbscip.linux.x8) R 16432 16434 16409 0 -1 4202496 4336 0 0 0 5 1 0 0 25 0 1 0 8199575 18325504 3905 1992294400 4194304 7136930 140734093887712 18446744073709551615 4561440 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16434/statm: 4474 3905 304 719 0 3753 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 17896
[startup+0.101297 s]
/proc/loadavg: 0.85 0.97 0.99 3/105 16434
/proc/meminfo: memFree=1749248/2059040 swapFree=4192956/4192956
[pid=16434] ppid=16432 vsize=21580 CPUtime=0.09
/proc/16434/stat : 16434 (pbscip.linux.x8) R 16432 16434 16409 0 -1 4202496 4886 0 0 0 8 1 0 0 25 0 1 0 8199575 22097920 4455 1992294400 4194304 7136930 140734093887712 18446744073709551615 6346613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16434/statm: 5395 4465 333 719 0 4674 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21580
[startup+0.301318 s]
/proc/loadavg: 0.85 0.97 0.99 3/105 16434
/proc/meminfo: memFree=1749248/2059040 swapFree=4192956/4192956
[pid=16434] ppid=16432 vsize=23180 CPUtime=0.29
/proc/16434/stat : 16434 (pbscip.linux.x8) R 16432 16434 16409 0 -1 4202496 6748 0 0 0 20 9 0 0 25 0 1 0 8199575 23736320 5032 1992294400 4194304 7136930 140734093887712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16434/statm: 5795 5032 361 719 0 5074 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23180
[startup+0.701363 s]
/proc/loadavg: 0.85 0.97 0.99 3/105 16434
/proc/meminfo: memFree=1749248/2059040 swapFree=4192956/4192956
[pid=16434] ppid=16432 vsize=25260 CPUtime=0.69
/proc/16434/stat : 16434 (pbscip.linux.x8) R 16432 16434 16409 0 -1 4202496 7865 0 0 0 51 18 0 0 25 0 1 0 8199575 25866240 5635 1992294400 4194304 7136930 140734093887712 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16434/statm: 6315 5635 388 719 0 5594 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25260
[startup+1.50145 s]
/proc/loadavg: 0.85 0.97 0.99 2/106 16435
/proc/meminfo: memFree=1725556/2059040 swapFree=4192956/4192956
[pid=16434] ppid=16432 vsize=28560 CPUtime=1.49
/proc/16434/stat : 16434 (pbscip.linux.x8) R 16432 16434 16409 0 -1 4202496 8641 0 0 0 130 19 0 0 25 0 1 0 8199575 29245440 6411 1992294400 4194304 7136930 140734093887712 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16434/statm: 7140 6411 393 719 0 6419 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28560
[startup+3.10163 s]
/proc/loadavg: 0.85 0.97 0.99 2/106 16435
/proc/meminfo: memFree=1723944/2059040 swapFree=4192956/4192956
[pid=16434] ppid=16432 vsize=30404 CPUtime=3.09
/proc/16434/stat : 16434 (pbscip.linux.x8) R 16432 16434 16409 0 -1 4202496 9107 0 0 0 288 21 0 0 25 0 1 0 8199575 31133696 6877 1992294400 4194304 7136930 140734093887712 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16434/statm: 7601 6877 393 719 0 6880 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30404
[startup+6.30099 s]
/proc/loadavg: 0.86 0.97 0.99 2/106 16435
/proc/meminfo: memFree=1718488/2059040 swapFree=4192956/4192956
[pid=16434] ppid=16432 vsize=37492 CPUtime=6.29
/proc/16434/stat : 16434 (pbscip.linux.x8) R 16432 16434 16409 0 -1 4202496 10846 0 0 0 603 26 0 0 25 0 1 0 8199575 38391808 8616 1992294400 4194304 7136930 140734093887712 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16434/statm: 9373 8616 393 719 0 8652 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37492
[startup+12.7017 s]
/proc/loadavg: 0.87 0.97 0.99 2/106 16435
/proc/meminfo: memFree=1704352/2059040 swapFree=4192956/4192956
[pid=16434] ppid=16432 vsize=50940 CPUtime=12.69
/proc/16434/stat : 16434 (pbscip.linux.x8) R 16432 16434 16409 0 -1 4202496 14059 0 0 0 1228 41 0 0 25 0 1 0 8199575 52162560 11829 1992294400 4194304 7136930 140734093887712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16434/statm: 12735 11829 393 719 0 12014 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 50940
[startup+25.5012 s]
/proc/loadavg: 0.90 0.97 0.99 2/106 16435
/proc/meminfo: memFree=1667524/2059040 swapFree=4192956/4192956
[pid=16434] ppid=16432 vsize=91120 CPUtime=25.49
/proc/16434/stat : 16434 (pbscip.linux.x8) R 16432 16434 16409 0 -1 4202496 23024 0 0 0 2486 63 0 0 25 0 1 0 8199575 93306880 20794 1992294400 4194304 7136930 140734093887712 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16434/statm: 22780 20794 393 719 0 22059 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 91120
[startup+51.101 s]
/proc/loadavg: 1.01 0.99 0.99 2/106 16435
/proc/meminfo: memFree=1581964/2059040 swapFree=4192956/4192956
[pid=16434] ppid=16432 vsize=193608 CPUtime=51.07
/proc/16434/stat : 16434 (pbscip.linux.x8) R 16432 16434 16409 0 -1 4202496 44903 0 0 0 4997 110 0 0 25 0 1 0 8199575 198254592 42673 1992294400 4194304 7136930 140734093887712 18446744073709551615 5121849 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16434/statm: 48402 42673 393 719 0 47681 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 193608
[startup+102.308 s]
/proc/loadavg: 1.08 1.00 1.00 2/106 16437
/proc/meminfo: memFree=1428204/2059040 swapFree=4192956/4192956
[pid=16434] ppid=16432 vsize=375332 CPUtime=102.26
/proc/16434/stat : 16434 (pbscip.linux.x8) R 16432 16434 16409 0 -1 4202496 82572 0 0 0 10012 214 0 0 25 0 1 0 8199575 384339968 80342 1992294400 4194304 7136930 140734093887712 18446744073709551615 4641960 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16434/statm: 93833 80342 393 719 0 93112 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 375332
[startup+162.301 s]
/proc/loadavg: 1.10 1.02 1.00 2/106 16439
/proc/meminfo: memFree=1240840/2059040 swapFree=4192956/4192956
[pid=16434] ppid=16432 vsize=612228 CPUtime=162.24
/proc/16434/stat : 16434 (pbscip.linux.x8) R 16432 16434 16409 0 -1 4202496 129670 0 0 0 15894 330 0 0 25 0 1 0 8199575 626921472 127440 1992294400 4194304 7136930 140734093887712 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16434/statm: 153057 127440 393 719 0 152336 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 612228
[startup+222.301 s]
/proc/loadavg: 1.10 1.03 1.00 2/106 16441
/proc/meminfo: memFree=1047896/2059040 swapFree=4192956/4192956
[pid=16434] ppid=16432 vsize=844264 CPUtime=222.23
/proc/16434/stat : 16434 (pbscip.linux.x8) R 16432 16434 16409 0 -1 4202496 177440 0 0 0 21769 454 0 0 25 0 1 0 8199575 864526336 175210 1992294400 4194304 7136930 140734093887712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16434/statm: 211066 175210 393 719 0 210345 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 844264
[startup+282.301 s]
/proc/loadavg: 1.10 1.04 1.00 2/106 16441
/proc/meminfo: memFree=844288/2059040 swapFree=4192956/4192956
[pid=16434] ppid=16432 vsize=1123232 CPUtime=282.21
/proc/16434/stat : 16434 (pbscip.linux.x8) R 16432 16434 16409 0 -1 4202496 229297 0 0 0 27633 588 0 0 25 0 1 0 8199575 1150189568 227067 1992294400 4194304 7136930 140734093887712 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16434/statm: 280808 227067 393 719 0 280087 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1123232
[startup+342.301 s]
/proc/loadavg: 1.09 1.04 1.00 2/106 16443
/proc/meminfo: memFree=678748/2059040 swapFree=4192956/4192956
[pid=16434] ppid=16432 vsize=1296744 CPUtime=342.19
/proc/16434/stat : 16434 (pbscip.linux.x8) R 16432 16434 16409 0 -1 4202496 270007 0 0 0 33493 726 0 0 25 0 1 0 8199575 1327865856 267777 1992294400 4194304 7136930 140734093887712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16434/statm: 324186 267777 393 719 0 323465 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 1296744
[startup+402.301 s]
/proc/loadavg: 1.08 1.05 1.00 2/106 16445
/proc/meminfo: memFree=541852/2059040 swapFree=4192956/4192956
[pid=16434] ppid=16432 vsize=1443180 CPUtime=402.18
/proc/16434/stat : 16434 (pbscip.linux.x8) R 16432 16434 16409 0 -1 4202496 304261 0 0 0 39366 852 0 0 25 0 1 0 8199575 1477816320 302031 1992294400 4194304 7136930 140734093887712 18446744073709551615 4643199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16434/statm: 360795 302031 393 719 0 360074 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1443180
[startup+462.301 s]
/proc/loadavg: 1.08 1.05 1.00 2/106 16447
/proc/meminfo: memFree=388836/2059040 swapFree=4192956/4192956
[pid=16434] ppid=16432 vsize=1617972 CPUtime=462.16
/proc/16434/stat : 16434 (pbscip.linux.x8) R 16432 16434 16409 0 -1 4202496 341940 0 0 0 45251 965 0 0 25 0 1 0 8199575 1656803328 339710 1992294400 4194304 7136930 140734093887712 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16434/statm: 404493 339710 393 719 0 403772 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1617972
[startup+522.301 s]
/proc/loadavg: 1.07 1.05 1.00 2/106 16449
/proc/meminfo: memFree=296084/2059040 swapFree=4192956/4192956
[pid=16434] ppid=16432 vsize=1735964 CPUtime=522.15
/proc/16434/stat : 16434 (pbscip.linux.x8) R 16432 16434 16409 0 -1 4202496 365971 0 0 0 51012 1203 0 0 25 0 1 0 8199575 1777627136 362854 1992294400 4194304 7136930 140734093887712 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16434/statm: 433991 362854 393 719 0 433270 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1735964
[startup+582.301 s]
/proc/loadavg: 1.07 1.06 1.00 2/106 16449
/proc/meminfo: memFree=285668/2059040 swapFree=4192956/4192956
[pid=16434] ppid=16432 vsize=1744996 CPUtime=582.13
/proc/16434/stat : 16434 (pbscip.linux.x8) R 16432 16434 16409 0 -1 4202496 368300 0 0 0 56793 1420 0 0 25 0 1 0 8199575 1786875904 365183 1992294400 4194304 7136930 140734093887712 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16434/statm: 436249 365183 393 719 0 435528 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 1744996
[startup+642.301 s]
/proc/loadavg: 1.06 1.06 1.00 2/106 16451
/proc/meminfo: memFree=280336/2059040 swapFree=4192956/4192956
[pid=16434] ppid=16432 vsize=1750472 CPUtime=642.12
/proc/16434/stat : 16434 (pbscip.linux.x8) R 16432 16434 16409 0 -1 4202496 369633 0 0 0 62540 1672 0 0 25 0 1 0 8199575 1792483328 366516 1992294400 4194304 7136930 140734093887712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16434/statm: 437618 366516 393 719 0 436897 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 1750472
[startup+702.301 s]
################
# More data... #
################
/proc/16434/stat : 16434 (pbscip.linux.x8) R 16432 16434 16409 0 -1 4202496 373936 0 0 0 103248 2952 0 0 25 0 1 0 8199575 1811095552 370819 1992294400 4194304 7136930 140734093887712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16434/statm: 442162 370819 393 719 0 441441 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 1768648
[startup+1122.3 s]
/proc/loadavg: 1.14 1.11 1.02 2/106 16468
/proc/meminfo: memFree=262356/2059040 swapFree=4192956/4192956
[pid=16434] ppid=16432 vsize=1768648 CPUtime=1121.99
/proc/16434/stat : 16434 (pbscip.linux.x8) R 16432 16434 16409 0 -1 4202496 373936 0 0 0 109075 3124 0 0 25 0 1 0 8199575 1811095552 370819 1992294400 4194304 7136930 140734093887712 18446744073709551615 4209070 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16434/statm: 442162 370819 393 719 0 441441 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 1768648
[startup+1182.3 s]
/proc/loadavg: 1.16 1.12 1.02 2/106 16468
/proc/meminfo: memFree=262232/2059040 swapFree=4192956/4192956
[pid=16434] ppid=16432 vsize=1768648 CPUtime=1181.97
/proc/16434/stat : 16434 (pbscip.linux.x8) R 16432 16434 16409 0 -1 4202496 373969 0 0 0 114928 3269 0 0 25 0 1 0 8199575 1811095552 370852 1992294400 4194304 7136930 140734093887712 18446744073709551615 4999661 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16434/statm: 442162 370852 393 719 0 441441 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 1768648
[startup+1242.3 s]
/proc/loadavg: 1.06 1.09 1.02 2/106 16470
/proc/meminfo: memFree=261984/2059040 swapFree=4192956/4192956
[pid=16434] ppid=16432 vsize=1768820 CPUtime=1241.95
/proc/16434/stat : 16434 (pbscip.linux.x8) R 16432 16434 16409 0 -1 4202496 374000 0 0 0 120795 3400 0 0 25 0 1 0 8199575 1811271680 370883 1992294400 4194304 7136930 140734093887712 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16434/statm: 442205 370883 393 719 0 441484 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 1768820
[startup+1302.3 s]
/proc/loadavg: 1.02 1.07 1.01 2/106 16472
/proc/meminfo: memFree=261612/2059040 swapFree=4192956/4192956
[pid=16434] ppid=16432 vsize=1769088 CPUtime=1301.95
/proc/16434/stat : 16434 (pbscip.linux.x8) R 16432 16434 16409 0 -1 4202496 374065 0 0 0 126661 3534 0 0 25 0 1 0 8199575 1811546112 370948 1992294400 4194304 7136930 140734093887712 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16434/statm: 442272 370948 393 719 0 441551 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1769088
[startup+1362.3 s]
/proc/loadavg: 1.00 1.06 1.01 2/106 16474
/proc/meminfo: memFree=261488/2059040 swapFree=4192956/4192956
[pid=16434] ppid=16432 vsize=1769088 CPUtime=1361.92
/proc/16434/stat : 16434 (pbscip.linux.x8) R 16432 16434 16409 0 -1 4202496 374102 0 0 0 132539 3653 0 0 25 0 1 0 8199575 1811546112 370985 1992294400 4194304 7136930 140734093887712 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16434/statm: 442272 370985 393 719 0 441551 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1769088
[startup+1422.31 s]
/proc/loadavg: 1.00 1.04 1.00 2/106 16476
/proc/meminfo: memFree=258264/2059040 swapFree=4192956/4192956
[pid=16434] ppid=16432 vsize=1772432 CPUtime=1421.91
/proc/16434/stat : 16434 (pbscip.linux.x8) R 16432 16434 16409 0 -1 4202496 374907 0 0 0 138438 3753 0 0 25 0 1 0 8199575 1814970368 371790 1992294400 4194304 7136930 140734093887712 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16434/statm: 443108 371790 393 719 0 442387 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1772432
[startup+1482.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/106 16476
/proc/meminfo: memFree=257892/2059040 swapFree=4192956/4192956
[pid=16434] ppid=16432 vsize=1772968 CPUtime=1481.89
/proc/16434/stat : 16434 (pbscip.linux.x8) R 16432 16434 16409 0 -1 4202496 375006 0 0 0 144335 3854 0 0 25 0 1 0 8199575 1815519232 371889 1992294400 4194304 7136930 140734093887712 18446744073709551615 4223007 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16434/statm: 443242 371889 393 719 0 442521 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1772968
[startup+1542.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/106 16478
/proc/meminfo: memFree=253924/2059040 swapFree=4192956/4192956
[pid=16434] ppid=16432 vsize=1776684 CPUtime=1541.88
/proc/16434/stat : 16434 (pbscip.linux.x8) R 16432 16434 16409 0 -1 4202496 375963 0 0 0 150183 4005 0 0 25 0 1 0 8199575 1819324416 372846 1992294400 4194304 7136930 140734093887712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16434/statm: 444171 372846 393 719 0 443450 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1776684
[startup+1602.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 16480
/proc/meminfo: memFree=250700/2059040 swapFree=4192956/4192956
[pid=16434] ppid=16432 vsize=1779836 CPUtime=1601.85
/proc/16434/stat : 16434 (pbscip.linux.x8) R 16432 16434 16409 0 -1 4202496 376760 0 0 0 156053 4132 0 0 25 0 1 0 8199575 1822552064 373643 1992294400 4194304 7136930 140734093887712 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16434/statm: 444959 373643 393 719 0 444238 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1779836
[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 16482
/proc/meminfo: memFree=249584/2059040 swapFree=4192956/4192956
[pid=16434] ppid=16432 vsize=1780860 CPUtime=1661.84
/proc/16434/stat : 16434 (pbscip.linux.x8) R 16432 16434 16409 0 -1 4202496 377027 0 0 0 161933 4251 0 0 25 0 1 0 8199575 1823600640 373910 1992294400 4194304 7136930 140734093887712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16434/statm: 445215 373910 393 719 0 444494 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1780860
[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 16484
/proc/meminfo: memFree=249460/2059040 swapFree=4192956/4192956
[pid=16434] ppid=16432 vsize=1780860 CPUtime=1721.83
/proc/16434/stat : 16434 (pbscip.linux.x8) R 16432 16434 16409 0 -1 4202496 377033 0 0 0 167808 4375 0 0 25 0 1 0 8199575 1823600640 373916 1992294400 4194304 7136930 140734093887712 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16434/statm: 445215 373916 393 719 0 444494 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1780860
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 16484
/proc/meminfo: memFree=249088/2059040 swapFree=4192956/4192956
[pid=16434] ppid=16432 vsize=1781060 CPUtime=1781.82
/proc/16434/stat : 16434 (pbscip.linux.x8) R 16432 16434 16409 0 -1 4202496 377090 0 0 0 173706 4476 0 0 25 0 1 0 8199575 1823805440 373973 1992294400 4194304 7136930 140734093887712 18446744073709551615 5001222 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16434/statm: 445265 373973 393 719 0 444544 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1781060
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 16486
/proc/meminfo: memFree=249088/2059040 swapFree=4192956/4192956
[pid=16434] ppid=16432 vsize=1781060 CPUtime=1800.02
/proc/16434/stat : 16434 (pbscip.linux.x8) R 16432 16434 16409 0 -1 4202496 377090 0 0 0 175502 4500 0 0 25 0 1 0 8199575 1823805440 373973 1992294400 4194304 7136930 140734093887712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16434/statm: 445265 373973 393 719 0 444544 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1781060
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -16434
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 16487
/proc/meminfo: memFree=248956/2059040 swapFree=4192956/4192956
[pid=16434] ppid=16432 vsize=1781132 CPUtime=1800.91
/proc/16434/stat : 16434 (pbscip.linux.x8) R 16432 16434 16409 0 -1 4202496 377106 0 0 0 175591 4500 0 0 19 0 1 0 8199575 1823879168 373989 1992294400 4194304 7136930 140734093887712 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16434/statm: 445283 373989 398 719 0 444562 0
Current children cumulated CPU time (s) 1800.91
Current children cumulated vsize (KiB) 1781132
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16487
/proc/meminfo: memFree=248956/2059040 swapFree=4192956/4192956
[pid=16434] ppid=16432 vsize=1723036 CPUtime=1801.71
/proc/16434/stat : 16434 (pbscip.linux.x8) R 16432 16434 16409 0 -1 4202496 377106 0 0 0 175670 4501 0 0 20 0 1 0 8199575 1764388864 359465 1992294400 4194304 7136930 140734093887712 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16434/statm: 430759 359465 398 719 0 430038 0
Current children cumulated CPU time (s) 1801.71
Current children cumulated vsize (KiB) 1723036
[startup+1802.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16487
/proc/meminfo: memFree=248956/2059040 swapFree=4192956/4192956
[pid=16434] ppid=16432 vsize=1168332 CPUtime=1801.91
/proc/16434/stat : 16434 (pbscip.linux.x8) R 16432 16434 16409 0 -1 4202496 377106 0 0 0 175685 4506 0 0 20 0 1 0 8199575 1196371968 239400 1992294400 4194304 7136930 140734093887712 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16434/statm: 291894 239368 398 719 0 291173 0
Current children cumulated CPU time (s) 1801.91
Current children cumulated vsize (KiB) 1168332
[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16487
/proc/meminfo: memFree=248956/2059040 swapFree=4192956/4192956
[pid=16434] ppid=16432 vsize=249492 CPUtime=1802
/proc/16434/stat : 16434 (pbscip.linux.x8) R 16432 16434 16409 0 -1 4202496 377106 0 0 0 175685 4515 0 0 21 0 1 0 8199575 255479808 55942 1992294400 4194304 7136930 140734093887712 18446744073709551615 6526746 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16434/statm: 62373 55444 398 719 0 61652 0
Current children cumulated CPU time (s) 1802
Current children cumulated vsize (KiB) 249492
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.53
CPU time (s): 1802.05
CPU user time (s): 1756.86
CPU system time (s): 45.1831
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 1781132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1756.86
system time used= 45.1831
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 377106
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 25815
runsolver used 3.09353 second user time and 8.40572 second system time
The end