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-3740788-1338743604.opb>
0.39/0.41 c original problem has 18662 variables (18662 bin, 0 int, 0 impl, 0 cont) and 65634 constraints
0.39/0.41 c problem read
0.39/0.41 c presolving settings loaded
0.49/0.54 c presolving:
2.09/2.19 c (round 1) 1397 del vars, 3818 del conss, 1057 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4462110 impls, 0 clqs
2.39/2.46 c (round 2) 2731 del vars, 9242 del conss, 2260 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4469788 impls, 0 clqs
2.49/2.53 c (round 3) 3138 del vars, 11354 del conss, 2461 chg bounds, 45 chg sides, 38 chg coeffs, 0 upgd conss, 4473962 impls, 0 clqs
2.49/2.57 c (round 4) 3284 del vars, 12061 del conss, 2575 chg bounds, 65 chg sides, 53 chg coeffs, 0 upgd conss, 4475218 impls, 0 clqs
2.59/2.60 c (round 5) 3376 del vars, 12463 del conss, 2617 chg bounds, 67 chg sides, 54 chg coeffs, 0 upgd conss, 4475614 impls, 0 clqs
2.59/2.61 c (round 6) 3394 del vars, 12581 del conss, 2623 chg bounds, 69 chg sides, 55 chg coeffs, 0 upgd conss, 4475742 impls, 0 clqs
2.59/2.63 c (round 7) 3395 del vars, 12598 del conss, 2623 chg bounds, 73 chg sides, 57 chg coeffs, 0 upgd conss, 4475768 impls, 0 clqs
2.79/2.81 c (round 8) 3395 del vars, 12598 del conss, 2623 chg bounds, 73 chg sides, 57 chg coeffs, 53036 upgd conss, 4475768 impls, 0 clqs
2.89/2.95 c (round 9) 3493 del vars, 12860 del conss, 2676 chg bounds, 117 chg sides, 308 chg coeffs, 53036 upgd conss, 4489259 impls, 2142 clqs
2.99/3.03 c (round 10) 3583 del vars, 13213 del conss, 2683 chg bounds, 284 chg sides, 805 chg coeffs, 53036 upgd conss, 4489842 impls, 2294 clqs
2.99/3.08 c (round 11) 3609 del vars, 13326 del conss, 2684 chg bounds, 307 chg sides, 914 chg coeffs, 53036 upgd conss, 4490591 impls, 2305 clqs
3.09/3.13 c (round 12) 3613 del vars, 13361 del conss, 2684 chg bounds, 308 chg sides, 933 chg coeffs, 53036 upgd conss, 4490649 impls, 2305 clqs
118.47/118.54 c (118.1s) probing: 1000/15049 (6.6%) - 20 fixings, 2 aggregations, 4250813 implications, 0 bound changes
211.45/211.59 c (round 13) 3670 del vars, 13365 del conss, 2684 chg bounds, 308 chg sides, 946 chg coeffs, 53036 upgd conss, 25970869 impls, 2298 clqs
212.15/212.22 c (round 14) 3697 del vars, 13907 del conss, 2684 chg bounds, 327 chg sides, 1753 chg coeffs, 53036 upgd conss, 25982835 impls, 2300 clqs
212.36/212.49 c (round 15) 3697 del vars, 13935 del conss, 2684 chg bounds, 352 chg sides, 1932 chg coeffs, 53036 upgd conss, 25982835 impls, 2879 clqs
212.76/212.80 c (round 16) 3697 del vars, 13949 del conss, 2684 chg bounds, 356 chg sides, 1954 chg coeffs, 53036 upgd conss, 25982835 impls, 2921 clqs
220.55/220.62 c (220.2s) probing: 2000/15049 (13.3%) - 69 fixings, 8 aggregations, 7446225 implications, 0 bound changes
279.51/279.69 c (round 17) 3750 del vars, 13949 del conss, 2684 chg bounds, 356 chg sides, 1956 chg coeffs, 53036 upgd conss, 32435589 impls, 2922 clqs
280.31/280.49 c (round 18) 3771 del vars, 14187 del conss, 2684 chg bounds, 359 chg sides, 2004 chg coeffs, 53036 upgd conss, 32437747 impls, 2925 clqs
280.61/280.75 c (round 19) 3771 del vars, 14208 del conss, 2684 chg bounds, 360 chg sides, 2009 chg coeffs, 53036 upgd conss, 32437757 impls, 2941 clqs
298.31/298.41 c (round 20) 3821 del vars, 14208 del conss, 2688 chg bounds, 360 chg sides, 2009 chg coeffs, 53036 upgd conss, 34565535 impls, 2506 clqs
299.01/299.18 c (round 21) 3843 del vars, 14597 del conss, 2688 chg bounds, 371 chg sides, 2236 chg coeffs, 53036 upgd conss, 34568549 impls, 2507 clqs
299.31/299.48 c (round 22) 3843 del vars, 14619 del conss, 2688 chg bounds, 371 chg sides, 2238 chg coeffs, 53036 upgd conss, 34568549 impls, 2670 clqs
317.50/317.62 c (317.2s) probing: 3000/15049 (19.9%) - 160 fixings, 24 aggregations, 11139907 implications, 4 bound changes
353.90/354.04 c (round 23) 3893 del vars, 14619 del conss, 2688 chg bounds, 371 chg sides, 2239 chg coeffs, 53036 upgd conss, 40676771 impls, 2670 clqs
354.40/354.56 c (round 24) 3899 del vars, 14809 del conss, 2688 chg bounds, 376 chg sides, 2301 chg coeffs, 53036 upgd conss, 40677173 impls, 2671 clqs
354.50/354.67 c (round 25) 3899 del vars, 14815 del conss, 2688 chg bounds, 376 chg sides, 2303 chg coeffs, 53036 upgd conss, 40677173 impls, 2678 clqs
402.88/403.05 c (402.6s) probing: 4000/15049 (26.6%) - 188 fixings, 31 aggregations, 14606996 implications, 4 bound changes
467.75/467.98 c (467.6s) probing: 5000/15049 (33.2%) - 189 fixings, 33 aggregations, 17380038 implications, 4 bound changes
530.44/530.62 c (530.2s) probing: 6000/15049 (39.9%) - 219 fixings, 39 aggregations, 19268557 implications, 4 bound changes
531.44/531.66 c (round 26) 3949 del vars, 14815 del conss, 2688 chg bounds, 376 chg sides, 2305 chg coeffs, 53036 upgd conss, 55475077 impls, 2677 clqs
532.25/532.48 c (round 27) 3957 del vars, 15003 del conss, 2688 chg bounds, 382 chg sides, 2373 chg coeffs, 53036 upgd conss, 55481575 impls, 2677 clqs
532.64/532.84 c (round 28) 3957 del vars, 15011 del conss, 2688 chg bounds, 382 chg sides, 2375 chg coeffs, 53036 upgd conss, 55481575 impls, 2714 clqs
578.54/578.73 c (578.3s) probing: 7000/15049 (46.5%) - 227 fixings, 43 aggregations, 20499901 implications, 4 bound changes
622.43/622.62 c (622.2s) probing: 8000/15049 (53.2%) - 227 fixings, 43 aggregations, 21498837 implications, 4 bound changes
666.22/666.44 c (666.0s) probing: 9000/15049 (59.8%) - 228 fixings, 44 aggregations, 22280407 implications, 4 bound changes
705.30/705.59 c (705.2s) probing: 10000/15049 (66.4%) - 230 fixings, 46 aggregations, 22935268 implications, 4 bound changes
737.09/737.34 c (736.9s) probing: 11000/15049 (73.1%) - 233 fixings, 46 aggregations, 23369110 implications, 4 bound changes
763.29/763.59 c (763.2s) probing: 12000/15049 (79.7%) - 240 fixings, 53 aggregations, 23655975 implications, 4 bound changes
789.88/790.11 c (789.7s) probing: 13000/15049 (86.4%) - 251 fixings, 57 aggregations, 23873730 implications, 7 bound changes
795.48/795.74 c (round 29) 4007 del vars, 15011 del conss, 2691 chg bounds, 382 chg sides, 2375 chg coeffs, 53036 upgd conss, 65910226 impls, 2683 clqs
796.18/796.41 c (round 30) 4013 del vars, 15186 del conss, 2691 chg bounds, 416 chg sides, 2585 chg coeffs, 53036 upgd conss, 65911022 impls, 2705 clqs
796.38/796.62 c (round 31) 4013 del vars, 15193 del conss, 2691 chg bounds, 439 chg sides, 2729 chg coeffs, 53036 upgd conss, 65911022 impls, 2748 clqs
796.48/796.78 c (round 32) 4013 del vars, 15200 del conss, 2691 chg bounds, 440 chg sides, 2736 chg coeffs, 53036 upgd conss, 65911022 impls, 2748 clqs
809.78/810.04 c (809.6s) probing: 14000/15049 (93.0%) - 256 fixings, 62 aggregations, 23995324 implications, 7 bound changes
818.98/819.25 c (818.8s) probing: 15000/15049 (99.7%) - 256 fixings, 62 aggregations, 24021648 implications, 7 bound changes
818.98/819.25 c (round 33) 4021 del vars, 15200 del conss, 2691 chg bounds, 440 chg sides, 2736 chg coeffs, 53036 upgd conss, 66147670 impls, 2745 clqs
819.29/819.54 c (round 34) 4021 del vars, 15224 del conss, 2691 chg bounds, 463 chg sides, 2853 chg coeffs, 53036 upgd conss, 66147670 impls, 2759 clqs
819.39/819.66 c (round 35) 4021 del vars, 15231 del conss, 2691 chg bounds, 487 chg sides, 2984 chg coeffs, 53036 upgd conss, 66147672 impls, 2790 clqs
819.48/819.79 c presolving (36 rounds):
819.48/819.79 c 4021 deleted vars, 15233 deleted constraints, 2691 tightened bounds, 0 added holes, 487 changed sides, 2987 changed coefficients
819.48/819.79 c 66147672 implications, 2790 cliques
819.48/819.79 c presolved problem has 14641 variables (14641 bin, 0 int, 0 impl, 0 cont) and 50729 constraints
819.48/819.79 c 1071 constraints of type <knapsack>
819.48/819.79 c 42236 constraints of type <setppc>
819.48/819.79 c 7422 constraints of type <logicor>
819.48/819.79 c transformed objective value is always integral (scale: 1)
819.48/819.79 c Presolving Time: 819.28
819.48/819.79 c - non default parameters ----------------------------------------------------------------------
819.48/819.79 c # SCIP version 1.2.1.3
819.48/819.79 c
819.48/819.79 c # frequency for displaying node information lines
819.48/819.79 c # [type: int, range: [-1,2147483647], default: 100]
819.48/819.79 c display/freq = 10000
819.48/819.79 c
819.48/819.79 c # maximal time in seconds to run
819.48/819.79 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
819.48/819.79 c limits/time = 1789.59
819.48/819.79 c
819.48/819.79 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
819.48/819.79 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
819.48/819.79 c limits/memory = 13950
819.48/819.79 c
819.48/819.79 c # default clock type (1: CPU user seconds, 2: wall clock time)
819.48/819.79 c # [type: int, range: [1,2], default: 1]
819.48/819.79 c timing/clocktype = 2
819.48/819.79 c
819.48/819.79 c # should presolving try to simplify inequalities
819.48/819.79 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
819.48/819.79 c constraints/linear/simplifyinequalities = TRUE
819.48/819.79 c
819.48/819.79 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
819.48/819.79 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
819.48/819.79 c constraints/indicator/addCouplingCons = TRUE
819.48/819.79 c
819.48/819.79 c # should presolving try to simplify knapsacks
819.48/819.79 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
819.48/819.79 c constraints/knapsack/simplifyinequalities = TRUE
819.48/819.79 c
819.48/819.79 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
819.48/819.79 c # [type: int, range: [-1,2147483647], default: -1]
819.48/819.79 c separating/rapidlearning/freq = 0
819.48/819.79 c
819.48/819.79 c -----------------------------------------------------------------------------------------------
819.48/819.79 c start solving
819.58/819.80 c
834.68/834.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
834.68/834.94 c 835s| 1 | 0 | 14582 | - |1744M| 0 | 510 | 14k| 50k| 14k| 50k| 0 | 0 | 0 | 7.600000e+01 | -- | Inf
1669.42/1669.90 c 1669s| 1 | 0 | 54060 | - |1747M| 0 | 641 | 14k| 50k| 14k| 51k| 482 | 0 | 0 | 7.600000e+01 | -- | Inf
1744.89/1745.32 c 1745s| 1 | 0 | 83669 | - |1749M| 0 | 791 | 14k| 50k| 14k| 51k| 846 | 0 | 0 | 7.600000e+01 | -- | Inf
1789.59/1790.04 c 1790s| 1 | 0 | 96441 | - |1752M| 0 | - | 14k| 50k| 14k| 51k|1018 | 0 | 0 | 7.600000e+01 | -- | Inf
1789.59/1790.06 c 1790s| 1 | 2 | 96441 | - |1752M| 0 | - | 14k| 50k| 14k| 51k|1018 | 0 | 0 | 7.600000e+01 | -- | Inf
1789.59/1790.06 c
1789.59/1790.06 c SCIP Status : solving was interrupted [time limit reached]
1789.59/1790.06 c Solving Time (sec) : 1789.65
1789.59/1790.06 c Solving Nodes : 1
1789.59/1790.06 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.59/1790.06 c Dual Bound : +7.60000000000000e+01
1789.59/1790.06 c Gap : infinite
1789.59/1790.06 s UNKNOWN
1789.59/1790.06 c SCIP Status : solving was interrupted [time limit reached]
1789.59/1790.06 c Solving Time : 1789.65
1789.59/1790.06 c Original Problem :
1789.59/1790.06 c Problem name : HOME/instance-3740788-1338743604.opb
1789.59/1790.06 c Variables : 18662 (18662 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.59/1790.06 c Constraints : 65634 initial, 65634 maximal
1789.59/1790.06 c Presolved Problem :
1789.59/1790.06 c Problem name : t_HOME/instance-3740788-1338743604.opb
1789.59/1790.06 c Variables : 14641 (14641 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.59/1790.06 c Constraints : 50729 initial, 50729 maximal
1789.59/1790.06 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.59/1790.06 c trivial : 0.03 228 0 0 0 0 0 0 0
1789.59/1790.06 c dualfix : 0.02 31 0 0 0 0 0 0 0
1789.59/1790.06 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.59/1790.06 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.59/1790.06 c implics : 3.06 0 178 0 0 0 0 0 0
1789.59/1790.06 c probing : 808.98 256 62 0 7 0 0 0 0
1789.59/1790.06 c knapsack : 4.29 0 0 0 26 0 65 414 2930
1789.59/1790.06 c setppc : 0.48 69 0 0 26 0 2434 0 0
1789.59/1790.06 c linear : 2.13 2456 741 0 2623 0 12598 73 57
1789.59/1790.06 c logicor : 0.19 0 0 0 9 0 136 0 0
1789.59/1790.06 c root node : - 0 - - 0 - - - -
1789.59/1790.06 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.59/1790.06 c integral : 0 0 0 0 0 0 0 0 0 0
1789.59/1790.06 c knapsack : 1071 3 523015 0 1 73 0 257 0 0
1789.59/1790.06 c setppc : 42236 3 522942 0 1 48 0 0 0 0
1789.59/1790.06 c logicor : 7422 3 474640 0 1 27 0 0 0 0
1789.59/1790.06 c countsols : 0 0 0 0 1 0 0 0 0 0
1789.59/1790.06 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.59/1790.06 c integral : 0.00 0.00 0.00 0.00 0.00
1789.59/1790.06 c knapsack : 16.34 0.01 16.34 0.00 0.00
1789.59/1790.06 c setppc : 351.73 0.01 351.72 0.00 0.01
1789.59/1790.06 c logicor : 9.73 0.00 9.72 0.00 0.00
1789.59/1790.06 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.59/1790.06 c Propagators : Time Calls Cutoffs DomReds
1789.59/1790.06 c vbounds : 0.08 2 0 0
1789.59/1790.06 c rootredcost : 0.05 0 0 0
1789.59/1790.06 c pseudoobj : 0.06 2 0 0
1789.59/1790.06 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.59/1790.06 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1789.59/1790.06 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.59/1790.06 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.59/1790.06 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.59/1790.06 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.59/1790.06 c applied globally : - - - 0 0.0 - - -
1789.59/1790.06 c applied locally : - - - 0 0.0 - - -
1789.59/1790.06 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.59/1790.06 c cut pool : 0.00 2 - - 24 - (maximal pool size: 1724)
1789.59/1790.06 c redcost : 0.00 3 0 0 0 0
1789.59/1790.06 c impliedbounds : 0.10 3 0 0 1308 0
1789.59/1790.06 c intobj : 0.00 0 0 0 0 0
1789.59/1790.06 c cgmip : 0.00 0 0 0 0 0
1789.59/1790.06 c gomory : 1.16 3 0 0 1500 0
1789.59/1790.06 c strongcg : 0.97 3 0 0 1500 0
1789.59/1790.06 c cmir : 1.65 3 0 0 0 0
1789.59/1790.06 c flowcover : 4.08 3 0 0 152 0
1789.59/1790.06 c clique : 785.47 3 0 0 25 0
1789.59/1790.06 c zerohalf : 0.00 0 0 0 0 0
1789.59/1790.06 c mcf : 0.77 1 0 0 0 0
1789.59/1790.06 c rapidlearning : 0.00 0 0 0 0 0
1789.59/1790.06 c Pricers : Time Calls Vars
1789.59/1790.06 c problem variables: 0.00 0 0
1789.59/1790.06 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.59/1790.06 c relpscost : 0.00 0 0 0 0 0 0
1789.59/1790.06 c pscost : 0.00 0 0 0 0 0 0
1789.59/1790.06 c inference : 0.00 1 0 0 0 0 2
1789.59/1790.06 c mostinf : 0.00 0 0 0 0 0 0
1789.59/1790.06 c leastinf : 0.00 0 0 0 0 0 0
1789.59/1790.06 c fullstrong : 0.00 0 0 0 0 0 0
1789.59/1790.06 c allfullstrong : 0.00 0 0 0 0 0 0
1789.59/1790.06 c random : 0.00 0 0 0 0 0 0
1789.59/1790.06 c Primal Heuristics : Time Calls Found
1789.59/1790.06 c LP solutions : 0.00 - 0
1789.59/1790.06 c pseudo solutions : 0.00 - 0
1789.59/1790.06 c oneopt : 0.00 0 0
1789.59/1790.06 c trivial : 0.02 2 0
1789.59/1790.06 c simplerounding : 0.00 0 0
1789.59/1790.06 c zirounding : 0.00 0 0
1789.59/1790.06 c rounding : 0.01 3 0
1789.59/1790.06 c shifting : 0.01 3 0
1789.59/1790.06 c intshifting : 0.00 0 0
1789.59/1790.06 c twoopt : 0.00 0 0
1789.59/1790.06 c fixandinfer : 0.00 0 0
1789.59/1790.06 c feaspump : 10.99 1 0
1789.59/1790.06 c coefdiving : 0.00 0 0
1789.59/1790.06 c pscostdiving : 0.00 0 0
1789.59/1790.06 c fracdiving : 0.00 0 0
1789.59/1790.06 c veclendiving : 0.00 0 0
1789.59/1790.06 c intdiving : 0.00 0 0
1789.59/1790.06 c actconsdiving : 0.00 0 0
1789.59/1790.06 c objpscostdiving : 0.00 0 0
1789.59/1790.06 c rootsoldiving : 0.00 0 0
1789.59/1790.06 c linesearchdiving : 0.00 0 0
1789.59/1790.06 c guideddiving : 0.00 0 0
1789.59/1790.06 c octane : 0.00 0 0
1789.59/1790.06 c rens : 0.00 0 0
1789.59/1790.06 c rins : 0.00 0 0
1789.59/1790.06 c localbranching : 0.00 0 0
1789.59/1790.06 c mutation : 0.00 0 0
1789.59/1790.06 c crossover : 0.00 0 0
1789.59/1790.06 c dins : 0.00 0 0
1789.59/1790.06 c undercover : 0.00 0 0
1789.59/1790.06 c nlp : 0.00 0 0
1789.59/1790.06 c trysol : 0.00 0 0
1789.59/1790.06 c LP : Time Calls Iterations Iter/call Iter/sec
1789.59/1790.06 c primal LP : 0.00 0 0 0.00 -
1789.59/1790.06 c dual LP : 164.75 4 76634 19158.50 465.15
1789.59/1790.06 c lex dual LP : 0.00 0 0 0.00 -
1789.59/1790.06 c barrier LP : 0.00 0 0 0.00 -
1789.59/1790.06 c diving/probing LP: 10.82 22 19807 900.32 1831.17
1789.59/1790.06 c strong branching : 0.00 0 0 0.00 -
1789.59/1790.06 c (at root node) : - 0 0 0.00 -
1789.59/1790.06 c conflict analysis: 0.00 0 0 0.00 -
1789.59/1790.06 c B&B Tree :
1789.59/1790.06 c number of runs : 1
1789.59/1790.06 c nodes : 1
1789.59/1790.06 c nodes (total) : 1
1789.59/1790.06 c nodes left : 2
1789.59/1790.06 c max depth : 0
1789.59/1790.06 c max depth (total): 0
1789.59/1790.06 c backtracks : 0 (0.0%)
1789.59/1790.06 c delayed cutoffs : 0
1789.59/1790.06 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1789.59/1790.06 c avg switch length: 1.00
1789.59/1790.06 c switching time : 0.00
1789.59/1790.06 c Solution :
1789.59/1790.06 c Solutions found : 0 (0 improvements)
1789.59/1790.06 c Primal Bound : -
1789.59/1790.06 c Dual Bound : +7.60000000000000e+01
1789.59/1790.06 c Gap : infinite
1789.59/1790.06 c Root Dual Bound : +7.60000000000000e+01
1789.59/1790.06 c Root Iterations : 96441
1789.78/1790.23 c Time complete: 1789.81.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3740788-1338743604/watcher-3740788-1338743604 -o /tmp/evaluation-result-3740788-1338743604/solver-3740788-1338743604 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3740788-1338743604.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26715
/proc/meminfo: memFree=27522024/32873844 swapFree=7108/7108
[pid=26715] ppid=26713 vsize=9972 CPUtime=0 cores=0,2,4,6
/proc/26715/stat : 26715 (pbscip.linux.x8) R 26713 26715 21683 0 -1 4202496 1576 0 0 0 0 0 0 0 20 0 1 0 340484937 10211328 1522 33554432000 4194304 8395647 140734359921248 140735181175640 7382157 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26715/statm: 2493 1531 374 1026 0 1463 0
[startup+0.060085 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26715
/proc/meminfo: memFree=27522024/32873844 swapFree=7108/7108
[pid=26715] ppid=26713 vsize=20808 CPUtime=0.05 cores=0,2,4,6
/proc/26715/stat : 26715 (pbscip.linux.x8) R 26713 26715 21683 0 -1 4202496 4444 0 0 0 4 1 0 0 20 0 1 0 340484937 21307392 4390 33554432000 4194304 8395647 140734359921248 140735181175640 4423932 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26715/statm: 5202 4390 393 1026 0 4172 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 20808
[startup+0.100316 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26715
/proc/meminfo: memFree=27522024/32873844 swapFree=7108/7108
[pid=26715] ppid=26713 vsize=23024 CPUtime=0.09 cores=0,2,4,6
/proc/26715/stat : 26715 (pbscip.linux.x8) R 26713 26715 21683 0 -1 4202496 4993 0 0 0 8 1 0 0 20 0 1 0 340484937 23576576 4939 33554432000 4194304 8395647 140734359921248 140735181175640 7385696 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26715/statm: 5756 4939 393 1026 0 4726 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23024
[startup+0.309898 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26715
/proc/meminfo: memFree=27522024/32873844 swapFree=7108/7108
[pid=26715] ppid=26713 vsize=39204 CPUtime=0.3 cores=0,2,4,6
/proc/26715/stat : 26715 (pbscip.linux.x8) R 26713 26715 21683 0 -1 4202496 9067 0 0 0 29 1 0 0 20 0 1 0 340484937 40144896 9013 33554432000 4194304 8395647 140734359921248 140735181175640 4423932 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26715/statm: 9801 9013 393 1026 0 8771 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 39204
[startup+0.700275 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26715
/proc/meminfo: memFree=27522024/32873844 swapFree=7108/7108
[pid=26715] ppid=26713 vsize=132204 CPUtime=0.69 cores=0,2,4,6
/proc/26715/stat : 26715 (pbscip.linux.x8) R 26713 26715 21683 0 -1 4202496 32117 0 0 0 64 5 0 0 20 0 1 0 340484937 135376896 31709 33554432000 4194304 8395647 140734359921248 140734359786456 6067289 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26715/statm: 33051 31709 463 1026 0 32021 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 132204
[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26716
/proc/meminfo: memFree=27349176/32873844 swapFree=7108/7108
[pid=26715] ppid=26713 vsize=211764 CPUtime=1.49 cores=0,2,4,6
/proc/26715/stat : 26715 (pbscip.linux.x8) R 26713 26715 21683 0 -1 4202496 51886 0 0 0 140 9 0 0 20 0 1 0 340484937 216846336 51478 33554432000 4194304 8395647 140734359921248 140734359917000 6345706 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26715/statm: 52941 51478 469 1026 0 51911 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 211764
[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26716
/proc/meminfo: memFree=27271800/32873844 swapFree=7108/7108
[pid=26715] ppid=26713 vsize=277320 CPUtime=3.09 cores=0,2,4,6
/proc/26715/stat : 26715 (pbscip.linux.x8) R 26713 26715 21683 0 -1 4202496 68039 0 0 0 297 12 0 0 20 0 1 0 340484937 283975680 66992 33554432000 4194304 8395647 140734359921248 140734359917048 18446744073699065939 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26715/statm: 69330 66992 500 1026 0 68300 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 277320
[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26716
/proc/meminfo: memFree=27197696/32873844 swapFree=7108/7108
[pid=26715] ppid=26713 vsize=332464 CPUtime=6.29 cores=0,2,4,6
/proc/26715/stat : 26715 (pbscip.linux.x8) R 26713 26715 21683 0 -1 4202496 80426 0 0 0 616 13 0 0 20 0 1 0 340484937 340443136 79336 33554432000 4194304 8395647 140734359921248 140734359917112 6080661 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26715/statm: 83116 79336 510 1026 0 82086 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 332464
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26716
/proc/meminfo: memFree=27130628/32873844 swapFree=7108/7108
[pid=26715] ppid=26713 vsize=378204 CPUtime=12.69 cores=0,2,4,6
/proc/26715/stat : 26715 (pbscip.linux.x8) R 26713 26715 21683 0 -1 4202496 91360 0 0 0 1254 15 0 0 20 0 1 0 340484937 387280896 90270 33554432000 4194304 8395647 140734359921248 140734359917320 6080328 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26715/statm: 94551 90270 510 1026 0 93521 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 378204
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26716
/proc/meminfo: memFree=27013540/32873844 swapFree=7108/7108
[pid=26715] ppid=26713 vsize=463892 CPUtime=25.49 cores=0,2,4,6
/proc/26715/stat : 26715 (pbscip.linux.x8) R 26713 26715 21683 0 -1 4202496 112925 0 0 0 2531 18 0 0 20 0 1 0 340484937 475025408 111835 33554432000 4194304 8395647 140734359921248 140734359917112 5215872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26715/statm: 115973 111835 510 1026 0 114943 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 463892
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26716
/proc/meminfo: memFree=26808288/32873844 swapFree=7108/7108
[pid=26715] ppid=26713 vsize=615748 CPUtime=51.09 cores=0,2,4,6
/proc/26715/stat : 26715 (pbscip.linux.x8) R 26713 26715 21683 0 -1 4202496 150784 0 0 0 5085 24 0 0 20 0 1 0 340484937 630525952 149694 33554432000 4194304 8395647 140734359921248 140734359917320 6080336 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26715/statm: 153937 149695 510 1026 0 152907 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 615748
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26716
/proc/meminfo: memFree=26532308/32873844 swapFree=7108/7108
[pid=26715] ppid=26713 vsize=776552 CPUtime=102.28 cores=0,2,4,6
/proc/26715/stat : 26715 (pbscip.linux.x8) R 26713 26715 21683 0 -1 4202496 190570 0 0 0 10197 31 0 0 20 0 1 0 340484937 795189248 189480 33554432000 4194304 8395647 140734359921248 140734359917112 4247631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26715/statm: 194138 189480 510 1026 0 193108 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 776552
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26716
/proc/meminfo: memFree=26272188/32873844 swapFree=7108/7108
[pid=26715] ppid=26713 vsize=930028 CPUtime=162.26 cores=0,2,4,6
/proc/26715/stat : 26715 (pbscip.linux.x8) R 26713 26715 21683 0 -1 4202496 229364 0 0 0 16186 40 0 0 20 0 1 0 340484937 952348672 228274 33554432000 4194304 8395647 140734359921248 140734359917176 6080665 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26715/statm: 232507 228274 515 1026 0 231477 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 930028
[startup+222.306 s]
/proc/loadavg: 1.97 2.00 2.00 3/177 26754
/proc/meminfo: memFree=26818384/32873844 swapFree=7108/7108
[pid=26715] ppid=26713 vsize=1040404 CPUtime=222.26 cores=0,2,4,6
/proc/26715/stat : 26715 (pbscip.linux.x8) R 26713 26715 21683 0 -1 4202496 257041 0 0 0 22179 47 0 0 20 0 1 0 340484937 1065373696 256462 33554432000 4194304 8395647 140734359921248 140734359917320 5604414 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26715/statm: 260101 256462 515 1026 0 259071 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1040404
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26755
/proc/meminfo: memFree=26351132/32873844 swapFree=7108/7108
[pid=26715] ppid=26713 vsize=1228864 CPUtime=282.21 cores=0,2,4,6
/proc/26715/stat : 26715 (pbscip.linux.x8) R 26713 26715 21683 0 -1 4202496 302795 0 0 0 28165 56 0 0 20 0 1 0 340484937 1258356736 303643 33554432000 4194304 8395647 140734359921248 140734359918344 6115585 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26715/statm: 307216 303643 515 1026 0 306186 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1228864
[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 26755
/proc/meminfo: memFree=26042212/32873844 swapFree=7108/7108
[pid=26715] ppid=26713 vsize=1417856 CPUtime=342.2 cores=0,2,4,6
/proc/26715/stat : 26715 (pbscip.linux.x8) R 26713 26715 21683 0 -1 4202496 348682 0 0 0 34156 64 0 0 20 0 1 0 340484937 1451884544 350036 33554432000 4194304 8395647 140734359921248 140734359917320 5210338 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26715/statm: 354464 350036 515 1026 0 353434 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1417856
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26758
/proc/meminfo: memFree=25725872/32873844 swapFree=7108/7108
[pid=26715] ppid=26713 vsize=1613928 CPUtime=402.18 cores=0,2,4,6
/proc/26715/stat : 26715 (pbscip.linux.x8) R 26713 26715 21683 0 -1 4202496 396962 0 0 0 40145 73 0 0 20 0 1 0 340484937 1652662272 399347 33554432000 4194304 8395647 140734359921248 140734359917320 6080353 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26715/statm: 403482 399347 515 1026 0 402452 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1613928
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26758
/proc/meminfo: memFree=25379360/32873844 swapFree=7108/7108
[pid=26715] ppid=26713 vsize=1828812 CPUtime=462.15 cores=0,2,4,6
/proc/26715/stat : 26715 (pbscip.linux.x8) R 26713 26715 21683 0 -1 4202496 450401 0 0 0 46132 83 0 0 20 0 1 0 340484937 1872703488 452877 33554432000 4194304 8395647 140734359921248 140734359917320 5210311 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26715/statm: 457203 452877 515 1026 0 456173 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 1828812
[startup+522.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 26758
/proc/meminfo: memFree=25088112/32873844 swapFree=7108/7108
[pid=26715] ppid=26713 vsize=2001448 CPUtime=522.14 cores=0,2,4,6
/proc/26715/stat : 26715 (pbscip.linux.x8) R 26713 26715 21683 0 -1 4202496 493139 0 0 0 52122 92 0 0 20 0 1 0 340484937 2049482752 495720 33554432000 4194304 8395647 140734359921248 140734359917320 6080349 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26715/statm: 500362 495720 515 1026 0 499332 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 2001448
[startup+582.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/176 26758
/proc/meminfo: memFree=24814352/32873844 swapFree=7108/7108
[pid=26715] ppid=26713 vsize=2145100 CPUtime=582.13 cores=0,2,4,6
/proc/26715/stat : 26715 (pbscip.linux.x8) R 26713 26715 21683 0 -1 4202496 528301 0 0 0 58116 97 0 0 20 0 1 0 340484937 2196582400 531983 33554432000 4194304 8395647 140734359921248 140734359917320 6068872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26715/statm: 536275 531983 515 1026 0 535245 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 2145100
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=24225936/32873844 swapFree=7108/7108
[pid=26715] ppid=26713 vsize=2463116 CPUtime=1002.04 cores=0,2,4,6
/proc/26715/stat : 26715 (pbscip.linux.x8) R 26713 26715 21683 0 -1 4202496 603972 0 0 0 100089 115 0 0 20 0 1 0 340484937 2522230784 610691 33554432000 4194304 8395647 140734359921248 140734359916536 5792805 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26715/statm: 615779 610691 612 1026 0 614749 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 2463116
[startup+1062.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 26763
/proc/meminfo: memFree=24074844/32873844 swapFree=7108/7108
[pid=26715] ppid=26713 vsize=2463116 CPUtime=1062.03 cores=0,2,4,6
/proc/26715/stat : 26715 (pbscip.linux.x8) R 26713 26715 21683 0 -1 4202496 603980 0 0 0 106088 115 0 0 20 0 1 0 340484937 2522230784 610942 33554432000 4194304 8395647 140734359921248 140734359916536 5792902 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26715/statm: 615779 610942 612 1026 0 614749 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 2463116
[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 26763
/proc/meminfo: memFree=24074752/32873844 swapFree=7108/7108
[pid=26715] ppid=26713 vsize=2463116 CPUtime=1122.02 cores=0,2,4,6
/proc/26715/stat : 26715 (pbscip.linux.x8) R 26713 26715 21683 0 -1 4202496 603983 0 0 0 112087 115 0 0 20 0 1 0 340484937 2522230784 611090 33554432000 4194304 8395647 140734359921248 140734359916536 5792894 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26715/statm: 615779 611090 612 1026 0 614749 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 2463116
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26763
/proc/meminfo: memFree=24060580/32873844 swapFree=7108/7108
[pid=26715] ppid=26713 vsize=2463116 CPUtime=1182.01 cores=0,2,4,6
/proc/26715/stat : 26715 (pbscip.linux.x8) R 26713 26715 21683 0 -1 4202496 603984 0 0 0 118086 115 0 0 20 0 1 0 340484937 2522230784 611383 33554432000 4194304 8395647 140734359921248 140734359916536 5793045 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26715/statm: 615779 611383 612 1026 0 614749 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 2463116
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26764
/proc/meminfo: memFree=24059120/32873844 swapFree=7108/7108
[pid=26715] ppid=26713 vsize=2463116 CPUtime=1241.99 cores=0,2,4,6
/proc/26715/stat : 26715 (pbscip.linux.x8) R 26713 26715 21683 0 -1 4202496 603992 0 0 0 124084 115 0 0 20 0 1 0 340484937 2522230784 611654 33554432000 4194304 8395647 140734359921248 140734359916536 5792689 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26715/statm: 615779 611654 612 1026 0 614749 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 2463116
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26764
/proc/meminfo: memFree=24045684/32873844 swapFree=7108/7108
[pid=26715] ppid=26713 vsize=2463116 CPUtime=1301.98 cores=0,2,4,6
/proc/26715/stat : 26715 (pbscip.linux.x8) R 26713 26715 21683 0 -1 4202496 603998 0 0 0 130083 115 0 0 20 0 1 0 340484937 2522230784 611798 33554432000 4194304 8395647 140734359921248 140734359916536 5792687 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26715/statm: 615779 611798 612 1026 0 614749 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 2463116
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26764
/proc/meminfo: memFree=24043728/32873844 swapFree=7108/7108
[pid=26715] ppid=26713 vsize=2463116 CPUtime=1361.97 cores=0,2,4,6
/proc/26715/stat : 26715 (pbscip.linux.x8) R 26713 26715 21683 0 -1 4202496 604000 0 0 0 136082 115 0 0 20 0 1 0 340484937 2522230784 611881 33554432000 4194304 8395647 140734359921248 140734359916536 5793087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26715/statm: 615779 611881 612 1026 0 614749 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 2463116
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26764
/proc/meminfo: memFree=24042516/32873844 swapFree=7108/7108
[pid=26715] ppid=26713 vsize=2463116 CPUtime=1421.96 cores=0,2,4,6
/proc/26715/stat : 26715 (pbscip.linux.x8) R 26713 26715 21683 0 -1 4202496 604007 0 0 0 142081 115 0 0 20 0 1 0 340484937 2522230784 612188 33554432000 4194304 8395647 140734359921248 140734359916536 5792689 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26715/statm: 615779 612188 612 1026 0 614749 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 2463116
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26764
/proc/meminfo: memFree=23967240/32873844 swapFree=7108/7108
[pid=26715] ppid=26713 vsize=2528696 CPUtime=1481.95 cores=0,2,4,6
/proc/26715/stat : 26715 (pbscip.linux.x8) R 26713 26715 21683 0 -1 4202496 610956 0 0 0 148077 118 0 0 20 0 1 0 340484937 2589384704 628937 33554432000 4194304 8395647 140734359921248 140734359917464 5794534 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26715/statm: 632174 628937 612 1026 0 631144 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 2528696
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26765
/proc/meminfo: memFree=23904968/32873844 swapFree=7108/7108
[pid=26715] ppid=26713 vsize=2593576 CPUtime=1541.94 cores=0,2,4,6
/proc/26715/stat : 26715 (pbscip.linux.x8) R 26713 26715 21683 0 -1 4202496 613126 0 0 0 154075 119 0 0 20 0 1 0 340484937 2655821824 644504 33554432000 4194304 8395647 140734359921248 140734359917464 5794576 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26715/statm: 648394 644504 612 1026 0 647364 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 2593576
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26768
/proc/meminfo: memFree=23832808/32873844 swapFree=7108/7108
[pid=26715] ppid=26713 vsize=2684800 CPUtime=1601.93 cores=0,2,4,6
/proc/26715/stat : 26715 (pbscip.linux.x8) R 26713 26715 21683 0 -1 4202496 614692 0 0 0 160073 120 0 0 20 0 1 0 340484937 2749235200 661907 33554432000 4194304 8395647 140734359921248 140734359917464 5794553 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26715/statm: 671200 661907 612 1026 0 670170 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 2684800
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26768
/proc/meminfo: memFree=23761260/32873844 swapFree=7108/7108
[pid=26715] ppid=26713 vsize=2741912 CPUtime=1661.92 cores=0,2,4,6
/proc/26715/stat : 26715 (pbscip.linux.x8) R 26713 26715 21683 0 -1 4202496 617426 0 0 0 166066 126 0 0 20 0 1 0 340484937 2807717888 679306 33554432000 4194304 8395647 140734359921248 140734359916712 6696650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26715/statm: 685478 679306 624 1026 0 684448 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 2741912
[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 26768
/proc/meminfo: memFree=23768312/32873844 swapFree=7108/7108
[pid=26715] ppid=26713 vsize=2738444 CPUtime=1721.89 cores=0,2,4,6
/proc/26715/stat : 26715 (pbscip.linux.x8) R 26713 26715 21683 0 -1 4202496 618344 0 0 0 172058 131 0 0 20 0 1 0 340484937 2804166656 677659 33554432000 4194304 8395647 140734359921248 140734359916376 6699144 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26715/statm: 684611 677659 624 1026 0 683581 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 2738444
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26768
/proc/meminfo: memFree=23768340/32873844 swapFree=7108/7108
[pid=26715] ppid=26713 vsize=2738444 CPUtime=1781.88 cores=0,2,4,6
/proc/26715/stat : 26715 (pbscip.linux.x8) R 26713 26715 21683 0 -1 4202496 618400 0 0 0 178051 137 0 0 20 0 1 0 340484937 2804166656 677715 33554432000 4194304 8395647 140734359921248 140734359916376 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26715/statm: 684611 677715 625 1026 0 683581 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 2738444
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26768
/proc/meminfo: memFree=23768076/32873844 swapFree=7108/7108
[pid=26715] ppid=26713 vsize=2738444 CPUtime=1785.18 cores=0,2,4,6
/proc/26715/stat : 26715 (pbscip.linux.x8) R 26713 26715 21683 0 -1 4202496 618400 0 0 0 178381 137 0 0 20 0 1 0 340484937 2804166656 677715 33554432000 4194304 8395647 140734359921248 140734359916376 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26715/statm: 684611 677715 625 1026 0 683581 0
Current children cumulated CPU time (s) 1785.18
Current children cumulated vsize (KiB) 2738444
[startup+1788.8 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 26768
/proc/meminfo: memFree=23768324/32873844 swapFree=7108/7108
[pid=26715] ppid=26713 vsize=2738444 CPUtime=1788.38 cores=0,2,4,6
/proc/26715/stat : 26715 (pbscip.linux.x8) R 26713 26715 21683 0 -1 4202496 618400 0 0 0 178701 137 0 0 20 0 1 0 340484937 2804166656 677715 33554432000 4194304 8395647 140734359921248 140734359916760 6696995 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26715/statm: 684611 677715 625 1026 0 683581 0
Current children cumulated CPU time (s) 1788.38
Current children cumulated vsize (KiB) 2738444
[startup+1789.6 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 26768
/proc/meminfo: memFree=23768324/32873844 swapFree=7108/7108
[pid=26715] ppid=26713 vsize=2738444 CPUtime=1789.19 cores=0,2,4,6
/proc/26715/stat : 26715 (pbscip.linux.x8) R 26713 26715 21683 0 -1 4202496 618400 0 0 0 178781 138 0 0 20 0 1 0 340484937 2804166656 677715 33554432000 4194304 8395647 140734359921248 140734359916760 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26715/statm: 684611 677715 625 1026 0 683581 0
Current children cumulated CPU time (s) 1789.19
Current children cumulated vsize (KiB) 2738444
[startup+1790 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 26768
/proc/meminfo: memFree=23768324/32873844 swapFree=7108/7108
[pid=26715] ppid=26713 vsize=2738444 CPUtime=1789.59 cores=0,2,4,6
/proc/26715/stat : 26715 (pbscip.linux.x8) R 26713 26715 21683 0 -1 4202496 618400 0 0 0 178821 138 0 0 20 0 1 0 340484937 2804166656 677715 33554432000 4194304 8395647 140734359921248 140734359916760 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26715/statm: 684611 677715 625 1026 0 683581 0
Current children cumulated CPU time (s) 1789.59
Current children cumulated vsize (KiB) 2738444
[startup+1790.2 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 26768
/proc/meminfo: memFree=23768324/32873844 swapFree=7108/7108
[pid=26715] ppid=26713 vsize=2478604 CPUtime=1789.78 cores=0,2,4,6
/proc/26715/stat : 26715 (pbscip.linux.x8) R 26713 26715 21683 0 -1 4202496 618409 0 0 0 178840 138 0 0 20 0 1 0 340484937 2538090496 618071 33554432000 4194304 8395647 140734359921248 140734359916760 4750032 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26715/statm: 619651 618071 634 1026 0 618621 0
Current children cumulated CPU time (s) 1789.78
Current children cumulated vsize (KiB) 2478604
Child status: 0
Real time (s): 1790.23
CPU time (s): 1789.83
CPU user time (s): 1788.43
CPU system time (s): 1.39879
CPU usage (%): 99.9773
Max. virtual memory (cumulated for all children) (KiB): 2741912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.43
system time used= 1.39879
maximum resident set size= 2723208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 618415
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= 150
involuntary context switches= 1863
runsolver used 3.03554 second user time and 8.19575 second system time
The end