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-2702831-1278578681.opb>
0.00/0.03 c original problem has 774 variables (774 bin, 0 int, 0 impl, 0 cont) and 994 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.04 c presolving:
0.00/0.05 c (round 1) 3 del vars, 1 del conss, 3 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1542 impls, 30 clqs
0.00/0.05 c (round 2) 3 del vars, 772 del conss, 3 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1542 impls, 30 clqs
0.00/0.06 c (round 3) 3 del vars, 772 del conss, 3 chg bounds, 0 chg sides, 0 chg coeffs, 222 upgd conss, 1542 impls, 30 clqs
0.09/0.12 c (0.1s) probing: 101/771 (13.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.12 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.12 c presolving (4 rounds):
0.09/0.12 c 3 deleted vars, 772 deleted constraints, 3 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.12 c 1542 implications, 114 cliques
0.09/0.12 c presolved problem has 771 variables (771 bin, 0 int, 0 impl, 0 cont) and 222 constraints
0.09/0.12 c 192 constraints of type <knapsack>
0.09/0.12 c 30 constraints of type <setppc>
0.09/0.12 c transformed objective value is always integral (scale: 1)
0.09/0.12 c Presolving Time: 0.08
0.09/0.12 c - non default parameters ----------------------------------------------------------------------
0.09/0.12 c # SCIP version 1.2.1.3
0.09/0.12 c
0.09/0.12 c # frequency for displaying node information lines
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.12 c display/freq = 10000
0.09/0.12 c
0.09/0.12 c # maximal time in seconds to run
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.12 c limits/time = 1789.98
0.09/0.12 c
0.09/0.12 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.12 c limits/memory = 1620
0.09/0.12 c
0.09/0.12 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.12 c # [type: int, range: [1,2], default: 1]
0.09/0.12 c timing/clocktype = 2
0.09/0.12 c
0.09/0.12 c # should presolving try to simplify inequalities
0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12 c constraints/linear/simplifyinequalities = TRUE
0.09/0.12 c
0.09/0.12 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12 c constraints/indicator/addCouplingCons = TRUE
0.09/0.12 c
0.09/0.12 c # should presolving try to simplify knapsacks
0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.12 c
0.09/0.12 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.12 c separating/rapidlearning/freq = 0
0.09/0.12 c
0.09/0.12 c -----------------------------------------------------------------------------------------------
0.09/0.12 c start solving
0.09/0.13 c
0.09/0.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.14 c 0.1s| 1 | 0 | 115 | - |3744k| 0 | 18 | 771 | 222 | 771 | 222 | 0 | 0 | 0 | 3.000000e+00 | -- | Inf
0.29/0.36 c 0.3s| 1 | 0 | 480 | - |4044k| 0 | 39 | 771 | 222 | 771 | 233 | 11 | 0 | 0 | 3.000000e+00 | -- | Inf
0.39/0.48 c 0.4s| 1 | 0 | 546 | - |4282k| 0 | 54 | 771 | 222 | 771 | 249 | 27 | 0 | 0 | 3.000000e+00 | -- | Inf
0.59/0.64 c 0.6s| 1 | 0 | 598 | - |4442k| 0 | 70 | 771 | 222 | 771 | 263 | 41 | 0 | 0 | 3.000000e+00 | -- | Inf
0.79/0.84 c 0.8s| 1 | 0 | 767 | - |4710k| 0 | 67 | 771 | 222 | 771 | 276 | 54 | 0 | 0 | 3.000000e+00 | -- | Inf
0.99/1.10 c 1.1s| 1 | 0 | 946 | - |4903k| 0 | 83 | 771 | 222 | 771 | 288 | 66 | 0 | 0 | 3.000000e+00 | -- | Inf
1.29/1.38 c 1.3s| 1 | 0 | 1097 | - |5060k| 0 | 70 | 771 | 222 | 771 | 299 | 77 | 0 | 0 | 3.000000e+00 | -- | Inf
1.89/1.98 c 1.9s| 1 | 2 | 1097 | - |5061k| 0 | 70 | 771 | 222 | 771 | 299 | 77 | 0 | 12 | 3.000000e+00 | -- | Inf
61.07/61.15 c 61.1s| 10000 | 419 |189833 | 18.9 |8919k| 67 | - | 771 |3695 | 0 | 0 | 77 | 10k|5058 | 3.000000e+00 | -- | Inf
107.15/107.25 c 107s| 20000 | 542 |388870 | 19.4 | 10M| 67 | - | 771 |3889 | 771 | 265 | 77 | 20k|6404 | 3.000000e+00 | -- | Inf
152.54/152.60 c 153s| 30000 | 645 |589091 | 19.6 | 11M| 67 | - | 771 |4933 | 771 | 265 | 77 | 29k|7650 | 3.000000e+00 | -- | Inf
193.43/193.58 c 194s| 40000 | 1050 |777447 | 19.4 | 13M| 67 | 25 | 771 |6271 | 771 | 265 | 77 | 38k|7953 | 3.000000e+00 | -- | Inf
232.61/232.79 c 233s| 50000 | 1560 |924670 | 18.5 | 15M| 67 | 31 | 771 |8623 | 771 | 265 | 77 | 47k|8214 | 3.000000e+00 | -- | Inf
270.60/270.70 c 271s| 60000 | 1981 | 1074k| 17.9 | 18M| 67 | 29 | 771 |9426 | 771 | 265 | 77 | 55k|8586 | 3.000000e+00 | -- | Inf
311.89/312.09 c 312s| 70000 | 2167 | 1220k| 17.4 | 19M| 67 | - | 771 |9091 | 0 | 0 | 77 | 64k|9052 | 3.000000e+00 | -- | Inf
349.68/349.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
349.68/349.80 c 350s| 80000 | 2166 | 1369k| 17.1 | 19M| 67 | - | 771 |9328 | 0 | 0 | 77 | 72k|9575 | 3.000000e+00 | -- | Inf
388.65/388.82 c 389s| 90000 | 2377 | 1514k| 16.8 | 20M| 67 | 23 | 771 | 10k| 771 | 265 | 77 | 80k|9986 | 3.000000e+00 | -- | Inf
427.15/427.32 c 427s|100000 | 2524 | 1653k| 16.5 | 21M| 67 | 28 | 771 |9626 | 771 | 265 | 77 | 89k| 10k| 3.000000e+00 | -- | Inf
464.93/465.12 c 465s|110000 | 2726 | 1783k| 16.2 | 22M| 67 | 10 | 771 | 10k| 771 | 265 | 77 | 98k| 10k| 3.000000e+00 | -- | Inf
506.62/506.83 c 507s|120000 | 2771 | 1933k| 16.1 | 22M| 67 | 25 | 771 | 10k| 771 | 265 | 77 | 106k| 10k| 3.000000e+00 | -- | Inf
541.20/541.42 c 541s|130000 | 2929 | 2063k| 15.9 | 23M| 67 | 10 | 771 | 10k| 771 | 265 | 77 | 113k| 11k| 3.000000e+00 | -- | Inf
580.30/580.55 c 581s|140000 | 2883 | 2222k| 15.9 | 22M| 69 | 36 | 771 |9273 | 771 | 265 | 77 | 120k| 12k| 3.000000e+00 | -- | Inf
615.48/615.78 c 616s|150000 | 2826 | 2374k| 15.8 | 22M| 74 | 22 | 771 |8789 | 771 | 265 | 77 | 125k| 13k| 3.000000e+00 | -- | Inf
647.87/648.13 c 648s|160000 | 3068 | 2506k| 15.7 | 23M| 74 | 24 | 771 |9689 | 771 | 265 | 77 | 132k| 13k| 3.000000e+00 | -- | Inf
680.36/680.64 c 681s|170000 | 3245 | 2635k| 15.5 | 24M| 74 | 22 | 771 | 10k| 771 | 265 | 77 | 138k| 13k| 3.000000e+00 | -- | Inf
715.54/715.82 c 716s|180000 | 3222 | 2779k| 15.4 | 23M| 74 | 30 | 771 |9020 | 771 | 265 | 77 | 145k| 14k| 3.000000e+00 | -- | Inf
754.03/754.31 c 754s|190000 | 3314 | 2932k| 15.4 | 23M| 74 | 10 | 771 |7951 | 771 | 265 | 77 | 153k| 14k| 3.000000e+00 | -- | Inf
791.63/791.91 c 792s|200000 | 3381 | 3079k| 15.4 | 23M| 74 | - | 771 |7593 | 771 | 265 | 77 | 162k| 15k| 3.000000e+00 | -- | Inf
830.21/830.54 c 831s|210000 | 3537 | 3225k| 15.4 | 24M| 74 | 31 | 771 |8590 | 771 | 265 | 77 | 171k| 15k| 3.000000e+00 | -- | Inf
864.79/865.16 c 865s|220000 | 3846 | 3370k| 15.3 | 25M| 74 | - | 771 |9299 | 0 | 0 | 77 | 178k| 15k| 3.000000e+00 | -- | Inf
895.09/895.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
895.09/895.43 c 895s|230000 | 3957 | 3509k| 15.3 | 26M| 74 | - | 771 |9885 | 771 | 265 | 77 | 183k| 15k| 3.000000e+00 | -- | Inf
931.38/931.73 c 932s|240000 | 3969 | 3648k| 15.2 | 26M| 74 | 15 | 771 |9410 | 771 | 265 | 77 | 191k| 16k| 3.000000e+00 | -- | Inf
968.45/968.81 c 969s|250000 | 3941 | 3795k| 15.2 | 26M| 74 | - | 771 |8203 | 771 | 265 | 77 | 198k| 16k| 3.000000e+00 | -- | Inf
1009.35/1009.71 c 1010s|260000 | 3900 | 3957k| 15.2 | 26M| 74 | - | 771 |8341 | 771 | 265 | 77 | 207k| 17k| 3.000000e+00 | -- | Inf
1049.13/1049.56 c 1050s|270000 | 4189 | 4105k| 15.2 | 28M| 74 | 30 | 771 |9956 | 771 | 265 | 77 | 217k| 17k| 3.000000e+00 | -- | Inf
1091.31/1091.74 c 1092s|280000 | 3854 | 4255k| 15.2 | 26M| 74 | - | 771 |8115 | 771 | 265 | 77 | 227k| 17k| 3.000000e+00 | -- | Inf
1125.60/1126.01 c 1126s|290000 | 3756 | 4385k| 15.1 | 26M| 74 | 22 | 771 |8537 | 771 | 265 | 77 | 236k| 17k| 3.000000e+00 | -- | Inf
1160.09/1160.51 c 1160s|300000 | 3852 | 4539k| 15.1 | 26M| 74 | - | 771 |7764 | 0 | 0 | 77 | 242k| 18k| 3.000000e+00 | -- | Inf
1198.17/1198.67 c 1199s|310000 | 3897 | 4691k| 15.1 | 26M| 74 | - | 771 |7041 | 771 | 265 | 77 | 250k| 18k| 3.000000e+00 | -- | Inf
1236.76/1237.28 c 1237s|320000 | 3836 | 4838k| 15.1 | 27M| 74 | - | 771 |7839 | 771 | 265 | 77 | 259k| 19k| 3.000000e+00 | -- | Inf
1275.45/1275.93 c 1276s|330000 | 4228 | 4997k| 15.1 | 29M| 74 | 36 | 771 |9209 | 771 | 265 | 77 | 266k| 19k| 3.000000e+00 | -- | Inf
1314.63/1315.17 c 1315s|340000 | 4163 | 5154k| 15.2 | 28M| 74 | 28 | 771 |8097 | 771 | 265 | 77 | 275k| 19k| 3.000000e+00 | -- | Inf
1351.22/1351.76 c 1352s|350000 | 4124 | 5303k| 15.2 | 29M| 74 | - | 771 |9533 | 771 | 265 | 77 | 284k| 19k| 3.000000e+00 | -- | Inf
1395.71/1396.25 c 1396s|360000 | 3877 | 5479k| 15.2 | 27M| 74 | - | 771 |7946 | 771 | 265 | 77 | 293k| 20k| 3.000000e+00 | -- | Inf
1428.09/1428.64 c 1429s|370000 | 3833 | 5618k| 15.2 | 27M| 74 | - | 771 |8651 | 771 | 265 | 77 | 299k| 20k| 3.000000e+00 | -- | Inf
1471.19/1471.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1471.19/1471.77 c 1472s|380000 | 3801 | 5800k| 15.3 | 27M| 80 | - | 771 |8262 | 771 | 265 | 77 | 307k| 20k| 3.000000e+00 | -- | Inf
1509.97/1510.55 c 1511s|390000 | 3691 | 5955k| 15.3 | 27M| 80 | 4 | 771 |8269 | 771 | 265 | 77 | 316k| 21k| 3.000000e+00 | -- | Inf
1543.65/1544.22 c 1544s|400000 | 3769 | 6128k| 15.3 | 28M| 80 | - | 771 |9186 | 771 | 265 | 77 | 320k| 21k| 3.000000e+00 | -- | Inf
1576.44/1577.05 c 1577s|410000 | 3851 | 6293k| 15.3 | 28M| 80 | 13 | 771 |8735 | 771 | 265 | 77 | 325k| 21k| 3.000000e+00 | -- | Inf
1612.63/1613.22 c 1613s|420000 | 3741 | 6458k| 15.4 | 27M| 80 | - | 771 |8156 | 771 | 265 | 77 | 330k| 22k| 3.000000e+00 | -- | Inf
1655.71/1656.35 c 1656s|430000 | 3863 | 6631k| 15.4 | 28M| 80 | - | 771 |9146 | 0 | 0 | 77 | 339k| 22k| 3.000000e+00 | -- | Inf
1696.50/1697.13 c 1697s|440000 | 3765 | 6788k| 15.4 | 28M| 101 | - | 771 |8831 | 0 | 0 | 77 | 348k| 22k| 3.000000e+00 | -- | Inf
1734.79/1735.46 c 1735s|450000 | 3879 | 6947k| 15.4 | 29M| 101 | 18 | 771 | 10k| 771 | 265 | 77 | 356k| 23k| 3.000000e+00 | -- | Inf
1778.37/1779.01 c 1779s|460000 | 3754 | 7095k| 15.4 | 29M| 101 | - | 771 |9946 | 771 | 265 | 77 | 366k| 23k| 3.000000e+00 | -- | Inf
1789.37/1790.02 c
1789.37/1790.02 c SCIP Status : solving was interrupted [time limit reached]
1789.37/1790.02 c Solving Time (sec) : 1789.98
1789.37/1790.02 c Solving Nodes : 462178
1789.37/1790.02 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.37/1790.02 c Dual Bound : +3.00000000000000e+00
1789.37/1790.02 c Gap : infinite
1789.37/1790.02 s UNKNOWN
1789.37/1790.02 c SCIP Status : solving was interrupted [time limit reached]
1789.37/1790.02 c Solving Time : 1789.98
1789.37/1790.02 c Original Problem :
1789.37/1790.02 c Problem name : HOME/instance-2702831-1278578681.opb
1789.37/1790.02 c Variables : 774 (774 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.37/1790.02 c Constraints : 994 initial, 994 maximal
1789.37/1790.02 c Presolved Problem :
1789.37/1790.02 c Problem name : t_HOME/instance-2702831-1278578681.opb
1789.37/1790.02 c Variables : 771 (771 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.37/1790.02 c Constraints : 222 initial, 12405 maximal
1789.37/1790.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.37/1790.02 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.37/1790.02 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.37/1790.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.37/1790.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.37/1790.02 c implics : 0.00 0 0 0 0 0 0 0 0
1789.37/1790.02 c probing : 0.03 0 0 0 0 0 0 0 0
1789.37/1790.02 c knapsack : 0.03 0 0 0 0 0 0 0 0
1789.37/1790.02 c setppc : 0.00 0 0 0 0 0 0 0 0
1789.37/1790.02 c linear : 0.01 3 0 0 3 0 772 0 0
1789.37/1790.02 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.37/1790.02 c root node : - 0 - - 0 - - - -
1789.37/1790.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.37/1790.02 c integral : 0 0 0 260248 0 127 7994 0 0 510910
1789.37/1790.02 c knapsack : 192 6 1669747 0 1 61195 20386895 1126 0 0
1789.37/1790.02 c setppc : 30 6 1608552 0 1 51240 2476628 0 0 0
1789.37/1790.02 c logicor : 0+ 0 747929 0 0 26831 586257 0 0 0
1789.37/1790.02 c countsols : 0 0 0 0 1 0 0 0 0 0
1789.37/1790.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.37/1790.02 c integral : 97.98 0.00 0.00 97.98 0.00
1789.37/1790.02 c knapsack : 241.23 0.03 241.20 0.00 0.00
1789.37/1790.02 c setppc : 25.27 0.00 25.27 0.00 0.00
1789.37/1790.02 c logicor : 138.63 0.00 138.63 0.00 0.00
1789.37/1790.02 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.37/1790.02 c Propagators : Time Calls Cutoffs DomReds
1789.37/1790.02 c vbounds : 0.67 2 0 0
1789.37/1790.02 c rootredcost : 0.84 0 0 0
1789.37/1790.02 c pseudoobj : 0.59 0 0 0
1789.37/1790.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.37/1790.02 c propagation : 17.70 128888 128754 951731 42.5 4433 31.1 -
1789.37/1790.02 c infeasible LP : 53.89 103879 39127 445098 69.0 524 33.3 0
1789.37/1790.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.37/1790.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.37/1790.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.37/1790.02 c applied globally : - - - 368315 29.6 - - -
1789.37/1790.02 c applied locally : - - - 501 95.8 - - -
1789.37/1790.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.37/1790.02 c cut pool : 0.00 5 - - 473 - (maximal pool size: 977)
1789.37/1790.02 c redcost : 5.16 259897 0 0 0 0
1789.37/1790.02 c impliedbounds : 0.00 6 0 0 0 0
1789.37/1790.02 c intobj : 0.00 0 0 0 0 0
1789.37/1790.02 c cgmip : 0.00 0 0 0 0 0
1789.37/1790.02 c gomory : 0.22 6 0 0 20 0
1789.37/1790.02 c strongcg : 0.22 6 0 0 13 0
1789.37/1790.02 c cmir : 0.22 6 0 0 813 0
1789.37/1790.02 c flowcover : 0.28 6 0 0 1131 0
1789.37/1790.02 c clique : 0.00 6 0 0 1 0
1789.37/1790.02 c zerohalf : 0.00 0 0 0 0 0
1789.37/1790.02 c mcf : 0.00 1 0 0 0 0
1789.37/1790.02 c rapidlearning : 0.08 1 0 0 0 0
1789.37/1790.02 c Pricers : Time Calls Vars
1789.37/1790.02 c problem variables: 0.00 0 0
1789.37/1790.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.37/1790.02 c relpscost : 97.46 260248 127 7994 0 0 510910
1789.37/1790.02 c pscost : 0.00 0 0 0 0 0 0
1789.37/1790.02 c inference : 0.00 1 0 0 0 0 2
1789.37/1790.02 c mostinf : 0.00 0 0 0 0 0 0
1789.37/1790.02 c leastinf : 0.00 0 0 0 0 0 0
1789.37/1790.02 c fullstrong : 0.00 0 0 0 0 0 0
1789.37/1790.02 c allfullstrong : 0.00 0 0 0 0 0 0
1789.37/1790.02 c random : 0.00 0 0 0 0 0 0
1789.37/1790.02 c Primal Heuristics : Time Calls Found
1789.37/1790.02 c LP solutions : 0.00 - 0
1789.37/1790.02 c pseudo solutions : 0.00 - 0
1789.37/1790.02 c oneopt : 0.36 0 0
1789.37/1790.02 c crossover : 0.28 0 0
1789.37/1790.02 c guideddiving : 0.03 0 0
1789.37/1790.02 c intshifting : 0.02 0 0
1789.37/1790.02 c coefdiving : 0.63 14 0
1789.37/1790.02 c linesearchdiving : 0.23 14 0
1789.37/1790.02 c veclendiving : 0.18 14 0
1789.37/1790.02 c pscostdiving : 0.36 15 0
1789.37/1790.02 c fracdiving : 0.50 15 0
1789.37/1790.02 c feaspump : 0.51 8 0
1789.37/1790.02 c objpscostdiving : 0.15 8 0
1789.37/1790.02 c rootsoldiving : 0.18 8 0
1789.37/1790.02 c trivial : 0.00 2 0
1789.37/1790.02 c simplerounding : 0.17 0 0
1789.37/1790.02 c zirounding : 0.23 1000 0
1789.37/1790.02 c rounding : 0.78 7197 0
1789.37/1790.02 c shifting : 3.27 2277 0
1789.37/1790.02 c twoopt : 0.00 0 0
1789.37/1790.02 c fixandinfer : 0.00 0 0
1789.37/1790.02 c intdiving : 0.00 0 0
1789.37/1790.02 c actconsdiving : 0.00 0 0
1789.37/1790.02 c octane : 0.00 0 0
1789.37/1790.02 c rens : 0.06 1 0
1789.37/1790.02 c rins : 0.00 0 0
1789.37/1790.02 c localbranching : 0.00 0 0
1789.37/1790.02 c mutation : 0.00 0 0
1789.37/1790.02 c dins : 0.00 0 0
1789.37/1790.02 c undercover : 0.00 0 0
1789.37/1790.02 c nlp : 0.19 0 0
1789.37/1790.02 c trysol : 0.33 0 0
1789.37/1790.02 c LP : Time Calls Iterations Iter/call Iter/sec
1789.37/1790.02 c primal LP : 0.00 0 0 0.00 -
1789.37/1790.02 c dual LP : 929.29 362701 7126089 19.65 7668.29
1789.37/1790.02 c lex dual LP : 0.00 0 0 0.00 -
1789.37/1790.02 c barrier LP : 0.00 0 0 0.00 -
1789.37/1790.02 c diving/probing LP: 2.02 1609 13651 8.48 6764.66
1789.37/1790.02 c strong branching : 90.19 23359 639873 27.39 7094.61
1789.37/1790.02 c (at root node) : - 12 2577 214.75 -
1789.37/1790.02 c conflict analysis: 0.00 0 0 0.00 -
1789.37/1790.02 c B&B Tree :
1789.37/1790.02 c number of runs : 1
1789.37/1790.02 c nodes : 462178
1789.37/1790.02 c nodes (total) : 462178
1789.37/1790.02 c nodes left : 3810
1789.37/1790.02 c max depth : 101
1789.37/1790.02 c max depth (total): 101
1789.37/1790.02 c backtracks : 88555 (19.2%)
1789.37/1790.02 c delayed cutoffs : 44925
1789.37/1790.02 c repropagations : 475073 (6402121 domain reductions, 36321 cutoffs)
1789.37/1790.02 c avg switch length: 4.83
1789.37/1790.02 c switching time : 152.23
1789.37/1790.02 c Solution :
1789.37/1790.02 c Solutions found : 0 (0 improvements)
1789.37/1790.02 c Primal Bound : -
1789.37/1790.02 c Dual Bound : +3.00000000000000e+00
1789.37/1790.02 c Gap : infinite
1789.37/1790.02 c Root Dual Bound : +3.00000000000000e+00
1789.37/1790.02 c Root Iterations : 1097
1789.47/1790.12 c Time complete: 1789.49.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702831-1278578681/watcher-2702831-1278578681 -o /tmp/evaluation-result-2702831-1278578681/solver-2702831-1278578681 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2702831-1278578681.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.97 0.91 3/106 30251
/proc/meminfo: memFree=1622436/2059040 swapFree=4134964/4192956
[pid=30251] ppid=30249 vsize=7904 CPUtime=0
/proc/30251/stat : 30251 (pbscip.linux.x8) R 30249 30251 29826 0 -1 4202496 1072 0 0 0 0 0 0 0 18 0 1 0 26081372 8093696 983 1992294400 4194304 8395647 140734691619584 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30251/statm: 1976 992 365 1026 0 946 0
[startup+0.0866211 s]
/proc/loadavg: 0.92 0.97 0.91 3/106 30251
/proc/meminfo: memFree=1622436/2059040 swapFree=4134964/4192956
[pid=30251] ppid=30249 vsize=18104 CPUtime=0.08
/proc/30251/stat : 30251 (pbscip.linux.x8) R 30249 30251 29826 0 -1 4202496 3927 0 0 0 7 1 0 0 20 0 1 0 26081372 18538496 3484 1992294400 4194304 8395647 140734691619584 18446744073709551615 4911117 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30251/statm: 4526 3484 485 1026 0 3496 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 18104
[startup+0.101624 s]
/proc/loadavg: 0.92 0.97 0.91 3/106 30251
/proc/meminfo: memFree=1622436/2059040 swapFree=4134964/4192956
[pid=30251] ppid=30249 vsize=18672 CPUtime=0.09
/proc/30251/stat : 30251 (pbscip.linux.x8) R 30249 30251 29826 0 -1 4202496 4086 0 0 0 8 1 0 0 20 0 1 0 26081372 19120128 3643 1992294400 4194304 8395647 140734691619584 18446744073709551615 4911711 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30251/statm: 4668 3643 497 1026 0 3638 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18672
[startup+0.301663 s]
/proc/loadavg: 0.92 0.97 0.91 3/106 30251
/proc/meminfo: memFree=1622436/2059040 swapFree=4134964/4192956
[pid=30251] ppid=30249 vsize=32884 CPUtime=0.29
/proc/30251/stat : 30251 (pbscip.linux.x8) R 30249 30251 29826 0 -1 4202496 7514 0 0 0 27 2 0 0 20 0 1 0 26081372 33673216 7052 1992294400 4194304 8395647 140734691619584 18446744073709551615 4735511 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30251/statm: 8221 7052 616 1026 0 7191 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32884
[startup+0.700739 s]
/proc/loadavg: 0.92 0.97 0.91 3/106 30251
/proc/meminfo: memFree=1622436/2059040 swapFree=4134964/4192956
[pid=30251] ppid=30249 vsize=22996 CPUtime=0.69
/proc/30251/stat : 30251 (pbscip.linux.x8) R 30249 30251 29826 0 -1 4202496 8266 0 0 0 66 3 0 0 21 0 1 0 26081372 23547904 4927 1992294400 4194304 8395647 140734691619584 18446744073709551615 4270206 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30251/statm: 5749 4927 638 1026 0 4719 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22996
[startup+1.50089 s]
/proc/loadavg: 0.92 0.97 0.91 2/107 30252
/proc/meminfo: memFree=1604324/2059040 swapFree=4134964/4192956
[pid=30251] ppid=30249 vsize=23996 CPUtime=1.49
/proc/30251/stat : 30251 (pbscip.linux.x8) R 30249 30251 29826 0 -1 4202496 11049 0 0 0 144 5 0 0 23 0 1 0 26081372 24571904 5184 1992294400 4194304 8395647 140734691619584 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30251/statm: 5999 5184 635 1026 0 4969 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23996
[startup+3.1012 s]
/proc/loadavg: 0.92 0.97 0.91 2/107 30252
/proc/meminfo: memFree=1603208/2059040 swapFree=4134964/4192956
[pid=30251] ppid=30249 vsize=23996 CPUtime=3.08
/proc/30251/stat : 30251 (pbscip.linux.x8) R 30249 30251 29826 0 -1 4202496 11050 0 0 0 300 8 0 0 25 0 1 0 26081372 24571904 5185 1992294400 4194304 8395647 140734691619584 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30251/statm: 5999 5185 636 1026 0 4969 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 23996
[startup+6.30081 s]
/proc/loadavg: 0.93 0.97 0.91 2/107 30252
/proc/meminfo: memFree=1602960/2059040 swapFree=4134964/4192956
[pid=30251] ppid=30249 vsize=23996 CPUtime=6.29
/proc/30251/stat : 30251 (pbscip.linux.x8) R 30249 30251 29826 0 -1 4202496 11054 0 0 0 614 15 0 0 25 0 1 0 26081372 24571904 5189 1992294400 4194304 8395647 140734691619584 18446744073709551615 6693725 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30251/statm: 5999 5189 639 1026 0 4969 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23996
[startup+12.701 s]
/proc/loadavg: 0.93 0.97 0.91 2/107 30252
/proc/meminfo: memFree=1602960/2059040 swapFree=4134964/4192956
[pid=30251] ppid=30249 vsize=23996 CPUtime=12.69
/proc/30251/stat : 30251 (pbscip.linux.x8) R 30249 30251 29826 0 -1 4202496 11055 0 0 0 1238 31 0 0 25 0 1 0 26081372 24571904 5190 1992294400 4194304 8395647 140734691619584 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30251/statm: 5999 5190 640 1026 0 4969 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23996
[startup+25.5015 s]
/proc/loadavg: 0.95 0.97 0.91 2/107 30252
/proc/meminfo: memFree=1601348/2059040 swapFree=4134964/4192956
[pid=30251] ppid=30249 vsize=26508 CPUtime=25.48
/proc/30251/stat : 30251 (pbscip.linux.x8) R 30249 30251 29826 0 -1 4202496 11640 0 0 0 2492 56 0 0 25 0 1 0 26081372 27144192 5775 1992294400 4194304 8395647 140734691619584 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30251/statm: 6627 5775 640 1026 0 5597 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 26508
[startup+51.1014 s]
/proc/loadavg: 0.96 0.97 0.91 2/107 30252
/proc/meminfo: memFree=1596760/2059040 swapFree=4134964/4192956
[pid=30251] ppid=30249 vsize=30956 CPUtime=51.07
/proc/30251/stat : 30251 (pbscip.linux.x8) R 30249 30251 29826 0 -1 4202496 12768 0 0 0 5004 103 0 0 25 0 1 0 26081372 31698944 6890 1992294400 4194304 8395647 140734691619584 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30251/statm: 7739 6890 640 1026 0 6709 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 30956
[startup+102.308 s]
/proc/loadavg: 0.98 0.97 0.91 2/107 30254
/proc/meminfo: memFree=1592916/2059040 swapFree=4134964/4192956
[pid=30251] ppid=30249 vsize=34816 CPUtime=102.26
/proc/30251/stat : 30251 (pbscip.linux.x8) R 30249 30251 29826 0 -1 4202496 13759 0 0 0 10034 192 0 0 25 0 1 0 26081372 35651584 7881 1992294400 4194304 8395647 140734691619584 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30251/statm: 8704 7881 640 1026 0 7674 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 34816
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30256
/proc/meminfo: memFree=1590560/2059040 swapFree=4134964/4192956
[pid=30251] ppid=30249 vsize=36964 CPUtime=162.23
/proc/30251/stat : 30251 (pbscip.linux.x8) R 30249 30251 29826 0 -1 4202496 14299 0 0 0 15921 302 0 0 25 0 1 0 26081372 37851136 8421 1992294400 4194304 8395647 140734691619584 18446744073709551615 4911290 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30251/statm: 9241 8421 640 1026 0 8211 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 36964
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30258
/proc/meminfo: memFree=1584732/2059040 swapFree=4134964/4192956
[pid=30251] ppid=30249 vsize=42992 CPUtime=222.21
/proc/30251/stat : 30251 (pbscip.linux.x8) R 30249 30251 29826 0 -1 4202496 15773 0 0 0 21825 396 0 0 25 0 1 0 26081372 44023808 9892 1992294400 4194304 8395647 140734691619584 18446744073709551615 4911228 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30251/statm: 10748 9892 640 1026 0 9718 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 42992
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30260
/proc/meminfo: memFree=1580516/2059040 swapFree=4134964/4192956
[pid=30251] ppid=30249 vsize=47124 CPUtime=282.19
/proc/30251/stat : 30251 (pbscip.linux.x8) R 30249 30251 29826 0 -1 4202496 16821 0 0 0 27733 486 0 0 25 0 1 0 26081372 48254976 10939 1992294400 4194304 8395647 140734691619584 18446744073709551615 6189870 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30251/statm: 11781 10939 640 1026 0 10751 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 47124
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30260
/proc/meminfo: memFree=1578780/2059040 swapFree=4134964/4192956
[pid=30251] ppid=30249 vsize=48828 CPUtime=342.17
/proc/30251/stat : 30251 (pbscip.linux.x8) R 30249 30251 29826 0 -1 4202496 17244 0 0 0 33640 577 0 0 25 0 1 0 26081372 49999872 11362 1992294400 4194304 8395647 140734691619584 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30251/statm: 12207 11362 640 1026 0 11177 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 48828
[startup+402.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30262
/proc/meminfo: memFree=1577168/2059040 swapFree=4134964/4192956
[pid=30251] ppid=30249 vsize=50484 CPUtime=402.15
/proc/30251/stat : 30251 (pbscip.linux.x8) R 30249 30251 29826 0 -1 4202496 17661 0 0 0 39553 662 0 0 25 0 1 0 26081372 51695616 11779 1992294400 4194304 8395647 140734691619584 18446744073709551615 6040306 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30251/statm: 12621 11779 640 1026 0 11591 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 50484
[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30264
/proc/meminfo: memFree=1575060/2059040 swapFree=4134964/4192956
[pid=30251] ppid=30249 vsize=52632 CPUtime=462.13
/proc/30251/stat : 30251 (pbscip.linux.x8) R 30249 30251 29826 0 -1 4202496 18208 0 0 0 45468 745 0 0 25 0 1 0 26081372 53895168 12326 1992294400 4194304 8395647 140734691619584 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30251/statm: 13158 12326 640 1026 0 12128 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 52632
[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30266
/proc/meminfo: memFree=1573076/2059040 swapFree=4134964/4192956
[pid=30251] ppid=30249 vsize=54300 CPUtime=522.11
/proc/30251/stat : 30251 (pbscip.linux.x8) R 30249 30251 29826 0 -1 4202496 18642 0 0 0 51377 834 0 0 25 0 1 0 26081372 55603200 12760 1992294400 4194304 8395647 140734691619584 18446744073709551615 6358095 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30251/statm: 13575 12760 640 1026 0 12545 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 54300
[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30268
/proc/meminfo: memFree=1571464/2059040 swapFree=4134964/4192956
[pid=30251] ppid=30249 vsize=55880 CPUtime=582.09
/proc/30251/stat : 30251 (pbscip.linux.x8) R 30249 30251 29826 0 -1 4202496 19022 0 0 0 57277 932 0 0 25 0 1 0 26081372 57221120 13140 1992294400 4194304 8395647 140734691619584 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30251/statm: 13970 13140 640 1026 0 12940 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 55880
[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30268
/proc/meminfo: memFree=1571216/2059040 swapFree=4134964/4192956
[pid=30251] ppid=30249 vsize=56184 CPUtime=642.08
/proc/30251/stat : 30251 (pbscip.linux.x8) R 30249 30251 29826 0 -1 4202496 19097 0 0 0 63173 1035 0 0 25 0 1 0 26081372 57532416 13215 1992294400 4194304 8395647 140734691619584 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30251/statm: 14046 13215 640 1026 0 13016 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 56184
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1565388/2059040 swapFree=4134964/4192956
[pid=30251] ppid=30249 vsize=60880 CPUtime=1001.94
/proc/30251/stat : 30251 (pbscip.linux.x8) R 30249 30251 29826 0 -1 4202496 20304 0 0 0 98579 1615 0 0 25 0 1 0 26081372 62341120 14422 1992294400 4194304 8395647 140734691619584 18446744073709551615 4911327 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30251/statm: 15220 14422 640 1026 0 14190 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 60880
[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30289
/proc/meminfo: memFree=1564148/2059040 swapFree=4134964/4192956
[pid=30251] ppid=30249 vsize=62356 CPUtime=1061.91
/proc/30251/stat : 30251 (pbscip.linux.x8) R 30249 30251 29826 0 -1 4202496 20650 0 0 0 104490 1701 0 0 25 0 1 0 26081372 63852544 14768 1992294400 4194304 8395647 140734691619584 18446744073709551615 4215536 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30251/statm: 15589 14768 640 1026 0 14559 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 62356
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30291
/proc/meminfo: memFree=1563528/2059040 swapFree=4134964/4192956
[pid=30251] ppid=30249 vsize=63116 CPUtime=1121.9
/proc/30251/stat : 30251 (pbscip.linux.x8) R 30249 30251 29826 0 -1 4202496 20818 0 0 0 110404 1786 0 0 25 0 1 0 26081372 64630784 14936 1992294400 4194304 8395647 140734691619584 18446744073709551615 6120558 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30251/statm: 15779 14936 640 1026 0 14749 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 63116
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30293
/proc/meminfo: memFree=1562908/2059040 swapFree=4134964/4192956
[pid=30251] ppid=30249 vsize=63632 CPUtime=1181.88
/proc/30251/stat : 30251 (pbscip.linux.x8) R 30249 30251 29826 0 -1 4202496 20970 0 0 0 116305 1883 0 0 25 0 1 0 26081372 65159168 15088 1992294400 4194304 8395647 140734691619584 18446744073709551615 4217115 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30251/statm: 15908 15088 640 1026 0 14878 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 63632
[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30293
/proc/meminfo: memFree=1562412/2059040 swapFree=4134964/4192956
[pid=30251] ppid=30249 vsize=64068 CPUtime=1241.86
/proc/30251/stat : 30251 (pbscip.linux.x8) R 30249 30251 29826 0 -1 4202496 21090 0 0 0 122214 1972 0 0 25 0 1 0 26081372 65605632 15208 1992294400 4194304 8395647 140734691619584 18446744073709551615 4737471 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30251/statm: 16017 15208 640 1026 0 14987 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 64068
[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30295
/proc/meminfo: memFree=1561172/2059040 swapFree=4134964/4192956
[pid=30251] ppid=30249 vsize=65244 CPUtime=1301.84
/proc/30251/stat : 30251 (pbscip.linux.x8) R 30249 30251 29826 0 -1 4202496 21387 0 0 0 128121 2063 0 0 25 0 1 0 26081372 66809856 15505 1992294400 4194304 8395647 140734691619584 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30251/statm: 16311 15505 640 1026 0 15281 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 65244
[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30297
/proc/meminfo: memFree=1560428/2059040 swapFree=4134964/4192956
[pid=30251] ppid=30249 vsize=66020 CPUtime=1361.82
/proc/30251/stat : 30251 (pbscip.linux.x8) R 30249 30251 29826 0 -1 4202496 21553 0 0 0 134028 2154 0 0 25 0 1 0 26081372 67604480 15671 1992294400 4194304 8395647 140734691619584 18446744073709551615 7380407 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30251/statm: 16505 15671 640 1026 0 15475 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 66020
[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30299
/proc/meminfo: memFree=1560428/2059040 swapFree=4134964/4192956
[pid=30251] ppid=30249 vsize=66020 CPUtime=1421.81
/proc/30251/stat : 30251 (pbscip.linux.x8) R 30249 30251 29826 0 -1 4202496 21576 0 0 0 139934 2247 0 0 25 0 1 0 26081372 67604480 15694 1992294400 4194304 8395647 140734691619584 18446744073709551615 6068924 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30251/statm: 16505 15694 640 1026 0 15475 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 66020
[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30301
/proc/meminfo: memFree=1560180/2059040 swapFree=4134964/4192956
[pid=30251] ppid=30249 vsize=66212 CPUtime=1481.78
/proc/30251/stat : 30251 (pbscip.linux.x8) R 30249 30251 29826 0 -1 4202496 21627 0 0 0 145836 2342 0 0 25 0 1 0 26081372 67801088 15745 1992294400 4194304 8395647 140734691619584 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30251/statm: 16553 15745 640 1026 0 15523 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 66212
[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30301
/proc/meminfo: memFree=1560180/2059040 swapFree=4134964/4192956
[pid=30251] ppid=30249 vsize=66456 CPUtime=1541.75
/proc/30251/stat : 30251 (pbscip.linux.x8) R 30249 30251 29826 0 -1 4202496 21662 0 0 0 151732 2443 0 0 25 0 1 0 26081372 68050944 15780 1992294400 4194304 8395647 140734691619584 18446744073709551615 6723624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30251/statm: 16614 15780 640 1026 0 15584 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 66456
[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30303
/proc/meminfo: memFree=1560056/2059040 swapFree=4134964/4192956
[pid=30251] ppid=30249 vsize=66456 CPUtime=1601.73
/proc/30251/stat : 30251 (pbscip.linux.x8) R 30249 30251 29826 0 -1 4202496 21663 0 0 0 157621 2552 0 0 25 0 1 0 26081372 68050944 15781 1992294400 4194304 8395647 140734691619584 18446744073709551615 6120558 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30251/statm: 16614 15781 640 1026 0 15584 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 66456
[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30305
/proc/meminfo: memFree=1559808/2059040 swapFree=4134964/4192956
[pid=30251] ppid=30249 vsize=66684 CPUtime=1661.71
/proc/30251/stat : 30251 (pbscip.linux.x8) R 30249 30251 29826 0 -1 4202496 21743 0 0 0 163527 2644 0 0 25 0 1 0 26081372 68284416 15861 1992294400 4194304 8395647 140734691619584 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30251/statm: 16671 15861 640 1026 0 15641 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 66684
[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30307
/proc/meminfo: memFree=1559436/2059040 swapFree=4134964/4192956
[pid=30251] ppid=30249 vsize=67116 CPUtime=1721.7
/proc/30251/stat : 30251 (pbscip.linux.x8) R 30249 30251 29826 0 -1 4202496 21824 0 0 0 169432 2738 0 0 25 0 1 0 26081372 68726784 15942 1992294400 4194304 8395647 140734691619584 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30251/statm: 16779 15942 640 1026 0 15749 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 67116
[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30309
/proc/meminfo: memFree=1558196/2059040 swapFree=4134964/4192956
[pid=30251] ppid=30249 vsize=68264 CPUtime=1781.67
/proc/30251/stat : 30251 (pbscip.linux.x8) R 30249 30251 29826 0 -1 4202496 22134 0 0 0 175356 2811 0 0 25 0 1 0 26081372 69902336 16252 1992294400 4194304 8395647 140734691619584 18446744073709551615 6721251 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30251/statm: 17066 16252 640 1026 0 16036 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 68264
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30309
/proc/meminfo: memFree=1558196/2059040 swapFree=4134964/4192956
[pid=30251] ppid=30249 vsize=68264 CPUtime=1784.87
/proc/30251/stat : 30251 (pbscip.linux.x8) R 30249 30251 29826 0 -1 4202496 22134 0 0 0 175670 2817 0 0 25 0 1 0 26081372 69902336 16252 1992294400 4194304 8395647 140734691619584 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30251/statm: 17066 16252 640 1026 0 16036 0
Current children cumulated CPU time (s) 1784.87
Current children cumulated vsize (KiB) 68264
[startup+1788.7 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30309
/proc/meminfo: memFree=1558072/2059040 swapFree=4134964/4192956
[pid=30251] ppid=30249 vsize=68436 CPUtime=1788.07
/proc/30251/stat : 30251 (pbscip.linux.x8) R 30249 30251 29826 0 -1 4202496 22151 0 0 0 175984 2823 0 0 25 0 1 0 26081372 70078464 16269 1992294400 4194304 8395647 140734691619584 18446744073709551615 4911552 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30251/statm: 17109 16269 640 1026 0 16079 0
Current children cumulated CPU time (s) 1788.07
Current children cumulated vsize (KiB) 68436
[startup+1789.5 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30309
/proc/meminfo: memFree=1558072/2059040 swapFree=4134964/4192956
[pid=30251] ppid=30249 vsize=68436 CPUtime=1788.87
/proc/30251/stat : 30251 (pbscip.linux.x8) R 30249 30251 29826 0 -1 4202496 22151 0 0 0 176062 2825 0 0 25 0 1 0 26081372 70078464 16269 1992294400 4194304 8395647 140734691619584 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30251/statm: 17109 16269 640 1026 0 16079 0
Current children cumulated CPU time (s) 1788.87
Current children cumulated vsize (KiB) 68436
[startup+1789.9 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30309
/proc/meminfo: memFree=1558072/2059040 swapFree=4134964/4192956
[pid=30251] ppid=30249 vsize=68436 CPUtime=1789.27
/proc/30251/stat : 30251 (pbscip.linux.x8) R 30249 30251 29826 0 -1 4202496 22151 0 0 0 176102 2825 0 0 25 0 1 0 26081372 70078464 16269 1992294400 4194304 8395647 140734691619584 18446744073709551615 6349190 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30251/statm: 17109 16269 640 1026 0 16079 0
Current children cumulated CPU time (s) 1789.27
Current children cumulated vsize (KiB) 68436
[startup+1790.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30309
/proc/meminfo: memFree=1558072/2059040 swapFree=4134964/4192956
[pid=30251] ppid=30249 vsize=68436 CPUtime=1789.47
/proc/30251/stat : 30251 (pbscip.linux.x8) R 30249 30251 29826 0 -1 4202496 22154 0 0 0 176122 2825 0 0 25 0 1 0 26081372 70078464 16272 1992294400 4194304 8395647 140734691619584 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30251/statm: 17109 16272 643 1026 0 16079 0
Current children cumulated CPU time (s) 1789.47
Current children cumulated vsize (KiB) 68436
Child status: 0
Real time (s): 1790.12
CPU time (s): 1789.5
CPU user time (s): 1761.23
CPU system time (s): 28.2627
CPU usage (%): 99.9652
Max. virtual memory (cumulated for all children) (KiB): 68436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1761.23
system time used= 28.2627
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22157
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= 6560
runsolver used 2.80857 second user time and 8.59569 second system time
The end