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-3692983-1338045556.opb>
0.00/0.02 c original problem has 4235 variables (4235 bin, 0 int, 0 impl, 0 cont) and 4391 constraints
0.00/0.02 c problem read in 0.02
0.00/0.05 c presolving:
0.00/0.06 c (round 1) 2 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7220 impls, 77 clqs
0.00/0.07 c (round 2) 165 del vars, 16 del conss, 0 add conss, 165 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7220 impls, 74 clqs
0.00/0.07 c (round 3) 230 del vars, 187 del conss, 0 add conss, 230 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7266 impls, 73 clqs
0.00/0.07 c (round 4) 293 del vars, 251 del conss, 0 add conss, 292 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8100 impls, 73 clqs
0.00/0.07 c (round 5) 345 del vars, 303 del conss, 0 add conss, 344 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8970 impls, 73 clqs
0.00/0.08 c (round 6) 379 del vars, 337 del conss, 0 add conss, 378 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10100 impls, 73 clqs
0.00/0.08 c (round 7) 406 del vars, 364 del conss, 0 add conss, 405 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10684 impls, 73 clqs
0.07/0.08 c (round 8) 426 del vars, 384 del conss, 0 add conss, 425 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 11132 impls, 73 clqs
0.07/0.08 c (round 9) 443 del vars, 401 del conss, 0 add conss, 442 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 11530 impls, 73 clqs
0.07/0.08 c (round 10) 451 del vars, 409 del conss, 0 add conss, 450 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 11592 impls, 73 clqs
0.07/0.09 c (round 11) 455 del vars, 413 del conss, 0 add conss, 454 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 11638 impls, 73 clqs
0.07/0.09 c (round 12) 456 del vars, 414 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 11668 impls, 73 clqs
0.09/0.13 c (round 13) 456 del vars, 487 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3831 upgd conss, 11674 impls, 73 clqs
0.09/0.14 c (round 14) 456 del vars, 487 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3904 upgd conss, 11674 impls, 73 clqs
0.68/0.78 c (round 15) 481 del vars, 487 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3904 upgd conss, 351814 impls, 73 clqs
0.68/0.79 c (round 16) 481 del vars, 512 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3904 upgd conss, 351814 impls, 73 clqs
1.39/1.42 c (round 17) 506 del vars, 512 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3904 upgd conss, 853394 impls, 73 clqs
1.39/1.42 c (round 18) 506 del vars, 537 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3904 upgd conss, 853410 impls, 73 clqs
1.39/1.44 c (round 19) 506 del vars, 537 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3906 upgd conss, 853410 impls, 73 clqs
1.39/1.47 c (round 20) 531 del vars, 537 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3906 upgd conss, 865370 impls, 73 clqs
1.39/1.48 c (round 21) 532 del vars, 563 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3906 upgd conss, 865466 impls, 73 clqs
1.39/1.49 c (round 22) 532 del vars, 563 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3915 upgd conss, 865466 impls, 73 clqs
1.49/1.53 c (round 23) 558 del vars, 563 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3915 upgd conss, 882687 impls, 73 clqs
1.49/1.53 c (round 24) 558 del vars, 589 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3915 upgd conss, 883161 impls, 73 clqs
1.49/1.55 c (round 25) 558 del vars, 589 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3937 upgd conss, 883161 impls, 73 clqs
1.59/1.60 c (round 26) 583 del vars, 589 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3937 upgd conss, 885825 impls, 73 clqs
1.59/1.61 c (round 27) 583 del vars, 614 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3937 upgd conss, 885825 impls, 73 clqs
1.59/1.65 c (round 28) 608 del vars, 614 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3937 upgd conss, 885825 impls, 73 clqs
1.59/1.65 c (round 29) 608 del vars, 639 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3937 upgd conss, 885825 impls, 73 clqs
1.59/1.68 c (round 30) 633 del vars, 639 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3937 upgd conss, 889839 impls, 73 clqs
1.59/1.68 c (round 31) 634 del vars, 665 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3937 upgd conss, 889945 impls, 73 clqs
1.69/1.70 c (round 32) 634 del vars, 665 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3945 upgd conss, 889945 impls, 73 clqs
1.69/1.72 c (round 33) 659 del vars, 665 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3945 upgd conss, 889945 impls, 73 clqs
1.69/1.72 c (round 34) 667 del vars, 698 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3945 upgd conss, 890121 impls, 73 clqs
1.69/1.74 c (round 35) 667 del vars, 698 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3952 upgd conss, 890121 impls, 73 clqs
1.99/2.05 c (2.1s) probing: 1000/3779 (26.5%) - 211 fixings, 6 aggregations, 209893 implications, 1 bound changes
2.09/2.18 c (round 36) 692 del vars, 698 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3952 upgd conss, 1039297 impls, 73 clqs
2.09/2.18 c (round 37) 692 del vars, 723 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3952 upgd conss, 1039353 impls, 73 clqs
2.09/2.20 c (round 38) 692 del vars, 723 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3953 upgd conss, 1039353 impls, 73 clqs
2.20/2.22 c (round 39) 717 del vars, 723 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3953 upgd conss, 1041853 impls, 73 clqs
2.20/2.23 c (round 40) 720 del vars, 751 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3953 upgd conss, 1041889 impls, 73 clqs
2.20/2.24 c (round 41) 720 del vars, 751 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3958 upgd conss, 1041889 impls, 73 clqs
3.39/3.42 c (round 42) 745 del vars, 751 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3958 upgd conss, 1465713 impls, 73 clqs
3.39/3.43 c (round 43) 746 del vars, 777 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3958 upgd conss, 1465717 impls, 73 clqs
3.39/3.44 c (round 44) 746 del vars, 777 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3960 upgd conss, 1465717 impls, 73 clqs
3.39/3.46 c (3.5s) probing: 2000/3779 (52.9%) - 272 fixings, 6 aggregations, 440280 implications, 1 bound changes
4.40/4.48 c (round 45) 771 del vars, 777 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3960 upgd conss, 1831933 impls, 73 clqs
4.40/4.49 c (round 46) 771 del vars, 802 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3960 upgd conss, 1831933 impls, 73 clqs
4.99/5.01 c (round 47) 796 del vars, 802 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3960 upgd conss, 2015009 impls, 73 clqs
5.09/5.19 c (round 48) 796 del vars, 827 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3960 upgd conss, 2015015 impls, 73 clqs
5.09/5.19 c (round 49) 796 del vars, 827 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3963 upgd conss, 2015015 impls, 73 clqs
5.19/5.25 c (5.3s) probing: 3000/3779 (79.4%) - 325 fixings, 6 aggregations, 750699 implications, 1 bound changes
6.49/6.56 c (6.6s) probing cycle finished: starting next cycle
6.59/6.63 c (6.6s) probing: 51/3434 (1.5%) - 325 fixings, 6 aggregations, 924237 implications, 1 bound changes
6.59/6.63 c (6.6s) probing aborted: 50/50 successive totally useless probings
6.59/6.63 c (round 50) 801 del vars, 827 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3963 upgd conss, 2446835 impls, 73 clqs
6.59/6.63 c (round 51) 801 del vars, 832 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3963 upgd conss, 2446835 impls, 73 clqs
6.59/6.66 c (6.7s) probing: 56/3434 (1.6%) - 325 fixings, 6 aggregations, 924237 implications, 1 bound changes
6.59/6.66 c (6.7s) probing aborted: 50/50 successive totally useless probings
6.59/6.66 c presolving (52 rounds):
6.59/6.66 c 801 deleted vars, 832 deleted constraints, 0 added constraints, 456 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
6.59/6.66 c 2446835 implications, 73 cliques
6.59/6.66 c presolved problem has 3434 variables (3434 bin, 0 int, 0 impl, 0 cont) and 3559 constraints
6.59/6.66 c 726 constraints of type <setppc>
6.59/6.66 c 2833 constraints of type <logicor>
6.59/6.66 c transformed objective value is always integral (scale: 1)
6.59/6.66 c Presolving Time: 6.63
6.59/6.66 c - non default parameters ----------------------------------------------------------------------
6.59/6.66 c # SCIP version 2.1.1.4
6.59/6.66 c
6.59/6.66 c # maximal time in seconds to run
6.59/6.66 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.59/6.66 c limits/time = 1797
6.59/6.66 c
6.59/6.66 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
6.59/6.66 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.59/6.66 c limits/memory = 13950
6.59/6.66 c
6.59/6.66 c # default clock type (1: CPU user seconds, 2: wall clock time)
6.59/6.66 c # [type: int, range: [1,2], default: 1]
6.59/6.66 c timing/clocktype = 2
6.59/6.66 c
6.59/6.66 c # belongs reading time to solving time?
6.59/6.66 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.59/6.66 c timing/reading = TRUE
6.59/6.66 c
6.59/6.66 c -----------------------------------------------------------------------------------------------
6.59/6.66 c start solving
6.59/6.66 c
7.99/8.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.99/8.06 c 8.1s| 1 | 0 | 5414 | - | 78M| 0 | 921 |3434 |3575 |3434 |3559 | 0 | 16 | 0 | 0.000000e+00 | -- | Inf
32.18/32.21 c 32.2s| 1 | 0 | 35277 | - | 78M| 0 |1079 |3434 |3575 |3434 |3617 | 58 | 16 | 0 | 0.000000e+00 | -- | Inf
33.18/33.28 c 33.3s| 1 | 0 | 36939 | - | 79M| 0 |1128 |3434 |3575 |3434 |3674 | 115 | 16 | 0 | 0.000000e+00 | -- | Inf
34.69/34.73 c 34.7s| 1 | 0 | 39877 | - | 79M| 0 |1197 |3434 |3575 |3434 |3702 | 143 | 16 | 0 | 0.000000e+00 | -- | Inf
35.58/35.60 c 35.6s| 1 | 0 | 41252 | - | 79M| 0 |1274 |3434 |3575 |3434 |3730 | 171 | 16 | 0 | 0.000000e+00 | -- | Inf
36.89/36.93 c 36.9s| 1 | 0 | 43700 | - | 79M| 0 |1306 |3434 |3575 |3434 |3745 | 186 | 16 | 0 | 0.000000e+00 | -- | Inf
37.98/38.02 c 38.0s| 1 | 0 | 45485 | - | 79M| 0 |1281 |3434 |3575 |3434 |3768 | 209 | 16 | 0 | 0.000000e+00 | -- | Inf
53.18/53.26 c 53.3s| 1 | 2 | 45485 | - | 79M| 0 |1281 |3434 |3575 |3434 |3768 | 209 | 16 | 18 | 0.000000e+00 | -- | Inf
201.85/201.90 c 202s| 100 | 17 |216670 |1729.1 | 79M| 44 | 543 |3434 |3604 |3434 |3686 | 209 | 46 | 270 | 0.000000e+00 | -- | Inf
261.94/262.04 c 262s| 200 | 17 |328170 |1420.5 | 79M| 47 | - |3434 |3635 |3434 |3686 | 209 | 77 | 350 | 0.000000e+00 | -- | Inf
316.54/316.68 c 317s| 300 | 23 |441446 |1324.3 | 79M| 47 | 528 |3434 |3665 |3434 |3686 | 209 | 110 | 414 | 0.000000e+00 | -- | Inf
354.33/354.46 c 354s| 400 | 23 |517318 |1182.5 | 79M| 47 | 467 |3434 |3698 |3434 |3686 | 209 | 145 | 462 | 0.000000e+00 | -- | Inf
393.33/393.45 c 393s| 500 | 23 |599354 |1110.0 | 79M| 47 | 468 |3434 |3734 |3434 |3686 | 209 | 182 | 508 | 0.000000e+00 | -- | Inf
433.92/434.02 c 434s| 600 | 25 |676211 |1053.0 | 79M| 47 | 395 |3434 |3776 |3434 |3686 | 209 | 226 | 568 | 0.000000e+00 | -- | Inf
481.81/481.91 c 482s| 700 | 25 |771236 |1038.3 | 79M| 47 | 296 |3434 |3805 |3434 |3686 | 209 | 255 | 630 | 0.000000e+00 | -- | Inf
520.40/520.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
520.40/520.56 c 521s| 800 | 29 |848512 |1005.0 | 79M| 47 | 346 |3434 |3822 |3434 |3686 | 209 | 272 | 681 | 0.000000e+00 | -- | Inf
567.40/567.57 c 568s| 900 | 27 |943236 | 998.6 | 79M| 47 | 478 |3434 |3839 |3434 |3686 | 209 | 292 | 741 | 0.000000e+00 | -- | Inf
616.99/617.17 c 617s| 1000 | 25 | 1039k| 994.8 | 79M| 47 | 562 |3434 |3872 |3434 |3686 | 209 | 328 | 816 | 0.000000e+00 | -- | Inf
665.48/665.61 c 666s| 1100 | 27 | 1136k| 992.7 | 79M| 47 | - |3434 |3909 |3434 |3686 | 209 | 369 | 873 | 0.000000e+00 | -- | Inf
705.57/705.74 c 706s| 1200 | 28 | 1216k| 976.9 | 79M| 47 | 295 |3434 |3933 |3434 |3686 | 209 | 397 | 929 | 0.000000e+00 | -- | Inf
756.67/756.81 c 757s| 1300 | 28 | 1312k| 975.6 | 79M| 47 | 545 |3434 |3968 |3434 |3686 | 209 | 434 |1000 | 0.000000e+00 | -- | Inf
796.86/797.01 c 797s| 1400 | 26 | 1398k| 967.4 | 79M| 47 | - |3434 |3997 |3434 |3686 | 209 | 465 |1042 | 0.000000e+00 | -- | Inf
841.65/841.85 c 842s| 1500 | 28 | 1488k| 962.3 | 79M| 47 | - |3434 |4016 |3434 |3686 | 209 | 489 |1097 | 0.000000e+00 | -- | Inf
886.14/886.37 c 886s| 1600 | 26 | 1577k| 957.8 | 79M| 54 | - |3434 |4051 |3434 |3686 | 209 | 524 |1150 | 0.000000e+00 | -- | Inf
935.43/935.63 c 936s| 1700 | 28 | 1675k| 959.2 | 79M| 54 | 452 |3434 |4084 |3434 |3686 | 209 | 561 |1202 | 0.000000e+00 | -- | Inf
979.94/980.13 c 980s| 1800 | 28 | 1765k| 955.9 | 79M| 54 | 576 |3434 |4113 |3434 |3686 | 209 | 593 |1254 | 0.000000e+00 | -- | Inf
1029.83/1030.03 c 1030s| 1900 | 28 | 1857k| 954.2 | 79M| 59 | - |3434 |4136 |3434 |3686 | 209 | 616 |1325 | 0.000000e+00 | -- | Inf
1072.61/1072.84 c 1073s| 2000 | 28 | 1944k| 950.2 | 79M| 59 | 501 |3434 |4164 |3434 |3686 | 209 | 645 |1376 | 0.000000e+00 | -- | Inf
1116.41/1116.64 c 1117s| 2100 | 26 | 2032k| 946.6 | 79M| 59 | 620 |3434 |4188 |3434 |3686 | 209 | 671 |1426 | 0.000000e+00 | -- | Inf
1162.51/1162.73 c 1163s| 2200 | 24 | 2126k| 946.2 | 79M| 59 | - |3434 |4199 |3434 |3686 | 209 | 685 |1484 | 0.000000e+00 | -- | Inf
1218.89/1219.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1218.89/1219.17 c 1219s| 2300 | 26 | 2247k| 958.0 | 79M| 59 | 350 |3434 |4201 |3434 |3686 | 209 | 689 |1554 | 0.000000e+00 | -- | Inf
1257.78/1258.07 c 1258s| 2400 | 24 | 2332k| 953.1 | 79M| 59 | - |3434 |4216 |3434 |3686 | 209 | 704 |1602 | 0.000000e+00 | -- | Inf
1305.18/1305.40 c 1305s| 2500 | 24 | 2428k| 953.7 | 79M| 59 | 301 |3434 |4212 |3434 |3686 | 209 | 710 |1670 | 0.000000e+00 | -- | Inf
1338.17/1338.42 c 1338s| 2600 | 22 | 2498k| 943.7 | 79M| 59 | - |3434 |4214 |3434 |3686 | 209 | 713 |1714 | 0.000000e+00 | -- | Inf
1382.77/1383.07 c 1383s| 2700 | 22 | 2587k| 941.7 | 79M| 59 | - |3434 |4245 |3434 |3686 | 209 | 748 |1771 | 0.000000e+00 | -- | Inf
1421.86/1422.13 c 1422s| 2800 | 26 | 2667k| 936.7 | 79M| 59 | 246 |3434 |4285 |3434 |3686 | 209 | 799 |1817 | 0.000000e+00 | -- | Inf
1471.85/1472.17 c 1472s| 2900 | 26 | 2765k| 938.3 | 79M| 59 | 340 |3434 |4303 |3434 |3686 | 209 | 836 |1872 | 0.000000e+00 | -- | Inf
1502.65/1502.93 c 1503s| 3000 | 26 | 2823k| 926.4 | 79M| 70 | 290 |3434 |4315 |3434 |3686 | 209 | 860 |1917 | 0.000000e+00 | -- | Inf
1547.94/1548.22 c 1548s| 3100 | 24 | 2915k| 926.0 | 79M| 70 | 520 |3434 |4307 |3434 |3686 | 209 | 871 |1971 | 0.000000e+00 | -- | Inf
1588.33/1588.63 c 1589s| 3200 | 24 | 3003k| 924.7 | 79M| 70 | - |3434 |4307 |3434 |3686 | 209 | 889 |2015 | 0.000000e+00 | -- | Inf
1622.02/1622.37 c 1622s| 3300 | 26 | 3068k| 916.2 | 79M| 70 | 483 |3434 |4317 |3434 |3686 | 209 | 923 |2058 | 0.000000e+00 | -- | Inf
1668.43/1668.73 c 1669s| 3400 | 24 | 3162k| 916.9 | 79M| 70 | 433 |3434 |4325 |3434 |3686 | 209 | 957 |2109 | 0.000000e+00 | -- | Inf
1710.82/1711.18 c 1711s| 3500 | 22 | 3245k| 914.4 | 79M| 70 | - |3434 |4347 |3434 |3686 | 209 | 991 |2168 | 0.000000e+00 | -- | Inf
1753.91/1754.21 c 1754s| 3600 | 24 | 3333k| 913.7 | 79M| 70 | 491 |3434 |4338 |3434 |3686 | 209 | 998 |2227 | 0.000000e+00 | -- | Inf
1796.70/1797.00 c 1797s| 3700 | 24 | 3420k| 912.3 | 79M| 70 | - |3434 |4336 |3434 |3686 | 209 |1019 |2287 | 0.000000e+00 | -- | Inf
1796.70/1797.00 c
1796.70/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.00 c Solving Time (sec) : 1797.00
1796.70/1797.00 c Solving Nodes : 3700
1796.70/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.70/1797.00 c Dual Bound : +0.00000000000000e+00
1796.70/1797.00 c Gap : infinite
1796.70/1797.00 s UNKNOWN
1796.70/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.00 c Total Time : 1797.00
1796.70/1797.00 c solving : 1797.00
1796.70/1797.00 c presolving : 6.63 (included in solving)
1796.70/1797.00 c reading : 0.02 (included in solving)
1796.70/1797.00 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.70/1797.00 c Original Problem :
1796.70/1797.00 c Problem name : HOME/instance-3692983-1338045556.opb
1796.70/1797.00 c Variables : 4235 (4235 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00 c Constraints : 4391 initial, 4391 maximal
1796.70/1797.00 c Objective sense : minimize
1796.70/1797.00 c Presolved Problem :
1796.70/1797.00 c Problem name : t_HOME/instance-3692983-1338045556.opb
1796.70/1797.00 c Variables : 3434 (3434 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00 c Constraints : 3559 initial, 4348 maximal
1796.70/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c trivial : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c gateextraction : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c implics : 0.03 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c probing : 6.12 0.00 325 6 0 1 0 0 0 0 0
1796.70/1797.00 c setppc : 0.08 0.00 13 0 0 0 0 182 0 0 0
1796.70/1797.00 c linear : 0.06 0.00 455 1 0 455 0 487 0 0 0
1796.70/1797.00 c logicor : 0.27 0.00 1 0 0 0 0 163 0 0 0
1796.70/1797.00 c root node : - - 0 - - 0 - - - - -
1796.70/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.70/1797.00 c integral : 0 0 0 0 1947 0 4 0 3 209 0 0 3722
1796.70/1797.00 c setppc : 726 726 6 75759 0 1 3 381982 218 114951 0 0 0
1796.70/1797.00 c logicor : 2833+ 3622 6 68442 0 1 0 663705 155 276185 0 0 0
1796.70/1797.00 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1796.70/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.70/1797.00 c integral : 651.04 0.00 0.00 0.00 651.04 0.00 0.00 0.00
1796.70/1797.00 c setppc : 1.10 0.00 0.00 0.88 0.00 0.00 0.00 0.22
1796.70/1797.00 c logicor : 2.06 0.00 0.00 1.64 0.00 0.00 0.00 0.41
1796.70/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.70/1797.00 c rootredcost : 0 0 0 0
1796.70/1797.00 c pseudoobj : 0 0 0 0
1796.70/1797.00 c vbounds : 0 0 0 0
1796.70/1797.00 c redcost : 1953 0 0 0
1796.70/1797.00 c probing : 0 0 0 0
1796.70/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.70/1797.00 c rootredcost : 0.02 0.00 0.00 0.02 0.00
1796.70/1797.00 c pseudoobj : 0.02 0.00 0.00 0.02 0.00
1796.70/1797.00 c vbounds : 0.02 0.00 0.00 0.02 0.00
1796.70/1797.00 c redcost : 0.10 0.00 0.00 0.10 0.00
1796.70/1797.00 c probing : 6.12 0.00 6.12 0.00 0.00
1796.70/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.00 c propagation : 0.06 373 123 588 62.3 16 34.8 -
1796.70/1797.00 c infeasible LP : 5.79 1742 651 12164 435.0 5 15.6 0
1796.70/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.00 c applied globally : - - - 1005 30.8 - - -
1796.70/1797.00 c applied locally : - - - 14 568.6 - - -
1796.70/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.70/1797.00 c cut pool : 0.00 5 - - 14 - (maximal pool size: 253)
1796.70/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c impliedbounds : 0.08 0.00 6 0 0 252 0
1796.70/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c gomory : 0.50 0.00 6 0 0 0 0
1796.70/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c strongcg : 0.51 0.00 6 0 0 0 0
1796.70/1797.00 c cmir : 0.12 0.00 6 0 0 0 0
1796.70/1797.00 c flowcover : 0.11 0.00 6 0 0 0 0
1796.70/1797.00 c clique : 4.06 0.00 6 0 0 57 0
1796.70/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c mcf : 0.00 0.00 1 0 0 0 0
1796.70/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.70/1797.00 c problem variables: 0.00 - 0 0
1796.70/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.00 c relpscost : 651.03 0.00 1947 3 209 0 0 3722
1796.70/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c inference : 0.00 0.00 1 0 0 0 0 2
1796.70/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.70/1797.00 c LP solutions : 0.00 - - 0
1796.70/1797.00 c pseudo solutions : 0.00 - - 0
1796.70/1797.00 c oneopt : 0.00 0.00 0 0
1796.70/1797.00 c crossover : 0.00 0.00 0 0
1796.70/1797.00 c guideddiving : 0.00 0.00 0 0
1796.70/1797.00 c pscostdiving : 8.96 0.00 1 0
1796.70/1797.00 c veclendiving : 4.49 0.00 1 0
1796.70/1797.00 c linesearchdiving : 0.21 0.00 1 0
1796.70/1797.00 c fracdiving : 11.03 0.00 2 0
1796.70/1797.00 c objpscostdiving : 0.49 0.00 1 0
1796.70/1797.00 c rootsoldiving : 4.67 0.00 1 0
1796.70/1797.00 c coefdiving : 11.66 0.00 2 0
1796.70/1797.00 c feaspump : 19.74 0.00 1 0
1796.70/1797.00 c smallcard : 0.00 0.00 0 0
1796.70/1797.00 c trivial : 0.00 0.00 2 0
1796.70/1797.00 c shiftandpropagate: 0.04 0.00 1 0
1796.70/1797.00 c simplerounding : 0.00 0.00 0 0
1796.70/1797.00 c zirounding : 0.17 0.00 0 0
1796.70/1797.00 c rounding : 0.18 0.00 566 0
1796.70/1797.00 c shifting : 0.20 0.00 152 0
1796.70/1797.00 c intshifting : 0.00 0.00 0 0
1796.70/1797.00 c twoopt : 0.00 0.00 0 0
1796.70/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.70/1797.00 c indoneopt : 0.00 0.00 0 0
1796.70/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.70/1797.00 c clique : 0.00 0.00 0 0
1796.70/1797.00 c indrounding : 0.00 0.00 0 0
1796.70/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.70/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.70/1797.00 c intdiving : 0.00 0.00 0 0
1796.70/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.70/1797.00 c octane : 0.00 0.00 0 0
1796.70/1797.00 c rens : 6.70 0.00 1 0
1796.70/1797.00 c rins : 0.00 0.00 0 0
1796.70/1797.00 c localbranching : 0.00 0.00 0 0
1796.70/1797.00 c mutation : 0.00 0.00 0 0
1796.70/1797.00 c dins : 0.00 0.00 0 0
1796.70/1797.00 c vbounds : 0.00 0.00 0 0
1796.70/1797.00 c undercover : 0.00 0.00 0 0
1796.70/1797.00 c subnlp : 0.00 0.00 0 0
1796.70/1797.00 c trysol : 0.00 0.00 0 0
1796.70/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.70/1797.00 c primal LP : 0.01 1 0 0.00 - 0.01 1
1796.70/1797.00 c dual LP : 1055.03 3683 3291345 894.39 3119.68 0.01 3
1796.70/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.70/1797.00 c diving/probing LP: 60.27 979 128778 131.54 2136.85
1796.70/1797.00 c strong branching : 650.74 2287 1779217 777.97 2734.16
1796.70/1797.00 c (at root node) : - 18 18000 1000.00 -
1796.70/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.00 c B&B Tree :
1796.70/1797.00 c number of runs : 1
1796.70/1797.00 c nodes : 3700
1796.70/1797.00 c nodes (total) : 3700
1796.70/1797.00 c nodes left : 24
1796.70/1797.00 c max depth : 70
1796.70/1797.00 c max depth (total): 70
1796.70/1797.00 c backtracks : 293 (7.9%)
1796.70/1797.00 c delayed cutoffs : 1
1796.70/1797.00 c repropagations : 2583 (9596 domain reductions, 0 cutoffs)
1796.70/1797.00 c avg switch length: 3.37
1796.70/1797.00 c switching time : 0.97
1796.70/1797.00 c Solution :
1796.70/1797.00 c Solutions found : 0 (0 improvements)
1796.70/1797.00 c Primal Bound : -
1796.70/1797.00 c Dual Bound : +0.00000000000000e+00
1796.70/1797.00 c Gap : infinite
1796.70/1797.00 c Root Dual Bound : +0.00000000000000e+00
1796.70/1797.00 c Root Iterations : 45485
1796.70/1797.04 c Time complete: 1796.74.
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-3692983-1338045556/watcher-3692983-1338045556 -o /tmp/evaluation-result-3692983-1338045556/solver-3692983-1338045556 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692983-1338045556.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.00 2.00 2.00 3/176 11262
/proc/meminfo: memFree=28186348/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=11156 CPUtime=0 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 1539 0 0 0 0 0 0 0 20 0 1 0 270680172 11423744 1494 33554432000 4194304 10169799 140735675537760 140735675403752 7543003 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 2789 1494 409 1459 0 1321 0
[startup+0.0843249 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11262
/proc/meminfo: memFree=28186348/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=35328 CPUtime=0.07 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 7588 0 0 0 6 1 0 0 20 0 1 0 270680172 36175872 7286 33554432000 4194304 10169799 140735675537760 140735675403752 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 8832 7286 563 1459 0 7364 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 35328
[startup+0.100334 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11262
/proc/meminfo: memFree=28186348/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=35476 CPUtime=0.09 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 7601 0 0 0 7 2 0 0 20 0 1 0 270680172 36327424 7299 33554432000 4194304 10169799 140735675537760 140735675403752 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 8869 7299 565 1459 0 7401 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35476
[startup+0.300308 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11262
/proc/meminfo: memFree=28186348/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=58240 CPUtime=0.29 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 13231 0 0 0 26 3 0 0 20 0 1 0 270680172 59637760 12866 33554432000 4194304 10169799 140735675537760 140735675403752 7432298 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 14560 12866 602 1459 0 13092 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 58240
[startup+0.700324 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11262
/proc/meminfo: memFree=28186348/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=74568 CPUtime=0.68 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 16753 0 0 0 65 3 0 0 20 0 1 0 270680172 76357632 16388 33554432000 4194304 10169799 140735675537760 140735675403752 8918728 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 18642 16388 602 1459 0 17174 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 74568
[startup+1.50031 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11263
/proc/meminfo: memFree=28116900/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=96692 CPUtime=1.49 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 22286 0 0 0 143 6 0 0 20 0 1 0 270680172 99012608 21921 33554432000 4194304 10169799 140735675537760 140735675535288 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 24173 21921 607 1459 0 22705 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 96692
[startup+3.10035 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11263
/proc/meminfo: memFree=28094184/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=118588 CPUtime=3.09 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 27742 0 0 0 298 11 0 0 20 0 1 0 270680172 121434112 27377 33554432000 4194304 10169799 140735675537760 140735675535768 5868642 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 29647 27377 607 1459 0 28179 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 118588
[startup+6.30034 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11263
/proc/meminfo: memFree=28043344/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=160828 CPUtime=6.29 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 38344 0 0 0 613 16 0 0 20 0 1 0 270680172 164687872 37979 33554432000 4194304 10169799 140735675537760 140735675535288 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 40207 37979 607 1459 0 38739 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 160828
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11263
/proc/meminfo: memFree=28016560/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=180092 CPUtime=12.68 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 43649 0 0 0 1249 19 0 0 20 0 1 0 270680172 184414208 42936 33554432000 4194304 10169799 140735675537760 140735675530168 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 45023 42936 775 1459 0 43555 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 180092
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11263
/proc/meminfo: memFree=28014692/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=182156 CPUtime=25.48 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 44788 0 0 0 2526 22 0 0 20 0 1 0 270680172 186527744 43455 33554432000 4194304 10169799 140735675537760 140735675530168 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 45539 43455 778 1459 0 44071 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 182156
[startup+51.1003 s]
/proc/loadavg: 2.15 2.03 2.01 3/178 11266
/proc/meminfo: memFree=28005692/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=190284 CPUtime=51.08 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 54606 0 0 0 5059 49 0 0 20 0 1 0 270680172 194850816 45364 33554432000 4194304 10169799 140735675537760 140735675532360 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 47571 45364 846 1459 0 46103 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 190284
[startup+102.307 s]
/proc/loadavg: 2.06 2.03 2.01 3/178 11266
/proc/meminfo: memFree=28004028/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=191020 CPUtime=102.28 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 55375 0 0 0 10159 69 0 0 20 0 1 0 270680172 195604480 45537 33554432000 4194304 10169799 140735675537760 140735675532360 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 47755 45537 847 1459 0 46287 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 191020
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 11266
/proc/meminfo: memFree=27956560/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=191520 CPUtime=162.26 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 60829 0 0 0 16130 96 0 0 20 0 1 0 270680172 196116480 46131 33554432000 4194304 10169799 140735675537760 140735675532456 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 47880 46131 847 1459 0 46412 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 191520
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 11266
/proc/meminfo: memFree=27951264/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=194080 CPUtime=222.25 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 64447 0 0 0 22100 125 0 0 20 0 1 0 270680172 198737920 47274 33554432000 4194304 10169799 140735675537760 140735675532360 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 48520 47274 847 1459 0 47052 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 194080
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11267
/proc/meminfo: memFree=27949236/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=194816 CPUtime=282.24 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 64655 0 0 0 28072 152 0 0 20 0 1 0 270680172 199491584 47736 33554432000 4194304 10169799 140735675537760 140735675532216 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 48704 47736 847 1459 0 47236 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 194816
[startup+342.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 11267
/proc/meminfo: memFree=27947996/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=197136 CPUtime=342.23 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 65610 0 0 0 34043 180 0 0 20 0 1 0 270680172 201867264 48194 33554432000 4194304 10169799 140735675537760 140735675532264 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 49284 48194 847 1459 0 47816 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 197136
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 11267
/proc/meminfo: memFree=27945888/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=198756 CPUtime=402.22 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 66136 0 0 0 40014 208 0 0 20 0 1 0 270680172 203526144 48720 33554432000 4194304 10169799 140735675537760 140735675532264 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 49689 48720 847 1459 0 48221 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 198756
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11267
/proc/meminfo: memFree=27942540/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=199684 CPUtime=462.21 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 66237 0 0 0 45984 237 0 0 20 0 1 0 270680172 204476416 48821 33554432000 4194304 10169799 140735675537760 140735675532360 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 49921 48821 847 1459 0 48453 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 199684
[startup+522.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 11267
/proc/meminfo: memFree=27866652/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=198808 CPUtime=522.2 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 66672 0 0 0 51954 266 0 0 20 0 1 0 270680172 203579392 48700 33554432000 4194304 10169799 140735675537760 140735675532264 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 49702 48700 847 1459 0 48234 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 198808
[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11268
/proc/meminfo: memFree=27863552/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=199672 CPUtime=582.19 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 66829 0 0 0 57925 294 0 0 20 0 1 0 270680172 204464128 48857 33554432000 4194304 10169799 140735675537760 140735675532360 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 49918 48857 847 1459 0 48450 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 199672
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27937104/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=203636 CPUtime=1122.11 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 76111 0 0 0 111677 534 0 0 20 0 1 0 270680172 208523264 49893 33554432000 4194304 10169799 140735675537760 140735675532264 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 50909 49893 847 1459 0 49441 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 203636
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11274
/proc/meminfo: memFree=27937104/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=203636 CPUtime=1182.1 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 76112 0 0 0 117647 563 0 0 20 0 1 0 270680172 208523264 49894 33554432000 4194304 10169799 140735675537760 140735675532168 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 50909 49894 847 1459 0 49441 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 203636
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11274
/proc/meminfo: memFree=27936980/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=203636 CPUtime=1242.09 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 76114 0 0 0 123619 590 0 0 20 0 1 0 270680172 208523264 49896 33554432000 4194304 10169799 140735675537760 140735675532456 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 50909 49896 847 1459 0 49441 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 203636
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11277
/proc/meminfo: memFree=27936476/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=203636 CPUtime=1302.09 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 76115 0 0 0 129596 613 0 0 20 0 1 0 270680172 208523264 49897 33554432000 4194304 10169799 140735675537760 140735675532552 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 50909 49897 847 1459 0 49441 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 203636
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11277
/proc/meminfo: memFree=27935864/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=203636 CPUtime=1362.07 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 76209 0 0 0 135570 637 0 0 20 0 1 0 270680172 208523264 49991 33554432000 4194304 10169799 140735675537760 140735675532168 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 50909 49991 847 1459 0 49441 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 203636
[startup+1422.31 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 11315
/proc/meminfo: memFree=27288972/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=203636 CPUtime=1422.07 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 76210 0 0 0 141545 662 0 0 20 0 1 0 270680172 208523264 49992 33554432000 4194304 10169799 140735675537760 140735675532216 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 50909 49992 847 1459 0 49441 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 203636
[startup+1482.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 11316
/proc/meminfo: memFree=26973184/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=203448 CPUtime=1482.05 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 78712 0 0 0 147522 683 0 0 20 0 1 0 270680172 208330752 49926 33554432000 4194304 10169799 140735675537760 140735675532264 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 50862 49926 847 1459 0 49394 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 203448
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 11316
/proc/meminfo: memFree=26972476/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=203696 CPUtime=1542.04 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 78769 0 0 0 153499 705 0 0 20 0 1 0 270680172 208584704 49983 33554432000 4194304 10169799 140735675537760 140735675531432 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 50924 49983 847 1459 0 49456 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 203696
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11316
/proc/meminfo: memFree=26970272/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=203092 CPUtime=1602.03 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 80510 0 0 0 159476 727 0 0 20 0 1 0 270680172 207966208 49854 33554432000 4194304 10169799 140735675537760 140735675532168 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 50773 49854 847 1459 0 49305 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 203092
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11316
/proc/meminfo: memFree=26967076/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=204344 CPUtime=1662.02 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 80675 0 0 0 165453 749 0 0 20 0 1 0 270680172 209248256 50019 33554432000 4194304 10169799 140735675537760 140735675532360 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 51086 50019 847 1459 0 49618 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 204344
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11316
/proc/meminfo: memFree=26947884/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=204344 CPUtime=1722.02 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 80780 0 0 0 171430 772 0 0 20 0 1 0 270680172 209248256 50124 33554432000 4194304 10169799 140735675537760 140735675532552 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 51086 50124 847 1459 0 49618 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 204344
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11317
/proc/meminfo: memFree=26947540/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=204344 CPUtime=1782 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 80781 0 0 0 177406 794 0 0 20 0 1 0 270680172 209248256 50125 33554432000 4194304 10169799 140735675537760 140735675532360 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 51086 50125 847 1459 0 49618 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 204344
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 11317
/proc/meminfo: memFree=26947540/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=204344 CPUtime=1785.21 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 80781 0 0 0 177724 797 0 0 20 0 1 0 270680172 209248256 50125 33554432000 4194304 10169799 140735675537760 140735675532168 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 51086 50125 847 1459 0 49618 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 204344
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11317
/proc/meminfo: memFree=26947400/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=204344 CPUtime=1791.61 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 80781 0 0 0 178362 799 0 0 20 0 1 0 270680172 209248256 50125 33554432000 4194304 10169799 140735675537760 140735675532168 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 51086 50125 847 1459 0 49618 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 204344
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11317
/proc/meminfo: memFree=26947400/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=204344 CPUtime=1794.81 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 80781 0 0 0 178681 800 0 0 20 0 1 0 270680172 209248256 50125 33554432000 4194304 10169799 140735675537760 140735675532216 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 51086 50125 847 1459 0 49618 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 204344
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11317
/proc/meminfo: memFree=26947400/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=204344 CPUtime=1795.6 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 80781 0 0 0 178760 800 0 0 20 0 1 0 270680172 209248256 50125 33554432000 4194304 10169799 140735675537760 140735675532216 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 51086 50125 847 1459 0 49618 0
Current children cumulated CPU time (s) 1795.6
Current children cumulated vsize (KiB) 204344
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11317
/proc/meminfo: memFree=26947400/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=204344 CPUtime=1796.4 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 80781 0 0 0 178839 801 0 0 20 0 1 0 270680172 209248256 50125 33554432000 4194304 10169799 140735675537760 140735675532264 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 51086 50125 847 1459 0 49618 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 204344
[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11317
/proc/meminfo: memFree=26947400/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=204344 CPUtime=1796.6 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 80781 0 0 0 178859 801 0 0 20 0 1 0 270680172 209248256 50125 33554432000 4194304 10169799 140735675537760 140735675532264 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 51086 50125 847 1459 0 49618 0
Current children cumulated CPU time (s) 1796.6
Current children cumulated vsize (KiB) 204344
[startup+1797 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11317
/proc/meminfo: memFree=26947400/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=204344 CPUtime=1796.7 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 80781 0 0 0 178869 801 0 0 20 0 1 0 270680172 209248256 50125 33554432000 4194304 10169799 140735675537760 140735675532216 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 51086 50125 847 1459 0 49618 0
Current children cumulated CPU time (s) 1796.7
Current children cumulated vsize (KiB) 204344
Child status: 0
Real time (s): 1797.05
CPU time (s): 1796.76
CPU user time (s): 1788.74
CPU system time (s): 8.01978
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 219284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.74
system time used= 8.01978
maximum resident set size= 209276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80785
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= 15
involuntary context switches= 1851
runsolver used 2.95955 second user time and 9.13561 second system time
The end