0.00/0.00 c SCIP version 2.0.1.4 [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-3485976-1307762533.opb>
0.04/0.08 c original problem has 3862 variables (3862 bin, 0 int, 0 impl, 0 cont) and 16399 constraints
0.04/0.08 c problem read
0.04/0.08 c presolving settings loaded
0.09/0.13 c presolving:
0.09/0.16 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.17 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.17 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.17 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.18 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.18 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.18 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.18 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.19 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.18/0.26 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.18/0.27 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.29/0.30 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.29/0.31 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.32 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.35 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.36 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.37 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.39/0.40 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.39/0.40 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.39/0.41 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.47 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.47 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.48 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.49 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.53 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.54 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.54 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.55 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.59 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.59 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.59/0.60 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.64 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.64 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.68 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.68 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.72 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.73 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.77 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.77 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.83 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.83 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.88 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.89 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.89/0.92 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.92 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.93 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.98 c (1.0s) probing: 1000/2901 (34.5%) - 197 fixings, 482 aggregations, 3551 implications, 0 bound changes
0.89/0.99 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.99 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
1.00/1.01 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.05 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.05 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.08 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.09 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.16 c (1.2s) probing: 1360/2901 (46.9%) - 236 fixings, 572 aggregations, 3912 implications, 0 bound changes
1.10/1.16 c (1.2s) probing aborted: 100/100 successive totally useless probings
1.10/1.16 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.17 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.19/1.21 c (1.2s) probing: 1499/2901 (51.7%) - 236 fixings, 572 aggregations, 3918 implications, 0 bound changes
1.19/1.21 c (1.2s) probing aborted: 100/100 successive totally useless probings
1.19/1.21 c presolving (56 rounds):
1.19/1.21 c 1787 deleted vars, 7958 deleted constraints, 0 added constraints, 910 tightened bounds, 0 added holes, 31 changed sides, 24 changed coefficients
1.19/1.21 c 69221 implications, 0 cliques
1.19/1.21 c presolved problem has 2075 variables (2075 bin, 0 int, 0 impl, 0 cont) and 8441 constraints
1.19/1.21 c 4151 constraints of type <setppc>
1.19/1.21 c 4290 constraints of type <logicor>
1.19/1.21 c transformed objective value is always integral (scale: 1)
1.19/1.21 c Presolving Time: 1.12
1.19/1.21 c - non default parameters ----------------------------------------------------------------------
1.19/1.21 c # SCIP version 2.0.1.4
1.19/1.21 c
1.19/1.21 c # frequency for displaying node information lines
1.19/1.21 c # [type: int, range: [-1,2147483647], default: 100]
1.19/1.21 c display/freq = 10000
1.19/1.21 c
1.19/1.21 c # maximal time in seconds to run
1.19/1.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.19/1.21 c limits/time = 1797
1.19/1.21 c
1.19/1.21 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.19/1.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.19/1.21 c limits/memory = 13950
1.19/1.21 c
1.19/1.21 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.19/1.21 c # [type: int, range: [1,2], default: 1]
1.19/1.21 c timing/clocktype = 2
1.19/1.21 c
1.19/1.21 c # belongs reading time to solving time?
1.19/1.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.21 c timing/reading = TRUE
1.19/1.21 c
1.19/1.21 c # should presolving try to simplify inequalities
1.19/1.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.21 c constraints/linear/simplifyinequalities = TRUE
1.19/1.21 c
1.19/1.21 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.19/1.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.21 c constraints/indicator/addCouplingCons = TRUE
1.19/1.21 c
1.19/1.21 c # should presolving try to simplify knapsacks
1.19/1.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.21 c constraints/knapsack/simplifyinequalities = TRUE
1.19/1.21 c
1.19/1.21 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.19/1.21 c # [type: int, range: [-1,2147483647], default: -1]
1.19/1.21 c separating/rapidlearning/freq = 0
1.19/1.21 c
1.19/1.21 c -----------------------------------------------------------------------------------------------
1.19/1.21 c start solving
1.19/1.22 c
2.39/2.48 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.48 c 2.5s| 1 | 0 | 6574 | - | 22M| 0 |1351 |2075 |8486 |2075 |8427 | 0 | 45 | 0 | 1.602531e+03 | -- | Inf
16.50/16.57 c 16.6s| 1 | 0 | 45409 | - | 23M| 0 |1336 |2075 |9021 |2075 |8463 | 140 | 45 | 0 | 1.644250e+03 | -- | Inf
17.39/17.48 c 17.5s| 1 | 0 | 48613 | - | 24M| 0 |1373 |2075 |9021 |2075 |8566 | 243 | 45 | 0 | 1.661750e+03 | -- | Inf
18.89/18.95 c 19.0s| 1 | 0 | 54365 | - | 26M| 0 |1442 |2075 |9021 |2075 |8634 | 311 | 45 | 0 | 1.695306e+03 | -- | Inf
20.29/20.31 c 20.3s| 1 | 0 | 59126 | - | 27M| 0 |1445 |2075 |9021 |2075 |8699 | 376 | 45 | 0 | 1.735549e+03 | -- | Inf
21.79/21.81 c 21.8s| 1 | 0 | 64519 | - | 28M| 0 |1415 |2075 |9021 |2075 |8754 | 431 | 45 | 0 | 1.772676e+03 | -- | Inf
22.89/22.98 c 23.0s| 1 | 0 | 69318 | - | 29M| 0 |1400 |2075 |9021 |2075 |8803 | 480 | 45 | 0 | 1.799588e+03 | -- | Inf
23.69/23.70 c 23.7s| 1 | 0 | 71586 | - | 30M| 0 |1410 |2075 |9021 |2075 |8847 | 524 | 45 | 0 | 1.804129e+03 | -- | Inf
24.79/24.80 c 24.8s| 1 | 0 | 74465 | - | 32M| 0 |1469 |2075 |9021 |2075 |8897 | 574 | 45 | 0 | 1.809468e+03 | -- | Inf
26.40/26.42 c 26.4s| 1 | 0 | 79543 | - | 33M| 0 |1583 |2075 |9021 |2075 |8932 | 609 | 45 | 0 | 1.813460e+03 | -- | Inf
27.99/28.03 c 28.0s| 1 | 0 | 82799 | - | 33M| 0 |1611 |2075 |9021 |2075 |8963 | 640 | 45 | 0 | 1.817808e+03 | -- | Inf
29.09/29.19 c 29.2s| 1 | 0 | 83902 | - | 34M| 0 |1597 |2075 |9021 |2075 |8990 | 667 | 45 | 0 | 1.819833e+03 | -- | Inf
32.79/32.89 c 32.9s| 1 | 0 | 90092 | - | 35M| 0 |1577 |2075 |9021 |2075 |9013 | 690 | 45 | 0 | 1.823440e+03 | -- | Inf
34.89/34.96 c 35.0s| 1 | 0 | 95622 | - | 36M| 0 |1615 |2075 |9021 |2075 |9045 | 722 | 45 | 0 | 1.827187e+03 | -- | Inf
37.29/37.39 c 37.4s| 1 | 0 |101750 | - | 36M| 0 |1601 |2075 |9021 |2075 |9069 | 746 | 45 | 0 | 1.829334e+03 | -- | Inf
39.69/39.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.69/39.70 c 39.7s| 1 | 0 |107089 | - | 38M| 0 |1597 |2075 |9021 |2075 |9097 | 774 | 45 | 0 | 1.831406e+03 | -- | Inf
42.49/42.50 c 42.5s| 1 | 0 |113785 | - | 39M| 0 |1614 |2075 |9021 |2075 |8862 | 800 | 45 | 0 | 1.832895e+03 | -- | Inf
44.49/44.52 c 44.5s| 1 | 0 |117848 | - | 40M| 0 |1671 |2075 |9021 |2075 |8893 | 831 | 45 | 0 | 1.835076e+03 | -- | Inf
48.30/48.35 c 48.3s| 1 | 0 |125048 | - | 41M| 0 |1663 |2075 |9021 |2075 |8927 | 865 | 45 | 0 | 1.837444e+03 | -- | Inf
51.39/51.47 c 51.5s| 1 | 0 |132357 | - | 42M| 0 |1702 |2075 |9021 |2075 |8966 | 904 | 45 | 0 | 1.839607e+03 | -- | Inf
55.19/55.22 c 55.2s| 1 | 0 |139947 | - | 44M| 0 |1651 |2075 |9021 |2075 |8996 | 934 | 45 | 0 | 1.842175e+03 | -- | Inf
57.89/57.97 c 58.0s| 1 | 0 |147047 | - | 44M| 0 |1744 |2075 |9021 |2075 |9020 | 958 | 45 | 0 | 1.843404e+03 | -- | Inf
60.89/60.91 c 60.9s| 1 | 0 |151834 | - | 45M| 0 |1649 |2075 |9021 |2075 |8898 | 972 | 45 | 0 | 1.844490e+03 | -- | Inf
64.19/64.24 c 64.2s| 1 | 0 |157701 | - | 45M| 0 |1686 |2075 |9021 |2075 |8917 | 991 | 45 | 0 | 1.845613e+03 | -- | Inf
66.50/66.52 c 66.5s| 1 | 0 |161708 | - | 45M| 0 |1657 |2075 |9021 |2075 |8941 |1015 | 45 | 0 | 1.846846e+03 | -- | Inf
69.49/69.57 c 69.6s| 1 | 0 |168869 | - | 45M| 0 |1651 |2075 |9021 |2075 |8964 |1038 | 45 | 0 | 1.848856e+03 | -- | Inf
74.49/74.57 c 74.6s| 1 | 0 |177426 | - | 46M| 0 |1781 |2075 |9021 |2075 |8987 |1061 | 45 | 0 | 1.849926e+03 | -- | Inf
78.79/78.86 c 78.9s| 1 | 0 |186195 | - | 46M| 0 |1804 |2075 |9021 |2075 |9009 |1083 | 45 | 0 | 1.850823e+03 | -- | Inf
83.39/83.49 c 83.5s| 1 | 0 |194173 | - | 46M| 0 |1685 |2075 |9021 |2075 |8895 |1099 | 45 | 0 | 1.851644e+03 | -- | Inf
86.39/86.45 c 86.4s| 1 | 0 |197884 | - | 46M| 0 |1686 |2075 |9021 |2075 |8909 |1113 | 45 | 0 | 1.851854e+03 | -- | Inf
88.90/88.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
88.90/88.98 c 89.0s| 1 | 0 |200132 | - | 46M| 0 |1671 |2075 |9021 |2075 |8918 |1122 | 45 | 0 | 1.852178e+03 | -- | Inf
91.50/91.53 c 91.5s| 1 | 0 |201962 | - | 46M| 0 |1701 |2075 |9021 |2075 |8933 |1137 | 45 | 0 | 1.852812e+03 | -- | Inf
95.19/95.26 c 95.3s| 1 | 0 |207940 | - | 46M| 0 |1674 |2075 |9021 |2075 |8949 |1153 | 45 | 0 | 1.853567e+03 | -- | Inf
98.80/98.86 c 98.9s| 1 | 0 |214809 | - | 46M| 0 |1668 |2075 |9021 |2075 |8967 |1171 | 45 | 0 | 1.853770e+03 | -- | Inf
101.69/101.75 c 102s| 1 | 0 |218910 | - | 46M| 0 |1650 |2075 |9021 |2075 |8890 |1183 | 45 | 0 | 1.854055e+03 | -- | Inf
103.40/103.47 c 103s| 1 | 0 |220794 | - | 46M| 0 |1688 |2075 |9021 |2075 |8900 |1193 | 45 | 0 | 1.854493e+03 | -- | Inf
106.20/106.29 c 106s| 1 | 0 |224802 | - | 46M| 0 |1685 |2075 |9021 |2075 |8917 |1210 | 45 | 0 | 1.854749e+03 | -- | Inf
109.19/109.22 c 109s| 1 | 0 |228400 | - | 46M| 0 |1748 |2075 |9021 |2075 |8930 |1223 | 45 | 0 | 1.854861e+03 | -- | Inf
110.39/110.44 c 110s| 1 | 0 |229306 | - | 46M| 0 |1692 |2075 |9021 |2075 |8938 |1231 | 45 | 0 | 1.854872e+03 | -- | Inf
112.29/112.30 c 112s| 1 | 0 |230793 | - | 46M| 0 |1692 |2075 |9021 |2075 |8943 |1236 | 45 | 0 | 1.854998e+03 | -- | Inf
113.99/114.07 c 114s| 1 | 0 |231782 | - | 46M| 0 |1681 |2075 |9021 |2075 |8888 |1241 | 45 | 0 | 1.855026e+03 | -- | Inf
116.50/116.51 c 117s| 1 | 0 |234465 | - | 46M| 0 |1682 |2075 |9021 |2075 |8898 |1251 | 45 | 0 | 1.855253e+03 | -- | Inf
118.19/118.22 c 118s| 1 | 0 |235805 | - | 46M| 0 |1667 |2075 |9021 |2075 |8905 |1258 | 45 | 0 | 1.855316e+03 | -- | Inf
119.69/119.77 c 120s| 1 | 0 |236106 | - | 46M| 0 |1666 |2075 |9021 |2075 |8914 |1267 | 45 | 0 | 1.855364e+03 | -- | Inf
121.50/121.50 c 121s| 1 | 0 |237136 | - | 47M| 0 |1663 |2075 |9021 |2075 |8921 |1274 | 45 | 0 | 1.855402e+03 | -- | Inf
124.20/124.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
124.20/124.25 c 124s| 1 | 0 |241701 | - | 47M| 0 |1677 |2075 |9021 |2075 |8930 |1283 | 45 | 0 | 1.855527e+03 | -- | Inf
126.29/126.34 c 126s| 1 | 0 |243532 | - | 47M| 0 |1661 |2075 |9021 |2075 |8885 |1293 | 45 | 0 | 1.855599e+03 | -- | Inf
127.39/127.43 c 127s| 1 | 0 |244036 | - | 47M| 0 |1645 |2075 |9021 |2075 |8894 |1302 | 45 | 0 | 1.855619e+03 | -- | Inf
129.19/129.22 c 129s| 1 | 0 |246552 | - | 47M| 0 |1644 |2075 |9021 |2075 |8904 |1312 | 45 | 0 | 1.855941e+03 | -- | Inf
131.50/131.56 c 132s| 1 | 0 |248597 | - | 47M| 0 |1666 |2075 |9021 |2075 |8916 |1324 | 45 | 0 | 1.856091e+03 | -- | Inf
133.69/133.73 c 134s| 1 | 0 |251765 | - | 47M| 0 |1674 |2075 |9021 |2075 |8927 |1335 | 45 | 0 | 1.856652e+03 | -- | Inf
137.60/137.68 c 138s| 1 | 0 |258105 | - | 47M| 0 |1665 |2075 |9021 |2075 |8947 |1355 | 45 | 0 | 1.857026e+03 | -- | Inf
140.59/140.67 c 141s| 1 | 0 |262238 | - | 47M| 0 |1667 |2075 |9021 |2075 |8916 |1366 | 45 | 0 | 1.857401e+03 | -- | Inf
142.79/142.90 c 143s| 1 | 0 |263851 | - | 47M| 0 |1669 |2075 |9021 |2075 |8924 |1374 | 45 | 0 | 1.857441e+03 | -- | Inf
144.79/144.82 c 145s| 1 | 0 |265393 | - | 47M| 0 |1634 |2075 |9021 |2075 |8938 |1388 | 45 | 0 | 1.857554e+03 | -- | Inf
146.69/146.72 c 147s| 1 | 0 |267241 | - | 47M| 0 |1644 |2075 |9021 |2075 |8951 |1401 | 45 | 0 | 1.857740e+03 | -- | Inf
147.49/147.58 c 148s| 1 | 0 |267306 | - | 47M| 0 |1644 |2075 |9021 |2075 |8955 |1405 | 45 | 0 | 1.857740e+03 | -- | Inf
149.60/149.69 c 150s| 1 | 0 |269592 | - | 47M| 0 |1685 |2075 |9021 |2075 |8962 |1412 | 45 | 0 | 1.857788e+03 | -- | Inf
151.70/151.73 c 152s| 1 | 0 |270670 | - | 47M| 0 |1646 |2075 |9021 |2075 |8947 |1420 | 45 | 0 | 1.857804e+03 | -- | Inf
153.69/153.75 c 154s| 1 | 0 |272969 | - | 47M| 0 |1664 |2075 |9021 |2075 |8957 |1430 | 45 | 0 | 1.857963e+03 | -- | Inf
155.90/155.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
155.90/155.94 c 156s| 1 | 0 |274295 | - | 47M| 0 |1675 |2075 |9021 |2075 |8964 |1437 | 45 | 0 | 1.858030e+03 | -- | Inf
159.00/159.08 c 159s| 1 | 0 |279280 | - | 47M| 0 |1655 |2075 |9021 |2075 |8978 |1451 | 45 | 0 | 1.858423e+03 | -- | Inf
160.90/160.99 c 161s| 1 | 0 |280763 | - | 47M| 0 |1652 |2075 |9021 |2075 |8987 |1460 | 45 | 0 | 1.858605e+03 | -- | Inf
162.89/162.92 c 163s| 1 | 0 |282360 | - | 47M| 0 |1643 |2075 |9021 |2075 |8997 |1470 | 45 | 0 | 1.858690e+03 | -- | Inf
165.00/165.01 c 165s| 1 | 0 |284112 | - | 47M| 0 |1631 |2075 |9021 |2075 |8947 |1482 | 45 | 0 | 1.858794e+03 | -- | Inf
166.30/166.33 c 166s| 1 | 0 |284398 | - | 47M| 0 |1622 |2075 |9021 |2075 |8957 |1492 | 45 | 0 | 1.858819e+03 | -- | Inf
167.90/167.96 c 168s| 1 | 0 |284459 | - | 47M| 0 |1634 |2075 |9021 |2075 |8963 |1498 | 45 | 0 | 1.858819e+03 | -- | Inf
169.80/169.85 c 170s| 1 | 0 |285328 | - | 47M| 0 |1651 |2075 |9021 |2075 |8972 |1507 | 45 | 0 | 1.858873e+03 | -- | Inf
171.00/171.06 c 171s| 1 | 0 |285480 | - | 47M| 0 |1660 |2075 |9021 |2075 |8979 |1514 | 45 | 0 | 1.858875e+03 | -- | Inf
172.30/172.32 c 172s| 1 | 0 |285600 | - | 47M| 0 |1662 |2075 |9021 |2075 |8987 |1522 | 45 | 0 | 1.858883e+03 | -- | Inf
173.80/173.89 c 174s| 1 | 0 |286323 | - | 47M| 0 |1649 |2075 |9021 |2075 |8943 |1528 | 45 | 0 | 1.858944e+03 | -- | Inf
175.39/175.48 c 175s| 1 | 0 |286853 | - | 47M| 0 |1667 |2075 |9021 |2075 |8956 |1541 | 45 | 0 | 1.858958e+03 | -- | Inf
177.00/177.04 c 177s| 1 | 0 |289052 | - | 47M| 0 |1649 |2075 |9021 |2075 |8966 |1551 | 45 | 0 | 1.859125e+03 | -- | Inf
178.40/178.40 c 178s| 1 | 0 |290242 | - | 47M| 0 |1651 |2075 |9021 |2075 |8976 |1561 | 45 | 0 | 1.859192e+03 | -- | Inf
179.70/179.75 c 180s| 1 | 0 |291719 | - | 47M| 0 |1674 |2075 |9021 |2075 |8991 |1576 | 45 | 0 | 1.859282e+03 | -- | Inf
180.89/180.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
180.89/180.98 c 181s| 1 | 0 |291796 | - | 47M| 0 |1667 |2075 |9021 |2075 |8994 |1579 | 45 | 0 | 1.859282e+03 | -- | Inf
182.19/182.20 c 182s| 1 | 0 |292096 | - | 47M| 0 |1662 |2075 |9021 |2075 |8952 |1584 | 45 | 0 | 1.859292e+03 | -- | Inf
183.50/183.52 c 184s| 1 | 0 |292744 | - | 47M| 0 |1644 |2075 |9021 |2075 |8958 |1590 | 45 | 0 | 1.859297e+03 | -- | Inf
184.80/184.81 c 185s| 1 | 0 |294008 | - | 47M| 0 |1638 |2075 |9021 |2075 |8963 |1595 | 45 | 0 | 1.859408e+03 | -- | Inf
186.20/186.21 c 186s| 1 | 0 |295098 | - | 48M| 0 |1638 |2075 |9021 |2075 |8975 |1607 | 45 | 0 | 1.859510e+03 | -- | Inf
187.00/187.05 c 187s| 1 | 0 |295155 | - | 48M| 0 |1643 |2075 |9021 |2075 |8982 |1614 | 45 | 0 | 1.859511e+03 | -- | Inf
188.10/188.19 c 188s| 1 | 0 |296054 | - | 48M| 0 |1662 |2075 |9021 |2075 |8989 |1621 | 45 | 0 | 1.859524e+03 | -- | Inf
189.70/189.76 c 190s| 1 | 0 |296322 | - | 48M| 0 |1648 |2075 |9021 |2075 |8962 |1628 | 45 | 0 | 1.859525e+03 | -- | Inf
190.60/190.66 c 191s| 1 | 0 |296454 | - | 48M| 0 |1643 |2075 |9021 |2075 |8969 |1635 | 45 | 0 | 1.859526e+03 | -- | Inf
192.10/192.10 c 192s| 1 | 0 |298289 | - | 48M| 0 |1652 |2075 |9021 |2075 |8975 |1641 | 45 | 0 | 1.859547e+03 | -- | Inf
200.10/200.16 c 200s| 1 | 2 |298289 | - | 48M| 0 |1652 |2075 |9021 |2075 |8975 |1641 | 45 | 24 | 1.859547e+03 | -- | Inf
1797.04/1797.02 c
1797.04/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.02 c Solving Time (sec) : 1797.02
1797.04/1797.02 c Solving Nodes : 1027
1797.04/1797.02 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.04/1797.02 c Dual Bound : +1.86196239688597e+03
1797.04/1797.02 c Gap : infinite
1797.04/1797.02 s UNKNOWN
1797.04/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.02 c Total Time : 1797.02
1797.04/1797.02 c solving : 1797.02
1797.04/1797.02 c presolving : 1.12 (included in solving)
1797.04/1797.02 c reading : 0.08 (included in solving)
1797.04/1797.02 c Original Problem :
1797.04/1797.02 c Problem name : HOME/instance-3485976-1307762533.opb
1797.04/1797.02 c Variables : 3862 (3862 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.02 c Constraints : 16399 initial, 16399 maximal
1797.04/1797.02 c Presolved Problem :
1797.04/1797.02 c Problem name : t_HOME/instance-3485976-1307762533.opb
1797.04/1797.02 c Variables : 2075 (2075 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.02 c Constraints : 8441 initial, 9297 maximal
1797.04/1797.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.04/1797.02 c trivial : 0.00 1 0 0 0 0 0 0 0 0
1797.04/1797.02 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.02 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.02 c implics : 0.01 0 61 0 0 0 0 0 0 0
1797.04/1797.02 c probing : 0.58 236 572 0 0 0 0 0 0 0
1797.04/1797.02 c setppc : 0.12 5 0 0 0 0 1778 0 0 0
1797.04/1797.02 c linear : 0.11 909 3 0 909 0 6007 0 31 24
1797.04/1797.02 c logicor : 0.24 0 0 0 1 0 173 0 0 0
1797.04/1797.02 c root node : - 11 - - 11 - - - - -
1797.04/1797.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.04/1797.02 c integral : 0 0 0 1060 0 4 0 2 75 0 0 2002
1797.04/1797.02 c setppc : 4151 85 43253 0 1 3 5553 55 12291 0 0 0
1797.04/1797.02 c linear : 0+ 84 38806 0 0 0 427 16 307 113 0 0
1797.04/1797.02 c logicor : 4290+ 85 26396 0 1 0 3698 204 7196 1 0 0
1797.04/1797.02 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1797.04/1797.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.04/1797.02 c integral : 433.71 0.00 0.00 433.71 0.00 0.00 0.00
1797.04/1797.02 c setppc : 3.47 0.03 3.44 0.00 0.00 0.00 0.00
1797.04/1797.02 c linear : 0.30 0.03 0.26 0.00 0.00 0.00 0.00
1797.04/1797.02 c logicor : 0.23 0.03 0.20 0.00 0.00 0.00 0.00
1797.04/1797.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.04/1797.02 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.04/1797.02 c vbounds : 0 0 0 0
1797.04/1797.02 c rootredcost : 0 0 0 0
1797.04/1797.02 c pseudoobj : 39144 0 0 0
1797.04/1797.02 c Propagator Timings : TotalTime Propagate Resprop
1797.04/1797.02 c vbounds : 0.01 0.01 0.00
1797.04/1797.02 c rootredcost : 0.01 0.01 0.00
1797.04/1797.02 c pseudoobj : 1.04 1.04 0.00
1797.04/1797.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.04/1797.02 c propagation : 0.01 193 193 710 19.2 63 7.1 -
1797.04/1797.02 c infeasible LP : 0.01 16 16 81 26.8 6 4.2 0
1797.04/1797.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.02 c applied globally : - - - 486 10.9 - - -
1797.04/1797.02 c applied locally : - - - 0 0.0 - - -
1797.04/1797.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.04/1797.02 c cut pool : 0.36 83 - - 1085 - (maximal pool size: 8110)
1797.04/1797.02 c redcost : 0.03 1143 0 0 0 0
1797.04/1797.02 c impliedbounds : 0.04 84 0 0 810 0
1797.04/1797.02 c intobj : 0.00 0 0 0 0 0
1797.04/1797.02 c gomory : 83.32 84 0 0 16998 0
1797.04/1797.02 c cgmip : 0.00 0 0 0 0 0
1797.04/1797.02 c closecuts : 0.00 0 0 0 0 0
1797.04/1797.02 c strongcg : 4.40 20 0 0 10000 0
1797.04/1797.02 c cmir : 0.36 10 0 0 0 0
1797.04/1797.02 c flowcover : 0.44 10 0 0 0 0
1797.04/1797.02 c clique : 1.81 84 0 0 574 0
1797.04/1797.02 c zerohalf : 0.00 0 0 0 0 0
1797.04/1797.02 c mcf : 0.00 1 0 0 0 0
1797.04/1797.02 c oddcycle : 0.00 0 0 0 0 0
1797.04/1797.02 c rapidlearning : 0.53 1 0 11 0 618
1797.04/1797.02 c Pricers : Time Calls Vars
1797.04/1797.02 c problem variables: 0.00 0 0
1797.04/1797.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.04/1797.02 c relpscost : 433.71 1060 2 75 0 0 2002
1797.04/1797.02 c pscost : 0.00 0 0 0 0 0 0
1797.04/1797.02 c inference : 0.00 1 0 0 0 0 2
1797.04/1797.02 c mostinf : 0.00 0 0 0 0 0 0
1797.04/1797.02 c leastinf : 0.00 0 0 0 0 0 0
1797.04/1797.02 c fullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.02 c allfullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.02 c random : 0.00 0 0 0 0 0 0
1797.04/1797.02 c Primal Heuristics : Time Calls Found
1797.04/1797.02 c LP solutions : 0.00 - 0
1797.04/1797.02 c pseudo solutions : 0.00 - 0
1797.04/1797.02 c oneopt : 0.00 0 0
1797.04/1797.02 c crossover : 0.00 0 0
1797.04/1797.02 c intshifting : 0.00 0 0
1797.04/1797.02 c trivial : 0.01 2 0
1797.04/1797.02 c shiftandpropagate: 0.03 1 0
1797.04/1797.02 c simplerounding : 0.00 0 0
1797.04/1797.02 c zirounding : 0.78 1000 0
1797.04/1797.02 c rounding : 0.40 434 0
1797.04/1797.02 c shifting : 0.49 162 0
1797.04/1797.02 c twoopt : 0.00 0 0
1797.04/1797.02 c fixandinfer : 0.00 0 0
1797.04/1797.02 c feaspump : 12.91 1 0
1797.04/1797.02 c clique : 0.00 0 0
1797.04/1797.02 c coefdiving : 93.60 10 0
1797.04/1797.02 c pscostdiving : 87.09 9 0
1797.04/1797.02 c fracdiving : 95.08 13 0
1797.04/1797.02 c veclendiving : 80.79 10 0
1797.04/1797.02 c intdiving : 0.00 0 0
1797.04/1797.02 c actconsdiving : 0.00 0 0
1797.04/1797.02 c objpscostdiving : 39.33 3 0
1797.04/1797.02 c rootsoldiving : 26.84 4 0
1797.04/1797.02 c linesearchdiving : 87.44 13 0
1797.04/1797.02 c guideddiving : 0.00 0 0
1797.04/1797.02 c octane : 0.00 0 0
1797.04/1797.02 c rens : 0.01 0 0
1797.04/1797.02 c rins : 0.00 0 0
1797.04/1797.02 c localbranching : 0.00 0 0
1797.04/1797.02 c mutation : 0.00 0 0
1797.04/1797.02 c dins : 0.00 0 0
1797.04/1797.02 c vbounds : 0.00 0 0
1797.04/1797.02 c undercover : 0.00 0 0
1797.04/1797.02 c subnlp : 0.00 0 0
1797.04/1797.02 c trysol : 0.00 0 0
1797.04/1797.02 c LP : Time Calls Iterations Iter/call Iter/sec
1797.04/1797.02 c primal LP : 0.07 0 0 0.00 0.00
1797.04/1797.02 c dual LP : 743.07 1148 2266030 1973.89 3049.56
1797.04/1797.02 c lex dual LP : 0.00 0 0 0.00 -
1797.04/1797.02 c barrier LP : 0.00 0 0 0.00 -
1797.04/1797.02 c diving/probing LP: 501.50 17854 1296565 72.62 2585.35
1797.04/1797.02 c strong branching : 433.25 2019 1114213 551.86 2571.76
1797.04/1797.02 c (at root node) : - 24 20126 838.58 -
1797.04/1797.02 c conflict analysis: 0.00 0 0 0.00 -
1797.04/1797.02 c B&B Tree :
1797.04/1797.02 c number of runs : 1
1797.04/1797.02 c nodes : 1027
1797.04/1797.02 c nodes (total) : 1027
1797.04/1797.02 c nodes left : 961
1797.04/1797.02 c max depth : 19
1797.04/1797.02 c max depth (total): 19
1797.04/1797.02 c backtracks : 430 (41.9%)
1797.04/1797.02 c delayed cutoffs : 17
1797.04/1797.02 c repropagations : 87 (443 domain reductions, 7 cutoffs)
1797.04/1797.02 c avg switch length: 7.77
1797.04/1797.02 c switching time : 0.40
1797.04/1797.02 c Solution :
1797.04/1797.02 c Solutions found : 0 (0 improvements)
1797.04/1797.02 c Primal Bound : -
1797.04/1797.02 c Dual Bound : +1.86196239688597e+03
1797.04/1797.02 c Gap : infinite
1797.04/1797.02 c Root Dual Bound : +1.85954689388856e+03
1797.04/1797.02 c Root Iterations : 298289
1797.04/1797.07 c Time complete: 1797.11.
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-3485976-1307762533/watcher-3485976-1307762533 -o /tmp/evaluation-result-3485976-1307762533/solver-3485976-1307762533 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485976-1307762533.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: 1.99 1.97 2.00 3/177 15203
/proc/meminfo: memFree=31889512/32951124 swapFree=67056964/67111528
[pid=15203] ppid=15201 vsize=10248 CPUtime=0 cores=1,3,5,7
/proc/15203/stat : 15203 (scip-2.0.1.4_2.) R 15201 15203 15024 0 -1 4202496 1548 0 0 0 0 0 0 0 22 0 1 0 868669149 10493952 1502 33554432000 4194304 8979876 140734584750320 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/15203/statm: 2611 1511 358 1169 0 1438 0
[startup+0.049953 s]
/proc/loadavg: 1.99 1.97 2.00 3/177 15203
/proc/meminfo: memFree=31889512/32951124 swapFree=67056964/67111528
[pid=15203] ppid=15201 vsize=16224 CPUtime=0.04 cores=1,3,5,7
/proc/15203/stat : 15203 (scip-2.0.1.4_2.) R 15201 15203 15024 0 -1 4202496 3072 0 0 0 4 0 0 0 22 0 1 0 868669149 16613376 3026 33554432000 4194304 8979876 140734584750320 18446744073709551615 7836098 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/15203/statm: 4056 3026 366 1169 0 2883 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 16224
[startup+0.100946 s]
/proc/loadavg: 1.99 1.97 2.00 3/177 15203
/proc/meminfo: memFree=31889512/32951124 swapFree=67056964/67111528
[pid=15203] ppid=15201 vsize=30116 CPUtime=0.09 cores=1,3,5,7
/proc/15203/stat : 15203 (scip-2.0.1.4_2.) R 15201 15203 15024 0 -1 4202496 6497 0 0 0 9 0 0 0 22 0 1 0 868669149 30838784 6451 33554432000 4194304 8979876 140734584750320 18446744073709551615 4318837 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15203/statm: 7529 6452 416 1169 0 6356 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30116
[startup+0.300909 s]
/proc/loadavg: 1.99 1.97 2.00 3/177 15203
/proc/meminfo: memFree=31889512/32951124 swapFree=67056964/67111528
[pid=15203] ppid=15201 vsize=48976 CPUtime=0.29 cores=1,3,5,7
/proc/15203/stat : 15203 (scip-2.0.1.4_2.) R 15201 15203 15024 0 -1 4202496 11825 0 0 0 28 1 0 0 23 0 1 0 868669149 50151424 11010 33554432000 4194304 8979876 140734584750320 18446744073709551615 4848261 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15203/statm: 12244 11010 530 1169 0 11071 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48976
[startup+0.700836 s]
/proc/loadavg: 1.99 1.97 2.00 3/177 15203
/proc/meminfo: memFree=31889512/32951124 swapFree=67056964/67111528
[pid=15203] ppid=15201 vsize=49872 CPUtime=0.69 cores=1,3,5,7
/proc/15203/stat : 15203 (scip-2.0.1.4_2.) R 15201 15203 15024 0 -1 4202496 12049 0 0 0 68 1 0 0 25 0 1 0 868669149 51068928 11234 33554432000 4194304 8979876 140734584750320 18446744073709551615 5539211 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15203/statm: 12468 11234 530 1169 0 11295 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49872
[startup+1.50069 s]
/proc/loadavg: 1.99 1.97 2.00 3/178 15204
/proc/meminfo: memFree=31828892/32951124 swapFree=67056964/67111528
[pid=15203] ppid=15201 vsize=68204 CPUtime=1.49 cores=1,3,5,7
/proc/15203/stat : 15203 (scip-2.0.1.4_2.) R 15201 15203 15024 0 -1 4202496 16866 0 0 0 147 2 0 0 25 0 1 0 868669149 69840896 15829 33554432000 4194304 8979876 140734584750320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15203/statm: 17051 15829 671 1169 0 15878 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 68204
[startup+3.1004 s]
/proc/loadavg: 1.99 1.97 2.00 3/178 15204
/proc/meminfo: memFree=31809796/32951124 swapFree=67056964/67111528
[pid=15203] ppid=15201 vsize=67812 CPUtime=3.09 cores=1,3,5,7
/proc/15203/stat : 15203 (scip-2.0.1.4_2.) R 15201 15203 15024 0 -1 4202496 17200 0 0 0 306 3 0 0 25 0 1 0 868669149 69439488 15989 33554432000 4194304 8979876 140734584750320 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15203/statm: 16953 15989 661 1169 0 15780 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 67812
[startup+6.30083 s]
/proc/loadavg: 1.99 1.97 2.00 3/178 15281
/proc/meminfo: memFree=31784428/32951124 swapFree=67056964/67111528
[pid=15203] ppid=15201 vsize=67812 CPUtime=6.29 cores=1,3,5,7
/proc/15203/stat : 15203 (scip-2.0.1.4_2.) R 15201 15203 15024 0 -1 4202496 17214 0 0 0 623 6 0 0 25 0 1 0 868669149 69439488 16003 33554432000 4194304 8979876 140734584750320 18446744073709551615 7123693 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15203/statm: 16953 16003 661 1169 0 15780 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 67812
[startup+12.7007 s]
/proc/loadavg: 1.99 1.97 2.00 3/178 15281
/proc/meminfo: memFree=31784696/32951124 swapFree=67056964/67111528
[pid=15203] ppid=15201 vsize=67812 CPUtime=12.69 cores=1,3,5,7
/proc/15203/stat : 15203 (scip-2.0.1.4_2.) R 15201 15203 15024 0 -1 4202496 17214 0 0 0 1255 14 0 0 25 0 1 0 868669149 69439488 16003 33554432000 4194304 8979876 140734584750320 18446744073709551615 6943201 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15203/statm: 16953 16003 661 1169 0 15780 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 67812
[startup+25.5004 s]
/proc/loadavg: 1.99 1.97 2.00 3/178 15281
/proc/meminfo: memFree=31754040/32951124 swapFree=67056964/67111528
[pid=15203] ppid=15201 vsize=99836 CPUtime=25.49 cores=1,3,5,7
/proc/15203/stat : 15203 (scip-2.0.1.4_2.) R 15201 15203 15024 0 -1 4202496 25071 0 0 0 2516 33 0 0 25 0 1 0 868669149 102232064 23837 33554432000 4194304 8979876 140734584750320 18446744073709551615 7146240 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15203/statm: 24959 23837 713 1169 0 23786 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 99836
[startup+51.1008 s]
/proc/loadavg: 1.99 1.97 2.00 3/178 15282
/proc/meminfo: memFree=31744704/32951124 swapFree=67056964/67111528
[pid=15203] ppid=15201 vsize=111116 CPUtime=51.1 cores=1,3,5,7
/proc/15203/stat : 15203 (scip-2.0.1.4_2.) R 15201 15203 15024 0 -1 4202496 27694 0 0 0 5050 60 0 0 25 0 1 0 868669149 113782784 26460 33554432000 4194304 8979876 140734584750320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15203/statm: 27779 26460 713 1169 0 26606 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 111116
[startup+102.307 s]
/proc/loadavg: 1.99 1.97 2.00 3/178 15283
/proc/meminfo: memFree=31742532/32951124 swapFree=67056964/67111528
[pid=15203] ppid=15201 vsize=110100 CPUtime=102.29 cores=1,3,5,7
/proc/15203/stat : 15203 (scip-2.0.1.4_2.) R 15201 15203 15024 0 -1 4202496 36378 0 0 0 10116 113 0 0 25 0 1 0 868669149 112742400 26241 33554432000 4194304 8979876 140734584750320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15203/statm: 27525 26241 713 1169 0 26352 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 110100
[startup+162.301 s]
/proc/loadavg: 1.99 1.97 2.00 3/178 15285
/proc/meminfo: memFree=31740144/32951124 swapFree=67056964/67111528
[pid=15203] ppid=15201 vsize=111540 CPUtime=162.29 cores=1,3,5,7
/proc/15203/stat : 15203 (scip-2.0.1.4_2.) R 15201 15203 15024 0 -1 4202496 38806 0 0 0 16052 177 0 0 25 0 1 0 868669149 114216960 26782 33554432000 4194304 8979876 140734584750320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15203/statm: 27885 26782 766 1169 0 26712 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 111540
[startup+222.301 s]
/proc/loadavg: 1.99 1.97 2.00 3/178 15289
/proc/meminfo: memFree=31739180/32951124 swapFree=67056964/67111528
[pid=15203] ppid=15201 vsize=112856 CPUtime=222.3 cores=1,3,5,7
/proc/15203/stat : 15203 (scip-2.0.1.4_2.) R 15201 15203 15024 0 -1 4202496 40456 0 0 0 21980 250 0 0 25 0 1 0 868669149 115564544 27113 33554432000 4194304 8979876 140734584750320 18446744073709551615 7164623 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15203/statm: 28214 27113 717 1169 0 27041 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 112856
[startup+282.3 s]
/proc/loadavg: 1.99 1.97 2.00 3/178 15291
/proc/meminfo: memFree=31735300/32951124 swapFree=67056964/67111528
[pid=15203] ppid=15201 vsize=114408 CPUtime=282.3 cores=1,3,5,7
/proc/15203/stat : 15203 (scip-2.0.1.4_2.) R 15201 15203 15024 0 -1 4202496 40851 0 0 0 27913 317 0 0 25 0 1 0 868669149 117153792 27507 33554432000 4194304 8979876 140734584750320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15203/statm: 28602 27507 719 1169 0 27429 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 114408
[startup+342.3 s]
/proc/loadavg: 1.99 1.97 2.00 3/178 15292
/proc/meminfo: memFree=31734996/32951124 swapFree=67056964/67111528
[pid=15203] ppid=15201 vsize=114408 CPUtime=342.3 cores=1,3,5,7
/proc/15203/stat : 15203 (scip-2.0.1.4_2.) R 15201 15203 15024 0 -1 4202496 40852 0 0 0 33842 388 0 0 25 0 1 0 868669149 117153792 27508 33554432000 4194304 8979876 140734584750320 18446744073709551615 6829036 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15203/statm: 28602 27508 719 1169 0 27429 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 114408
[startup+402.301 s]
/proc/loadavg: 2.03 1.99 2.00 3/178 15294
/proc/meminfo: memFree=31734580/32951124 swapFree=67056964/67111528
[pid=15203] ppid=15201 vsize=114428 CPUtime=402.3 cores=1,3,5,7
/proc/15203/stat : 15203 (scip-2.0.1.4_2.) R 15201 15203 15024 0 -1 4202496 41625 0 0 0 39780 450 0 0 25 0 1 0 868669149 117174272 27513 33554432000 4194304 8979876 140734584750320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15203/statm: 28607 27513 723 1169 0 27434 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 114428
[startup+462.301 s]
/proc/loadavg: 2.01 1.99 2.00 3/178 15410
/proc/meminfo: memFree=31738276/32951124 swapFree=67056964/67111528
[pid=15203] ppid=15201 vsize=114872 CPUtime=462.3 cores=1,3,5,7
/proc/15203/stat : 15203 (scip-2.0.1.4_2.) R 15201 15203 15024 0 -1 4202496 43135 0 0 0 45713 517 0 0 25 0 1 0 868669149 117628928 27516 33554432000 4194304 8979876 140734584750320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15203/statm: 28718 27516 723 1169 0 27545 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 114872
[startup+522.3 s]
/proc/loadavg: 2.00 1.99 2.00 3/178 15411
/proc/meminfo: memFree=31737240/32951124 swapFree=67056964/67111528
[pid=15203] ppid=15201 vsize=114872 CPUtime=522.31 cores=1,3,5,7
/proc/15203/stat : 15203 (scip-2.0.1.4_2.) R 15201 15203 15024 0 -1 4202496 43261 0 0 0 51649 582 0 0 25 0 1 0 868669149 117628928 27642 33554432000 4194304 8979876 140734584750320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15203/statm: 28718 27642 723 1169 0 27545 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 114872
[startup+582.3 s]
/proc/loadavg: 2.00 1.99 2.00 3/178 15413
/proc/meminfo: memFree=31737636/32951124 swapFree=67056964/67111528
[pid=15203] ppid=15201 vsize=114872 CPUtime=582.31 cores=1,3,5,7
/proc/15203/stat : 15203 (scip-2.0.1.4_2.) R 15201 15203 15024 0 -1 4202496 43261 0 0 0 57581 650 0 0 25 0 1 0 868669149 117628928 27642 33554432000 4194304 8979876 140734584750320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15203/statm: 28718 27642 723 1169 0 27545 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 114872
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31660152/32951124 swapFree=67056964/67111528
[pid=15203] ppid=15201 vsize=114868 CPUtime=1122.32 cores=1,3,5,7
/proc/15203/stat : 15203 (scip-2.0.1.4_2.) R 15201 15203 15024 0 -1 4202496 50014 0 0 0 110967 1265 0 0 25 0 1 0 868669149 117624832 27427 33554432000 4194304 8979876 140734584750320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15203/statm: 28717 27427 723 1169 0 27544 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 114868
[startup+1182.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 15467
/proc/meminfo: memFree=31659228/32951124 swapFree=67056964/67111528
[pid=15203] ppid=15201 vsize=114860 CPUtime=1182.32 cores=1,3,5,7
/proc/15203/stat : 15203 (scip-2.0.1.4_2.) R 15201 15203 15024 0 -1 4202496 51040 0 0 0 116905 1327 0 0 25 0 1 0 868669149 117616640 27622 33554432000 4194304 8979876 140734584750320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15203/statm: 28715 27622 723 1169 0 27542 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 114860
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 15468
/proc/meminfo: memFree=31660400/32951124 swapFree=67056964/67111528
[pid=15203] ppid=15201 vsize=114368 CPUtime=1242.33 cores=1,3,5,7
/proc/15203/stat : 15203 (scip-2.0.1.4_2.) R 15201 15203 15024 0 -1 4202496 59041 0 0 0 122836 1397 0 0 25 0 1 0 868669149 117112832 27259 33554432000 4194304 8979876 140734584750320 18446744073709551615 7123834 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15203/statm: 28592 27259 723 1169 0 27419 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 114368
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15470
/proc/meminfo: memFree=31658980/32951124 swapFree=67056964/67111528
[pid=15203] ppid=15201 vsize=114820 CPUtime=1302.33 cores=1,3,5,7
/proc/15203/stat : 15203 (scip-2.0.1.4_2.) R 15201 15203 15024 0 -1 4202496 66556 0 0 0 128768 1465 0 0 25 0 1 0 868669149 117575680 27512 33554432000 4194304 8979876 140734584750320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15203/statm: 28705 27512 723 1169 0 27532 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 114820
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15472
/proc/meminfo: memFree=31659536/32951124 swapFree=67056964/67111528
[pid=15203] ppid=15201 vsize=114796 CPUtime=1362.33 cores=1,3,5,7
/proc/15203/stat : 15203 (scip-2.0.1.4_2.) R 15201 15203 15024 0 -1 4202496 70731 0 0 0 134694 1539 0 0 25 0 1 0 868669149 117551104 27375 33554432000 4194304 8979876 140734584750320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15203/statm: 28699 27375 723 1169 0 27526 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 114796
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15473
/proc/meminfo: memFree=31659240/32951124 swapFree=67056964/67111528
[pid=15203] ppid=15201 vsize=114808 CPUtime=1422.33 cores=1,3,5,7
/proc/15203/stat : 15203 (scip-2.0.1.4_2.) R 15201 15203 15024 0 -1 4202496 75873 0 0 0 140622 1611 0 0 25 0 1 0 868669149 117563392 27596 33554432000 4194304 8979876 140734584750320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15203/statm: 28702 27596 723 1169 0 27529 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 114808
[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 15475
/proc/meminfo: memFree=31659932/32951124 swapFree=67056964/67111528
[pid=15203] ppid=15201 vsize=113868 CPUtime=1482.33 cores=1,3,5,7
/proc/15203/stat : 15203 (scip-2.0.1.4_2.) R 15201 15203 15024 0 -1 4202496 78390 0 0 0 146558 1675 0 0 25 0 1 0 868669149 116600832 27249 33554432000 4194304 8979876 140734584750320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15203/statm: 28467 27249 723 1169 0 27294 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 113868
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 15476
/proc/meminfo: memFree=31658000/32951124 swapFree=67056964/67111528
[pid=15203] ppid=15201 vsize=115288 CPUtime=1542.34 cores=1,3,5,7
/proc/15203/stat : 15203 (scip-2.0.1.4_2.) R 15201 15203 15024 0 -1 4202496 83971 0 0 0 152490 1744 0 0 25 0 1 0 868669149 118054912 27728 33554432000 4194304 8979876 140734584750320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15203/statm: 28822 27728 723 1169 0 27649 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 115288
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 15478
/proc/meminfo: memFree=31657080/32951124 swapFree=67056964/67111528
[pid=15203] ppid=15201 vsize=116732 CPUtime=1602.33 cores=1,3,5,7
/proc/15203/stat : 15203 (scip-2.0.1.4_2.) R 15201 15203 15024 0 -1 4202496 84999 0 0 0 158419 1814 0 0 25 0 1 0 868669149 119533568 27985 33554432000 4194304 8979876 140734584750320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15203/statm: 29183 27985 728 1169 0 28010 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 116732
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15480
/proc/meminfo: memFree=31656640/32951124 swapFree=67056964/67111528
[pid=15203] ppid=15201 vsize=116632 CPUtime=1662.34 cores=1,3,5,7
/proc/15203/stat : 15203 (scip-2.0.1.4_2.) R 15201 15203 15024 0 -1 4202496 91614 0 0 0 164353 1881 0 0 25 0 1 0 868669149 119431168 28049 33554432000 4194304 8979876 140734584750320 18446744073709551615 7166387 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15203/statm: 29158 28049 723 1169 0 27985 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 116632
[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 15481
/proc/meminfo: memFree=31656824/32951124 swapFree=67056964/67111528
[pid=15203] ppid=15201 vsize=116688 CPUtime=1722.34 cores=1,3,5,7
/proc/15203/stat : 15203 (scip-2.0.1.4_2.) R 15201 15203 15024 0 -1 4202496 93738 0 0 0 170282 1952 0 0 25 0 1 0 868669149 119488512 28079 33554432000 4194304 8979876 140734584750320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15203/statm: 29172 28079 758 1169 0 27999 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 116688
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 15483
/proc/meminfo: memFree=31654536/32951124 swapFree=67056964/67111528
[pid=15203] ppid=15201 vsize=118140 CPUtime=1782.34 cores=1,3,5,7
/proc/15203/stat : 15203 (scip-2.0.1.4_2.) R 15201 15203 15024 0 -1 4202496 95516 0 0 0 176211 2023 0 0 25 0 1 0 868669149 120975360 28324 33554432000 4194304 8979876 140734584750320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15203/statm: 29535 28324 723 1169 0 28362 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 118140
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 15483
/proc/meminfo: memFree=31654288/32951124 swapFree=67056964/67111528
[pid=15203] ppid=15201 vsize=118140 CPUtime=1785.54 cores=1,3,5,7
/proc/15203/stat : 15203 (scip-2.0.1.4_2.) R 15201 15203 15024 0 -1 4202496 95516 0 0 0 176528 2026 0 0 25 0 1 0 868669149 120975360 28324 33554432000 4194304 8979876 140734584750320 18446744073709551615 7143725 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15203/statm: 29535 28324 723 1169 0 28362 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 118140
[startup+1791.91 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 15483
/proc/meminfo: memFree=31654408/32951124 swapFree=67056964/67111528
[pid=15203] ppid=15201 vsize=118140 CPUtime=1791.95 cores=1,3,5,7
/proc/15203/stat : 15203 (scip-2.0.1.4_2.) R 15201 15203 15024 0 -1 4202496 95518 0 0 0 177161 2034 0 0 25 0 1 0 868669149 120975360 28326 33554432000 4194304 8979876 140734584750320 18446744073709551615 6956464 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15203/statm: 29535 28326 723 1169 0 28362 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 118140
[startup+1795.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 15483
/proc/meminfo: memFree=31661104/32951124 swapFree=67056964/67111528
[pid=15203] ppid=15201 vsize=116352 CPUtime=1795.14 cores=1,3,5,7
/proc/15203/stat : 15203 (scip-2.0.1.4_2.) R 15201 15203 15024 0 -1 4202496 96549 0 0 0 177477 2037 0 0 25 0 1 0 868669149 119144448 27886 33554432000 4194304 8979876 140734584750320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15203/statm: 29088 27886 723 1169 0 27915 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 116352
[startup+1795.9 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 15483
/proc/meminfo: memFree=31661104/32951124 swapFree=67056964/67111528
[pid=15203] ppid=15201 vsize=116352 CPUtime=1795.94 cores=1,3,5,7
/proc/15203/stat : 15203 (scip-2.0.1.4_2.) R 15201 15203 15024 0 -1 4202496 96560 0 0 0 177556 2038 0 0 25 0 1 0 868669149 119144448 27897 33554432000 4194304 8979876 140734584750320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15203/statm: 29088 27897 723 1169 0 27915 0
Current children cumulated CPU time (s) 1795.94
Current children cumulated vsize (KiB) 116352
[startup+1796.7 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 15483
/proc/meminfo: memFree=31661224/32951124 swapFree=67056964/67111528
[pid=15203] ppid=15201 vsize=116352 CPUtime=1796.74 cores=1,3,5,7
/proc/15203/stat : 15203 (scip-2.0.1.4_2.) R 15201 15203 15024 0 -1 4202496 96560 0 0 0 177635 2039 0 0 25 0 1 0 868669149 119144448 27897 33554432000 4194304 8979876 140734584750320 18446744073709551615 7146204 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15203/statm: 29088 27897 723 1169 0 27915 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 116352
[startup+1796.9 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 15483
/proc/meminfo: memFree=31661224/32951124 swapFree=67056964/67111528
[pid=15203] ppid=15201 vsize=116352 CPUtime=1796.93 cores=1,3,5,7
/proc/15203/stat : 15203 (scip-2.0.1.4_2.) R 15201 15203 15024 0 -1 4202496 96560 0 0 0 177654 2039 0 0 25 0 1 0 868669149 119144448 27897 33554432000 4194304 8979876 140734584750320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15203/statm: 29088 27897 723 1169 0 27915 0
Current children cumulated CPU time (s) 1796.93
Current children cumulated vsize (KiB) 116352
[startup+1797 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 15483
/proc/meminfo: memFree=31661224/32951124 swapFree=67056964/67111528
[pid=15203] ppid=15201 vsize=116352 CPUtime=1797.04 cores=1,3,5,7
/proc/15203/stat : 15203 (scip-2.0.1.4_2.) R 15201 15203 15024 0 -1 4202496 96560 0 0 0 177664 2040 0 0 25 0 1 0 868669149 119144448 27897 33554432000 4194304 8979876 140734584750320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15203/statm: 29088 27897 723 1169 0 27915 0
Current children cumulated CPU time (s) 1797.04
Current children cumulated vsize (KiB) 116352
Child status: 0
Real time (s): 1797.07
CPU time (s): 1797.12
CPU user time (s): 1776.71
CPU system time (s): 20.4079
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 119036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1776.71
system time used= 20.4079
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96569
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= 20446
runsolver used 2.54361 second user time and 5.99609 second system time
The end