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-2667659-1276602020.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.02 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.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 | 16 | - | 192k| 0 | 4 | 30 | 4 | 30 | 4 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.09 c 0.1s| 1 | 0 | 67 | - | 320k| 0 | 8 | 30 | 66 | 30 | 9 | 5 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.09 c 0.1s| 1 | 0 | 72 | - | 337k| 0 | 8 | 30 | 66 | 30 | 13 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.10 c 0.1s| 1 | 0 | 78 | - | 356k| 0 | 12 | 30 | 66 | 30 | 17 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.10 c 0.1s| 1 | 0 | 86 | - | 372k| 0 | 14 | 30 | 66 | 30 | 22 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 c 0.1s| 1 | 0 | 103 | - | 387k| 0 | 14 | 30 | 66 | 30 | 27 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.12 c 0.1s| 1 | 0 | 105 | - | 394k| 0 | 15 | 30 | 66 | 30 | 30 | 26 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 c 0.1s| 1 | 2 | 105 | - | 395k| 0 | 15 | 30 | 66 | 30 | 30 | 26 | 0 | 9 | 0.000000e+00 | -- | Inf
3.78/3.82 c 3.5s| 10000 | 2071 | 16416 | 1.6 |2543k| 24 | 4 | 30 |2503 | 30 | 15 | 26 |2717 | 343 | 0.000000e+00 | -- | Inf
8.59/8.61 c 7.9s| 20000 | 3265 | 32099 | 1.6 |3742k| 24 | 4 | 30 |3157 | 30 | 15 | 26 |5771 | 505 | 0.000000e+00 | -- | Inf
13.39/13.44 c 12.4s| 30000 | 3856 | 47651 | 1.6 |4322k| 24 | - | 30 |3149 | 0 | 0 | 26 |9129 | 633 | 0.000000e+00 | -- | Inf
18.59/18.62 c 17.2s| 40000 | 4072 | 62883 | 1.6 |4787k| 24 | 4 | 30 |3392 | 30 | 15 | 26 | 12k| 731 | 0.000000e+00 | -- | Inf
23.69/23.77 c 22.0s| 50000 | 4588 | 78507 | 1.6 |5775k| 24 | 4 | 30 |4756 | 30 | 15 | 26 | 16k| 829 | 0.000000e+00 | -- | Inf
29.88/29.95 c 27.9s| 60000 | 4731 | 93621 | 1.6 |6120k| 24 | 4 | 30 |4545 | 30 | 15 | 26 | 19k| 923 | 0.000000e+00 | -- | Inf
35.98/36.04 c 33.7s| 70000 | 4858 |108937 | 1.6 |6677k| 24 | - | 30 |5442 | 0 | 0 | 26 | 23k| 994 | 0.000000e+00 | -- | Inf
43.08/43.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
43.08/43.15 c 40.4s| 80000 | 4552 |124196 | 1.6 |6578k| 24 | - | 30 |4987 | 0 | 0 | 26 | 26k|1063 | 0.000000e+00 | -- | Inf
48.87/48.96 c 45.9s| 90000 | 5045 |139602 | 1.5 |7342k| 24 | 4 | 30 |6041 | 30 | 15 | 26 | 30k|1141 | 0.000000e+00 | -- | Inf
56.67/56.79 c 53.4s|100000 | 4527 |154592 | 1.5 |7156k| 24 | - | 30 |5673 | 0 | 0 | 26 | 33k|1219 | 0.000000e+00 | -- | Inf
64.57/64.66 c 60.9s|110000 | 3928 |169539 | 1.5 |6899k| 24 | 4 | 30 |5705 | 30 | 15 | 26 | 37k|1270 | 0.000000e+00 | -- | Inf
71.38/71.49 c 67.4s|120000 | 3892 |184317 | 1.5 |7073k| 24 | - | 30 |6233 | 0 | 0 | 26 | 40k|1333 | 0.000000e+00 | -- | Inf
78.97/79.08 c 74.7s|130000 | 3699 |199181 | 1.5 |7206k| 24 | - | 30 |6537 | 0 | 0 | 26 | 44k|1381 | 0.000000e+00 | -- | Inf
86.66/86.75 c 82.0s|140000 | 3406 |214077 | 1.5 |7120k| 25 | 4 | 30 |6477 | 30 | 15 | 26 | 47k|1440 | 0.000000e+00 | -- | Inf
93.37/93.47 c 88.3s|150000 | 3908 |228948 | 1.5 |7647k| 25 | - | 30 |7159 | 0 | 0 | 26 | 50k|1490 | 0.000000e+00 | -- | Inf
100.86/100.90 c 95.4s|160000 | 3673 |243653 | 1.5 |8015k| 25 | - | 30 |8312 | 0 | 0 | 26 | 53k|1551 | 0.000000e+00 | -- | Inf
109.45/109.59 c 104s|170000 | 3699 |258436 | 1.5 |7917k| 25 | 4 | 30 |7312 | 30 | 15 | 26 | 57k|1591 | 0.000000e+00 | -- | Inf
117.95/118.01 c 112s|180000 | 3312 |272693 | 1.5 |7875k| 25 | 4 | 30 |7732 | 30 | 15 | 26 | 60k|1639 | 0.000000e+00 | -- | Inf
126.75/126.81 c 120s|190000 | 3167 |288653 | 1.5 |7620k| 25 | - | 30 |7412 | 30 | 15 | 26 | 64k|1692 | 0.000000e+00 | -- | Inf
135.55/135.60 c 129s|200000 | 2796 |304334 | 1.5 |7801k| 25 | - | 30 |8468 | 0 | 0 | 26 | 68k|1743 | 0.000000e+00 | -- | Inf
145.95/146.09 c 139s|210000 | 1982 |318944 | 1.5 |6584k| 25 | 4 | 30 |6971 | 30 | 15 | 26 | 72k|1788 | 0.000000e+00 | -- | Inf
154.55/154.62 c 147s|220000 | 1598 |334423 | 1.5 |6192k| 25 | - | 30 |7034 | 0 | 0 | 26 | 76k|1836 | 0.000000e+00 | -- | Inf
162.25/162.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
162.25/162.37 c 154s|230000 | 1484 |349003 | 1.5 |6232k| 25 | - | 30 |7455 | 30 | 15 | 26 | 79k|1878 | 0.000000e+00 | -- | Inf
170.64/170.78 c 163s|240000 | 1353 |364157 | 1.5 |6348k| 25 | 4 | 30 |8331 | 30 | 15 | 26 | 83k|1920 | 0.000000e+00 | -- | Inf
179.34/179.41 c 171s|250000 | 1253 |379237 | 1.5 |6051k| 25 | 4 | 30 |8225 | 30 | 15 | 26 | 86k|1965 | 0.000000e+00 | -- | Inf
188.23/188.39 c 180s|260000 | 957 |394208 | 1.5 |6198k| 25 | - | 30 |9279 | 0 | 0 | 26 | 90k|2005 | 0.000000e+00 | -- | Inf
199.13/199.21 c 190s|270000 | 222 |409798 | 1.5 |4464k| 25 | - | 30 |7420 | 30 | 15 | 26 | 94k|2048 | 0.000000e+00 | -- | Inf
207.74/207.84 c 198s|280000 | 352 |426068 | 1.5 |4685k| 25 | - | 30 |8131 | 30 | 15 | 26 | 98k|2088 | 0.000000e+00 | -- | Inf
216.64/216.73 c 207s|290000 | 181 |441028 | 1.5 |5057k| 25 | 4 | 30 |9470 | 30 | 15 | 26 | 102k|2125 | 0.000000e+00 | -- | Inf
225.93/226.09 c 216s|300000 | 305 |457276 | 1.5 |5160k| 25 | - | 30 | 10k| 30 | 15 | 26 | 107k|2157 | 0.000000e+00 | -- | Inf
237.92/238.05 c 227s|310000 | 348 |474943 | 1.5 |5893k| 25 | 4 | 30 | 12k| 30 | 15 | 26 | 114k|2201 | 0.000000e+00 | -- | Inf
252.32/252.45 c 241s|320000 | 57 |492557 | 1.5 |6059k| 25 | - | 30 | 13k| 30 | 15 | 26 | 122k|2240 | 0.000000e+00 | -- | Inf
267.41/267.57 c 256s|330000 | 97 |510790 | 1.5 |6896k| 25 | - | 30 | 15k| 0 | 0 | 26 | 129k|2278 | 0.000000e+00 | -- | Inf
275.71/275.82 c
275.71/275.82 c SCIP Status : problem is solved [infeasible]
275.71/275.82 c Solving Time (sec) : 264.05
275.71/275.82 c Solving Nodes : 334646
275.71/275.82 c Primal Bound : +1.00000000000000e+20 (0 solutions)
275.71/275.82 c Dual Bound : +1.00000000000000e+20
275.71/275.82 c Gap : 0.00 %
275.71/275.82 s UNSATISFIABLE
275.71/275.82 c SCIP Status : problem is solved [infeasible]
275.71/275.82 c Solving Time : 264.05
275.71/275.82 c Original Problem :
275.71/275.82 c Problem name : HOME/instance-2667659-1276602020.opb
275.71/275.82 c Variables : 31 (31 binary, 0 integer, 0 implicit integer, 0 continuous)
275.71/275.82 c Constraints : 9 initial, 9 maximal
275.71/275.82 c Presolved Problem :
275.71/275.82 c Problem name : t_HOME/instance-2667659-1276602020.opb
275.71/275.82 c Variables : 30 (30 binary, 0 integer, 0 implicit integer, 0 continuous)
275.71/275.82 c Constraints : 4 initial, 16778 maximal
275.71/275.82 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
275.71/275.82 c trivial : 0.00 0 0 0 0 0 0 0 0
275.71/275.82 c dualfix : 0.00 1 0 0 0 0 0 0 0
275.71/275.82 c boundshift : 0.00 0 0 0 0 0 0 0 0
275.71/275.82 c inttobinary : 0.00 0 0 0 0 0 0 0 0
275.71/275.82 c implics : 0.00 0 0 0 0 0 0 0 0
275.71/275.82 c probing : 0.01 0 0 0 0 0 0 0 0
275.71/275.82 c linear : 0.00 0 0 0 0 0 5 0 0
275.71/275.82 c logicor : 0.00 0 0 0 0 0 0 0 0
275.71/275.82 c root node : - 2 - - 2 - - - -
275.71/275.82 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
275.71/275.82 c integral : 0 0 0 185086 0 149 851 0 0 368454
275.71/275.82 c linear : 4+ 7 746375 0 0 127102 920644 0 0 0
275.71/275.82 c logicor : 0+ 0 371147 0 0 2957 116898 0 0 0
275.71/275.82 c countsols : 0 0 0 0 0 0 0 0 0 0
275.71/275.82 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
275.71/275.82 c integral : 2.63 0.00 0.00 2.63 0.00
275.71/275.82 c linear : 30.85 0.00 30.85 0.00 0.00
275.71/275.82 c logicor : 90.22 0.00 90.22 0.00 0.00
275.71/275.82 c countsols : 0.00 0.00 0.00 0.00 0.00
275.71/275.82 c Propagators : Time Calls Cutoffs DomReds
275.71/275.82 c vbounds : 0.36 2 0 0
275.71/275.82 c rootredcost : 0.39 0 0 0
275.71/275.82 c pseudoobj : 0.35 0 0 0
275.71/275.82 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
275.71/275.82 c propagation : 5.08 130059 56289 155881 18.5 8 15.8 -
275.71/275.82 c infeasible LP : 2.82 52940 52939 88968 12.7 754 17.1 0
275.71/275.82 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
275.71/275.82 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
275.71/275.82 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
275.71/275.82 c applied globally : - - - 133375 14.0 - - -
275.71/275.82 c applied locally : - - - 0 0.0 - - -
275.71/275.82 c Separators : Time Calls Cutoffs DomReds Cuts Conss
275.71/275.82 c cut pool : 0.00 5 - - 19 - (maximal pool size: 93)
275.71/275.82 c redcost : 0.31 185089 0 0 0 0
275.71/275.82 c impliedbounds : 0.00 6 0 0 0 0
275.71/275.82 c intobj : 0.00 0 0 0 0 0
275.71/275.82 c cgmip : 0.00 0 0 0 0 0
275.71/275.82 c gomory : 0.00 6 0 0 1 0
275.71/275.82 c strongcg : 0.00 6 0 0 12 0
275.71/275.82 c cmir : 0.02 6 0 0 39 0
275.71/275.82 c flowcover : 0.00 6 0 0 56 0
275.71/275.82 c clique : 0.00 1 0 0 0 0
275.71/275.82 c zerohalf : 0.00 0 0 0 0 0
275.71/275.82 c mcf : 0.00 1 0 0 0 0
275.71/275.82 c rapidlearning : 0.05 1 0 0 0 62
275.71/275.82 c Pricers : Time Calls Vars
275.71/275.82 c problem variables: 0.00 0 0
275.71/275.82 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
275.71/275.82 c relpscost : 2.31 185086 149 851 0 0 368454
275.71/275.82 c pscost : 0.00 0 0 0 0 0 0
275.71/275.82 c inference : 0.00 0 0 0 0 0 0
275.71/275.82 c mostinf : 0.00 0 0 0 0 0 0
275.71/275.82 c leastinf : 0.00 0 0 0 0 0 0
275.71/275.82 c fullstrong : 0.00 0 0 0 0 0 0
275.71/275.82 c allfullstrong : 0.00 0 0 0 0 0 0
275.71/275.82 c random : 0.00 0 0 0 0 0 0
275.71/275.82 c Primal Heuristics : Time Calls Found
275.71/275.82 c LP solutions : 0.00 - 0
275.71/275.82 c pseudo solutions : 0.00 - 0
275.71/275.82 c oneopt : 0.33 0 0
275.71/275.82 c crossover : 0.24 0 0
275.71/275.82 c guideddiving : 0.05 0 0
275.71/275.82 c veclendiving : 0.03 29 0
275.71/275.82 c coefdiving : 0.07 30 0
275.71/275.82 c pscostdiving : 0.01 30 0
275.71/275.82 c fracdiving : 0.02 30 0
275.71/275.82 c linesearchdiving : 0.07 30 0
275.71/275.82 c feaspump : 0.02 17 0
275.71/275.82 c trivial : 0.00 2 0
275.71/275.82 c simplerounding : 0.10 0 0
275.71/275.82 c zirounding : 0.22 1000 0
275.71/275.82 c rounding : 0.29 6054 0
275.71/275.82 c shifting : 0.81 1936 0
275.71/275.82 c intshifting : 0.00 0 0
275.71/275.82 c twoopt : 0.00 0 0
275.71/275.82 c fixandinfer : 0.00 0 0
275.71/275.82 c intdiving : 0.00 0 0
275.71/275.82 c actconsdiving : 0.00 0 0
275.71/275.82 c objpscostdiving : 0.03 17 0
275.71/275.82 c rootsoldiving : 0.06 15 0
275.71/275.82 c octane : 0.00 0 0
275.71/275.82 c rens : 0.05 1 0
275.71/275.82 c rins : 0.00 0 0
275.71/275.82 c localbranching : 0.00 0 0
275.71/275.82 c mutation : 0.00 0 0
275.71/275.82 c dins : 0.00 0 0
275.71/275.82 c undercover : 0.00 0 0
275.71/275.82 c nlp : 0.29 0 0
275.71/275.82 c trysol : 0.16 0 0
275.71/275.82 c LP : Time Calls Iterations Iter/call Iter/sec
275.71/275.82 c primal LP : 0.00 0 0 0.00 -
275.71/275.82 c dual LP : 18.72 233834 519169 2.22 27733.39
275.71/275.82 c lex dual LP : 0.00 0 0 0.00 -
275.71/275.82 c barrier LP : 0.00 0 0 0.00 -
275.71/275.82 c diving/probing LP: 0.05 236 435 1.84 8700.00
275.71/275.82 c strong branching : 0.33 2300 8433 3.67 25554.55
275.71/275.82 c (at root node) : - 9 375 41.67 -
275.71/275.82 c conflict analysis: 0.00 0 0 0.00 -
275.71/275.82 c B&B Tree :
275.71/275.82 c number of runs : 1
275.71/275.82 c nodes : 334646
275.71/275.82 c nodes (total) : 334646
275.71/275.82 c nodes left : 0
275.71/275.82 c max depth : 25
275.71/275.82 c max depth (total): 25
275.71/275.82 c backtracks : 100188 (29.9%)
275.71/275.82 c delayed cutoffs : 33809
275.71/275.82 c repropagations : 164204 (313887 domain reductions, 32382 cutoffs)
275.71/275.82 c avg switch length: 5.21
275.71/275.82 c switching time : 75.46
275.71/275.82 c Solution :
275.71/275.82 c Solutions found : 0 (0 improvements)
275.71/275.82 c Primal Bound : infeasible
275.71/275.82 c Dual Bound : -
275.71/275.82 c Gap : 0.00 %
275.71/275.82 c Root Dual Bound : +0.00000000000000e+00
275.71/275.82 c Root Iterations : 105
275.71/275.86 c Time complete: 275.77.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667659-1276602020/watcher-2667659-1276602020 -o /tmp/evaluation-result-2667659-1276602020/solver-2667659-1276602020 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667659-1276602020.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.97 0.97 0.99 3/106 9415
/proc/meminfo: memFree=1546924/2059040 swapFree=4192956/4192956
[pid=9415] ppid=9413 vsize=5244 CPUtime=0
/proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9348 0 -1 4202496 597 0 0 0 0 0 0 0 19 0 1 0 1494466 5369856 518 1992294400 4194304 8223781 140734946737056 18446744073709551615 6190728 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9415/statm: 1311 527 330 984 0 324 0
[startup+0.042309 s]
/proc/loadavg: 0.97 0.97 0.99 3/106 9415
/proc/meminfo: memFree=1546924/2059040 swapFree=4192956/4192956
[pid=9415] ppid=9413 vsize=19428 CPUtime=0.03
/proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9348 0 -1 4202496 4839 0 0 0 2 1 0 0 20 0 1 0 1494466 19894272 3612 1992294400 4194304 8223781 140734946737056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9415/statm: 4857 3612 568 984 0 3870 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 19428
[startup+0.101316 s]
/proc/loadavg: 0.97 0.97 0.99 3/106 9415
/proc/meminfo: memFree=1546924/2059040 swapFree=4192956/4192956
[pid=9415] ppid=9413 vsize=13200 CPUtime=0.09
/proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9348 0 -1 4202496 4934 0 0 0 7 2 0 0 20 0 1 0 1494466 13516800 2417 1992294400 4194304 8223781 140734946737056 18446744073709551615 6050694 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9415/statm: 3300 2417 576 984 0 2313 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13200
[startup+0.301338 s]
/proc/loadavg: 0.97 0.97 0.99 3/106 9415
/proc/meminfo: memFree=1546924/2059040 swapFree=4192956/4192956
[pid=9415] ppid=9413 vsize=13300 CPUtime=0.29
/proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9348 0 -1 4202496 7876 0 0 0 25 4 0 0 20 0 1 0 1494466 13619200 2470 1992294400 4194304 8223781 140734946737056 18446744073709551615 4926002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9415/statm: 3325 2470 588 984 0 2338 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13300
[startup+0.701383 s]
/proc/loadavg: 0.97 0.97 0.99 3/106 9415
/proc/meminfo: memFree=1546924/2059040 swapFree=4192956/4192956
[pid=9415] ppid=9413 vsize=13436 CPUtime=0.69
/proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9348 0 -1 4202496 7881 0 0 0 61 8 0 0 20 0 1 0 1494466 13758464 2475 1992294400 4194304 8223781 140734946737056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9415/statm: 3359 2475 588 984 0 2372 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13436
[startup+1.50147 s]
/proc/loadavg: 0.97 0.97 0.99 2/107 9416
/proc/meminfo: memFree=1538732/2059040 swapFree=4192956/4192956
[pid=9415] ppid=9413 vsize=14372 CPUtime=1.49
/proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9348 0 -1 4202496 8131 0 0 0 132 17 0 0 22 0 1 0 1494466 14716928 2725 1992294400 4194304 8223781 140734946737056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9415/statm: 3593 2725 588 984 0 2606 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14372
[startup+3.10065 s]
/proc/loadavg: 0.97 0.97 0.99 2/107 9416
/proc/meminfo: memFree=1537740/2059040 swapFree=4192956/4192956
[pid=9415] ppid=9413 vsize=15960 CPUtime=3.09
/proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9348 0 -1 4202496 8521 0 0 0 279 30 0 0 25 0 1 0 1494466 16343040 3115 1992294400 4194304 8223781 140734946737056 18446744073709551615 4999875 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9415/statm: 3990 3115 588 984 0 3003 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15960
[startup+6.30101 s]
/proc/loadavg: 0.97 0.97 0.99 2/107 9416
/proc/meminfo: memFree=1535508/2059040 swapFree=4192956/4192956
[pid=9415] ppid=9413 vsize=17008 CPUtime=6.28
/proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9348 0 -1 4202496 8780 0 0 0 575 53 0 0 25 0 1 0 1494466 17416192 3374 1992294400 4194304 8223781 140734946737056 18446744073709551615 4208878 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9415/statm: 4252 3374 588 984 0 3265 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 17008
[startup+12.7007 s]
/proc/loadavg: 0.98 0.97 0.99 2/107 9416
/proc/meminfo: memFree=1533524/2059040 swapFree=4192956/4192956
[pid=9415] ppid=9413 vsize=18768 CPUtime=12.69
/proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9348 0 -1 4202496 9202 0 0 0 1171 98 0 0 25 0 1 0 1494466 19218432 3796 1992294400 4194304 8223781 140734946737056 18446744073709551615 4999832 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9415/statm: 4692 3796 588 984 0 3705 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18768
[startup+25.5012 s]
/proc/loadavg: 0.98 0.97 0.99 2/107 9416
/proc/meminfo: memFree=1531044/2059040 swapFree=4192956/4192956
[pid=9415] ppid=9413 vsize=21460 CPUtime=25.48
/proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9348 0 -1 4202496 9857 0 0 0 2366 182 0 0 25 0 1 0 1494466 21975040 4451 1992294400 4194304 8223781 140734946737056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9415/statm: 5365 4451 588 984 0 4378 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21460
[startup+51.101 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 9418
/proc/meminfo: memFree=1529556/2059040 swapFree=4192956/4192956
[pid=9415] ppid=9413 vsize=23296 CPUtime=51.07
/proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9348 0 -1 4202496 10265 0 0 0 4795 312 0 0 25 0 1 0 1494466 23855104 4859 1992294400 4194304 8223781 140734946737056 18446744073709551615 4221241 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9415/statm: 5824 4859 588 984 0 4837 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 23296
[startup+102.309 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 9418
/proc/meminfo: memFree=1527324/2059040 swapFree=4192956/4192956
[pid=9415] ppid=9413 vsize=25280 CPUtime=102.27
/proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9348 0 -1 4202496 10733 0 0 0 9679 548 0 0 25 0 1 0 1494466 25886720 5327 1992294400 4194304 8223781 140734946737056 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9415/statm: 6320 5327 588 984 0 5333 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 25280
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 9420
/proc/meminfo: memFree=1526828/2059040 swapFree=4192956/4192956
[pid=9415] ppid=9413 vsize=25624 CPUtime=162.25
/proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9348 0 -1 4202496 10823 0 0 0 15440 785 0 0 25 0 1 0 1494466 26238976 5417 1992294400 4194304 8223781 140734946737056 18446744073709551615 4993843 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9415/statm: 6406 5417 588 984 0 5419 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 25624
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 9422
/proc/meminfo: memFree=1526580/2059040 swapFree=4192956/4192956
[pid=9415] ppid=9413 vsize=25980 CPUtime=222.22
/proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9348 0 -1 4202496 10893 0 0 0 21216 1006 0 0 25 0 1 0 1494466 26603520 5487 1992294400 4194304 8223781 140734946737056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9415/statm: 6495 5487 588 984 0 5508 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 25980
Solver just ended. Dumping a history of the last processes samples
[startup+230.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 9422
/proc/meminfo: memFree=1526208/2059040 swapFree=4192956/4192956
[pid=9415] ppid=9413 vsize=26228 CPUtime=230.22
/proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9348 0 -1 4202496 10992 0 0 0 21985 1037 0 0 25 0 1 0 1494466 26857472 5586 1992294400 4194304 8223781 140734946737056 18446744073709551615 5004470 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9415/statm: 6557 5586 588 984 0 5570 0
Current children cumulated CPU time (s) 230.22
Current children cumulated vsize (KiB) 26228
[startup+255.901 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 9422
/proc/meminfo: memFree=1525464/2059040 swapFree=4192956/4192956
[pid=9415] ppid=9413 vsize=27464 CPUtime=255.81
/proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9348 0 -1 4202496 11174 0 0 0 24465 1116 0 0 25 0 1 0 1494466 28123136 5768 1992294400 4194304 8223781 140734946737056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9415/statm: 6866 5768 588 984 0 5879 0
Current children cumulated CPU time (s) 255.81
Current children cumulated vsize (KiB) 27464
[startup+268.7 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 9424
/proc/meminfo: memFree=1524224/2059040 swapFree=4192956/4192956
[pid=9415] ppid=9413 vsize=28688 CPUtime=268.61
/proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9348 0 -1 4202496 11482 0 0 0 25710 1151 0 0 25 0 1 0 1494466 29376512 6076 1992294400 4194304 8223781 140734946737056 18446744073709551615 4221008 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9415/statm: 7172 6076 588 984 0 6185 0
Current children cumulated CPU time (s) 268.61
Current children cumulated vsize (KiB) 28688
[startup+271.901 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 9424
/proc/meminfo: memFree=1524224/2059040 swapFree=4192956/4192956
[pid=9415] ppid=9413 vsize=28916 CPUtime=271.81
/proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9348 0 -1 4202496 11514 0 0 0 26022 1159 0 0 25 0 1 0 1494466 29609984 6108 1992294400 4194304 8223781 140734946737056 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9415/statm: 7229 6108 588 984 0 6242 0
Current children cumulated CPU time (s) 271.81
Current children cumulated vsize (KiB) 28916
[startup+273.501 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 9424
/proc/meminfo: memFree=1523852/2059040 swapFree=4192956/4192956
[pid=9415] ppid=9413 vsize=29172 CPUtime=273.41
/proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9348 0 -1 4202496 11594 0 0 0 26179 1162 0 0 25 0 1 0 1494466 29872128 6188 1992294400 4194304 8223781 140734946737056 18446744073709551615 4431654 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9415/statm: 7293 6188 588 984 0 6306 0
Current children cumulated CPU time (s) 273.41
Current children cumulated vsize (KiB) 29172
[startup+275.101 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 9424
/proc/meminfo: memFree=1523728/2059040 swapFree=4192956/4192956
[pid=9415] ppid=9413 vsize=29172 CPUtime=275.01
/proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9348 0 -1 4202496 11594 0 0 0 26334 1167 0 0 25 0 1 0 1494466 29872128 6188 1992294400 4194304 8223781 140734946737056 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9415/statm: 7293 6188 588 984 0 6306 0
Current children cumulated CPU time (s) 275.01
Current children cumulated vsize (KiB) 29172
[startup+275.501 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 9424
/proc/meminfo: memFree=1523728/2059040 swapFree=4192956/4192956
[pid=9415] ppid=9413 vsize=29172 CPUtime=275.4
/proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9348 0 -1 4202496 11594 0 0 0 26373 1167 0 0 25 0 1 0 1494466 29872128 6188 1992294400 4194304 8223781 140734946737056 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9415/statm: 7293 6188 588 984 0 6306 0
Current children cumulated CPU time (s) 275.4
Current children cumulated vsize (KiB) 29172
[startup+275.701 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 9424
/proc/meminfo: memFree=1523728/2059040 swapFree=4192956/4192956
[pid=9415] ppid=9413 vsize=29172 CPUtime=275.61
/proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9348 0 -1 4202496 11594 0 0 0 26393 1168 0 0 25 0 1 0 1494466 29872128 6188 1992294400 4194304 8223781 140734946737056 18446744073709551615 4210049 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9415/statm: 7293 6188 588 984 0 6306 0
Current children cumulated CPU time (s) 275.61
Current children cumulated vsize (KiB) 29172
[startup+275.801 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 9424
/proc/meminfo: memFree=1523728/2059040 swapFree=4192956/4192956
[pid=9415] ppid=9413 vsize=29172 CPUtime=275.71
/proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9348 0 -1 4202496 11594 0 0 0 26403 1168 0 0 25 0 1 0 1494466 29872128 6188 1992294400 4194304 8223781 140734946737056 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9415/statm: 7293 6188 588 984 0 6306 0
Current children cumulated CPU time (s) 275.71
Current children cumulated vsize (KiB) 29172
Child status: 0
Real time (s): 275.862
CPU time (s): 275.78
CPU user time (s): 264.094
CPU system time (s): 11.6862
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (KiB): 29172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 264.094
system time used= 11.6862
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11654
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= 4
involuntary context switches= 465
runsolver used 0.463929 second user time and 1.3018 second system time
The end