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-2666262-1276688832.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.05 c presolving:
0.00/0.06 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.06 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.07 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.14 c (0.1s) probing: 101/771 (13.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.14 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.14 c presolving (4 rounds):
0.09/0.14 c 3 deleted vars, 772 deleted constraints, 3 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.14 c 1542 implications, 114 cliques
0.09/0.14 c presolved problem has 771 variables (771 bin, 0 int, 0 impl, 0 cont) and 222 constraints
0.09/0.14 c 192 constraints of type <knapsack>
0.09/0.14 c 30 constraints of type <setppc>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.09
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.14 c # SCIP version 1.2.1.2
0.09/0.14 c
0.09/0.14 c # frequency for displaying node information lines
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14 c display/freq = 10000
0.09/0.14 c
0.09/0.14 c # maximal time in seconds to run
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/time = 1799.97
0.09/0.14 c
0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/memory = 1620
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify inequalities
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/linear/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify knapsacks
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c separating/rapidlearning/freq = 0
0.09/0.14 c
0.09/0.14 c -----------------------------------------------------------------------------------------------
0.09/0.14 c start solving
0.09/0.14 c
0.09/0.16 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.16 c 0.1s| 1 | 0 | 115 | - |3744k| 0 | 18 | 771 | 222 | 771 | 222 | 0 | 0 | 0 | 3.000000e+00 | -- | Inf
0.29/0.38 c 0.3s| 1 | 0 | 480 | - |4043k| 0 | 39 | 771 | 222 | 771 | 233 | 11 | 0 | 0 | 3.000000e+00 | -- | Inf
0.49/0.50 c 0.4s| 1 | 0 | 546 | - |4282k| 0 | 54 | 771 | 222 | 771 | 249 | 27 | 0 | 0 | 3.000000e+00 | -- | Inf
0.59/0.67 c 0.6s| 1 | 0 | 598 | - |4441k| 0 | 70 | 771 | 222 | 771 | 263 | 41 | 0 | 0 | 3.000000e+00 | -- | Inf
0.79/0.88 c 0.8s| 1 | 0 | 767 | - |4709k| 0 | 67 | 771 | 222 | 771 | 276 | 54 | 0 | 0 | 3.000000e+00 | -- | Inf
1.10/1.14 c 1.1s| 1 | 0 | 946 | - |4902k| 0 | 83 | 771 | 222 | 771 | 288 | 66 | 0 | 0 | 3.000000e+00 | -- | Inf
1.39/1.42 c 1.3s| 1 | 0 | 1097 | - |5059k| 0 | 70 | 771 | 222 | 771 | 299 | 77 | 0 | 0 | 3.000000e+00 | -- | Inf
1.99/2.06 c 1.9s| 1 | 2 | 1097 | - |5060k| 0 | 70 | 771 | 222 | 771 | 299 | 77 | 0 | 12 | 3.000000e+00 | -- | Inf
64.37/64.46 c 62.7s| 10000 | 419 |189833 | 18.9 |8918k| 67 | - | 771 |3695 | 0 | 0 | 77 | 10k|5058 | 3.000000e+00 | -- | Inf
113.05/113.10 c 110s| 20000 | 542 |388870 | 19.4 | 10M| 67 | - | 771 |3889 | 771 | 265 | 77 | 20k|6404 | 3.000000e+00 | -- | Inf
160.84/160.94 c 157s| 30000 | 645 |589091 | 19.6 | 11M| 67 | - | 771 |4933 | 771 | 265 | 77 | 29k|7650 | 3.000000e+00 | -- | Inf
204.12/204.20 c 199s| 40000 | 1050 |777447 | 19.4 | 13M| 67 | 25 | 771 |6271 | 771 | 265 | 77 | 38k|7953 | 3.000000e+00 | -- | Inf
245.30/245.48 c 239s| 50000 | 1560 |924670 | 18.5 | 15M| 67 | 31 | 771 |8623 | 771 | 265 | 77 | 47k|8214 | 3.000000e+00 | -- | Inf
285.08/285.28 c 278s| 60000 | 1981 | 1074k| 17.9 | 18M| 67 | 29 | 771 |9426 | 771 | 265 | 77 | 55k|8586 | 3.000000e+00 | -- | Inf
328.57/328.74 c 320s| 70000 | 2167 | 1220k| 17.4 | 19M| 67 | - | 771 |9091 | 0 | 0 | 77 | 64k|9052 | 3.000000e+00 | -- | Inf
368.15/368.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
368.15/368.36 c 359s| 80000 | 2166 | 1369k| 17.1 | 19M| 67 | - | 771 |9328 | 0 | 0 | 77 | 72k|9575 | 3.000000e+00 | -- | Inf
409.14/409.36 c 399s| 90000 | 2377 | 1514k| 16.8 | 20M| 67 | 23 | 771 | 10k| 771 | 265 | 77 | 80k|9986 | 3.000000e+00 | -- | Inf
449.52/449.80 c 439s|100000 | 2524 | 1653k| 16.5 | 21M| 67 | 28 | 771 |9626 | 771 | 265 | 77 | 89k| 10k| 3.000000e+00 | -- | Inf
489.31/489.54 c 477s|110000 | 2726 | 1783k| 16.2 | 22M| 67 | 10 | 771 | 10k| 771 | 265 | 77 | 98k| 10k| 3.000000e+00 | -- | Inf
533.09/533.33 c 520s|120000 | 2771 | 1933k| 16.1 | 22M| 67 | 25 | 771 | 10k| 771 | 265 | 77 | 106k| 10k| 3.000000e+00 | -- | Inf
569.48/569.72 c 556s|130000 | 2929 | 2063k| 15.9 | 23M| 67 | 10 | 771 | 10k| 771 | 265 | 77 | 113k| 11k| 3.000000e+00 | -- | Inf
610.55/610.83 c 596s|140000 | 2883 | 2222k| 15.9 | 22M| 69 | 36 | 771 |9273 | 771 | 265 | 77 | 120k| 12k| 3.000000e+00 | -- | Inf
647.73/648.02 c 632s|150000 | 2826 | 2374k| 15.8 | 22M| 74 | 22 | 771 |8789 | 771 | 265 | 77 | 125k| 13k| 3.000000e+00 | -- | Inf
681.82/682.14 c 665s|160000 | 3068 | 2506k| 15.7 | 23M| 74 | 24 | 771 |9689 | 771 | 265 | 77 | 132k| 13k| 3.000000e+00 | -- | Inf
716.11/716.43 c 698s|170000 | 3245 | 2635k| 15.5 | 24M| 74 | 22 | 771 | 10k| 771 | 265 | 77 | 138k| 13k| 3.000000e+00 | -- | Inf
753.20/753.53 c 735s|180000 | 3222 | 2779k| 15.4 | 23M| 74 | 30 | 771 |9020 | 771 | 265 | 77 | 145k| 14k| 3.000000e+00 | -- | Inf
793.68/794.06 c 774s|190000 | 3314 | 2932k| 15.4 | 23M| 74 | 10 | 771 |7951 | 771 | 265 | 77 | 153k| 14k| 3.000000e+00 | -- | Inf
833.36/833.72 c 813s|200000 | 3381 | 3079k| 15.4 | 23M| 74 | - | 771 |7593 | 771 | 265 | 77 | 162k| 15k| 3.000000e+00 | -- | Inf
874.04/874.42 c 853s|210000 | 3537 | 3225k| 15.4 | 24M| 74 | 31 | 771 |8590 | 771 | 265 | 77 | 171k| 15k| 3.000000e+00 | -- | Inf
910.52/910.94 c 888s|220000 | 3846 | 3370k| 15.3 | 25M| 74 | - | 771 |9299 | 0 | 0 | 77 | 178k| 15k| 3.000000e+00 | -- | Inf
942.40/942.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
942.40/942.87 c 919s|230000 | 3957 | 3509k| 15.3 | 26M| 74 | - | 771 |9885 | 771 | 265 | 77 | 183k| 15k| 3.000000e+00 | -- | Inf
980.59/981.02 c 956s|240000 | 3969 | 3648k| 15.2 | 26M| 74 | 15 | 771 |9410 | 771 | 265 | 77 | 191k| 16k| 3.000000e+00 | -- | Inf
1019.57/1020.07 c 994s|250000 | 3941 | 3795k| 15.2 | 26M| 74 | - | 771 |8203 | 771 | 265 | 77 | 198k| 16k| 3.000000e+00 | -- | Inf
1062.56/1063.04 c 1036s|260000 | 3900 | 3957k| 15.2 | 26M| 74 | - | 771 |8341 | 771 | 265 | 77 | 207k| 17k| 3.000000e+00 | -- | Inf
1104.34/1104.86 c 1077s|270000 | 4189 | 4105k| 15.2 | 28M| 74 | 30 | 771 |9956 | 771 | 265 | 77 | 217k| 17k| 3.000000e+00 | -- | Inf
1148.63/1149.19 c 1121s|280000 | 3854 | 4255k| 15.2 | 26M| 74 | - | 771 |8115 | 771 | 265 | 77 | 227k| 17k| 3.000000e+00 | -- | Inf
1184.81/1185.31 c 1156s|290000 | 3756 | 4385k| 15.1 | 26M| 74 | 22 | 771 |8537 | 771 | 265 | 77 | 236k| 17k| 3.000000e+00 | -- | Inf
1221.09/1221.65 c 1191s|300000 | 3852 | 4539k| 15.1 | 26M| 74 | - | 771 |7764 | 0 | 0 | 77 | 242k| 18k| 3.000000e+00 | -- | Inf
1261.27/1261.81 c 1230s|310000 | 3897 | 4691k| 15.1 | 26M| 74 | - | 771 |7041 | 771 | 265 | 77 | 250k| 18k| 3.000000e+00 | -- | Inf
1301.87/1302.48 c 1270s|320000 | 3836 | 4838k| 15.1 | 27M| 74 | - | 771 |7839 | 771 | 265 | 77 | 259k| 19k| 3.000000e+00 | -- | Inf
1342.55/1343.14 c 1310s|330000 | 4228 | 4997k| 15.1 | 29M| 74 | 36 | 771 |9209 | 771 | 265 | 77 | 266k| 19k| 3.000000e+00 | -- | Inf
1383.83/1384.47 c 1350s|340000 | 4163 | 5154k| 15.2 | 28M| 74 | 28 | 771 |8097 | 771 | 265 | 77 | 275k| 19k| 3.000000e+00 | -- | Inf
1422.42/1423.05 c 1388s|350000 | 4124 | 5303k| 15.2 | 29M| 74 | - | 771 |9533 | 771 | 265 | 77 | 284k| 19k| 3.000000e+00 | -- | Inf
1469.20/1469.85 c 1433s|360000 | 3877 | 5479k| 15.2 | 27M| 74 | - | 771 |7946 | 771 | 265 | 77 | 293k| 20k| 3.000000e+00 | -- | Inf
1503.28/1503.96 c 1467s|370000 | 3833 | 5618k| 15.2 | 27M| 74 | - | 771 |8651 | 771 | 265 | 77 | 299k| 20k| 3.000000e+00 | -- | Inf
1548.57/1549.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1548.57/1549.28 c 1511s|380000 | 3801 | 5800k| 15.3 | 27M| 80 | - | 771 |8262 | 771 | 265 | 77 | 307k| 20k| 3.000000e+00 | -- | Inf
1589.35/1590.06 c 1551s|390000 | 3691 | 5955k| 15.3 | 27M| 80 | 4 | 771 |8269 | 771 | 265 | 77 | 316k| 21k| 3.000000e+00 | -- | Inf
1624.83/1625.55 c 1585s|400000 | 3769 | 6128k| 15.3 | 28M| 80 | - | 771 |9186 | 771 | 265 | 77 | 320k| 21k| 3.000000e+00 | -- | Inf
1659.42/1660.16 c 1619s|410000 | 3851 | 6293k| 15.3 | 28M| 80 | 13 | 771 |8735 | 771 | 265 | 77 | 325k| 21k| 3.000000e+00 | -- | Inf
1697.51/1698.25 c 1656s|420000 | 3741 | 6458k| 15.4 | 27M| 80 | - | 771 |8156 | 771 | 265 | 77 | 330k| 22k| 3.000000e+00 | -- | Inf
1742.89/1743.62 c 1700s|430000 | 3863 | 6631k| 15.4 | 28M| 80 | - | 771 |9146 | 0 | 0 | 77 | 339k| 22k| 3.000000e+00 | -- | Inf
1785.77/1786.56 c 1742s|440000 | 3765 | 6788k| 15.4 | 28M| 101 | - | 771 |8831 | 0 | 0 | 77 | 348k| 22k| 3.000000e+00 | -- | Inf
1800.07/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.81 c
1800.07/1800.81 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.81 c Solving Time (sec) : 1756.09
1800.07/1800.81 c Solving Nodes : 443863
1800.07/1800.81 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.07/1800.81 c Dual Bound : +3.00000000000000e+00
1800.07/1800.81 c Gap : infinite
1800.07/1800.81 s UNKNOWN
1800.07/1800.81 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.81 c Solving Time : 1756.09
1800.07/1800.81 c Original Problem :
1800.07/1800.81 c Problem name : HOME/instance-2666262-1276688832.opb
1800.07/1800.81 c Variables : 774 (774 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.81 c Constraints : 994 initial, 994 maximal
1800.07/1800.81 c Presolved Problem :
1800.07/1800.81 c Problem name : t_HOME/instance-2666262-1276688832.opb
1800.07/1800.81 c Variables : 771 (771 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.81 c Constraints : 222 initial, 11214 maximal
1800.07/1800.81 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.81 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.81 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.81 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.81 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.81 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.81 c probing : 0.03 0 0 0 0 0 0 0 0
1800.07/1800.81 c knapsack : 0.03 0 0 0 0 0 0 0 0
1800.07/1800.81 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.81 c linear : 0.01 3 0 0 3 0 772 0 0
1800.07/1800.81 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.81 c root node : - 0 - - 0 - - - -
1800.07/1800.81 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.81 c integral : 0 0 0 249882 0 126 7944 0 0 490230
1800.07/1800.81 c knapsack : 192 6 1598363 0 0 58086 19315751 1126 0 0
1800.07/1800.81 c setppc : 30 6 1540277 0 0 49358 2410035 0 0 0
1800.07/1800.81 c logicor : 0+ 0 713165 0 0 25047 552020 0 0 0
1800.07/1800.81 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.81 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.81 c integral : 98.00 0.00 0.00 98.00 0.00
1800.07/1800.81 c knapsack : 252.32 0.03 252.29 0.00 0.00
1800.07/1800.81 c setppc : 24.67 0.00 24.67 0.00 0.00
1800.07/1800.81 c logicor : 129.08 0.00 129.08 0.00 0.00
1800.07/1800.81 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.81 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.81 c vbounds : 1.13 2 0 0
1800.07/1800.81 c rootredcost : 0.90 0 0 0
1800.07/1800.81 c pseudoobj : 0.83 0 0 0
1800.07/1800.81 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.81 c propagation : 17.74 122166 122041 900531 42.5 4130 31.1 -
1800.07/1800.81 c infeasible LP : 54.65 100726 37952 432463 69.3 502 33.2 0
1800.07/1800.81 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.81 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.81 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.81 c applied globally : - - - 350208 29.6 - - -
1800.07/1800.81 c applied locally : - - - 500 95.9 - - -
1800.07/1800.81 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.81 c cut pool : 0.00 5 - - 473 - (maximal pool size: 977)
1800.07/1800.81 c redcost : 5.13 249531 0 0 0 0
1800.07/1800.81 c impliedbounds : 0.00 6 0 0 0 0
1800.07/1800.81 c intobj : 0.00 0 0 0 0 0
1800.07/1800.81 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.81 c gomory : 0.23 6 0 0 20 0
1800.07/1800.81 c strongcg : 0.20 6 0 0 13 0
1800.07/1800.81 c cmir : 0.23 6 0 0 813 0
1800.07/1800.81 c flowcover : 0.28 6 0 0 1131 0
1800.07/1800.81 c clique : 0.00 6 0 0 1 0
1800.07/1800.81 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.81 c mcf : 0.00 1 0 0 0 0
1800.07/1800.81 c rapidlearning : 0.07 1 0 0 0 0
1800.07/1800.81 c Pricers : Time Calls Vars
1800.07/1800.81 c problem variables: 0.00 0 0
1800.07/1800.81 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.81 c relpscost : 97.49 249882 126 7944 0 0 490230
1800.07/1800.81 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.81 c inference : 0.00 0 0 0 0 0 0
1800.07/1800.81 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.81 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.81 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.81 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.81 c random : 0.00 0 0 0 0 0 0
1800.07/1800.81 c Primal Heuristics : Time Calls Found
1800.07/1800.81 c LP solutions : 0.00 - 0
1800.07/1800.81 c pseudo solutions : 0.00 - 0
1800.07/1800.81 c oneopt : 0.54 0 0
1800.07/1800.81 c crossover : 0.30 0 0
1800.07/1800.81 c guideddiving : 0.06 0 0
1800.07/1800.81 c coefdiving : 0.66 14 0
1800.07/1800.81 c linesearchdiving : 0.29 14 0
1800.07/1800.81 c veclendiving : 0.22 14 0
1800.07/1800.81 c pscostdiving : 0.37 15 0
1800.07/1800.81 c fracdiving : 0.55 15 0
1800.07/1800.81 c feaspump : 0.47 8 0
1800.07/1800.81 c objpscostdiving : 0.16 8 0
1800.07/1800.81 c rootsoldiving : 0.18 8 0
1800.07/1800.81 c trivial : 0.00 2 0
1800.07/1800.81 c simplerounding : 0.22 0 0
1800.07/1800.81 c zirounding : 0.28 1000 0
1800.07/1800.81 c rounding : 0.83 7056 0
1800.07/1800.81 c shifting : 3.32 2238 0
1800.07/1800.81 c intshifting : 0.03 0 0
1800.07/1800.81 c twoopt : 0.00 0 0
1800.07/1800.81 c fixandinfer : 0.00 0 0
1800.07/1800.81 c intdiving : 0.00 0 0
1800.07/1800.81 c actconsdiving : 0.00 0 0
1800.07/1800.81 c octane : 0.00 0 0
1800.07/1800.81 c rens : 0.04 1 0
1800.07/1800.81 c rins : 0.00 0 0
1800.07/1800.81 c localbranching : 0.00 0 0
1800.07/1800.81 c mutation : 0.00 0 0
1800.07/1800.81 c dins : 0.00 0 0
1800.07/1800.81 c undercover : 0.00 0 0
1800.07/1800.81 c nlp : 0.36 0 0
1800.07/1800.81 c trysol : 0.33 0 0
1800.07/1800.81 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.81 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.81 c dual LP : 899.41 349209 6841929 19.59 7607.13
1800.07/1800.81 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.81 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.81 c diving/probing LP: 2.08 1609 13651 8.48 6562.98
1800.07/1800.81 c strong branching : 89.85 22903 627546 27.40 6984.37
1800.07/1800.81 c (at root node) : - 12 2577 214.75 -
1800.07/1800.81 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.81 c B&B Tree :
1800.07/1800.81 c number of runs : 1
1800.07/1800.81 c nodes : 443863
1800.07/1800.81 c nodes (total) : 443863
1800.07/1800.81 c nodes left : 3749
1800.07/1800.81 c max depth : 101
1800.07/1800.81 c max depth (total): 101
1800.07/1800.81 c backtracks : 84986 (19.1%)
1800.07/1800.81 c delayed cutoffs : 42619
1800.07/1800.81 c repropagations : 453668 (6029443 domain reductions, 34366 cutoffs)
1800.07/1800.81 c avg switch length: 4.83
1800.07/1800.81 c switching time : 145.74
1800.07/1800.81 c Solution :
1800.07/1800.81 c Solutions found : 0 (0 improvements)
1800.07/1800.81 c Primal Bound : -
1800.07/1800.81 c Dual Bound : +3.00000000000000e+00
1800.07/1800.81 c Gap : infinite
1800.07/1800.81 c Root Dual Bound : +3.00000000000000e+00
1800.07/1800.81 c Root Iterations : 1097
1800.18/1800.90 c Time complete: 1800.18.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666262-1276688832/watcher-2666262-1276688832 -o /tmp/evaluation-result-2666262-1276688832/solver-2666262-1276688832 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666262-1276688832.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 10541
/proc/meminfo: memFree=1734964/2059040 swapFree=4140352/4192956
[pid=10541] ppid=10539 vsize=7724 CPUtime=0
/proc/10541/stat : 10541 (pbscip.linux.x8) R 10539 10541 9964 0 -1 4202496 1047 0 0 0 0 0 0 0 18 0 1 0 42539484 7909376 967 1992294400 4194304 8223781 140736781129280 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10541/statm: 1931 976 348 984 0 944 0
[startup+0.0833371 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10541
/proc/meminfo: memFree=1734964/2059040 swapFree=4140352/4192956
[pid=10541] ppid=10539 vsize=16340 CPUtime=0.07
/proc/10541/stat : 10541 (pbscip.linux.x8) R 10539 10541 9964 0 -1 4202496 4032 0 0 0 6 1 0 0 20 0 1 0 42539484 16732160 3073 1992294400 4194304 8223781 140736781129280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10541/statm: 4085 3073 458 984 0 3098 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16340
[startup+0.10134 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10541
/proc/meminfo: memFree=1734964/2059040 swapFree=4140352/4192956
[pid=10541] ppid=10539 vsize=16340 CPUtime=0.09
/proc/10541/stat : 10541 (pbscip.linux.x8) R 10539 10541 9964 0 -1 4202496 4039 0 0 0 8 1 0 0 20 0 1 0 42539484 16732160 3080 1992294400 4194304 8223781 140736781129280 18446744073709551615 4893585 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10541/statm: 4085 3080 458 984 0 3098 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16340
[startup+0.301378 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10541
/proc/meminfo: memFree=1734964/2059040 swapFree=4140352/4192956
[pid=10541] ppid=10539 vsize=25592 CPUtime=0.29
/proc/10541/stat : 10541 (pbscip.linux.x8) R 10539 10541 9964 0 -1 4202496 7124 0 0 0 26 3 0 0 20 0 1 0 42539484 26206208 5327 1992294400 4194304 8223781 140736781129280 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10541/statm: 6398 5337 577 984 0 5411 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25592
[startup+0.701452 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10541
/proc/meminfo: memFree=1734964/2059040 swapFree=4140352/4192956
[pid=10541] ppid=10539 vsize=21272 CPUtime=0.69
/proc/10541/stat : 10541 (pbscip.linux.x8) R 10539 10541 9964 0 -1 4202496 10059 0 0 0 65 4 0 0 20 0 1 0 42539484 21782528 4455 1992294400 4194304 8223781 140736781129280 18446744073709551615 4310644 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10541/statm: 5318 4455 589 984 0 4331 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21272
[startup+1.5006 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10542
/proc/meminfo: memFree=1718588/2059040 swapFree=4140352/4192956
[pid=10541] ppid=10539 vsize=22464 CPUtime=1.49
/proc/10541/stat : 10541 (pbscip.linux.x8) R 10539 10541 9964 0 -1 4202496 17314 0 0 0 141 8 0 0 23 0 1 0 42539484 23003136 4759 1992294400 4194304 8223781 140736781129280 18446744073709551615 6560135 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10541/statm: 5616 4759 593 984 0 4629 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22464
[startup+3.1009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10542
/proc/meminfo: memFree=1717844/2059040 swapFree=4140352/4192956
[pid=10541] ppid=10539 vsize=22088 CPUtime=3.09
/proc/10541/stat : 10541 (pbscip.linux.x8) R 10539 10541 9964 0 -1 4202496 19022 0 0 0 298 11 0 0 25 0 1 0 42539484 22618112 4666 1992294400 4194304 8223781 140736781129280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10541/statm: 5522 4666 593 984 0 4535 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22088
[startup+6.3005 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10542
/proc/meminfo: memFree=1717720/2059040 swapFree=4140352/4192956
[pid=10541] ppid=10539 vsize=22248 CPUtime=6.29
/proc/10541/stat : 10541 (pbscip.linux.x8) R 10539 10541 9964 0 -1 4202496 20096 0 0 0 611 18 0 0 25 0 1 0 42539484 22781952 4700 1992294400 4194304 8223781 140736781129280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10541/statm: 5562 4700 598 984 0 4575 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22248
[startup+12.7007 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10542
/proc/meminfo: memFree=1717720/2059040 swapFree=4140352/4192956
[pid=10541] ppid=10539 vsize=22236 CPUtime=12.69
/proc/10541/stat : 10541 (pbscip.linux.x8) R 10539 10541 9964 0 -1 4202496 23911 0 0 0 1237 32 0 0 25 0 1 0 42539484 22769664 4708 1992294400 4194304 8223781 140736781129280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10541/statm: 5559 4708 597 984 0 4572 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22236
[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10544
/proc/meminfo: memFree=1715860/2059040 swapFree=4140352/4192956
[pid=10541] ppid=10539 vsize=24644 CPUtime=25.49
/proc/10541/stat : 10541 (pbscip.linux.x8) R 10539 10541 9964 0 -1 4202496 28444 0 0 0 2482 67 0 0 25 0 1 0 42539484 25235456 5285 1992294400 4194304 8223781 140736781129280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10541/statm: 6161 5285 597 984 0 5174 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 24644
[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10544
/proc/meminfo: memFree=1710900/2059040 swapFree=4140352/4192956
[pid=10541] ppid=10539 vsize=29340 CPUtime=51.07
/proc/10541/stat : 10541 (pbscip.linux.x8) R 10539 10541 9964 0 -1 4202496 34386 0 0 0 4973 134 0 0 25 0 1 0 42539484 30044160 6483 1992294400 4194304 8223781 140736781129280 18446744073709551615 6536470 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10541/statm: 7335 6483 597 984 0 6348 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 29340
[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10546
/proc/meminfo: memFree=1706932/2059040 swapFree=4140352/4192956
[pid=10541] ppid=10539 vsize=33208 CPUtime=102.26
/proc/10541/stat : 10541 (pbscip.linux.x8) R 10539 10541 9964 0 -1 4202496 44662 0 0 0 9957 269 0 0 25 0 1 0 42539484 34004992 7429 1992294400 4194304 8223781 140736781129280 18446744073709551615 6539311 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10541/statm: 8302 7429 597 984 0 7315 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 33208
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10546
/proc/meminfo: memFree=1704700/2059040 swapFree=4140352/4192956
[pid=10541] ppid=10539 vsize=35076 CPUtime=162.23
/proc/10541/stat : 10541 (pbscip.linux.x8) R 10539 10541 9964 0 -1 4202496 53546 0 0 0 15803 420 0 0 25 0 1 0 42539484 35917824 7917 1992294400 4194304 8223781 140736781129280 18446744073709551615 6599059 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10541/statm: 8769 7917 597 984 0 7782 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 35076
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10548
/proc/meminfo: memFree=1699988/2059040 swapFree=4140352/4192956
[pid=10541] ppid=10539 vsize=40036 CPUtime=222.21
/proc/10541/stat : 10541 (pbscip.linux.x8) R 10539 10541 9964 0 -1 4202496 62673 0 0 0 21646 575 0 0 25 0 1 0 42539484 40996864 9147 1992294400 4194304 8223781 140736781129280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10541/statm: 10009 9147 597 984 0 9022 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 40036
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10550
/proc/meminfo: memFree=1695400/2059040 swapFree=4140352/4192956
[pid=10541] ppid=10539 vsize=44636 CPUtime=282.18
/proc/10541/stat : 10541 (pbscip.linux.x8) R 10539 10541 9964 0 -1 4202496 66117 0 0 0 27508 710 0 0 25 0 1 0 42539484 45707264 10298 1992294400 4194304 8223781 140736781129280 18446744073709551615 6596757 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10541/statm: 11159 10298 597 984 0 10172 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 44636
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10552
/proc/meminfo: memFree=1693168/2059040 swapFree=4140352/4192956
[pid=10541] ppid=10539 vsize=46692 CPUtime=342.15
/proc/10541/stat : 10541 (pbscip.linux.x8) R 10539 10541 9964 0 -1 4202496 71917 0 0 0 33369 846 0 0 25 0 1 0 42539484 47812608 10817 1992294400 4194304 8223781 140736781129280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10541/statm: 11673 10817 599 984 0 10686 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 46692
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10554
/proc/meminfo: memFree=1691308/2059040 swapFree=4140352/4192956
[pid=10541] ppid=10539 vsize=48420 CPUtime=402.13
/proc/10541/stat : 10541 (pbscip.linux.x8) R 10539 10541 9964 0 -1 4202496 74753 0 0 0 39221 992 0 0 25 0 1 0 42539484 49582080 11243 1992294400 4194304 8223781 140736781129280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10541/statm: 12105 11243 597 984 0 11118 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 48420
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10554
/proc/meminfo: memFree=1688704/2059040 swapFree=4140352/4192956
[pid=10541] ppid=10539 vsize=50996 CPUtime=462.11
/proc/10541/stat : 10541 (pbscip.linux.x8) R 10539 10541 9964 0 -1 4202496 78401 0 0 0 45085 1126 0 0 25 0 1 0 42539484 52219904 11883 1992294400 4194304 8223781 140736781129280 18446744073709551615 4221536 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10541/statm: 12749 11883 597 984 0 11762 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 50996
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10556
/proc/meminfo: memFree=1687588/2059040 swapFree=4140352/4192956
[pid=10541] ppid=10539 vsize=52284 CPUtime=522.09
/proc/10541/stat : 10541 (pbscip.linux.x8) R 10539 10541 9964 0 -1 4202496 82606 0 0 0 50948 1261 0 0 25 0 1 0 42539484 53538816 12195 1992294400 4194304 8223781 140736781129280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10541/statm: 13071 12195 597 984 0 12084 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 52284
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10558
/proc/meminfo: memFree=1685604/2059040 swapFree=4140352/4192956
[pid=10541] ppid=10539 vsize=54176 CPUtime=582.06
/proc/10541/stat : 10541 (pbscip.linux.x8) R 10539 10541 9964 0 -1 4202496 83995 0 0 0 56791 1415 0 0 25 0 1 0 42539484 55476224 12684 1992294400 4194304 8223781 140736781129280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10541/statm: 13544 12684 597 984 0 12557 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 54176
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10560
/proc/meminfo: memFree=1684736/2059040 swapFree=4140352/4192956
[pid=10541] ppid=10539 vsize=54808 CPUtime=642.04
/proc/10541/stat : 10541 (pbscip.linux.x8) R 10539 10541 9964 0 -1 4202496 87420 0 0 0 62635 1569 0 0 25 0 1 0 42539484 56123392 12841 1992294400 4194304 8223781 140736781129280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10541/statm: 13702 12841 597 984 0 12715 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 54808
[startup+702.3 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 10575
/proc/meminfo: memFree=1681016/2059040 swapFree=4140352/4192956
[pid=10541] ppid=10539 vsize=57716 CPUtime=881.93
/proc/10541/stat : 10541 (pbscip.linux.x8) R 10539 10541 9964 0 -1 4202496 109004 0 0 0 86025 2168 0 0 25 0 1 0 42539484 59101184 13558 1992294400 4194304 8223781 140736781129280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10541/statm: 14429 13558 598 984 0 13442 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 57716
[startup+942.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 10577
/proc/meminfo: memFree=1679900/2059040 swapFree=4140352/4192956
[pid=10541] ppid=10539 vsize=58860 CPUtime=941.9
/proc/10541/stat : 10541 (pbscip.linux.x8) R 10539 10541 9964 0 -1 4202496 115382 0 0 0 91861 2329 0 0 25 0 1 0 42539484 60272640 13830 1992294400 4194304 8223781 140736781129280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10541/statm: 14715 13830 598 984 0 13728 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 58860
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10579
/proc/meminfo: memFree=1679280/2059040 swapFree=4140352/4192956
[pid=10541] ppid=10539 vsize=59496 CPUtime=1001.88
/proc/10541/stat : 10541 (pbscip.linux.x8) R 10539 10541 9964 0 -1 4202496 118181 0 0 0 97713 2475 0 0 25 0 1 0 42539484 60923904 13988 1992294400 4194304 8223781 140736781129280 18446744073709551615 5233869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10541/statm: 14874 13988 598 984 0 13887 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 59496
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10579
/proc/meminfo: memFree=1678908/2059040 swapFree=4140352/4192956
[pid=10541] ppid=10539 vsize=59856 CPUtime=1061.86
/proc/10541/stat : 10541 (pbscip.linux.x8) R 10539 10541 9964 0 -1 4202496 120306 0 0 0 103571 2615 0 0 25 0 1 0 42539484 61292544 14060 1992294400 4194304 8223781 140736781129280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10541/statm: 14964 14060 598 984 0 13977 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 59856
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10581
/proc/meminfo: memFree=1677544/2059040 swapFree=4140352/4192956
[pid=10541] ppid=10539 vsize=61264 CPUtime=1121.84
/proc/10541/stat : 10541 (pbscip.linux.x8) R 10539 10541 9964 0 -1 4202496 123196 0 0 0 109435 2749 0 0 25 0 1 0 42539484 62734336 14439 1992294400 4194304 8223781 140736781129280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10541/statm: 15316 14439 598 984 0 14329 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 61264
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10583
/proc/meminfo: memFree=1676924/2059040 swapFree=4140352/4192956
[pid=10541] ppid=10539 vsize=61624 CPUtime=1181.81
/proc/10541/stat : 10541 (pbscip.linux.x8) R 10539 10541 9964 0 -1 4202496 126233 0 0 0 115293 2888 0 0 25 0 1 0 42539484 63102976 14535 1992294400 4194304 8223781 140736781129280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10541/statm: 15406 14535 598 984 0 14419 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 61624
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10585
/proc/meminfo: memFree=1676428/2059040 swapFree=4140352/4192956
[pid=10541] ppid=10539 vsize=62480 CPUtime=1241.78
/proc/10541/stat : 10541 (pbscip.linux.x8) R 10539 10541 9964 0 -1 4202496 129580 0 0 0 121140 3038 0 0 25 0 1 0 42539484 63979520 14733 1992294400 4194304 8223781 140736781129280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10541/statm: 15620 14733 599 984 0 14633 0
Current children cumulated CPU time (s) 1241.78
Current children cumulated vsize (KiB) 62480
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10587
/proc/meminfo: memFree=1675808/2059040 swapFree=4140352/4192956
[pid=10541] ppid=10539 vsize=62904 CPUtime=1301.77
/proc/10541/stat : 10541 (pbscip.linux.x8) R 10539 10541 9964 0 -1 4202496 133703 0 0 0 126996 3181 0 0 25 0 1 0 42539484 64413696 14851 1992294400 4194304 8223781 140736781129280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10541/statm: 15726 14851 599 984 0 14739 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 62904
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10587
/proc/meminfo: memFree=1674816/2059040 swapFree=4140352/4192956
[pid=10541] ppid=10539 vsize=63760 CPUtime=1361.74
/proc/10541/stat : 10541 (pbscip.linux.x8) R 10539 10541 9964 0 -1 4202496 135938 0 0 0 132855 3319 0 0 25 0 1 0 42539484 65290240 15066 1992294400 4194304 8223781 140736781129280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10541/statm: 15940 15066 599 984 0 14953 0
Current children cumulated CPU time (s) 1361.74
Current children cumulated vsize (KiB) 63760
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10589
/proc/meminfo: memFree=1674444/2059040 swapFree=4140352/4192956
[pid=10541] ppid=10539 vsize=64300 CPUtime=1421.72
/proc/10541/stat : 10541 (pbscip.linux.x8) R 10539 10541 9964 0 -1 4202496 140155 0 0 0 138705 3467 0 0 25 0 1 0 42539484 65843200 15198 1992294400 4194304 8223781 140736781129280 18446744073709551615 5909069 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10541/statm: 16075 15198 599 984 0 15088 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 64300
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10591
/proc/meminfo: memFree=1673948/2059040 swapFree=4140352/4192956
[pid=10541] ppid=10539 vsize=64728 CPUtime=1481.69
/proc/10541/stat : 10541 (pbscip.linux.x8) R 10539 10541 9964 0 -1 4202496 147570 0 0 0 144564 3605 0 0 25 0 1 0 42539484 66281472 15292 1992294400 4194304 8223781 140736781129280 18446744073709551615 6070341 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10541/statm: 16182 15292 599 984 0 15195 0
Current children cumulated CPU time (s) 1481.69
Current children cumulated vsize (KiB) 64728
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10593
/proc/meminfo: memFree=1673824/2059040 swapFree=4140352/4192956
[pid=10541] ppid=10539 vsize=64784 CPUtime=1541.67
/proc/10541/stat : 10541 (pbscip.linux.x8) R 10539 10541 9964 0 -1 4202496 149138 0 0 0 150422 3745 0 0 25 0 1 0 42539484 66338816 15294 1992294400 4194304 8223781 140736781129280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10541/statm: 16196 15294 599 984 0 15209 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 64784
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10595
/proc/meminfo: memFree=1673700/2059040 swapFree=4140352/4192956
[pid=10541] ppid=10539 vsize=64896 CPUtime=1601.64
/proc/10541/stat : 10541 (pbscip.linux.x8) R 10539 10541 9964 0 -1 4202496 151807 0 0 0 156278 3886 0 0 25 0 1 0 42539484 66453504 15335 1992294400 4194304 8223781 140736781129280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10541/statm: 16224 15335 599 984 0 15237 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 64896
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10595
/proc/meminfo: memFree=1673576/2059040 swapFree=4140352/4192956
[pid=10541] ppid=10539 vsize=64996 CPUtime=1661.62
/proc/10541/stat : 10541 (pbscip.linux.x8) R 10539 10541 9964 0 -1 4202496 155712 0 0 0 162112 4050 0 0 25 0 1 0 42539484 66555904 15361 1992294400 4194304 8223781 140736781129280 18446744073709551615 4854175 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10541/statm: 16249 15361 599 984 0 15262 0
Current children cumulated CPU time (s) 1661.62
Current children cumulated vsize (KiB) 64996
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10597
/proc/meminfo: memFree=1673204/2059040 swapFree=4140352/4192956
[pid=10541] ppid=10539 vsize=65160 CPUtime=1721.6
/proc/10541/stat : 10541 (pbscip.linux.x8) R 10539 10541 9964 0 -1 4202496 162792 0 0 0 167957 4203 0 0 25 0 1 0 42539484 66723840 15402 1992294400 4194304 8223781 140736781129280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10541/statm: 16290 15402 599 984 0 15303 0
Current children cumulated CPU time (s) 1721.6
Current children cumulated vsize (KiB) 65160
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10599
/proc/meminfo: memFree=1672956/2059040 swapFree=4140352/4192956
[pid=10541] ppid=10539 vsize=65452 CPUtime=1781.57
/proc/10541/stat : 10541 (pbscip.linux.x8) R 10539 10541 9964 0 -1 4202496 170521 0 0 0 173806 4351 0 0 25 0 1 0 42539484 67022848 15472 1992294400 4194304 8223781 140736781129280 18446744073709551615 5957292 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10541/statm: 16363 15472 599 984 0 15376 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (KiB) 65452
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10599
/proc/meminfo: memFree=1672708/2059040 swapFree=4140352/4192956
[pid=10541] ppid=10539 vsize=65392 CPUtime=1800.07
/proc/10541/stat : 10541 (pbscip.linux.x8) R 10539 10541 9964 0 -1 4202496 172018 0 0 0 175611 4396 0 0 25 0 1 0 42539484 66961408 15461 1992294400 4194304 8223781 140736781129280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10541/statm: 16348 15461 599 984 0 15361 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 65392
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10599
/proc/meminfo: memFree=1672708/2059040 swapFree=4140352/4192956
[pid=10541] ppid=10539 vsize=30156 CPUtime=1800.18
/proc/10541/stat : 10541 (pbscip.linux.x8) R 10539 10541 9964 0 -1 4202496 172040 0 0 0 175621 4397 0 0 25 0 1 0 42539484 30879744 2114 1992294400 4194304 8223781 140736781129280 18446744073709551615 7453498 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10541/statm: 7539 2114 598 984 0 6552 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 30156
Child status: 0
Real time (s): 1800.91
CPU time (s): 1800.19
CPU user time (s): 1756.21
CPU system time (s): 43.9773
CPU usage (%): 99.9599
Max. virtual memory (cumulated for all children) (KiB): 65812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1756.21
system time used= 43.9773
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172044
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= 2
involuntary context switches= 3959
runsolver used 2.97855 second user time and 8.50971 second system time
The end