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-2663867-1276668331.opb>
0.00/0.04 c original problem has 2924 variables (2924 bin, 0 int, 0 impl, 0 cont) and 3125 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, 600 upgd conss, 20592 impls, 400 clqs
0.49/0.53 c (0.3s) probing: 101/2924 (3.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.53 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.49/0.53 c presolving (2 rounds):
0.49/0.53 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.53 c 20592 implications, 400 cliques
0.49/0.53 c presolved problem has 2924 variables (2924 bin, 0 int, 0 impl, 0 cont) and 3125 constraints
0.49/0.53 c 400 constraints of type <setppc>
0.49/0.53 c 2524 constraints of type <and>
0.49/0.53 c 1 constraints of type <linear>
0.49/0.53 c 200 constraints of type <logicor>
0.49/0.53 c transformed objective value is always integral (scale: 1)
0.49/0.53 c Presolving Time: 0.29
0.49/0.53 c - non default parameters ----------------------------------------------------------------------
0.49/0.53 c # SCIP version 1.2.1.2
0.49/0.53 c
0.49/0.53 c # frequency for displaying node information lines
0.49/0.53 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.53 c display/freq = 10000
0.49/0.53 c
0.49/0.53 c # maximal time in seconds to run
0.49/0.53 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.53 c limits/time = 1799.96
0.49/0.53 c
0.49/0.53 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.53 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.53 c limits/memory = 1620
0.49/0.53 c
0.49/0.53 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.49/0.53 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.53 c lp/solvefreq = -1
0.49/0.53 c
0.49/0.53 c # should presolving try to simplify inequalities
0.49/0.53 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.53 c constraints/linear/simplifyinequalities = TRUE
0.49/0.53 c
0.49/0.53 c # should presolving try to simplify knapsacks
0.49/0.53 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.53 c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.53 c
0.49/0.53 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.49/0.53 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.53 c heuristics/undercover/freq = 0
0.49/0.53 c
0.49/0.53 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.53 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.53 c separating/rapidlearning/freq = 0
0.49/0.53 c
0.49/0.53 c -----------------------------------------------------------------------------------------------
0.49/0.53 c start solving
0.49/0.53 c
0.49/0.54 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.54 c t 0.3s| 1 | 2 | 0 | - |8446k| 0 | - |2924 |3125 | 0 | 0 | 0 | 0 | 0 |-2.000000e+02 | 0.000000e+00 | 100.00%
19.48/19.57 c 19.0s| 10000 | 9624 | 0 | 0.0 | 19M| 251 | - |2924 |3243 | 0 | 0 | 0 | 221 | 0 |-1.990000e+02 | 0.000000e+00 | 100.00%
38.57/38.65 c 37.8s| 20000 | 19573 | 0 | 0.0 | 29M| 251 | - |2924 |3243 | 0 | 0 | 0 | 238 | 0 |-1.990000e+02 | 0.000000e+00 | 100.00%
55.87/55.98 c 54.9s| 30000 | 29509 | 0 | 0.0 | 39M| 251 | - |2924 |3264 | 0 | 0 | 0 | 263 | 0 |-1.990000e+02 | 0.000000e+00 | 100.00%
71.47/71.54 c 70.2s| 40000 | 39427 | 0 | 0.0 | 50M| 251 | - |2924 |3292 | 0 | 0 | 0 | 308 | 0 |-1.990000e+02 | 0.000000e+00 | 100.00%
78.16/78.26 o -15
78.16/78.26 c *76.8s| 44699 | 44027 | 0 | 0.0 | 54M| 251 | - |2924 |3318 | 0 | 0 | 0 | 372 | 0 |-1.990000e+02 |-1.500000e+01 | 92.46%
78.16/78.28 o -16
78.16/78.28 c *76.8s| 44703 | 44027 | 0 | 0.0 | 54M| 251 | - |2924 |3320 | 0 | 0 | 0 | 374 | 0 |-1.990000e+02 |-1.600000e+01 | 91.96%
86.16/86.29 c 84.6s| 50000 | 49148 | 0 | 0.0 | 61M| 251 | - |2924 |3309 | 0 | 0 | 0 | 547 | 0 |-1.990000e+02 |-1.600000e+01 | 91.96%
86.56/86.64 o -21
86.56/86.64 c *85.0s| 50245 | 49386 | 0 | 0.0 | 61M| 251 | - |2924 |3308 | 0 | 0 | 0 | 552 | 0 |-1.990000e+02 |-2.100000e+01 | 89.45%
86.66/86.79 o -22
86.66/86.79 c *85.1s| 50349 | 49480 | 0 | 0.0 | 61M| 251 | - |2924 |3308 | 0 | 0 | 0 | 560 | 0 |-1.990000e+02 |-2.200000e+01 | 88.94%
90.07/90.11 o -24
90.07/90.11 c *88.4s| 52592 | 51645 | 0 | 0.0 | 63M| 251 | - |2924 |3297 | 0 | 0 | 0 | 622 | 0 |-1.990000e+02 |-2.400000e+01 | 87.94%
101.16/101.25 o -25
101.16/101.25 c *99.3s| 59890 | 58441 | 0 | 0.0 | 73M| 251 | - |2924 |3420 | 0 | 0 | 0 |1067 | 0 |-1.990000e+02 |-2.500000e+01 | 87.44%
101.16/101.26 o -26
101.16/101.26 c *99.3s| 59898 | 58443 | 0 | 0.0 | 73M| 251 | - |2924 |3421 | 0 | 0 | 0 |1069 | 0 |-1.990000e+02 |-2.600000e+01 | 86.93%
101.35/101.44 c 99.5s| 60000 | 58540 | 0 | 0.0 | 73M| 251 | - |2924 |3424 | 0 | 0 | 0 |1074 | 0 |-1.990000e+02 |-2.600000e+01 | 86.93%
105.65/105.72 o -27
105.65/105.72 c * 104s| 62712 | 60961 | 0 | 0.0 | 77M| 251 | - |2924 |3494 | 0 | 0 | 0 |1312 | 0 |-1.990000e+02 |-2.700000e+01 | 86.43%
110.86/110.93 o -28
110.86/110.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
110.86/110.93 c * 109s| 65914 | 63635 | 0 | 0.0 | 82M| 251 | - |2924 |3578 | 0 | 0 | 0 |1768 | 0 |-1.990000e+02 |-2.800000e+01 | 85.93%
117.85/117.90 c 116s| 70000 | 66852 | 0 | 0.0 | 89M| 251 | - |2924 |3626 | 0 | 0 | 0 |2500 | 0 |-1.990000e+02 |-2.800000e+01 | 85.93%
123.55/123.61 o -29
123.55/123.61 c * 121s| 73524 | 69674 | 0 | 0.0 | 94M| 251 | - |2924 |3740 | 0 | 0 | 0 |3128 | 0 |-1.990000e+02 |-2.900000e+01 | 85.43%
123.55/123.64 o -30
123.55/123.64 c * 121s| 73532 | 69674 | 0 | 0.0 | 95M| 251 | - |2924 |3746 | 0 | 0 | 0 |3135 | 0 |-1.990000e+02 |-3.000000e+01 | 84.92%
135.05/135.14 c 132s| 80000 | 74043 | 0 | 0.0 | 104M| 251 | - |2924 |3912 | 0 | 0 | 0 |4844 | 0 |-1.990000e+02 |-3.000000e+01 | 84.92%
155.05/155.19 c 152s| 90000 | 79354 | 0 | 0.0 | 117M| 251 | - |2924 |4059 | 0 | 0 | 0 |8279 | 0 |-1.990000e+02 |-3.000000e+01 | 84.92%
181.34/181.41 c 178s|100000 | 80946 | 0 | 0.0 | 125M| 251 | - |2924 |3817 | 0 | 0 | 0 | 13k| 0 |-1.990000e+02 |-3.000000e+01 | 84.92%
200.63/200.71 c 197s|110000 | 88339 | 0 | 0.0 | 140M| 251 | - |2924 |3870 | 0 | 0 | 0 | 14k| 0 |-1.990000e+02 |-3.000000e+01 | 84.92%
224.42/224.58 c 220s|120000 | 92343 | 0 | 0.0 | 149M| 251 | - |2924 |4299 | 0 | 0 | 0 | 18k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
245.82/245.99 c 241s|130000 | 99131 | 0 | 0.0 | 161M| 251 | - |2924 |3787 | 0 | 0 | 0 | 20k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
265.71/265.89 c 261s|140000 |108041 | 0 | 0.0 | 183M| 251 | - |2924 |3913 | 0 | 0 | 0 | 22k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
286.70/286.87 c 282s|150000 |116652 | 0 | 0.0 | 206M| 251 | - |2924 |4018 | 0 | 0 | 0 | 24k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
307.20/307.38 c 302s|160000 |125039 | 0 | 0.0 | 228M| 251 | - |2924 |4200 | 0 | 0 | 0 | 26k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
327.89/328.01 c 322s|170000 |133367 | 0 | 0.0 | 250M| 251 | - |2924 |4108 | 0 | 0 | 0 | 28k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
348.08/348.26 c 342s|180000 |141706 | 0 | 0.0 | 271M| 251 | - |2924 |4176 | 0 | 0 | 0 | 30k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
368.47/368.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
368.47/368.66 c 362s|190000 |150124 | 0 | 0.0 | 293M| 251 | - |2924 |4227 | 0 | 0 | 0 | 32k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
388.57/388.72 c 382s|200000 |158541 | 0 | 0.0 | 314M| 251 | - |2924 |4195 | 0 | 0 | 0 | 34k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
408.37/408.60 c 401s|210000 |167032 | 0 | 0.0 | 335M| 251 | - |2924 |4236 | 0 | 0 | 0 | 36k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
428.46/428.67 c 421s|220000 |175436 | 0 | 0.0 | 356M| 251 | - |2924 |4270 | 0 | 0 | 0 | 38k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
448.35/448.53 c 441s|230000 |183788 | 0 | 0.0 | 377M| 251 | - |2924 |4331 | 0 | 0 | 0 | 40k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
468.24/468.43 c 460s|240000 |191998 | 0 | 0.0 | 397M| 251 | - |2924 |4288 | 0 | 0 | 0 | 42k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
488.05/488.26 c 480s|250000 |200164 | 0 | 0.0 | 418M| 251 | - |2924 |4317 | 0 | 0 | 0 | 45k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
507.83/508.01 c 499s|260000 |208290 | 0 | 0.0 | 438M| 251 | - |2924 |4342 | 0 | 0 | 0 | 47k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
527.54/527.72 c 518s|270000 |216428 | 0 | 0.0 | 458M| 251 | - |2924 |4364 | 0 | 0 | 0 | 50k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
547.33/547.54 c 538s|280000 |224523 | 0 | 0.0 | 479M| 251 | - |2924 |4449 | 0 | 0 | 0 | 52k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
567.12/567.35 c 557s|290000 |232581 | 0 | 0.0 | 498M| 251 | - |2924 |4402 | 0 | 0 | 0 | 55k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
586.71/586.91 c 577s|300000 |240633 | 0 | 0.0 | 518M| 251 | - |2924 |4400 | 0 | 0 | 0 | 57k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
606.31/606.51 c 596s|310000 |248856 | 0 | 0.0 | 537M| 251 | - |2924 |4459 | 0 | 0 | 0 | 59k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
625.80/626.00 c 615s|320000 |256994 | 0 | 0.0 | 557M| 251 | - |2924 |4477 | 0 | 0 | 0 | 62k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
645.09/645.32 c 634s|330000 |264950 | 0 | 0.0 | 577M| 251 | - |2924 |4491 | 0 | 0 | 0 | 64k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
664.29/664.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
664.29/664.54 c 653s|340000 |272921 | 0 | 0.0 | 596M| 251 | - |2924 |4455 | 0 | 0 | 0 | 67k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
683.48/683.73 c 672s|350000 |280635 | 0 | 0.0 | 615M| 251 | - |2924 |4589 | 0 | 0 | 0 | 70k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
702.38/702.61 c 690s|360000 |288632 | 0 | 0.0 | 634M| 251 | - |2924 |4592 | 0 | 0 | 0 | 72k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
721.07/721.37 c 709s|370000 |296369 | 0 | 0.0 | 654M| 251 | - |2924 |4684 | 0 | 0 | 0 | 75k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
740.36/740.60 c 727s|380000 |303934 | 0 | 0.0 | 673M| 251 | - |2924 |4515 | 0 | 0 | 0 | 78k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
759.46/759.76 c 746s|390000 |311299 | 0 | 0.0 | 691M| 251 | - |2924 |4816 | 0 | 0 | 0 | 81k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
778.85/779.16 c 765s|400000 |318662 | 0 | 0.0 | 710M| 251 | - |2924 |4762 | 0 | 0 | 0 | 85k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
798.35/798.63 c 784s|410000 |326080 | 0 | 0.0 | 729M| 251 | - |2924 |4686 | 0 | 0 | 0 | 88k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
817.54/817.86 c 803s|420000 |333263 | 0 | 0.0 | 747M| 251 | - |2924 |4812 | 0 | 0 | 0 | 91k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
836.84/837.15 c 822s|430000 |340766 | 0 | 0.0 | 765M| 251 | - |2924 |4729 | 0 | 0 | 0 | 95k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
856.23/856.50 c 841s|440000 |348103 | 0 | 0.0 | 783M| 251 | - |2924 |4671 | 0 | 0 | 0 | 98k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
875.23/875.51 c 860s|450000 |355336 | 0 | 0.0 | 800M| 251 | - |2924 |4726 | 0 | 0 | 0 | 101k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
894.03/894.33 c 878s|460000 |362948 | 0 | 0.0 | 819M| 251 | - |2924 |4682 | 0 | 0 | 0 | 104k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
913.31/913.63 o -31
913.31/913.63 c * 897s|469964 |370677 | 0 | 0.0 | 837M| 251 | - |2924 |4602 | 0 | 0 | 0 | 107k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
913.41/913.72 c 897s|470000 |370711 | 0 | 0.0 | 837M| 251 | - |2924 |4590 | 0 | 0 | 0 | 107k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
933.00/933.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
933.00/933.37 c 917s|480000 |378359 | 0 | 0.0 | 855M| 251 | - |2924 |4765 | 0 | 0 | 0 | 110k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
952.40/952.72 c 936s|490000 |385802 | 0 | 0.0 | 873M| 251 | - |2924 |4768 | 0 | 0 | 0 | 113k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
971.80/972.18 c 955s|500000 |393039 | 0 | 0.0 | 890M| 251 | - |2924 |4783 | 0 | 0 | 0 | 117k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
991.19/991.59 c 974s|510000 |400465 | 0 | 0.0 | 908M| 251 | - |2924 |4830 | 0 | 0 | 0 | 120k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1011.38/1011.71 c 994s|520000 |407539 | 0 | 0.0 | 925M| 251 | - |2924 |4849 | 0 | 0 | 0 | 123k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1030.88/1031.26 c 1013s|530000 |414775 | 0 | 0.0 | 942M| 251 | - |2924 |4827 | 0 | 0 | 0 | 127k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1050.38/1050.76 c 1032s|540000 |421994 | 0 | 0.0 | 960M| 251 | - |2924 |4982 | 0 | 0 | 0 | 130k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1070.26/1070.65 c 1052s|550000 |429155 | 0 | 0.0 | 977M| 251 | - |2924 |4750 | 0 | 0 | 0 | 134k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1090.26/1090.65 c 1071s|560000 |436124 | 0 | 0.0 | 993M| 251 | - |2924 |4655 | 0 | 0 | 0 | 137k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1110.16/1110.59 c 1091s|570000 |443481 | 0 | 0.0 |1011M| 251 | - |2924 |4556 | 0 | 0 | 0 | 140k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1129.95/1130.31 c 1110s|580000 |450658 | 0 | 0.0 |1027M| 251 | - |2924 |4661 | 0 | 0 | 0 | 144k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1149.45/1149.82 c 1130s|590000 |457891 | 0 | 0.0 |1045M| 251 | - |2924 |4721 | 0 | 0 | 0 | 147k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1168.73/1169.12 c 1148s|600000 |465107 | 0 | 0.0 |1062M| 251 | - |2924 |4630 | 0 | 0 | 0 | 151k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1188.53/1188.95 c 1168s|610000 |472224 | 0 | 0.0 |1079M| 251 | - |2924 |4785 | 0 | 0 | 0 | 154k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1207.83/1208.24 c 1187s|620000 |479204 | 0 | 0.0 |1095M| 251 | - |2924 |4828 | 0 | 0 | 0 | 158k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1227.72/1228.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1227.72/1228.17 c 1206s|630000 |485866 | 0 | 0.0 |1112M| 251 | - |2924 |4805 | 0 | 0 | 0 | 162k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1246.81/1247.29 c 1225s|640000 |493025 | 0 | 0.0 |1128M| 251 | - |2924 |4831 | 0 | 0 | 0 | 165k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1266.72/1267.12 c 1245s|650000 |499911 | 0 | 0.0 |1144M| 251 | - |2924 |4886 | 0 | 0 | 0 | 169k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1286.61/1287.01 c 1264s|660000 |507032 | 0 | 0.0 |1161M| 251 | - |2924 |4768 | 0 | 0 | 0 | 172k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1305.69/1306.10 c 1283s|670000 |514040 | 0 | 0.0 |1177M| 251 | - |2924 |4773 | 0 | 0 | 0 | 176k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1324.89/1325.38 c 1302s|680000 |521340 | 0 | 0.0 |1194M| 251 | - |2924 |4760 | 0 | 0 | 0 | 179k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1344.09/1344.50 c 1321s|690000 |528401 | 0 | 0.0 |1210M| 251 | - |2924 |4762 | 0 | 0 | 0 | 183k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1363.99/1364.43 c 1340s|700000 |535120 | 0 | 0.0 |1226M| 251 | - |2924 |4908 | 0 | 0 | 0 | 187k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1383.08/1383.50 c 1359s|710000 |542106 | 0 | 0.0 |1243M| 251 | - |2924 |4905 | 0 | 0 | 0 | 190k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1402.57/1403.07 c 1378s|720000 |549058 | 0 | 0.0 |1259M| 251 | - |2924 |4885 | 0 | 0 | 0 | 194k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1421.77/1422.30 c 1397s|730000 |555971 | 0 | 0.0 |1274M| 251 | - |2924 |5008 | 0 | 0 | 0 | 197k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1441.66/1442.17 c 1417s|740000 |562585 | 0 | 0.0 |1290M| 251 | - |2924 |5011 | 0 | 0 | 0 | 201k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1460.55/1461.09 c 1435s|750000 |569458 | 0 | 0.0 |1306M| 251 | - |2924 |4950 | 0 | 0 | 0 | 205k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1480.15/1480.63 c 1454s|760000 |576262 | 0 | 0.0 |1321M| 251 | - |2924 |4901 | 0 | 0 | 0 | 209k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1499.64/1500.15 c 1474s|770000 |583102 | 0 | 0.0 |1337M| 251 | - |2924 |5001 | 0 | 0 | 0 | 212k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1519.43/1519.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1519.43/1519.96 c 1493s|780000 |589938 | 0 | 0.0 |1352M| 251 | - |2924 |4967 | 0 | 0 | 0 | 216k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1527.83/1528.33 c (node 784189) switching to memory saving mode (mem: 1296.0M/1620.0M)
1547.23/1547.72 c 1520s|790000 |592694 | 0 | 0.0 |1363M| 283 | - |2924 |7444 | 0 | 0 | 0 | 221k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1578.82/1579.34 c 1550s|800000 |592693 | 0 | 0.0 |1367M| 283 | - |2924 |9879 | 0 | 0 | 0 | 227k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1611.90/1612.40 c 1582s|810000 |592692 | 0 | 0.0 |1366M| 283 | - |2924 |9145 | 0 | 0 | 0 | 232k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1645.29/1645.81 c 1615s|820000 |592692 | 0 | 0.0 |1369M| 283 | - |2924 | 10k| 0 | 0 | 0 | 238k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1681.18/1681.75 c 1650s|830000 |592693 | 0 | 0.0 |1364M| 283 | - |2924 |7940 | 0 | 0 | 0 | 244k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1713.17/1713.80 c 1681s|840000 |592692 | 0 | 0.0 |1368M| 283 | - |2924 | 10k| 0 | 0 | 0 | 249k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1748.66/1749.23 c 1715s|850000 |592691 | 0 | 0.0 |1367M| 286 | - |2924 | 10k| 0 | 0 | 0 | 254k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1782.85/1783.46 c 1748s|860000 |592692 | 0 | 0.0 |1370M| 286 | - |2924 | 11k| 0 | 0 | 0 | 259k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1800.06/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.61 c
1800.06/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.61 c Solving Time (sec) : 1764.55
1800.06/1800.61 c Solving Nodes : 864830
1800.06/1800.61 c Primal Bound : -3.10000000000000e+01 (15 solutions)
1800.06/1800.61 c Dual Bound : -1.98000000000000e+02
1800.06/1800.61 c Gap : 84.34 %
1800.06/1800.62 s SATISFIABLE
1800.06/1800.62 v x337 -x254 x326 x298 -x375 -x353 -x329 -x311 -x351 x391 x235 -x400 x393 x398 x312 -x293 -x336 x331 x259 -x304 -x366 -x349 -x276
1800.06/1800.62 v -x341 -x281 x396 -x359 x228 -x399 -x346 -x255 -x244 -x322 -x358 -x270 x219 x314 x266 -x347 x371 -x279 -x372 -x260 -x382 x333
1800.06/1800.62 v -x216 -x277 -x243 -x269 -x324 -x320 x267 -x237 x352 -x387 -x310 -x335 -x214 -x261 -x356 -x263 -x274 x385 -x381 -x265 -x316 x213
1800.06/1800.62 v -x253 -x278 -x227 -x357 -x290 x289 -x288 -x285 -x251 -x313 -x379 -x294 -x210 -x272 -x241 -x378 -x249 -x209 -x389 -x286 -x250
1800.06/1800.62 v -x234 -x224 -x264 -x306 -x361 -x268 -x388 -x334 -x383 x380 -x330 -x271 -x247 x301 x239 x291 -x362 -x354 -x258 -x256 -x230
1800.06/1800.62 v -x211 -x308 -x340 -x392 -x232 x394 -x206 -x397 -x363 -x309 -x297 -x282 -x238 -x218 -x207 -x296 -x287 -x222 -x368 -x348 -x390
1800.06/1800.62 v -x370 -x292 -x246 x217 -x248 -x344 -x273 -x299 -x343 -x332 -x245 -x376 -x377 -x373 -x307 -x295 -x240 -x236 -x262 -x223 -x325
1800.06/1800.62 v -x395 -x220 -x300 -x203 x367 -x257 -x233 -x208 -x305 -x221 -x321 -x283 -x323 x319 -x374 -x369 -x202 -x360 -x339 -x280 -x252
1800.06/1800.62 v -x231 -x225 -x212 -x205 -x318 -x350 -x342 -x303 -x215 -x204 -x365 -x315 -x355 -x201 -x384 -x328 -x317 -x242 x345 -x386 -x229
1800.06/1800.62 v -x226 -x338 -x364 -x327 -x275 -x284 -x302 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 x187
1800.06/1800.62 v -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166
1800.06/1800.62 v -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145
1800.06/1800.62 v -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124
1800.06/1800.62 v -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 x105 -x104 -x103
1800.06/1800.62 v -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 x79 -x78
1800.06/1800.62 v x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 x69 x68 -x67 -x66 x65 -x64 -x63 x62 x61 -x60 -x59 x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51
1800.06/1800.62 v -x50 -x49 -x48 x47 -x46 -x45 -x44 x43 -x42 -x41 -x40 -x39 x38 -x37 x36 -x35 x34 -x33 -x32 x31 -x30 -x29 -x28 -x27 -x26 -x25
1800.06/1800.62 v -x24 -x23 -x22 x21 -x20 -x19 -x18 -x17 x16 -x15 -x14 -x13 -x12 x11 -x10 x9 -x8 x7 x6 x5 x4 -x3 x2 x1
1800.06/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.62 c Solving Time : 1764.55
1800.06/1800.62 c Original Problem :
1800.06/1800.62 c Problem name : HOME/instance-2663867-1276668331.opb
1800.06/1800.62 c Variables : 2924 (2924 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.62 c Constraints : 3125 initial, 3125 maximal
1800.06/1800.62 c Presolved Problem :
1800.06/1800.62 c Problem name : t_HOME/instance-2663867-1276668331.opb
1800.06/1800.62 c Variables : 2924 (2924 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.62 c Constraints : 3125 initial, 11911 maximal
1800.06/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.62 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.06/1800.62 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.62 c probing : 0.06 0 0 0 0 0 0 0 0
1800.06/1800.62 c setppc : 0.01 0 0 0 0 0 0 0 0
1800.06/1800.62 c and : 0.17 0 0 0 0 0 0 0 0
1800.06/1800.62 c linear : 0.03 0 0 0 0 0 0 0 0
1800.06/1800.62 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.62 c root node : - 0 - - 0 - - - -
1800.06/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.62 c integral : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.62 c setppc : 400 0 3504478 0 738042 15415 618506 0 0 0
1800.06/1800.62 c and : 2524 0 3489117 0 738045 145 23773069 0 0 0
1800.06/1800.62 c linear : 1 0 3475193 0 738045 20128 15450662 0 0 0
1800.06/1800.62 c logicor : 200+ 0 719739 0 737799 34785 1532025 0 0 0
1800.06/1800.62 c countsols : 0 0 0 0 738057 0 0 0 0 0
1800.06/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.62 c setppc : 209.28 0.00 42.79 0.00 166.49
1800.06/1800.62 c and : 229.12 0.00 158.03 0.00 71.09
1800.06/1800.62 c linear : 161.27 0.00 160.43 0.00 0.84
1800.06/1800.62 c logicor : 146.04 0.00 110.18 0.00 35.86
1800.06/1800.62 c countsols : 0.31 0.00 0.00 0.00 0.31
1800.06/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.62 c vbounds : 1.59 2 0 0
1800.06/1800.62 c rootredcost : 1.71 0 0 0
1800.06/1800.62 c pseudoobj : 411.70 3573690 69346 4995
1800.06/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.62 c propagation : 455.75 139819 138552 3392681 164.5 479 199.3 -
1800.06/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.62 c applied globally : - - - 262435 140.5 - - -
1800.06/1800.62 c applied locally : - - - 0 0.0 - - -
1800.06/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.06/1800.62 c redcost : 0.00 0 0 0 0 0
1800.06/1800.62 c impliedbounds : 0.00 0 0 0 0 0
1800.06/1800.62 c intobj : 0.00 0 0 0 0 0
1800.06/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.62 c gomory : 0.00 0 0 0 0 0
1800.06/1800.62 c strongcg : 0.00 0 0 0 0 0
1800.06/1800.62 c cmir : 0.00 0 0 0 0 0
1800.06/1800.62 c flowcover : 0.00 0 0 0 0 0
1800.06/1800.62 c clique : 0.00 0 0 0 0 0
1800.06/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.62 c mcf : 0.00 0 0 0 0 0
1800.06/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.62 c Pricers : Time Calls Vars
1800.06/1800.62 c problem variables: 0.00 0 0
1800.06/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.62 c relpscost : 0.00 0 0 0 0 0 0
1800.06/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.62 c inference : 366.21 738045 0 0 0 0 1476090
1800.06/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.62 c random : 0.00 0 0 0 0 0 0
1800.06/1800.62 c Primal Heuristics : Time Calls Found
1800.06/1800.62 c LP solutions : 0.00 - 0
1800.06/1800.62 c pseudo solutions : 0.07 - 12
1800.06/1800.62 c oneopt : 1.05 0 0
1800.06/1800.62 c trivial : 0.00 2 3
1800.06/1800.62 c simplerounding : 0.00 0 0
1800.06/1800.62 c zirounding : 0.00 0 0
1800.06/1800.62 c rounding : 0.00 0 0
1800.06/1800.62 c shifting : 0.00 0 0
1800.06/1800.62 c intshifting : 0.00 0 0
1800.06/1800.62 c twoopt : 0.00 0 0
1800.06/1800.62 c fixandinfer : 0.00 0 0
1800.06/1800.62 c feaspump : 0.00 0 0
1800.06/1800.62 c coefdiving : 0.00 0 0
1800.06/1800.62 c pscostdiving : 0.00 0 0
1800.06/1800.62 c fracdiving : 0.00 0 0
1800.06/1800.62 c veclendiving : 0.00 0 0
1800.06/1800.62 c intdiving : 0.00 0 0
1800.06/1800.62 c actconsdiving : 0.00 0 0
1800.06/1800.62 c objpscostdiving : 0.00 0 0
1800.06/1800.62 c rootsoldiving : 0.00 0 0
1800.06/1800.62 c linesearchdiving : 0.00 0 0
1800.06/1800.62 c guideddiving : 0.00 0 0
1800.06/1800.62 c octane : 0.00 0 0
1800.06/1800.62 c rens : 0.00 0 0
1800.06/1800.62 c rins : 0.00 0 0
1800.06/1800.62 c localbranching : 0.00 0 0
1800.06/1800.62 c mutation : 0.00 0 0
1800.06/1800.62 c crossover : 0.00 0 0
1800.06/1800.62 c dins : 0.00 0 0
1800.06/1800.62 c undercover : 0.00 0 0
1800.06/1800.62 c nlp : 0.49 0 0
1800.06/1800.62 c trysol : 0.44 0 0
1800.06/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.06/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.06/1800.62 c (at root node) : - 0 0 0.00 -
1800.06/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.62 c B&B Tree :
1800.06/1800.62 c number of runs : 1
1800.06/1800.62 c nodes : 864830
1800.06/1800.62 c nodes (total) : 864830
1800.06/1800.62 c nodes left : 592690
1800.06/1800.62 c max depth : 286
1800.06/1800.62 c max depth (total): 286
1800.06/1800.62 c backtracks : 18098 (2.1%)
1800.06/1800.62 c delayed cutoffs : 18571
1800.06/1800.62 c repropagations : 1401366 (3105875 domain reductions, 13046 cutoffs)
1800.06/1800.62 c avg switch length: 6.80
1800.06/1800.62 c switching time : 165.24
1800.06/1800.62 c Solution :
1800.06/1800.62 c Solutions found : 15 (13 improvements)
1800.06/1800.62 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.06/1800.62 c Primal Bound : -3.10000000000000e+01 (in run 1, after 469964 nodes, 897.34 seconds, depth 98, found by <relaxation>)
1800.06/1800.62 c Dual Bound : -1.98000000000000e+02
1800.06/1800.62 c Gap : 84.34 %
1800.06/1800.62 c Root Dual Bound : -2.00000000000000e+02
1800.06/1800.62 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-2663867-1276668331/watcher-2663867-1276668331 -o /tmp/evaluation-result-2663867-1276668331/solver-2663867-1276668331 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663867-1276668331.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.92 0.98 0.99 3/105 17311
/proc/meminfo: memFree=1796344/2059040 swapFree=4148288/4192956
[pid=17311] ppid=17309 vsize=7612 CPUtime=0
/proc/17311/stat : 17311 (pbscip.linux.x8) R 17309 17311 16681 0 -1 4202496 1181 0 0 0 0 0 0 0 25 0 1 0 8126631 7794688 1104 1992294400 4194304 7136930 140733769741392 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17311/statm: 1903 1113 254 719 0 1182 0
[startup+0.0767221 s]
/proc/loadavg: 0.92 0.98 0.99 3/105 17311
/proc/meminfo: memFree=1796344/2059040 swapFree=4148288/4192956
[pid=17311] ppid=17309 vsize=18844 CPUtime=0.06
/proc/17311/stat : 17311 (pbscip.linux.x8) R 17309 17311 16681 0 -1 4202496 4324 0 0 0 5 1 0 0 25 0 1 0 8126631 19296256 3893 1992294400 4194304 7136930 140733769741392 18446744073709551615 6350076 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17311/statm: 4711 3893 314 719 0 3990 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 18844
[startup+0.100725 s]
/proc/loadavg: 0.92 0.98 0.99 3/105 17311
/proc/meminfo: memFree=1796344/2059040 swapFree=4148288/4192956
[pid=17311] ppid=17309 vsize=20044 CPUtime=0.09
/proc/17311/stat : 17311 (pbscip.linux.x8) R 17309 17311 16681 0 -1 4202496 4913 0 0 0 7 2 0 0 25 0 1 0 8126631 20525056 4225 1992294400 4194304 7136930 140733769741392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17311/statm: 5011 4225 333 719 0 4290 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20044
[startup+0.300746 s]
/proc/loadavg: 0.92 0.98 0.99 3/105 17311
/proc/meminfo: memFree=1796344/2059040 swapFree=4148288/4192956
[pid=17311] ppid=17309 vsize=21684 CPUtime=0.29
/proc/17311/stat : 17311 (pbscip.linux.x8) R 17309 17311 16681 0 -1 4202496 6396 0 0 0 19 10 0 0 25 0 1 0 8126631 22204416 4680 1992294400 4194304 7136930 140733769741392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17311/statm: 5421 4680 361 719 0 4700 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21684
[startup+0.700788 s]
/proc/loadavg: 0.92 0.98 0.99 3/105 17311
/proc/meminfo: memFree=1796344/2059040 swapFree=4148288/4192956
[pid=17311] ppid=17309 vsize=23400 CPUtime=0.69
/proc/17311/stat : 17311 (pbscip.linux.x8) R 17309 17311 16681 0 -1 4202496 7370 0 0 0 50 19 0 0 25 0 1 0 8126631 23961600 5140 1992294400 4194304 7136930 140733769741392 18446744073709551615 5892255 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17311/statm: 5850 5140 388 719 0 5129 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23400
[startup+1.50087 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 17312
/proc/meminfo: memFree=1776000/2059040 swapFree=4148288/4192956
[pid=17311] ppid=17309 vsize=25060 CPUtime=1.49
/proc/17311/stat : 17311 (pbscip.linux.x8) R 17309 17311 16681 0 -1 4202496 7790 0 0 0 128 21 0 0 25 0 1 0 8126631 25661440 5560 1992294400 4194304 7136930 140733769741392 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17311/statm: 6265 5560 393 719 0 5544 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25060
[startup+3.10104 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 17312
/proc/meminfo: memFree=1774884/2059040 swapFree=4148288/4192956
[pid=17311] ppid=17309 vsize=25856 CPUtime=3.09
/proc/17311/stat : 17311 (pbscip.linux.x8) R 17309 17311 16681 0 -1 4202496 7994 0 0 0 285 24 0 0 25 0 1 0 8126631 26476544 5764 1992294400 4194304 7136930 140733769741392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17311/statm: 6464 5764 393 719 0 5743 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25856
[startup+6.30137 s]
/proc/loadavg: 0.93 0.98 0.99 2/106 17312
/proc/meminfo: memFree=1772776/2059040 swapFree=4148288/4192956
[pid=17311] ppid=17309 vsize=28480 CPUtime=6.29
/proc/17311/stat : 17311 (pbscip.linux.x8) R 17309 17311 16681 0 -1 4202496 8628 0 0 0 601 28 0 0 25 0 1 0 8126631 29163520 6398 1992294400 4194304 7136930 140733769741392 18446744073709551615 4642005 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17311/statm: 7120 6398 393 719 0 6399 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28480
[startup+12.701 s]
/proc/loadavg: 0.93 0.98 0.99 2/106 17312
/proc/meminfo: memFree=1766452/2059040 swapFree=4148288/4192956
[pid=17311] ppid=17309 vsize=33804 CPUtime=12.69
/proc/17311/stat : 17311 (pbscip.linux.x8) R 17309 17311 16681 0 -1 4202496 9965 0 0 0 1230 39 0 0 25 0 1 0 8126631 34615296 7735 1992294400 4194304 7136930 140733769741392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17311/statm: 8451 7735 393 719 0 7730 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33804
[startup+25.5004 s]
/proc/loadavg: 0.95 0.98 0.99 2/106 17312
/proc/meminfo: memFree=1757648/2059040 swapFree=4148288/4192956
[pid=17311] ppid=17309 vsize=43492 CPUtime=25.49
/proc/17311/stat : 17311 (pbscip.linux.x8) R 17309 17311 16681 0 -1 4202496 12390 0 0 0 2491 58 0 0 25 0 1 0 8126631 44535808 10160 1992294400 4194304 7136930 140733769741392 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17311/statm: 10873 10160 393 719 0 10152 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 43492
[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.99 2/106 17312
/proc/meminfo: memFree=1742272/2059040 swapFree=4148288/4192956
[pid=17311] ppid=17309 vsize=57912 CPUtime=51.07
/proc/17311/stat : 17311 (pbscip.linux.x8) R 17309 17311 16681 0 -1 4202496 16008 0 0 0 5011 96 0 0 25 0 1 0 8126631 59301888 13778 1992294400 4194304 7136930 140733769741392 18446744073709551615 5121843 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17311/statm: 14478 13778 393 719 0 13757 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 57912
[startup+102.308 s]
/proc/loadavg: 1.02 1.00 1.00 2/106 17314
/proc/meminfo: memFree=1698128/2059040 swapFree=4148288/4192956
[pid=17311] ppid=17309 vsize=101928 CPUtime=102.27
/proc/17311/stat : 17311 (pbscip.linux.x8) R 17309 17311 16681 0 -1 4202496 26960 0 0 0 10037 190 0 0 25 0 1 0 8126631 104374272 24730 1992294400 4194304 7136930 140733769741392 18446744073709551615 5955558 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17311/statm: 25482 24730 393 719 0 24761 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 101928
[startup+162.301 s]
/proc/loadavg: 1.11 1.03 1.01 2/106 17316
/proc/meminfo: memFree=1635632/2059040 swapFree=4148288/4192956
[pid=17311] ppid=17309 vsize=167916 CPUtime=162.24
/proc/17311/stat : 17311 (pbscip.linux.x8) R 17309 17311 16681 0 -1 4202496 42564 0 0 0 15920 304 0 0 25 0 1 0 8126631 171945984 40334 1992294400 4194304 7136930 140733769741392 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17311/statm: 41979 40334 393 719 0 41258 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 167916
[startup+222.301 s]
/proc/loadavg: 1.07 1.03 1.01 2/106 17318
/proc/meminfo: memFree=1598556/2059040 swapFree=4148288/4192956
[pid=17311] ppid=17309 vsize=205664 CPUtime=222.22
/proc/17311/stat : 17311 (pbscip.linux.x8) R 17309 17311 16681 0 -1 4202496 51788 0 0 0 21821 401 0 0 25 0 1 0 8126631 210599936 49558 1992294400 4194304 7136930 140733769741392 18446744073709551615 4434043 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17311/statm: 51416 49558 393 719 0 50695 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 205664
[startup+282.3 s]
/proc/loadavg: 1.02 1.03 1.00 2/106 17318
/proc/meminfo: memFree=1534696/2059040 swapFree=4148288/4192956
[pid=17311] ppid=17309 vsize=271964 CPUtime=282.21
/proc/17311/stat : 17311 (pbscip.linux.x8) R 17309 17311 16681 0 -1 4202496 67900 0 0 0 27714 507 0 0 25 0 1 0 8126631 278491136 65670 1992294400 4194304 7136930 140733769741392 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17311/statm: 67991 65670 393 719 0 67270 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 271964
[startup+342.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/106 17320
/proc/meminfo: memFree=1458188/2059040 swapFree=4148288/4192956
[pid=17311] ppid=17309 vsize=350296 CPUtime=342.18
/proc/17311/stat : 17311 (pbscip.linux.x8) R 17309 17311 16681 0 -1 4202496 86760 0 0 0 33614 604 0 0 25 0 1 0 8126631 358703104 84530 1992294400 4194304 7136930 140733769741392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17311/statm: 87574 84530 393 719 0 86853 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 350296
[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 17322
/proc/meminfo: memFree=1386392/2059040 swapFree=4148288/4192956
[pid=17311] ppid=17309 vsize=425880 CPUtime=402.16
/proc/17311/stat : 17311 (pbscip.linux.x8) R 17309 17311 16681 0 -1 4202496 104924 0 0 0 39510 706 0 0 25 0 1 0 8126631 436101120 102694 1992294400 4194304 7136930 140733769741392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17311/statm: 106470 102694 393 719 0 105749 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 425880
[startup+462.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 17324
/proc/meminfo: memFree=1324020/2059040 swapFree=4148288/4192956
[pid=17311] ppid=17309 vsize=492860 CPUtime=462.15
/proc/17311/stat : 17311 (pbscip.linux.x8) R 17309 17311 16681 0 -1 4202496 120506 0 0 0 45409 806 0 0 25 0 1 0 8126631 504688640 118276 1992294400 4194304 7136930 140733769741392 18446744073709551615 4978986 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17311/statm: 123215 118276 393 719 0 122494 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 492860
[startup+522.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/106 17326
/proc/meminfo: memFree=1258796/2059040 swapFree=4148288/4192956
[pid=17311] ppid=17309 vsize=562460 CPUtime=522.13
/proc/17311/stat : 17311 (pbscip.linux.x8) R 17309 17311 16681 0 -1 4202496 136764 0 0 0 51307 906 0 0 25 0 1 0 8126631 575959040 134534 1992294400 4194304 7136930 140733769741392 18446744073709551615 5892276 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17311/statm: 140615 134534 393 719 0 139894 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 562460
[startup+582.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/106 17326
/proc/meminfo: memFree=1195928/2059040 swapFree=4148288/4192956
[pid=17311] ppid=17309 vsize=627768 CPUtime=582.11
/proc/17311/stat : 17311 (pbscip.linux.x8) R 17309 17311 16681 0 -1 4202496 152157 0 0 0 57203 1008 0 0 25 0 1 0 8126631 642834432 149927 1992294400 4194304 7136930 140733769741392 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17311/statm: 156942 149927 393 719 0 156221 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 627768
[startup+642.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/106 17328
/proc/meminfo: memFree=1129960/2059040 swapFree=4148288/4192956
[pid=17311] ppid=17309 vsize=697920 CPUtime=642.1
/proc/17311/stat : 17311 (pbscip.linux.x8) R 17309 17311 16681 0 -1 4202496 168545 0 0 0 63100 1110 0 0 25 0 1 0 8126631 714670080 166315 1992294400 4194304 7136930 140733769741392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17311/statm: 174480 166315 393 719 0 173759 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 697920
[startup+702.301 s]
################
# More data... #
################
/proc/17311/stat : 17311 (pbscip.linux.x8) R 17309 17311 16681 0 -1 4202496 270176 0 0 0 104349 1848 0 0 25 0 1 0 8126631 1145511936 267946 1992294400 4194304 7136930 140733769741392 18446744073709551615 4998689 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17311/statm: 279666 267946 393 719 0 278945 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 1118664
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17342
/proc/meminfo: memFree=666696/2059040 swapFree=4148288/4192956
[pid=17311] ppid=17309 vsize=1180032 CPUtime=1121.95
/proc/17311/stat : 17311 (pbscip.linux.x8) R 17309 17311 16681 0 -1 4202496 284013 0 0 0 110248 1947 0 0 25 0 1 0 8126631 1208352768 281783 1992294400 4194304 7136930 140733769741392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17311/statm: 295008 281783 393 719 0 294287 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 1180032
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17342
/proc/meminfo: memFree=614740/2059040 swapFree=4148288/4192956
[pid=17311] ppid=17309 vsize=1239236 CPUtime=1181.93
/proc/17311/stat : 17311 (pbscip.linux.x8) R 17309 17311 16681 0 -1 4202496 297015 0 0 0 116144 2049 0 0 25 0 1 0 8126631 1268977664 294785 1992294400 4194304 7136930 140733769741392 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17311/statm: 309809 294785 393 719 0 309088 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 1239236
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17344
/proc/meminfo: memFree=565636/2059040 swapFree=4148288/4192956
[pid=17311] ppid=17309 vsize=1289176 CPUtime=1241.92
/proc/17311/stat : 17311 (pbscip.linux.x8) R 17309 17311 16681 0 -1 4202496 309409 0 0 0 122039 2153 0 0 25 0 1 0 8126631 1320116224 307179 1992294400 4194304 7136930 140733769741392 18446744073709551615 5918822 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17311/statm: 322294 307179 393 719 0 321573 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1289176
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17346
/proc/meminfo: memFree=513928/2059040 swapFree=4148288/4192956
[pid=17311] ppid=17309 vsize=1339696 CPUtime=1301.91
/proc/17311/stat : 17311 (pbscip.linux.x8) R 17309 17311 16681 0 -1 4202496 321978 0 0 0 127936 2255 0 0 25 0 1 0 8126631 1371848704 319748 1992294400 4194304 7136930 140733769741392 18446744073709551615 5909056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17311/statm: 334924 319748 393 719 0 334203 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1339696
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17348
/proc/meminfo: memFree=460980/2059040 swapFree=4148288/4192956
[pid=17311] ppid=17309 vsize=1391988 CPUtime=1361.88
/proc/17311/stat : 17311 (pbscip.linux.x8) R 17309 17311 16681 0 -1 4202496 335248 0 0 0 133824 2364 0 0 25 0 1 0 8126631 1425395712 333018 1992294400 4194304 7136930 140733769741392 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17311/statm: 347997 333018 393 719 0 347276 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1391988
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17350
/proc/meminfo: memFree=417332/2059040 swapFree=4148288/4192956
[pid=17311] ppid=17309 vsize=1433356 CPUtime=1421.87
/proc/17311/stat : 17311 (pbscip.linux.x8) R 17309 17311 16681 0 -1 4202496 346121 0 0 0 139719 2468 0 0 25 0 1 0 8126631 1467756544 343891 1992294400 4194304 7136930 140733769741392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17311/statm: 358339 343891 393 719 0 357618 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1433356
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17350
/proc/meminfo: memFree=363392/2059040 swapFree=4148288/4192956
[pid=17311] ppid=17309 vsize=1487236 CPUtime=1481.84
/proc/17311/stat : 17311 (pbscip.linux.x8) R 17309 17311 16681 0 -1 4202496 359805 0 0 0 145609 2575 0 0 25 0 1 0 8126631 1522929664 357575 1992294400 4194304 7136930 140733769741392 18446744073709551615 4704624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17311/statm: 371809 357575 393 719 0 371088 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1487236
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17352
/proc/meminfo: memFree=322720/2059040 swapFree=4148288/4192956
[pid=17311] ppid=17309 vsize=1527876 CPUtime=1541.82
/proc/17311/stat : 17311 (pbscip.linux.x8) R 17309 17311 16681 0 -1 4202496 372026 0 0 0 151485 2697 0 0 25 0 1 0 8126631 1564545024 367480 1992294400 4194304 7136930 140733769741392 18446744073709551615 6166339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17311/statm: 381969 367480 393 719 0 381248 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1527876
[startup+1602.3 s]
/proc/loadavg: 1.08 1.02 1.01 2/106 17357
/proc/meminfo: memFree=308088/2059040 swapFree=4148288/4192956
[pid=17311] ppid=17309 vsize=1541428 CPUtime=1601.81
/proc/17311/stat : 17311 (pbscip.linux.x8) R 17309 17311 16681 0 -1 4202496 375406 0 0 0 157263 2918 0 0 25 0 1 0 8126631 1578422272 370860 1992294400 4194304 7136930 140733769741392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17311/statm: 385357 370860 393 719 0 384636 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1541428
[startup+1662.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/106 17359
/proc/meminfo: memFree=297052/2059040 swapFree=4148288/4192956
[pid=17311] ppid=17309 vsize=1553008 CPUtime=1661.78
/proc/17311/stat : 17311 (pbscip.linux.x8) R 17309 17311 16681 0 -1 4202496 378304 0 0 0 163067 3111 0 0 25 0 1 0 8126631 1590280192 373758 1992294400 4194304 7136930 140733769741392 18446744073709551615 4652878 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17311/statm: 388252 373758 393 719 0 387531 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1553008
[startup+1722.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/106 17361
/proc/meminfo: memFree=298044/2059040 swapFree=4148288/4192956
[pid=17311] ppid=17309 vsize=1551880 CPUtime=1721.77
/proc/17311/stat : 17311 (pbscip.linux.x8) R 17309 17311 16681 0 -1 4202496 378502 0 0 0 168881 3296 0 0 25 0 1 0 8126631 1589125120 373512 1992294400 4194304 7136930 140733769741392 18446744073709551615 4653007 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17311/statm: 387970 373512 393 719 0 387249 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1551880
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17361
/proc/meminfo: memFree=295564/2059040 swapFree=4148288/4192956
[pid=17311] ppid=17309 vsize=1554296 CPUtime=1781.75
/proc/17311/stat : 17311 (pbscip.linux.x8) R 17309 17311 16681 0 -1 4202496 379109 0 0 0 174687 3488 0 0 25 0 1 0 8126631 1591599104 374119 1992294400 4194304 7136930 140733769741392 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17311/statm: 388574 374119 393 719 0 387853 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1554296
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17363
/proc/meminfo: memFree=290728/2059040 swapFree=4148288/4192956
[pid=17311] ppid=17309 vsize=1559300 CPUtime=1800.06
/proc/17311/stat : 17311 (pbscip.linux.x8) R 17309 17311 16681 0 -1 4202496 380332 0 0 0 176458 3548 0 0 25 0 1 0 8126631 1596723200 375342 1992294400 4194304 7136930 140733769741392 18446744073709551615 4976433 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17311/statm: 389825 375342 393 719 0 389104 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1559300
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -17311
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17363
/proc/meminfo: memFree=290728/2059040 swapFree=4148288/4192956
[pid=17311] ppid=17309 vsize=1559436 CPUtime=1800.85
/proc/17311/stat : 17311 (pbscip.linux.x8) R 17309 17311 16681 0 -1 4202496 380371 0 0 0 176537 3548 0 0 18 0 1 0 8126631 1596862464 375381 1992294400 4194304 7136930 140733769741392 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17311/statm: 389859 375381 398 719 0 389138 0
Current children cumulated CPU time (s) 1800.85
Current children cumulated vsize (KiB) 1559436
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17364
/proc/meminfo: memFree=290472/2059040 swapFree=4148288/4192956
[pid=17311] ppid=17309 vsize=1558920 CPUtime=1801.65
/proc/17311/stat : 17311 (pbscip.linux.x8) R 17309 17311 16681 0 -1 4202496 380371 0 0 0 176617 3548 0 0 20 0 1 0 8126631 1596334080 375252 1992294400 4194304 7136930 140733769741392 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17311/statm: 389730 375252 398 719 0 389009 0
Current children cumulated CPU time (s) 1801.65
Current children cumulated vsize (KiB) 1558920
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17364
/proc/meminfo: memFree=290472/2059040 swapFree=4148288/4192956
[pid=17311] ppid=17309 vsize=1558920 CPUtime=1802.05
/proc/17311/stat : 17311 (pbscip.linux.x8) R 17309 17311 16681 0 -1 4202496 380371 0 0 0 176657 3548 0 0 21 0 1 0 8126631 1596334080 375252 1992294400 4194304 7136930 140733769741392 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17311/statm: 389730 375252 398 719 0 389009 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 1558920
[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17364
/proc/meminfo: memFree=290472/2059040 swapFree=4148288/4192956
[pid=17311] ppid=17309 vsize=0 CPUtime=1802.14
/proc/17311/stat : 17311 (pbscip.linux.x8) R 17309 17311 16681 0 -1 4203524 380371 0 0 0 176658 3556 0 0 21 0 1 0 8126631 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/17311/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.14
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.75
CPU time (s): 1802.21
CPU user time (s): 1766.59
CPU system time (s): 35.6186
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (KiB): 1559436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1766.59
system time used= 35.6186
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 380371
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 5082
runsolver used 2.96655 second user time and 8.5357 second system time
The end