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-2703208-1278566882.opb>
0.00/0.02 c original problem has 1348 variables (1348 bin, 0 int, 0 impl, 0 cont) and 1348 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.03 c presolving:
0.09/0.12 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 100 upgd conss, 35732 impls, 0 clqs
0.19/0.20 c (0.2s) probing: 101/1348 (7.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.20 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.20 c presolving (2 rounds):
0.19/0.20 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.20 c 35732 implications, 0 cliques
0.19/0.20 c presolved problem has 1348 variables (1348 bin, 0 int, 0 impl, 0 cont) and 1348 constraints
0.19/0.20 c 1248 constraints of type <and>
0.19/0.20 c 100 constraints of type <logicor>
0.19/0.20 c transformed objective value is always integral (scale: 1)
0.19/0.20 c Presolving Time: 0.17
0.19/0.20 c - non default parameters ----------------------------------------------------------------------
0.19/0.20 c # SCIP version 1.2.1.3
0.19/0.20 c
0.19/0.20 c # frequency for displaying node information lines
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.20 c display/freq = 10000
0.19/0.20 c
0.19/0.20 c # maximal time in seconds to run
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/time = 1789.99
0.19/0.20 c
0.19/0.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/memory = 1620
0.19/0.20 c
0.19/0.20 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.19/0.20 c # [type: int, range: [1,2], default: 1]
0.19/0.20 c timing/clocktype = 2
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify inequalities
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/linear/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/indicator/addCouplingCons = TRUE
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify knapsacks
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20 c heuristics/undercover/freq = 0
0.19/0.20 c
0.19/0.20 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20 c separating/rapidlearning/freq = 0
0.19/0.20 c
0.19/0.20 c -----------------------------------------------------------------------------------------------
0.19/0.20 c start solving
0.19/0.20 c
0.19/0.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.23 c 0.2s| 1 | 0 | 200 | - |6990k| 0 | 200 |1348 |1348 |1348 |2596 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.24 o 49
0.19/0.24 c s 0.2s| 1 | 0 | 200 | - |7024k| 0 | 200 |1348 |1348 |1348 |2596 | 0 | 0 | 0 | 0.000000e+00 | 4.900000e+01 | Inf
0.89/0.97 o 17
0.89/0.97 c y 1.0s| 1 | 0 | 200 | - |7597k| 0 | 200 |1348 |1348 |1348 |2596 | 0 | 0 | 0 | 0.000000e+00 | 1.700000e+01 | Inf
0.99/1.03 c 1.0s| 1 | 0 | 500 | - |7563k| 0 | 200 |1348 |1558 |1348 |2797 | 201 | 0 | 0 | 0.000000e+00 | 1.700000e+01 | Inf
1.19/1.24 c 1.2s| 1 | 0 | 800 | - |7650k| 0 | 200 |1348 |1558 |1348 |3000 | 404 | 0 | 0 | 0.000000e+00 | 1.700000e+01 | Inf
1.39/1.46 c 1.4s| 1 | 0 | 1101 | - |7738k| 0 | 200 |1348 |1558 |1348 |3204 | 608 | 0 | 0 | 0.000000e+00 | 1.700000e+01 | Inf
1.69/1.70 c 1.7s| 1 | 0 | 1402 | - |7826k| 0 | 200 |1348 |1558 |1348 |3405 | 809 | 0 | 0 | 0.000000e+00 | 1.700000e+01 | Inf
1.99/2.01 c 2.0s| 1 | 0 | 1799 | - |7915k| 0 | 444 |1348 |1558 |1348 |3607 |1011 | 0 | 0 | 5.621705e+00 | 1.700000e+01 | 202.40%
2.49/2.59 c 2.6s| 1 | 0 | 2143 | - |8622k| 0 | 563 |1348 |1558 |1348 |3697 |1101 | 0 | 0 | 6.934110e+00 | 1.700000e+01 | 145.16%
3.39/3.45 c 3.4s| 1 | 0 | 2412 | - |9069k| 0 | 677 |1348 |1558 |1348 |3739 |1143 | 0 | 0 | 7.224319e+00 | 1.700000e+01 | 135.32%
4.40/4.45 c 4.4s| 1 | 0 | 2542 | - |9475k| 0 | 746 |1348 |1558 |1348 |3761 |1165 | 0 | 0 | 7.287260e+00 | 1.700000e+01 | 133.28%
5.50/5.55 c 5.5s| 1 | 0 | 2661 | - |9910k| 0 | 723 |1348 |1558 |1348 |3773 |1177 | 0 | 0 | 7.381691e+00 | 1.700000e+01 | 130.30%
6.60/6.67 c 6.7s| 1 | 0 | 2798 | - | 10M| 0 | 759 |1348 |1558 |1348 |3779 |1183 | 0 | 0 | 7.427465e+00 | 1.700000e+01 | 128.88%
7.69/7.79 c 7.8s| 1 | 0 | 2885 | - | 10M| 0 | 776 |1348 |1558 |1348 |1332 |1198 | 0 | 0 | 7.444475e+00 | 1.700000e+01 | 128.36%
8.19/8.25 c 8.2s| 1 | 0 | 2926 | - | 10M| 0 | 764 |1348 |1558 |1348 |1344 |1210 | 0 | 0 | 7.452929e+00 | 1.700000e+01 | 128.10%
8.70/8.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.70/8.76 c 8.7s| 1 | 0 | 2980 | - | 10M| 0 | 816 |1348 |1558 |1348 |1362 |1228 | 0 | 0 | 7.463806e+00 | 1.700000e+01 | 127.77%
9.19/9.28 c 9.3s| 1 | 0 | 3046 | - | 11M| 0 | 807 |1348 |1558 |1348 |1372 |1238 | 0 | 0 | 7.473145e+00 | 1.700000e+01 | 127.48%
9.69/9.78 c 9.8s| 1 | 0 | 3094 | - | 11M| 0 | 825 |1348 |1558 |1348 |1377 |1243 | 0 | 0 | 7.478808e+00 | 1.700000e+01 | 127.31%
10.29/10.31 c 10.3s| 1 | 0 | 3166 | - | 11M| 0 | 853 |1348 |1558 |1348 |1386 |1252 | 0 | 0 | 7.488648e+00 | 1.700000e+01 | 127.01%
10.79/10.87 c 10.8s| 1 | 0 | 3228 | - | 11M| 0 | 813 |1348 |1558 |1348 |1339 |1254 | 0 | 0 | 7.500446e+00 | 1.700000e+01 | 126.65%
11.29/11.37 c 11.3s| 1 | 0 | 3248 | - | 11M| 0 | 796 |1348 |1558 |1348 |1343 |1258 | 0 | 0 | 7.500804e+00 | 1.700000e+01 | 126.64%
11.79/11.90 c 11.9s| 1 | 0 | 3298 | - | 11M| 0 | 821 |1348 |1558 |1348 |1346 |1261 | 0 | 0 | 7.505639e+00 | 1.700000e+01 | 126.50%
12.38/12.40 c 12.4s| 1 | 0 | 3317 | - | 11M| 0 | 829 |1348 |1558 |1348 |1350 |1265 | 0 | 0 | 7.505958e+00 | 1.700000e+01 | 126.49%
12.58/12.67 c 12.7s| 1 | 0 | 3318 | - | 11M| 0 | 830 |1348 |1558 |1348 |1351 |1266 | 0 | 0 | 7.505958e+00 | 1.700000e+01 | 126.49%
15.40/15.47 c 15.4s| 1 | 2 | 6090 | - | 11M| 0 | 830 |1348 |1558 |1348 |1351 |1266 | 0 | 16 | 7.505958e+00 | 1.700000e+01 | 126.49%
20.19/20.27 o 14
20.19/20.27 c *20.3s| 14 | 10 | 7281 | 304.8 | 11M| 13 | - |1348 |1558 |1348 |1458 |1437 | 0 | 185 | 7.531904e+00 | 1.400000e+01 | 85.88%
25.29/25.37 o 13
25.29/25.37 c c25.3s| 26 | 17 | 8397 | 203.2 | 11M| 13 | - |1348 |1558 |1348 |1415 |1554 | 0 | 354 | 7.715470e+00 | 1.300000e+01 | 68.49%
36.38/36.40 o 12
36.38/36.40 c *36.4s| 47 | 26 | 10634 | 159.0 | 11M| 13 | - |1348 |1558 |1348 |1438 |1812 | 0 | 714 | 7.761782e+00 | 1.200000e+01 | 54.60%
50.68/50.75 o 11
50.68/50.75 c *50.7s| 72 | 26 | 13749 | 146.9 | 11M| 14 | - |1348 |1558 |1348 |1421 |2135 | 0 |1255 | 7.761782e+00 | 1.100000e+01 | 41.72%
361.41/361.58 c 362s| 10000 | 286 |471870 | 46.9 | 14M| 58 | - |1348 |1558 |1348 |1453 | 33k| 0 |5176 | 9.291727e+00 | 1.100000e+01 | 18.38%
398.80/398.93 c
398.80/398.93 c SCIP Status : problem is solved [optimal solution found]
398.80/398.93 c Solving Time (sec) : 398.91
398.80/398.93 c Solving Nodes : 12052
398.80/398.93 c Primal Bound : +1.10000000000000e+01 (6 solutions)
398.80/398.93 c Dual Bound : +1.10000000000000e+01
398.80/398.93 c Gap : 0.00 %
398.80/398.93 s OPTIMUM FOUND
398.80/398.93 v -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75
398.80/398.93 v x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 x50
398.80/398.93 v -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 x26 -x25 -x24
398.80/398.93 v -x23 -x22 -x21 -x20 x19 -x18 -x17 -x16 x15 -x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 x6 x5 -x4 x3 -x2 -x1
398.80/398.93 c SCIP Status : problem is solved [optimal solution found]
398.80/398.93 c Solving Time : 398.91
398.80/398.93 c Original Problem :
398.80/398.93 c Problem name : HOME/instance-2703208-1278566882.opb
398.80/398.93 c Variables : 1348 (1348 binary, 0 integer, 0 implicit integer, 0 continuous)
398.80/398.93 c Constraints : 1348 initial, 1348 maximal
398.80/398.93 c Presolved Problem :
398.80/398.93 c Problem name : t_HOME/instance-2703208-1278566882.opb
398.80/398.93 c Variables : 1348 (1348 binary, 0 integer, 0 implicit integer, 0 continuous)
398.80/398.93 c Constraints : 1348 initial, 1558 maximal
398.80/398.93 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
398.80/398.93 c trivial : 0.00 0 0 0 0 0 0 0 0
398.80/398.93 c dualfix : 0.00 0 0 0 0 0 0 0 0
398.80/398.93 c boundshift : 0.00 0 0 0 0 0 0 0 0
398.80/398.93 c inttobinary : 0.00 0 0 0 0 0 0 0 0
398.80/398.93 c implics : 0.00 0 0 0 0 0 0 0 0
398.80/398.93 c probing : 0.02 0 0 0 0 0 0 0 0
398.80/398.93 c and : 0.14 0 0 0 0 0 0 0 0
398.80/398.93 c linear : 0.00 0 0 0 0 0 0 0 0
398.80/398.93 c logicor : 0.00 0 0 0 0 0 0 0 0
398.80/398.93 c root node : - 33 - - 33 - - - -
398.80/398.93 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
398.80/398.93 c integral : 0 0 0 6535 0 67 1879 0 0 12074
398.80/398.93 c and : 1248 15936 49067 4 0 0 439560 36538 0 0
398.80/398.93 c linear : 0+ 22 3839 0 0 0 0 0 0 0
398.80/398.93 c logicor : 100 22 24141 3 0 0 1 0 0 0
398.80/398.93 c countsols : 0 0 0 3 0 0 0 0 0 0
398.80/398.93 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
398.80/398.93 c integral : 109.23 0.00 0.00 109.23 0.00
398.80/398.93 c and : 21.32 16.27 5.04 0.00 0.00
398.80/398.93 c linear : 0.11 0.00 0.10 0.00 0.00
398.80/398.93 c logicor : 0.30 0.00 0.30 0.00 0.00
398.80/398.93 c countsols : 0.00 0.00 0.00 0.00 0.00
398.80/398.93 c Propagators : Time Calls Cutoffs DomReds
398.80/398.93 c vbounds : 0.03 2 0 0
398.80/398.93 c rootredcost : 0.02 4 0 0
398.80/398.93 c pseudoobj : 0.60 49157 1 0
398.80/398.93 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
398.80/398.93 c propagation : 0.00 0 0 0 0.0 0 0.0 -
398.80/398.93 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
398.80/398.93 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
398.80/398.93 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
398.80/398.93 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
398.80/398.93 c applied globally : - - - 0 0.0 - - -
398.80/398.93 c applied locally : - - - 0 0.0 - - -
398.80/398.93 c Separators : Time Calls Cutoffs DomReds Cuts Conss
398.80/398.93 c cut pool : 0.02 21 - - 69 - (maximal pool size: 2335)
398.80/398.93 c redcost : 1.10 16396 0 56132 0 0
398.80/398.93 c impliedbounds : 0.03 22 0 0 1287 0
398.80/398.93 c intobj : 0.00 0 0 0 0 0
398.80/398.93 c cgmip : 0.00 0 0 0 0 0
398.80/398.93 c gomory : 6.53 22 0 0 2514 0
398.80/398.93 c strongcg : 3.25 20 0 0 6055 0
398.80/398.93 c cmir : 0.59 10 0 0 1005 0
398.80/398.93 c flowcover : 0.43 10 0 0 1088 0
398.80/398.93 c clique : 0.11 22 0 0 15 0
398.80/398.93 c zerohalf : 0.00 0 0 0 0 0
398.80/398.93 c mcf : 0.00 1 0 0 0 0
398.80/398.93 c rapidlearning : 0.56 1 0 0 0 210
398.80/398.93 c Pricers : Time Calls Vars
398.80/398.93 c problem variables: 0.00 0 0
398.80/398.93 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
398.80/398.93 c relpscost : 109.20 6531 67 1879 0 0 12074
398.80/398.93 c pscost : 0.00 0 0 0 0 0 0
398.80/398.93 c inference : 0.00 0 0 0 0 0 0
398.80/398.93 c mostinf : 0.00 0 0 0 0 0 0
398.80/398.93 c leastinf : 0.00 0 0 0 0 0 0
398.80/398.93 c fullstrong : 0.00 0 0 0 0 0 0
398.80/398.93 c allfullstrong : 0.00 0 0 0 0 0 0
398.80/398.93 c random : 0.00 0 0 0 0 0 0
398.80/398.93 c Primal Heuristics : Time Calls Found
398.80/398.93 c LP solutions : 0.00 - 3
398.80/398.93 c pseudo solutions : 0.00 - 0
398.80/398.93 c oneopt : 0.02 5 0
398.80/398.93 c feaspump : 1.20 1 0
398.80/398.93 c objpscostdiving : 9.41 4 0
398.80/398.93 c crossover : 0.20 3 0
398.80/398.93 c veclendiving : 0.97 12 0
398.80/398.93 c guideddiving : 1.04 12 0
398.80/398.93 c pscostdiving : 0.69 13 0
398.80/398.93 c fracdiving : 1.15 13 0
398.80/398.93 c coefdiving : 0.76 13 1
398.80/398.93 c linesearchdiving : 0.84 13 0
398.80/398.93 c rootsoldiving : 1.32 7 0
398.80/398.93 c trivial : 0.00 2 0
398.80/398.93 c simplerounding : 0.02 0 0
398.80/398.93 c zirounding : 0.26 1000 0
398.80/398.93 c rounding : 1.01 1731 0
398.80/398.93 c shifting : 1.23 1404 1
398.80/398.93 c intshifting : 0.00 0 0
398.80/398.93 c twoopt : 0.00 0 0
398.80/398.93 c fixandinfer : 0.00 0 0
398.80/398.93 c intdiving : 0.00 0 0
398.80/398.93 c actconsdiving : 0.00 0 0
398.80/398.93 c octane : 0.00 0 0
398.80/398.93 c rens : 0.01 0 0
398.80/398.93 c rins : 0.00 0 0
398.80/398.93 c localbranching : 0.00 0 0
398.80/398.93 c mutation : 0.00 0 0
398.80/398.93 c dins : 0.00 0 0
398.80/398.93 c undercover : 0.02 1 0
398.80/398.93 c nlp : 0.01 0 0
398.80/398.93 c trysol : 0.01 0 0
398.80/398.93 c LP : Time Calls Iterations Iter/call Iter/sec
398.80/398.93 c primal LP : 1.78 0 0 0.00 0.00
398.80/398.93 c dual LP : 203.08 21904 505275 23.07 2488.07
398.80/398.93 c lex dual LP : 0.00 0 0 0.00 -
398.80/398.93 c barrier LP : 0.00 0 0 0.00 -
398.80/398.93 c diving/probing LP: 15.73 1701 38548 22.66 2450.72
398.80/398.93 c strong branching : 106.72 5198 280490 53.96 2628.38
398.80/398.93 c (at root node) : - 16 3202 200.12 -
398.80/398.93 c conflict analysis: 0.00 0 0 0.00 -
398.80/398.93 c B&B Tree :
398.80/398.93 c number of runs : 1
398.80/398.93 c nodes : 12052
398.80/398.93 c nodes (total) : 12052
398.80/398.93 c nodes left : 0
398.80/398.93 c max depth : 58
398.80/398.93 c max depth (total): 58
398.80/398.93 c backtracks : 2327 (19.3%)
398.80/398.93 c delayed cutoffs : 0
398.80/398.93 c repropagations : 0 (0 domain reductions, 0 cutoffs)
398.80/398.93 c avg switch length: 6.98
398.80/398.93 c switching time : 6.81
398.80/398.93 c Solution :
398.80/398.93 c Solutions found : 6 (6 improvements)
398.80/398.93 c First Solution : +4.90000000000000e+01 (in run 1, after 1 nodes, 0.21 seconds, depth 0, found by <shifting>)
398.80/398.93 c Primal Bound : +1.10000000000000e+01 (in run 1, after 72 nodes, 50.73 seconds, depth 9, found by <relaxation>)
398.80/398.93 c Dual Bound : +1.10000000000000e+01
398.80/398.93 c Gap : 0.00 %
398.80/398.93 c Root Dual Bound : +7.50595755721137e+00
398.80/398.93 c Root Iterations : 3318
398.80/398.96 c Time complete: 398.87.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703208-1278566882/watcher-2703208-1278566882 -o /tmp/evaluation-result-2703208-1278566882/solver-2703208-1278566882 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703208-1278566882.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 31827
/proc/meminfo: memFree=1797504/2059040 swapFree=4109596/4192956
[pid=31827] ppid=31825 vsize=7904 CPUtime=0
/proc/31827/stat : 31827 (pbscip.linux.x8) R 31825 31827 31526 0 -1 4202496 1066 0 0 0 0 0 0 0 23 0 1 0 24899508 8093696 978 1992294400 4194304 8395647 140736285526064 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31827/statm: 1976 987 365 1026 0 946 0
[startup+0.0549851 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31827
/proc/meminfo: memFree=1797504/2059040 swapFree=4109596/4192956
[pid=31827] ppid=31825 vsize=18500 CPUtime=0.04
/proc/31827/stat : 31827 (pbscip.linux.x8) R 31825 31827 31526 0 -1 4202496 3982 0 0 0 3 1 0 0 23 0 1 0 24899508 18944000 3540 1992294400 4194304 8395647 140736285526064 18446744073709551615 4564204 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31827/statm: 4625 3540 454 1026 0 3595 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 18500
[startup+0.100989 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31827
/proc/meminfo: memFree=1797504/2059040 swapFree=4109596/4192956
[pid=31827] ppid=31825 vsize=19860 CPUtime=0.09
/proc/31827/stat : 31827 (pbscip.linux.x8) R 31825 31827 31526 0 -1 4202496 4322 0 0 0 8 1 0 0 23 0 1 0 24899508 20336640 3880 1992294400 4194304 8395647 140736285526064 18446744073709551615 18446744073699065949 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31827/statm: 4965 3880 454 1026 0 3935 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19860
[startup+0.301003 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31827
/proc/meminfo: memFree=1797504/2059040 swapFree=4109596/4192956
[pid=31827] ppid=31825 vsize=26752 CPUtime=0.29
/proc/31827/stat : 31827 (pbscip.linux.x8) R 31825 31827 31526 0 -1 4202496 7971 0 0 0 27 2 0 0 23 0 1 0 24899508 27394048 5806 1992294400 4194304 8395647 140736285526064 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31827/statm: 6688 5806 587 1026 0 5658 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26752
[startup+0.70103 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31827
/proc/meminfo: memFree=1797504/2059040 swapFree=4109596/4192956
[pid=31827] ppid=31825 vsize=40308 CPUtime=0.69
/proc/31827/stat : 31827 (pbscip.linux.x8) R 31825 31827 31526 0 -1 4202496 11020 0 0 0 54 15 0 0 25 0 1 0 24899508 41275392 8855 1992294400 4194304 8395647 140736285526064 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31827/statm: 10077 8855 607 1026 0 9047 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 40308
[startup+1.50109 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31828
/proc/meminfo: memFree=1762404/2059040 swapFree=4109596/4192956
[pid=31827] ppid=31825 vsize=42144 CPUtime=1.49
/proc/31827/stat : 31827 (pbscip.linux.x8) R 31825 31827 31526 0 -1 4202496 11637 0 0 0 126 23 0 0 25 0 1 0 24899508 43155456 9419 1992294400 4194304 8395647 140736285526064 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31827/statm: 10536 9419 616 1026 0 9506 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42144
[startup+3.1002 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31828
/proc/meminfo: memFree=1761908/2059040 swapFree=4109596/4192956
[pid=31827] ppid=31825 vsize=42144 CPUtime=3.09
/proc/31827/stat : 31827 (pbscip.linux.x8) R 31825 31827 31526 0 -1 4202496 11720 0 0 0 284 25 0 0 25 0 1 0 24899508 43155456 9501 1992294400 4194304 8395647 140736285526064 18446744073709551615 6125397 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31827/statm: 10536 9501 618 1026 0 9506 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42144
[startup+6.30142 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31828
/proc/meminfo: memFree=1761288/2059040 swapFree=4109596/4192956
[pid=31827] ppid=31825 vsize=42144 CPUtime=6.29
/proc/31827/stat : 31827 (pbscip.linux.x8) R 31825 31827 31526 0 -1 4202496 11720 0 0 0 603 26 0 0 25 0 1 0 24899508 43155456 9501 1992294400 4194304 8395647 140736285526064 18446744073709551615 6198224 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31827/statm: 10536 9501 618 1026 0 9506 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42144
[startup+12.7009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31828
/proc/meminfo: memFree=1760172/2059040 swapFree=4109596/4192956
[pid=31827] ppid=31825 vsize=42144 CPUtime=12.69
/proc/31827/stat : 31827 (pbscip.linux.x8) R 31825 31827 31526 0 -1 4202496 11978 0 0 0 1240 29 0 0 25 0 1 0 24899508 43155456 9759 1992294400 4194304 8395647 140736285526064 18446744073709551615 6198182 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31827/statm: 10536 9759 618 1026 0 9506 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42144
[startup+25.5008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31830
/proc/meminfo: memFree=1759924/2059040 swapFree=4109596/4192956
[pid=31827] ppid=31825 vsize=42620 CPUtime=25.49
/proc/31827/stat : 31827 (pbscip.linux.x8) R 31825 31827 31526 0 -1 4202496 12086 0 0 0 2509 40 0 0 25 0 1 0 24899508 43642880 9867 1992294400 4194304 8395647 140736285526064 18446744073709551615 6741384 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31827/statm: 10655 9867 624 1026 0 9625 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 42620
[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31830
/proc/meminfo: memFree=1759924/2059040 swapFree=4109596/4192956
[pid=31827] ppid=31825 vsize=42620 CPUtime=51.08
/proc/31827/stat : 31827 (pbscip.linux.x8) R 31825 31827 31526 0 -1 4202496 12086 0 0 0 5044 64 0 0 25 0 1 0 24899508 43642880 9867 1992294400 4194304 8395647 140736285526064 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31827/statm: 10655 9867 624 1026 0 9625 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 42620
[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31832
/proc/meminfo: memFree=1757444/2059040 swapFree=4109596/4192956
[pid=31827] ppid=31825 vsize=44556 CPUtime=102.27
/proc/31827/stat : 31827 (pbscip.linux.x8) R 31825 31827 31526 0 -1 4202496 15939 0 0 0 10120 107 0 0 25 0 1 0 24899508 45625344 10376 1992294400 4194304 8395647 140736285526064 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31827/statm: 11139 10376 642 1026 0 10109 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 44556
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31832
/proc/meminfo: memFree=1750004/2059040 swapFree=4109596/4192956
[pid=31827] ppid=31825 vsize=53712 CPUtime=162.25
/proc/31827/stat : 31827 (pbscip.linux.x8) R 31825 31827 31526 0 -1 4202496 17913 0 0 0 16069 156 0 0 25 0 1 0 24899508 55001088 12350 1992294400 4194304 8395647 140736285526064 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31827/statm: 13428 12350 642 1026 0 12398 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 53712
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31834
/proc/meminfo: memFree=1749632/2059040 swapFree=4109596/4192956
[pid=31827] ppid=31825 vsize=53712 CPUtime=222.24
/proc/31827/stat : 31827 (pbscip.linux.x8) R 31825 31827 31526 0 -1 4202496 17988 0 0 0 22017 207 0 0 25 0 1 0 24899508 55001088 12425 1992294400 4194304 8395647 140736285526064 18446744073709551615 6587234 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31827/statm: 13428 12425 642 1026 0 12398 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 53712
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31836
/proc/meminfo: memFree=1749632/2059040 swapFree=4109596/4192956
[pid=31827] ppid=31825 vsize=53712 CPUtime=282.23
/proc/31827/stat : 31827 (pbscip.linux.x8) R 31825 31827 31526 0 -1 4202496 17988 0 0 0 27964 259 0 0 25 0 1 0 24899508 55001088 12425 1992294400 4194304 8395647 140736285526064 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31827/statm: 13428 12425 642 1026 0 12398 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 53712
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31838
/proc/meminfo: memFree=1749632/2059040 swapFree=4109596/4192956
[pid=31827] ppid=31825 vsize=53712 CPUtime=342.21
/proc/31827/stat : 31827 (pbscip.linux.x8) R 31825 31827 31526 0 -1 4202496 17988 0 0 0 33911 310 0 0 25 0 1 0 24899508 55001088 12425 1992294400 4194304 8395647 140736285526064 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31827/statm: 13428 12425 642 1026 0 12398 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 53712
Solver just ended. Dumping a history of the last processes samples
[startup+358.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31838
/proc/meminfo: memFree=1749632/2059040 swapFree=4109596/4192956
[pid=31827] ppid=31825 vsize=53712 CPUtime=358.21
/proc/31827/stat : 31827 (pbscip.linux.x8) R 31825 31827 31526 0 -1 4202496 17988 0 0 0 35496 325 0 0 25 0 1 0 24899508 55001088 12425 1992294400 4194304 8395647 140736285526064 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31827/statm: 13428 12425 642 1026 0 12398 0
Current children cumulated CPU time (s) 358.21
Current children cumulated vsize (KiB) 53712
[startup+383.909 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31838
/proc/meminfo: memFree=1749632/2059040 swapFree=4109596/4192956
[pid=31827] ppid=31825 vsize=53712 CPUtime=383.82
/proc/31827/stat : 31827 (pbscip.linux.x8) R 31825 31827 31526 0 -1 4202496 17988 0 0 0 38037 345 0 0 25 0 1 0 24899508 55001088 12425 1992294400 4194304 8395647 140736285526064 18446744073709551615 6139205 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31827/statm: 13428 12425 642 1026 0 12398 0
Current children cumulated CPU time (s) 383.82
Current children cumulated vsize (KiB) 53712
[startup+390.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31840
/proc/meminfo: memFree=1749632/2059040 swapFree=4109596/4192956
[pid=31827] ppid=31825 vsize=53712 CPUtime=390.2
/proc/31827/stat : 31827 (pbscip.linux.x8) R 31825 31827 31526 0 -1 4202496 17988 0 0 0 38671 349 0 0 25 0 1 0 24899508 55001088 12425 1992294400 4194304 8395647 140736285526064 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31827/statm: 13428 12425 642 1026 0 12398 0
Current children cumulated CPU time (s) 390.2
Current children cumulated vsize (KiB) 53712
[startup+393.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31840
/proc/meminfo: memFree=1749632/2059040 swapFree=4109596/4192956
[pid=31827] ppid=31825 vsize=53712 CPUtime=393.4
/proc/31827/stat : 31827 (pbscip.linux.x8) R 31825 31827 31526 0 -1 4202496 17988 0 0 0 38988 352 0 0 25 0 1 0 24899508 55001088 12425 1992294400 4194304 8395647 140736285526064 18446744073709551615 6697980 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31827/statm: 13428 12425 642 1026 0 12398 0
Current children cumulated CPU time (s) 393.4
Current children cumulated vsize (KiB) 53712
[startup+396.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31840
/proc/meminfo: memFree=1749508/2059040 swapFree=4109596/4192956
[pid=31827] ppid=31825 vsize=53712 CPUtime=396.6
/proc/31827/stat : 31827 (pbscip.linux.x8) R 31825 31827 31526 0 -1 4202496 17988 0 0 0 39306 354 0 0 25 0 1 0 24899508 55001088 12425 1992294400 4194304 8395647 140736285526064 18446744073709551615 6585880 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31827/statm: 13428 12425 642 1026 0 12398 0
Current children cumulated CPU time (s) 396.6
Current children cumulated vsize (KiB) 53712
[startup+398.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31840
/proc/meminfo: memFree=1749508/2059040 swapFree=4109596/4192956
[pid=31827] ppid=31825 vsize=53712 CPUtime=398.21
/proc/31827/stat : 31827 (pbscip.linux.x8) R 31825 31827 31526 0 -1 4202496 17988 0 0 0 39465 356 0 0 25 0 1 0 24899508 55001088 12425 1992294400 4194304 8395647 140736285526064 18446744073709551615 6667516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31827/statm: 13428 12425 642 1026 0 12398 0
Current children cumulated CPU time (s) 398.21
Current children cumulated vsize (KiB) 53712
[startup+398.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31840
/proc/meminfo: memFree=1749508/2059040 swapFree=4109596/4192956
[pid=31827] ppid=31825 vsize=53712 CPUtime=398.6
/proc/31827/stat : 31827 (pbscip.linux.x8) R 31825 31827 31526 0 -1 4202496 17988 0 0 0 39504 356 0 0 25 0 1 0 24899508 55001088 12425 1992294400 4194304 8395647 140736285526064 18446744073709551615 6741501 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31827/statm: 13428 12425 642 1026 0 12398 0
Current children cumulated CPU time (s) 398.6
Current children cumulated vsize (KiB) 53712
[startup+398.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31840
/proc/meminfo: memFree=1749508/2059040 swapFree=4109596/4192956
[pid=31827] ppid=31825 vsize=53712 CPUtime=398.8
/proc/31827/stat : 31827 (pbscip.linux.x8) R 31825 31827 31526 0 -1 4202496 17988 0 0 0 39524 356 0 0 25 0 1 0 24899508 55001088 12425 1992294400 4194304 8395647 140736285526064 18446744073709551615 6696973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31827/statm: 13428 12425 642 1026 0 12398 0
Current children cumulated CPU time (s) 398.8
Current children cumulated vsize (KiB) 53712
Child status: 0
Real time (s): 398.964
CPU time (s): 398.875
CPU user time (s): 395.304
CPU system time (s): 3.57146
CPU usage (%): 99.9777
Max. virtual memory (cumulated for all children) (KiB): 53712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 395.304
system time used= 3.57146
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17993
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= 1073
runsolver used 0.673897 second user time and 1.87971 second system time
The end