0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
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-3489418-1307765089.opb>
0.06/0.09 c original problem has 3862 variables (3862 bin, 0 int, 0 impl, 0 cont) and 16399 constraints
0.06/0.09 c problem read
0.06/0.09 c presolving settings loaded
0.09/0.12 c presolving:
0.09/0.14 c (round 1) 710 del vars, 720 del conss, 0 add conss, 710 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 36384 impls, 0 clqs
0.09/0.15 c (round 2) 753 del vars, 2214 del conss, 0 add conss, 738 chg bounds, 4 chg sides, 8 chg coeffs, 0 upgd conss, 43208 impls, 0 clqs
0.09/0.16 c (round 3) 795 del vars, 2450 del conss, 0 add conss, 780 chg bounds, 4 chg sides, 8 chg coeffs, 0 upgd conss, 43516 impls, 0 clqs
0.09/0.16 c (round 4) 855 del vars, 2664 del conss, 0 add conss, 822 chg bounds, 8 chg sides, 16 chg coeffs, 0 upgd conss, 45724 impls, 0 clqs
0.09/0.16 c (round 5) 924 del vars, 3067 del conss, 0 add conss, 872 chg bounds, 8 chg sides, 16 chg coeffs, 0 upgd conss, 46764 impls, 0 clqs
0.09/0.17 c (round 6) 948 del vars, 3190 del conss, 0 add conss, 896 chg bounds, 8 chg sides, 16 chg coeffs, 0 upgd conss, 47482 impls, 0 clqs
0.09/0.17 c (round 7) 955 del vars, 3240 del conss, 0 add conss, 903 chg bounds, 10 chg sides, 18 chg coeffs, 0 upgd conss, 48506 impls, 0 clqs
0.09/0.17 c (round 8) 961 del vars, 3267 del conss, 0 add conss, 909 chg bounds, 13 chg sides, 24 chg coeffs, 0 upgd conss, 48700 impls, 0 clqs
0.09/0.17 c (round 9) 961 del vars, 3270 del conss, 0 add conss, 909 chg bounds, 13 chg sides, 24 chg coeffs, 0 upgd conss, 48946 impls, 0 clqs
0.19/0.24 c (round 10) 961 del vars, 6007 del conss, 0 add conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10332 upgd conss, 48946 impls, 0 clqs
0.19/0.26 c (round 11) 961 del vars, 6007 del conss, 0 add conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 48946 impls, 0 clqs
0.19/0.29 c (round 12) 1011 del vars, 6007 del conss, 0 add conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 52844 impls, 0 clqs
0.19/0.29 c (round 13) 1011 del vars, 6132 del conss, 0 add conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 53250 impls, 0 clqs
0.29/0.30 c (round 14) 1011 del vars, 6140 del conss, 0 add conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 53250 impls, 0 clqs
0.29/0.34 c (round 15) 1061 del vars, 6140 del conss, 0 add conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 55464 impls, 0 clqs
0.29/0.34 c (round 16) 1063 del vars, 6207 del conss, 0 add conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 55690 impls, 0 clqs
0.29/0.35 c (round 17) 1063 del vars, 6211 del conss, 0 add conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 55690 impls, 0 clqs
0.29/0.38 c (round 18) 1114 del vars, 6211 del conss, 0 add conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 56680 impls, 0 clqs
0.29/0.39 c (round 19) 1118 del vars, 6352 del conss, 0 add conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 57045 impls, 0 clqs
0.29/0.39 c (round 20) 1119 del vars, 6369 del conss, 0 add conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 57045 impls, 0 clqs
0.39/0.45 c (round 21) 1171 del vars, 6369 del conss, 0 add conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 59813 impls, 0 clqs
0.39/0.45 c (round 22) 1174 del vars, 6544 del conss, 0 add conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 60397 impls, 0 clqs
0.39/0.46 c (round 23) 1174 del vars, 6558 del conss, 0 add conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 60397 impls, 0 clqs
0.39/0.47 c (round 24) 1174 del vars, 6566 del conss, 0 add conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 60397 impls, 0 clqs
0.49/0.51 c (round 25) 1224 del vars, 6566 del conss, 0 add conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 62947 impls, 0 clqs
0.49/0.52 c (round 26) 1227 del vars, 6750 del conss, 0 add conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 63123 impls, 0 clqs
0.49/0.52 c (round 27) 1227 del vars, 6753 del conss, 0 add conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 63123 impls, 0 clqs
0.49/0.53 c (round 28) 1227 del vars, 6759 del conss, 0 add conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 63123 impls, 0 clqs
0.49/0.56 c (round 29) 1277 del vars, 6759 del conss, 0 add conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 64279 impls, 0 clqs
0.49/0.57 c (round 30) 1277 del vars, 6990 del conss, 0 add conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 64533 impls, 0 clqs
0.49/0.58 c (round 31) 1277 del vars, 6995 del conss, 0 add conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 64533 impls, 0 clqs
0.59/0.61 c (round 32) 1327 del vars, 6995 del conss, 0 add conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 64683 impls, 0 clqs
0.59/0.62 c (round 33) 1327 del vars, 7127 del conss, 0 add conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 64683 impls, 0 clqs
0.59/0.65 c (round 34) 1377 del vars, 7127 del conss, 0 add conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 65675 impls, 0 clqs
0.59/0.66 c (round 35) 1377 del vars, 7220 del conss, 0 add conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 65675 impls, 0 clqs
0.69/0.70 c (round 36) 1427 del vars, 7220 del conss, 0 add conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 65675 impls, 0 clqs
0.69/0.71 c (round 37) 1427 del vars, 7270 del conss, 0 add conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 65675 impls, 0 clqs
0.69/0.74 c (round 38) 1477 del vars, 7270 del conss, 0 add conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 66203 impls, 0 clqs
0.69/0.74 c (round 39) 1477 del vars, 7331 del conss, 0 add conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 66203 impls, 0 clqs
0.79/0.81 c (round 40) 1527 del vars, 7331 del conss, 0 add conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 66733 impls, 0 clqs
0.79/0.81 c (round 41) 1527 del vars, 7399 del conss, 0 add conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 66733 impls, 0 clqs
0.79/0.86 c (round 42) 1577 del vars, 7399 del conss, 0 add conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 67211 impls, 0 clqs
0.79/0.86 c (round 43) 1577 del vars, 7468 del conss, 0 add conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 67211 impls, 0 clqs
0.79/0.89 c (round 44) 1627 del vars, 7468 del conss, 0 add conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 67443 impls, 0 clqs
0.89/0.90 c (round 45) 1627 del vars, 7518 del conss, 0 add conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 67443 impls, 0 clqs
0.89/0.91 c (round 46) 1627 del vars, 7519 del conss, 0 add conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 67443 impls, 0 clqs
0.89/0.96 c (1.0s) probing: 1000/2901 (34.5%) - 197 fixings, 482 aggregations, 3551 implications, 0 bound changes
0.89/0.96 c (round 47) 1677 del vars, 7519 del conss, 0 add conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 68471 impls, 0 clqs
0.89/0.97 c (round 48) 1682 del vars, 7748 del conss, 0 add conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 68583 impls, 0 clqs
0.89/0.98 c (round 49) 1682 del vars, 7751 del conss, 0 add conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 68583 impls, 0 clqs
1.00/1.02 c (round 50) 1732 del vars, 7751 del conss, 0 add conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 69017 impls, 0 clqs
1.00/1.03 c (round 51) 1732 del vars, 7903 del conss, 0 add conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 69017 impls, 0 clqs
1.00/1.05 c (round 52) 1782 del vars, 7903 del conss, 0 add conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 69093 impls, 0 clqs
1.00/1.06 c (round 53) 1782 del vars, 7953 del conss, 0 add conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 69093 impls, 0 clqs
1.10/1.13 c (1.1s) probing: 1360/2901 (46.9%) - 236 fixings, 572 aggregations, 3912 implications, 0 bound changes
1.10/1.13 c (1.1s) probing aborted: 100/100 successive totally useless probings
1.10/1.13 c (round 54) 1787 del vars, 7953 del conss, 0 add conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 69205 impls, 0 clqs
1.10/1.14 c (round 55) 1787 del vars, 7958 del conss, 0 add conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 69205 impls, 0 clqs
1.10/1.18 c (1.2s) probing: 1499/2901 (51.7%) - 236 fixings, 572 aggregations, 3918 implications, 0 bound changes
1.10/1.18 c (1.2s) probing aborted: 100/100 successive totally useless probings
1.10/1.19 c presolving (56 rounds):
1.10/1.19 c 1787 deleted vars, 7958 deleted constraints, 0 added constraints, 910 tightened bounds, 0 added holes, 31 changed sides, 24 changed coefficients
1.10/1.19 c 69221 implications, 0 cliques
1.10/1.19 c presolved problem has 2075 variables (2075 bin, 0 int, 0 impl, 0 cont) and 8441 constraints
1.10/1.19 c 4151 constraints of type <setppc>
1.10/1.19 c 4290 constraints of type <logicor>
1.10/1.19 c transformed objective value is always integral (scale: 1)
1.10/1.19 c Presolving Time: 1.08
1.10/1.19 c - non default parameters ----------------------------------------------------------------------
1.10/1.19 c # SCIP version 2.0.1.5
1.10/1.19 c
1.10/1.19 c # frequency for displaying node information lines
1.10/1.19 c # [type: int, range: [-1,2147483647], default: 100]
1.10/1.19 c display/freq = 10000
1.10/1.19 c
1.10/1.19 c # maximal time in seconds to run
1.10/1.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.19 c limits/time = 1797
1.10/1.19 c
1.10/1.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.19 c limits/memory = 13950
1.10/1.19 c
1.10/1.19 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.10/1.19 c # [type: int, range: [1,2], default: 1]
1.10/1.19 c timing/clocktype = 2
1.10/1.19 c
1.10/1.19 c # belongs reading time to solving time?
1.10/1.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.19 c timing/reading = TRUE
1.10/1.19 c
1.10/1.19 c # should presolving try to simplify inequalities
1.10/1.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.19 c constraints/linear/simplifyinequalities = TRUE
1.10/1.19 c
1.10/1.19 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.10/1.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.19 c constraints/indicator/addCouplingCons = TRUE
1.10/1.19 c
1.10/1.19 c # should presolving try to simplify knapsacks
1.10/1.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.19 c constraints/knapsack/simplifyinequalities = TRUE
1.10/1.19 c
1.10/1.19 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.10/1.19 c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.19 c separating/rapidlearning/freq = 0
1.10/1.19 c
1.10/1.19 c -----------------------------------------------------------------------------------------------
1.10/1.19 c start solving
1.10/1.19 c
2.39/2.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.39/2.46 c 2.5s| 1 | 0 | 6574 | - | 23M| 0 |1351 |2075 |8486 |2075 |8427 | 0 | 45 | 0 | 1.602531e+03 | -- | Inf
16.50/16.57 c 16.6s| 1 | 0 | 45409 | - | 25M| 0 |1336 |2075 |9021 |2075 |8463 | 140 | 45 | 0 | 1.644250e+03 | -- | Inf
17.39/17.48 c 17.5s| 1 | 0 | 48613 | - | 26M| 0 |1373 |2075 |9021 |2075 |8566 | 243 | 45 | 0 | 1.661750e+03 | -- | Inf
18.89/18.96 c 19.0s| 1 | 0 | 54365 | - | 27M| 0 |1442 |2075 |9021 |2075 |8634 | 311 | 45 | 0 | 1.695306e+03 | -- | Inf
20.29/20.32 c 20.3s| 1 | 0 | 59126 | - | 28M| 0 |1445 |2075 |9021 |2075 |8699 | 376 | 45 | 0 | 1.735549e+03 | -- | Inf
21.79/21.82 c 21.8s| 1 | 0 | 64519 | - | 29M| 0 |1415 |2075 |9021 |2075 |8754 | 431 | 45 | 0 | 1.772676e+03 | -- | Inf
22.89/23.00 c 23.0s| 1 | 0 | 69318 | - | 30M| 0 |1400 |2075 |9021 |2075 |8803 | 480 | 45 | 0 | 1.799588e+03 | -- | Inf
23.69/23.72 c 23.7s| 1 | 0 | 71586 | - | 31M| 0 |1410 |2075 |9021 |2075 |8847 | 524 | 45 | 0 | 1.804129e+03 | -- | Inf
24.79/24.82 c 24.8s| 1 | 0 | 74465 | - | 33M| 0 |1469 |2075 |9021 |2075 |8897 | 574 | 45 | 0 | 1.809468e+03 | -- | Inf
26.39/26.44 c 26.4s| 1 | 0 | 79543 | - | 34M| 0 |1583 |2075 |9021 |2075 |8932 | 609 | 45 | 0 | 1.813460e+03 | -- | Inf
27.99/28.06 c 28.1s| 1 | 0 | 82799 | - | 35M| 0 |1611 |2075 |9021 |2075 |8963 | 640 | 45 | 0 | 1.817808e+03 | -- | Inf
29.19/29.22 c 29.2s| 1 | 0 | 83902 | - | 36M| 0 |1597 |2075 |9021 |2075 |8990 | 667 | 45 | 0 | 1.819833e+03 | -- | Inf
32.89/32.92 c 32.9s| 1 | 0 | 90092 | - | 36M| 0 |1577 |2075 |9021 |2075 |9013 | 690 | 45 | 0 | 1.823440e+03 | -- | Inf
34.99/35.00 c 35.0s| 1 | 0 | 95622 | - | 37M| 0 |1615 |2075 |9021 |2075 |9045 | 722 | 45 | 0 | 1.827187e+03 | -- | Inf
37.40/37.43 c 37.4s| 1 | 0 |101750 | - | 37M| 0 |1601 |2075 |9021 |2075 |9069 | 746 | 45 | 0 | 1.829334e+03 | -- | Inf
39.70/39.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.70/39.74 c 39.7s| 1 | 0 |107089 | - | 39M| 0 |1597 |2075 |9021 |2075 |9097 | 774 | 45 | 0 | 1.831406e+03 | -- | Inf
42.49/42.54 c 42.5s| 1 | 0 |113785 | - | 40M| 0 |1614 |2075 |9021 |2075 |8862 | 800 | 45 | 0 | 1.832895e+03 | -- | Inf
44.49/44.57 c 44.6s| 1 | 0 |117848 | - | 42M| 0 |1671 |2075 |9021 |2075 |8893 | 831 | 45 | 0 | 1.835076e+03 | -- | Inf
48.30/48.39 c 48.4s| 1 | 0 |125048 | - | 42M| 0 |1663 |2075 |9021 |2075 |8927 | 865 | 45 | 0 | 1.837444e+03 | -- | Inf
51.49/51.51 c 51.5s| 1 | 0 |132357 | - | 43M| 0 |1702 |2075 |9021 |2075 |8966 | 904 | 45 | 0 | 1.839607e+03 | -- | Inf
55.20/55.27 c 55.3s| 1 | 0 |139947 | - | 45M| 0 |1651 |2075 |9021 |2075 |8996 | 934 | 45 | 0 | 1.842175e+03 | -- | Inf
58.00/58.01 c 58.0s| 1 | 0 |147047 | - | 46M| 0 |1744 |2075 |9021 |2075 |9020 | 958 | 45 | 0 | 1.843404e+03 | -- | Inf
60.89/60.95 c 61.0s| 1 | 0 |151834 | - | 46M| 0 |1649 |2075 |9021 |2075 |8898 | 972 | 45 | 0 | 1.844490e+03 | -- | Inf
64.19/64.28 c 64.3s| 1 | 0 |157701 | - | 46M| 0 |1686 |2075 |9021 |2075 |8917 | 991 | 45 | 0 | 1.845613e+03 | -- | Inf
66.49/66.56 c 66.6s| 1 | 0 |161708 | - | 46M| 0 |1657 |2075 |9021 |2075 |8941 |1015 | 45 | 0 | 1.846846e+03 | -- | Inf
69.59/69.62 c 69.6s| 1 | 0 |168869 | - | 47M| 0 |1651 |2075 |9021 |2075 |8964 |1038 | 45 | 0 | 1.848856e+03 | -- | Inf
74.59/74.60 c 74.6s| 1 | 0 |177426 | - | 47M| 0 |1781 |2075 |9021 |2075 |8987 |1061 | 45 | 0 | 1.849926e+03 | -- | Inf
78.89/78.91 c 78.9s| 1 | 0 |186195 | - | 47M| 0 |1804 |2075 |9021 |2075 |9009 |1083 | 45 | 0 | 1.850823e+03 | -- | Inf
83.50/83.53 c 83.5s| 1 | 0 |194173 | - | 47M| 0 |1685 |2075 |9021 |2075 |8895 |1099 | 45 | 0 | 1.851644e+03 | -- | Inf
86.39/86.49 c 86.5s| 1 | 0 |197884 | - | 47M| 0 |1686 |2075 |9021 |2075 |8909 |1113 | 45 | 0 | 1.851854e+03 | -- | Inf
88.99/89.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
88.99/89.02 c 89.0s| 1 | 0 |200132 | - | 47M| 0 |1671 |2075 |9021 |2075 |8918 |1122 | 45 | 0 | 1.852178e+03 | -- | Inf
91.49/91.57 c 91.6s| 1 | 0 |201962 | - | 47M| 0 |1701 |2075 |9021 |2075 |8933 |1137 | 45 | 0 | 1.852812e+03 | -- | Inf
95.29/95.30 c 95.3s| 1 | 0 |207940 | - | 47M| 0 |1674 |2075 |9021 |2075 |8949 |1153 | 45 | 0 | 1.853567e+03 | -- | Inf
98.90/98.91 c 98.9s| 1 | 0 |214809 | - | 47M| 0 |1668 |2075 |9021 |2075 |8967 |1171 | 45 | 0 | 1.853770e+03 | -- | Inf
101.79/101.80 c 102s| 1 | 0 |218910 | - | 47M| 0 |1650 |2075 |9021 |2075 |8890 |1183 | 45 | 0 | 1.854055e+03 | -- | Inf
103.50/103.52 c 104s| 1 | 0 |220794 | - | 48M| 0 |1688 |2075 |9021 |2075 |8900 |1193 | 45 | 0 | 1.854493e+03 | -- | Inf
106.29/106.34 c 106s| 1 | 0 |224802 | - | 48M| 0 |1685 |2075 |9021 |2075 |8917 |1210 | 45 | 0 | 1.854749e+03 | -- | Inf
109.19/109.28 c 109s| 1 | 0 |228400 | - | 48M| 0 |1748 |2075 |9021 |2075 |8930 |1223 | 45 | 0 | 1.854861e+03 | -- | Inf
110.49/110.50 c 110s| 1 | 0 |229306 | - | 48M| 0 |1692 |2075 |9021 |2075 |8938 |1231 | 45 | 0 | 1.854872e+03 | -- | Inf
112.29/112.36 c 112s| 1 | 0 |230793 | - | 48M| 0 |1692 |2075 |9021 |2075 |8943 |1236 | 45 | 0 | 1.854998e+03 | -- | Inf
114.09/114.13 c 114s| 1 | 0 |231782 | - | 48M| 0 |1681 |2075 |9021 |2075 |8888 |1241 | 45 | 0 | 1.855026e+03 | -- | Inf
116.50/116.57 c 117s| 1 | 0 |234465 | - | 48M| 0 |1682 |2075 |9021 |2075 |8898 |1251 | 45 | 0 | 1.855253e+03 | -- | Inf
118.20/118.28 c 118s| 1 | 0 |235805 | - | 48M| 0 |1667 |2075 |9021 |2075 |8905 |1258 | 45 | 0 | 1.855316e+03 | -- | Inf
119.80/119.84 c 120s| 1 | 0 |236106 | - | 48M| 0 |1666 |2075 |9021 |2075 |8914 |1267 | 45 | 0 | 1.855364e+03 | -- | Inf
121.49/121.57 c 122s| 1 | 0 |237136 | - | 48M| 0 |1663 |2075 |9021 |2075 |8921 |1274 | 45 | 0 | 1.855402e+03 | -- | Inf
124.30/124.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
124.30/124.33 c 124s| 1 | 0 |241701 | - | 48M| 0 |1677 |2075 |9021 |2075 |8930 |1283 | 45 | 0 | 1.855527e+03 | -- | Inf
126.40/126.42 c 126s| 1 | 0 |243532 | - | 48M| 0 |1661 |2075 |9021 |2075 |8885 |1293 | 45 | 0 | 1.855599e+03 | -- | Inf
127.49/127.51 c 128s| 1 | 0 |244036 | - | 48M| 0 |1645 |2075 |9021 |2075 |8894 |1302 | 45 | 0 | 1.855619e+03 | -- | Inf
129.30/129.30 c 129s| 1 | 0 |246552 | - | 48M| 0 |1644 |2075 |9021 |2075 |8904 |1312 | 45 | 0 | 1.855941e+03 | -- | Inf
131.59/131.65 c 132s| 1 | 0 |248597 | - | 48M| 0 |1666 |2075 |9021 |2075 |8916 |1324 | 45 | 0 | 1.856091e+03 | -- | Inf
133.79/133.82 c 134s| 1 | 0 |251765 | - | 48M| 0 |1674 |2075 |9021 |2075 |8927 |1335 | 45 | 0 | 1.856652e+03 | -- | Inf
137.69/137.77 c 138s| 1 | 0 |258105 | - | 48M| 0 |1665 |2075 |9021 |2075 |8947 |1355 | 45 | 0 | 1.857026e+03 | -- | Inf
140.70/140.76 c 141s| 1 | 0 |262238 | - | 48M| 0 |1667 |2075 |9021 |2075 |8916 |1366 | 45 | 0 | 1.857401e+03 | -- | Inf
142.90/143.00 c 143s| 1 | 0 |263851 | - | 48M| 0 |1669 |2075 |9021 |2075 |8924 |1374 | 45 | 0 | 1.857441e+03 | -- | Inf
144.90/144.93 c 145s| 1 | 0 |265393 | - | 48M| 0 |1634 |2075 |9021 |2075 |8938 |1388 | 45 | 0 | 1.857554e+03 | -- | Inf
146.79/146.82 c 147s| 1 | 0 |267241 | - | 48M| 0 |1644 |2075 |9021 |2075 |8951 |1401 | 45 | 0 | 1.857740e+03 | -- | Inf
147.59/147.68 c 148s| 1 | 0 |267306 | - | 48M| 0 |1644 |2075 |9021 |2075 |8955 |1405 | 45 | 0 | 1.857740e+03 | -- | Inf
149.69/149.79 c 150s| 1 | 0 |269592 | - | 48M| 0 |1685 |2075 |9021 |2075 |8962 |1412 | 45 | 0 | 1.857788e+03 | -- | Inf
151.80/151.82 c 152s| 1 | 0 |270670 | - | 48M| 0 |1646 |2075 |9021 |2075 |8947 |1420 | 45 | 0 | 1.857804e+03 | -- | Inf
153.79/153.85 c 154s| 1 | 0 |272969 | - | 48M| 0 |1664 |2075 |9021 |2075 |8957 |1430 | 45 | 0 | 1.857963e+03 | -- | Inf
155.99/156.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
155.99/156.03 c 156s| 1 | 0 |274295 | - | 48M| 0 |1675 |2075 |9021 |2075 |8964 |1437 | 45 | 0 | 1.858030e+03 | -- | Inf
159.09/159.17 c 159s| 1 | 0 |279280 | - | 48M| 0 |1655 |2075 |9021 |2075 |8978 |1451 | 45 | 0 | 1.858423e+03 | -- | Inf
160.99/161.08 c 161s| 1 | 0 |280763 | - | 49M| 0 |1652 |2075 |9021 |2075 |8987 |1460 | 45 | 0 | 1.858605e+03 | -- | Inf
162.99/163.02 c 163s| 1 | 0 |282360 | - | 49M| 0 |1643 |2075 |9021 |2075 |8997 |1470 | 45 | 0 | 1.858690e+03 | -- | Inf
165.10/165.10 c 165s| 1 | 0 |284112 | - | 49M| 0 |1631 |2075 |9021 |2075 |8947 |1482 | 45 | 0 | 1.858794e+03 | -- | Inf
166.40/166.42 c 166s| 1 | 0 |284398 | - | 49M| 0 |1622 |2075 |9021 |2075 |8957 |1492 | 45 | 0 | 1.858819e+03 | -- | Inf
167.99/168.04 c 168s| 1 | 0 |284459 | - | 49M| 0 |1634 |2075 |9021 |2075 |8963 |1498 | 45 | 0 | 1.858819e+03 | -- | Inf
169.89/169.94 c 170s| 1 | 0 |285328 | - | 49M| 0 |1651 |2075 |9021 |2075 |8972 |1507 | 45 | 0 | 1.858873e+03 | -- | Inf
171.09/171.15 c 171s| 1 | 0 |285480 | - | 49M| 0 |1660 |2075 |9021 |2075 |8979 |1514 | 45 | 0 | 1.858875e+03 | -- | Inf
172.39/172.42 c 172s| 1 | 0 |285600 | - | 49M| 0 |1662 |2075 |9021 |2075 |8987 |1522 | 45 | 0 | 1.858883e+03 | -- | Inf
173.89/173.98 c 174s| 1 | 0 |286323 | - | 49M| 0 |1649 |2075 |9021 |2075 |8943 |1528 | 45 | 0 | 1.858944e+03 | -- | Inf
175.49/175.57 c 176s| 1 | 0 |286853 | - | 49M| 0 |1667 |2075 |9021 |2075 |8956 |1541 | 45 | 0 | 1.858958e+03 | -- | Inf
177.10/177.13 c 177s| 1 | 0 |289052 | - | 49M| 0 |1649 |2075 |9021 |2075 |8966 |1551 | 45 | 0 | 1.859125e+03 | -- | Inf
178.49/178.50 c 178s| 1 | 0 |290242 | - | 49M| 0 |1651 |2075 |9021 |2075 |8976 |1561 | 45 | 0 | 1.859192e+03 | -- | Inf
179.79/179.85 c 180s| 1 | 0 |291719 | - | 49M| 0 |1674 |2075 |9021 |2075 |8991 |1576 | 45 | 0 | 1.859282e+03 | -- | Inf
180.99/181.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
180.99/181.08 c 181s| 1 | 0 |291796 | - | 49M| 0 |1667 |2075 |9021 |2075 |8994 |1579 | 45 | 0 | 1.859282e+03 | -- | Inf
182.29/182.30 c 182s| 1 | 0 |292096 | - | 49M| 0 |1662 |2075 |9021 |2075 |8952 |1584 | 45 | 0 | 1.859292e+03 | -- | Inf
183.60/183.61 c 184s| 1 | 0 |292744 | - | 49M| 0 |1644 |2075 |9021 |2075 |8958 |1590 | 45 | 0 | 1.859297e+03 | -- | Inf
184.89/184.91 c 185s| 1 | 0 |294008 | - | 49M| 0 |1638 |2075 |9021 |2075 |8963 |1595 | 45 | 0 | 1.859408e+03 | -- | Inf
186.30/186.31 c 186s| 1 | 0 |295098 | - | 49M| 0 |1638 |2075 |9021 |2075 |8975 |1607 | 45 | 0 | 1.859510e+03 | -- | Inf
187.09/187.15 c 187s| 1 | 0 |295155 | - | 49M| 0 |1643 |2075 |9021 |2075 |8982 |1614 | 45 | 0 | 1.859511e+03 | -- | Inf
188.30/188.30 c 188s| 1 | 0 |296054 | - | 49M| 0 |1662 |2075 |9021 |2075 |8989 |1621 | 45 | 0 | 1.859524e+03 | -- | Inf
189.80/189.87 c 190s| 1 | 0 |296322 | - | 49M| 0 |1648 |2075 |9021 |2075 |8962 |1628 | 45 | 0 | 1.859525e+03 | -- | Inf
190.69/190.78 c 191s| 1 | 0 |296454 | - | 49M| 0 |1643 |2075 |9021 |2075 |8969 |1635 | 45 | 0 | 1.859526e+03 | -- | Inf
192.19/192.22 c 192s| 1 | 0 |298289 | - | 49M| 0 |1652 |2075 |9021 |2075 |8975 |1641 | 45 | 0 | 1.859547e+03 | -- | Inf
200.29/200.31 c 200s| 1 | 2 |298289 | - | 49M| 0 |1652 |2075 |9021 |2075 |8975 |1641 | 45 | 24 | 1.859547e+03 | -- | Inf
1797.02/1797.00 c
1797.02/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.02/1797.00 c Solving Time (sec) : 1797.00
1797.02/1797.00 c Solving Nodes : 1027
1797.02/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.02/1797.00 c Dual Bound : +1.86196239688597e+03
1797.02/1797.00 c Gap : infinite
1797.02/1797.00 s UNKNOWN
1797.02/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.02/1797.00 c Total Time : 1797.00
1797.02/1797.00 c solving : 1797.00
1797.02/1797.00 c presolving : 1.08 (included in solving)
1797.02/1797.00 c reading : 0.09 (included in solving)
1797.02/1797.00 c Original Problem :
1797.02/1797.00 c Problem name : HOME/instance-3489418-1307765089.opb
1797.02/1797.00 c Variables : 3862 (3862 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1797.00 c Constraints : 16399 initial, 16399 maximal
1797.02/1797.00 c Presolved Problem :
1797.02/1797.00 c Problem name : t_HOME/instance-3489418-1307765089.opb
1797.02/1797.00 c Variables : 2075 (2075 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1797.00 c Constraints : 8441 initial, 9297 maximal
1797.02/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.02/1797.00 c trivial : 0.00 1 0 0 0 0 0 0 0 0
1797.02/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c implics : 0.01 0 61 0 0 0 0 0 0 0
1797.02/1797.00 c probing : 0.58 236 572 0 0 0 0 0 0 0
1797.02/1797.00 c setppc : 0.11 5 0 0 0 0 1778 0 0 0
1797.02/1797.00 c linear : 0.11 909 3 0 909 0 6007 0 31 24
1797.02/1797.00 c logicor : 0.23 0 0 0 1 0 173 0 0 0
1797.02/1797.00 c root node : - 11 - - 11 - - - - -
1797.02/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.02/1797.00 c integral : 0 0 0 1060 0 4 0 2 75 0 0 2002
1797.02/1797.00 c setppc : 4151 85 43253 0 1 3 5553 55 12291 0 0 0
1797.02/1797.00 c linear : 0+ 84 38806 0 0 0 427 16 307 113 0 0
1797.02/1797.00 c logicor : 4290+ 85 26396 0 1 0 3698 204 7196 1 0 0
1797.02/1797.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1797.02/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.02/1797.00 c integral : 433.92 0.00 0.00 433.92 0.00 0.00 0.00
1797.02/1797.00 c setppc : 3.55 0.02 3.52 0.00 0.00 0.00 0.00
1797.02/1797.00 c linear : 0.30 0.03 0.27 0.00 0.00 0.00 0.00
1797.02/1797.00 c logicor : 0.22 0.03 0.19 0.00 0.00 0.00 0.00
1797.02/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.02/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.02/1797.00 c vbounds : 0 0 0 0
1797.02/1797.00 c rootredcost : 0 0 0 0
1797.02/1797.00 c pseudoobj : 39144 0 0 0
1797.02/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.02/1797.00 c vbounds : 0.02 0.02 0.00
1797.02/1797.00 c rootredcost : 0.01 0.01 0.00
1797.02/1797.00 c pseudoobj : 1.07 1.07 0.00
1797.02/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.02/1797.00 c propagation : 0.01 193 193 710 19.2 63 7.1 -
1797.02/1797.00 c infeasible LP : 0.01 16 16 81 26.8 6 4.2 0
1797.02/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.02/1797.00 c applied globally : - - - 486 10.9 - - -
1797.02/1797.00 c applied locally : - - - 0 0.0 - - -
1797.02/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.02/1797.00 c cut pool : 0.36 83 - - 1085 - (maximal pool size: 8110)
1797.02/1797.00 c redcost : 0.04 1143 0 0 0 0
1797.02/1797.00 c impliedbounds : 0.04 84 0 0 810 0
1797.02/1797.00 c intobj : 0.00 0 0 0 0 0
1797.02/1797.00 c gomory : 83.29 84 0 0 16998 0
1797.02/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.02/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.02/1797.00 c strongcg : 4.40 20 0 0 10000 0
1797.02/1797.00 c cmir : 0.36 10 0 0 0 0
1797.02/1797.00 c flowcover : 0.44 10 0 0 0 0
1797.02/1797.00 c clique : 1.84 84 0 0 574 0
1797.02/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.02/1797.00 c mcf : 0.00 1 0 0 0 0
1797.02/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.02/1797.00 c rapidlearning : 0.54 1 0 11 0 618
1797.02/1797.00 c Pricers : Time Calls Vars
1797.02/1797.00 c problem variables: 0.00 0 0
1797.02/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.02/1797.00 c relpscost : 433.91 1060 2 75 0 0 2002
1797.02/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.02/1797.00 c inference : 0.00 1 0 0 0 0 2
1797.02/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.02/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.02/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.02/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.02/1797.00 c random : 0.00 0 0 0 0 0 0
1797.02/1797.00 c Primal Heuristics : Time Calls Found
1797.02/1797.00 c LP solutions : 0.00 - 0
1797.02/1797.00 c pseudo solutions : 0.00 - 0
1797.02/1797.00 c oneopt : 0.00 0 0
1797.02/1797.00 c crossover : 0.00 0 0
1797.02/1797.00 c intshifting : 0.00 0 0
1797.02/1797.00 c trivial : 0.01 2 0
1797.02/1797.00 c shiftandpropagate: 0.03 1 0
1797.02/1797.00 c simplerounding : 0.00 0 0
1797.02/1797.00 c zirounding : 0.78 1000 0
1797.02/1797.00 c rounding : 0.41 434 0
1797.02/1797.00 c shifting : 0.50 162 0
1797.02/1797.00 c twoopt : 0.00 0 0
1797.02/1797.00 c fixandinfer : 0.00 0 0
1797.02/1797.00 c feaspump : 12.93 1 0
1797.02/1797.00 c clique : 0.00 0 0
1797.02/1797.00 c coefdiving : 93.72 10 0
1797.02/1797.00 c pscostdiving : 87.10 9 0
1797.02/1797.00 c fracdiving : 95.35 13 0
1797.02/1797.00 c veclendiving : 80.78 10 0
1797.02/1797.00 c intdiving : 0.00 0 0
1797.02/1797.00 c actconsdiving : 0.00 0 0
1797.02/1797.00 c objpscostdiving : 39.21 3 0
1797.02/1797.00 c rootsoldiving : 26.74 4 0
1797.02/1797.00 c linesearchdiving : 87.62 13 0
1797.02/1797.00 c guideddiving : 0.00 0 0
1797.02/1797.00 c octane : 0.00 0 0
1797.02/1797.00 c rens : 0.03 0 0
1797.02/1797.00 c rins : 0.00 0 0
1797.02/1797.00 c localbranching : 0.00 0 0
1797.02/1797.00 c mutation : 0.00 0 0
1797.02/1797.00 c dins : 0.00 0 0
1797.02/1797.00 c vbounds : 0.00 0 0
1797.02/1797.00 c undercover : 0.00 0 0
1797.02/1797.00 c subnlp : 0.00 0 0
1797.02/1797.00 c trysol : 0.00 0 0
1797.02/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.02/1797.00 c primal LP : 0.07 0 0 0.00 0.00
1797.02/1797.00 c dual LP : 742.46 1148 2263803 1971.95 3049.06
1797.02/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.02/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.02/1797.00 c diving/probing LP: 501.46 17854 1296565 72.62 2585.60
1797.02/1797.00 c strong branching : 433.45 2019 1114213 551.86 2570.54
1797.02/1797.00 c (at root node) : - 24 20126 838.58 -
1797.02/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.02/1797.00 c B&B Tree :
1797.02/1797.00 c number of runs : 1
1797.02/1797.00 c nodes : 1027
1797.02/1797.00 c nodes (total) : 1027
1797.02/1797.00 c nodes left : 961
1797.02/1797.00 c max depth : 19
1797.02/1797.00 c max depth (total): 19
1797.02/1797.00 c backtracks : 430 (41.9%)
1797.02/1797.00 c delayed cutoffs : 17
1797.02/1797.00 c repropagations : 87 (443 domain reductions, 7 cutoffs)
1797.02/1797.00 c avg switch length: 7.77
1797.02/1797.00 c switching time : 0.40
1797.02/1797.00 c Solution :
1797.02/1797.00 c Solutions found : 0 (0 improvements)
1797.02/1797.00 c Primal Bound : -
1797.02/1797.00 c Dual Bound : +1.86196239688597e+03
1797.02/1797.00 c Gap : infinite
1797.02/1797.00 c Root Dual Bound : +1.85954689388856e+03
1797.02/1797.00 c Root Iterations : 298289
1797.02/1797.05 c Time complete: 1797.07.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3489418-1307765089/watcher-3489418-1307765089 -o /tmp/evaluation-result-3489418-1307765089/solver-3489418-1307765089 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489418-1307765089.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
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.05 2.01 2.00 2/177 20470
/proc/meminfo: memFree=31635468/32950928 swapFree=67050648/67111528
[pid=20470] ppid=20468 vsize=12696 CPUtime=0 cores=1,3,5,7
/proc/20470/stat : 20470 (scip-2.0.1.4b_2) R 20468 20470 19488 0 -1 4202496 2137 0 0 0 0 0 0 0 25 0 1 0 888107653 13000704 2092 33554432000 4194304 9016284 140735030987776 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20470/statm: 3174 2099 353 1178 0 1992 0
[startup+0.071592 s]
/proc/loadavg: 2.05 2.01 2.00 2/177 20470
/proc/meminfo: memFree=31635468/32950928 swapFree=67050648/67111528
[pid=20470] ppid=20468 vsize=22208 CPUtime=0.06 cores=1,3,5,7
/proc/20470/stat : 20470 (scip-2.0.1.4b_2) R 20468 20470 19488 0 -1 4202496 4557 0 0 0 6 0 0 0 25 0 1 0 888107653 22740992 4512 33554432000 4194304 9016284 140735030987776 18446744073709551615 7928096 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20470/statm: 5552 4512 360 1178 0 4370 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 22208
[startup+0.100588 s]
/proc/loadavg: 2.05 2.01 2.00 2/177 20470
/proc/meminfo: memFree=31635468/32950928 swapFree=67050648/67111528
[pid=20470] ppid=20468 vsize=30896 CPUtime=0.09 cores=1,3,5,7
/proc/20470/stat : 20470 (scip-2.0.1.4b_2) R 20468 20470 19488 0 -1 4202496 6693 0 0 0 9 0 0 0 25 0 1 0 888107653 31637504 6648 33554432000 4194304 9016284 140735030987776 18446744073709551615 4536705 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20470/statm: 7724 6656 406 1178 0 6542 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30896
[startup+0.300552 s]
/proc/loadavg: 2.05 2.01 2.00 2/177 20470
/proc/meminfo: memFree=31635468/32950928 swapFree=67050648/67111528
[pid=20470] ppid=20468 vsize=47768 CPUtime=0.29 cores=1,3,5,7
/proc/20470/stat : 20470 (scip-2.0.1.4b_2) R 20468 20470 19488 0 -1 4202496 11392 0 0 0 28 1 0 0 25 0 1 0 888107653 48914432 10710 33554432000 4194304 9016284 140735030987776 18446744073709551615 5322385 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20470/statm: 11942 10710 524 1178 0 10760 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 47768
[startup+0.700545 s]
/proc/loadavg: 2.05 2.01 2.00 2/177 20470
/proc/meminfo: memFree=31635468/32950928 swapFree=67050648/67111528
[pid=20470] ppid=20468 vsize=48664 CPUtime=0.69 cores=1,3,5,7
/proc/20470/stat : 20470 (scip-2.0.1.4b_2) R 20468 20470 19488 0 -1 4202496 11584 0 0 0 68 1 0 0 25 0 1 0 888107653 49831936 10902 33554432000 4194304 9016284 140735030987776 18446744073709551615 4881024 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20470/statm: 12166 10902 524 1178 0 10984 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48664
[startup+1.50035 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 20471
/proc/meminfo: memFree=31593944/32950928 swapFree=67050648/67111528
[pid=20470] ppid=20468 vsize=66704 CPUtime=1.49 cores=1,3,5,7
/proc/20470/stat : 20470 (scip-2.0.1.4b_2) R 20468 20470 19488 0 -1 4202496 16427 0 0 0 147 2 0 0 25 0 1 0 888107653 68304896 15450 33554432000 4194304 9016284 140735030987776 18446744073709551615 7190400 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20470/statm: 16676 15450 650 1178 0 15494 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 66704
[startup+3.10008 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 20471
/proc/meminfo: memFree=31575220/32950928 swapFree=67050648/67111528
[pid=20470] ppid=20468 vsize=67916 CPUtime=3.09 cores=1,3,5,7
/proc/20470/stat : 20470 (scip-2.0.1.4b_2) R 20468 20470 19488 0 -1 4202496 17038 0 0 0 305 4 0 0 25 0 1 0 888107653 69545984 15902 33554432000 4194304 9016284 140735030987776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20470/statm: 16979 15902 657 1178 0 15797 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 67916
[startup+6.30054 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 20471
/proc/meminfo: memFree=31573764/32950928 swapFree=67050648/67111528
[pid=20470] ppid=20468 vsize=67916 CPUtime=6.29 cores=1,3,5,7
/proc/20470/stat : 20470 (scip-2.0.1.4b_2) R 20468 20470 19488 0 -1 4202496 17049 0 0 0 622 7 0 0 25 0 1 0 888107653 69545984 15913 33554432000 4194304 9016284 140735030987776 18446744073709551615 7181032 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20470/statm: 16979 15913 657 1178 0 15797 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 67916
[startup+12.7005 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 20471
/proc/meminfo: memFree=31573972/32950928 swapFree=67050648/67111528
[pid=20470] ppid=20468 vsize=67916 CPUtime=12.69 cores=1,3,5,7
/proc/20470/stat : 20470 (scip-2.0.1.4b_2) R 20468 20470 19488 0 -1 4202496 17049 0 0 0 1257 12 0 0 25 0 1 0 888107653 69545984 15913 33554432000 4194304 9016284 140735030987776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20470/statm: 16979 15913 657 1178 0 15797 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 67916
[startup+25.5004 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 20472
/proc/meminfo: memFree=31542624/32950928 swapFree=67050648/67111528
[pid=20470] ppid=20468 vsize=100144 CPUtime=25.49 cores=1,3,5,7
/proc/20470/stat : 20470 (scip-2.0.1.4b_2) R 20468 20470 19488 0 -1 4202496 25641 0 0 0 2524 25 0 0 25 0 1 0 888107653 102547456 23895 33554432000 4194304 9016284 140735030987776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20470/statm: 25036 23895 707 1178 0 23854 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 100144
[startup+51.101 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 20473
/proc/meminfo: memFree=31535268/32950928 swapFree=67050648/67111528
[pid=20470] ppid=20468 vsize=106980 CPUtime=51.09 cores=1,3,5,7
/proc/20470/stat : 20470 (scip-2.0.1.4b_2) R 20468 20470 19488 0 -1 4202496 27498 0 0 0 5062 47 0 0 25 0 1 0 888107653 109547520 25752 33554432000 4194304 9016284 140735030987776 18446744073709551615 7180620 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20470/statm: 26745 25752 707 1178 0 25563 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 106980
[startup+102.306 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 20474
/proc/meminfo: memFree=31533068/32950928 swapFree=67050648/67111528
[pid=20470] ppid=20468 vsize=110216 CPUtime=102.3 cores=1,3,5,7
/proc/20470/stat : 20470 (scip-2.0.1.4b_2) R 20468 20470 19488 0 -1 4202496 33800 0 0 0 10140 90 0 0 25 0 1 0 888107653 112861184 26314 33554432000 4194304 9016284 140735030987776 18446744073709551615 6578058 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20470/statm: 27554 26314 707 1178 0 26372 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 110216
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20475
/proc/meminfo: memFree=31532908/32950928 swapFree=67050648/67111528
[pid=20470] ppid=20468 vsize=110392 CPUtime=162.29 cores=1,3,5,7
/proc/20470/stat : 20470 (scip-2.0.1.4b_2) R 20468 20470 19488 0 -1 4202496 35708 0 0 0 16100 129 0 0 25 0 1 0 888107653 113041408 26375 33554432000 4194304 9016284 140735030987776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20470/statm: 27598 26375 707 1178 0 26416 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 110392
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20477
/proc/meminfo: memFree=31532472/32950928 swapFree=67050648/67111528
[pid=20470] ppid=20468 vsize=110396 CPUtime=222.29 cores=1,3,5,7
/proc/20470/stat : 20470 (scip-2.0.1.4b_2) R 20468 20470 19488 0 -1 4202496 38647 0 0 0 22054 175 0 0 25 0 1 0 888107653 113045504 26477 33554432000 4194304 9016284 140735030987776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20470/statm: 27599 26477 708 1178 0 26417 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 110396
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20479
/proc/meminfo: memFree=31529968/32950928 swapFree=67050648/67111528
[pid=20470] ppid=20468 vsize=113764 CPUtime=282.29 cores=1,3,5,7
/proc/20470/stat : 20470 (scip-2.0.1.4b_2) R 20468 20470 19488 0 -1 4202496 47459 0 0 0 28006 223 0 0 25 0 1 0 888107653 116494336 27101 33554432000 4194304 9016284 140735030987776 18446744073709551615 6863440 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20470/statm: 28441 27101 709 1178 0 27259 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 113764
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20480
/proc/meminfo: memFree=31529700/32950928 swapFree=67050648/67111528
[pid=20470] ppid=20468 vsize=113264 CPUtime=342.3 cores=1,3,5,7
/proc/20470/stat : 20470 (scip-2.0.1.4b_2) R 20468 20470 19488 0 -1 4202496 48944 0 0 0 33965 265 0 0 25 0 1 0 888107653 115982336 27199 33554432000 4194304 9016284 140735030987776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20470/statm: 28316 27199 709 1178 0 27134 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 113264
[startup+402.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 20482
/proc/meminfo: memFree=31529432/32950928 swapFree=67050648/67111528
[pid=20470] ppid=20468 vsize=113692 CPUtime=402.3 cores=1,3,5,7
/proc/20470/stat : 20470 (scip-2.0.1.4b_2) R 20468 20470 19488 0 -1 4202496 49816 0 0 0 39921 309 0 0 25 0 1 0 888107653 116420608 27304 33554432000 4194304 9016284 140735030987776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20470/statm: 28423 27304 711 1178 0 27241 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 113692
[startup+462.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 20483
/proc/meminfo: memFree=31530528/32950928 swapFree=67050648/67111528
[pid=20470] ppid=20468 vsize=112480 CPUtime=462.3 cores=1,3,5,7
/proc/20470/stat : 20470 (scip-2.0.1.4b_2) R 20468 20470 19488 0 -1 4202496 50326 0 0 0 45876 354 0 0 25 0 1 0 888107653 115179520 26949 33554432000 4194304 9016284 140735030987776 18446744073709551615 7158148 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20470/statm: 28120 26949 711 1178 0 26938 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 112480
[startup+522.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 20485
/proc/meminfo: memFree=31528396/32950928 swapFree=67050648/67111528
[pid=20470] ppid=20468 vsize=114200 CPUtime=522.3 cores=1,3,5,7
/proc/20470/stat : 20470 (scip-2.0.1.4b_2) R 20468 20470 19488 0 -1 4202496 50808 0 0 0 51831 399 0 0 25 0 1 0 888107653 116940800 27431 33554432000 4194304 9016284 140735030987776 18446744073709551615 7181009 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20470/statm: 28550 27431 711 1178 0 27368 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 114200
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20487
/proc/meminfo: memFree=31530476/32950928 swapFree=67050648/67111528
[pid=20470] ppid=20468 vsize=112480 CPUtime=582.3 cores=1,3,5,7
/proc/20470/stat : 20470 (scip-2.0.1.4b_2) R 20468 20470 19488 0 -1 4202496 51086 0 0 0 57783 447 0 0 25 0 1 0 888107653 115179520 26948 33554432000 4194304 9016284 140735030987776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20470/statm: 28120 26948 711 1178 0 26938 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 112480
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31529204/32950928 swapFree=67050648/67111528
[pid=20470] ppid=20468 vsize=114172 CPUtime=1122.31 cores=1,3,5,7
/proc/20470/stat : 20470 (scip-2.0.1.4b_2) R 20468 20470 19488 0 -1 4202496 69922 0 0 0 111364 867 0 0 25 0 1 0 888107653 116912128 27290 33554432000 4194304 9016284 140735030987776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20470/statm: 28543 27290 760 1178 0 27361 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 114172
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 20503
/proc/meminfo: memFree=31529428/32950928 swapFree=67050648/67111528
[pid=20470] ppid=20468 vsize=113688 CPUtime=1182.31 cores=1,3,5,7
/proc/20470/stat : 20470 (scip-2.0.1.4b_2) R 20468 20470 19488 0 -1 4202496 74039 0 0 0 117321 910 0 0 25 0 1 0 888107653 116416512 27181 33554432000 4194304 9016284 140735030987776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20470/statm: 28422 27181 711 1178 0 27240 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 113688
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20504
/proc/meminfo: memFree=31529400/32950928 swapFree=67050648/67111528
[pid=20470] ppid=20468 vsize=113676 CPUtime=1242.31 cores=1,3,5,7
/proc/20470/stat : 20470 (scip-2.0.1.4b_2) R 20468 20470 19488 0 -1 4202496 79139 0 0 0 123271 960 0 0 25 0 1 0 888107653 116404224 27204 33554432000 4194304 9016284 140735030987776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20470/statm: 28419 27204 711 1178 0 27237 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 113676
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20506
/proc/meminfo: memFree=31529360/32950928 swapFree=67050648/67111528
[pid=20470] ppid=20468 vsize=113672 CPUtime=1302.32 cores=1,3,5,7
/proc/20470/stat : 20470 (scip-2.0.1.4b_2) R 20468 20470 19488 0 -1 4202496 82105 0 0 0 129226 1006 0 0 25 0 1 0 888107653 116400128 27198 33554432000 4194304 9016284 140735030987776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20470/statm: 28418 27198 711 1178 0 27236 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 113672
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20507
/proc/meminfo: memFree=31530072/32950928 swapFree=67050648/67111528
[pid=20470] ppid=20468 vsize=113212 CPUtime=1362.31 cores=1,3,5,7
/proc/20470/stat : 20470 (scip-2.0.1.4b_2) R 20468 20470 19488 0 -1 4202496 86990 0 0 0 135175 1056 0 0 25 0 1 0 888107653 115929088 27185 33554432000 4194304 9016284 140735030987776 18446744073709551615 7158231 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20470/statm: 28303 27185 857 1178 0 27121 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 113212
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20509
/proc/meminfo: memFree=31529544/32950928 swapFree=67050648/67111528
[pid=20470] ppid=20468 vsize=113664 CPUtime=1422.32 cores=1,3,5,7
/proc/20470/stat : 20470 (scip-2.0.1.4b_2) R 20468 20470 19488 0 -1 4202496 91116 0 0 0 141125 1107 0 0 25 0 1 0 888107653 116391936 27195 33554432000 4194304 9016284 140735030987776 18446744073709551615 7180891 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20470/statm: 28416 27195 711 1178 0 27234 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 113664
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20511
/proc/meminfo: memFree=31529884/32950928 swapFree=67050648/67111528
[pid=20470] ppid=20468 vsize=113576 CPUtime=1482.31 cores=1,3,5,7
/proc/20470/stat : 20470 (scip-2.0.1.4b_2) R 20468 20470 19488 0 -1 4202496 94302 0 0 0 147077 1154 0 0 25 0 1 0 888107653 116301824 27083 33554432000 4194304 9016284 140735030987776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20470/statm: 28394 27083 711 1178 0 27212 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 113576
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20512
/proc/meminfo: memFree=31529228/32950928 swapFree=67050648/67111528
[pid=20470] ppid=20468 vsize=113696 CPUtime=1542.32 cores=1,3,5,7
/proc/20470/stat : 20470 (scip-2.0.1.4b_2) R 20468 20470 19488 0 -1 4202496 97585 0 0 0 153028 1204 0 0 25 0 1 0 888107653 116424704 27266 33554432000 4194304 9016284 140735030987776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20470/statm: 28424 27266 711 1178 0 27242 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 113696
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20552
/proc/meminfo: memFree=31513400/32950928 swapFree=67050648/67111528
[pid=20470] ppid=20468 vsize=115584 CPUtime=1602.32 cores=1,3,5,7
/proc/20470/stat : 20470 (scip-2.0.1.4b_2) R 20468 20470 19488 0 -1 4202496 102521 0 0 0 158977 1255 0 0 25 0 1 0 888107653 118358016 27673 33554432000 4194304 9016284 140735030987776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20470/statm: 28896 27673 711 1178 0 27714 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 115584
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20553
/proc/meminfo: memFree=31509420/32950928 swapFree=67050648/67111528
[pid=20470] ppid=20468 vsize=114620 CPUtime=1662.32 cores=1,3,5,7
/proc/20470/stat : 20470 (scip-2.0.1.4b_2) R 20468 20470 19488 0 -1 4202496 109854 0 0 0 164909 1323 0 0 25 0 1 0 888107653 117370880 27441 33554432000 4194304 9016284 140735030987776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20470/statm: 28655 27441 711 1178 0 27473 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 114620
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20555
/proc/meminfo: memFree=31508404/32950928 swapFree=67050648/67111528
[pid=20470] ppid=20468 vsize=115540 CPUtime=1722.32 cores=1,3,5,7
/proc/20470/stat : 20470 (scip-2.0.1.4b_2) R 20468 20470 19488 0 -1 4202496 114754 0 0 0 170836 1396 0 0 25 0 1 0 888107653 118312960 27608 33554432000 4194304 9016284 140735030987776 18446744073709551615 7180740 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20470/statm: 28885 27608 711 1178 0 27703 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 115540
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20557
/proc/meminfo: memFree=31506892/32950928 swapFree=67050648/67111528
[pid=20470] ppid=20468 vsize=116488 CPUtime=1782.32 cores=1,3,5,7
/proc/20470/stat : 20470 (scip-2.0.1.4b_2) R 20468 20470 19488 0 -1 4202496 116704 0 0 0 176769 1463 0 0 25 0 1 0 888107653 119283712 28009 33554432000 4194304 9016284 140735030987776 18446744073709551615 7191729 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20470/statm: 29122 28009 711 1178 0 27940 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 116488
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20557
/proc/meminfo: memFree=31508876/32950928 swapFree=67050648/67111528
[pid=20470] ppid=20468 vsize=115560 CPUtime=1785.52 cores=1,3,5,7
/proc/20470/stat : 20470 (scip-2.0.1.4b_2) R 20468 20470 19488 0 -1 4202496 116876 0 0 0 177084 1468 0 0 25 0 1 0 888107653 118333440 27534 33554432000 4194304 9016284 140735030987776 18446744073709551615 7082056 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20470/statm: 28890 27534 711 1178 0 27708 0
Current children cumulated CPU time (s) 1785.52
Current children cumulated vsize (KiB) 115560
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20557
/proc/meminfo: memFree=31507752/32950928 swapFree=67050648/67111528
[pid=20470] ppid=20468 vsize=116024 CPUtime=1791.93 cores=1,3,5,7
/proc/20470/stat : 20470 (scip-2.0.1.4b_2) R 20468 20470 19488 0 -1 4202496 117758 0 0 0 177718 1475 0 0 25 0 1 0 888107653 118808576 27780 33554432000 4194304 9016284 140735030987776 18446744073709551615 7158231 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20470/statm: 29006 27780 711 1178 0 27824 0
Current children cumulated CPU time (s) 1791.93
Current children cumulated vsize (KiB) 116024
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20557
/proc/meminfo: memFree=31508372/32950928 swapFree=67050648/67111528
[pid=20470] ppid=20468 vsize=116024 CPUtime=1795.13 cores=1,3,5,7
/proc/20470/stat : 20470 (scip-2.0.1.4b_2) R 20468 20470 19488 0 -1 4202496 118347 0 0 0 178035 1478 0 0 25 0 1 0 888107653 118808576 27624 33554432000 4194304 9016284 140735030987776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20470/statm: 29006 27624 711 1178 0 27824 0
Current children cumulated CPU time (s) 1795.13
Current children cumulated vsize (KiB) 116024
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20557
/proc/meminfo: memFree=31508372/32950928 swapFree=67050648/67111528
[pid=20470] ppid=20468 vsize=116024 CPUtime=1795.92 cores=1,3,5,7
/proc/20470/stat : 20470 (scip-2.0.1.4b_2) R 20468 20470 19488 0 -1 4202496 118367 0 0 0 178113 1479 0 0 25 0 1 0 888107653 118808576 27644 33554432000 4194304 9016284 140735030987776 18446744073709551615 7158072 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20470/statm: 29006 27644 711 1178 0 27824 0
Current children cumulated CPU time (s) 1795.92
Current children cumulated vsize (KiB) 116024
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20557
/proc/meminfo: memFree=31508248/32950928 swapFree=67050648/67111528
[pid=20470] ppid=20468 vsize=116024 CPUtime=1796.72 cores=1,3,5,7
/proc/20470/stat : 20470 (scip-2.0.1.4b_2) R 20468 20470 19488 0 -1 4202496 118393 0 0 0 178192 1480 0 0 25 0 1 0 888107653 118808576 27670 33554432000 4194304 9016284 140735030987776 18446744073709551615 7158231 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20470/statm: 29006 27670 711 1178 0 27824 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (KiB) 116024
[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20557
/proc/meminfo: memFree=31508248/32950928 swapFree=67050648/67111528
[pid=20470] ppid=20468 vsize=116024 CPUtime=1796.92 cores=1,3,5,7
/proc/20470/stat : 20470 (scip-2.0.1.4b_2) R 20468 20470 19488 0 -1 4202496 118393 0 0 0 178212 1480 0 0 25 0 1 0 888107653 118808576 27670 33554432000 4194304 9016284 140735030987776 18446744073709551615 7082206 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20470/statm: 29006 27670 711 1178 0 27824 0
Current children cumulated CPU time (s) 1796.92
Current children cumulated vsize (KiB) 116024
[startup+1797 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20557
/proc/meminfo: memFree=31508248/32950928 swapFree=67050648/67111528
[pid=20470] ppid=20468 vsize=116024 CPUtime=1797.02 cores=1,3,5,7
/proc/20470/stat : 20470 (scip-2.0.1.4b_2) R 20468 20470 19488 0 -1 4202496 118393 0 0 0 178222 1480 0 0 25 0 1 0 888107653 118808576 27670 33554432000 4194304 9016284 140735030987776 18446744073709551615 7190328 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20470/statm: 29006 27670 711 1178 0 27824 0
Current children cumulated CPU time (s) 1797.02
Current children cumulated vsize (KiB) 116024
Child status: 0
Real time (s): 1797.06
CPU time (s): 1797.08
CPU user time (s): 1782.28
CPU system time (s): 14.8097
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 116912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.28
system time used= 14.8097
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118400
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= 7
involuntary context switches= 4193
runsolver used 2.56161 second user time and 5.9281 second system time
The end