0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2704561-1278561818.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.02 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.3
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 = 1790
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 # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.02 c # [type: int, range: [1,2], default: 1]
0.00/0.02 c timing/clocktype = 2
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 # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/indicator/addCouplingCons = 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 | - | 193k| 0 | 4 | 30 | 4 | 30 | 4 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.05/0.08 c 0.1s| 1 | 0 | 57 | - | 318k| 0 | 7 | 30 | 65 | 30 | 7 | 3 | 0 | 0 | 0.000000e+00 | -- | Inf
0.05/0.09 c 0.1s| 1 | 0 | 60 | - | 335k| 0 | 9 | 30 | 65 | 30 | 11 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.05/0.09 c 0.1s| 1 | 0 | 65 | - | 353k| 0 | 10 | 30 | 65 | 30 | 14 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf
0.05/0.10 c 0.1s| 1 | 0 | 72 | - | 370k| 0 | 10 | 30 | 65 | 30 | 17 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.10 c 0.1s| 1 | 0 | 80 | - | 390k| 0 | 11 | 30 | 65 | 30 | 20 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 c 0.1s| 1 | 0 | 91 | - | 407k| 0 | 10 | 30 | 65 | 30 | 23 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 c 0.1s| 1 | 2 | 91 | - | 408k| 0 | 10 | 30 | 65 | 30 | 23 | 19 | 0 | 9 | 0.000000e+00 | -- | Inf
3.89/3.99 c 4.0s| 10000 | 2553 | 19102 | 1.9 |3463k| 27 | 4 | 30 |3826 | 30 | 10 | 19 |5083 | 379 | 0.000000e+00 | -- | Inf
9.29/9.34 c 9.3s| 20000 | 4107 | 37337 | 1.9 |5086k| 27 | 4 | 30 |4660 | 30 | 10 | 19 | 11k| 498 | 0.000000e+00 | -- | Inf
15.88/15.93 c 15.9s| 30000 | 5238 | 55973 | 1.9 |6627k| 27 | - | 30 |5906 | 30 | 10 | 19 | 17k| 572 | 0.000000e+00 | -- | Inf
23.58/23.63 c 23.6s| 40000 | 6476 | 75049 | 1.9 |8417k| 27 | 4 | 30 |7451 | 30 | 10 | 19 | 23k| 651 | 0.000000e+00 | -- | Inf
32.38/32.47 c 32.5s| 50000 | 7549 | 93945 | 1.9 | 10M| 27 | 4 | 30 |8699 | 30 | 10 | 19 | 30k| 727 | 0.000000e+00 | -- | Inf
43.89/43.99 c 44.0s| 60000 | 7897 |113125 | 1.9 | 11M| 27 | - | 30 |9389 | 30 | 10 | 19 | 37k| 823 | 0.000000e+00 | -- | Inf
56.78/56.81 c 56.8s| 70000 | 7897 |132472 | 1.9 | 11M| 27 | - | 30 |9043 | 30 | 10 | 19 | 44k| 899 | 0.000000e+00 | -- | Inf
65.88/65.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
65.88/65.91 c 65.9s| 80000 | 8903 |150698 | 1.9 | 12M| 27 | 4 | 30 | 10k| 30 | 10 | 19 | 50k| 944 | 0.000000e+00 | -- | Inf
79.48/79.56 c 79.6s| 90000 | 8835 |169233 | 1.9 | 13M| 27 | - | 30 | 10k| 30 | 10 | 19 | 58k| 977 | 0.000000e+00 | -- | Inf
92.17/92.25 c 92.2s|100000 | 9074 |188359 | 1.9 | 14M| 27 | 4 | 30 | 12k| 30 | 10 | 19 | 65k|1025 | 0.000000e+00 | -- | Inf
106.87/106.92 c 107s|110000 | 9035 |207522 | 1.9 | 15M| 27 | - | 30 | 12k| 30 | 10 | 19 | 73k|1054 | 0.000000e+00 | -- | Inf
119.26/119.35 c 119s|120000 | 9920 |226253 | 1.9 | 16M| 27 | - | 30 | 13k| 30 | 10 | 19 | 79k|1095 | 0.000000e+00 | -- | Inf
132.76/132.84 c 133s|130000 | 10032 |245325 | 1.9 | 17M| 27 | 4 | 30 | 15k| 30 | 10 | 19 | 86k|1145 | 0.000000e+00 | -- | Inf
146.16/146.23 c 146s|140000 | 10888 |264156 | 1.9 | 19M| 27 | - | 30 | 17k| 30 | 10 | 19 | 93k|1184 | 0.000000e+00 | -- | Inf
169.95/170.05 c 170s|150000 | 10281 |282982 | 1.9 | 19M| 27 | 4 | 30 | 15k| 30 | 10 | 19 | 101k|1215 | 0.000000e+00 | -- | Inf
190.35/190.46 c 190s|160000 | 9979 |301669 | 1.9 | 19M| 27 | - | 30 | 15k| 30 | 10 | 19 | 108k|1239 | 0.000000e+00 | -- | Inf
209.74/209.81 c 210s|170000 | 9645 |320626 | 1.9 | 19M| 27 | 4 | 30 | 15k| 30 | 10 | 19 | 116k|1260 | 0.000000e+00 | -- | Inf
224.74/224.85 c 225s|180000 | 9941 |339492 | 1.9 | 20M| 27 | - | 30 | 16k| 30 | 10 | 19 | 123k|1289 | 0.000000e+00 | -- | Inf
247.53/247.69 c 248s|190000 | 9263 |358256 | 1.9 | 19M| 27 | 4 | 30 | 15k| 30 | 10 | 19 | 131k|1311 | 0.000000e+00 | -- | Inf
263.43/263.55 c 264s|200000 | 9556 |376915 | 1.9 | 20M| 27 | 4 | 30 | 17k| 30 | 10 | 19 | 138k|1338 | 0.000000e+00 | -- | Inf
284.02/284.13 c 284s|210000 | 9014 |395604 | 1.9 | 20M| 27 | - | 30 | 16k| 30 | 10 | 19 | 146k|1362 | 0.000000e+00 | -- | Inf
304.62/304.70 c 305s|220000 | 8594 |415147 | 1.9 | 20M| 27 | - | 30 | 16k| 0 | 0 | 19 | 154k|1387 | 0.000000e+00 | -- | Inf
326.52/326.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
326.52/326.61 c 327s|230000 | 8017 |434532 | 1.9 | 19M| 27 | - | 30 | 16k| 30 | 10 | 19 | 162k|1413 | 0.000000e+00 | -- | Inf
342.81/342.94 c 343s|240000 | 8613 |453793 | 1.9 | 20M| 27 | - | 30 | 17k| 30 | 10 | 19 | 168k|1439 | 0.000000e+00 | -- | Inf
358.51/358.67 c 359s|250000 | 9031 |472703 | 1.9 | 22M| 27 | - | 30 | 19k| 30 | 10 | 19 | 175k|1460 | 0.000000e+00 | -- | Inf
380.90/381.08 c 381s|260000 | 8440 |491997 | 1.9 | 22M| 27 | 4 | 30 | 20k| 30 | 10 | 19 | 183k|1490 | 0.000000e+00 | -- | Inf
400.69/400.81 c 401s|270000 | 8831 |510956 | 1.9 | 22M| 27 | - | 30 | 20k| 30 | 10 | 19 | 190k|1502 | 0.000000e+00 | -- | Inf
417.69/417.87 c 418s|280000 | 9344 |530016 | 1.9 | 23M| 27 | - | 30 | 22k| 30 | 10 | 19 | 196k|1536 | 0.000000e+00 | -- | Inf
439.90/440.07 c 440s|290000 | 9121 |549066 | 1.9 | 24M| 27 | - | 30 | 23k| 30 | 10 | 19 | 203k|1562 | 0.000000e+00 | -- | Inf
465.68/465.86 c 466s|300000 | 8491 |568213 | 1.9 | 23M| 27 | - | 30 | 22k| 30 | 10 | 19 | 211k|1581 | 0.000000e+00 | -- | Inf
500.68/500.88 c 501s|310000 | 7180 |587373 | 1.9 | 21M| 27 | 4 | 30 | 18k| 30 | 10 | 19 | 220k|1600 | 0.000000e+00 | -- | Inf
527.47/527.63 c 528s|320000 | 6590 |606646 | 1.9 | 20M| 27 | 4 | 30 | 16k| 30 | 10 | 19 | 228k|1633 | 0.000000e+00 | -- | Inf
543.27/543.44 c 543s|330000 | 6792 |626373 | 1.9 | 21M| 27 | 4 | 30 | 19k| 30 | 10 | 19 | 235k|1651 | 0.000000e+00 | -- | Inf
566.65/566.82 c 567s|340000 | 6280 |645753 | 1.9 | 20M| 27 | 4 | 30 | 19k| 30 | 10 | 19 | 243k|1671 | 0.000000e+00 | -- | Inf
583.86/584.00 c 584s|350000 | 6006 |664871 | 1.9 | 21M| 27 | - | 30 | 21k| 0 | 0 | 19 | 251k|1697 | 0.000000e+00 | -- | Inf
614.75/614.94 c 615s|360000 | 4945 |683893 | 1.9 | 19M| 27 | - | 30 | 19k| 30 | 10 | 19 | 259k|1729 | 0.000000e+00 | -- | Inf
646.14/646.35 c 646s|370000 | 3632 |703102 | 1.9 | 16M| 27 | - | 30 | 17k| 30 | 10 | 19 | 268k|1752 | 0.000000e+00 | -- | Inf
663.64/663.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
663.64/663.87 c 664s|380000 | 4045 |722019 | 1.9 | 17M| 27 | 4 | 30 | 20k| 30 | 10 | 19 | 275k|1771 | 0.000000e+00 | -- | Inf
682.33/682.51 c 682s|390000 | 4528 |740469 | 1.9 | 18M| 27 | 4 | 30 | 22k| 30 | 10 | 19 | 281k|1793 | 0.000000e+00 | -- | Inf
708.92/709.17 c 709s|400000 | 3605 |758671 | 1.9 | 18M| 27 | 4 | 30 | 23k| 30 | 10 | 19 | 289k|1820 | 0.000000e+00 | -- | Inf
736.02/736.21 c 736s|410000 | 3178 |777855 | 1.9 | 17M| 27 | - | 30 | 23k| 30 | 10 | 19 | 297k|1844 | 0.000000e+00 | -- | Inf
769.81/770.07 c 770s|420000 | 1987 |797291 | 1.9 | 15M| 27 | - | 30 | 21k| 30 | 10 | 19 | 306k|1866 | 0.000000e+00 | -- | Inf
795.60/795.89 c 796s|430000 | 1357 |816484 | 1.9 | 13M| 27 | - | 30 | 21k| 30 | 10 | 19 | 314k|1895 | 0.000000e+00 | -- | Inf
815.00/815.28 c 815s|440000 | 1266 |835987 | 1.9 | 14M| 27 | - | 30 | 23k| 30 | 10 | 19 | 321k|1929 | 0.000000e+00 | -- | Inf
843.49/843.73 c 844s|450000 | 676 |854803 | 1.9 | 12M| 27 | 4 | 30 | 23k| 30 | 10 | 19 | 329k|1957 | 0.000000e+00 | -- | Inf
867.89/868.10 c 868s|460000 | 342 |873762 | 1.9 | 11M| 27 | 4 | 30 | 22k| 30 | 10 | 19 | 337k|1991 | 0.000000e+00 | -- | Inf
889.58/889.86 c 890s|470000 | 168 |892190 | 1.9 | 11M| 27 | 4 | 30 | 23k| 30 | 10 | 19 | 345k|2014 | 0.000000e+00 | -- | Inf
910.68/910.99 c 911s|480000 | 37 |912308 | 1.9 | 12M| 27 | 4 | 30 | 25k| 30 | 10 | 19 | 353k|2015 | 0.000000e+00 | -- | Inf
913.38/913.67 c
913.38/913.67 c SCIP Status : problem is solved [infeasible]
913.38/913.67 c Solving Time (sec) : 913.66
913.38/913.67 c Solving Nodes : 481203
913.38/913.67 c Primal Bound : +1.00000000000000e+20 (0 solutions)
913.38/913.67 c Dual Bound : +1.00000000000000e+20
913.38/913.67 c Gap : 0.00 %
913.38/913.67 s UNSATISFIABLE
913.38/913.67 c SCIP Status : problem is solved [infeasible]
913.38/913.67 c Solving Time : 913.66
913.38/913.67 c Original Problem :
913.38/913.67 c Problem name : HOME/instance-2704561-1278561818.opb
913.38/913.67 c Variables : 31 (31 binary, 0 integer, 0 implicit integer, 0 continuous)
913.38/913.67 c Constraints : 9 initial, 9 maximal
913.38/913.67 c Presolved Problem :
913.38/913.67 c Problem name : t_HOME/instance-2704561-1278561818.opb
913.38/913.67 c Variables : 30 (30 binary, 0 integer, 0 implicit integer, 0 continuous)
913.38/913.67 c Constraints : 4 initial, 25819 maximal
913.38/913.67 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
913.38/913.67 c trivial : 0.00 0 0 0 0 0 0 0 0
913.38/913.67 c dualfix : 0.00 1 0 0 0 0 0 0 0
913.38/913.67 c boundshift : 0.00 0 0 0 0 0 0 0 0
913.38/913.67 c inttobinary : 0.00 0 0 0 0 0 0 0 0
913.38/913.67 c implics : 0.00 0 0 0 0 0 0 0 0
913.38/913.67 c probing : 0.00 0 0 0 0 0 0 0 0
913.38/913.67 c linear : 0.00 0 0 0 0 0 5 0 0
913.38/913.67 c logicor : 0.00 0 0 0 0 0 0 0 0
913.38/913.67 c root node : - 1 - - 1 - - - -
913.38/913.67 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
913.38/913.67 c integral : 0 0 0 261526 0 266 890 0 0 520794
913.38/913.67 c linear : 4+ 7 1283738 0 0 74244 545916 0 0 0
913.38/913.67 c logicor : 0+ 0 661760 0 0 3026 320390 0 0 0
913.38/913.67 c countsols : 0 0 0 0 0 0 0 0 0 0
913.38/913.67 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
913.38/913.67 c integral : 3.66 0.00 0.00 3.66 0.00
913.38/913.67 c linear : 38.60 0.00 38.60 0.00 0.00
913.38/913.67 c logicor : 414.24 0.00 414.24 0.00 0.00
913.38/913.67 c countsols : 0.00 0.00 0.00 0.00 0.00
913.38/913.67 c Propagators : Time Calls Cutoffs DomReds
913.38/913.67 c vbounds : 0.52 2 0 0
913.38/913.67 c rootredcost : 0.53 0 0 0
913.38/913.67 c pseudoobj : 0.40 0 0 0
913.38/913.67 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
913.38/913.67 c propagation : 3.58 77270 60629 192336 20.4 4 16.5 -
913.38/913.67 c infeasible LP : 10.05 175594 175592 343956 13.8 2989 16.6 0
913.38/913.67 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
913.38/913.67 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
913.38/913.67 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
913.38/913.67 c applied globally : - - - 355020 14.0 - - -
913.38/913.67 c applied locally : - - - 0 0.0 - - -
913.38/913.67 c Separators : Time Calls Cutoffs DomReds Cuts Conss
913.38/913.67 c cut pool : 0.00 5 - - 34 - (maximal pool size: 98)
913.38/913.67 c redcost : 0.52 261531 0 0 0 0
913.38/913.67 c impliedbounds : 0.00 6 0 0 0 0
913.38/913.67 c intobj : 0.00 0 0 0 0 0
913.38/913.67 c cgmip : 0.00 0 0 0 0 0
913.38/913.67 c gomory : 0.00 6 0 0 1 0
913.38/913.67 c strongcg : 0.01 6 0 0 46 0
913.38/913.67 c cmir : 0.00 6 0 0 34 0
913.38/913.67 c flowcover : 0.01 6 0 0 38 0
913.38/913.67 c clique : 0.00 1 0 0 0 0
913.38/913.67 c zerohalf : 0.00 0 0 0 0 0
913.38/913.67 c mcf : 0.00 1 0 0 0 0
913.38/913.67 c rapidlearning : 0.06 1 0 0 0 61
913.38/913.67 c Pricers : Time Calls Vars
913.38/913.67 c problem variables: 0.00 0 0
913.38/913.67 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
913.38/913.67 c relpscost : 3.33 261526 266 890 0 0 520794
913.38/913.67 c pscost : 0.00 0 0 0 0 0 0
913.38/913.67 c inference : 0.00 0 0 0 0 0 0
913.38/913.67 c mostinf : 0.00 0 0 0 0 0 0
913.38/913.67 c leastinf : 0.00 0 0 0 0 0 0
913.38/913.67 c fullstrong : 0.00 0 0 0 0 0 0
913.38/913.67 c allfullstrong : 0.00 0 0 0 0 0 0
913.38/913.67 c random : 0.00 0 0 0 0 0 0
913.38/913.67 c Primal Heuristics : Time Calls Found
913.38/913.67 c LP solutions : 0.00 - 0
913.38/913.67 c pseudo solutions : 0.00 - 0
913.38/913.67 c oneopt : 0.32 0 0
913.38/913.67 c crossover : 0.19 0 0
913.38/913.67 c guideddiving : 0.04 0 0
913.38/913.67 c linesearchdiving : 0.06 47 0
913.38/913.67 c coefdiving : 0.08 47 0
913.38/913.67 c pscostdiving : 0.06 47 0
913.38/913.67 c fracdiving : 0.08 47 0
913.38/913.67 c veclendiving : 0.07 47 0
913.38/913.67 c objpscostdiving : 0.05 24 0
913.38/913.67 c rootsoldiving : 0.05 24 0
913.38/913.67 c feaspump : 0.05 25 0
913.38/913.67 c trivial : 0.00 2 0
913.38/913.67 c simplerounding : 0.14 0 0
913.38/913.67 c zirounding : 0.18 1000 0
913.38/913.67 c rounding : 0.31 7196 0
913.38/913.67 c shifting : 0.92 2649 0
913.38/913.67 c intshifting : 0.02 0 0
913.38/913.67 c twoopt : 0.00 0 0
913.38/913.67 c fixandinfer : 0.00 0 0
913.38/913.67 c intdiving : 0.00 0 0
913.38/913.67 c actconsdiving : 0.00 0 0
913.38/913.67 c octane : 0.00 0 0
913.38/913.67 c rens : 0.02 1 0
913.38/913.67 c rins : 0.00 0 0
913.38/913.67 c localbranching : 0.00 0 0
913.38/913.67 c mutation : 0.00 0 0
913.38/913.67 c dins : 0.00 0 0
913.38/913.67 c undercover : 0.00 0 0
913.38/913.67 c nlp : 0.17 0 0
913.38/913.67 c trysol : 0.25 0 0
913.38/913.67 c LP : Time Calls Iterations Iter/call Iter/sec
913.38/913.67 c primal LP : 0.00 0 0 0.00 -
913.38/913.67 c dual LP : 38.29 419995 914136 2.18 23871.62
913.38/913.67 c lex dual LP : 0.00 0 0 0.00 -
913.38/913.67 c barrier LP : 0.00 0 0 0.00 -
913.38/913.67 c diving/probing LP: 0.03 357 513 1.44 14657.14
913.38/913.67 c strong branching : 0.30 2015 6631 3.29 22326.90
913.38/913.67 c (at root node) : - 9 182 20.22 -
913.38/913.67 c conflict analysis: 0.00 0 0 0.00 -
913.38/913.67 c B&B Tree :
913.38/913.67 c number of runs : 1
913.38/913.67 c nodes : 481203
913.38/913.67 c nodes (total) : 481203
913.38/913.67 c nodes left : 0
913.38/913.67 c max depth : 27
913.38/913.67 c max depth (total): 27
913.38/913.67 c backtracks : 140136 (29.1%)
913.38/913.67 c delayed cutoffs : 39592
913.38/913.67 c repropagations : 478941 (457095 domain reductions, 31758 cutoffs)
913.38/913.67 c avg switch length: 6.29
913.38/913.67 c switching time : 271.74
913.38/913.67 c Solution :
913.38/913.67 c Solutions found : 0 (0 improvements)
913.38/913.67 c Primal Bound : infeasible
913.38/913.67 c Dual Bound : -
913.38/913.67 c Gap : 0.00 %
913.38/913.67 c Root Dual Bound : +0.00000000000000e+00
913.38/913.67 c Root Iterations : 91
913.47/913.74 c Time complete: 913.51.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2704561-1278561818/watcher-2704561-1278561818 -o /tmp/evaluation-result-2704561-1278561818/solver-2704561-1278561818 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704561-1278561818.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: 1.00 1.00 1.00 3/106 30707
/proc/meminfo: memFree=1761664/2059040 swapFree=4139820/4192956
[pid=30707] ppid=30705 vsize=7904 CPUtime=0
/proc/30707/stat : 30707 (pbscip.linux.x8) R 30705 30707 30682 0 -1 4202496 1069 0 0 0 0 0 0 0 18 0 1 0 24388224 8093696 980 1992294400 4194304 8395647 140737124519840 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30707/statm: 1976 987 365 1026 0 946 0
[startup+0.057657 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30707
/proc/meminfo: memFree=1761664/2059040 swapFree=4139820/4192956
[pid=30707] ppid=30705 vsize=21588 CPUtime=0.05
/proc/30707/stat : 30707 (pbscip.linux.x8) R 30705 30707 30682 0 -1 4202496 4601 0 0 0 4 1 0 0 20 0 1 0 24388224 22106112 4159 1992294400 4194304 8395647 140737124519840 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30707/statm: 5397 4159 599 1026 0 4367 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 21588
[startup+0.101662 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30707
/proc/meminfo: memFree=1761664/2059040 swapFree=4139820/4192956
[pid=30707] ppid=30705 vsize=21856 CPUtime=0.09
/proc/30707/stat : 30707 (pbscip.linux.x8) R 30705 30707 30682 0 -1 4202496 4708 0 0 0 8 1 0 0 20 0 1 0 24388224 22380544 4266 1992294400 4194304 8395647 140737124519840 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30707/statm: 5464 4266 608 1026 0 4434 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21856
[startup+0.301679 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30707
/proc/meminfo: memFree=1761664/2059040 swapFree=4139820/4192956
[pid=30707] ppid=30705 vsize=22988 CPUtime=0.29
/proc/30707/stat : 30707 (pbscip.linux.x8) R 30705 30707 30682 0 -1 4202496 5304 0 0 0 26 3 0 0 20 0 1 0 24388224 23539712 4862 1992294400 4194304 8395647 140737124519840 18446744073709551615 4705112 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30707/statm: 5747 4862 632 1026 0 4717 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22988
[startup+0.701714 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30707
/proc/meminfo: memFree=1761664/2059040 swapFree=4139820/4192956
[pid=30707] ppid=30705 vsize=22988 CPUtime=0.69
/proc/30707/stat : 30707 (pbscip.linux.x8) R 30705 30707 30682 0 -1 4202496 5307 0 0 0 64 5 0 0 20 0 1 0 24388224 23539712 4865 1992294400 4194304 8395647 140737124519840 18446744073709551615 4995741 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30707/statm: 5747 4865 632 1026 0 4717 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22988
[startup+1.50179 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30708
/proc/meminfo: memFree=1744668/2059040 swapFree=4139820/4192956
[pid=30707] ppid=30705 vsize=22988 CPUtime=1.49
/proc/30707/stat : 30707 (pbscip.linux.x8) R 30705 30707 30682 0 -1 4202496 5309 0 0 0 142 7 0 0 23 0 1 0 24388224 23539712 4867 1992294400 4194304 8395647 140737124519840 18446744073709551615 4217057 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30707/statm: 5747 4867 632 1026 0 4717 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22988
[startup+3.10193 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30708
/proc/meminfo: memFree=1744420/2059040 swapFree=4139820/4192956
[pid=30707] ppid=30705 vsize=22988 CPUtime=3.09
/proc/30707/stat : 30707 (pbscip.linux.x8) R 30705 30707 30682 0 -1 4202496 5312 0 0 0 298 11 0 0 25 0 1 0 24388224 23539712 4870 1992294400 4194304 8395647 140737124519840 18446744073709551615 5026706 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30707/statm: 5747 4870 632 1026 0 4717 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22988
[startup+6.30121 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30708
/proc/meminfo: memFree=1743924/2059040 swapFree=4139820/4192956
[pid=30707] ppid=30705 vsize=22988 CPUtime=6.29
/proc/30707/stat : 30707 (pbscip.linux.x8) R 30705 30707 30682 0 -1 4202496 5317 0 0 0 613 16 0 0 25 0 1 0 24388224 23539712 4875 1992294400 4194304 8395647 140737124519840 18446744073709551615 6068915 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30707/statm: 5747 4875 632 1026 0 4717 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22988
[startup+12.7008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30708
/proc/meminfo: memFree=1743924/2059040 swapFree=4139820/4192956
[pid=30707] ppid=30705 vsize=22988 CPUtime=12.69
/proc/30707/stat : 30707 (pbscip.linux.x8) R 30705 30707 30682 0 -1 4202496 5323 0 0 0 1241 28 0 0 25 0 1 0 24388224 23539712 4881 1992294400 4194304 8395647 140737124519840 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30707/statm: 5747 4881 632 1026 0 4717 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22988
[startup+25.5009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30708
/proc/meminfo: memFree=1740204/2059040 swapFree=4139820/4192956
[pid=30707] ppid=30705 vsize=27236 CPUtime=25.49
/proc/30707/stat : 30707 (pbscip.linux.x8) R 30705 30707 30682 0 -1 4202496 6304 0 0 0 2499 50 0 0 25 0 1 0 24388224 27889664 5862 1992294400 4194304 8395647 140737124519840 18446744073709551615 5026819 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30707/statm: 6809 5862 632 1026 0 5779 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27236
[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30708
/proc/meminfo: memFree=1737600/2059040 swapFree=4139820/4192956
[pid=30707] ppid=30705 vsize=30172 CPUtime=51.08
/proc/30707/stat : 30707 (pbscip.linux.x8) R 30705 30707 30682 0 -1 4202496 6972 0 0 0 5032 76 0 0 25 0 1 0 24388224 30896128 6530 1992294400 4194304 8395647 140737124519840 18446744073709551615 5085356 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30707/statm: 7543 6530 632 1026 0 6513 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 30172
[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30710
/proc/meminfo: memFree=1732764/2059040 swapFree=4139820/4192956
[pid=30707] ppid=30705 vsize=35328 CPUtime=102.27
/proc/30707/stat : 30707 (pbscip.linux.x8) R 30705 30707 30682 0 -1 4202496 8180 0 0 0 10104 123 0 0 25 0 1 0 24388224 36175872 7738 1992294400 4194304 8395647 140737124519840 18446744073709551615 5085356 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30707/statm: 8832 7738 632 1026 0 7802 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 35328
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30712
/proc/meminfo: memFree=1726564/2059040 swapFree=4139820/4192956
[pid=30707] ppid=30705 vsize=41980 CPUtime=162.25
/proc/30707/stat : 30707 (pbscip.linux.x8) R 30705 30707 30682 0 -1 4202496 9711 0 0 0 16051 174 0 0 25 0 1 0 24388224 42987520 9269 1992294400 4194304 8395647 140737124519840 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30707/statm: 10495 9269 632 1026 0 9465 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 41980
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30714
/proc/meminfo: memFree=1726068/2059040 swapFree=4139820/4192956
[pid=30707] ppid=30705 vsize=42904 CPUtime=222.24
/proc/30707/stat : 30707 (pbscip.linux.x8) R 30705 30707 30682 0 -1 4202496 9857 0 0 0 22009 215 0 0 25 0 1 0 24388224 43933696 9415 1992294400 4194304 8395647 140737124519840 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30707/statm: 10726 9415 632 1026 0 9696 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 42904
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30716
/proc/meminfo: memFree=1724456/2059040 swapFree=4139820/4192956
[pid=30707] ppid=30705 vsize=44340 CPUtime=282.22
/proc/30707/stat : 30707 (pbscip.linux.x8) R 30705 30707 30682 0 -1 4202496 10254 0 0 0 27969 253 0 0 25 0 1 0 24388224 45404160 9812 1992294400 4194304 8395647 140737124519840 18446744073709551615 6064865 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30707/statm: 11085 9812 632 1026 0 10055 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 44340
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30716
/proc/meminfo: memFree=1724332/2059040 swapFree=4139820/4192956
[pid=30707] ppid=30705 vsize=44340 CPUtime=342.21
/proc/30707/stat : 30707 (pbscip.linux.x8) R 30705 30707 30682 0 -1 4202496 10264 0 0 0 33933 288 0 0 25 0 1 0 24388224 45404160 9822 1992294400 4194304 8395647 140737124519840 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30707/statm: 11085 9822 632 1026 0 10055 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 44340
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30718
/proc/meminfo: memFree=1722348/2059040 swapFree=4139820/4192956
[pid=30707] ppid=30705 vsize=46656 CPUtime=402.2
/proc/30707/stat : 30707 (pbscip.linux.x8) R 30705 30707 30682 0 -1 4202496 10754 0 0 0 39894 326 0 0 25 0 1 0 24388224 47775744 10312 1992294400 4194304 8395647 140737124519840 18446744073709551615 4217951 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30707/statm: 11664 10312 632 1026 0 10634 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 46656
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30720
/proc/meminfo: memFree=1719124/2059040 swapFree=4139820/4192956
[pid=30707] ppid=30705 vsize=49880 CPUtime=462.18
/proc/30707/stat : 30707 (pbscip.linux.x8) R 30705 30707 30682 0 -1 4202496 11537 0 0 0 45859 359 0 0 25 0 1 0 24388224 51077120 11095 1992294400 4194304 8395647 140737124519840 18446744073709551615 4216931 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30707/statm: 12470 11095 632 1026 0 11440 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 49880
[startup+522.302 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 30722
/proc/meminfo: memFree=1719124/2059040 swapFree=4139820/4192956
[pid=30707] ppid=30705 vsize=49880 CPUtime=522.16
/proc/30707/stat : 30707 (pbscip.linux.x8) R 30705 30707 30682 0 -1 4202496 11537 0 0 0 51833 383 0 0 25 0 1 0 24388224 51077120 11095 1992294400 4194304 8395647 140737124519840 18446744073709551615 5085356 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30707/statm: 12470 11095 632 1026 0 11440 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 49880
[startup+582.301 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 30724
/proc/meminfo: memFree=1719000/2059040 swapFree=4139820/4192956
[pid=30707] ppid=30705 vsize=49880 CPUtime=582.15
/proc/30707/stat : 30707 (pbscip.linux.x8) R 30705 30707 30682 0 -1 4202496 11537 0 0 0 57792 423 0 0 25 0 1 0 24388224 51077120 11095 1992294400 4194304 8395647 140737124519840 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30707/statm: 12470 11095 632 1026 0 11440 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 49880
[startup+642.301 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 30724
/proc/meminfo: memFree=1718628/2059040 swapFree=4139820/4192956
[pid=30707] ppid=30705 vsize=49880 CPUtime=642.15
/proc/30707/stat : 30707 (pbscip.linux.x8) R 30705 30707 30682 0 -1 4202496 11590 0 0 0 63763 452 0 0 25 0 1 0 24388224 51077120 11148 1992294400 4194304 8395647 140737124519840 18446744073709551615 4230937 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30707/statm: 12470 11148 632 1026 0 11440 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 49880
[startup+702.302 s]
/proc/loadavg: 1.07 1.04 1.00 2/107 30726
/proc/meminfo: memFree=1718504/2059040 swapFree=4139820/4192956
[pid=30707] ppid=30705 vsize=49880 CPUtime=702.13
/proc/30707/stat : 30707 (pbscip.linux.x8) R 30705 30707 30682 0 -1 4202496 11590 0 0 0 69729 484 0 0 25 0 1 0 24388224 51077120 11148 1992294400 4194304 8395647 140737124519840 18446744073709551615 4212683 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30707/statm: 12470 11148 632 1026 0 11440 0
Current children cumulated CPU time (s) 702.13
Current children cumulated vsize (KiB) 49880
[startup+762.309 s]
/proc/loadavg: 1.06 1.04 1.00 2/107 30728
/proc/meminfo: memFree=1718132/2059040 swapFree=4139820/4192956
[pid=30707] ppid=30705 vsize=50864 CPUtime=762.11
/proc/30707/stat : 30707 (pbscip.linux.x8) R 30705 30707 30682 0 -1 4202496 11681 0 0 0 75701 510 0 0 25 0 1 0 24388224 52084736 11239 1992294400 4194304 8395647 140737124519840 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30707/statm: 12716 11239 632 1026 0 11686 0
Current children cumulated CPU time (s) 762.11
Current children cumulated vsize (KiB) 50864
[startup+822.301 s]
/proc/loadavg: 1.02 1.03 1.00 3/107 30730
/proc/meminfo: memFree=1718132/2059040 swapFree=4139820/4192956
[pid=30707] ppid=30705 vsize=50864 CPUtime=822.09
/proc/30707/stat : 30707 (pbscip.linux.x8) R 30705 30707 30682 0 -1 4202496 11681 0 0 0 81668 541 0 0 25 0 1 0 24388224 52084736 11239 1992294400 4194304 8395647 140737124519840 18446744073709551615 6066413 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30707/statm: 12716 11239 632 1026 0 11686 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 50864
[startup+882.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 30732
/proc/meminfo: memFree=1717884/2059040 swapFree=4139820/4192956
[pid=30707] ppid=30705 vsize=51456 CPUtime=882.08
/proc/30707/stat : 30707 (pbscip.linux.x8) R 30705 30707 30682 0 -1 4202496 11756 0 0 0 87637 571 0 0 25 0 1 0 24388224 52690944 11314 1992294400 4194304 8395647 140737124519840 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30707/statm: 12864 11314 632 1026 0 11834 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 51456
Solver just ended. Dumping a history of the last processes samples
[startup+895.901 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 30732
/proc/meminfo: memFree=1717884/2059040 swapFree=4139820/4192956
[pid=30707] ppid=30705 vsize=51456 CPUtime=895.67
/proc/30707/stat : 30707 (pbscip.linux.x8) R 30705 30707 30682 0 -1 4202496 11756 0 0 0 88989 578 0 0 25 0 1 0 24388224 52690944 11314 1992294400 4194304 8395647 140737124519840 18446744073709551615 4216936 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30707/statm: 12864 11314 632 1026 0 11834 0
Current children cumulated CPU time (s) 895.67
Current children cumulated vsize (KiB) 51456
[startup+902.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 30732
/proc/meminfo: memFree=1717884/2059040 swapFree=4139820/4192956
[pid=30707] ppid=30705 vsize=51456 CPUtime=902.07
/proc/30707/stat : 30707 (pbscip.linux.x8) R 30705 30707 30682 0 -1 4202496 11756 0 0 0 89625 582 0 0 25 0 1 0 24388224 52690944 11314 1992294400 4194304 8395647 140737124519840 18446744073709551615 5085356 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30707/statm: 12864 11314 632 1026 0 11834 0
Current children cumulated CPU time (s) 902.07
Current children cumulated vsize (KiB) 51456
[startup+908.702 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 30732
/proc/meminfo: memFree=1717884/2059040 swapFree=4139820/4192956
[pid=30707] ppid=30705 vsize=51456 CPUtime=908.47
/proc/30707/stat : 30707 (pbscip.linux.x8) R 30705 30707 30682 0 -1 4202496 11756 0 0 0 90261 586 0 0 25 0 1 0 24388224 52690944 11314 1992294400 4194304 8395647 140737124519840 18446744073709551615 4218227 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30707/statm: 12864 11314 632 1026 0 11834 0
Current children cumulated CPU time (s) 908.47
Current children cumulated vsize (KiB) 51456
[startup+911.908 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 30732
/proc/meminfo: memFree=1717760/2059040 swapFree=4139820/4192956
[pid=30707] ppid=30705 vsize=51456 CPUtime=911.68
/proc/30707/stat : 30707 (pbscip.linux.x8) R 30705 30707 30682 0 -1 4202496 11756 0 0 0 90580 588 0 0 25 0 1 0 24388224 52690944 11314 1992294400 4194304 8395647 140737124519840 18446744073709551615 4216936 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30707/statm: 12864 11314 632 1026 0 11834 0
Current children cumulated CPU time (s) 911.68
Current children cumulated vsize (KiB) 51456
[startup+912.701 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 30732
/proc/meminfo: memFree=1717760/2059040 swapFree=4139820/4192956
[pid=30707] ppid=30705 vsize=51456 CPUtime=912.48
/proc/30707/stat : 30707 (pbscip.linux.x8) R 30705 30707 30682 0 -1 4202496 11756 0 0 0 90659 589 0 0 25 0 1 0 24388224 52690944 11314 1992294400 4194304 8395647 140737124519840 18446744073709551615 5032016 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30707/statm: 12864 11314 632 1026 0 11834 0
Current children cumulated CPU time (s) 912.48
Current children cumulated vsize (KiB) 51456
[startup+913.501 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 30732
/proc/meminfo: memFree=1717760/2059040 swapFree=4139820/4192956
[pid=30707] ppid=30705 vsize=51456 CPUtime=913.28
/proc/30707/stat : 30707 (pbscip.linux.x8) R 30705 30707 30682 0 -1 4202496 11756 0 0 0 90739 589 0 0 25 0 1 0 24388224 52690944 11314 1992294400 4194304 8395647 140737124519840 18446744073709551615 5085412 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30707/statm: 12864 11314 632 1026 0 11834 0
Current children cumulated CPU time (s) 913.28
Current children cumulated vsize (KiB) 51456
[startup+913.701 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 30732
/proc/meminfo: memFree=1717760/2059040 swapFree=4139820/4192956
[pid=30707] ppid=30705 vsize=51456 CPUtime=913.47
/proc/30707/stat : 30707 (pbscip.linux.x8) R 30705 30707 30682 0 -1 4202496 11758 0 0 0 90758 589 0 0 25 0 1 0 24388224 52690944 11316 1992294400 4194304 8395647 140737124519840 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30707/statm: 12864 11316 634 1026 0 11834 0
Current children cumulated CPU time (s) 913.47
Current children cumulated vsize (KiB) 51456
Child status: 0
Real time (s): 913.743
CPU time (s): 913.524
CPU user time (s): 907.626
CPU system time (s): 5.8981
CPU usage (%): 99.9761
Max. virtual memory (cumulated for all children) (KiB): 51456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 907.626
system time used= 5.8981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11761
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= 2369
runsolver used 1.42778 second user time and 4.40033 second system time
The end