0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3693046-1338042991.opb>
0.00/0.03 c original problem has 6732 variables (6732 bin, 0 int, 0 impl, 0 cont) and 6932 constraints
0.00/0.03 c problem read in 0.03
0.06/0.08 c presolving:
0.09/0.12 c (round 1) 2 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12054 impls, 99 clqs
0.09/0.12 c (round 2) 136 del vars, 12 del conss, 0 add conss, 136 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12054 impls, 97 clqs
0.09/0.13 c (round 3) 212 del vars, 155 del conss, 0 add conss, 212 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12106 impls, 97 clqs
0.09/0.14 c (round 4) 269 del vars, 212 del conss, 0 add conss, 269 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12218 impls, 97 clqs
0.09/0.15 c (round 5) 315 del vars, 258 del conss, 0 add conss, 315 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12342 impls, 97 clqs
0.09/0.15 c (round 6) 345 del vars, 288 del conss, 0 add conss, 345 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12476 impls, 97 clqs
0.09/0.16 c (round 7) 356 del vars, 299 del conss, 0 add conss, 356 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12556 impls, 97 clqs
0.09/0.17 c (round 8) 360 del vars, 303 del conss, 0 add conss, 360 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12588 impls, 97 clqs
0.09/0.17 c (round 9) 362 del vars, 305 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12598 impls, 97 clqs
0.19/0.25 c (round 10) 362 del vars, 402 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6433 upgd conss, 12610 impls, 97 clqs
0.19/0.29 c (round 11) 362 del vars, 402 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6530 upgd conss, 12610 impls, 97 clqs
2.39/2.42 c (round 12) 387 del vars, 402 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6530 upgd conss, 707390 impls, 97 clqs
2.39/2.43 c (round 13) 387 del vars, 427 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6530 upgd conss, 707408 impls, 97 clqs
2.39/2.46 c (round 14) 387 del vars, 427 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6538 upgd conss, 707408 impls, 97 clqs
4.18/4.20 c (round 15) 412 del vars, 427 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6538 upgd conss, 1951732 impls, 97 clqs
4.18/4.21 c (round 16) 412 del vars, 452 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6538 upgd conss, 1951818 impls, 97 clqs
4.40/4.43 c (round 17) 412 del vars, 452 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6543 upgd conss, 1951818 impls, 97 clqs
4.40/4.43 c (round 18) 437 del vars, 452 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6543 upgd conss, 1958122 impls, 97 clqs
4.40/4.43 c (round 19) 437 del vars, 477 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6543 upgd conss, 1958214 impls, 97 clqs
4.40/4.43 c (round 20) 437 del vars, 477 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6549 upgd conss, 1958214 impls, 97 clqs
4.40/4.43 c (round 21) 462 del vars, 477 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6549 upgd conss, 1977386 impls, 97 clqs
4.40/4.43 c (round 22) 467 del vars, 508 del conss, 0 add conss, 363 chg bounds, 0 chg sides, 0 chg coeffs, 6549 upgd conss, 1977548 impls, 97 clqs
4.40/4.44 c (round 23) 469 del vars, 509 del conss, 0 add conss, 363 chg bounds, 0 chg sides, 0 chg coeffs, 6564 upgd conss, 1977580 impls, 97 clqs
4.40/4.49 c (round 24) 494 del vars, 509 del conss, 0 add conss, 363 chg bounds, 0 chg sides, 0 chg coeffs, 6564 upgd conss, 1980852 impls, 97 clqs
4.49/4.50 c (round 25) 494 del vars, 535 del conss, 0 add conss, 364 chg bounds, 0 chg sides, 0 chg coeffs, 6564 upgd conss, 1980855 impls, 97 clqs
4.49/4.51 c (round 26) 495 del vars, 536 del conss, 0 add conss, 365 chg bounds, 0 chg sides, 0 chg coeffs, 6564 upgd conss, 1980856 impls, 97 clqs
4.49/4.52 c (round 27) 498 del vars, 539 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 6564 upgd conss, 1980857 impls, 97 clqs
4.49/4.56 c (round 28) 499 del vars, 539 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 6565 upgd conss, 1980857 impls, 97 clqs
4.59/4.62 c (round 29) 524 del vars, 539 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 6565 upgd conss, 1980857 impls, 97 clqs
4.59/4.64 c (round 30) 524 del vars, 564 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 6565 upgd conss, 1980857 impls, 97 clqs
4.69/4.72 c (round 31) 549 del vars, 564 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 6565 upgd conss, 1980857 impls, 97 clqs
4.69/4.73 c (round 32) 549 del vars, 589 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 6565 upgd conss, 1980857 impls, 97 clqs
4.69/4.77 c (round 33) 574 del vars, 589 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 6565 upgd conss, 1981583 impls, 97 clqs
4.69/4.78 c (round 34) 578 del vars, 620 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6565 upgd conss, 1981593 impls, 97 clqs
4.79/4.82 c (round 35) 580 del vars, 620 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6566 upgd conss, 1981593 impls, 97 clqs
4.79/4.87 c (round 36) 605 del vars, 620 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6566 upgd conss, 1981593 impls, 97 clqs
4.79/4.88 c (round 37) 605 del vars, 645 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6566 upgd conss, 1981593 impls, 97 clqs
4.88/4.91 c (round 38) 630 del vars, 645 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6566 upgd conss, 1981593 impls, 97 clqs
4.88/4.92 c (round 39) 630 del vars, 670 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6566 upgd conss, 1981593 impls, 97 clqs
4.99/5.00 c (5.0s) probing: 1000/6370 (15.7%) - 252 fixings, 1 aggregations, 367037 implications, 0 bound changes
7.49/7.51 c (7.5s) probing: 2000/6370 (31.4%) - 254 fixings, 1 aggregations, 636891 implications, 0 bound changes
10.19/10.29 c (round 40) 655 del vars, 670 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6566 upgd conss, 3159597 impls, 97 clqs
10.29/10.30 c (round 41) 655 del vars, 695 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6566 upgd conss, 3159597 impls, 97 clqs
10.29/10.35 c (round 42) 680 del vars, 695 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6566 upgd conss, 3159597 impls, 97 clqs
10.29/10.36 c (round 43) 680 del vars, 720 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6566 upgd conss, 3159597 impls, 97 clqs
10.89/10.99 c (11.0s) probing: 3000/6370 (47.1%) - 320 fixings, 1 aggregations, 1017621 implications, 0 bound changes
11.18/11.25 c (round 44) 705 del vars, 720 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6566 upgd conss, 3353295 impls, 97 clqs
11.18/11.26 c (round 45) 705 del vars, 745 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6566 upgd conss, 3353297 impls, 97 clqs
11.29/11.30 c (round 46) 705 del vars, 745 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6567 upgd conss, 3353297 impls, 97 clqs
12.99/13.06 c (round 47) 730 del vars, 745 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6567 upgd conss, 3758767 impls, 97 clqs
12.99/13.07 c (round 48) 730 del vars, 770 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6567 upgd conss, 3758767 impls, 97 clqs
13.78/13.82 c (13.8s) probing: 4000/6370 (62.8%) - 359 fixings, 1 aggregations, 1330844 implications, 0 bound changes
16.99/17.04 c (17.0s) probing: 5000/6370 (78.5%) - 360 fixings, 1 aggregations, 1691613 implications, 0 bound changes
17.68/17.76 c (17.8s) probing: 5211/6370 (81.8%) - 360 fixings, 1 aggregations, 1753742 implications, 0 bound changes
17.68/17.76 c (17.8s) probing aborted: 1000/1000 successive useless probings
17.68/17.76 c (round 49) 741 del vars, 770 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6567 upgd conss, 4774119 impls, 97 clqs
17.68/17.77 c (round 50) 741 del vars, 781 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6567 upgd conss, 4774119 impls, 97 clqs
18.09/18.14 c (18.1s) probing: 5311/6370 (83.4%) - 360 fixings, 1 aggregations, 1781774 implications, 0 bound changes
18.09/18.14 c (18.1s) probing aborted: 1000/1000 successive useless probings
18.09/18.15 c presolving (51 rounds):
18.09/18.15 c 741 deleted vars, 781 deleted constraints, 0 added constraints, 368 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
18.09/18.15 c 4830549 implications, 97 cliques
18.09/18.15 c presolved problem has 5991 variables (5991 bin, 0 int, 0 impl, 0 cont) and 6151 constraints
18.09/18.15 c 1316 constraints of type <setppc>
18.09/18.15 c 4835 constraints of type <logicor>
18.09/18.15 c transformed objective value is always integral (scale: 1)
18.09/18.15 c Presolving Time: 18.10
18.09/18.15 c - non default parameters ----------------------------------------------------------------------
18.09/18.15 c # SCIP version 2.1.1.4
18.09/18.15 c
18.09/18.15 c # maximal time in seconds to run
18.09/18.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
18.09/18.15 c limits/time = 1797
18.09/18.15 c
18.09/18.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
18.09/18.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
18.09/18.15 c limits/memory = 13950
18.09/18.15 c
18.09/18.15 c # default clock type (1: CPU user seconds, 2: wall clock time)
18.09/18.15 c # [type: int, range: [1,2], default: 1]
18.09/18.15 c timing/clocktype = 2
18.09/18.15 c
18.09/18.15 c # belongs reading time to solving time?
18.09/18.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
18.09/18.15 c timing/reading = TRUE
18.09/18.15 c
18.09/18.15 c -----------------------------------------------------------------------------------------------
18.09/18.15 c start solving
18.09/18.15 c
21.58/21.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.58/21.65 c 21.6s| 1 | 0 | 8501 | - | 152M| 0 |1544 |5991 |6202 |5991 |6151 | 0 | 51 | 0 | 0.000000e+00 | -- | Inf
103.58/103.69 c 104s| 1 | 0 | 55111 | - | 153M| 0 |1587 |5991 |6202 |5991 |6353 | 202 | 51 | 0 | 0.000000e+00 | -- | Inf
106.87/106.92 c 107s| 1 | 0 | 59343 | - | 153M| 0 |1747 |5991 |6202 |5991 |6448 | 297 | 51 | 0 | 0.000000e+00 | -- | Inf
110.28/110.31 c 110s| 1 | 0 | 63488 | - | 153M| 0 |1888 |5991 |6202 |5991 |6482 | 331 | 51 | 0 | 0.000000e+00 | -- | Inf
113.47/113.51 c 114s| 1 | 0 | 67216 | - | 153M| 0 |1903 |5991 |6202 |5991 |6510 | 359 | 51 | 0 | 0.000000e+00 | -- | Inf
116.48/116.55 c 117s| 1 | 0 | 70527 | - | 153M| 0 |1962 |5991 |6202 |5991 |6534 | 383 | 51 | 0 | 0.000000e+00 | -- | Inf
119.47/119.56 c 120s| 1 | 0 | 73756 | - | 153M| 0 |2048 |5991 |6202 |5991 |6553 | 402 | 51 | 0 | 0.000000e+00 | -- | Inf
158.86/158.97 c 159s| 1 | 2 | 73756 | - | 153M| 0 |2048 |5991 |6202 |5991 |6553 | 402 | 51 | 30 | 0.000000e+00 | -- | Inf
553.11/553.25 c 553s| 100 | 31 |460974 |3911.3 | 153M| 30 | - |5991 |6210 |5991 |6309 | 402 | 70 | 301 | 0.000000e+00 | -- | Inf
728.97/729.18 c 729s| 200 | 43 |684283 |3068.0 | 154M| 32 | 392 |5991 |6217 |5991 |6309 | 402 | 88 | 397 | 0.000000e+00 | -- | Inf
815.37/815.57 c 816s| 300 | 43 |799182 |2426.2 | 154M| 32 | - |5991 |6217 |5991 |6309 | 402 | 88 | 475 | 0.000000e+00 | -- | Inf
911.35/911.57 c 912s| 400 | 51 |945319 |2184.4 | 154M| 32 | 376 |5991 |6261 |5991 |6309 | 402 | 150 | 539 | 0.000000e+00 | -- | Inf
973.14/973.36 c 973s| 500 | 53 | 1035k|1927.3 | 154M| 32 | 335 |5991 |6269 |5991 |6309 | 402 | 176 | 601 | 0.000000e+00 | -- | Inf
1029.93/1030.13 c 1030s| 600 | 53 | 1123k|1751.9 | 154M| 32 | - |5991 |6284 |5991 |6309 | 402 | 196 | 661 | 0.000000e+00 | -- | Inf
1093.32/1093.58 c 1094s| 700 | 51 | 1220k|1641.2 | 154M| 32 | 317 |5991 |6306 |5991 |6309 | 402 | 221 | 729 | 0.000000e+00 | -- | Inf
1152.31/1152.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1152.31/1152.50 c 1153s| 800 | 53 | 1307k|1544.6 | 154M| 35 | 430 |5991 |6296 |5991 |6309 | 402 | 223 | 789 | 0.000000e+00 | -- | Inf
1223.50/1223.70 c 1224s| 900 | 53 | 1407k|1484.1 | 154M| 35 | 378 |5991 |6348 |5991 |6309 | 402 | 278 | 862 | 0.000000e+00 | -- | Inf
1289.68/1289.98 c 1290s| 1000 | 52 | 1507k|1435.4 | 154M| 35 | 403 |5991 |6345 |5991 |6309 | 402 | 338 | 921 | 0.000000e+00 | -- | Inf
1371.17/1371.48 c 1371s| 1100 | 48 | 1620k|1407.6 | 154M| 35 | - |5991 |6359 |5991 |6309 | 402 | 366 | 994 | 0.000000e+00 | -- | Inf
1510.35/1510.65 c 1511s| 1200 | 52 | 1832k|1467.1 | 154M| 36 | - |5991 |6339 |5991 |6309 | 402 | 366 |1080 | 0.000000e+00 | -- | Inf
1593.55/1593.89 c 1594s| 1300 | 58 | 1971k|1460.6 | 154M| 36 | - |5991 |6311 |5991 |6309 | 402 | 372 |1138 | 0.000000e+00 | -- | Inf
1644.43/1644.80 c 1645s| 1400 | 56 | 2041k|1406.9 | 154M| 37 | - |5991 |6353 |5991 |6309 | 402 | 417 |1195 | 0.000000e+00 | -- | Inf
1712.52/1712.89 c 1713s| 1500 | 55 | 2139k|1378.0 | 154M| 41 | - |5991 |6352 |5991 |6309 | 402 | 468 |1265 | 0.000000e+00 | -- | Inf
1759.91/1760.21 c 1760s| 1600 | 57 | 2204k|1332.8 | 154M| 43 | - |5991 |6372 |5991 |6309 | 402 | 517 |1307 | 0.000000e+00 | -- | Inf
1796.71/1797.00 c
1796.71/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.00 c Solving Time (sec) : 1797.00
1796.71/1797.00 c Solving Nodes : 1647
1796.71/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.71/1797.00 c Dual Bound : +0.00000000000000e+00
1796.71/1797.00 c Gap : infinite
1796.71/1797.00 s UNKNOWN
1796.71/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.00 c Total Time : 1797.00
1796.71/1797.00 c solving : 1797.00
1796.71/1797.00 c presolving : 18.10 (included in solving)
1796.71/1797.00 c reading : 0.03 (included in solving)
1796.71/1797.00 c copying : 0.02 (1 #copies) (minimal 0.02, maximal 0.02, average 0.02)
1796.71/1797.00 c Original Problem :
1796.71/1797.00 c Problem name : HOME/instance-3693046-1338042991.opb
1796.71/1797.00 c Variables : 6732 (6732 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.00 c Constraints : 6932 initial, 6932 maximal
1796.71/1797.00 c Objective sense : minimize
1796.71/1797.00 c Presolved Problem :
1796.71/1797.00 c Problem name : t_HOME/instance-3693046-1338042991.opb
1796.71/1797.00 c Variables : 5991 (5991 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.00 c Constraints : 6151 initial, 6398 maximal
1796.71/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.71/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c trivial : 0.02 0.00 6 0 0 0 0 0 0 0 0
1796.71/1797.00 c dualfix : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c gateextraction : 0.04 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c implics : 0.07 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c components : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c probing : 16.99 0.00 360 1 0 0 0 0 0 0 0
1796.71/1797.00 c setppc : 0.17 0.00 9 0 0 0 0 102 0 0 0
1796.71/1797.00 c linear : 0.14 0.00 362 0 0 362 0 402 0 0 0
1796.71/1797.00 c logicor : 0.60 0.00 3 0 0 6 0 277 0 0 0
1796.71/1797.00 c root node : - - 0 - - 0 - - - - -
1796.71/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.71/1797.00 c integral : 0 0 0 0 898 0 4 0 3 99 0 0 1704
1796.71/1797.00 c setppc : 1316 1316 6 88838 0 1 3 59722 217 52237 0 0 0
1796.71/1797.00 c logicor : 4835+ 5082 6 81625 0 1 0 130174 149 83176 0 0 0
1796.71/1797.00 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1796.71/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.71/1797.00 c integral : 570.62 0.00 0.00 0.00 570.62 0.00 0.00 0.00
1796.71/1797.00 c setppc : 2.19 0.00 0.00 2.13 0.00 0.00 0.00 0.06
1796.71/1797.00 c logicor : 2.85 0.00 0.00 2.68 0.00 0.00 0.00 0.17
1796.71/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.71/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.71/1797.00 c rootredcost : 0 0 0 0
1796.71/1797.00 c pseudoobj : 0 0 0 0
1796.71/1797.00 c vbounds : 0 0 0 0
1796.71/1797.00 c redcost : 904 0 0 0
1796.71/1797.00 c probing : 0 0 0 0
1796.71/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.71/1797.00 c rootredcost : 0.07 0.00 0.00 0.07 0.00
1796.71/1797.00 c pseudoobj : 0.07 0.00 0.00 0.07 0.00
1796.71/1797.00 c vbounds : 0.07 0.00 0.00 0.07 0.00
1796.71/1797.00 c redcost : 0.15 0.00 0.00 0.15 0.00
1796.71/1797.00 c probing : 16.99 0.00 16.99 0.00 0.00
1796.71/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.71/1797.00 c propagation : 0.23 366 91 642 119.3 23 16.2 -
1796.71/1797.00 c infeasible LP : 4.40 750 30 586 293.9 15 7.2 0
1796.71/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.71/1797.00 c applied globally : - - - 551 119.0 - - -
1796.71/1797.00 c applied locally : - - - 0 0.0 - - -
1796.71/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.71/1797.00 c cut pool : 0.00 5 - - 12 - (maximal pool size: 444)
1796.71/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c impliedbounds : 0.14 0.00 6 0 0 580 0
1796.71/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c gomory : 1.40 0.00 6 0 0 0 0
1796.71/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c strongcg : 1.40 0.00 6 0 0 0 0
1796.71/1797.00 c cmir : 0.22 0.00 6 0 0 0 0
1796.71/1797.00 c flowcover : 0.24 0.00 6 0 0 0 0
1796.71/1797.00 c clique : 10.82 0.00 6 0 0 53 0
1796.71/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c mcf : 0.01 0.00 1 0 0 0 0
1796.71/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.71/1797.00 c problem variables: 0.00 - 0 0
1796.71/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.71/1797.00 c relpscost : 570.62 0.00 898 3 99 0 0 1704
1796.71/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c inference : 0.00 0.00 1 0 0 0 0 2
1796.71/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.71/1797.00 c LP solutions : 0.00 - - 0
1796.71/1797.00 c pseudo solutions : 0.00 - - 0
1796.71/1797.00 c oneopt : 0.00 0.00 0 0
1796.71/1797.00 c crossover : 0.00 0.00 0 0
1796.71/1797.00 c guideddiving : 0.00 0.00 0 0
1796.71/1797.00 c intshifting : 0.00 0.00 0 0
1796.71/1797.00 c coefdiving : 58.65 0.00 2 0
1796.71/1797.00 c pscostdiving : 42.19 0.00 2 0
1796.71/1797.00 c veclendiving : 49.56 0.00 2 0
1796.71/1797.00 c linesearchdiving : 6.17 0.00 2 0
1796.71/1797.00 c feaspump : 68.43 0.00 1 0
1796.71/1797.00 c fracdiving : 40.38 0.00 3 0
1796.71/1797.00 c objpscostdiving : 55.94 0.00 2 0
1796.71/1797.00 c rootsoldiving : 34.66 0.00 2 0
1796.71/1797.00 c smallcard : 0.00 0.00 0 0
1796.71/1797.00 c trivial : 0.01 0.00 2 0
1796.71/1797.00 c shiftandpropagate: 0.13 0.00 1 0
1796.71/1797.00 c simplerounding : 0.00 0.00 0 0
1796.71/1797.00 c zirounding : 0.11 0.00 0 0
1796.71/1797.00 c rounding : 0.15 0.00 377 0
1796.71/1797.00 c shifting : 0.19 0.00 72 0
1796.71/1797.00 c twoopt : 0.00 0.00 0 0
1796.71/1797.00 c indoneopt : 0.00 0.00 0 0
1796.71/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.71/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.71/1797.00 c clique : 0.00 0.00 0 0
1796.71/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.71/1797.00 c indrounding : 0.00 0.00 0 0
1796.71/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.71/1797.00 c intdiving : 0.00 0.00 0 0
1796.71/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.71/1797.00 c octane : 0.00 0.00 0 0
1796.71/1797.00 c rens : 16.17 0.00 1 0
1796.71/1797.00 c rins : 0.00 0.00 0 0
1796.71/1797.00 c localbranching : 0.00 0.00 0 0
1796.71/1797.00 c mutation : 0.00 0.00 0 0
1796.71/1797.00 c dins : 0.00 0.00 0 0
1796.71/1797.00 c vbounds : 0.00 0.00 0 0
1796.71/1797.00 c undercover : 0.00 0.00 0 0
1796.71/1797.00 c subnlp : 0.00 0.00 0 0
1796.71/1797.00 c trysol : 0.00 0.00 0 0
1796.71/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.71/1797.00 c primal LP : 0.01 1 0 0.00 0.00 0.01 1
1796.71/1797.00 c dual LP : 813.72 1634 1728152 1060.87 2123.76 0.05 5
1796.71/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.71/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.71/1797.00 c diving/probing LP: 352.39 1722 522583 303.47 1482.95
1796.71/1797.00 c strong branching : 570.42 1349 1023035 758.37 1793.48
1796.71/1797.00 c (at root node) : - 30 30000 1000.00 -
1796.71/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.71/1797.00 c B&B Tree :
1796.71/1797.00 c number of runs : 1
1796.71/1797.00 c nodes : 1647
1796.71/1797.00 c nodes (total) : 1647
1796.71/1797.00 c nodes left : 58
1796.71/1797.00 c max depth : 43
1796.71/1797.00 c max depth (total): 43
1796.71/1797.00 c backtracks : 229 (13.9%)
1796.71/1797.00 c delayed cutoffs : 2
1796.71/1797.00 c repropagations : 638 (803 domain reductions, 1 cutoffs)
1796.71/1797.00 c avg switch length: 3.02
1796.71/1797.00 c switching time : 0.60
1796.71/1797.00 c Solution :
1796.71/1797.00 c Solutions found : 0 (0 improvements)
1796.71/1797.00 c Primal Bound : -
1796.71/1797.00 c Dual Bound : +0.00000000000000e+00
1796.71/1797.00 c Gap : infinite
1796.71/1797.00 c Root Dual Bound : +0.00000000000000e+00
1796.71/1797.00 c Root Iterations : 73756
1796.71/1797.08 c Time complete: 1796.8.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3693046-1338042991/watcher-3693046-1338042991 -o /tmp/evaluation-result-3693046-1338042991/solver-3693046-1338042991 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693046-1338042991.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.02 2.01 2.00 3/176 9585
/proc/meminfo: memFree=27807192/32873844 swapFree=7616/7616
[pid=9585] ppid=9583 vsize=11160 CPUtime=0 cores=1,3,5,7
/proc/9585/stat : 9585 (scip-2.1.1.4sfi) R 9583 9585 5654 0 -1 4202496 1491 0 0 0 0 0 0 0 20 0 1 0 270424695 11427840 1446 33554432000 4194304 10169799 140735588828160 140735136925048 7543003 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9585/statm: 2790 1461 409 1459 0 1322 0
[startup+0.0750041 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 9585
/proc/meminfo: memFree=27807192/32873844 swapFree=7616/7616
[pid=9585] ppid=9583 vsize=39292 CPUtime=0.06 cores=1,3,5,7
/proc/9585/stat : 9585 (scip-2.1.1.4sfi) R 9583 9585 5654 0 -1 4202496 8318 0 0 0 6 0 0 0 20 0 1 0 270424695 40235008 8273 33554432000 4194304 10169799 140735588828160 140735136925048 7546690 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9585/statm: 9823 8273 497 1459 0 8355 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 39292
[startup+0.10038 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 9585
/proc/meminfo: memFree=27807192/32873844 swapFree=7616/7616
[pid=9585] ppid=9583 vsize=41208 CPUtime=0.09 cores=1,3,5,7
/proc/9585/stat : 9585 (scip-2.1.1.4sfi) R 9583 9585 5654 0 -1 4202496 8723 0 0 0 8 1 0 0 20 0 1 0 270424695 42196992 8678 33554432000 4194304 10169799 140735588828160 140735136925048 8961143 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9585/statm: 10302 8678 544 1459 0 8834 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 41208
[startup+0.300316 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 9585
/proc/meminfo: memFree=27807192/32873844 swapFree=7616/7616
[pid=9585] ppid=9583 vsize=50232 CPUtime=0.29 cores=1,3,5,7
/proc/9585/stat : 9585 (scip-2.1.1.4sfi) R 9583 9585 5654 0 -1 4202496 11437 0 0 0 20 9 0 0 20 0 1 0 270424695 51437568 10947 33554432000 4194304 10169799 140735588828160 140735136925048 8961143 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9585/statm: 12558 10947 573 1459 0 11090 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50232
[startup+0.700318 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 9585
/proc/meminfo: memFree=27807192/32873844 swapFree=7616/7616
[pid=9585] ppid=9583 vsize=87748 CPUtime=0.69 cores=1,3,5,7
/proc/9585/stat : 9585 (scip-2.1.1.4sfi) R 9583 9585 5654 0 -1 4202496 20337 0 0 0 58 11 0 0 20 0 1 0 270424695 89853952 19847 33554432000 4194304 10169799 140735588828160 140735136925048 5868642 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9585/statm: 21937 19847 596 1459 0 20469 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 87748
[startup+1.50035 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 9586
/proc/meminfo: memFree=27724484/32873844 swapFree=7616/7616
[pid=9585] ppid=9583 vsize=105720 CPUtime=1.48 cores=1,3,5,7
/proc/9585/stat : 9585 (scip-2.1.1.4sfi) R 9583 9585 5654 0 -1 4202496 24464 0 0 0 137 11 0 0 20 0 1 0 270424695 108257280 23974 33554432000 4194304 10169799 140735588828160 140735588824424 8961143 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9585/statm: 26430 23974 596 1459 0 24962 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 105720
[startup+3.10032 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 9586
/proc/meminfo: memFree=27702472/32873844 swapFree=7616/7616
[pid=9585] ppid=9583 vsize=137996 CPUtime=3.09 cores=1,3,5,7
/proc/9585/stat : 9585 (scip-2.1.1.4sfi) R 9583 9585 5654 0 -1 4202496 32364 0 0 0 290 19 0 0 20 0 1 0 270424695 141307904 31874 33554432000 4194304 10169799 140735588828160 140735588825672 6916923 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9585/statm: 34499 31874 601 1459 0 33031 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 137996
[startup+6.30033 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 9586
/proc/meminfo: memFree=27651208/32873844 swapFree=7616/7616
[pid=9585] ppid=9583 vsize=182944 CPUtime=6.29 cores=1,3,5,7
/proc/9585/stat : 9585 (scip-2.1.1.4sfi) R 9583 9585 5654 0 -1 4202496 43488 0 0 0 584 45 0 0 20 0 1 0 270424695 187334656 42998 33554432000 4194304 10169799 140735588828160 140735588825688 8961143 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9585/statm: 45736 42998 605 1459 0 44268 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 182944
[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 9586
/proc/meminfo: memFree=27579524/32873844 swapFree=7616/7616
[pid=9585] ppid=9583 vsize=245304 CPUtime=12.69 cores=1,3,5,7
/proc/9585/stat : 9585 (scip-2.1.1.4sfi) R 9583 9585 5654 0 -1 4202496 59021 0 0 0 1192 77 0 0 20 0 1 0 270424695 251191296 58531 33554432000 4194304 10169799 140735588828160 140735588825672 8961143 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9585/statm: 61326 58531 605 1459 0 59858 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 245304
[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 9586
/proc/meminfo: memFree=27511440/32873844 swapFree=7616/7616
[pid=9585] ppid=9583 vsize=308352 CPUtime=25.49 cores=1,3,5,7
/proc/9585/stat : 9585 (scip-2.1.1.4sfi) R 9583 9585 5654 0 -1 4202496 76135 0 0 0 2441 108 0 0 20 0 1 0 270424695 315752448 74468 33554432000 4194304 10169799 140735588828160 140735588820472 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9585/statm: 77088 74468 773 1459 0 75620 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 308352
[startup+51.1003 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 9586
/proc/meminfo: memFree=27628700/32873844 swapFree=7616/7616
[pid=9585] ppid=9583 vsize=308492 CPUtime=51.09 cores=1,3,5,7
/proc/9585/stat : 9585 (scip-2.1.1.4sfi) R 9583 9585 5654 0 -1 4202496 76814 0 0 0 4997 112 0 0 20 0 1 0 270424695 315895808 74692 33554432000 4194304 10169799 140735588828160 140735588820376 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9585/statm: 77123 74692 776 1459 0 75655 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 308492
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9586
/proc/meminfo: memFree=27603556/32873844 swapFree=7616/7616
[pid=9585] ppid=9583 vsize=330724 CPUtime=102.28 cores=1,3,5,7
/proc/9585/stat : 9585 (scip-2.1.1.4sfi) R 9583 9585 5654 0 -1 4202496 82822 0 0 0 9943 285 0 0 20 0 1 0 270424695 338661376 80316 33554432000 4194304 10169799 140735588828160 140735588822616 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9585/statm: 82681 80316 803 1459 0 81213 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 330724
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9586
/proc/meminfo: memFree=27570184/32873844 swapFree=7616/7616
[pid=9585] ppid=9583 vsize=329232 CPUtime=162.26 cores=1,3,5,7
/proc/9585/stat : 9585 (scip-2.1.1.4sfi) R 9583 9585 5654 0 -1 4202496 92451 0 0 0 15910 316 0 0 20 0 1 0 270424695 337133568 79885 33554432000 4194304 10169799 140735588828160 140735588822856 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9585/statm: 82308 79885 845 1459 0 80840 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 329232
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9589
/proc/meminfo: memFree=27603952/32873844 swapFree=7616/7616
[pid=9585] ppid=9583 vsize=329232 CPUtime=222.26 cores=1,3,5,7
/proc/9585/stat : 9585 (scip-2.1.1.4sfi) R 9583 9585 5654 0 -1 4202496 92471 0 0 0 21896 330 0 0 20 0 1 0 270424695 337133568 79905 33554432000 4194304 10169799 140735588828160 140735588822024 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9585/statm: 82308 79905 845 1459 0 80840 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 329232
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9590
/proc/meminfo: memFree=27593128/32873844 swapFree=7616/7616
[pid=9585] ppid=9583 vsize=330400 CPUtime=282.24 cores=1,3,5,7
/proc/9585/stat : 9585 (scip-2.1.1.4sfi) R 9583 9585 5654 0 -1 4202496 92834 0 0 0 27881 343 0 0 20 0 1 0 270424695 338329600 80268 33554432000 4194304 10169799 140735588828160 140735588822856 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9585/statm: 82600 80268 846 1459 0 81132 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 330400
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9590
/proc/meminfo: memFree=27550528/32873844 swapFree=7616/7616
[pid=9585] ppid=9583 vsize=331460 CPUtime=342.24 cores=1,3,5,7
/proc/9585/stat : 9585 (scip-2.1.1.4sfi) R 9583 9585 5654 0 -1 4202496 93101 0 0 0 33868 356 0 0 20 0 1 0 270424695 339415040 80535 33554432000 4194304 10169799 140735588828160 140735588822664 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9585/statm: 82865 80535 846 1459 0 81397 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 331460
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9590
/proc/meminfo: memFree=27546832/32873844 swapFree=7616/7616
[pid=9585] ppid=9583 vsize=331460 CPUtime=402.23 cores=1,3,5,7
/proc/9585/stat : 9585 (scip-2.1.1.4sfi) R 9583 9585 5654 0 -1 4202496 93101 0 0 0 39855 368 0 0 20 0 1 0 270424695 339415040 80535 33554432000 4194304 10169799 140735588828160 140735588822328 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9585/statm: 82865 80535 846 1459 0 81397 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 331460
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9590
/proc/meminfo: memFree=27594112/32873844 swapFree=7616/7616
[pid=9585] ppid=9583 vsize=333184 CPUtime=462.22 cores=1,3,5,7
/proc/9585/stat : 9585 (scip-2.1.1.4sfi) R 9583 9585 5654 0 -1 4202496 93531 0 0 0 45838 384 0 0 20 0 1 0 270424695 341180416 80965 33554432000 4194304 10169799 140735588828160 140735588822232 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9585/statm: 83296 80965 846 1459 0 81828 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 333184
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9590
/proc/meminfo: memFree=27554328/32873844 swapFree=7616/7616
[pid=9585] ppid=9583 vsize=333184 CPUtime=522.21 cores=1,3,5,7
/proc/9585/stat : 9585 (scip-2.1.1.4sfi) R 9583 9585 5654 0 -1 4202496 93531 0 0 0 51820 401 0 0 20 0 1 0 270424695 341180416 80965 33554432000 4194304 10169799 140735588828160 140735588822664 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9585/statm: 83296 80965 846 1459 0 81828 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 333184
[startup+582.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 9591
/proc/meminfo: memFree=27580752/32873844 swapFree=7616/7616
[pid=9585] ppid=9583 vsize=333184 CPUtime=582.2 cores=1,3,5,7
/proc/9585/stat : 9585 (scip-2.1.1.4sfi) R 9583 9585 5654 0 -1 4202496 93531 0 0 0 57799 421 0 0 20 0 1 0 270424695 341180416 80965 33554432000 4194304 10169799 140735588828160 140735588822664 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9585/statm: 83296 80965 846 1459 0 81828 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 333184
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27539776/32873844 swapFree=7616/7616
[pid=9585] ppid=9583 vsize=333184 CPUtime=1122.11 cores=1,3,5,7
/proc/9585/stat : 9585 (scip-2.1.1.4sfi) R 9583 9585 5654 0 -1 4202496 93542 0 0 0 111575 636 0 0 20 0 1 0 270424695 341180416 82537 33554432000 4194304 10169799 140735588828160 140735588822568 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9585/statm: 83296 82537 846 1459 0 81828 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 333184
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9596
/proc/meminfo: memFree=27580852/32873844 swapFree=7616/7616
[pid=9585] ppid=9583 vsize=333184 CPUtime=1182.1 cores=1,3,5,7
/proc/9585/stat : 9585 (scip-2.1.1.4sfi) R 9583 9585 5654 0 -1 4202496 93542 0 0 0 117552 658 0 0 20 0 1 0 270424695 341180416 82537 33554432000 4194304 10169799 140735588828160 140735588822568 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9585/statm: 83296 82537 846 1459 0 81828 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 333184
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9596
/proc/meminfo: memFree=27567512/32873844 swapFree=7616/7616
[pid=9585] ppid=9583 vsize=333184 CPUtime=1242.1 cores=1,3,5,7
/proc/9585/stat : 9585 (scip-2.1.1.4sfi) R 9583 9585 5654 0 -1 4202496 93542 0 0 0 123526 684 0 0 20 0 1 0 270424695 341180416 82537 33554432000 4194304 10169799 140735588828160 140735588822952 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9585/statm: 83296 82537 846 1459 0 81828 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 333184
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9596
/proc/meminfo: memFree=27473252/32873844 swapFree=7616/7616
[pid=9585] ppid=9583 vsize=333184 CPUtime=1302.09 cores=1,3,5,7
/proc/9585/stat : 9585 (scip-2.1.1.4sfi) R 9583 9585 5654 0 -1 4202496 93542 0 0 0 129494 715 0 0 20 0 1 0 270424695 341180416 82537 33554432000 4194304 10169799 140735588828160 140735588821832 8009442 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9585/statm: 83296 82537 846 1459 0 81828 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 333184
[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 9596
/proc/meminfo: memFree=27498372/32873844 swapFree=7616/7616
[pid=9585] ppid=9583 vsize=333184 CPUtime=1362.08 cores=1,3,5,7
/proc/9585/stat : 9585 (scip-2.1.1.4sfi) R 9583 9585 5654 0 -1 4202496 93542 0 0 0 135463 745 0 0 20 0 1 0 270424695 341180416 82537 33554432000 4194304 10169799 140735588828160 140735588822616 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9585/statm: 83296 82537 846 1459 0 81828 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 333184
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 9599
/proc/meminfo: memFree=27581716/32873844 swapFree=7616/7616
[pid=9585] ppid=9583 vsize=333184 CPUtime=1422.08 cores=1,3,5,7
/proc/9585/stat : 9585 (scip-2.1.1.4sfi) R 9583 9585 5654 0 -1 4202496 93542 0 0 0 141440 768 0 0 20 0 1 0 270424695 341180416 82537 33554432000 4194304 10169799 140735588828160 140735588822584 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9585/statm: 83296 82537 846 1459 0 81828 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 333184
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9623
/proc/meminfo: memFree=27523916/32873844 swapFree=7616/7616
[pid=9585] ppid=9583 vsize=333184 CPUtime=1482.06 cores=1,3,5,7
/proc/9585/stat : 9585 (scip-2.1.1.4sfi) R 9583 9585 5654 0 -1 4202496 93542 0 0 0 147413 793 0 0 20 0 1 0 270424695 341180416 82537 33554432000 4194304 10169799 140735588828160 140735588822616 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9585/statm: 83296 82537 846 1459 0 81828 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 333184
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9623
/proc/meminfo: memFree=27481436/32873844 swapFree=7616/7616
[pid=9585] ppid=9583 vsize=333184 CPUtime=1542.05 cores=1,3,5,7
/proc/9585/stat : 9585 (scip-2.1.1.4sfi) R 9583 9585 5654 0 -1 4202496 93542 0 0 0 153394 811 0 0 20 0 1 0 270424695 341180416 82537 33554432000 4194304 10169799 140735588828160 140735588822568 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9585/statm: 83296 82537 846 1459 0 81828 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 333184
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9623
/proc/meminfo: memFree=27481560/32873844 swapFree=7616/7616
[pid=9585] ppid=9583 vsize=333184 CPUtime=1602.04 cores=1,3,5,7
/proc/9585/stat : 9585 (scip-2.1.1.4sfi) R 9583 9585 5654 0 -1 4202496 93542 0 0 0 159372 832 0 0 20 0 1 0 270424695 341180416 82537 33554432000 4194304 10169799 140735588828160 140735588822568 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9585/statm: 83296 82537 846 1459 0 81828 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 333184
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9623
/proc/meminfo: memFree=27559724/32873844 swapFree=7616/7616
[pid=9585] ppid=9583 vsize=333184 CPUtime=1662.03 cores=1,3,5,7
/proc/9585/stat : 9585 (scip-2.1.1.4sfi) R 9583 9585 5654 0 -1 4202496 93542 0 0 0 165342 861 0 0 20 0 1 0 270424695 341180416 82537 33554432000 4194304 10169799 140735588828160 140735588822664 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9585/statm: 83296 82537 846 1459 0 81828 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 333184
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9623
/proc/meminfo: memFree=27537764/32873844 swapFree=7616/7616
[pid=9585] ppid=9583 vsize=333184 CPUtime=1722.02 cores=1,3,5,7
/proc/9585/stat : 9585 (scip-2.1.1.4sfi) R 9583 9585 5654 0 -1 4202496 93542 0 0 0 171315 887 0 0 20 0 1 0 270424695 341180416 82537 33554432000 4194304 10169799 140735588828160 140735588822568 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9585/statm: 83296 82537 846 1459 0 81828 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 333184
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 9631
/proc/meminfo: memFree=28752032/32873844 swapFree=7616/7616
[pid=9585] ppid=9583 vsize=333184 CPUtime=1782.02 cores=1,3,5,7
/proc/9585/stat : 9585 (scip-2.1.1.4sfi) R 9583 9585 5654 0 -1 4202496 93542 0 0 0 177286 916 0 0 20 0 1 0 270424695 341180416 82537 33554432000 4194304 10169799 140735588828160 140735588822808 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9585/statm: 83296 82537 846 1459 0 81828 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 333184
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9662
/proc/meminfo: memFree=28615916/32873844 swapFree=7616/7616
[pid=9585] ppid=9583 vsize=333184 CPUtime=1785.22 cores=1,3,5,7
/proc/9585/stat : 9585 (scip-2.1.1.4sfi) R 9583 9585 5654 0 -1 4202496 93542 0 0 0 177605 917 0 0 20 0 1 0 270424695 341180416 82537 33554432000 4194304 10169799 140735588828160 140735588822568 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9585/statm: 83296 82537 846 1459 0 81828 0
Current children cumulated CPU time (s) 1785.22
Current children cumulated vsize (KiB) 333184
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9662
/proc/meminfo: memFree=28481492/32873844 swapFree=7616/7616
[pid=9585] ppid=9583 vsize=333184 CPUtime=1791.61 cores=1,3,5,7
/proc/9585/stat : 9585 (scip-2.1.1.4sfi) R 9583 9585 5654 0 -1 4202496 93542 0 0 0 178242 919 0 0 20 0 1 0 270424695 341180416 82537 33554432000 4194304 10169799 140735588828160 140735588822664 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9585/statm: 83296 82537 846 1459 0 81828 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 333184
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9662
/proc/meminfo: memFree=28457816/32873844 swapFree=7616/7616
[pid=9585] ppid=9583 vsize=333184 CPUtime=1794.82 cores=1,3,5,7
/proc/9585/stat : 9585 (scip-2.1.1.4sfi) R 9583 9585 5654 0 -1 4202496 93542 0 0 0 178561 921 0 0 20 0 1 0 270424695 341180416 82537 33554432000 4194304 10169799 140735588828160 140735588822440 7907760 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9585/statm: 83296 82537 846 1459 0 81828 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (KiB) 333184
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9662
/proc/meminfo: memFree=28457816/32873844 swapFree=7616/7616
[pid=9585] ppid=9583 vsize=333184 CPUtime=1795.61 cores=1,3,5,7
/proc/9585/stat : 9585 (scip-2.1.1.4sfi) R 9583 9585 5654 0 -1 4202496 93542 0 0 0 178640 921 0 0 20 0 1 0 270424695 341180416 82537 33554432000 4194304 10169799 140735588828160 140735588823144 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9585/statm: 83296 82537 846 1459 0 81828 0
Current children cumulated CPU time (s) 1795.61
Current children cumulated vsize (KiB) 333184
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9662
/proc/meminfo: memFree=28437356/32873844 swapFree=7616/7616
[pid=9585] ppid=9583 vsize=333184 CPUtime=1796.41 cores=1,3,5,7
/proc/9585/stat : 9585 (scip-2.1.1.4sfi) R 9583 9585 5654 0 -1 4202496 93542 0 0 0 178720 921 0 0 20 0 1 0 270424695 341180416 82537 33554432000 4194304 10169799 140735588828160 140735588823144 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9585/statm: 83296 82537 846 1459 0 81828 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 333184
[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9662
/proc/meminfo: memFree=28437356/32873844 swapFree=7616/7616
[pid=9585] ppid=9583 vsize=333184 CPUtime=1796.61 cores=1,3,5,7
/proc/9585/stat : 9585 (scip-2.1.1.4sfi) R 9583 9585 5654 0 -1 4202496 93542 0 0 0 178740 921 0 0 20 0 1 0 270424695 341180416 82537 33554432000 4194304 10169799 140735588828160 140735588823144 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9585/statm: 83296 82537 846 1459 0 81828 0
Current children cumulated CPU time (s) 1796.61
Current children cumulated vsize (KiB) 333184
[startup+1797 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9662
/proc/meminfo: memFree=28437356/32873844 swapFree=7616/7616
[pid=9585] ppid=9583 vsize=333184 CPUtime=1796.71 cores=1,3,5,7
/proc/9585/stat : 9585 (scip-2.1.1.4sfi) R 9583 9585 5654 0 -1 4202496 93542 0 0 0 178750 921 0 0 20 0 1 0 270424695 341180416 82537 33554432000 4194304 10169799 140735588828160 140735588823144 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9585/statm: 83296 82537 846 1459 0 81828 0
Current children cumulated CPU time (s) 1796.71
Current children cumulated vsize (KiB) 333184
Child status: 0
Real time (s): 1797.08
CPU time (s): 1796.8
CPU user time (s): 1787.58
CPU system time (s): 9.2206
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 369860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.58
system time used= 9.2206
maximum resident set size= 359220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93546
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= 14
involuntary context switches= 1851
runsolver used 3.00854 second user time and 8.06177 second system time
The end