0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2667656-1276599603.opb>
0.00/0.01 c original problem has 31 variables (31 bin, 0 int, 0 impl, 0 cont) and 9 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (round 2) 1 del vars, 5 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c presolving (3 rounds):
0.00/0.02 c 1 deleted vars, 5 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 30 variables (30 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 # 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 | 0 | 17 | - | 192k| 0 | 4 | 30 | 4 | 30 | 4 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.04/0.08 c 0.1s| 1 | 0 | 57 | - | 317k| 0 | 7 | 30 | 65 | 30 | 7 | 3 | 0 | 0 | 0.000000e+00 | -- | Inf
0.04/0.08 c 0.1s| 1 | 0 | 60 | - | 334k| 0 | 9 | 30 | 65 | 30 | 11 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.04/0.09 c 0.1s| 1 | 0 | 65 | - | 352k| 0 | 10 | 30 | 65 | 30 | 14 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf
0.04/0.09 c 0.1s| 1 | 0 | 72 | - | 369k| 0 | 10 | 30 | 65 | 30 | 17 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.10 c 0.1s| 1 | 0 | 80 | - | 389k| 0 | 11 | 30 | 65 | 30 | 20 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.10 c 0.1s| 1 | 0 | 91 | - | 406k| 0 | 10 | 30 | 65 | 30 | 23 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 c 0.1s| 1 | 2 | 91 | - | 407k| 0 | 10 | 30 | 65 | 30 | 23 | 19 | 0 | 9 | 0.000000e+00 | -- | Inf
3.99/4.03 c 3.7s| 10000 | 2553 | 19102 | 1.9 |3462k| 27 | 4 | 30 |3826 | 30 | 10 | 19 |5083 | 379 | 0.000000e+00 | -- | Inf
9.29/9.35 c 8.6s| 20000 | 4107 | 37337 | 1.9 |5085k| 27 | 4 | 30 |4660 | 30 | 10 | 19 | 11k| 498 | 0.000000e+00 | -- | Inf
15.89/15.94 c 14.9s| 30000 | 5238 | 55973 | 1.9 |6626k| 27 | - | 30 |5906 | 30 | 10 | 19 | 17k| 572 | 0.000000e+00 | -- | Inf
23.58/23.63 c 22.2s| 40000 | 6476 | 75049 | 1.9 |8416k| 27 | 4 | 30 |7451 | 30 | 10 | 19 | 23k| 651 | 0.000000e+00 | -- | Inf
32.28/32.35 c 30.6s| 50000 | 7549 | 93945 | 1.9 | 10M| 27 | 4 | 30 |8699 | 30 | 10 | 19 | 30k| 727 | 0.000000e+00 | -- | Inf
43.68/43.74 c 41.6s| 60000 | 7897 |113125 | 1.9 | 11M| 27 | - | 30 |9389 | 30 | 10 | 19 | 37k| 823 | 0.000000e+00 | -- | Inf
56.37/56.44 c 53.9s| 70000 | 7897 |132472 | 1.9 | 11M| 27 | - | 30 |9043 | 30 | 10 | 19 | 44k| 899 | 0.000000e+00 | -- | Inf
65.47/65.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
65.47/65.51 c 62.6s| 80000 | 8903 |150698 | 1.9 | 12M| 27 | 4 | 30 | 10k| 30 | 10 | 19 | 50k| 944 | 0.000000e+00 | -- | Inf
78.86/78.98 c 75.7s| 90000 | 8835 |169233 | 1.9 | 13M| 27 | - | 30 | 10k| 30 | 10 | 19 | 58k| 977 | 0.000000e+00 | -- | Inf
91.45/91.52 c 87.8s|100000 | 9074 |188359 | 1.9 | 14M| 27 | 4 | 30 | 12k| 30 | 10 | 19 | 65k|1025 | 0.000000e+00 | -- | Inf
105.95/106.02 c 102s|110000 | 9035 |207522 | 1.9 | 15M| 27 | - | 30 | 12k| 30 | 10 | 19 | 73k|1054 | 0.000000e+00 | -- | Inf
118.25/118.31 c 114s|120000 | 9920 |226253 | 1.9 | 16M| 27 | - | 30 | 13k| 30 | 10 | 19 | 79k|1095 | 0.000000e+00 | -- | Inf
131.55/131.61 c 127s|130000 | 10032 |245325 | 1.9 | 17M| 27 | 4 | 30 | 15k| 30 | 10 | 19 | 86k|1145 | 0.000000e+00 | -- | Inf
144.74/144.81 c 140s|140000 | 10888 |264156 | 1.9 | 19M| 27 | - | 30 | 17k| 30 | 10 | 19 | 93k|1184 | 0.000000e+00 | -- | Inf
168.14/168.26 c 163s|150000 | 10281 |282982 | 1.9 | 19M| 27 | 4 | 30 | 15k| 30 | 10 | 19 | 101k|1215 | 0.000000e+00 | -- | Inf
188.23/188.38 c 182s|160000 | 9979 |301669 | 1.9 | 19M| 27 | - | 30 | 15k| 30 | 10 | 19 | 108k|1239 | 0.000000e+00 | -- | Inf
207.33/207.47 c 201s|170000 | 9645 |320626 | 1.9 | 19M| 27 | 4 | 30 | 15k| 30 | 10 | 19 | 116k|1260 | 0.000000e+00 | -- | Inf
222.22/222.33 c 215s|180000 | 9941 |339492 | 1.9 | 20M| 27 | - | 30 | 16k| 30 | 10 | 19 | 123k|1289 | 0.000000e+00 | -- | Inf
244.61/244.77 c 237s|190000 | 9263 |358256 | 1.9 | 19M| 27 | 4 | 30 | 15k| 30 | 10 | 19 | 131k|1311 | 0.000000e+00 | -- | Inf
260.31/260.40 c 253s|200000 | 9556 |376915 | 1.9 | 20M| 27 | 4 | 30 | 17k| 30 | 10 | 19 | 138k|1338 | 0.000000e+00 | -- | Inf
280.50/280.66 c 273s|210000 | 9014 |395604 | 1.9 | 20M| 27 | - | 30 | 16k| 30 | 10 | 19 | 146k|1362 | 0.000000e+00 | -- | Inf
300.80/300.95 c 292s|220000 | 8594 |415147 | 1.9 | 20M| 27 | - | 30 | 16k| 0 | 0 | 19 | 154k|1387 | 0.000000e+00 | -- | Inf
322.40/322.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
322.40/322.55 c 314s|230000 | 8017 |434532 | 1.9 | 19M| 27 | - | 30 | 16k| 30 | 10 | 19 | 162k|1413 | 0.000000e+00 | -- | Inf
338.49/338.67 c 329s|240000 | 8613 |453793 | 1.9 | 20M| 27 | - | 30 | 17k| 30 | 10 | 19 | 168k|1439 | 0.000000e+00 | -- | Inf
353.99/354.14 c 344s|250000 | 9031 |472703 | 1.9 | 22M| 27 | - | 30 | 19k| 30 | 10 | 19 | 175k|1460 | 0.000000e+00 | -- | Inf
375.99/376.11 c 366s|260000 | 8440 |491997 | 1.9 | 22M| 27 | 4 | 30 | 20k| 30 | 10 | 19 | 183k|1490 | 0.000000e+00 | -- | Inf
395.38/395.51 c 385s|270000 | 8831 |510956 | 1.9 | 22M| 27 | - | 30 | 20k| 30 | 10 | 19 | 190k|1502 | 0.000000e+00 | -- | Inf
412.07/412.25 c 401s|280000 | 9344 |530016 | 1.9 | 23M| 27 | - | 30 | 22k| 30 | 10 | 19 | 196k|1536 | 0.000000e+00 | -- | Inf
433.76/433.99 c 423s|290000 | 9121 |549066 | 1.9 | 24M| 27 | - | 30 | 23k| 30 | 10 | 19 | 203k|1562 | 0.000000e+00 | -- | Inf
459.06/459.25 c 448s|300000 | 8491 |568213 | 1.9 | 23M| 27 | - | 30 | 22k| 30 | 10 | 19 | 211k|1581 | 0.000000e+00 | -- | Inf
493.45/493.66 c 482s|310000 | 7180 |587373 | 1.9 | 21M| 27 | 4 | 30 | 18k| 30 | 10 | 19 | 220k|1600 | 0.000000e+00 | -- | Inf
519.84/520.03 c 508s|320000 | 6590 |606646 | 1.9 | 20M| 27 | 4 | 30 | 16k| 30 | 10 | 19 | 228k|1633 | 0.000000e+00 | -- | Inf
535.34/535.59 c 523s|330000 | 6792 |626373 | 1.9 | 21M| 27 | 4 | 30 | 19k| 30 | 10 | 19 | 235k|1651 | 0.000000e+00 | -- | Inf
558.44/558.61 c 545s|340000 | 6280 |645753 | 1.9 | 20M| 27 | 4 | 30 | 19k| 30 | 10 | 19 | 243k|1671 | 0.000000e+00 | -- | Inf
575.33/575.50 c 562s|350000 | 6006 |664871 | 1.9 | 21M| 27 | - | 30 | 21k| 0 | 0 | 19 | 251k|1697 | 0.000000e+00 | -- | Inf
605.72/605.94 c 592s|360000 | 4945 |683893 | 1.9 | 19M| 27 | - | 30 | 19k| 30 | 10 | 19 | 259k|1729 | 0.000000e+00 | -- | Inf
636.62/636.84 c 622s|370000 | 3632 |703102 | 1.9 | 16M| 27 | - | 30 | 17k| 30 | 10 | 19 | 268k|1752 | 0.000000e+00 | -- | Inf
653.91/654.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
653.91/654.10 c 639s|380000 | 4045 |722019 | 1.9 | 17M| 27 | 4 | 30 | 20k| 30 | 10 | 19 | 275k|1771 | 0.000000e+00 | -- | Inf
672.21/672.40 c 657s|390000 | 4528 |740469 | 1.9 | 18M| 27 | 4 | 30 | 22k| 30 | 10 | 19 | 281k|1793 | 0.000000e+00 | -- | Inf
698.31/698.57 c 683s|400000 | 3605 |758671 | 1.9 | 18M| 27 | 4 | 30 | 23k| 30 | 10 | 19 | 289k|1820 | 0.000000e+00 | -- | Inf
724.89/725.17 c 709s|410000 | 3178 |777855 | 1.9 | 17M| 27 | - | 30 | 23k| 30 | 10 | 19 | 297k|1844 | 0.000000e+00 | -- | Inf
758.18/758.49 c 742s|420000 | 1987 |797291 | 1.9 | 15M| 27 | - | 30 | 21k| 30 | 10 | 19 | 306k|1866 | 0.000000e+00 | -- | Inf
783.67/783.93 c 767s|430000 | 1357 |816484 | 1.9 | 13M| 27 | - | 30 | 21k| 30 | 10 | 19 | 314k|1895 | 0.000000e+00 | -- | Inf
802.78/803.02 c 786s|440000 | 1266 |835987 | 1.9 | 14M| 27 | - | 30 | 23k| 30 | 10 | 19 | 321k|1929 | 0.000000e+00 | -- | Inf
830.77/831.04 c 813s|450000 | 676 |854803 | 1.9 | 12M| 27 | 4 | 30 | 23k| 30 | 10 | 19 | 329k|1957 | 0.000000e+00 | -- | Inf
854.75/855.05 c 837s|460000 | 342 |873762 | 1.9 | 11M| 27 | 4 | 30 | 22k| 30 | 10 | 19 | 337k|1991 | 0.000000e+00 | -- | Inf
876.15/876.42 c 858s|470000 | 168 |892190 | 1.9 | 11M| 27 | 4 | 30 | 23k| 30 | 10 | 19 | 345k|2014 | 0.000000e+00 | -- | Inf
896.84/897.19 c 878s|480000 | 37 |912308 | 1.9 | 12M| 27 | 4 | 30 | 25k| 30 | 10 | 19 | 353k|2015 | 0.000000e+00 | -- | Inf
899.56/899.82 c
899.56/899.82 c SCIP Status : problem is solved [infeasible]
899.56/899.82 c Solving Time (sec) : 880.65
899.56/899.82 c Solving Nodes : 481203
899.56/899.82 c Primal Bound : +1.00000000000000e+20 (0 solutions)
899.56/899.82 c Dual Bound : +1.00000000000000e+20
899.56/899.82 c Gap : 0.00 %
899.56/899.82 s UNSATISFIABLE
899.56/899.82 c SCIP Status : problem is solved [infeasible]
899.56/899.82 c Solving Time : 880.65
899.56/899.82 c Original Problem :
899.56/899.82 c Problem name : HOME/instance-2667656-1276599603.opb
899.56/899.82 c Variables : 31 (31 binary, 0 integer, 0 implicit integer, 0 continuous)
899.56/899.82 c Constraints : 9 initial, 9 maximal
899.56/899.82 c Presolved Problem :
899.56/899.82 c Problem name : t_HOME/instance-2667656-1276599603.opb
899.56/899.82 c Variables : 30 (30 binary, 0 integer, 0 implicit integer, 0 continuous)
899.56/899.82 c Constraints : 4 initial, 25819 maximal
899.56/899.82 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
899.56/899.82 c trivial : 0.00 0 0 0 0 0 0 0 0
899.56/899.82 c dualfix : 0.00 1 0 0 0 0 0 0 0
899.56/899.82 c boundshift : 0.00 0 0 0 0 0 0 0 0
899.56/899.82 c inttobinary : 0.00 0 0 0 0 0 0 0 0
899.56/899.82 c implics : 0.00 0 0 0 0 0 0 0 0
899.56/899.82 c probing : 0.00 0 0 0 0 0 0 0 0
899.56/899.82 c linear : 0.01 0 0 0 0 0 5 0 0
899.56/899.82 c logicor : 0.00 0 0 0 0 0 0 0 0
899.56/899.82 c root node : - 1 - - 1 - - - -
899.56/899.82 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
899.56/899.82 c integral : 0 0 0 261526 0 266 890 0 0 520794
899.56/899.82 c linear : 4+ 7 1283738 0 0 74244 545916 0 0 0
899.56/899.82 c logicor : 0+ 0 661760 0 0 3026 320390 0 0 0
899.56/899.82 c countsols : 0 0 0 0 0 0 0 0 0 0
899.56/899.82 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
899.56/899.82 c integral : 3.74 0.00 0.00 3.74 0.00
899.56/899.82 c linear : 37.86 0.00 37.86 0.00 0.00
899.56/899.82 c logicor : 403.89 0.00 403.89 0.00 0.00
899.56/899.82 c countsols : 0.00 0.00 0.00 0.00 0.00
899.56/899.82 c Propagators : Time Calls Cutoffs DomReds
899.56/899.82 c vbounds : 0.68 2 0 0
899.56/899.82 c rootredcost : 0.70 0 0 0
899.56/899.82 c pseudoobj : 0.51 0 0 0
899.56/899.82 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
899.56/899.82 c propagation : 3.34 77270 60629 192336 20.4 4 16.5 -
899.56/899.82 c infeasible LP : 10.11 175594 175592 343956 13.8 2989 16.6 0
899.56/899.82 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
899.56/899.82 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
899.56/899.82 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
899.56/899.82 c applied globally : - - - 355020 14.0 - - -
899.56/899.82 c applied locally : - - - 0 0.0 - - -
899.56/899.82 c Separators : Time Calls Cutoffs DomReds Cuts Conss
899.56/899.82 c cut pool : 0.00 5 - - 34 - (maximal pool size: 98)
899.56/899.82 c redcost : 0.57 261531 0 0 0 0
899.56/899.82 c impliedbounds : 0.00 6 0 0 0 0
899.56/899.82 c intobj : 0.00 0 0 0 0 0
899.56/899.82 c cgmip : 0.00 0 0 0 0 0
899.56/899.82 c gomory : 0.00 6 0 0 1 0
899.56/899.82 c strongcg : 0.00 6 0 0 46 0
899.56/899.82 c cmir : 0.01 6 0 0 34 0
899.56/899.82 c flowcover : 0.01 6 0 0 38 0
899.56/899.82 c clique : 0.00 1 0 0 0 0
899.56/899.82 c zerohalf : 0.00 0 0 0 0 0
899.56/899.82 c mcf : 0.00 1 0 0 0 0
899.56/899.83 c rapidlearning : 0.04 1 0 0 0 61
899.56/899.83 c Pricers : Time Calls Vars
899.56/899.83 c problem variables: 0.00 0 0
899.56/899.83 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
899.56/899.83 c relpscost : 3.25 261526 266 890 0 0 520794
899.56/899.83 c pscost : 0.00 0 0 0 0 0 0
899.56/899.83 c inference : 0.00 0 0 0 0 0 0
899.56/899.83 c mostinf : 0.00 0 0 0 0 0 0
899.56/899.83 c leastinf : 0.00 0 0 0 0 0 0
899.56/899.83 c fullstrong : 0.00 0 0 0 0 0 0
899.56/899.83 c allfullstrong : 0.00 0 0 0 0 0 0
899.56/899.83 c random : 0.00 0 0 0 0 0 0
899.56/899.83 c Primal Heuristics : Time Calls Found
899.56/899.83 c LP solutions : 0.00 - 0
899.56/899.83 c pseudo solutions : 0.00 - 0
899.56/899.83 c oneopt : 0.50 0 0
899.56/899.83 c crossover : 0.32 0 0
899.56/899.83 c guideddiving : 0.05 0 0
899.56/899.83 c linesearchdiving : 0.11 47 0
899.56/899.83 c coefdiving : 0.06 47 0
899.56/899.83 c pscostdiving : 0.11 47 0
899.56/899.83 c fracdiving : 0.11 47 0
899.56/899.83 c veclendiving : 0.10 47 0
899.56/899.83 c objpscostdiving : 0.03 24 0
899.56/899.83 c rootsoldiving : 0.07 24 0
899.56/899.83 c feaspump : 0.07 25 0
899.56/899.83 c trivial : 0.00 2 0
899.56/899.83 c simplerounding : 0.20 0 0
899.56/899.83 c zirounding : 0.37 1000 0
899.56/899.83 c rounding : 0.27 7196 0
899.56/899.83 c shifting : 0.94 2649 0
899.56/899.83 c intshifting : 0.02 0 0
899.56/899.83 c twoopt : 0.00 0 0
899.56/899.83 c fixandinfer : 0.00 0 0
899.56/899.83 c intdiving : 0.00 0 0
899.56/899.83 c actconsdiving : 0.00 0 0
899.56/899.83 c octane : 0.00 0 0
899.56/899.83 c rens : 0.02 1 0
899.56/899.83 c rins : 0.00 0 0
899.56/899.83 c localbranching : 0.00 0 0
899.56/899.83 c mutation : 0.00 0 0
899.56/899.83 c dins : 0.00 0 0
899.56/899.83 c undercover : 0.00 0 0
899.56/899.83 c nlp : 0.23 0 0
899.56/899.83 c trysol : 0.36 0 0
899.56/899.83 c LP : Time Calls Iterations Iter/call Iter/sec
899.56/899.83 c primal LP : 0.00 0 0 0.00 -
899.56/899.83 c dual LP : 30.16 419995 914136 2.18 30309.55
899.56/899.83 c lex dual LP : 0.00 0 0 0.00 -
899.56/899.83 c barrier LP : 0.00 0 0 0.00 -
899.56/899.83 c diving/probing LP: 0.07 357 513 1.44 7328.57
899.56/899.83 c strong branching : 0.22 2015 6631 3.29 30140.91
899.56/899.83 c (at root node) : - 9 182 20.22 -
899.56/899.83 c conflict analysis: 0.00 0 0 0.00 -
899.56/899.83 c B&B Tree :
899.56/899.83 c number of runs : 1
899.56/899.83 c nodes : 481203
899.56/899.83 c nodes (total) : 481203
899.56/899.83 c nodes left : 0
899.56/899.83 c max depth : 27
899.56/899.83 c max depth (total): 27
899.56/899.83 c backtracks : 140136 (29.1%)
899.56/899.83 c delayed cutoffs : 39592
899.56/899.83 c repropagations : 478941 (457095 domain reductions, 31758 cutoffs)
899.56/899.83 c avg switch length: 6.29
899.56/899.83 c switching time : 262.24
899.56/899.83 c Solution :
899.56/899.83 c Solutions found : 0 (0 improvements)
899.56/899.83 c Primal Bound : infeasible
899.56/899.83 c Dual Bound : -
899.56/899.83 c Gap : 0.00 %
899.56/899.83 c Root Dual Bound : +0.00000000000000e+00
899.56/899.83 c Root Iterations : 91
899.56/899.89 c Time complete: 899.63.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667656-1276599603/watcher-2667656-1276599603 -o /tmp/evaluation-result-2667656-1276599603/solver-2667656-1276599603 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667656-1276599603.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 10955
/proc/meminfo: memFree=1430072/2059040 swapFree=4192956/4192956
[pid=10955] ppid=10953 vsize=7724 CPUtime=0
/proc/10955/stat : 10955 (pbscip.linux.x8) R 10953 10955 2309 0 -1 4202496 1125 0 0 0 0 0 0 0 25 0 1 0 1254034 7909376 1045 1992294400 4194304 8223781 140736800163536 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10955/statm: 1931 1055 348 984 0 944 0
[startup+0.0452441 s]
/proc/loadavg: 0.92 0.98 0.99 3/105 10955
/proc/meminfo: memFree=1430072/2059040 swapFree=4192956/4192956
[pid=10955] ppid=10953 vsize=19440 CPUtime=0.04
/proc/10955/stat : 10955 (pbscip.linux.x8) R 10953 10955 2309 0 -1 4202496 4839 0 0 0 2 2 0 0 25 0 1 0 1254034 19906560 3613 1992294400 4194304 8223781 140736800163536 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10955/statm: 4860 3613 568 984 0 3873 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 19440
[startup+0.10125 s]
/proc/loadavg: 0.92 0.98 0.99 3/105 10955
/proc/meminfo: memFree=1430072/2059040 swapFree=4192956/4192956
[pid=10955] ppid=10953 vsize=13212 CPUtime=0.09
/proc/10955/stat : 10955 (pbscip.linux.x8) R 10953 10955 2309 0 -1 4202496 4933 0 0 0 7 2 0 0 25 0 1 0 1254034 13529088 2417 1992294400 4194304 8223781 140736800163536 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10955/statm: 3303 2417 576 984 0 2316 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13212
[startup+0.30135 s]
/proc/loadavg: 0.92 0.98 0.99 3/105 10955
/proc/meminfo: memFree=1430072/2059040 swapFree=4192956/4192956
[pid=10955] ppid=10953 vsize=13300 CPUtime=0.29
/proc/10955/stat : 10955 (pbscip.linux.x8) R 10953 10955 2309 0 -1 4202496 9379 0 0 0 24 5 0 0 25 0 1 0 1254034 13619200 2468 1992294400 4194304 8223781 140736800163536 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10955/statm: 3325 2468 591 984 0 2338 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13300
[startup+0.701315 s]
/proc/loadavg: 0.92 0.98 0.99 3/105 10955
/proc/meminfo: memFree=1430072/2059040 swapFree=4192956/4192956
[pid=10955] ppid=10953 vsize=13724 CPUtime=0.69
/proc/10955/stat : 10955 (pbscip.linux.x8) R 10953 10955 2309 0 -1 4202496 9467 0 0 0 59 10 0 0 25 0 1 0 1254034 14053376 2556 1992294400 4194304 8223781 140736800163536 18446744073709551615 5955584 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10955/statm: 3431 2556 591 984 0 2444 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13724
[startup+1.5014 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 10956
/proc/meminfo: memFree=1421136/2059040 swapFree=4192956/4192956
[pid=10955] ppid=10953 vsize=15400 CPUtime=1.49
/proc/10955/stat : 10955 (pbscip.linux.x8) R 10953 10955 2309 0 -1 4202496 9876 0 0 0 132 17 0 0 25 0 1 0 1254034 15769600 2965 1992294400 4194304 8223781 140736800163536 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10955/statm: 3850 2965 591 984 0 2863 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15400
[startup+3.10058 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 10956
/proc/meminfo: memFree=1419028/2059040 swapFree=4192956/4192956
[pid=10955] ppid=10953 vsize=16976 CPUtime=3.09
/proc/10955/stat : 10955 (pbscip.linux.x8) R 10953 10955 2309 0 -1 4202496 10272 0 0 0 279 30 0 0 25 0 1 0 1254034 17383424 3361 1992294400 4194304 8223781 140736800163536 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10955/statm: 4244 3361 591 984 0 3257 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16976
[startup+6.30093 s]
/proc/loadavg: 0.93 0.98 0.99 2/106 10956
/proc/meminfo: memFree=1416424/2059040 swapFree=4192956/4192956
[pid=10955] ppid=10953 vsize=19068 CPUtime=6.29
/proc/10955/stat : 10955 (pbscip.linux.x8) R 10953 10955 2309 0 -1 4202496 10815 0 0 0 577 52 0 0 25 0 1 0 1254034 19525632 3904 1992294400 4194304 8223781 140736800163536 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10955/statm: 4767 3904 591 984 0 3780 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19068
[startup+12.7006 s]
/proc/loadavg: 0.93 0.98 0.99 2/106 10956
/proc/meminfo: memFree=1414812/2059040 swapFree=4192956/4192956
[pid=10955] ppid=10953 vsize=21084 CPUtime=12.69
/proc/10955/stat : 10955 (pbscip.linux.x8) R 10953 10955 2309 0 -1 4202496 11288 0 0 0 1178 91 0 0 25 0 1 0 1254034 21590016 4377 1992294400 4194304 8223781 140736800163536 18446744073709551615 4660129 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10955/statm: 5271 4377 591 984 0 4284 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21084
[startup+25.501 s]
/proc/loadavg: 0.95 0.98 0.99 2/106 10956
/proc/meminfo: memFree=1409728/2059040 swapFree=4192956/4192956
[pid=10955] ppid=10953 vsize=26044 CPUtime=25.49
/proc/10955/stat : 10955 (pbscip.linux.x8) R 10953 10955 2309 0 -1 4202496 12444 0 0 0 2399 150 0 0 25 0 1 0 1254034 26669056 5533 1992294400 4194304 8223781 140736800163536 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10955/statm: 6511 5533 591 984 0 5524 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26044
[startup+51.1008 s]
/proc/loadavg: 0.96 0.98 0.99 2/106 10956
/proc/meminfo: memFree=1407000/2059040 swapFree=4192956/4192956
[pid=10955] ppid=10953 vsize=29060 CPUtime=51.08
/proc/10955/stat : 10955 (pbscip.linux.x8) R 10953 10955 2309 0 -1 4202496 13116 0 0 0 4868 240 0 0 25 0 1 0 1254034 29757440 6205 1992294400 4194304 8223781 140736800163536 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10955/statm: 7265 6205 591 984 0 6278 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 29060
[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.99 2/106 10967
/proc/meminfo: memFree=1402040/2059040 swapFree=4192956/4192956
[pid=10955] ppid=10953 vsize=34136 CPUtime=102.26
/proc/10955/stat : 10955 (pbscip.linux.x8) R 10953 10955 2309 0 -1 4202496 14324 0 0 0 9828 398 0 0 25 0 1 0 1254034 34955264 7413 1992294400 4194304 8223781 140736800163536 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10955/statm: 8534 7413 591 984 0 7547 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 34136
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 10969
/proc/meminfo: memFree=1395716/2059040 swapFree=4192956/4192956
[pid=10955] ppid=10953 vsize=40764 CPUtime=162.24
/proc/10955/stat : 10955 (pbscip.linux.x8) R 10953 10955 2309 0 -1 4202496 15851 0 0 0 15670 554 0 0 25 0 1 0 1254034 41742336 8940 1992294400 4194304 8223781 140736800163536 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10955/statm: 10191 8940 591 984 0 9204 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 40764
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 10969
/proc/meminfo: memFree=1395096/2059040 swapFree=4192956/4192956
[pid=10955] ppid=10953 vsize=41692 CPUtime=222.22
/proc/10955/stat : 10955 (pbscip.linux.x8) R 10953 10955 2309 0 -1 4202496 15999 0 0 0 21540 682 0 0 25 0 1 0 1254034 42692608 9088 1992294400 4194304 8223781 140736800163536 18446744073709551615 4210355 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10955/statm: 10423 9088 591 984 0 9436 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 41692
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 10971
/proc/meminfo: memFree=1393484/2059040 swapFree=4192956/4192956
[pid=10955] ppid=10953 vsize=43352 CPUtime=282.21
/proc/10955/stat : 10955 (pbscip.linux.x8) R 10953 10955 2309 0 -1 4202496 16397 0 0 0 27420 801 0 0 25 0 1 0 1254034 44392448 9486 1992294400 4194304 8223781 140736800163536 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10955/statm: 10838 9486 591 984 0 9851 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 43352
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 10973
/proc/meminfo: memFree=1393360/2059040 swapFree=4192956/4192956
[pid=10955] ppid=10953 vsize=43352 CPUtime=342.19
/proc/10955/stat : 10955 (pbscip.linux.x8) R 10953 10955 2309 0 -1 4202496 16408 0 0 0 33293 926 0 0 25 0 1 0 1254034 44392448 9497 1992294400 4194304 8223781 140736800163536 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10955/statm: 10838 9497 591 984 0 9851 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 43352
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 10975
/proc/meminfo: memFree=1391376/2059040 swapFree=4192956/4192956
[pid=10955] ppid=10953 vsize=45780 CPUtime=402.17
/proc/10955/stat : 10955 (pbscip.linux.x8) R 10953 10955 2309 0 -1 4202496 16967 0 0 0 39172 1045 0 0 25 0 1 0 1254034 46878720 10056 1992294400 4194304 8223781 140736800163536 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10955/statm: 11445 10056 591 984 0 10458 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 45780
[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 10977
/proc/meminfo: memFree=1388524/2059040 swapFree=4192956/4192956
[pid=10955] ppid=10953 vsize=48656 CPUtime=462.16
/proc/10955/stat : 10955 (pbscip.linux.x8) R 10953 10955 2309 0 -1 4202496 17606 0 0 0 45062 1154 0 0 25 0 1 0 1254034 49823744 10695 1992294400 4194304 8223781 140736800163536 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10955/statm: 12164 10695 591 984 0 11177 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 48656
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 10977
/proc/meminfo: memFree=1388524/2059040 swapFree=4192956/4192956
[pid=10955] ppid=10953 vsize=48656 CPUtime=522.14
/proc/10955/stat : 10955 (pbscip.linux.x8) R 10953 10955 2309 0 -1 4202496 17606 0 0 0 50976 1238 0 0 25 0 1 0 1254034 49823744 10695 1992294400 4194304 8223781 140736800163536 18446744073709551615 5955595 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10955/statm: 12164 10695 591 984 0 11177 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 48656
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 10979
/proc/meminfo: memFree=1388276/2059040 swapFree=4192956/4192956
[pid=10955] ppid=10953 vsize=48656 CPUtime=582.12
/proc/10955/stat : 10955 (pbscip.linux.x8) R 10953 10955 2309 0 -1 4202496 17659 0 0 0 56857 1355 0 0 25 0 1 0 1254034 49823744 10748 1992294400 4194304 8223781 140736800163536 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10955/statm: 12164 10748 591 984 0 11177 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 48656
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 10981
/proc/meminfo: memFree=1388152/2059040 swapFree=4192956/4192956
[pid=10955] ppid=10953 vsize=48656 CPUtime=642.12
/proc/10955/stat : 10955 (pbscip.linux.x8) R 10953 10955 2309 0 -1 4202496 17659 0 0 0 62767 1445 0 0 25 0 1 0 1254034 49823744 10748 1992294400 4194304 8223781 140736800163536 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10955/statm: 12164 10748 591 984 0 11177 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 48656
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 10983
/proc/meminfo: memFree=1388028/2059040 swapFree=4192956/4192956
[pid=10955] ppid=10953 vsize=48656 CPUtime=702.1
/proc/10955/stat : 10955 (pbscip.linux.x8) R 10953 10955 2309 0 -1 4202496 17659 0 0 0 68651 1559 0 0 25 0 1 0 1254034 49823744 10748 1992294400 4194304 8223781 140736800163536 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10955/statm: 12164 10748 591 984 0 11177 0
Current children cumulated CPU time (s) 702.1
Current children cumulated vsize (KiB) 48656
[startup+762.309 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 10985
/proc/meminfo: memFree=1387656/2059040 swapFree=4192956/4192956
[pid=10955] ppid=10953 vsize=49648 CPUtime=762.09
/proc/10955/stat : 10955 (pbscip.linux.x8) R 10953 10955 2309 0 -1 4202496 17754 0 0 0 74562 1647 0 0 25 0 1 0 1254034 50839552 10843 1992294400 4194304 8223781 140736800163536 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10955/statm: 12412 10843 591 984 0 11425 0
Current children cumulated CPU time (s) 762.09
Current children cumulated vsize (KiB) 49648
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 10985
/proc/meminfo: memFree=1387408/2059040 swapFree=4192956/4192956
[pid=10955] ppid=10953 vsize=50244 CPUtime=822.06
/proc/10955/stat : 10955 (pbscip.linux.x8) R 10953 10955 2309 0 -1 4202496 17828 0 0 0 80461 1745 0 0 25 0 1 0 1254034 51449856 10917 1992294400 4194304 8223781 140736800163536 18446744073709551615 4210111 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10955/statm: 12561 10917 591 984 0 11574 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 50244
[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 10987
/proc/meminfo: memFree=1387284/2059040 swapFree=4192956/4192956
[pid=10955] ppid=10953 vsize=50132 CPUtime=882.04
/proc/10955/stat : 10955 (pbscip.linux.x8) R 10953 10955 2309 0 -1 4202496 17876 0 0 0 86351 1853 0 0 25 0 1 0 1254034 51335168 10884 1992294400 4194304 8223781 140736800163536 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10955/statm: 12533 10884 591 984 0 11546 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 50132
Solver just ended. Dumping a history of the last processes samples
[startup+883.101 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 10987
/proc/meminfo: memFree=1387284/2059040 swapFree=4192956/4192956
[pid=10955] ppid=10953 vsize=50132 CPUtime=882.85
/proc/10955/stat : 10955 (pbscip.linux.x8) R 10953 10955 2309 0 -1 4202496 17876 0 0 0 86430 1855 0 0 25 0 1 0 1254034 51335168 10884 1992294400 4194304 8223781 140736800163536 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10955/statm: 12533 10884 591 984 0 11546 0
Current children cumulated CPU time (s) 882.85
Current children cumulated vsize (KiB) 50132
[startup+889.501 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 10987
/proc/meminfo: memFree=1387284/2059040 swapFree=4192956/4192956
[pid=10955] ppid=10953 vsize=50132 CPUtime=889.25
/proc/10955/stat : 10955 (pbscip.linux.x8) R 10953 10955 2309 0 -1 4202496 17876 0 0 0 87057 1868 0 0 25 0 1 0 1254034 51335168 10884 1992294400 4194304 8223781 140736800163536 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10955/statm: 12533 10884 591 984 0 11546 0
Current children cumulated CPU time (s) 889.25
Current children cumulated vsize (KiB) 50132
[startup+895.901 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 10987
/proc/meminfo: memFree=1387284/2059040 swapFree=4192956/4192956
[pid=10955] ppid=10953 vsize=50132 CPUtime=895.64
/proc/10955/stat : 10955 (pbscip.linux.x8) R 10953 10955 2309 0 -1 4202496 17877 0 0 0 87682 1882 0 0 25 0 1 0 1254034 51335168 10885 1992294400 4194304 8223781 140736800163536 18446744073709551615 4222964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10955/statm: 12533 10885 591 984 0 11546 0
Current children cumulated CPU time (s) 895.64
Current children cumulated vsize (KiB) 50132
[startup+897.501 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 10987
/proc/meminfo: memFree=1387284/2059040 swapFree=4192956/4192956
[pid=10955] ppid=10953 vsize=50132 CPUtime=897.25
/proc/10955/stat : 10955 (pbscip.linux.x8) R 10953 10955 2309 0 -1 4202496 17877 0 0 0 87839 1886 0 0 25 0 1 0 1254034 51335168 10885 1992294400 4194304 8223781 140736800163536 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10955/statm: 12533 10885 591 984 0 11546 0
Current children cumulated CPU time (s) 897.25
Current children cumulated vsize (KiB) 50132
[startup+899.102 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 10987
/proc/meminfo: memFree=1387284/2059040 swapFree=4192956/4192956
[pid=10955] ppid=10953 vsize=50132 CPUtime=898.85
/proc/10955/stat : 10955 (pbscip.linux.x8) R 10953 10955 2309 0 -1 4202496 17878 0 0 0 87994 1891 0 0 25 0 1 0 1254034 51335168 10886 1992294400 4194304 8223781 140736800163536 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10955/statm: 12533 10886 591 984 0 11546 0
Current children cumulated CPU time (s) 898.85
Current children cumulated vsize (KiB) 50132
[startup+899.502 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 10987
/proc/meminfo: memFree=1387284/2059040 swapFree=4192956/4192956
[pid=10955] ppid=10953 vsize=50132 CPUtime=899.25
/proc/10955/stat : 10955 (pbscip.linux.x8) R 10953 10955 2309 0 -1 4202496 17878 0 0 0 88033 1892 0 0 25 0 1 0 1254034 51335168 10886 1992294400 4194304 8223781 140736800163536 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10955/statm: 12533 10886 591 984 0 11546 0
Current children cumulated CPU time (s) 899.25
Current children cumulated vsize (KiB) 50132
[startup+899.702 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 10989
/proc/meminfo: memFree=1387284/2059040 swapFree=4192956/4192956
[pid=10955] ppid=10953 vsize=50132 CPUtime=899.45
/proc/10955/stat : 10955 (pbscip.linux.x8) R 10953 10955 2309 0 -1 4202496 17878 0 0 0 88053 1892 0 0 25 0 1 0 1254034 51335168 10886 1992294400 4194304 8223781 140736800163536 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10955/statm: 12533 10886 591 984 0 11546 0
Current children cumulated CPU time (s) 899.45
Current children cumulated vsize (KiB) 50132
[startup+899.809 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 10989
/proc/meminfo: memFree=1387284/2059040 swapFree=4192956/4192956
[pid=10955] ppid=10953 vsize=50132 CPUtime=899.56
/proc/10955/stat : 10955 (pbscip.linux.x8) R 10953 10955 2309 0 -1 4202496 17878 0 0 0 88063 1893 0 0 25 0 1 0 1254034 51335168 10886 1992294400 4194304 8223781 140736800163536 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10955/statm: 12533 10886 591 984 0 11546 0
Current children cumulated CPU time (s) 899.56
Current children cumulated vsize (KiB) 50132
Child status: 0
Real time (s): 899.892
CPU time (s): 899.644
CPU user time (s): 880.709
CPU system time (s): 18.9351
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 50244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 880.709
system time used= 18.9351
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17883
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= 1579
runsolver used 1.46378 second user time and 4.28235 second system time
The end