0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 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-3452413-1307112324.opb>
0.00/0.00 c original problem has 100 variables (100 bin, 0 int, 0 impl, 0 cont) and 151 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.01 o 0
0.00/0.01 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.01 c presolving:
0.02/0.03 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 150 upgd conss, 5012 impls, 100 clqs
0.02/0.04 c (0.0s) probing: 101/714 (14.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.02/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.02/0.04 c presolving (2 rounds):
0.02/0.04 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.02/0.04 c 5012 implications, 100 cliques
0.02/0.04 c presolved problem has 714 variables (714 bin, 0 int, 0 impl, 0 cont) and 765 constraints
0.02/0.04 c 150 constraints of type <setppc>
0.02/0.04 c 614 constraints of type <and>
0.02/0.04 c 1 constraints of type <linear>
0.02/0.04 c transformed objective value is always integral (scale: 1)
0.02/0.04 c Presolving Time: 0.03
0.02/0.04 c - non default parameters ----------------------------------------------------------------------
0.02/0.04 c # SCIP version 2.0.1.4
0.02/0.04 c
0.02/0.04 c # frequency for displaying node information lines
0.02/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.04 c display/freq = 10000
0.02/0.04 c
0.02/0.04 c # maximal time in seconds to run
0.02/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.04 c limits/time = 1800
0.02/0.04 c
0.02/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.04 c limits/memory = 13950
0.02/0.04 c
0.02/0.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.02/0.04 c # [type: int, range: [1,2], default: 1]
0.02/0.04 c timing/clocktype = 2
0.02/0.04 c
0.02/0.04 c # belongs reading time to solving time?
0.02/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.04 c timing/reading = TRUE
0.02/0.04 c
0.02/0.04 c # should presolving try to simplify inequalities
0.02/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.04 c constraints/linear/simplifyinequalities = TRUE
0.02/0.04 c
0.02/0.04 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.02/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.04 c constraints/indicator/addCouplingCons = TRUE
0.02/0.04 c
0.02/0.04 c # should presolving try to simplify knapsacks
0.02/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.04 c
0.02/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.02/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.04 c separating/rapidlearning/freq = 0
0.02/0.04 c
0.02/0.04 c -----------------------------------------------------------------------------------------------
0.02/0.04 c start solving
0.02/0.04 c
0.02/0.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.02/0.05 c t 0.1s| 1 | 0 | 172 | - |3238k| 0 | 124 | 714 | 765 | 714 |1379 | 0 | 0 | 0 |-2.500000e+01 | 0.000000e+00 | 100.00%
0.02/0.05 o -4
0.02/0.05 c R 0.1s| 1 | 0 | 172 | - |3248k| 0 | 124 | 714 | 765 | 714 |1379 | 0 | 0 | 0 |-2.500000e+01 |-4.000000e+00 | 84.00%
0.39/0.46 o -5
0.39/0.46 c U 0.5s| 1 | 0 | 172 | - |3272k| 0 | 124 | 714 | 767 | 714 |1379 | 0 | 1 | 0 |-2.500000e+01 |-5.000000e+00 | 80.00%
0.49/0.53 c 0.5s| 1 | 0 | 175 | - |3397k| 0 | 101 | 714 | 768 | 714 |1382 | 3 | 1 | 0 |-2.500000e+01 |-5.000000e+00 | 80.00%
0.49/0.57 c 0.6s| 1 | 0 | 506 | - |3422k| 0 | 240 | 714 | 768 | 714 |1383 | 4 | 1 | 0 |-2.500000e+01 |-5.000000e+00 | 80.00%
0.59/0.60 c 0.6s| 1 | 0 | 508 | - |3493k| 0 | 239 | 714 | 768 | 714 |1385 | 6 | 1 | 0 |-2.500000e+01 |-5.000000e+00 | 80.00%
0.59/0.64 c 0.6s| 1 | 0 | 762 | - |3545k| 0 | 267 | 714 | 768 | 714 |1386 | 7 | 1 | 0 |-2.500000e+01 |-5.000000e+00 | 80.00%
0.69/0.72 c 0.7s| 1 | 0 | 994 | - |3742k| 0 | 314 | 714 | 768 | 714 |1390 | 11 | 1 | 0 |-2.500000e+01 |-5.000000e+00 | 80.00%
0.79/0.83 c 0.8s| 1 | 0 | 1131 | - |4091k| 0 | 337 | 714 | 768 | 714 |1394 | 15 | 1 | 0 |-2.500000e+01 |-5.000000e+00 | 80.00%
3.21/3.24 o -9
3.21/3.24 c E 3.2s| 1 | 0 | 1131 | - |4112k| 0 | 337 | 714 | 768 | 714 |1394 | 15 | 1 | 0 |-2.500000e+01 |-9.000000e+00 | 64.00%
3.21/3.24 c 3.2s| 1 | 0 | 1131 | - |4112k| 0 | 337 | 714 | 768 | 714 |1394 | 15 | 1 | 0 |-2.500000e+01 |-9.000000e+00 | 64.00%
3.32/3.36 c 3.4s| 1 | 0 | 1361 | - |4169k| 0 | 322 | 714 | 768 | 714 |1397 | 18 | 1 | 0 |-2.500000e+01 |-9.000000e+00 | 64.00%
5.89/5.97 c 6.0s| 1 | 2 | 1361 | - |4170k| 0 | 322 | 714 | 768 | 714 |1397 | 18 | 1 | 24 |-2.500000e+01 |-9.000000e+00 | 64.00%
8.59/8.65 o -10
8.59/8.65 c * 8.7s| 14 | 11 | 6769 | 416.0 |3955k| 13 | - | 714 | 768 | 714 | 706 | 357 | 1 | 194 |-2.500000e+01 |-1.000000e+01 | 60.00%
21.39/21.46 o -11
21.39/21.46 c l21.5s| 150 | 133 | 80190 | 529.1 |4360k| 19 | - | 714 | 775 | 714 | 766 |2333 | 8 | 368 |-2.228093e+01 |-1.100000e+01 | 50.63%
28.89/28.93 o -12
28.89/28.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.89/28.93 c l28.9s| 214 | 171 |160558 | 747.4 |4401k| 19 | - | 714 | 785 | 714 | 761 |2980 | 18 | 380 |-2.159079e+01 |-1.200000e+01 | 44.42%
44.30/44.33 o -13
44.30/44.33 c p44.3s| 603 | 388 |324194 | 536.3 |4905k| 23 | - | 714 | 809 | 714 | 790 |5598 | 45 | 389 |-2.063740e+01 |-1.300000e+01 | 37.01%
112.97/113.05 c 113s| 10000 | 2420 | 1055k| 105.4 | 12M| 47 | - | 714 | 870 | 714 | 802 | 20k| 142 | 462 |-1.860596e+01 |-1.300000e+01 | 30.13%
159.68/159.74 c 160s| 20000 | 3382 | 1517k| 75.8 | 18M| 50 | 98 | 714 | 899 | 714 | 780 | 30k| 249 | 676 |-1.812550e+01 |-1.300000e+01 | 28.28%
198.77/198.87 c 199s| 30000 | 3899 | 1904k| 63.4 | 20M| 50 | - | 714 | 904 | 714 | 827 | 38k| 356 | 862 |-1.782617e+01 |-1.300000e+01 | 27.07%
239.57/239.62 c 240s| 40000 | 4433 | 2308k| 57.7 | 24M| 50 | 91 | 714 | 912 | 714 | 812 | 46k| 407 |1105 |-1.762957e+01 |-1.300000e+01 | 26.26%
278.38/278.43 c 278s| 50000 | 4831 | 2694k| 53.9 | 26M| 50 | 127 | 714 | 917 | 714 | 836 | 54k| 501 |1309 |-1.747434e+01 |-1.300000e+01 | 25.61%
319.00/319.02 c 319s| 60000 | 5223 | 3104k| 51.7 | 29M| 50 | 86 | 714 | 934 | 714 | 666 | 63k| 564 |1486 |-1.730195e+01 |-1.300000e+01 | 24.86%
358.68/358.79 c 359s| 70000 | 5555 | 3504k| 50.0 | 31M| 50 | 91 | 714 | 938 | 714 | 805 | 71k| 614 |1680 |-1.718729e+01 |-1.300000e+01 | 24.36%
397.10/397.19 c 397s| 80000 | 5909 | 3889k| 48.6 | 34M| 50 | - | 714 | 943 | 714 | 792 | 79k| 660 |1855 |-1.707010e+01 |-1.300000e+01 | 23.84%
432.08/432.14 c 432s| 90000 | 6109 | 4240k| 47.1 | 35M| 50 | - | 714 | 950 | 714 | 788 | 86k| 718 |2001 |-1.700321e+01 |-1.300000e+01 | 23.54%
468.98/469.07 c 469s|100000 | 6305 | 4610k| 46.1 | 37M| 50 | 135 | 714 | 945 | 714 | 762 | 93k| 771 |2156 |-1.689564e+01 |-1.300000e+01 | 23.06%
504.80/504.82 c 505s|110000 | 6489 | 4967k| 45.1 | 38M| 50 | 105 | 714 | 954 | 714 | 794 | 101k| 815 |2289 |-1.680615e+01 |-1.300000e+01 | 22.65%
541.69/541.73 c 542s|120000 | 6671 | 5338k| 44.5 | 39M| 50 | - | 714 | 957 | 714 | 784 | 108k| 861 |2427 |-1.672776e+01 |-1.300000e+01 | 22.28%
576.78/576.87 c 577s|130000 | 6795 | 5689k| 43.8 | 41M| 50 | - | 714 | 954 | 714 | 782 | 115k| 894 |2563 |-1.666070e+01 |-1.300000e+01 | 21.97%
612.89/612.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
612.89/612.97 c 613s|140000 | 6875 | 6055k| 43.2 | 41M| 50 | 113 | 714 | 968 | 714 | 817 | 123k| 922 |2678 |-1.659709e+01 |-1.300000e+01 | 21.67%
647.29/647.30 c 647s|150000 | 6963 | 6402k| 42.7 | 42M| 50 | - | 714 | 983 | 714 | 812 | 129k| 961 |2814 |-1.653891e+01 |-1.300000e+01 | 21.40%
681.79/681.83 c 682s|160000 | 7017 | 6752k| 42.2 | 43M| 53 | 135 | 714 | 976 | 714 | 765 | 136k| 986 |2928 |-1.648924e+01 |-1.300000e+01 | 21.16%
716.19/716.21 c 716s|170000 | 7045 | 7099k| 41.8 | 44M| 53 | 89 | 714 | 979 | 714 | 803 | 143k|1002 |3059 |-1.642460e+01 |-1.300000e+01 | 20.85%
750.49/750.55 c 751s|180000 | 7013 | 7450k| 41.4 | 44M| 53 | 130 | 714 | 989 | 714 | 793 | 150k|1036 |3182 |-1.637596e+01 |-1.300000e+01 | 20.62%
774.49/774.51 o -14
774.49/774.51 c * 775s|186818 | 2723 | 7691k| 41.2 | 14M| 53 | - | 714 | 974 | 714 | 797 | 155k|1042 |3266 |-1.632406e+01 |-1.400000e+01 | 14.24%
785.09/785.14 c 785s|190000 | 2375 | 7797k| 41.0 | 13M| 53 | 141 | 714 | 965 | 714 | 818 | 156k|1043 |3296 |-1.630419e+01 |-1.400000e+01 | 14.13%
819.51/819.58 c 820s|200000 | 1395 | 8140k| 40.7 | 11M| 53 | - | 714 | 946 | 714 | 815 | 161k|1044 |3415 |-1.619774e+01 |-1.400000e+01 | 13.57%
847.79/847.80 c
847.79/847.80 c SCIP Status : problem is solved [optimal solution found]
847.79/847.80 c Solving Time (sec) : 847.80
847.79/847.80 c Solving Nodes : 209181
847.79/847.80 c Primal Bound : -1.40000000000000e+01 (15 solutions)
847.79/847.80 c Dual Bound : -1.40000000000000e+01
847.79/847.80 c Gap : 0.00 %
847.79/847.80 s OPTIMUM FOUND
847.79/847.80 v x85 -x63 -x78 -x89 -x97 x60 -x87 -x72 -x56 x82 x99 -x94 -x93 -x91 -x61 x57 -x81 -x71 -x83 x73 -x98 -x90 -x74 -x70 -x66 -x62 -x80
847.79/847.80 v -x69 -x68 -x100 -x92 -x53 -x54 -x65 -x55 x51 x96 x67 -x59 -x58 x95 -x86 -x79 -x76 x88 x64 x77 -x75 x84 -x52 x50 -x49 x48 -x47
847.79/847.80 v -x46 -x45 x44 -x43 -x42 x41 -x40 -x39 -x38 x37 -x36 -x35 -x34 x33 -x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 x24 -x23 x22 x21
847.79/847.80 v x20 x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 -x1
847.79/847.80 c SCIP Status : problem is solved [optimal solution found]
847.79/847.80 c Total Time : 847.80
847.79/847.80 c solving : 847.80
847.79/847.80 c presolving : 0.03 (included in solving)
847.79/847.80 c reading : 0.00 (included in solving)
847.79/847.80 c Original Problem :
847.79/847.80 c Problem name : HOME/instance-3452413-1307112324.opb
847.79/847.80 c Variables : 100 (100 binary, 0 integer, 0 implicit integer, 0 continuous)
847.79/847.80 c Constraints : 151 initial, 151 maximal
847.79/847.80 c Presolved Problem :
847.79/847.80 c Problem name : t_HOME/instance-3452413-1307112324.opb
847.79/847.80 c Variables : 714 (714 binary, 0 integer, 0 implicit integer, 0 continuous)
847.79/847.80 c Constraints : 765 initial, 992 maximal
847.79/847.80 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
847.79/847.80 c trivial : 0.00 0 0 0 0 0 0 0 0 0
847.79/847.80 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
847.79/847.80 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
847.79/847.80 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
847.79/847.80 c implics : 0.00 0 0 0 0 0 0 0 0 0
847.79/847.80 c probing : 0.01 0 0 0 0 0 0 0 0 0
847.79/847.80 c setppc : 0.00 0 0 0 0 0 0 0 0 0
847.79/847.80 c and : 0.02 0 0 0 0 0 0 0 0 0
847.79/847.80 c linear : 0.00 0 0 0 0 0 0 0 0 0
847.79/847.80 c logicor : 0.00 0 0 0 0 0 0 0 0 0
847.79/847.80 c root node : - 17 - - 17 - - - - -
847.79/847.80 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
847.79/847.80 c integral : 0 0 0 107329 0 126 0 99 993 0 0 213596
847.79/847.80 c setppc : 150 7 665153 2 0 121 3458 417 499683 0 0 0
847.79/847.80 c and : 614 177755 664738 2 0 120 4802 118 5457125 164468 0 0
847.79/847.80 c linear : 1 7 664612 2 0 12 65 34 208 0 0 0
847.79/847.80 c logicor : 0+ 7 166973 0 0 0 644 8 135705 0 0 0
847.79/847.80 c countsols : 0 0 0 2 0 16 0 0 0 0 0 0
847.79/847.80 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
847.79/847.80 c integral : 30.05 0.00 0.00 30.05 0.00 0.00 0.00
847.79/847.80 c setppc : 1.32 0.00 1.32 0.00 0.00 0.00 0.00
847.79/847.80 c and : 11.36 5.04 6.32 0.00 0.00 0.00 0.00
847.79/847.80 c linear : 0.48 0.00 0.48 0.00 0.00 0.00 0.00
847.79/847.80 c logicor : 0.66 0.00 0.66 0.00 0.00 0.00 0.00
847.79/847.80 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
847.79/847.80 c Propagators : #Propagate #Resprop Cutoffs DomReds
847.79/847.80 c vbounds : 0 0 0 0
847.79/847.80 c rootredcost : 5 0 0 0
847.79/847.80 c pseudoobj : 667767 579 97 1249
847.79/847.80 c Propagator Timings : TotalTime Propagate Resprop
847.79/847.80 c vbounds : 0.12 0.12 0.00
847.79/847.80 c rootredcost : 0.12 0.12 0.00
847.79/847.80 c pseudoobj : 1.21 1.21 0.00
847.79/847.80 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
847.79/847.80 c propagation : 0.01 674 655 1373 23.2 6 17.7 -
847.79/847.80 c infeasible LP : 0.00 32 32 61 31.8 0 0.0 0
847.79/847.80 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
847.79/847.80 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
847.79/847.80 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
847.79/847.80 c applied globally : - - - 1042 19.3 - - -
847.79/847.80 c applied locally : - - - 3 82.0 - - -
847.79/847.80 c Separators : Time Calls Cutoffs DomReds Cuts Conss
847.79/847.80 c cut pool : 0.00 6 - - 49 - (maximal pool size: 170)
847.79/847.80 c redcost : 3.57 191356 0 706760 0 0
847.79/847.80 c impliedbounds : 0.00 7 0 0 0 0
847.79/847.80 c intobj : 0.00 0 0 0 0 0
847.79/847.80 c gomory : 0.14 7 0 0 125 0
847.79/847.80 c cgmip : 0.00 0 0 0 0 0
847.79/847.80 c closecuts : 0.00 0 0 0 0 0
847.79/847.80 c strongcg : 0.13 7 0 0 781 0
847.79/847.80 c cmir : 0.03 7 0 0 0 0
847.79/847.80 c flowcover : 0.03 7 0 0 0 0
847.79/847.80 c clique : 0.02 7 0 0 21 0
847.79/847.80 c zerohalf : 0.00 0 0 0 0 0
847.79/847.80 c mcf : 0.00 1 0 0 0 0
847.79/847.80 c oddcycle : 0.00 0 0 0 0 0
847.79/847.80 c rapidlearning : 0.03 1 0 0 0 0
847.79/847.80 c Pricers : Time Calls Vars
847.79/847.80 c problem variables: 0.00 0 0
847.79/847.80 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
847.79/847.80 c relpscost : 29.98 107327 99 993 0 0 213596
847.79/847.80 c pscost : 0.00 0 0 0 0 0 0
847.79/847.80 c inference : 0.00 0 0 0 0 0 0
847.79/847.80 c mostinf : 0.00 0 0 0 0 0 0
847.79/847.80 c leastinf : 0.00 0 0 0 0 0 0
847.79/847.80 c fullstrong : 0.00 0 0 0 0 0 0
847.79/847.80 c allfullstrong : 0.00 0 0 0 0 0 0
847.79/847.80 c random : 0.00 0 0 0 0 0 0
847.79/847.80 c Primal Heuristics : Time Calls Found
847.79/847.80 c LP solutions : 0.02 - 2
847.79/847.80 c pseudo solutions : 0.00 - 0
847.79/847.80 c feaspump : 0.01 0 0
847.79/847.80 c oneopt : 0.06 7 0
847.79/847.80 c crossover : 0.46 16 3
847.79/847.80 c coefdiving : 4.98 134 0
847.79/847.80 c pscostdiving : 3.66 134 1
847.79/847.80 c linesearchdiving : 3.59 134 2
847.79/847.80 c fracdiving : 4.85 134 0
847.79/847.80 c guideddiving : 4.95 134 0
847.79/847.80 c veclendiving : 4.11 134 0
847.79/847.80 c rootsoldiving : 3.06 68 0
847.79/847.80 c objpscostdiving : 6.27 68 0
847.79/847.80 c trivial : 0.00 2 1
847.79/847.80 c shiftandpropagate: 0.00 0 0
847.79/847.80 c simplerounding : 0.05 0 0
847.79/847.80 c zirounding : 4.24 0 0
847.79/847.80 c rounding : 3.01 19151 1
847.79/847.80 c shifting : 1.20 3389 3
847.79/847.80 c intshifting : 0.00 0 0
847.79/847.80 c twoopt : 0.00 0 0
847.79/847.80 c fixandinfer : 0.00 0 0
847.79/847.80 c clique : 0.00 0 0
847.79/847.80 c intdiving : 0.00 0 0
847.79/847.80 c actconsdiving : 0.00 0 0
847.79/847.80 c octane : 0.00 0 0
847.79/847.80 c rens : 2.42 1 1
847.79/847.80 c rins : 0.00 0 0
847.79/847.80 c localbranching : 0.00 0 0
847.79/847.80 c mutation : 0.00 0 0
847.79/847.80 c dins : 0.00 0 0
847.79/847.80 c vbounds : 0.00 0 0
847.79/847.80 c undercover : 0.41 1 1
847.79/847.80 c subnlp : 0.03 0 0
847.79/847.80 c trysol : 0.05 0 0
847.79/847.80 c LP : Time Calls Iterations Iter/call Iter/sec
847.79/847.80 c primal LP : 6.76 0 0 0.00 0.00
847.79/847.80 c dual LP : 691.87 265213 8036935 30.30 11616.25
847.79/847.80 c lex dual LP : 0.00 0 0 0.00 -
847.79/847.80 c barrier LP : 0.00 0 0 0.00 -
847.79/847.80 c diving/probing LP: 30.97 29876 383878 12.85 12396.90
847.79/847.80 c strong branching : 28.32 3521 345726 98.19 12206.41
847.79/847.80 c (at root node) : - 24 24000 1000.00 -
847.79/847.80 c conflict analysis: 0.00 0 0 0.00 -
847.79/847.80 c B&B Tree :
847.79/847.80 c number of runs : 1
847.79/847.80 c nodes : 209181
847.79/847.80 c nodes (total) : 209181
847.79/847.80 c nodes left : 0
847.79/847.80 c max depth : 53
847.79/847.80 c max depth (total): 53
847.79/847.80 c backtracks : 29797 (14.2%)
847.79/847.80 c delayed cutoffs : 2
847.79/847.80 c repropagations : 6788 (6780 domain reductions, 0 cutoffs)
847.79/847.80 c avg switch length: 5.22
847.79/847.80 c switching time : 17.80
847.79/847.80 c Solution :
847.79/847.80 c Solutions found : 15 (9 improvements)
847.79/847.80 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
847.79/847.80 c Primal Bound : -1.40000000000000e+01 (in run 1, after 186818 nodes, 774.49 seconds, depth 35, found by <relaxation>)
847.79/847.80 c Dual Bound : -1.40000000000000e+01
847.79/847.80 c Gap : 0.00 %
847.79/847.80 c Root Dual Bound : -2.50000000000000e+01
847.79/847.80 c Root Iterations : 1361
847.79/847.81 c Time complete: 847.81.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3452413-1307112324/watcher-3452413-1307112324 -o /tmp/evaluation-result-3452413-1307112324/solver-3452413-1307112324 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452413-1307112324.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: 1.93 2.02 1.94 2/573 22433
/proc/meminfo: memFree=31396964/32950928 swapFree=43925852/67111528
[pid=22433] ppid=22431 vsize=16944 CPUtime=0.01 cores=0,2,4,6
/proc/22433/stat : 22433 (scip-2.0.1.4.li) R 22431 22433 20770 0 -1 4202496 3252 0 0 0 1 0 0 0 25 0 1 0 822831241 17350656 2947 33554432000 4194304 9128323 140736658401104 18446744073709551615 18446744073699066037 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22433/statm: 4236 2947 498 1205 0 3027 0
[startup+0.023168 s]
/proc/loadavg: 1.93 2.02 1.94 2/573 22433
/proc/meminfo: memFree=31396964/32950928 swapFree=43925852/67111528
[pid=22433] ppid=22431 vsize=16944 CPUtime=0.02 cores=0,2,4,6
/proc/22433/stat : 22433 (scip-2.0.1.4.li) R 22431 22433 20770 0 -1 4202496 3252 0 0 0 2 0 0 0 25 0 1 0 822831241 17350656 2947 33554432000 4194304 9128323 140736658401104 18446744073709551615 4971838 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22433/statm: 4236 2947 498 1205 0 3027 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16944
[startup+0.100108 s]
/proc/loadavg: 1.93 2.02 1.94 2/573 22433
/proc/meminfo: memFree=31396964/32950928 swapFree=43925852/67111528
[pid=22433] ppid=22431 vsize=40740 CPUtime=0.09 cores=0,2,4,6
/proc/22433/stat : 22433 (scip-2.0.1.4.li) R 22431 22433 20770 0 -1 4202496 9588 0 0 0 8 1 0 0 25 0 1 0 822831241 41717760 8883 33554432000 4194304 9128323 140736658401104 18446744073709551615 6886064 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22433/statm: 10185 8888 695 1205 0 8976 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 40740
[startup+0.301125 s]
/proc/loadavg: 1.93 2.02 1.94 2/573 22433
/proc/meminfo: memFree=31396964/32950928 swapFree=43925852/67111528
[pid=22433] ppid=22431 vsize=36832 CPUtime=0.29 cores=0,2,4,6
/proc/22433/stat : 22433 (scip-2.0.1.4.li) R 22431 22433 20770 0 -1 4202496 12771 0 0 0 27 2 0 0 25 0 1 0 822831241 37715968 8185 33554432000 4194304 9128323 140736658401104 18446744073709551615 7346442 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22433/statm: 9208 8185 731 1205 0 7999 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36832
[startup+0.701111 s]
/proc/loadavg: 1.93 2.02 1.94 2/573 22433
/proc/meminfo: memFree=31396964/32950928 swapFree=43925852/67111528
[pid=22433] ppid=22431 vsize=41920 CPUtime=0.69 cores=0,2,4,6
/proc/22433/stat : 22433 (scip-2.0.1.4.li) R 22431 22433 20770 0 -1 4202496 15999 0 0 0 66 3 0 0 25 0 1 0 822831241 42926080 9301 33554432000 4194304 9128323 140736658401104 18446744073709551615 6286194 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22433/statm: 10480 9301 746 1205 0 9271 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41920
[startup+1.50085 s]
/proc/loadavg: 1.93 2.02 1.94 3/573 22488
/proc/meminfo: memFree=31838472/32950928 swapFree=43925852/67111528
[pid=22433] ppid=22431 vsize=44080 CPUtime=1.49 cores=0,2,4,6
/proc/22433/stat : 22433 (scip-2.0.1.4.li) R 22431 22433 20770 0 -1 4202496 16766 0 0 0 144 5 0 0 25 0 1 0 822831241 45137920 10050 33554432000 4194304 9128323 140736658401104 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22433/statm: 11020 10050 754 1205 0 9811 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44080
[startup+3.10057 s]
/proc/loadavg: 1.93 2.02 1.94 3/573 22488
/proc/meminfo: memFree=31833016/32950928 swapFree=43925852/67111528
[pid=22433] ppid=22431 vsize=44744 CPUtime=3.09 cores=0,2,4,6
/proc/22433/stat : 22433 (scip-2.0.1.4.li) R 22431 22433 20770 0 -1 4202496 16974 0 0 0 292 17 0 0 25 0 1 0 822831241 45817856 10258 33554432000 4194304 9128323 140736658401104 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22433/statm: 11186 10258 755 1205 0 9977 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44744
[startup+6.30107 s]
/proc/loadavg: 1.94 2.02 1.94 3/573 22488
/proc/meminfo: memFree=31808376/32950928 swapFree=43925852/67111528
[pid=22433] ppid=22431 vsize=42040 CPUtime=6.29 cores=0,2,4,6
/proc/22433/stat : 22433 (scip-2.0.1.4.li) R 22431 22433 20770 0 -1 4202496 17025 0 0 0 607 22 0 0 25 0 1 0 822831241 43048960 9608 33554432000 4194304 9128323 140736658401104 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22433/statm: 10510 9608 764 1205 0 9301 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42040
[startup+12.701 s]
/proc/loadavg: 1.94 2.02 1.94 3/573 22488
/proc/meminfo: memFree=31798088/32950928 swapFree=43925852/67111528
[pid=22433] ppid=22431 vsize=42040 CPUtime=12.69 cores=0,2,4,6
/proc/22433/stat : 22433 (scip-2.0.1.4.li) R 22431 22433 20770 0 -1 4202496 17034 0 0 0 1237 32 0 0 25 0 1 0 822831241 43048960 9609 33554432000 4194304 9128323 140736658401104 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22433/statm: 10510 9609 756 1205 0 9301 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42040
[startup+25.5006 s]
/proc/loadavg: 1.95 2.02 1.94 3/573 22489
/proc/meminfo: memFree=31798708/32950928 swapFree=43925852/67111528
[pid=22433] ppid=22431 vsize=42040 CPUtime=25.5 cores=0,2,4,6
/proc/22433/stat : 22433 (scip-2.0.1.4.li) R 22431 22433 20770 0 -1 4202496 17037 0 0 0 2498 52 0 0 25 0 1 0 822831241 43048960 9612 33554432000 4194304 9128323 140736658401104 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22433/statm: 10510 9612 756 1205 0 9301 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 42040
[startup+51.1011 s]
/proc/loadavg: 2.04 2.03 1.94 3/573 22489
/proc/meminfo: memFree=31798472/32950928 swapFree=43925852/67111528
[pid=22433] ppid=22431 vsize=42040 CPUtime=51.1 cores=0,2,4,6
/proc/22433/stat : 22433 (scip-2.0.1.4.li) R 22431 22433 20770 0 -1 4202496 17042 0 0 0 5013 97 0 0 25 0 1 0 822831241 43048960 9617 33554432000 4194304 9128323 140736658401104 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22433/statm: 10510 9617 758 1205 0 9301 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 42040
[startup+102.321 s]
/proc/loadavg: 2.02 2.03 1.94 3/573 22491
/proc/meminfo: memFree=31795860/32950928 swapFree=43925852/67111528
[pid=22433] ppid=22431 vsize=43344 CPUtime=102.29 cores=0,2,4,6
/proc/22433/stat : 22433 (scip-2.0.1.4.li) R 22431 22433 20770 0 -1 4202496 18062 0 0 0 10055 174 0 0 25 0 1 0 822831241 44384256 9951 33554432000 4194304 9128323 140736658401104 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22433/statm: 10836 9951 758 1205 0 9627 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 43344
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/573 22492
/proc/meminfo: memFree=31790628/32950928 swapFree=43925852/67111528
[pid=22433] ppid=22431 vsize=46700 CPUtime=162.27 cores=0,2,4,6
/proc/22433/stat : 22433 (scip-2.0.1.4.li) R 22431 22433 20770 0 -1 4202496 22388 0 0 0 15987 240 0 0 25 0 1 0 822831241 47820800 10758 33554432000 4194304 9128323 140736658401104 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22433/statm: 11675 10758 758 1205 0 10466 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 46700
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 1.94 3/573 22494
/proc/meminfo: memFree=31787124/32950928 swapFree=43925852/67111528
[pid=22433] ppid=22431 vsize=52900 CPUtime=222.27 cores=0,2,4,6
/proc/22433/stat : 22433 (scip-2.0.1.4.li) R 22431 22433 20770 0 -1 4202496 26578 0 0 0 21917 310 0 0 25 0 1 0 822831241 54169600 12297 33554432000 4194304 9128323 140736658401104 18446744073709551615 7192144 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22433/statm: 13225 12297 758 1205 0 12016 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 52900
[startup+282.301 s]
/proc/loadavg: 2.13 2.04 1.95 3/573 22496
/proc/meminfo: memFree=31780020/32950928 swapFree=43925852/67111528
[pid=22433] ppid=22431 vsize=60872 CPUtime=282.28 cores=0,2,4,6
/proc/22433/stat : 22433 (scip-2.0.1.4.li) R 22431 22433 20770 0 -1 4202496 28593 0 0 0 27847 381 0 0 25 0 1 0 822831241 62332928 14308 33554432000 4194304 9128323 140736658401104 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22433/statm: 15218 14308 758 1205 0 14009 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 60872
[startup+342.301 s]
/proc/loadavg: 2.11 2.04 1.96 3/573 22497
/proc/meminfo: memFree=31775768/32950928 swapFree=43925852/67111528
[pid=22433] ppid=22431 vsize=65012 CPUtime=342.28 cores=0,2,4,6
/proc/22433/stat : 22433 (scip-2.0.1.4.li) R 22431 22433 20770 0 -1 4202496 32279 0 0 0 33774 454 0 0 25 0 1 0 822831241 66572288 15365 33554432000 4194304 9128323 140736658401104 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22433/statm: 16253 15365 758 1205 0 15044 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 65012
[startup+402.3 s]
/proc/loadavg: 2.04 2.03 1.96 3/573 22499
/proc/meminfo: memFree=31771892/32950928 swapFree=43925852/67111528
[pid=22433] ppid=22431 vsize=69372 CPUtime=402.28 cores=0,2,4,6
/proc/22433/stat : 22433 (scip-2.0.1.4.li) R 22431 22433 20770 0 -1 4202496 33341 0 0 0 39705 523 0 0 25 0 1 0 822831241 71036928 16427 33554432000 4194304 9128323 140736658401104 18446744073709551615 7379859 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22433/statm: 17343 16427 758 1205 0 16134 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 69372
[startup+462.301 s]
/proc/loadavg: 2.01 2.03 1.96 3/573 22500
/proc/meminfo: memFree=31767636/32950928 swapFree=43925852/67111528
[pid=22433] ppid=22431 vsize=73332 CPUtime=462.29 cores=0,2,4,6
/proc/22433/stat : 22433 (scip-2.0.1.4.li) R 22431 22433 20770 0 -1 4202496 34342 0 0 0 45635 594 0 0 25 0 1 0 822831241 75091968 17428 33554432000 4194304 9128323 140736658401104 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22433/statm: 18333 17428 758 1205 0 17124 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 73332
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 1.96 3/573 22502
/proc/meminfo: memFree=31765728/32950928 swapFree=43925852/67111528
[pid=22433] ppid=22431 vsize=76420 CPUtime=522.29 cores=0,2,4,6
/proc/22433/stat : 22433 (scip-2.0.1.4.li) R 22431 22433 20770 0 -1 4202496 37360 0 0 0 51563 666 0 0 25 0 1 0 822831241 78254080 18173 33554432000 4194304 9128323 140736658401104 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22433/statm: 19105 18173 758 1205 0 17896 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 76420
[startup+582.3 s]
/proc/loadavg: 2.05 2.03 1.96 3/573 22504
/proc/meminfo: memFree=31762836/32950928 swapFree=43925852/67111528
[pid=22433] ppid=22431 vsize=79456 CPUtime=582.28 cores=0,2,4,6
/proc/22433/stat : 22433 (scip-2.0.1.4.li) R 22431 22433 20770 0 -1 4202496 38156 0 0 0 57489 739 0 0 25 0 1 0 822831241 81362944 18969 33554432000 4194304 9128323 140736658401104 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22433/statm: 19864 18969 758 1205 0 18655 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 79456
[startup+642.301 s]
/proc/loadavg: 2.06 2.04 1.97 3/573 22505
/proc/meminfo: memFree=31759096/32950928 swapFree=43925852/67111528
[pid=22433] ppid=22431 vsize=82344 CPUtime=642.3 cores=0,2,4,6
/proc/22433/stat : 22433 (scip-2.0.1.4.li) R 22431 22433 20770 0 -1 4202496 38875 0 0 0 63417 813 0 0 25 0 1 0 822831241 84320256 19688 33554432000 4194304 9128323 140736658401104 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22433/statm: 20586 19688 758 1205 0 19377 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 82344
[startup+702.301 s]
/proc/loadavg: 2.02 2.03 1.97 3/573 22507
/proc/meminfo: memFree=31755600/32950928 swapFree=43925852/67111528
[pid=22433] ppid=22431 vsize=86576 CPUtime=702.29 cores=0,2,4,6
/proc/22433/stat : 22433 (scip-2.0.1.4.li) R 22431 22433 20770 0 -1 4202496 39931 0 0 0 69348 881 0 0 25 0 1 0 822831241 88653824 20740 33554432000 4194304 9128323 140736658401104 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22433/statm: 21644 20740 758 1205 0 20435 0
Current children cumulated CPU time (s) 702.29
Current children cumulated vsize (KiB) 86576
[startup+762.321 s]
/proc/loadavg: 2.01 2.02 1.97 3/573 22508
/proc/meminfo: memFree=31753580/32950928 swapFree=43925852/67111528
[pid=22433] ppid=22431 vsize=87828 CPUtime=762.31 cores=0,2,4,6
/proc/22433/stat : 22433 (scip-2.0.1.4.li) R 22431 22433 20770 0 -1 4202496 40248 0 0 0 75278 953 0 0 25 0 1 0 822831241 89935872 21057 33554432000 4194304 9128323 140736658401104 18446744073709551615 7343089 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22433/statm: 21957 21057 758 1205 0 20748 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 87828
[startup+822.301 s]
/proc/loadavg: 2.00 2.01 1.97 3/573 22510
/proc/meminfo: memFree=31751700/32950928 swapFree=43925852/67111528
[pid=22433] ppid=22431 vsize=88852 CPUtime=822.29 cores=0,2,4,6
/proc/22433/stat : 22433 (scip-2.0.1.4.li) R 22431 22433 20770 0 -1 4202496 54637 0 0 0 81209 1020 0 0 25 0 1 0 822831241 90984448 21343 33554432000 4194304 9128323 140736658401104 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22433/statm: 22213 21343 758 1205 0 21004 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 88852
Solver just ended. Dumping a history of the last processes samples
[startup+831.901 s]
/proc/loadavg: 2.16 2.05 1.98 3/573 22510
/proc/meminfo: memFree=31751808/32950928 swapFree=43925852/67111528
[pid=22433] ppid=22431 vsize=88852 CPUtime=831.89 cores=0,2,4,6
/proc/22433/stat : 22433 (scip-2.0.1.4.li) R 22431 22433 20770 0 -1 4202496 54637 0 0 0 82159 1030 0 0 25 0 1 0 822831241 90984448 21343 33554432000 4194304 9128323 140736658401104 18446744073709551615 7361094 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22433/statm: 22213 21343 758 1205 0 21004 0
Current children cumulated CPU time (s) 831.89
Current children cumulated vsize (KiB) 88852
[startup+838.301 s]
/proc/loadavg: 2.15 2.05 1.98 3/573 22510
/proc/meminfo: memFree=31751932/32950928 swapFree=43925852/67111528
[pid=22433] ppid=22431 vsize=88852 CPUtime=838.29 cores=0,2,4,6
/proc/22433/stat : 22433 (scip-2.0.1.4.li) R 22431 22433 20770 0 -1 4202496 54637 0 0 0 82792 1037 0 0 25 0 1 0 822831241 90984448 21343 33554432000 4194304 9128323 140736658401104 18446744073709551615 4964780 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22433/statm: 22213 21343 758 1205 0 21004 0
Current children cumulated CPU time (s) 838.29
Current children cumulated vsize (KiB) 88852
[startup+844.701 s]
/proc/loadavg: 2.12 2.04 1.98 3/573 22511
/proc/meminfo: memFree=31751928/32950928 swapFree=43925852/67111528
[pid=22433] ppid=22431 vsize=88852 CPUtime=844.71 cores=0,2,4,6
/proc/22433/stat : 22433 (scip-2.0.1.4.li) R 22431 22433 20770 0 -1 4202496 54637 0 0 0 83428 1043 0 0 25 0 1 0 822831241 90984448 21343 33554432000 4194304 9128323 140736658401104 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22433/statm: 22213 21343 758 1205 0 21004 0
Current children cumulated CPU time (s) 844.71
Current children cumulated vsize (KiB) 88852
[startup+846.3 s]
/proc/loadavg: 2.12 2.04 1.98 3/573 22511
/proc/meminfo: memFree=31751928/32950928 swapFree=43925852/67111528
[pid=22433] ppid=22431 vsize=88852 CPUtime=846.29 cores=0,2,4,6
/proc/22433/stat : 22433 (scip-2.0.1.4.li) R 22431 22433 20770 0 -1 4202496 54637 0 0 0 83584 1045 0 0 25 0 1 0 822831241 90984448 21343 33554432000 4194304 9128323 140736658401104 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22433/statm: 22213 21343 758 1205 0 21004 0
Current children cumulated CPU time (s) 846.29
Current children cumulated vsize (KiB) 88852
[startup+847.1 s]
/proc/loadavg: 2.12 2.04 1.98 3/573 22511
/proc/meminfo: memFree=31751928/32950928 swapFree=43925852/67111528
[pid=22433] ppid=22431 vsize=88852 CPUtime=847.1 cores=0,2,4,6
/proc/22433/stat : 22433 (scip-2.0.1.4.li) R 22431 22433 20770 0 -1 4202496 54637 0 0 0 83664 1046 0 0 25 0 1 0 822831241 90984448 21343 33554432000 4194304 9128323 140736658401104 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22433/statm: 22213 21343 758 1205 0 21004 0
Current children cumulated CPU time (s) 847.1
Current children cumulated vsize (KiB) 88852
[startup+847.501 s]
/proc/loadavg: 2.12 2.04 1.98 3/573 22511
/proc/meminfo: memFree=31751928/32950928 swapFree=43925852/67111528
[pid=22433] ppid=22431 vsize=88852 CPUtime=847.49 cores=0,2,4,6
/proc/22433/stat : 22433 (scip-2.0.1.4.li) R 22431 22433 20770 0 -1 4202496 54637 0 0 0 83703 1046 0 0 25 0 1 0 822831241 90984448 21343 33554432000 4194304 9128323 140736658401104 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22433/statm: 22213 21343 758 1205 0 21004 0
Current children cumulated CPU time (s) 847.49
Current children cumulated vsize (KiB) 88852
[startup+847.701 s]
/proc/loadavg: 2.12 2.04 1.98 3/573 22511
/proc/meminfo: memFree=31751928/32950928 swapFree=43925852/67111528
[pid=22433] ppid=22431 vsize=88852 CPUtime=847.69 cores=0,2,4,6
/proc/22433/stat : 22433 (scip-2.0.1.4.li) R 22431 22433 20770 0 -1 4202496 54637 0 0 0 83723 1046 0 0 25 0 1 0 822831241 90984448 21343 33554432000 4194304 9128323 140736658401104 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22433/statm: 22213 21343 758 1205 0 21004 0
Current children cumulated CPU time (s) 847.69
Current children cumulated vsize (KiB) 88852
[startup+847.801 s]
/proc/loadavg: 2.12 2.04 1.98 3/573 22511
/proc/meminfo: memFree=31751928/32950928 swapFree=43925852/67111528
[pid=22433] ppid=22431 vsize=88852 CPUtime=847.79 cores=0,2,4,6
/proc/22433/stat : 22433 (scip-2.0.1.4.li) R 22431 22433 20770 0 -1 4202496 54637 0 0 0 83733 1046 0 0 25 0 1 0 822831241 90984448 21343 33554432000 4194304 9128323 140736658401104 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22433/statm: 22213 21343 758 1205 0 21004 0
Current children cumulated CPU time (s) 847.79
Current children cumulated vsize (KiB) 88852
Child status: 0
Real time (s): 847.819
CPU time (s): 847.819
CPU user time (s): 837.347
CPU system time (s): 10.4724
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 94936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 837.347
system time used= 10.4724
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54641
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= 5
involuntary context switches= 1810
runsolver used 4.78227 second user time and 10.6524 second system time
The end