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-3692972-1338045272.opb>
0.00/0.02 c original problem has 3630 variables (3630 bin, 0 int, 0 impl, 0 cont) and 3764 constraints
0.00/0.02 c problem read in 0.02
0.00/0.04 c presolving:
0.00/0.05 c (round 1) 2 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5460 impls, 66 clqs
0.00/0.05 c (round 2) 165 del vars, 16 del conss, 0 add conss, 165 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5460 impls, 63 clqs
0.00/0.05 c (round 3) 230 del vars, 187 del conss, 0 add conss, 230 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5506 impls, 62 clqs
0.00/0.06 c (round 4) 293 del vars, 251 del conss, 0 add conss, 292 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6230 impls, 62 clqs
0.00/0.06 c (round 5) 341 del vars, 299 del conss, 0 add conss, 340 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6992 impls, 62 clqs
0.00/0.06 c (round 6) 376 del vars, 334 del conss, 0 add conss, 375 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7982 impls, 62 clqs
0.00/0.06 c (round 7) 403 del vars, 361 del conss, 0 add conss, 402 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8512 impls, 62 clqs
0.00/0.06 c (round 8) 425 del vars, 383 del conss, 0 add conss, 424 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8904 impls, 62 clqs
0.00/0.07 c (round 9) 443 del vars, 401 del conss, 0 add conss, 442 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 9260 impls, 62 clqs
0.00/0.07 c (round 10) 451 del vars, 409 del conss, 0 add conss, 450 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 9334 impls, 62 clqs
0.00/0.07 c (round 11) 455 del vars, 413 del conss, 0 add conss, 454 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 9380 impls, 62 clqs
0.00/0.07 c (round 12) 456 del vars, 414 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 9410 impls, 62 clqs
0.09/0.10 c (round 13) 456 del vars, 476 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3226 upgd conss, 9416 impls, 62 clqs
0.09/0.11 c (round 14) 456 del vars, 476 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3288 upgd conss, 9416 impls, 62 clqs
0.49/0.50 c (round 15) 481 del vars, 476 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3288 upgd conss, 268244 impls, 62 clqs
0.49/0.51 c (round 16) 481 del vars, 501 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3288 upgd conss, 268244 impls, 62 clqs
0.89/0.98 c (round 17) 506 del vars, 501 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3288 upgd conss, 676544 impls, 62 clqs
0.89/0.98 c (round 18) 506 del vars, 526 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3288 upgd conss, 676560 impls, 62 clqs
0.89/0.99 c (round 19) 506 del vars, 526 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3290 upgd conss, 676560 impls, 62 clqs
0.99/1.02 c (round 20) 531 del vars, 526 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3290 upgd conss, 688520 impls, 62 clqs
0.99/1.02 c (round 21) 532 del vars, 552 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3290 upgd conss, 688616 impls, 62 clqs
0.99/1.03 c (round 22) 532 del vars, 552 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3299 upgd conss, 688616 impls, 62 clqs
0.99/1.07 c (round 23) 558 del vars, 552 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3299 upgd conss, 705837 impls, 62 clqs
0.99/1.07 c (round 24) 558 del vars, 578 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3299 upgd conss, 706311 impls, 62 clqs
0.99/1.08 c (round 25) 558 del vars, 578 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3321 upgd conss, 706311 impls, 62 clqs
1.09/1.12 c (round 26) 583 del vars, 578 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3321 upgd conss, 708975 impls, 62 clqs
1.09/1.13 c (round 27) 583 del vars, 603 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3321 upgd conss, 708975 impls, 62 clqs
1.09/1.15 c (round 28) 608 del vars, 603 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3321 upgd conss, 708975 impls, 62 clqs
1.09/1.15 c (round 29) 608 del vars, 628 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3321 upgd conss, 708975 impls, 62 clqs
1.09/1.17 c (round 30) 633 del vars, 628 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3321 upgd conss, 712751 impls, 62 clqs
1.09/1.18 c (round 31) 634 del vars, 654 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3321 upgd conss, 712849 impls, 62 clqs
1.09/1.19 c (round 32) 634 del vars, 654 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3329 upgd conss, 712849 impls, 62 clqs
1.19/1.20 c (round 33) 659 del vars, 654 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3329 upgd conss, 712849 impls, 62 clqs
1.19/1.20 c (round 34) 665 del vars, 685 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3329 upgd conss, 713023 impls, 62 clqs
1.19/1.22 c (round 35) 665 del vars, 685 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3335 upgd conss, 713023 impls, 62 clqs
1.48/1.54 c (round 36) 690 del vars, 685 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3335 upgd conss, 834867 impls, 62 clqs
1.48/1.55 c (round 37) 690 del vars, 710 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3335 upgd conss, 834923 impls, 62 clqs
1.48/1.56 c (round 38) 690 del vars, 710 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3336 upgd conss, 834923 impls, 62 clqs
1.48/1.58 c (round 39) 715 del vars, 710 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3336 upgd conss, 837301 impls, 62 clqs
1.48/1.58 c (round 40) 716 del vars, 736 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3336 upgd conss, 837331 impls, 62 clqs
1.48/1.59 c (round 41) 716 del vars, 736 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3338 upgd conss, 837331 impls, 62 clqs
1.59/1.60 c (1.6s) probing: 1000/3174 (31.5%) - 246 fixings, 6 aggregations, 187745 implications, 1 bound changes
2.49/2.52 c (round 42) 741 del vars, 736 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3338 upgd conss, 1216231 impls, 62 clqs
2.49/2.52 c (round 43) 741 del vars, 761 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3338 upgd conss, 1216233 impls, 62 clqs
2.49/2.53 c (round 44) 741 del vars, 761 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3339 upgd conss, 1216233 impls, 62 clqs
2.79/2.89 c (2.9s) probing: 2000/3174 (63.0%) - 287 fixings, 6 aggregations, 449170 implications, 1 bound changes
3.29/3.35 c (round 45) 766 del vars, 761 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3339 upgd conss, 1544931 impls, 62 clqs
3.29/3.35 c (round 46) 766 del vars, 786 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3339 upgd conss, 1544935 impls, 62 clqs
3.29/3.36 c (round 47) 766 del vars, 786 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3341 upgd conss, 1544935 impls, 62 clqs
4.29/4.39 c (4.4s) probing: 3000/3174 (94.5%) - 319 fixings, 6 aggregations, 710566 implications, 1 bound changes
4.59/4.60 c (4.6s) probing cycle finished: starting next cycle
4.59/4.65 c (4.6s) probing: 51/2840 (1.8%) - 319 fixings, 6 aggregations, 746521 implications, 1 bound changes
4.59/4.65 c (4.6s) probing aborted: 50/50 successive totally useless probings
4.59/4.65 c (round 48) 790 del vars, 786 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3341 upgd conss, 1968879 impls, 62 clqs
4.59/4.65 c (round 49) 790 del vars, 810 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3341 upgd conss, 1968879 impls, 62 clqs
4.59/4.67 c (4.7s) probing: 56/2840 (2.0%) - 319 fixings, 6 aggregations, 746521 implications, 1 bound changes
4.59/4.67 c (4.7s) probing aborted: 50/50 successive totally useless probings
4.59/4.67 c presolving (50 rounds):
4.59/4.67 c 790 deleted vars, 810 deleted constraints, 0 added constraints, 456 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
4.59/4.67 c 1968879 implications, 62 cliques
4.59/4.67 c presolved problem has 2840 variables (2840 bin, 0 int, 0 impl, 0 cont) and 2954 constraints
4.59/4.67 c 616 constraints of type <setppc>
4.59/4.67 c 2338 constraints of type <logicor>
4.59/4.67 c transformed objective value is always integral (scale: 1)
4.59/4.67 c Presolving Time: 4.65
4.59/4.67 c - non default parameters ----------------------------------------------------------------------
4.59/4.67 c # SCIP version 2.1.1.4
4.59/4.67 c
4.59/4.67 c # maximal time in seconds to run
4.59/4.67 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.59/4.67 c limits/time = 1797
4.59/4.67 c
4.59/4.67 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.59/4.67 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.59/4.67 c limits/memory = 13950
4.59/4.67 c
4.59/4.67 c # default clock type (1: CPU user seconds, 2: wall clock time)
4.59/4.67 c # [type: int, range: [1,2], default: 1]
4.59/4.67 c timing/clocktype = 2
4.59/4.67 c
4.59/4.67 c # belongs reading time to solving time?
4.59/4.67 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.59/4.67 c timing/reading = TRUE
4.59/4.67 c
4.59/4.67 c -----------------------------------------------------------------------------------------------
4.59/4.67 c start solving
4.59/4.67 c
5.39/5.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.49/5.58 c 5.5s| 1 | 0 | 3556 | - | 63M| 0 | 747 |2840 |2964 |2840 |2954 | 0 | 14 | 0 | 0.000000e+00 | -- | Inf
19.19/19.26 c 19.3s| 1 | 0 | 26717 | - | 63M| 0 | 841 |2840 |2964 |2840 |3055 | 101 | 14 | 0 | 0.000000e+00 | -- | Inf
19.88/19.91 c 19.9s| 1 | 0 | 28105 | - | 63M| 0 | 998 |2840 |2964 |2840 |3109 | 155 | 14 | 0 | 0.000000e+00 | -- | Inf
20.58/20.61 c 20.6s| 1 | 0 | 29492 | - | 63M| 0 | 935 |2840 |2964 |2840 |3155 | 201 | 14 | 0 | 0.000000e+00 | -- | Inf
21.48/21.59 c 21.6s| 1 | 0 | 31695 | - | 64M| 0 |1018 |2840 |2964 |2840 |3180 | 226 | 14 | 0 | 0.000000e+00 | -- | Inf
22.49/22.52 c 22.5s| 1 | 0 | 33602 | - | 64M| 0 |1005 |2840 |2964 |2840 |3207 | 253 | 14 | 0 | 0.000000e+00 | -- | Inf
23.28/23.38 c 23.4s| 1 | 0 | 35329 | - | 64M| 0 |1069 |2840 |2964 |2840 |3227 | 273 | 14 | 0 | 0.000000e+00 | -- | Inf
36.48/36.58 c 36.6s| 1 | 2 | 35329 | - | 64M| 0 |1069 |2840 |2964 |2840 |3227 | 273 | 14 | 18 | 0.000000e+00 | -- | Inf
183.96/184.00 c 184s| 100 | 17 |284758 |2519.5 | 62M| 24 | - |2840 |3006 |2840 |3087 | 273 | 97 | 273 | 0.000000e+00 | -- | Inf
226.46/226.56 c 227s| 200 | 17 |380648 |1735.3 | 62M| 37 | 627 |2840 |3050 |2840 |3087 | 273 | 144 | 338 | 0.000000e+00 | -- | Inf
272.15/272.25 c 272s| 300 | 19 |481328 |1491.6 | 62M| 49 | 517 |2840 |3081 |2840 |3087 | 273 | 188 | 402 | 0.000000e+00 | -- | Inf
316.04/316.19 c 316s| 400 | 23 |573361 |1348.5 | 62M| 49 | 424 |2840 |3141 |2840 |3087 | 273 | 248 | 466 | 0.000000e+00 | -- | Inf
368.83/368.93 c 369s| 500 | 23 |687796 |1307.5 | 62M| 49 | 404 |2840 |3185 |2840 |3087 | 273 | 299 | 542 | 0.000000e+00 | -- | Inf
414.22/414.35 c 414s| 600 | 21 |786762 |1254.5 | 62M| 49 | 377 |2840 |3209 |2840 |3087 | 273 | 324 | 614 | 0.000000e+00 | -- | Inf
462.11/462.25 c 462s| 700 | 21 |890894 |1224.0 | 62M| 49 | 369 |2840 |3255 |2840 |3087 | 273 | 370 | 689 | 0.000000e+00 | -- | Inf
494.91/495.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
494.91/495.02 c 495s| 800 | 21 |970469 |1170.4 | 62M| 53 | 491 |2840 |3304 |2840 |3087 | 273 | 419 | 736 | 0.000000e+00 | -- | Inf
536.80/536.92 c 537s| 900 | 23 | 1064k|1144.8 | 62M| 53 | 343 |2840 |3329 |2840 |3087 | 273 | 465 | 809 | 0.000000e+00 | -- | Inf
610.59/610.72 c 611s| 1000 | 21 | 1273k|1239.2 | 62M| 53 | - |2840 |3339 |2840 |3087 | 273 | 485 | 880 | 0.000000e+00 | -- | Inf
643.78/643.90 c 644s| 1100 | 21 | 1350k|1197.0 | 62M| 53 | 364 |2840 |3369 |2840 |3087 | 273 | 525 | 923 | 0.000000e+00 | -- | Inf
686.07/686.30 c 686s| 1200 | 23 | 1447k|1178.1 | 62M| 53 | 340 |2840 |3402 |2840 |3087 | 273 | 567 | 979 | 0.000000e+00 | -- | Inf
717.27/717.47 c 717s| 1300 | 23 | 1517k|1141.2 | 62M| 53 | 336 |2840 |3407 |2840 |3087 | 273 | 592 |1020 | 0.000000e+00 | -- | Inf
759.26/759.45 c 759s| 1400 | 21 | 1606k|1123.1 | 62M| 53 | 323 |2840 |3421 |2840 |3087 | 273 | 641 |1086 | 0.000000e+00 | -- | Inf
795.07/795.24 c 795s| 1500 | 19 | 1687k|1102.4 | 62M| 53 | 395 |2840 |3465 |2840 |3087 | 273 | 694 |1138 | 0.000000e+00 | -- | Inf
846.25/846.40 c 846s| 1600 | 16 | 1805k|1106.9 | 62M| 53 | - |2840 |3551 |2840 |3087 | 273 | 789 |1198 | 0.000000e+00 | -- | Inf
900.94/901.13 c 901s| 1700 | 13 | 1919k|1108.9 | 62M| 53 | - |2840 |3612 |2840 |3087 | 273 | 860 |1279 | 0.000000e+00 | -- | Inf
952.63/952.86 c 953s| 1800 | 21 | 2014k|1100.3 | 63M| 53 | - |2840 |3635 |2840 |3087 | 273 | 914 |1345 | 0.000000e+00 | -- | Inf
990.33/990.51 c 991s| 1900 | 20 | 2099k|1086.8 | 63M| 53 | - |2840 |3665 |2840 |3087 | 273 | 951 |1398 | 0.000000e+00 | -- | Inf
1035.62/1035.83 c 1036s| 2000 | 20 | 2192k|1079.1 | 63M| 53 | - |2840 |3684 |2840 |3087 | 273 | 995 |1463 | 0.000000e+00 | -- | Inf
1079.52/1079.77 c 1080s| 2100 | 19 | 2292k|1075.3 | 63M| 53 | - |2840 |3737 |2840 |3087 | 273 |1049 |1515 | 0.000000e+00 | -- | Inf
1122.91/1123.18 c 1123s| 2200 | 19 | 2388k|1069.9 | 63M| 53 | 568 |2840 |3781 |2840 |3087 | 273 |1103 |1567 | 0.000000e+00 | -- | Inf
1163.51/1163.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1163.51/1163.79 c 1164s| 2300 | 21 | 2479k|1063.1 | 63M| 53 | - |2840 |3818 |2840 |3087 | 273 |1142 |1618 | 0.000000e+00 | -- | Inf
1208.49/1208.70 c 1209s| 2400 | 23 | 2574k|1058.5 | 63M| 53 | 465 |2840 |3855 |2840 |3087 | 273 |1185 |1680 | 0.000000e+00 | -- | Inf
1249.30/1249.57 c 1250s| 2500 | 19 | 2667k|1053.2 | 63M| 53 | - |2840 |3890 |2840 |3087 | 273 |1225 |1728 | 0.000000e+00 | -- | Inf
1296.48/1296.77 c 1297s| 2600 | 20 | 2775k|1054.5 | 63M| 53 | - |2840 |3926 |2840 |3087 | 273 |1265 |1784 | 0.000000e+00 | -- | Inf
1343.58/1343.87 c 1344s| 2700 | 22 | 2880k|1054.2 | 63M| 53 | 577 |2840 |3960 |2840 |3087 | 273 |1302 |1842 | 0.000000e+00 | -- | Inf
1390.27/1390.57 c 1391s| 2800 | 22 | 2984k|1053.5 | 63M| 53 | 505 |2840 |4008 |2840 |3087 | 273 |1350 |1899 | 0.000000e+00 | -- | Inf
1442.26/1442.59 c 1443s| 2900 | 19 | 3098k|1056.7 | 63M| 53 | 487 |2840 |4052 |2840 |3087 | 273 |1400 |1964 | 0.000000e+00 | -- | Inf
1483.66/1483.97 c 1484s| 3000 | 17 | 3186k|1050.7 | 63M| 53 | 582 |2840 |4089 |2840 |3087 | 273 |1440 |2016 | 0.000000e+00 | -- | Inf
1539.25/1539.57 c 1540s| 3100 | 17 | 3295k|1052.0 | 63M| 53 | - |2840 |4129 |2840 |3087 | 273 |1493 |2090 | 0.000000e+00 | -- | Inf
1588.93/1589.28 c 1589s| 3200 | 17 | 3403k|1052.9 | 63M| 53 | - |2840 |4168 |2840 |3087 | 273 |1545 |2152 | 0.000000e+00 | -- | Inf
1634.24/1634.54 c 1635s| 3300 | 17 | 3502k|1050.9 | 63M| 53 | 529 |2840 |4200 |2840 |3087 | 273 |1595 |2212 | 0.000000e+00 | -- | Inf
1675.42/1675.74 c 1676s| 3400 | 17 | 3594k|1047.3 | 63M| 53 | 516 |2840 |4243 |2840 |3087 | 273 |1651 |2262 | 0.000000e+00 | -- | Inf
1719.41/1719.76 c 1720s| 3500 | 17 | 3689k|1044.4 | 63M| 53 | - |2840 |4270 |2840 |3087 | 273 |1704 |2319 | 0.000000e+00 | -- | Inf
1759.80/1760.14 c 1760s| 3600 | 17 | 3776k|1039.4 | 63M| 53 | - |2840 |4276 |2840 |3087 | 273 |1755 |2376 | 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.01
1796.71/1797.00 c Solving Nodes : 3681
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.01
1796.71/1797.00 c solving : 1797.01
1796.71/1797.00 c presolving : 4.65 (included in solving)
1796.71/1797.00 c reading : 0.02 (included in solving)
1796.71/1797.00 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.71/1797.00 c Original Problem :
1796.71/1797.00 c Problem name : HOME/instance-3692972-1338045272.opb
1796.71/1797.00 c Variables : 3630 (3630 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.00 c Constraints : 3764 initial, 3764 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-3692972-1338045272.opb
1796.71/1797.00 c Variables : 2840 (2840 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.00 c Constraints : 2954 initial, 4301 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.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c dualfix : 0.00 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.02 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c implics : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c components : 0.00 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 : 4.27 0.00 319 6 0 1 0 0 0 0 0
1796.71/1797.00 c setppc : 0.05 0.00 8 0 0 0 0 165 0 0 0
1796.71/1797.00 c linear : 0.04 0.00 455 1 0 455 0 476 0 0 0
1796.71/1797.00 c logicor : 0.21 0.00 1 0 0 0 0 169 0 0 0
1796.71/1797.00 c root node : - - 35 - - 35 - - - - -
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 1942 0 4 0 4 137 0 0 3710
1796.71/1797.00 c setppc : 616 616 6 67354 0 2 3 536390 218 95887 0 0 0
1796.71/1797.00 c logicor : 2338+ 3720 6 57971 0 2 0 1052464 157 210032 0 0 0
1796.71/1797.00 c countsols : 0 0 0 0 0 2 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 : 627.49 0.00 0.00 0.00 627.49 0.00 0.00 0.00
1796.71/1797.00 c setppc : 0.84 0.00 0.00 0.60 0.00 0.00 0.00 0.24
1796.71/1797.00 c logicor : 1.59 0.00 0.00 1.05 0.00 0.00 0.00 0.53
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 : 1948 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.02 0.00 0.00 0.02 0.00
1796.71/1797.00 c pseudoobj : 0.02 0.00 0.00 0.02 0.00
1796.71/1797.00 c vbounds : 0.02 0.00 0.00 0.01 0.00
1796.71/1797.00 c redcost : 0.09 0.00 0.00 0.09 0.00
1796.71/1797.00 c probing : 4.27 0.00 4.27 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.03 375 121 494 49.5 9 22.4 -
1796.71/1797.00 c infeasible LP : 4.52 1761 1323 19798 312.1 5 6.0 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 : - - - 1794 41.8 - - -
1796.71/1797.00 c applied locally : - - - 4 426.5 - - -
1796.71/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.71/1797.00 c cut pool : 0.00 5 - - 31 - (maximal pool size: 319)
1796.71/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c impliedbounds : 0.05 0.00 6 0 0 326 0
1796.71/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c gomory : 0.36 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 : 0.36 0.00 6 0 0 0 0
1796.71/1797.00 c cmir : 0.09 0.00 6 0 0 0 0
1796.71/1797.00 c flowcover : 0.09 0.00 6 0 0 0 0
1796.71/1797.00 c clique : 3.01 0.00 6 0 0 60 0
1796.71/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c mcf : 0.00 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 : 627.49 0.00 1942 4 137 0 0 3710
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 2 0 0 0 0 4
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 veclendiving : 21.20 0.00 1 0
1796.71/1797.00 c linesearchdiving : 2.40 0.00 1 0
1796.71/1797.00 c objpscostdiving : 1.83 0.00 1 0
1796.71/1797.00 c rootsoldiving : 30.20 0.00 1 0
1796.71/1797.00 c fracdiving : 12.87 0.00 2 0
1796.71/1797.00 c coefdiving : 9.06 0.00 2 0
1796.71/1797.00 c feaspump : 9.95 0.00 1 0
1796.71/1797.00 c pscostdiving : 12.89 0.00 2 0
1796.71/1797.00 c smallcard : 0.00 0.00 0 0
1796.71/1797.00 c trivial : 0.00 0.00 2 0
1796.71/1797.00 c shiftandpropagate: 0.02 0.00 1 0
1796.71/1797.00 c simplerounding : 0.00 0.00 0 0
1796.71/1797.00 c zirounding : 0.14 0.00 0 0
1796.71/1797.00 c rounding : 0.16 0.00 571 0
1796.71/1797.00 c shifting : 0.21 0.00 141 0
1796.71/1797.00 c intshifting : 0.00 0.00 0 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 indrounding : 0.00 0.00 0 0
1796.71/1797.00 c indcoefdiving : 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 : 5.81 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.01 1
1796.71/1797.00 c dual LP : 1046.61 3685 3531776 959.20 3374.49 0.01 3
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: 99.40 1513 322877 213.40 3248.31
1796.71/1797.00 c strong branching : 627.20 2425 1899611 783.34 3028.69
1796.71/1797.00 c (at root node) : - 18 18000 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 : 3681
1796.71/1797.00 c nodes (total) : 3681
1796.71/1797.00 c nodes left : 20
1796.71/1797.00 c max depth : 53
1796.71/1797.00 c max depth (total): 53
1796.71/1797.00 c backtracks : 383 (10.4%)
1796.71/1797.00 c delayed cutoffs : 14
1796.71/1797.00 c repropagations : 4440 (25001 domain reductions, 14 cutoffs)
1796.71/1797.00 c avg switch length: 3.89
1796.71/1797.00 c switching time : 0.55
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 : 35329
1796.71/1797.03 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-3692972-1338045272/watcher-3692972-1338045272 -o /tmp/evaluation-result-3692972-1338045272/solver-3692972-1338045272 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692972-1338045272.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 1207
/proc/meminfo: memFree=27972300/32873648 swapFree=7372/7372
[pid=1207] ppid=1205 vsize=9160 CPUtime=0 cores=1,3,5,7
/proc/1207/stat : 1207 (scip-2.1.1.4sfi) R 1205 1207 31092 0 -1 4202496 1014 0 0 0 0 0 0 0 20 0 1 0 270653234 9379840 969 33554432000 4194304 10169799 140734802471520 140735894477560 8844157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1207/statm: 2290 979 387 1459 0 822 0
[startup+0.0861629 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1207
/proc/meminfo: memFree=27972300/32873648 swapFree=7372/7372
[pid=1207] ppid=1205 vsize=32884 CPUtime=0.07 cores=1,3,5,7
/proc/1207/stat : 1207 (scip-2.1.1.4sfi) R 1205 1207 31092 0 -1 4202496 6977 0 0 0 6 1 0 0 20 0 1 0 270653234 33673216 6674 33554432000 4194304 10169799 140734802471520 140734802336216 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1207/statm: 8221 6674 571 1459 0 6753 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 32884
[startup+0.100279 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1207
/proc/meminfo: memFree=27972300/32873648 swapFree=7372/7372
[pid=1207] ppid=1205 vsize=35024 CPUtime=0.09 cores=1,3,5,7
/proc/1207/stat : 1207 (scip-2.1.1.4sfi) R 1205 1207 31092 0 -1 4202496 7516 0 0 0 8 1 0 0 20 0 1 0 270653234 35864576 7213 33554432000 4194304 10169799 140734802471520 140734802336216 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1207/statm: 8756 7213 576 1459 0 7288 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35024
[startup+0.300251 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1207
/proc/meminfo: memFree=27972300/32873648 swapFree=7372/7372
[pid=1207] ppid=1205 vsize=57816 CPUtime=0.28 cores=1,3,5,7
/proc/1207/stat : 1207 (scip-2.1.1.4sfi) R 1205 1207 31092 0 -1 4202496 12686 0 0 0 26 2 0 0 20 0 1 0 270653234 59203584 12383 33554432000 4194304 10169799 140734802471520 140734802336216 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1207/statm: 14454 12383 602 1459 0 12986 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 57816
[startup+0.700246 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1207
/proc/meminfo: memFree=27972300/32873648 swapFree=7372/7372
[pid=1207] ppid=1205 vsize=71136 CPUtime=0.69 cores=1,3,5,7
/proc/1207/stat : 1207 (scip-2.1.1.4sfi) R 1205 1207 31092 0 -1 4202496 15826 0 0 0 65 4 0 0 20 0 1 0 270653234 72843264 15523 33554432000 4194304 10169799 140734802471520 140734802467784 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1207/statm: 17784 15523 607 1459 0 16316 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 71136
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1208
/proc/meminfo: memFree=27901472/32873648 swapFree=7372/7372
[pid=1207] ppid=1205 vsize=86536 CPUtime=1.48 cores=1,3,5,7
/proc/1207/stat : 1207 (scip-2.1.1.4sfi) R 1205 1207 31092 0 -1 4202496 19666 0 0 0 141 7 0 0 20 0 1 0 270653234 88612864 19363 33554432000 4194304 10169799 140734802471520 140734802469528 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1207/statm: 21634 19363 607 1459 0 20166 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 86536
[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1208
/proc/meminfo: memFree=27882252/32873648 swapFree=7372/7372
[pid=1207] ppid=1205 vsize=115968 CPUtime=3.09 cores=1,3,5,7
/proc/1207/stat : 1207 (scip-2.1.1.4sfi) R 1205 1207 31092 0 -1 4202496 27020 0 0 0 297 12 0 0 20 0 1 0 270653234 118751232 26717 33554432000 4194304 10169799 140734802471520 140734802469032 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1207/statm: 28992 26717 607 1459 0 27524 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 115968
[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1208
/proc/meminfo: memFree=27833228/32873648 swapFree=7372/7372
[pid=1207] ppid=1205 vsize=151892 CPUtime=6.29 cores=1,3,5,7
/proc/1207/stat : 1207 (scip-2.1.1.4sfi) R 1205 1207 31092 0 -1 4202496 36357 0 0 0 611 18 0 0 20 0 1 0 270653234 155537408 35896 33554432000 4194304 10169799 140734802471520 140734802465976 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1207/statm: 37973 35896 776 1459 0 36505 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 151892
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1208
/proc/meminfo: memFree=27830516/32873648 swapFree=7372/7372
[pid=1207] ppid=1205 vsize=152508 CPUtime=12.69 cores=1,3,5,7
/proc/1207/stat : 1207 (scip-2.1.1.4sfi) R 1205 1207 31092 0 -1 4202496 36565 0 0 0 1248 21 0 0 20 0 1 0 270653234 156168192 36104 33554432000 4194304 10169799 140734802471520 140734802463096 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1207/statm: 38127 36104 779 1459 0 36659 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 152508
[startup+25.5001 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1208
/proc/meminfo: memFree=27799748/32873648 swapFree=7372/7372
[pid=1207] ppid=1205 vsize=186972 CPUtime=25.48 cores=1,3,5,7
/proc/1207/stat : 1207 (scip-2.1.1.4sfi) R 1205 1207 31092 0 -1 4202496 45794 0 0 0 2509 39 0 0 20 0 1 0 270653234 191459328 44079 33554432000 4194304 10169799 140734802471520 140734802460968 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1207/statm: 46743 44079 823 1459 0 45275 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 186972
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1208
/proc/meminfo: memFree=27822820/32873648 swapFree=7372/7372
[pid=1207] ppid=1205 vsize=161708 CPUtime=51.08 cores=1,3,5,7
/proc/1207/stat : 1207 (scip-2.1.1.4sfi) R 1205 1207 31092 0 -1 4202496 53236 0 0 0 5055 53 0 0 20 0 1 0 270653234 165588992 38064 33554432000 4194304 10169799 140734802471520 140734802466216 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1207/statm: 40427 38064 847 1459 0 38959 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 161708
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1208
/proc/meminfo: memFree=27820464/32873648 swapFree=7372/7372
[pid=1207] ppid=1205 vsize=161852 CPUtime=102.27 cores=1,3,5,7
/proc/1207/stat : 1207 (scip-2.1.1.4sfi) R 1205 1207 31092 0 -1 4202496 55972 0 0 0 10152 75 0 0 20 0 1 0 270653234 165736448 38255 33554432000 4194304 10169799 140734802471520 140734802466216 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1207/statm: 40463 38255 848 1459 0 38995 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 161852
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1209
/proc/meminfo: memFree=27888044/32873648 swapFree=7372/7372
[pid=1207] ppid=1205 vsize=163236 CPUtime=162.27 cores=1,3,5,7
/proc/1207/stat : 1207 (scip-2.1.1.4sfi) R 1205 1207 31092 0 -1 4202496 63071 0 0 0 16116 111 0 0 20 0 1 0 270653234 167153664 38450 33554432000 4194304 10169799 140734802471520 140734802465928 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1207/statm: 40809 38450 848 1459 0 39341 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 163236
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1209
/proc/meminfo: memFree=27890280/32873648 swapFree=7372/7372
[pid=1207] ppid=1205 vsize=164580 CPUtime=222.26 cores=1,3,5,7
/proc/1207/stat : 1207 (scip-2.1.1.4sfi) R 1205 1207 31092 0 -1 4202496 72113 0 0 0 22078 148 0 0 20 0 1 0 270653234 168529920 38937 33554432000 4194304 10169799 140734802471520 140734802466168 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1207/statm: 41145 38937 848 1459 0 39677 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 164580
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1209
/proc/meminfo: memFree=27883584/32873648 swapFree=7372/7372
[pid=1207] ppid=1205 vsize=165892 CPUtime=282.24 cores=1,3,5,7
/proc/1207/stat : 1207 (scip-2.1.1.4sfi) R 1205 1207 31092 0 -1 4202496 83014 0 0 0 28043 181 0 0 20 0 1 0 270653234 169873408 39162 33554432000 4194304 10169799 140734802471520 140734802466024 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1207/statm: 41473 39162 848 1459 0 40005 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 165892
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1212
/proc/meminfo: memFree=27888052/32873648 swapFree=7372/7372
[pid=1207] ppid=1205 vsize=166328 CPUtime=342.24 cores=1,3,5,7
/proc/1207/stat : 1207 (scip-2.1.1.4sfi) R 1205 1207 31092 0 -1 4202496 90616 0 0 0 34013 211 0 0 20 0 1 0 270653234 170319872 39176 33554432000 4194304 10169799 140734802471520 140734802465928 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1207/statm: 41582 39176 848 1459 0 40114 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 166328
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1212
/proc/meminfo: memFree=27884140/32873648 swapFree=7372/7372
[pid=1207] ppid=1205 vsize=165948 CPUtime=402.22 cores=1,3,5,7
/proc/1207/stat : 1207 (scip-2.1.1.4sfi) R 1205 1207 31092 0 -1 4202496 101485 0 0 0 39977 245 0 0 20 0 1 0 270653234 169930752 40102 33554432000 4194304 10169799 140734802471520 140734802465928 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1207/statm: 41487 40102 848 1459 0 40019 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 165948
[startup+462.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 1213
/proc/meminfo: memFree=27882008/32873648 swapFree=7372/7372
[pid=1207] ppid=1205 vsize=166924 CPUtime=462.21 cores=1,3,5,7
/proc/1207/stat : 1207 (scip-2.1.1.4sfi) R 1205 1207 31092 0 -1 4202496 106039 0 0 0 45939 282 0 0 20 0 1 0 270653234 170930176 40597 33554432000 4194304 10169799 140734802471520 140734802466168 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1207/statm: 41731 40597 848 1459 0 40263 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 166924
[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 1213
/proc/meminfo: memFree=27881512/32873648 swapFree=7372/7372
[pid=1207] ppid=1205 vsize=167776 CPUtime=522.2 cores=1,3,5,7
/proc/1207/stat : 1207 (scip-2.1.1.4sfi) R 1205 1207 31092 0 -1 4202496 111653 0 0 0 51905 315 0 0 20 0 1 0 270653234 171802624 40836 33554432000 4194304 10169799 140734802471520 140734802466120 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1207/statm: 41944 40836 848 1459 0 40476 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 167776
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1213
/proc/meminfo: memFree=27880892/32873648 swapFree=7372/7372
[pid=1207] ppid=1205 vsize=167948 CPUtime=582.19 cores=1,3,5,7
/proc/1207/stat : 1207 (scip-2.1.1.4sfi) R 1205 1207 31092 0 -1 4202496 116224 0 0 0 57869 350 0 0 20 0 1 0 270653234 171978752 41009 33554432000 4194304 10169799 140734802471520 140734802465880 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1207/statm: 41987 41009 848 1459 0 40519 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 167948
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27869092/32873648 swapFree=7372/7372
[pid=1207] ppid=1205 vsize=171904 CPUtime=1122.1 cores=1,3,5,7
/proc/1207/stat : 1207 (scip-2.1.1.4sfi) R 1205 1207 31092 0 -1 4202496 129988 0 0 0 111547 663 0 0 20 0 1 0 270653234 176029696 42001 33554432000 4194304 10169799 140734802471520 140734802466312 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1207/statm: 42976 42001 848 1459 0 41508 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 171904
[startup+1182.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 1257
/proc/meminfo: memFree=27386804/32873648 swapFree=7372/7372
[pid=1207] ppid=1205 vsize=170364 CPUtime=1182.1 cores=1,3,5,7
/proc/1207/stat : 1207 (scip-2.1.1.4sfi) R 1205 1207 31092 0 -1 4202496 133397 0 0 0 117518 692 0 0 20 0 1 0 270653234 174452736 41634 33554432000 4194304 10169799 140734802471520 140734802465928 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1207/statm: 42591 41634 848 1459 0 41123 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 170364
[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 1257
/proc/meminfo: memFree=26966488/32873648 swapFree=7372/7372
[pid=1207] ppid=1205 vsize=171860 CPUtime=1242.09 cores=1,3,5,7
/proc/1207/stat : 1207 (scip-2.1.1.4sfi) R 1205 1207 31092 0 -1 4202496 138798 0 0 0 123489 720 0 0 20 0 1 0 270653234 175984640 41963 33554432000 4194304 10169799 140734802471520 140734802466024 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1207/statm: 42965 41963 848 1459 0 41497 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 171860
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 1257
/proc/meminfo: memFree=26963044/32873648 swapFree=7372/7372
[pid=1207] ppid=1205 vsize=170940 CPUtime=1302.09 cores=1,3,5,7
/proc/1207/stat : 1207 (scip-2.1.1.4sfi) R 1205 1207 31092 0 -1 4202496 143248 0 0 0 129466 743 0 0 20 0 1 0 270653234 175042560 41769 33554432000 4194304 10169799 140734802471520 140734802466504 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1207/statm: 42735 41769 848 1459 0 41267 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 170940
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1258
/proc/meminfo: memFree=26959972/32873648 swapFree=7372/7372
[pid=1207] ppid=1205 vsize=172280 CPUtime=1362.07 cores=1,3,5,7
/proc/1207/stat : 1207 (scip-2.1.1.4sfi) R 1205 1207 31092 0 -1 4202496 153322 0 0 0 135439 768 0 0 20 0 1 0 270653234 176414720 41870 33554432000 4194304 10169799 140734802471520 140734802466024 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1207/statm: 43070 41870 848 1459 0 41602 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 172280
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1258
/proc/meminfo: memFree=26951568/32873648 swapFree=7372/7372
[pid=1207] ppid=1205 vsize=172372 CPUtime=1422.07 cores=1,3,5,7
/proc/1207/stat : 1207 (scip-2.1.1.4sfi) R 1205 1207 31092 0 -1 4202496 167717 0 0 0 141407 800 0 0 20 0 1 0 270653234 176508928 42002 33554432000 4194304 10169799 140734802471520 140734802465928 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1207/statm: 43093 42002 848 1459 0 41625 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 172372
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1258
/proc/meminfo: memFree=26951720/32873648 swapFree=7372/7372
[pid=1207] ppid=1205 vsize=171596 CPUtime=1482.05 cores=1,3,5,7
/proc/1207/stat : 1207 (scip-2.1.1.4sfi) R 1205 1207 31092 0 -1 4202496 177808 0 0 0 147380 825 0 0 20 0 1 0 270653234 175714304 41922 33554432000 4194304 10169799 140734802471520 140734802465976 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1207/statm: 42899 41922 848 1459 0 41431 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 171596
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1261
/proc/meminfo: memFree=26950572/32873648 swapFree=7372/7372
[pid=1207] ppid=1205 vsize=172652 CPUtime=1542.04 cores=1,3,5,7
/proc/1207/stat : 1207 (scip-2.1.1.4sfi) R 1205 1207 31092 0 -1 4202496 185552 0 0 0 153351 853 0 0 20 0 1 0 270653234 176795648 42065 33554432000 4194304 10169799 140734802471520 140734802469256 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1207/statm: 43163 42065 848 1459 0 41695 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 172652
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1261
/proc/meminfo: memFree=26947816/32873648 swapFree=7372/7372
[pid=1207] ppid=1205 vsize=173496 CPUtime=1602.03 cores=1,3,5,7
/proc/1207/stat : 1207 (scip-2.1.1.4sfi) R 1205 1207 31092 0 -1 4202496 192671 0 0 0 159325 878 0 0 20 0 1 0 270653234 177659904 42379 33554432000 4194304 10169799 140734802471520 140734802466120 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1207/statm: 43374 42379 848 1459 0 41906 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 173496
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1262
/proc/meminfo: memFree=26946604/32873648 swapFree=7372/7372
[pid=1207] ppid=1205 vsize=173496 CPUtime=1662.02 cores=1,3,5,7
/proc/1207/stat : 1207 (scip-2.1.1.4sfi) R 1205 1207 31092 0 -1 4202496 192695 0 0 0 165299 903 0 0 20 0 1 0 270653234 177659904 42403 33554432000 4194304 10169799 140734802471520 140734802466216 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1207/statm: 43374 42403 848 1459 0 41906 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 173496
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1262
/proc/meminfo: memFree=26946632/32873648 swapFree=7372/7372
[pid=1207] ppid=1205 vsize=173464 CPUtime=1722.01 cores=1,3,5,7
/proc/1207/stat : 1207 (scip-2.1.1.4sfi) R 1205 1207 31092 0 -1 4202496 193933 0 0 0 171269 932 0 0 20 0 1 0 270653234 177627136 42333 33554432000 4194304 10169799 140734802471520 140734802466312 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1207/statm: 43366 42333 848 1459 0 41898 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 173464
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1262
/proc/meminfo: memFree=26841380/32873648 swapFree=7372/7372
[pid=1207] ppid=1205 vsize=172056 CPUtime=1782.01 cores=1,3,5,7
/proc/1207/stat : 1207 (scip-2.1.1.4sfi) R 1205 1207 31092 0 -1 4202496 197808 0 0 0 177239 962 0 0 20 0 1 0 270653234 176185344 42036 33554432000 4194304 10169799 140734802471520 140734802466024 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1207/statm: 43014 42036 848 1459 0 41546 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 172056
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 1262
/proc/meminfo: memFree=26840248/32873648 swapFree=7372/7372
[pid=1207] ppid=1205 vsize=173312 CPUtime=1785.2 cores=1,3,5,7
/proc/1207/stat : 1207 (scip-2.1.1.4sfi) R 1205 1207 31092 0 -1 4202496 198669 0 0 0 177557 963 0 0 20 0 1 0 270653234 177471488 42183 33554432000 4194304 10169799 140734802471520 140734802466168 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1207/statm: 43328 42183 848 1459 0 41860 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 173312
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1262
/proc/meminfo: memFree=26840496/32873648 swapFree=7372/7372
[pid=1207] ppid=1205 vsize=173008 CPUtime=1791.61 cores=1,3,5,7
/proc/1207/stat : 1207 (scip-2.1.1.4sfi) R 1205 1207 31092 0 -1 4202496 199419 0 0 0 178195 966 0 0 20 0 1 0 270653234 177160192 42198 33554432000 4194304 10169799 140734802471520 140734802466312 8020022 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1207/statm: 43252 42198 848 1459 0 41784 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 173008
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1262
/proc/meminfo: memFree=26840232/32873648 swapFree=7372/7372
[pid=1207] ppid=1205 vsize=173008 CPUtime=1794.81 cores=1,3,5,7
/proc/1207/stat : 1207 (scip-2.1.1.4sfi) R 1205 1207 31092 0 -1 4202496 199420 0 0 0 178513 968 0 0 20 0 1 0 270653234 177160192 42199 33554432000 4194304 10169799 140734802471520 140734802466168 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1207/statm: 43252 42199 848 1459 0 41784 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 173008
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1262
/proc/meminfo: memFree=26840232/32873648 swapFree=7372/7372
[pid=1207] ppid=1205 vsize=173008 CPUtime=1795.6 cores=1,3,5,7
/proc/1207/stat : 1207 (scip-2.1.1.4sfi) R 1205 1207 31092 0 -1 4202496 199420 0 0 0 178592 968 0 0 20 0 1 0 270653234 177160192 42199 33554432000 4194304 10169799 140734802471520 140734802465928 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1207/statm: 43252 42199 848 1459 0 41784 0
Current children cumulated CPU time (s) 1795.6
Current children cumulated vsize (KiB) 173008
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1262
/proc/meminfo: memFree=26840108/32873648 swapFree=7372/7372
[pid=1207] ppid=1205 vsize=173008 CPUtime=1796.41 cores=1,3,5,7
/proc/1207/stat : 1207 (scip-2.1.1.4sfi) R 1205 1207 31092 0 -1 4202496 199420 0 0 0 178672 969 0 0 20 0 1 0 270653234 177160192 42199 33554432000 4194304 10169799 140734802471520 140734802465928 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1207/statm: 43252 42199 848 1459 0 41784 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 173008
[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1262
/proc/meminfo: memFree=26840108/32873648 swapFree=7372/7372
[pid=1207] ppid=1205 vsize=173008 CPUtime=1796.61 cores=1,3,5,7
/proc/1207/stat : 1207 (scip-2.1.1.4sfi) R 1205 1207 31092 0 -1 4202496 199420 0 0 0 178692 969 0 0 20 0 1 0 270653234 177160192 42199 33554432000 4194304 10169799 140734802471520 140734802465928 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1207/statm: 43252 42199 848 1459 0 41784 0
Current children cumulated CPU time (s) 1796.61
Current children cumulated vsize (KiB) 173008
[startup+1797 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1262
/proc/meminfo: memFree=26840108/32873648 swapFree=7372/7372
[pid=1207] ppid=1205 vsize=173008 CPUtime=1796.71 cores=1,3,5,7
/proc/1207/stat : 1207 (scip-2.1.1.4sfi) R 1205 1207 31092 0 -1 4202496 199420 0 0 0 178702 969 0 0 20 0 1 0 270653234 177160192 42199 33554432000 4194304 10169799 140734802471520 140734802465928 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1207/statm: 43252 42199 848 1459 0 41784 0
Current children cumulated CPU time (s) 1796.71
Current children cumulated vsize (KiB) 173008
Child status: 0
Real time (s): 1797.03
CPU time (s): 1796.75
CPU user time (s): 1787.05
CPU system time (s): 9.69653
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 187208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.05
system time used= 9.69652
maximum resident set size= 176808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199424
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= 1849
runsolver used 2.96655 second user time and 8.05977 second system time
The end