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-3692979-1338045182.opb>
0.01/0.02 c original problem has 4015 variables (4015 bin, 0 int, 0 impl, 0 cont) and 4163 constraints
0.01/0.02 c problem read in 0.02
0.01/0.05 c presolving:
0.01/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, 6552 impls, 73 clqs
0.01/0.06 c (round 2) 165 del vars, 16 del conss, 0 add conss, 165 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6552 impls, 70 clqs
0.01/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, 6598 impls, 69 clqs
0.01/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, 7392 impls, 69 clqs
0.01/0.07 c (round 5) 341 del vars, 299 del conss, 0 add conss, 340 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8224 impls, 69 clqs
0.01/0.07 c (round 6) 376 del vars, 334 del conss, 0 add conss, 375 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 9298 impls, 69 clqs
0.01/0.08 c (round 7) 403 del vars, 361 del conss, 0 add conss, 402 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 9870 impls, 69 clqs
0.01/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, 10290 impls, 69 clqs
0.01/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, 10676 impls, 69 clqs
0.01/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, 10748 impls, 69 clqs
0.01/0.08 c (round 11) 455 del vars, 413 del conss, 0 add conss, 454 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10794 impls, 69 clqs
0.01/0.08 c (round 12) 456 del vars, 414 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10824 impls, 69 clqs
0.09/0.12 c (round 13) 456 del vars, 483 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3611 upgd conss, 10830 impls, 69 clqs
0.09/0.13 c (round 14) 456 del vars, 483 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3680 upgd conss, 10830 impls, 69 clqs
0.59/0.68 c (round 15) 481 del vars, 483 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3680 upgd conss, 319866 impls, 69 clqs
0.59/0.69 c (round 16) 481 del vars, 508 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3680 upgd conss, 319866 impls, 69 clqs
1.19/1.27 c (round 17) 506 del vars, 508 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3680 upgd conss, 787542 impls, 69 clqs
1.19/1.27 c (round 18) 506 del vars, 533 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3680 upgd conss, 787558 impls, 69 clqs
1.19/1.29 c (round 19) 506 del vars, 533 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3682 upgd conss, 787558 impls, 69 clqs
1.29/1.32 c (round 20) 531 del vars, 533 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3682 upgd conss, 799518 impls, 69 clqs
1.29/1.32 c (round 21) 532 del vars, 559 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3682 upgd conss, 799614 impls, 69 clqs
1.29/1.34 c (round 22) 532 del vars, 559 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3691 upgd conss, 799614 impls, 69 clqs
1.29/1.37 c (round 23) 558 del vars, 559 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3691 upgd conss, 816835 impls, 69 clqs
1.29/1.38 c (round 24) 558 del vars, 585 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3691 upgd conss, 817309 impls, 69 clqs
1.29/1.39 c (round 25) 558 del vars, 585 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3713 upgd conss, 817309 impls, 69 clqs
1.39/1.44 c (round 26) 583 del vars, 585 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3713 upgd conss, 819973 impls, 69 clqs
1.39/1.45 c (round 27) 583 del vars, 610 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3713 upgd conss, 819973 impls, 69 clqs
1.39/1.48 c (round 28) 608 del vars, 610 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3713 upgd conss, 819973 impls, 69 clqs
1.39/1.48 c (round 29) 608 del vars, 635 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3713 upgd conss, 819973 impls, 69 clqs
1.49/1.51 c (round 30) 633 del vars, 635 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3713 upgd conss, 823899 impls, 69 clqs
1.49/1.51 c (round 31) 634 del vars, 661 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3713 upgd conss, 823997 impls, 69 clqs
1.49/1.53 c (round 32) 634 del vars, 661 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3721 upgd conss, 823997 impls, 69 clqs
1.49/1.54 c (round 33) 659 del vars, 661 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3721 upgd conss, 823997 impls, 69 clqs
1.49/1.54 c (round 34) 665 del vars, 692 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3721 upgd conss, 824171 impls, 69 clqs
1.49/1.56 c (round 35) 665 del vars, 692 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3727 upgd conss, 824171 impls, 69 clqs
1.89/1.90 c (1.9s) probing: 1000/3559 (28.1%) - 214 fixings, 6 aggregations, 204052 implications, 1 bound changes
1.89/1.97 c (round 36) 690 del vars, 692 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3727 upgd conss, 963485 impls, 69 clqs
1.89/1.97 c (round 37) 690 del vars, 717 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3727 upgd conss, 963541 impls, 69 clqs
1.89/1.98 c (round 38) 690 del vars, 717 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3728 upgd conss, 963541 impls, 69 clqs
1.99/2.01 c (round 39) 715 del vars, 717 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3728 upgd conss, 966019 impls, 69 clqs
1.99/2.01 c (round 40) 718 del vars, 745 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3728 upgd conss, 966055 impls, 69 clqs
1.99/2.03 c (round 41) 718 del vars, 745 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3733 upgd conss, 966055 impls, 69 clqs
2.99/3.09 c (round 42) 743 del vars, 745 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3733 upgd conss, 1361129 impls, 69 clqs
2.99/3.09 c (round 43) 744 del vars, 771 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3733 upgd conss, 1361133 impls, 69 clqs
3.09/3.11 c (round 44) 744 del vars, 771 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3735 upgd conss, 1361133 impls, 69 clqs
3.20/3.26 c (3.3s) probing: 2000/3559 (56.2%) - 290 fixings, 6 aggregations, 436925 implications, 1 bound changes
4.09/4.13 c (round 45) 769 del vars, 771 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3735 upgd conss, 1738713 impls, 69 clqs
4.09/4.13 c (round 46) 769 del vars, 796 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3735 upgd conss, 1738715 impls, 69 clqs
4.09/4.15 c (round 47) 769 del vars, 796 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3736 upgd conss, 1738715 impls, 69 clqs
4.59/4.62 c (round 48) 794 del vars, 796 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3736 upgd conss, 1915499 impls, 69 clqs
4.59/4.62 c (round 49) 794 del vars, 821 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3736 upgd conss, 1915501 impls, 69 clqs
4.59/4.64 c (round 50) 794 del vars, 821 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3737 upgd conss, 1915501 impls, 69 clqs
4.89/4.99 c (5.0s) probing: 3000/3559 (84.3%) - 323 fixings, 6 aggregations, 749351 implications, 1 bound changes
5.79/5.81 c (5.8s) probing cycle finished: starting next cycle
5.79/5.86 c (5.9s) probing: 51/3218 (1.6%) - 323 fixings, 6 aggregations, 859385 implications, 1 bound changes
5.79/5.86 c (5.9s) probing aborted: 50/50 successive totally useless probings
5.79/5.86 c (round 51) 797 del vars, 821 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3737 upgd conss, 2271703 impls, 69 clqs
5.79/5.87 c (round 52) 797 del vars, 824 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3737 upgd conss, 2271703 impls, 69 clqs
5.79/5.89 c (5.9s) probing: 56/3218 (1.7%) - 323 fixings, 6 aggregations, 859385 implications, 1 bound changes
5.79/5.89 c (5.9s) probing aborted: 50/50 successive totally useless probings
5.79/5.89 c presolving (53 rounds):
5.79/5.89 c 797 deleted vars, 824 deleted constraints, 0 added constraints, 456 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
5.79/5.89 c 2271703 implications, 69 cliques
5.79/5.89 c presolved problem has 3218 variables (3218 bin, 0 int, 0 impl, 0 cont) and 3339 constraints
5.79/5.89 c 686 constraints of type <setppc>
5.79/5.89 c 2653 constraints of type <logicor>
5.79/5.89 c transformed objective value is always integral (scale: 1)
5.79/5.89 c Presolving Time: 5.86
5.79/5.89 c - non default parameters ----------------------------------------------------------------------
5.79/5.89 c # SCIP version 2.1.1.4
5.79/5.89 c
5.79/5.89 c # maximal time in seconds to run
5.79/5.89 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.79/5.89 c limits/time = 1797
5.79/5.89 c
5.79/5.89 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.79/5.89 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.79/5.89 c limits/memory = 13950
5.79/5.89 c
5.79/5.89 c # default clock type (1: CPU user seconds, 2: wall clock time)
5.79/5.89 c # [type: int, range: [1,2], default: 1]
5.79/5.89 c timing/clocktype = 2
5.79/5.89 c
5.79/5.89 c # belongs reading time to solving time?
5.79/5.89 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.79/5.89 c timing/reading = TRUE
5.79/5.89 c
5.79/5.89 c -----------------------------------------------------------------------------------------------
5.79/5.89 c start solving
5.79/5.89 c
6.99/7.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.99/7.02 c 7.0s| 1 | 0 | 4553 | - | 73M| 0 | 975 |3218 |3356 |3218 |3339 | 0 | 17 | 0 | 0.000000e+00 | -- | Inf
26.59/26.65 c 26.6s| 1 | 0 | 30646 | - | 73M| 0 | 979 |3218 |3356 |3218 |3398 | 59 | 17 | 0 | 0.000000e+00 | -- | Inf
27.28/27.38 c 27.4s| 1 | 0 | 32090 | - | 73M| 0 | 957 |3218 |3356 |3218 |3435 | 96 | 17 | 0 | 0.000000e+00 | -- | Inf
28.38/28.42 c 28.4s| 1 | 0 | 34284 | - | 73M| 0 |1099 |3218 |3356 |3218 |3463 | 124 | 17 | 0 | 0.000000e+00 | -- | Inf
29.19/29.29 c 29.3s| 1 | 0 | 35897 | - | 73M| 0 |1206 |3218 |3356 |3218 |3490 | 151 | 17 | 0 | 0.000000e+00 | -- | Inf
30.09/30.10 c 30.1s| 1 | 0 | 37216 | - | 73M| 0 |1219 |3218 |3356 |3218 |3518 | 179 | 17 | 0 | 0.000000e+00 | -- | Inf
30.69/30.80 c 30.8s| 1 | 0 | 38219 | - | 73M| 0 |1198 |3218 |3356 |3218 |3532 | 193 | 17 | 0 | 0.000000e+00 | -- | Inf
51.59/51.65 c 51.6s| 1 | 2 | 38219 | - | 73M| 0 |1198 |3218 |3356 |3218 |3532 | 193 | 17 | 33 | 0.000000e+00 | -- | Inf
154.67/154.77 c 155s| 100 | 37 |135086 | 978.5 | 74M| 30 | 255 |3218 |3386 |3218 |3461 | 193 | 50 | 278 | 0.000000e+00 | -- | Inf
178.07/178.20 c 178s| 200 | 35 |185995 | 742.6 | 74M| 46 | 318 |3218 |3408 |3218 |3461 | 193 | 73 | 310 | 0.000000e+00 | -- | Inf
215.66/215.76 c 216s| 300 | 31 |267371 | 766.4 | 74M| 46 | - |3218 |3442 |3218 |3461 | 193 | 107 | 363 | 0.000000e+00 | -- | Inf
241.25/241.32 c 241s| 400 | 39 |319400 | 704.7 | 74M| 46 | 244 |3218 |3462 |3218 |3461 | 193 | 128 | 400 | 0.000000e+00 | -- | Inf
288.85/288.96 c 289s| 500 | 45 |444410 | 814.0 | 74M| 46 | - |3218 |3483 |3218 |3461 | 193 | 150 | 440 | 0.000000e+00 | -- | Inf
321.44/321.56 c 322s| 600 | 47 |511307 | 789.8 | 74M| 46 | - |3218 |3496 | 0 | 0 | 193 | 167 | 492 | 0.000000e+00 | -- | Inf
344.33/344.48 c 344s| 700 | 45 |565744 | 754.7 | 74M| 46 | 264 |3218 |3501 |3218 |3461 | 193 | 173 | 522 | 0.000000e+00 | -- | Inf
372.53/372.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
372.53/372.64 c 373s| 800 | 47 |631279 | 742.3 | 74M| 46 | 221 |3218 |3508 |3218 |3461 | 193 | 183 | 564 | 0.000000e+00 | -- | Inf
399.13/399.21 c 399s| 900 | 49 |687622 | 722.4 | 74M| 46 | - |3218 |3515 |3218 |3461 | 193 | 191 | 611 | 0.000000e+00 | -- | Inf
426.32/426.44 c 426s| 1000 | 44 |745580 | 708.1 | 74M| 46 | - |3218 |3543 |3218 |3461 | 193 | 220 | 652 | 0.000000e+00 | -- | Inf
452.52/452.68 c 453s| 1100 | 44 |803288 | 696.2 | 74M| 46 | - |3218 |3542 |3218 |3461 | 193 | 224 | 694 | 0.000000e+00 | -- | Inf
474.12/474.25 c 474s| 1200 | 46 |853528 | 680.0 | 74M| 46 | - |3218 |3558 |3218 |3461 | 193 | 246 | 727 | 0.000000e+00 | -- | Inf
497.41/497.50 c 498s| 1300 | 46 |910258 | 671.3 | 74M| 46 | - |3218 |3573 |3218 |3461 | 193 | 261 | 757 | 0.000000e+00 | -- | Inf
543.50/543.67 c 544s| 1400 | 44 | 1042k| 718.1 | 74M| 46 | - |3218 |3587 |3218 |3461 | 193 | 279 | 803 | 0.000000e+00 | -- | Inf
562.70/562.86 c 563s| 1500 | 44 | 1089k| 701.5 | 74M| 46 | - |3218 |3594 |3218 |3461 | 193 | 289 | 834 | 0.000000e+00 | -- | Inf
601.09/601.25 c 601s| 1600 | 44 | 1168k| 706.9 | 74M| 46 | - |3218 |3604 |3218 |3461 | 193 | 305 | 900 | 0.000000e+00 | -- | Inf
618.89/619.03 c 619s| 1700 | 44 | 1211k| 690.5 | 74M| 46 | 278 |3218 |3608 |3218 |3461 | 193 | 312 | 926 | 0.000000e+00 | -- | Inf
643.79/643.90 c 644s| 1800 | 44 | 1268k| 683.8 | 74M| 46 | - |3218 |3607 |3218 |3461 | 193 | 316 | 968 | 0.000000e+00 | -- | Inf
671.99/672.11 c 672s| 1900 | 44 | 1329k| 680.1 | 74M| 46 | 249 |3218 |3618 |3218 |3461 | 193 | 328 |1022 | 0.000000e+00 | -- | Inf
697.58/697.79 c 698s| 2000 | 44 | 1387k| 674.9 | 74M| 46 | 385 |3218 |3633 |3218 |3461 | 193 | 347 |1065 | 0.000000e+00 | -- | Inf
720.08/720.23 c 720s| 2100 | 44 | 1442k| 669.0 | 74M| 46 | 189 |3218 |3662 |3218 |3461 | 193 | 378 |1097 | 0.000000e+00 | -- | Inf
740.67/740.89 c 741s| 2200 | 44 | 1490k| 660.5 | 74M| 46 | - |3218 |3740 |3218 |3461 | 193 | 459 |1137 | 0.000000e+00 | -- | Inf
759.36/759.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
759.36/759.52 c 760s| 2300 | 44 | 1533k| 650.6 | 74M| 46 | - |3218 |3783 |3218 |3461 | 193 | 511 |1172 | 0.000000e+00 | -- | Inf
783.56/783.78 c 784s| 2400 | 42 | 1591k| 647.7 | 74M| 46 | - |3218 |3790 |3218 |3461 | 193 | 527 |1211 | 0.000000e+00 | -- | Inf
804.77/804.93 c 805s| 2500 | 44 | 1639k| 640.6 | 74M| 46 | - |3218 |3821 |3218 |3461 | 193 | 559 |1246 | 0.000000e+00 | -- | Inf
822.76/822.92 c 823s| 2600 | 46 | 1680k| 631.9 | 74M| 48 | - |3218 |3862 |3218 |3461 | 193 | 614 |1278 | 0.000000e+00 | -- | Inf
846.15/846.35 c 846s| 2700 | 42 | 1743k| 631.8 | 74M| 48 | - |3218 |3860 |3218 |3461 | 193 | 636 |1318 | 0.000000e+00 | -- | Inf
870.96/871.15 c 871s| 2800 | 44 | 1797k| 628.7 | 74M| 52 | 208 |3218 |3853 |3218 |3461 | 193 | 642 |1369 | 0.000000e+00 | -- | Inf
888.95/889.11 c 889s| 2900 | 42 | 1839k| 621.4 | 74M| 52 | - |3218 |3888 |3218 |3461 | 193 | 689 |1404 | 0.000000e+00 | -- | Inf
909.25/909.47 c 909s| 3000 | 40 | 1889k| 617.5 | 74M| 52 | - |3218 |3879 |3218 |3461 | 193 | 713 |1442 | 0.000000e+00 | -- | Inf
931.64/931.88 c 932s| 3100 | 44 | 1938k| 613.3 | 74M| 52 | 350 |3218 |3914 |3218 |3461 | 193 | 779 |1486 | 0.000000e+00 | -- | Inf
954.44/954.66 c 955s| 3200 | 46 | 1987k| 609.4 | 74M| 52 | 263 |3218 |3963 |3218 |3461 | 193 | 851 |1529 | 0.000000e+00 | -- | Inf
998.93/999.18 c 999s| 3300 | 42 | 2115k| 629.7 | 74M| 52 | 441 |3218 |3941 |3218 |3461 | 193 | 909 |1567 | 0.000000e+00 | -- | Inf
1034.94/1035.11 c 1035s| 3400 | 44 | 2187k| 632.3 | 74M| 52 | 422 |3218 |3927 |3218 |3461 | 193 | 924 |1621 | 0.000000e+00 | -- | Inf
1066.83/1067.06 c 1067s| 3500 | 44 | 2256k| 633.9 | 74M| 52 | - |3218 |3910 |3218 |3461 | 193 | 948 |1662 | 0.000000e+00 | -- | Inf
1088.42/1088.68 c 1089s| 3600 | 46 | 2301k| 629.0 | 74M| 52 | - |3218 |3909 |3218 |3461 | 193 | 987 |1698 | 0.000000e+00 | -- | Inf
1110.82/1111.06 c 1111s| 3700 | 48 | 2352k| 625.7 | 74M| 52 | 232 |3218 |3922 |3218 |3461 | 193 |1028 |1729 | 0.000000e+00 | -- | Inf
1124.32/1124.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1124.32/1124.57 c 1125s| 3800 | 47 | 2386k| 618.0 | 74M| 52 | 326 |3218 |3960 |3218 |3461 | 193 |1097 |1754 | 0.000000e+00 | -- | Inf
1141.62/1141.89 c 1142s| 3900 | 48 | 2425k| 612.4 | 74M| 52 | - |3218 |3986 | 0 | 0 | 193 |1155 |1785 | 0.000000e+00 | -- | Inf
1158.81/1159.00 c 1159s| 4000 | 48 | 2461k| 606.0 | 74M| 52 | - |3218 |4046 |3218 |3461 | 193 |1231 |1813 | 0.000000e+00 | -- | Inf
1176.00/1176.23 c 1176s| 4100 | 46 | 2503k| 601.4 | 74M| 52 | 469 |3218 |4104 |3218 |3461 | 193 |1313 |1845 | 0.000000e+00 | -- | Inf
1197.40/1197.65 c 1198s| 4200 | 45 | 2551k| 598.5 | 74M| 52 | 337 |3218 |4182 |3218 |3461 | 193 |1423 |1884 | 0.000000e+00 | -- | Inf
1219.10/1219.35 c 1219s| 4300 | 48 | 2598k| 595.7 | 74M| 52 | - |3218 |4163 |3218 |3461 | 193 |1490 |1926 | 0.000000e+00 | -- | Inf
1246.19/1246.45 c 1246s| 4400 | 46 | 2655k| 595.0 | 74M| 52 | 312 |3218 |4183 |3218 |3461 | 193 |1544 |1983 | 0.000000e+00 | -- | Inf
1271.59/1271.84 c 1272s| 4500 | 41 | 2713k| 594.7 | 74M| 52 | - |3218 |4220 |3218 |3461 | 193 |1630 |2027 | 0.000000e+00 | -- | Inf
1327.49/1327.78 c 1328s| 4600 | 39 | 2829k| 606.9 | 74M| 52 | 556 |3218 |4209 |3218 |3461 | 193 |1653 |2105 | 0.000000e+00 | -- | Inf
1371.38/1371.60 c 1372s| 4700 | 41 | 2915k| 612.3 | 74M| 52 | 339 |3218 |4164 |3218 |3461 | 193 |1673 |2167 | 0.000000e+00 | -- | Inf
1401.77/1402.05 c 1402s| 4800 | 43 | 2983k| 613.7 | 74M| 52 | 229 |3218 |4105 |3218 |3461 | 193 |1735 |2208 | 0.000000e+00 | -- | Inf
1416.37/1416.69 c 1417s| 4900 | 42 | 3015k| 607.7 | 74M| 52 | 263 |3218 |4120 |3218 |3461 | 193 |1804 |2233 | 0.000000e+00 | -- | Inf
1436.57/1436.88 c 1437s| 5000 | 41 | 3060k| 604.5 | 74M| 52 | - |3218 |4082 |3218 |3461 | 193 |1867 |2270 | 0.000000e+00 | -- | Inf
1457.76/1458.09 c 1458s| 5100 | 42 | 3112k| 602.8 | 74M| 52 | 268 |3218 |4094 |3218 |3461 | 193 |1910 |2303 | 0.000000e+00 | -- | Inf
1476.45/1476.79 c 1477s| 5200 | 41 | 3155k| 599.5 | 74M| 52 | - |3218 |4146 |3218 |3461 | 193 |1967 |2350 | 0.000000e+00 | -- | Inf
1497.86/1498.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1497.86/1498.16 c 1498s| 5300 | 42 | 3206k| 597.9 | 74M| 52 | - |3218 |4155 |3218 |3461 | 193 |2030 |2383 | 0.000000e+00 | -- | Inf
1515.36/1515.64 c 1516s| 5400 | 42 | 3244k| 593.8 | 74M| 52 | - |3218 |4191 |3218 |3461 | 193 |2072 |2428 | 0.000000e+00 | -- | Inf
1533.95/1534.20 c 1534s| 5500 | 44 | 3287k| 590.9 | 74M| 52 | 176 |3218 |4159 |3218 |3461 | 193 |2095 |2458 | 0.000000e+00 | -- | Inf
1547.94/1548.27 c 1548s| 5600 | 44 | 3319k| 586.0 | 74M| 52 | - |3218 |4232 | 0 | 0 | 193 |2185 |2490 | 0.000000e+00 | -- | Inf
1558.04/1558.31 c 1558s| 5700 | 42 | 3344k| 580.1 | 74M| 52 | - |3218 |4297 |3218 |3461 | 193 |2271 |2506 | 0.000000e+00 | -- | Inf
1575.04/1575.31 c 1575s| 5800 | 44 | 3384k| 577.0 | 74M| 52 | - |3218 |4344 |3218 |3461 | 193 |2344 |2538 | 0.000000e+00 | -- | Inf
1588.15/1588.44 c 1588s| 5900 | 44 | 3414k| 572.4 | 74M| 52 | 175 |3218 |4447 |3218 |3461 | 193 |2460 |2567 | 0.000000e+00 | -- | Inf
1604.84/1605.18 c 1605s| 6000 | 42 | 3451k| 568.9 | 74M| 52 | - |3218 |4477 |3218 |3461 | 193 |2572 |2598 | 0.000000e+00 | -- | Inf
1621.94/1622.26 c 1622s| 6100 | 46 | 3498k| 567.3 | 74M| 57 | 185 |3218 |4449 |3218 |3461 | 193 |2635 |2622 | 0.000000e+00 | -- | Inf
1645.73/1646.09 c 1646s| 6200 | 41 | 3550k| 566.6 | 74M| 59 | - |3218 |4463 |3218 |3461 | 193 |2667 |2670 | 0.000000e+00 | -- | Inf
1668.82/1669.11 c 1669s| 6300 | 45 | 3600k| 565.5 | 74M| 59 | 154 |3218 |4351 |3218 |3461 | 193 |2724 |2711 | 0.000000e+00 | -- | Inf
1692.22/1692.57 c 1693s| 6400 | 42 | 3647k| 564.1 | 74M| 59 | - |3218 |4387 | 0 | 0 | 193 |2834 |2751 | 0.000000e+00 | -- | Inf
1712.92/1713.20 c 1713s| 6500 | 44 | 3695k| 562.8 | 74M| 59 | - |3218 |4396 |3218 |3461 | 193 |2888 |2793 | 0.000000e+00 | -- | Inf
1731.02/1731.36 c 1731s| 6600 | 41 | 3736k| 560.4 | 74M| 59 | 296 |3218 |4463 |3218 |3461 | 193 |2985 |2836 | 0.000000e+00 | -- | Inf
1751.82/1752.11 c 1752s| 6700 | 44 | 3784k| 559.2 | 74M| 59 | - |3218 |4521 |3218 |3461 | 193 |3085 |2873 | 0.000000e+00 | -- | Inf
1772.31/1772.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1772.31/1772.69 c 1773s| 6800 | 44 | 3830k| 557.8 | 74M| 59 | 362 |3218 |4547 |3218 |3461 | 193 |3127 |2924 | 0.000000e+00 | -- | Inf
1794.82/1795.13 c 1795s| 6900 | 45 | 3876k| 556.3 | 74M| 59 | 300 |3218 |4607 |3218 |3461 | 193 |3221 |2964 | 0.000000e+00 | -- | Inf
1796.70/1797.01 c
1796.70/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.01 c Solving Time (sec) : 1797.01
1796.70/1797.01 c Solving Nodes : 6911
1796.70/1797.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.70/1797.01 c Dual Bound : +0.00000000000000e+00
1796.70/1797.01 c Gap : infinite
1796.70/1797.01 s UNKNOWN
1796.70/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.01 c Total Time : 1797.01
1796.70/1797.01 c solving : 1797.01
1796.70/1797.01 c presolving : 5.86 (included in solving)
1796.70/1797.01 c reading : 0.02 (included in solving)
1796.70/1797.01 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.70/1797.01 c Original Problem :
1796.70/1797.01 c Problem name : HOME/instance-3692979-1338045182.opb
1796.70/1797.01 c Variables : 4015 (4015 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.01 c Constraints : 4163 initial, 4163 maximal
1796.70/1797.01 c Objective sense : minimize
1796.70/1797.01 c Presolved Problem :
1796.70/1797.01 c Problem name : t_HOME/instance-3692979-1338045182.opb
1796.70/1797.01 c Variables : 3218 (3218 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.01 c Constraints : 3339 initial, 4615 maximal
1796.70/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c trivial : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c gateextraction : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c implics : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c probing : 5.38 0.00 323 6 0 1 0 0 0 0 0
1796.70/1797.01 c setppc : 0.08 0.00 11 0 0 0 0 176 0 0 0
1796.70/1797.01 c linear : 0.05 0.00 455 1 0 455 0 483 0 0 0
1796.70/1797.01 c logicor : 0.26 0.00 1 0 0 0 0 165 0 0 0
1796.70/1797.01 c root node : - - 0 - - 0 - - - - -
1796.70/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.70/1797.01 c integral : 0 0 0 0 3756 0 4 0 44 723 0 0 6996
1796.70/1797.01 c setppc : 686 686 6 86377 0 2 3 293419 239 247562 0 0 0
1796.70/1797.01 c logicor : 2653+ 3929 6 77453 0 2 0 542177 746 440226 0 0 0
1796.70/1797.01 c countsols : 0 0 0 0 0 2 0 0 0 0 0 0 0
1796.70/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.70/1797.01 c integral : 633.90 0.00 0.00 0.00 633.89 0.00 0.00 0.00
1796.70/1797.01 c setppc : 1.05 0.00 0.00 0.91 0.00 0.00 0.00 0.14
1796.70/1797.01 c logicor : 2.22 0.00 0.00 1.93 0.00 0.00 0.00 0.29
1796.70/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.70/1797.01 c rootredcost : 0 0 0 0
1796.70/1797.01 c pseudoobj : 0 0 0 0
1796.70/1797.01 c vbounds : 0 0 0 0
1796.70/1797.01 c redcost : 3762 0 0 0
1796.70/1797.01 c probing : 0 0 0 0
1796.70/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.70/1797.01 c rootredcost : 0.02 0.00 0.00 0.02 0.00
1796.70/1797.01 c pseudoobj : 0.02 0.00 0.00 0.02 0.00
1796.70/1797.01 c vbounds : 0.02 0.00 0.00 0.02 0.00
1796.70/1797.01 c redcost : 0.18 0.00 0.00 0.18 0.00
1796.70/1797.01 c probing : 5.38 0.00 5.38 0.00 0.00
1796.70/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.01 c propagation : 0.33 985 737 4111 64.5 120 30.9 -
1796.70/1797.01 c infeasible LP : 4.97 2779 317 6154 375.3 14 7.7 0
1796.70/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.01 c applied globally : - - - 3229 61.2 - - -
1796.70/1797.01 c applied locally : - - - 0 0.0 - - -
1796.70/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.70/1797.01 c cut pool : 0.00 5 - - 11 - (maximal pool size: 242)
1796.70/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c impliedbounds : 0.06 0.00 6 0 0 240 0
1796.70/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c gomory : 0.42 0.00 6 0 0 0 0
1796.70/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c strongcg : 0.42 0.00 6 0 0 0 0
1796.70/1797.01 c cmir : 0.11 0.00 6 0 0 0 0
1796.70/1797.01 c flowcover : 0.10 0.00 6 0 0 0 0
1796.70/1797.01 c clique : 3.50 0.00 6 0 0 60 0
1796.70/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c mcf : 0.00 0.00 1 0 0 0 0
1796.70/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.70/1797.01 c problem variables: 0.00 - 0 0
1796.70/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.01 c relpscost : 633.89 0.00 3756 44 723 0 0 6996
1796.70/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c inference : 0.00 0.00 2 0 0 0 0 4
1796.70/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.70/1797.01 c LP solutions : 0.00 - - 0
1796.70/1797.01 c pseudo solutions : 0.00 - - 0
1796.70/1797.01 c oneopt : 0.00 0.00 0 0
1796.70/1797.01 c crossover : 0.00 0.00 0 0
1796.70/1797.01 c guideddiving : 0.00 0.00 0 0
1796.70/1797.01 c intshifting : 0.00 0.00 0 0
1796.70/1797.01 c feaspump : 20.13 0.00 2 0
1796.70/1797.01 c coefdiving : 5.82 0.00 5 0
1796.70/1797.01 c pscostdiving : 2.03 0.00 5 0
1796.70/1797.01 c fracdiving : 2.18 0.00 5 0
1796.70/1797.01 c veclendiving : 40.02 0.00 5 0
1796.70/1797.01 c linesearchdiving : 2.96 0.00 5 0
1796.70/1797.01 c objpscostdiving : 20.64 0.00 3 0
1796.70/1797.01 c rootsoldiving : 5.67 0.00 3 0
1796.70/1797.01 c smallcard : 0.00 0.00 0 0
1796.70/1797.01 c trivial : 0.00 0.00 2 0
1796.70/1797.01 c shiftandpropagate: 0.02 0.00 1 0
1796.70/1797.01 c simplerounding : 0.00 0.00 0 0
1796.70/1797.01 c zirounding : 0.17 0.00 0 0
1796.70/1797.01 c rounding : 0.19 0.00 824 0
1796.70/1797.01 c shifting : 0.28 0.00 231 0
1796.70/1797.01 c twoopt : 0.00 0.00 0 0
1796.70/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.70/1797.01 c indoneopt : 0.00 0.00 0 0
1796.70/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.70/1797.01 c clique : 0.00 0.00 0 0
1796.70/1797.01 c indrounding : 0.00 0.00 0 0
1796.70/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.70/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.70/1797.01 c intdiving : 0.00 0.00 0 0
1796.70/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.70/1797.01 c octane : 0.00 0.00 0 0
1796.70/1797.01 c rens : 6.23 0.00 1 0
1796.70/1797.01 c rins : 0.00 0.00 0 0
1796.70/1797.01 c localbranching : 0.00 0.00 0 0
1796.70/1797.01 c mutation : 0.00 0.00 0 0
1796.70/1797.01 c dins : 0.00 0.00 0 0
1796.70/1797.01 c vbounds : 0.00 0.00 0 0
1796.70/1797.01 c undercover : 0.00 0.00 0 0
1796.70/1797.01 c subnlp : 0.00 0.00 0 0
1796.70/1797.01 c trysol : 0.00 0.00 0 0
1796.70/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.70/1797.01 c primal LP : 0.01 1 0 0.00 - 0.01 1
1796.70/1797.01 c dual LP : 1034.85 6469 3553060 549.92 3433.40 0.02 8
1796.70/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.70/1797.01 c diving/probing LP: 98.87 598 329392 550.82 3331.51
1796.70/1797.01 c strong branching : 633.53 2964 1923785 649.05 3036.60
1796.70/1797.01 c (at root node) : - 33 32568 986.91 -
1796.70/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.01 c B&B Tree :
1796.70/1797.01 c number of runs : 1
1796.70/1797.01 c nodes : 6911
1796.70/1797.01 c nodes (total) : 6911
1796.70/1797.01 c nodes left : 46
1796.70/1797.01 c max depth : 59
1796.70/1797.01 c max depth (total): 59
1796.70/1797.01 c backtracks : 817 (11.8%)
1796.70/1797.01 c delayed cutoffs : 44
1796.70/1797.01 c repropagations : 3290 (19806 domain reductions, 37 cutoffs)
1796.70/1797.01 c avg switch length: 3.39
1796.70/1797.01 c switching time : 1.39
1796.70/1797.01 c Solution :
1796.70/1797.01 c Solutions found : 0 (0 improvements)
1796.70/1797.01 c Primal Bound : -
1796.70/1797.01 c Dual Bound : +0.00000000000000e+00
1796.70/1797.01 c Gap : infinite
1796.70/1797.01 c Root Dual Bound : +0.00000000000000e+00
1796.70/1797.01 c Root Iterations : 38219
1796.70/1797.04 c Time complete: 1796.75.
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-3692979-1338045182/watcher-3692979-1338045182 -o /tmp/evaluation-result-3692979-1338045182/solver-3692979-1338045182 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692979-1338045182.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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 14875
/proc/meminfo: memFree=28060216/32873844 swapFree=6856/6856
[pid=14875] ppid=14873 vsize=10484 CPUtime=0 cores=0,2,4,6
/proc/14875/stat : 14875 (scip-2.1.1.4sfi) R 14873 14875 11551 0 -1 4202496 1356 0 0 0 0 0 0 0 20 0 1 0 270643121 10735616 1311 33554432000 4194304 10169799 140737142954656 140736384333688 7168862 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14875/statm: 2685 1313 409 1459 0 1217 0
[startup+0.0154141 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14875
/proc/meminfo: memFree=28060216/32873844 swapFree=6856/6856
[pid=14875] ppid=14873 vsize=14388 CPUtime=0.01 cores=0,2,4,6
/proc/14875/stat : 14875 (scip-2.1.1.4sfi) R 14873 14875 11551 0 -1 4202496 2353 0 0 0 1 0 0 0 20 0 1 0 270643121 14733312 2308 33554432000 4194304 10169799 140737142954656 140736384333688 8883659 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14875/statm: 3597 2308 409 1459 0 2129 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 14388
[startup+0.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14875
/proc/meminfo: memFree=28060216/32873844 swapFree=6856/6856
[pid=14875] ppid=14873 vsize=34276 CPUtime=0.09 cores=0,2,4,6
/proc/14875/stat : 14875 (scip-2.1.1.4sfi) R 14873 14875 11551 0 -1 4202496 7323 0 0 0 8 1 0 0 20 0 1 0 270643121 35098624 7021 33554432000 4194304 10169799 140737142954656 140736384333688 8961143 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14875/statm: 8569 7021 571 1459 0 7101 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34276
[startup+0.300275 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14875
/proc/meminfo: memFree=28060216/32873844 swapFree=6856/6856
[pid=14875] ppid=14873 vsize=56764 CPUtime=0.28 cores=0,2,4,6
/proc/14875/stat : 14875 (scip-2.1.1.4sfi) R 14873 14875 11551 0 -1 4202496 12811 0 0 0 26 2 0 0 20 0 1 0 270643121 58126336 12446 33554432000 4194304 10169799 140737142954656 140736384333688 5862035 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14875/statm: 14191 12446 602 1459 0 12723 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 56764
[startup+0.700268 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14875
/proc/meminfo: memFree=28060216/32873844 swapFree=6856/6856
[pid=14875] ppid=14873 vsize=73916 CPUtime=0.69 cores=0,2,4,6
/proc/14875/stat : 14875 (scip-2.1.1.4sfi) R 14873 14875 11551 0 -1 4202496 16368 0 0 0 66 3 0 0 20 0 1 0 270643121 75689984 16003 33554432000 4194304 10169799 140737142954656 140737142952184 8961143 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14875/statm: 18479 16003 607 1459 0 17011 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 73916
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14876
/proc/meminfo: memFree=27990752/32873844 swapFree=6856/6856
[pid=14875] ppid=14873 vsize=94348 CPUtime=1.49 cores=0,2,4,6
/proc/14875/stat : 14875 (scip-2.1.1.4sfi) R 14873 14875 11551 0 -1 4202496 21470 0 0 0 143 6 0 0 20 0 1 0 270643121 96612352 21105 33554432000 4194304 10169799 140737142954656 140737142953048 4257170 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14875/statm: 23587 21105 607 1459 0 22119 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 94348
[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14876
/proc/meminfo: memFree=27970640/32873844 swapFree=6856/6856
[pid=14875] ppid=14873 vsize=120336 CPUtime=3.09 cores=0,2,4,6
/proc/14875/stat : 14875 (scip-2.1.1.4sfi) R 14873 14875 11551 0 -1 4202496 27946 0 0 0 299 10 0 0 20 0 1 0 270643121 123224064 27581 33554432000 4194304 10169799 140737142954656 140737142952168 8961143 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14875/statm: 30084 27581 607 1459 0 28616 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 120336
[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14876
/proc/meminfo: memFree=27920280/32873844 swapFree=6856/6856
[pid=14875] ppid=14873 vsize=169384 CPUtime=6.29 cores=0,2,4,6
/proc/14875/stat : 14875 (scip-2.1.1.4sfi) R 14873 14875 11551 0 -1 4202496 40301 0 0 0 612 17 0 0 20 0 1 0 270643121 173449216 39820 33554432000 4194304 10169799 140737142954656 140737142952296 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14875/statm: 42346 39820 761 1459 0 40878 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 169384
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14876
/proc/meminfo: memFree=27899224/32873844 swapFree=6856/6856
[pid=14875] ppid=14873 vsize=172700 CPUtime=12.68 cores=0,2,4,6
/proc/14875/stat : 14875 (scip-2.1.1.4sfi) R 14873 14875 11551 0 -1 4202496 41810 0 0 0 1250 18 0 0 20 0 1 0 270643121 176844800 40735 33554432000 4194304 10169799 140737142954656 140737142946936 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14875/statm: 43175 40735 778 1459 0 41707 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 172700
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14876
/proc/meminfo: memFree=27899324/32873844 swapFree=6856/6856
[pid=14875] ppid=14873 vsize=172700 CPUtime=25.48 cores=0,2,4,6
/proc/14875/stat : 14875 (scip-2.1.1.4sfi) R 14873 14875 11551 0 -1 4202496 41832 0 0 0 2517 31 0 0 20 0 1 0 270643121 176844800 40757 33554432000 4194304 10169799 140737142954656 140737142951768 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14875/statm: 43175 40757 795 1459 0 41707 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 172700
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14877
/proc/meminfo: memFree=27891100/32873844 swapFree=6856/6856
[pid=14875] ppid=14873 vsize=182448 CPUtime=51.08 cores=0,2,4,6
/proc/14875/stat : 14875 (scip-2.1.1.4sfi) R 14873 14875 11551 0 -1 4202496 50760 0 0 0 5064 44 0 0 20 0 1 0 270643121 186826752 42936 33554432000 4194304 10169799 140737142954656 140737142949304 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14875/statm: 45612 42936 846 1459 0 44144 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 182448
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14877
/proc/meminfo: memFree=27890772/32873844 swapFree=6856/6856
[pid=14875] ppid=14873 vsize=182808 CPUtime=102.28 cores=0,2,4,6
/proc/14875/stat : 14875 (scip-2.1.1.4sfi) R 14873 14875 11551 0 -1 4202496 50832 0 0 0 10167 61 0 0 20 0 1 0 270643121 187195392 43008 33554432000 4194304 10169799 140737142954656 140737142949304 8051594 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14875/statm: 45702 43008 846 1459 0 44234 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 182808
[startup+162.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 14877
/proc/meminfo: memFree=27889188/32873844 swapFree=6856/6856
[pid=14875] ppid=14873 vsize=184388 CPUtime=162.26 cores=0,2,4,6
/proc/14875/stat : 14875 (scip-2.1.1.4sfi) R 14873 14875 11551 0 -1 4202496 51141 0 0 0 16144 82 0 0 20 0 1 0 270643121 188813312 43317 33554432000 4194304 10169799 140737142954656 140737142949256 7978382 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14875/statm: 46097 43317 847 1459 0 44629 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 184388
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 14877
/proc/meminfo: memFree=27795912/32873844 swapFree=6856/6856
[pid=14875] ppid=14873 vsize=186300 CPUtime=222.25 cores=0,2,4,6
/proc/14875/stat : 14875 (scip-2.1.1.4sfi) R 14873 14875 11551 0 -1 4202496 54209 0 0 0 22120 105 0 0 20 0 1 0 270643121 190771200 43711 33554432000 4194304 10169799 140737142954656 140737142949064 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14875/statm: 46575 43711 847 1459 0 45107 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 186300
[startup+282.3 s]
/proc/loadavg: 2.09 2.02 2.01 3/177 14877
/proc/meminfo: memFree=27793588/32873844 swapFree=6856/6856
[pid=14875] ppid=14873 vsize=186296 CPUtime=282.25 cores=0,2,4,6
/proc/14875/stat : 14875 (scip-2.1.1.4sfi) R 14873 14875 11551 0 -1 4202496 56038 0 0 0 28093 132 0 0 20 0 1 0 270643121 190767104 43860 33554432000 4194304 10169799 140737142954656 140737142949256 8009519 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14875/statm: 46574 43860 847 1459 0 45106 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 186296
[startup+342.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 14878
/proc/meminfo: memFree=27792380/32873844 swapFree=6856/6856
[pid=14875] ppid=14873 vsize=187412 CPUtime=342.24 cores=0,2,4,6
/proc/14875/stat : 14875 (scip-2.1.1.4sfi) R 14873 14875 11551 0 -1 4202496 58060 0 0 0 34070 154 0 0 20 0 1 0 270643121 191909888 44037 33554432000 4194304 10169799 140737142954656 140737142949160 7907916 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14875/statm: 46853 44037 847 1459 0 45385 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 187412
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 14878
/proc/meminfo: memFree=27789908/32873844 swapFree=6856/6856
[pid=14875] ppid=14873 vsize=187728 CPUtime=402.23 cores=0,2,4,6
/proc/14875/stat : 14875 (scip-2.1.1.4sfi) R 14873 14875 11551 0 -1 4202496 58260 0 0 0 40042 181 0 0 20 0 1 0 270643121 192233472 44235 33554432000 4194304 10169799 140737142954656 140737142949160 8009711 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14875/statm: 46932 44235 847 1459 0 45464 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 187728
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14881
/proc/meminfo: memFree=27785836/32873844 swapFree=6856/6856
[pid=14875] ppid=14873 vsize=187940 CPUtime=462.22 cores=0,2,4,6
/proc/14875/stat : 14875 (scip-2.1.1.4sfi) R 14873 14875 11551 0 -1 4202496 58330 0 0 0 46021 201 0 0 20 0 1 0 270643121 192450560 45258 33554432000 4194304 10169799 140737142954656 140737142949160 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14875/statm: 46985 45258 847 1459 0 45517 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 187940
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14881
/proc/meminfo: memFree=27779704/32873844 swapFree=6856/6856
[pid=14875] ppid=14873 vsize=188212 CPUtime=522.2 cores=0,2,4,6
/proc/14875/stat : 14875 (scip-2.1.1.4sfi) R 14873 14875 11551 0 -1 4202496 58345 0 0 0 51996 224 0 0 20 0 1 0 270643121 192729088 46190 33554432000 4194304 10169799 140737142954656 140737142948984 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14875/statm: 47053 46190 847 1459 0 45585 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 188212
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14881
/proc/meminfo: memFree=27779208/32873844 swapFree=6856/6856
[pid=14875] ppid=14873 vsize=188184 CPUtime=582.2 cores=0,2,4,6
/proc/14875/stat : 14875 (scip-2.1.1.4sfi) R 14873 14875 11551 0 -1 4202496 59966 0 0 0 57968 252 0 0 20 0 1 0 270643121 192700416 46237 33554432000 4194304 10169799 140737142954656 140737142949640 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14875/statm: 47046 46237 847 1459 0 45578 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 188184
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27773752/32873844 swapFree=6856/6856
[pid=14875] ppid=14873 vsize=190780 CPUtime=1122.12 cores=0,2,4,6
/proc/14875/stat : 14875 (scip-2.1.1.4sfi) R 14873 14875 11551 0 -1 4202496 64158 0 0 0 111734 478 0 0 20 0 1 0 270643121 195358720 46914 33554432000 4194304 10169799 140737142954656 140737142949160 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14875/statm: 47695 46914 847 1459 0 46227 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 190780
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14925
/proc/meminfo: memFree=28052316/32873844 swapFree=6856/6856
[pid=14875] ppid=14873 vsize=191124 CPUtime=1182.1 cores=0,2,4,6
/proc/14875/stat : 14875 (scip-2.1.1.4sfi) R 14873 14875 11551 0 -1 4202496 64159 0 0 0 117704 506 0 0 20 0 1 0 270643121 195710976 46915 33554432000 4194304 10169799 140737142954656 140737142949256 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14875/statm: 47781 46915 847 1459 0 46313 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 191124
[startup+1242.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 14925
/proc/meminfo: memFree=27576820/32873844 swapFree=6856/6856
[pid=14875] ppid=14873 vsize=192152 CPUtime=1242.09 cores=0,2,4,6
/proc/14875/stat : 14875 (scip-2.1.1.4sfi) R 14873 14875 11551 0 -1 4202496 64417 0 0 0 123675 534 0 0 20 0 1 0 270643121 196763648 47173 33554432000 4194304 10169799 140737142954656 140737142948328 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14875/statm: 48038 47173 847 1459 0 46570 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 192152
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 14926
/proc/meminfo: memFree=27575940/32873844 swapFree=6856/6856
[pid=14875] ppid=14873 vsize=192900 CPUtime=1302.09 cores=0,2,4,6
/proc/14875/stat : 14875 (scip-2.1.1.4sfi) R 14873 14875 11551 0 -1 4202496 65129 0 0 0 129653 556 0 0 20 0 1 0 270643121 197529600 47359 33554432000 4194304 10169799 140737142954656 140737142949640 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14875/statm: 48225 47359 847 1459 0 46757 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 192900
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14926
/proc/meminfo: memFree=27571876/32873844 swapFree=6856/6856
[pid=14875] ppid=14873 vsize=192888 CPUtime=1362.08 cores=0,2,4,6
/proc/14875/stat : 14875 (scip-2.1.1.4sfi) R 14873 14875 11551 0 -1 4202496 69512 0 0 0 135630 578 0 0 20 0 1 0 270643121 197517312 47357 33554432000 4194304 10169799 140737142954656 140737142949256 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14875/statm: 48222 47357 847 1459 0 46754 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 192888
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14926
/proc/meminfo: memFree=27569548/32873844 swapFree=6856/6856
[pid=14875] ppid=14873 vsize=192224 CPUtime=1422.07 cores=0,2,4,6
/proc/14875/stat : 14875 (scip-2.1.1.4sfi) R 14873 14875 11551 0 -1 4202496 69931 0 0 0 141601 606 0 0 20 0 1 0 270643121 196837376 47211 33554432000 4194304 10169799 140737142954656 140737142949352 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14875/statm: 48056 47211 847 1459 0 46588 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 192224
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14926
/proc/meminfo: memFree=27452136/32873844 swapFree=6856/6856
[pid=14875] ppid=14873 vsize=193776 CPUtime=1482.05 cores=0,2,4,6
/proc/14875/stat : 14875 (scip-2.1.1.4sfi) R 14873 14875 11551 0 -1 4202496 70219 0 0 0 147574 631 0 0 20 0 1 0 270643121 198426624 47499 33554432000 4194304 10169799 140737142954656 140737142949304 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14875/statm: 48444 47499 847 1459 0 46976 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 193776
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14926
/proc/meminfo: memFree=27426180/32873844 swapFree=6856/6856
[pid=14875] ppid=14873 vsize=193776 CPUtime=1542.05 cores=0,2,4,6
/proc/14875/stat : 14875 (scip-2.1.1.4sfi) R 14873 14875 11551 0 -1 4202496 70254 0 0 0 153548 657 0 0 20 0 1 0 270643121 198426624 47534 33554432000 4194304 10169799 140737142954656 140737142949448 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14875/statm: 48444 47534 847 1459 0 46976 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 193776
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14927
/proc/meminfo: memFree=27422364/32873844 swapFree=6856/6856
[pid=14875] ppid=14873 vsize=194004 CPUtime=1602.03 cores=0,2,4,6
/proc/14875/stat : 14875 (scip-2.1.1.4sfi) R 14873 14875 11551 0 -1 4202496 70423 0 0 0 159519 684 0 0 20 0 1 0 270643121 198660096 47703 33554432000 4194304 10169799 140737142954656 140737142949640 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14875/statm: 48501 47703 847 1459 0 47033 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 194004
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14930
/proc/meminfo: memFree=27421084/32873844 swapFree=6856/6856
[pid=14875] ppid=14873 vsize=194168 CPUtime=1662.02 cores=0,2,4,6
/proc/14875/stat : 14875 (scip-2.1.1.4sfi) R 14873 14875 11551 0 -1 4202496 70424 0 0 0 165495 707 0 0 20 0 1 0 270643121 198828032 47704 33554432000 4194304 10169799 140737142954656 140737142949064 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14875/statm: 48542 47704 847 1459 0 47074 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 194168
[startup+1722.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/177 14930
/proc/meminfo: memFree=27420252/32873844 swapFree=6856/6856
[pid=14875] ppid=14873 vsize=194752 CPUtime=1722.02 cores=0,2,4,6
/proc/14875/stat : 14875 (scip-2.1.1.4sfi) R 14873 14875 11551 0 -1 4202496 71521 0 0 0 171467 735 0 0 20 0 1 0 270643121 199426048 47842 33554432000 4194304 10169799 140737142954656 140737142949160 7708606 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14875/statm: 48688 47842 847 1459 0 47220 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 194752
[startup+1782.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 14930
/proc/meminfo: memFree=27419288/32873844 swapFree=6856/6856
[pid=14875] ppid=14873 vsize=195364 CPUtime=1782.01 cores=0,2,4,6
/proc/14875/stat : 14875 (scip-2.1.1.4sfi) R 14873 14875 11551 0 -1 4202496 71626 0 0 0 177439 762 0 0 20 0 1 0 270643121 200052736 47947 33554432000 4194304 10169799 140737142954656 140737142949064 8009472 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14875/statm: 48841 47947 847 1459 0 47373 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 195364
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 14930
/proc/meminfo: memFree=27419520/32873844 swapFree=6856/6856
[pid=14875] ppid=14873 vsize=195364 CPUtime=1785.21 cores=0,2,4,6
/proc/14875/stat : 14875 (scip-2.1.1.4sfi) R 14873 14875 11551 0 -1 4202496 71626 0 0 0 177757 764 0 0 20 0 1 0 270643121 200052736 47947 33554432000 4194304 10169799 140737142954656 140737142949352 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14875/statm: 48841 47947 847 1459 0 47373 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 195364
[startup+1791.91 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 14930
/proc/meminfo: memFree=27419272/32873844 swapFree=6856/6856
[pid=14875] ppid=14873 vsize=195364 CPUtime=1791.61 cores=0,2,4,6
/proc/14875/stat : 14875 (scip-2.1.1.4sfi) R 14873 14875 11551 0 -1 4202496 71627 0 0 0 178395 766 0 0 20 0 1 0 270643121 200052736 47948 33554432000 4194304 10169799 140737142954656 140737142949352 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14875/statm: 48841 47948 847 1459 0 47373 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 195364
[startup+1795.1 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 14930
/proc/meminfo: memFree=27419256/32873844 swapFree=6856/6856
[pid=14875] ppid=14873 vsize=195364 CPUtime=1794.82 cores=0,2,4,6
/proc/14875/stat : 14875 (scip-2.1.1.4sfi) R 14873 14875 11551 0 -1 4202496 71627 0 0 0 178714 768 0 0 20 0 1 0 270643121 200052736 47948 33554432000 4194304 10169799 140737142954656 140737142949064 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14875/statm: 48841 47948 847 1459 0 47373 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (KiB) 195364
[startup+1795.9 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 14930
/proc/meminfo: memFree=27419256/32873844 swapFree=6856/6856
[pid=14875] ppid=14873 vsize=195364 CPUtime=1795.61 cores=0,2,4,6
/proc/14875/stat : 14875 (scip-2.1.1.4sfi) R 14873 14875 11551 0 -1 4202496 71627 0 0 0 178793 768 0 0 20 0 1 0 270643121 200052736 47948 33554432000 4194304 10169799 140737142954656 140737142949064 8021029 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14875/statm: 48841 47948 847 1459 0 47373 0
Current children cumulated CPU time (s) 1795.61
Current children cumulated vsize (KiB) 195364
[startup+1796.7 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 14930
/proc/meminfo: memFree=27419256/32873844 swapFree=6856/6856
[pid=14875] ppid=14873 vsize=195364 CPUtime=1796.4 cores=0,2,4,6
/proc/14875/stat : 14875 (scip-2.1.1.4sfi) R 14873 14875 11551 0 -1 4202496 71627 0 0 0 178872 768 0 0 20 0 1 0 270643121 200052736 47948 33554432000 4194304 10169799 140737142954656 140737142949064 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14875/statm: 48841 47948 847 1459 0 47373 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 195364
[startup+1796.9 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 14930
/proc/meminfo: memFree=27419256/32873844 swapFree=6856/6856
[pid=14875] ppid=14873 vsize=195364 CPUtime=1796.6 cores=0,2,4,6
/proc/14875/stat : 14875 (scip-2.1.1.4sfi) R 14873 14875 11551 0 -1 4202496 71627 0 0 0 178892 768 0 0 20 0 1 0 270643121 200052736 47948 33554432000 4194304 10169799 140737142954656 140737142949064 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14875/statm: 48841 47948 847 1459 0 47373 0
Current children cumulated CPU time (s) 1796.6
Current children cumulated vsize (KiB) 195364
[startup+1797 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 14930
/proc/meminfo: memFree=27419256/32873844 swapFree=6856/6856
[pid=14875] ppid=14873 vsize=195364 CPUtime=1796.7 cores=0,2,4,6
/proc/14875/stat : 14875 (scip-2.1.1.4sfi) R 14873 14875 11551 0 -1 4202496 71627 0 0 0 178902 768 0 0 20 0 1 0 270643121 200052736 47948 33554432000 4194304 10169799 140737142954656 140737142949064 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14875/statm: 48841 47948 847 1459 0 47373 0
Current children cumulated CPU time (s) 1796.7
Current children cumulated vsize (KiB) 195364
Child status: 0
Real time (s): 1797.04
CPU time (s): 1796.76
CPU user time (s): 1789.07
CPU system time (s): 7.69183
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 210492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.07
system time used= 7.69183
maximum resident set size= 198220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71631
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 2498
runsolver used 4.44032 second user time and 10.5654 second system time
The end