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-2664222-1276599260.opb>
0.00/0.01 c original problem has 94 variables (94 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 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.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 4 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c presolving (2 rounds):
0.00/0.02 c 0 deleted vars, 4 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 94 variables (94 bin, 0 int, 0 impl, 0 cont) and 4 constraints
0.00/0.02 c 4 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 1620
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 2 | 0 | - | 314k| 0 | - | 94 | 4 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.99/1.08 c 0.9s| 10000 | 9980 | 0 | 0.0 |3970k| 43 | - | 94 | 8 | 0 | 0 | 0 | 9 | 0 | 0.000000e+00 | -- | Inf
2.10/2.14 c 1.9s| 20000 | 19978 | 0 | 0.0 |7647k| 43 | - | 94 | 7 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
3.09/3.19 c 2.8s| 30000 | 29978 | 0 | 0.0 | 11M| 43 | - | 94 | 7 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
4.19/4.27 c 3.7s| 40000 | 39976 | 0 | 0.0 | 14M| 43 | - | 94 | 7 | 0 | 0 | 0 | 11 | 0 | 0.000000e+00 | -- | Inf
5.40/5.40 c 4.7s| 50000 | 49976 | 0 | 0.0 | 19M| 43 | - | 94 | 7 | 0 | 0 | 0 | 11 | 0 | 0.000000e+00 | -- | Inf
6.50/6.55 c 5.7s| 60000 | 59964 | 0 | 0.0 | 23M| 43 | - | 94 | 8 | 0 | 0 | 0 | 17 | 0 | 0.000000e+00 | -- | Inf
7.60/7.63 c 6.6s| 70000 | 69958 | 0 | 0.0 | 27M| 43 | - | 94 | 9 | 0 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf
8.59/8.69 c 7.5s| 80000 | 79958 | 0 | 0.0 | 30M| 43 | - | 94 | 9 | 0 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf
9.69/9.72 c 8.4s| 90000 | 89958 | 0 | 0.0 | 33M| 43 | - | 94 | 8 | 0 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf
10.69/10.76 c 9.3s|100000 | 99958 | 0 | 0.0 | 37M| 43 | - | 94 | 7 | 0 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf
11.79/11.81 c 10.2s|110000 |109958 | 0 | 0.0 | 40M| 43 | - | 94 | 7 | 0 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf
12.39/12.49 o 493
12.39/12.49 c *10.8s|115997 | 89898 | 0 | 0.0 | 32M| 43 | - | 94 | 6 | 0 | 0 | 0 | 20 | 0 | 0.000000e+00 | 4.930000e+02 | Inf
12.49/12.57 o 489
12.49/12.57 c *10.9s|116664 | 90413 | 0 | 0.0 | 32M| 43 | - | 94 | 54 | 0 | 0 | 0 | 68 | 0 | 0.000000e+00 | 4.890000e+02 | Inf
12.88/12.94 c 11.2s|120000 | 93658 | 0 | 0.0 | 33M| 43 | - | 94 | 113 | 0 | 0 | 0 | 130 | 0 | 0.000000e+00 | 4.890000e+02 | Inf
12.98/13.05 o 187
12.98/13.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.98/13.05 c *11.3s|120172 | 64828 | 0 | 0.0 | 20M| 43 | - | 94 | 117 | 0 | 0 | 0 | 134 | 0 | 0.000000e+00 | 1.870000e+02 | Inf
13.39/13.46 o 186
13.39/13.46 c *11.7s|123106 | 67071 | 0 | 0.0 | 21M| 43 | - | 94 | 481 | 0 | 0 | 0 | 505 | 0 | 0.000000e+00 | 1.860000e+02 | Inf
14.20/14.25 o 36
14.20/14.25 c *12.4s|127518 | 52579 | 0 | 0.0 | 16M| 50 | - | 94 |1039 | 0 | 0 | 0 |1102 | 0 | 0.000000e+00 | 3.600000e+01 | Inf
14.89/14.93 c 13.0s|130000 | 53286 | 0 | 0.0 | 17M| 50 | - | 94 |1823 | 0 | 0 | 0 |1939 | 0 | 0.000000e+00 | 3.600000e+01 | Inf
19.07/19.15 c 17.1s|140000 | 55558 | 0 | 0.0 | 20M| 50 | - | 94 |3311 | 0 | 0 | 0 |5659 | 0 | 0.000000e+00 | 3.600000e+01 | Inf
23.98/24.08 c 21.8s|150000 | 57338 | 0 | 0.0 | 23M| 50 | - | 94 |3663 | 0 | 0 | 0 |9687 | 0 | 0.000000e+00 | 3.600000e+01 | Inf
30.48/30.52 c 28.0s|160000 | 58658 | 0 | 0.0 | 26M| 50 | - | 94 |4796 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
31.28/31.37 o 35
31.28/31.37 c *28.8s|161117 | 58802 | 0 | 0.0 | 26M| 50 | - | 94 |4805 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
39.27/39.39 o 34
39.27/39.39 c *36.7s|169447 | 58906 | 0 | 0.0 | 28M| 50 | - | 94 |5303 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
39.87/39.94 c 37.2s|170000 | 58921 | 0 | 0.0 | 28M| 50 | - | 94 |5387 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
48.87/48.95 o 33
48.87/48.95 c *46.0s|176855 | 57982 | 0 | 0.0 | 30M| 50 | - | 94 |6150 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
54.17/54.29 c 51.3s|180000 | 57021 | 0 | 0.0 | 31M| 50 | - | 94 |6783 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
66.47/66.54 c 63.3s|190000 | 57346 | 0 | 0.0 | 31M| 50 | - | 94 |6890 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
72.47/72.51 c 69.1s|200000 | 60922 | 0 | 0.0 | 34M| 50 | - | 94 |6506 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
79.56/79.65 c 76.0s|210000 | 62900 | 0 | 0.0 | 36M| 50 | - | 94 |6891 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
82.16/82.22 o 29
82.16/82.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.16/82.22 c *78.5s|212755 | 59866 | 0 | 0.0 | 35M| 50 | - | 94 |6114 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
89.15/89.27 c 85.4s|220000 | 59750 | 0 | 0.0 | 36M| 50 | - | 94 |5005 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
90.07/90.19 o 27
90.07/90.19 c *86.3s|221619 | 60012 | 0 | 0.0 | 36M| 50 | - | 94 |4874 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
92.36/92.47 o 23
92.36/92.47 c *88.5s|225111 | 60133 | 0 | 0.0 | 37M| 50 | - | 94 |5274 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
94.15/94.28 c 90.2s|230000 | 62709 | 0 | 0.0 | 38M| 50 | - | 94 |5426 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
98.55/98.61 c 94.4s|240000 | 67251 | 0 | 0.0 | 41M| 50 | - | 94 |5856 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
103.15/103.28 c 98.8s|250000 | 71267 | 0 | 0.0 | 43M| 50 | - | 94 |6121 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
103.45/103.53 o 22
103.45/103.53 c *99.1s|250509 | 71443 | 0 | 0.0 | 43M| 50 | - | 94 |6139 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
108.25/108.35 c 104s|260000 | 74999 | 0 | 0.0 | 46M| 50 | - | 94 |6480 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
110.96/111.05 o 21
110.96/111.05 c * 106s|264778 | 76666 | 0 | 0.0 | 47M| 50 | - | 94 |6798 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
110.96/111.07 o 20
110.96/111.07 c * 106s|264820 | 76613 | 0 | 0.0 | 47M| 50 | - | 94 |6799 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
113.75/113.82 o 16
113.75/113.82 c * 109s|269720 | 77257 | 0 | 0.0 | 48M| 50 | - | 94 |7103 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
113.85/113.97 c 109s|270000 | 77350 | 0 | 0.0 | 48M| 50 | - | 94 |7123 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
120.45/120.55 c 116s|280000 | 80057 | 0 | 0.0 | 51M| 50 | - | 94 |7831 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
127.75/127.89 c 123s|290000 | 82727 | 0 | 0.0 | 54M| 50 | - | 94 |8331 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
134.65/134.78 o 13
134.65/134.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
134.65/134.78 c * 129s|298699 | 84735 | 0 | 0.0 | 57M| 50 | - | 94 |9102 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
135.85/135.96 c 131s|300000 | 84957 | 0 | 0.0 | 57M| 50 | - | 94 |9294 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
145.75/145.89 c 140s|310000 | 86806 | 0 | 0.0 | 60M| 50 | - | 94 |9661 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
156.15/156.22 c 150s|320000 | 88699 | 0 | 0.0 | 63M| 50 | - | 94 | 10k| 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
168.14/168.21 c 162s|330000 | 89743 | 0 | 0.0 | 67M| 50 | - | 94 | 11k| 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
182.03/182.10 c 176s|340000 | 90625 | 0 | 0.0 | 70M| 50 | - | 94 | 11k| 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
195.93/196.04 c 190s|350000 | 91663 | 0 | 0.0 | 72M| 50 | - | 94 | 12k| 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
214.52/214.60 c 208s|360000 | 91751 | 0 | 0.0 | 75M| 50 | - | 94 | 13k| 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
235.22/235.33 c 228s|370000 | 91700 | 0 | 0.0 | 78M| 50 | - | 94 | 14k| 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
254.61/254.76 c 248s|380000 | 91895 | 0 | 0.0 | 81M| 50 | - | 94 | 15k| 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
259.51/259.67 o 12
259.51/259.67 c * 253s|382549 | 91890 | 0 | 0.0 | 81M| 50 | - | 94 | 15k| 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
280.10/280.23 c 273s|390000 | 91220 | 0 | 0.0 | 83M| 50 | - | 94 | 15k| 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
312.09/312.28 c 305s|400000 | 89651 | 0 | 0.0 | 86M| 50 | - | 94 | 17k| 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
324.39/324.53 o 11
324.39/324.53 c * 317s|404512 | 89373 | 0 | 0.0 | 87M| 50 | - | 94 | 17k| 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
343.48/343.61 c 336s|410000 | 88473 | 0 | 0.0 | 88M| 50 | - | 94 | 18k| 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
374.17/374.36 o 10
374.17/374.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
374.17/374.36 c * 366s|417060 | 85936 | 0 | 0.0 | 90M| 50 | - | 94 | 19k| 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
385.76/385.95 c 378s|420000 | 85246 | 0 | 0.0 | 90M| 50 | - | 94 | 19k| 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
391.16/391.36 o 9
391.16/391.36 c * 383s|421070 | 84214 | 0 | 0.0 | 90M| 50 | - | 94 | 19k| 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
428.62/428.88 c 421s|430000 | 80034 | 0 | 0.0 | 86M| 50 | - | 94 | 20k| 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
441.82/442.06 c 434s|440000 | 84170 | 0 | 0.0 | 88M| 50 | - | 94 | 18k| 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
455.02/455.20 c 447s|450000 | 87224 | 0 | 0.0 | 90M| 50 | - | 94 | 16k| 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
467.62/467.86 c 459s|460000 | 89599 | 0 | 0.0 | 91M| 50 | - | 94 | 15k| 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
480.52/480.78 c 472s|470000 | 91450 | 0 | 0.0 | 93M| 50 | - | 94 | 15k| 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
494.20/494.42 c 485s|480000 | 92794 | 0 | 0.0 | 96M| 50 | - | 94 | 15k| 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
509.60/509.82 c 500s|490000 | 93282 | 0 | 0.0 | 98M| 50 | - | 94 | 15k| 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
529.69/529.94 c 520s|500000 | 93043 | 0 | 0.0 | 100M| 50 | - | 94 | 16k| 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
548.89/549.15 c 539s|510000 | 94436 | 0 | 0.0 | 101M| 50 | - | 94 | 13k| 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
558.98/559.22 c 549s|520000 | 97077 | 0 | 0.0 | 103M| 50 | - | 94 | 11k| 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
571.48/571.75 o 8
571.48/571.75 c * 561s|529123 | 97393 | 0 | 0.0 | 103M| 50 | - | 94 | 12k| 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
571.98/572.25 c 562s|530000 | 97947 | 0 | 0.0 | 104M| 50 | - | 94 | 12k| 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
579.77/580.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
579.77/580.06 c 570s|540000 |102771 | 0 | 0.0 | 106M| 50 | - | 94 | 13k| 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
589.68/589.91 c 579s|550000 |106840 | 0 | 0.0 | 108M| 50 | - | 94 | 13k| 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
599.38/599.65 c 589s|560000 |110432 | 0 | 0.0 | 110M| 50 | - | 94 | 14k| 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
610.27/610.58 c 600s|570000 |113800 | 0 | 0.0 | 112M| 50 | - | 94 | 14k| 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
621.28/621.54 c 610s|580000 |117208 | 0 | 0.0 | 115M| 50 | - | 94 | 15k| 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
622.37/622.61 o 4
622.37/622.61 c * 611s|580878 |116806 | 0 | 0.0 | 114M| 50 | - | 94 | 15k| 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
634.16/634.48 c 623s|590000 |119495 | 0 | 0.0 | 116M| 50 | - | 94 | 15k| 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
648.05/648.33 c 637s|600000 |122237 | 0 | 0.0 | 119M| 50 | - | 94 | 16k| 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
662.15/662.44 c 651s|610000 |125133 | 0 | 0.0 | 121M| 50 | - | 94 | 16k| 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
675.64/675.98 c 664s|620000 |128014 | 0 | 0.0 | 124M| 50 | - | 94 | 17k| 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
691.64/691.97 c 680s|630000 |130339 | 0 | 0.0 | 126M| 50 | - | 94 | 18k| 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
708.93/709.20 c 697s|640000 |132473 | 0 | 0.0 | 129M| 50 | - | 94 | 18k| 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
726.62/727.00 c 714s|650000 |134662 | 0 | 0.0 | 131M| 50 | - | 94 | 19k| 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
744.33/744.60 c 732s|660000 |136831 | 0 | 0.0 | 133M| 50 | - | 94 | 19k| 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
762.02/762.40 c 749s|670000 |139142 | 0 | 0.0 | 136M| 50 | - | 94 | 20k| 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
780.32/780.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
780.32/780.60 c 767s|680000 |141314 | 0 | 0.0 | 138M| 50 | - | 94 | 21k| 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
802.20/802.53 c 789s|690000 |142795 | 0 | 0.0 | 141M| 50 | - | 94 | 22k| 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
824.79/825.19 c 812s|700000 |144105 | 0 | 0.0 | 143M| 50 | - | 94 | 23k| 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
848.80/849.12 c 835s|710000 |145416 | 0 | 0.0 | 145M| 50 | - | 94 | 23k| 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
873.58/873.94 c 860s|720000 |146909 | 0 | 0.0 | 148M| 50 | - | 94 | 24k| 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
898.77/899.13 c 885s|730000 |148306 | 0 | 0.0 | 150M| 50 | - | 94 | 24k| 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
923.36/923.73 c 909s|740000 |149795 | 0 | 0.0 | 152M| 50 | - | 94 | 24k| 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
949.56/949.90 c 935s|750000 |151199 | 0 | 0.0 | 154M| 50 | - | 94 | 25k| 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
978.25/978.65 c 964s|760000 |152125 | 0 | 0.0 | 157M| 50 | - | 94 | 26k| 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1010.34/1010.78 c 996s|770000 |152617 | 0 | 0.0 | 159M| 50 | - | 94 | 27k| 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1042.62/1043.09 c 1028s|780000 |153119 | 0 | 0.0 | 161M| 50 | - | 94 | 27k| 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1074.41/1074.86 c 1059s|790000 |153797 | 0 | 0.0 | 163M| 50 | - | 94 | 28k| 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1107.41/1107.84 c 1092s|800000 |154610 | 0 | 0.0 | 165M| 50 | - | 94 | 28k| 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1140.00/1140.42 c 1125s|810000 |155392 | 0 | 0.0 | 166M| 50 | - | 94 | 28k| 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1175.89/1176.37 c 1160s|820000 |155747 | 0 | 0.0 | 168M| 50 | - | 94 | 29k| 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1212.78/1213.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1212.78/1213.29 c 1197s|830000 |156146 | 0 | 0.0 | 171M| 50 | - | 94 | 30k| 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1253.76/1254.20 c 1238s|840000 |156212 | 0 | 0.0 | 172M| 50 | - | 94 | 31k| 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1295.46/1295.91 c 1279s|850000 |156271 | 0 | 0.0 | 174M| 50 | - | 94 | 32k| 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1336.64/1337.19 c 1320s|860000 |156439 | 0 | 0.0 | 175M| 50 | - | 94 | 32k| 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1380.43/1380.99 c 1364s|870000 |156381 | 0 | 0.0 | 177M| 50 | - | 94 | 32k| 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1424.02/1424.52 c 1407s|880000 |156398 | 0 | 0.0 | 178M| 50 | - | 94 | 33k| 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1468.10/1468.63 c 1451s|890000 |156245 | 0 | 0.0 | 180M| 50 | - | 94 | 33k| 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1510.19/1510.77 c 1493s|900000 |156040 | 0 | 0.0 | 181M| 50 | - | 94 | 34k| 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1558.08/1558.61 c 1540s|910000 |155369 | 0 | 0.0 | 182M| 50 | - | 94 | 34k| 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1594.17/1594.75 c 1576s|920000 |157342 | 0 | 0.0 | 184M| 50 | - | 94 | 34k| 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1615.56/1616.14 c 1598s|930000 |161611 | 0 | 0.0 | 185M| 50 | - | 94 | 33k| 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1639.85/1640.40 c 1622s|940000 |165297 | 0 | 0.0 | 186M| 50 | - | 94 | 32k| 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1661.74/1662.32 c 1643s|950000 |168307 | 0 | 0.0 | 188M| 50 | - | 94 | 30k| 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1685.54/1686.16 c 1667s|960000 |171002 | 0 | 0.0 | 189M| 50 | - | 94 | 29k| 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1708.43/1709.08 c 1690s|970000 |173319 | 0 | 0.0 | 190M| 50 | - | 94 | 28k| 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1730.74/1731.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1730.74/1731.33 c 1712s|980000 |175638 | 0 | 0.0 | 192M| 50 | - | 94 | 28k| 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1754.32/1754.93 c 1735s|990000 |177556 | 0 | 0.0 | 193M| 50 | - | 94 | 28k| 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1777.41/1778.02 c 1758s| 1000k|179425 | 0 | 0.0 | 194M| 50 | - | 94 | 28k| 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1800.02/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.64 c
1800.02/1800.64 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.64 c Solving Time (sec) : 1780.55
1800.02/1800.64 c Solving Nodes : 1009791
1800.02/1800.64 c Primal Bound : +4.00000000000000e+00 (22 solutions)
1800.02/1800.64 c Dual Bound : +0.00000000000000e+00
1800.02/1800.64 c Gap : infinite
1800.02/1800.64 s SATISFIABLE
1800.02/1800.64 v x94 x93 -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 -x67 x66
1800.02/1800.64 v -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41
1800.02/1800.64 v -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 x18 -x17 -x16
1800.02/1800.64 v -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.02/1800.64 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.64 c Solving Time : 1780.55
1800.02/1800.64 c Original Problem :
1800.02/1800.64 c Problem name : HOME/instance-2664222-1276599260.opb
1800.02/1800.64 c Variables : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.64 c Constraints : 8 initial, 8 maximal
1800.02/1800.64 c Presolved Problem :
1800.02/1800.64 c Problem name : t_HOME/instance-2664222-1276599260.opb
1800.02/1800.64 c Variables : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.64 c Constraints : 4 initial, 35009 maximal
1800.02/1800.64 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.64 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.64 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.64 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.64 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.64 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.64 c probing : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.64 c linear : 0.00 0 0 0 0 0 4 0 0
1800.02/1800.64 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.64 c root node : - 0 - - 0 - - - -
1800.02/1800.64 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.64 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.64 c linear : 4 0 1997474 0 679497 378393 3328571 0 0 0
1800.02/1800.64 c logicor : 0+ 0 650159 0 0 1642 240459 0 0 0
1800.02/1800.64 c countsols : 0 0 0 0 679510 0 0 0 0 0
1800.02/1800.64 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.64 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.64 c linear : 106.36 0.00 105.68 0.00 0.68
1800.02/1800.64 c logicor : 869.44 0.00 869.44 0.00 0.00
1800.02/1800.64 c countsols : 0.23 0.00 0.00 0.00 0.23
1800.02/1800.64 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.64 c vbounds : 1.08 2 0 0
1800.02/1800.64 c rootredcost : 0.99 0 0 0
1800.02/1800.64 c pseudoobj : 20.10 2025465 28165 2759750
1800.02/1800.64 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.64 c propagation : 33.25 408200 315476 1087081 31.9 94 33.0 -
1800.02/1800.64 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.64 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.64 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.64 c pseudo solution : 0.00 2 2 2 2.0 0 0.0 -
1800.02/1800.64 c applied globally : - - - 311028 21.5 - - -
1800.02/1800.64 c applied locally : - - - 12037 38.3 - - -
1800.02/1800.64 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.64 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.64 c redcost : 0.00 0 0 0 0 0
1800.02/1800.64 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.64 c intobj : 0.00 0 0 0 0 0
1800.02/1800.64 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.64 c gomory : 0.00 0 0 0 0 0
1800.02/1800.64 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.64 c cmir : 0.00 0 0 0 0 0
1800.02/1800.64 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.64 c clique : 0.00 0 0 0 0 0
1800.02/1800.64 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.64 c mcf : 0.00 0 0 0 0 0
1800.02/1800.64 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.64 c Pricers : Time Calls Vars
1800.02/1800.64 c problem variables: 0.00 0 0
1800.02/1800.64 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.64 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.64 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.64 c inference : 9.81 679488 0 0 0 0 1358976
1800.02/1800.64 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.64 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.64 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.64 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.64 c random : 0.00 0 0 0 0 0 0
1800.02/1800.64 c Primal Heuristics : Time Calls Found
1800.02/1800.64 c LP solutions : 0.00 - 0
1800.02/1800.64 c pseudo solutions : 0.27 - 22
1800.02/1800.64 c oneopt : 0.82 0 0
1800.02/1800.64 c trivial : 0.00 2 0
1800.02/1800.64 c simplerounding : 0.00 0 0
1800.02/1800.64 c zirounding : 0.00 0 0
1800.02/1800.64 c rounding : 0.00 0 0
1800.02/1800.64 c shifting : 0.00 0 0
1800.02/1800.64 c intshifting : 0.00 0 0
1800.02/1800.64 c twoopt : 0.00 0 0
1800.02/1800.64 c fixandinfer : 0.00 0 0
1800.02/1800.64 c feaspump : 0.00 0 0
1800.02/1800.64 c coefdiving : 0.00 0 0
1800.02/1800.64 c pscostdiving : 0.00 0 0
1800.02/1800.64 c fracdiving : 0.00 0 0
1800.02/1800.64 c veclendiving : 0.00 0 0
1800.02/1800.64 c intdiving : 0.00 0 0
1800.02/1800.64 c actconsdiving : 0.00 0 0
1800.02/1800.64 c objpscostdiving : 0.00 0 0
1800.02/1800.64 c rootsoldiving : 0.00 0 0
1800.02/1800.64 c linesearchdiving : 0.00 0 0
1800.02/1800.64 c guideddiving : 0.00 0 0
1800.02/1800.64 c octane : 0.00 0 0
1800.02/1800.64 c rens : 0.00 0 0
1800.02/1800.64 c rins : 0.00 0 0
1800.02/1800.64 c localbranching : 0.00 0 0
1800.02/1800.64 c mutation : 0.00 0 0
1800.02/1800.64 c crossover : 0.00 0 0
1800.02/1800.64 c dins : 0.00 0 0
1800.02/1800.64 c undercover : 0.00 0 0
1800.02/1800.64 c nlp : 0.50 0 0
1800.02/1800.64 c trysol : 0.60 0 0
1800.02/1800.64 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.64 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.64 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.64 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.64 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.64 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.64 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.64 c (at root node) : - 0 0 0.00 -
1800.02/1800.64 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.64 c B&B Tree :
1800.02/1800.64 c number of runs : 1
1800.02/1800.64 c nodes : 1009791
1800.02/1800.64 c nodes (total) : 1009791
1800.02/1800.64 c nodes left : 180964
1800.02/1800.64 c max depth : 50
1800.02/1800.64 c max depth (total): 50
1800.02/1800.64 c backtracks : 132859 (13.2%)
1800.02/1800.64 c delayed cutoffs : 88086
1800.02/1800.64 c repropagations : 415346 (1172497 domain reductions, 77921 cutoffs)
1800.02/1800.64 c avg switch length: 6.39
1800.02/1800.64 c switching time : 511.83
1800.02/1800.64 c Solution :
1800.02/1800.64 c Solutions found : 22 (22 improvements)
1800.02/1800.64 c First Solution : +4.93000000000000e+02 (in run 1, after 115997 nodes, 10.75 seconds, depth 32, found by <relaxation>)
1800.02/1800.64 c Primal Bound : +4.00000000000000e+00 (in run 1, after 580878 nodes, 611.34 seconds, depth 31, found by <relaxation>)
1800.02/1800.64 c Dual Bound : +0.00000000000000e+00
1800.02/1800.64 c Gap : infinite
1800.02/1800.64 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.64 c Root Iterations : 0
1800.80/1801.46 c Time complete: 1800.86.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664222-1276599260/watcher-2664222-1276599260 -o /tmp/evaluation-result-2664222-1276599260/solver-2664222-1276599260 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664222-1276599260.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: 3.04 2.84 2.13 3/106 9507
/proc/meminfo: memFree=1852160/2059040 swapFree=4192956/4192956
[pid=9507] ppid=9505 vsize=6584 CPUtime=0
/proc/9507/stat : 9507 (pbscip.linux.x8) R 9505 9507 2332 0 -1 4202496 989 0 0 0 0 0 0 0 20 0 1 0 1218811 6742016 912 1992294400 4194304 7136930 140737068440896 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9507/statm: 1646 921 254 719 0 925 0
[startup+0.0679021 s]
/proc/loadavg: 3.04 2.84 2.13 3/106 9507
/proc/meminfo: memFree=1852160/2059040 swapFree=4192956/4192956
[pid=9507] ppid=9505 vsize=11128 CPUtime=0.06
/proc/9507/stat : 9507 (pbscip.linux.x8) R 9505 9507 2332 0 -1 4202496 2740 0 0 0 5 1 0 0 20 0 1 0 1218811 11395072 2053 1992294400 4194304 7136930 140737068440896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9507/statm: 2782 2053 383 719 0 2061 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11128
[startup+0.100904 s]
/proc/loadavg: 3.04 2.84 2.13 3/106 9507
/proc/meminfo: memFree=1852160/2059040 swapFree=4192956/4192956
[pid=9507] ppid=9505 vsize=11316 CPUtime=0.09
/proc/9507/stat : 9507 (pbscip.linux.x8) R 9505 9507 2332 0 -1 4202496 2773 0 0 0 8 1 0 0 20 0 1 0 1218811 11587584 2086 1992294400 4194304 7136930 140737068440896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9507/statm: 2829 2086 383 719 0 2108 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11316
[startup+0.300925 s]
/proc/loadavg: 3.04 2.84 2.13 3/106 9507
/proc/meminfo: memFree=1852160/2059040 swapFree=4192956/4192956
[pid=9507] ppid=9505 vsize=12248 CPUtime=0.29
/proc/9507/stat : 9507 (pbscip.linux.x8) R 9505 9507 2332 0 -1 4202496 3015 0 0 0 25 4 0 0 20 0 1 0 1218811 12541952 2328 1992294400 4194304 7136930 140737068440896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9507/statm: 3062 2328 383 719 0 2341 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12248
[startup+0.700969 s]
/proc/loadavg: 3.04 2.84 2.13 3/106 9507
/proc/meminfo: memFree=1852160/2059040 swapFree=4192956/4192956
[pid=9507] ppid=9505 vsize=14088 CPUtime=0.69
/proc/9507/stat : 9507 (pbscip.linux.x8) R 9505 9507 2332 0 -1 4202496 3489 0 0 0 60 9 0 0 20 0 1 0 1218811 14426112 2802 1992294400 4194304 7136930 140737068440896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9507/statm: 3522 2802 383 719 0 2801 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14088
[startup+1.50106 s]
/proc/loadavg: 3.04 2.84 2.13 2/107 9508
/proc/meminfo: memFree=1840992/2059040 swapFree=4192956/4192956
[pid=9507] ppid=9505 vsize=17600 CPUtime=1.49
/proc/9507/stat : 9507 (pbscip.linux.x8) R 9505 9507 2332 0 -1 4202496 4393 0 0 0 129 20 0 0 22 0 1 0 1218811 18022400 3706 1992294400 4194304 7136930 140737068440896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9507/statm: 4400 3706 383 719 0 3679 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17600
[startup+3.10123 s]
/proc/loadavg: 2.88 2.81 2.12 2/107 9508
/proc/meminfo: memFree=1836652/2059040 swapFree=4192956/4192956
[pid=9507] ppid=9505 vsize=23632 CPUtime=3.09
/proc/9507/stat : 9507 (pbscip.linux.x8) R 9505 9507 2332 0 -1 4202496 5956 0 0 0 270 39 0 0 25 0 1 0 1218811 24199168 5269 1992294400 4194304 7136930 140737068440896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9507/statm: 5908 5269 383 719 0 5187 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23632
[startup+6.30057 s]
/proc/loadavg: 2.88 2.81 2.12 2/107 9508
/proc/meminfo: memFree=1822020/2059040 swapFree=4192956/4192956
[pid=9507] ppid=9505 vsize=37300 CPUtime=6.28
/proc/9507/stat : 9507 (pbscip.linux.x8) R 9505 9507 2332 0 -1 4202496 9476 0 0 0 545 83 0 0 25 0 1 0 1218811 38195200 8789 1992294400 4194304 7136930 140737068440896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9507/statm: 9325 8789 383 719 0 8604 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 37300
[startup+12.7013 s]
/proc/loadavg: 2.59 2.75 2.11 2/107 9508
/proc/meminfo: memFree=1794624/2059040 swapFree=4192956/4192956
[pid=9507] ppid=9505 vsize=64152 CPUtime=12.69
/proc/9507/stat : 9507 (pbscip.linux.x8) R 9505 9507 2332 0 -1 4202496 15917 0 0 0 1097 172 0 0 25 0 1 0 1218811 65691648 15230 1992294400 4194304 7136930 140737068440896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9507/statm: 16038 15230 383 719 0 15317 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 64152
[startup+25.5006 s]
/proc/loadavg: 2.34 2.69 2.10 2/107 9508
/proc/meminfo: memFree=1786316/2059040 swapFree=4192956/4192956
[pid=9507] ppid=9505 vsize=70300 CPUtime=25.47
/proc/9507/stat : 9507 (pbscip.linux.x8) R 9505 9507 2332 0 -1 4202496 17392 0 0 0 2316 231 0 0 25 0 1 0 1218811 71987200 16705 1992294400 4194304 7136930 140737068440896 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9507/statm: 17575 16705 383 719 0 16854 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 70300
[startup+51.1014 s]
/proc/loadavg: 1.88 2.56 2.07 2/107 9510
/proc/meminfo: memFree=1779620/2059040 swapFree=4192956/4192956
[pid=9507] ppid=9505 vsize=77520 CPUtime=51.07
/proc/9507/stat : 9507 (pbscip.linux.x8) R 9505 9507 2332 0 -1 4202496 19121 0 0 0 4812 295 0 0 25 0 1 0 1218811 79380480 18434 1992294400 4194304 7136930 140737068440896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9507/statm: 19380 18434 383 719 0 18659 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 77520
[startup+102.309 s]
/proc/loadavg: 1.35 2.29 2.00 2/107 9510
/proc/meminfo: memFree=1769204/2059040 swapFree=4192956/4192956
[pid=9507] ppid=9505 vsize=87720 CPUtime=102.27
/proc/9507/stat : 9507 (pbscip.linux.x8) R 9505 9507 2332 0 -1 4202496 21617 0 0 0 9792 435 0 0 25 0 1 0 1218811 89825280 20930 1992294400 4194304 7136930 140737068440896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9507/statm: 21930 20930 384 719 0 21209 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 87720
[startup+162.301 s]
/proc/loadavg: 1.14 2.07 1.94 2/107 9512
/proc/meminfo: memFree=1750728/2059040 swapFree=4192956/4192956
[pid=9507] ppid=9505 vsize=106616 CPUtime=162.24
/proc/9507/stat : 9507 (pbscip.linux.x8) R 9505 9507 2332 0 -1 4202496 26214 0 0 0 15642 582 0 0 25 0 1 0 1218811 109174784 25527 1992294400 4194304 7136930 140737068440896 18446744073709551615 4210111 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9507/statm: 26654 25527 384 719 0 25933 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 106616
[startup+222.301 s]
/proc/loadavg: 1.05 1.86 1.87 2/107 9514
/proc/meminfo: memFree=1738700/2059040 swapFree=4192956/4192956
[pid=9507] ppid=9505 vsize=118928 CPUtime=222.22
/proc/9507/stat : 9507 (pbscip.linux.x8) R 9505 9507 2332 0 -1 4202496 29180 0 0 0 21560 662 0 0 25 0 1 0 1218811 121782272 28493 1992294400 4194304 7136930 140737068440896 18446744073709551615 4223090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9507/statm: 29732 28493 384 719 0 29011 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 118928
[startup+282.301 s]
/proc/loadavg: 1.02 1.71 1.82 2/107 9516
/proc/meminfo: memFree=1727788/2059040 swapFree=4192956/4192956
[pid=9507] ppid=9505 vsize=130328 CPUtime=282.2
/proc/9507/stat : 9507 (pbscip.linux.x8) R 9505 9507 2332 0 -1 4202496 31954 0 0 0 27501 719 0 0 25 0 1 0 1218811 133455872 31267 1992294400 4194304 7136930 140737068440896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9507/statm: 32582 31267 384 719 0 31861 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 130328
[startup+342.301 s]
/proc/loadavg: 1.00 1.57 1.76 2/107 9518
/proc/meminfo: memFree=1721712/2059040 swapFree=4192956/4192956
[pid=9507] ppid=9505 vsize=136516 CPUtime=342.18
/proc/9507/stat : 9507 (pbscip.linux.x8) R 9505 9507 2332 0 -1 4202496 33413 0 0 0 33452 766 0 0 25 0 1 0 1218811 139792384 32726 1992294400 4194304 7136930 140737068440896 18446744073709551615 4982565 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9507/statm: 34129 32726 384 719 0 33408 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 136516
[startup+402.301 s]
/proc/loadavg: 1.00 1.47 1.72 2/107 9527
/proc/meminfo: memFree=1716024/2059040 swapFree=4192956/4192956
[pid=9507] ppid=9505 vsize=140344 CPUtime=402.14
/proc/9507/stat : 9507 (pbscip.linux.x8) R 9505 9507 2332 0 -1 4202496 34321 0 0 0 39415 799 0 0 25 0 1 0 1218811 143712256 33634 1992294400 4194304 7136930 140737068440896 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9507/statm: 35086 33634 384 719 0 34365 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 140344
[startup+462.301 s]
/proc/loadavg: 1.00 1.38 1.66 2/107 9529
/proc/meminfo: memFree=1713172/2059040 swapFree=4192956/4192956
[pid=9507] ppid=9505 vsize=144148 CPUtime=462.11
/proc/9507/stat : 9507 (pbscip.linux.x8) R 9505 9507 2332 0 -1 4202496 35265 0 0 0 45348 863 0 0 25 0 1 0 1218811 147607552 34578 1992294400 4194304 7136930 140737068440896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9507/statm: 36037 34578 384 719 0 35316 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 144148
[startup+522.301 s]
/proc/loadavg: 1.00 1.31 1.62 2/107 9531
/proc/meminfo: memFree=1705360/2059040 swapFree=4192956/4192956
[pid=9507] ppid=9505 vsize=152276 CPUtime=522.1
/proc/9507/stat : 9507 (pbscip.linux.x8) R 9505 9507 2332 0 -1 4202496 37170 0 0 0 51264 946 0 0 25 0 1 0 1218811 155930624 36483 1992294400 4194304 7136930 140737068440896 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9507/statm: 38069 36483 384 719 0 37348 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 152276
[startup+582.302 s]
/proc/loadavg: 1.00 1.25 1.58 2/107 9533
/proc/meminfo: memFree=1698044/2059040 swapFree=4192956/4192956
[pid=9507] ppid=9505 vsize=159364 CPUtime=582.08
/proc/9507/stat : 9507 (pbscip.linux.x8) R 9505 9507 2332 0 -1 4202496 38999 0 0 0 57174 1034 0 0 25 0 1 0 1218811 163188736 38312 1992294400 4194304 7136930 140737068440896 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9507/statm: 39841 38312 384 719 0 39120 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 159364
[startup+642.301 s]
/proc/loadavg: 1.00 1.20 1.54 2/107 9535
/proc/meminfo: memFree=1686388/2059040 swapFree=4192956/4192956
[pid=9507] ppid=9505 vsize=170924 CPUtime=642.06
/proc/9507/stat : 9507 (pbscip.linux.x8) R 9505 9507 2332 0 -1 4202496 41920 0 0 0 63076 1130 0 0 25 0 1 0 1218811 175026176 41233 1992294400 4194304 7136930 140737068440896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9507/statm: 42731 41233 384 719 0 42010 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 170924
[startup+702.301 s]
################
# More data... #
################
[startup+942.301 s]
/proc/loadavg: 1.00 1.07 1.38 2/107 9543
/proc/meminfo: memFree=1651668/2059040 swapFree=4192956/4192956
[pid=9507] ppid=9505 vsize=206604 CPUtime=941.96
/proc/9507/stat : 9507 (pbscip.linux.x8) R 9505 9507 2332 0 -1 4202496 50603 0 0 0 92777 1419 0 0 25 0 1 0 1218811 211562496 49916 1992294400 4194304 7136930 140737068440896 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9507/statm: 51651 49916 384 719 0 50930 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 206604
[startup+1002.3 s]
/proc/loadavg: 1.00 1.05 1.35 2/107 9543
/proc/meminfo: memFree=1644724/2059040 swapFree=4192956/4192956
[pid=9507] ppid=9505 vsize=213216 CPUtime=1001.94
/proc/9507/stat : 9507 (pbscip.linux.x8) R 9505 9507 2332 0 -1 4202496 52301 0 0 0 98733 1461 0 0 25 0 1 0 1218811 218333184 51614 1992294400 4194304 7136930 140737068440896 18446744073709551615 4209070 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9507/statm: 53304 51614 384 719 0 52583 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 213216
[startup+1062.3 s]
/proc/loadavg: 1.00 1.04 1.33 2/107 9545
/proc/meminfo: memFree=1642120/2059040 swapFree=4192956/4192956
[pid=9507] ppid=9505 vsize=216388 CPUtime=1061.92
/proc/9507/stat : 9507 (pbscip.linux.x8) R 9505 9507 2332 0 -1 4202496 53085 0 0 0 104695 1497 0 0 25 0 1 0 1218811 221581312 52398 1992294400 4194304 7136930 140737068440896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9507/statm: 54097 52398 384 719 0 53376 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 216388
[startup+1122.3 s]
/proc/loadavg: 1.00 1.03 1.30 2/107 9547
/proc/meminfo: memFree=1638648/2059040 swapFree=4192956/4192956
[pid=9507] ppid=9505 vsize=218936 CPUtime=1121.9
/proc/9507/stat : 9507 (pbscip.linux.x8) R 9505 9507 2332 0 -1 4202496 53820 0 0 0 110658 1532 0 0 25 0 1 0 1218811 224190464 53133 1992294400 4194304 7136930 140737068440896 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9507/statm: 54734 53133 384 719 0 54013 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 218936
[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.28 2/107 9549
/proc/meminfo: memFree=1635920/2059040 swapFree=4192956/4192956
[pid=9507] ppid=9505 vsize=221776 CPUtime=1181.89
/proc/9507/stat : 9507 (pbscip.linux.x8) R 9505 9507 2332 0 -1 4202496 54501 0 0 0 116619 1570 0 0 25 0 1 0 1218811 227098624 53814 1992294400 4194304 7136930 140737068440896 18446744073709551615 5004490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9507/statm: 55444 53814 384 719 0 54723 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 221776
[startup+1242.3 s]
/proc/loadavg: 1.00 1.02 1.26 2/107 9551
/proc/meminfo: memFree=1630464/2059040 swapFree=4192956/4192956
[pid=9507] ppid=9505 vsize=227520 CPUtime=1241.86
/proc/9507/stat : 9507 (pbscip.linux.x8) R 9505 9507 2332 0 -1 4202496 55784 0 0 0 122586 1600 0 0 25 0 1 0 1218811 232980480 55097 1992294400 4194304 7136930 140737068440896 18446744073709551615 4221536 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9507/statm: 56880 55097 384 719 0 56159 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 227520
[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.24 2/107 9551
/proc/meminfo: memFree=1628480/2059040 swapFree=4192956/4192956
[pid=9507] ppid=9505 vsize=229288 CPUtime=1301.86
/proc/9507/stat : 9507 (pbscip.linux.x8) R 9505 9507 2332 0 -1 4202496 56266 0 0 0 128554 1632 0 0 25 0 1 0 1218811 234790912 55579 1992294400 4194304 7136930 140737068440896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9507/statm: 57322 55579 384 719 0 56601 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 229288
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.23 2/107 9553
/proc/meminfo: memFree=1624388/2059040 swapFree=4192956/4192956
[pid=9507] ppid=9505 vsize=233076 CPUtime=1361.84
/proc/9507/stat : 9507 (pbscip.linux.x8) R 9505 9507 2332 0 -1 4202496 57291 0 0 0 134521 1663 0 0 25 0 1 0 1218811 238669824 56604 1992294400 4194304 7136930 140737068440896 18446744073709551615 4210555 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9507/statm: 58269 56604 384 719 0 57548 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 233076
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.21 2/107 9555
/proc/meminfo: memFree=1622900/2059040 swapFree=4192956/4192956
[pid=9507] ppid=9505 vsize=234620 CPUtime=1421.83
/proc/9507/stat : 9507 (pbscip.linux.x8) R 9505 9507 2332 0 -1 4202496 57657 0 0 0 140488 1695 0 0 25 0 1 0 1218811 240250880 56970 1992294400 4194304 7136930 140737068440896 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9507/statm: 58655 56970 384 719 0 57934 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 234620
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.19 2/107 9557
/proc/meminfo: memFree=1619304/2059040 swapFree=4192956/4192956
[pid=9507] ppid=9505 vsize=238092 CPUtime=1481.79
/proc/9507/stat : 9507 (pbscip.linux.x8) R 9505 9507 2332 0 -1 4202496 58569 0 0 0 146454 1725 0 0 25 0 1 0 1218811 243806208 57882 1992294400 4194304 7136930 140737068440896 18446744073709551615 4210010 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9507/statm: 59523 57882 384 719 0 58802 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 238092
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.18 2/107 9559
/proc/meminfo: memFree=1617444/2059040 swapFree=4192956/4192956
[pid=9507] ppid=9505 vsize=240724 CPUtime=1541.78
/proc/9507/stat : 9507 (pbscip.linux.x8) R 9505 9507 2332 0 -1 4202496 59007 0 0 0 152418 1760 0 0 25 0 1 0 1218811 246501376 58320 1992294400 4194304 7136930 140737068440896 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9507/statm: 60181 58320 384 719 0 59460 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 240724
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.16 2/107 9559
/proc/meminfo: memFree=1614716/2059040 swapFree=4192956/4192956
[pid=9507] ppid=9505 vsize=244468 CPUtime=1601.77
/proc/9507/stat : 9507 (pbscip.linux.x8) R 9505 9507 2332 0 -1 4202496 59688 0 0 0 158382 1795 0 0 25 0 1 0 1218811 250335232 59001 1992294400 4194304 7136930 140737068440896 18446744073709551615 4209993 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9507/statm: 61117 59001 384 719 0 60396 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 244468
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.15 2/107 9561
/proc/meminfo: memFree=1611864/2059040 swapFree=4192956/4192956
[pid=9507] ppid=9505 vsize=247056 CPUtime=1661.74
/proc/9507/stat : 9507 (pbscip.linux.x8) R 9505 9507 2332 0 -1 4202496 60374 0 0 0 164334 1840 0 0 25 0 1 0 1218811 252985344 59687 1992294400 4194304 7136930 140737068440896 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9507/statm: 61764 59687 384 719 0 61043 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 247056
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/107 9563
/proc/meminfo: memFree=1608640/2059040 swapFree=4192956/4192956
[pid=9507] ppid=9505 vsize=250152 CPUtime=1721.73
/proc/9507/stat : 9507 (pbscip.linux.x8) R 9505 9507 2332 0 -1 4202496 61173 0 0 0 170287 1886 0 0 25 0 1 0 1218811 256155648 60486 1992294400 4194304 7136930 140737068440896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9507/statm: 62538 60486 384 719 0 61817 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 250152
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/107 9565
/proc/meminfo: memFree=1605168/2059040 swapFree=4192956/4192956
[pid=9507] ppid=9505 vsize=253256 CPUtime=1781.71
/proc/9507/stat : 9507 (pbscip.linux.x8) R 9505 9507 2332 0 -1 4202496 61969 0 0 0 176235 1936 0 0 25 0 1 0 1218811 259334144 61282 1992294400 4194304 7136930 140737068440896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9507/statm: 63314 61282 384 719 0 62593 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 253256
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.13 2/107 9565
/proc/meminfo: memFree=1602564/2059040 swapFree=4192956/4192956
[pid=9507] ppid=9505 vsize=255820 CPUtime=1800.02
/proc/9507/stat : 9507 (pbscip.linux.x8) R 9505 9507 2332 0 -1 4202496 62614 0 0 0 178053 1949 0 0 25 0 1 0 1218811 261959680 61927 1992294400 4194304 7136930 140737068440896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9507/statm: 63955 61927 384 719 0 63234 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 255820
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.13 2/107 9565
/proc/meminfo: memFree=1602564/2059040 swapFree=4192956/4192956
[pid=9507] ppid=9505 vsize=255820 CPUtime=1800.4
/proc/9507/stat : 9507 (pbscip.linux.x8) R 9505 9507 2332 0 -1 4202496 62620 0 0 0 178091 1949 0 0 25 0 1 0 1218811 261959680 61933 1992294400 4194304 7136930 140737068440896 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9507/statm: 63955 61933 390 719 0 63234 0
Current children cumulated CPU time (s) 1800.4
Current children cumulated vsize (KiB) 255820
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.13 2/107 9565
/proc/meminfo: memFree=1602564/2059040 swapFree=4192956/4192956
[pid=9507] ppid=9505 vsize=211460 CPUtime=1800.8
/proc/9507/stat : 9507 (pbscip.linux.x8) R 9505 9507 2332 0 -1 4202496 62620 0 0 0 178130 1950 0 0 25 0 1 0 1218811 216535040 50844 1992294400 4194304 7136930 140737068440896 18446744073709551615 5950417 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9507/statm: 52865 50844 390 719 0 52144 0
Current children cumulated CPU time (s) 1800.8
Current children cumulated vsize (KiB) 211460
Child status: 0
Real time (s): 1801.46
CPU time (s): 1800.87
CPU user time (s): 1781.35
CPU system time (s): 19.528
CPU usage (%): 99.9673
Max. virtual memory (cumulated for all children) (KiB): 255820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.35
system time used= 19.528
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62629
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 9623
runsolver used 3.04654 second user time and 8.44871 second system time
The end