0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute 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-4444305-1721301771.opb>
0.00/0.00 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.00/0.00 c problem read in 0.00
0.00/0.00 c No objective function, only one solution is needed.
0.00/0.01 c presolving:
0.00/0.01 c (0.0s) running MILP presolver
0.00/0.02 c (0.0s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.00/0.02 c (round 1, exhaustive) 0 del vars, 143 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 143 clqs
0.00/0.03 c (round 2, exhaustive) 0 del vars, 187 del conss, 0 add conss, 0 chg bounds, 44 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 143 clqs
0.00/0.03 c (round 3, exhaustive) 0 del vars, 198 del conss, 0 add conss, 0 chg bounds, 55 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 143 clqs
0.00/0.04 c (round 4, exhaustive) 0 del vars, 198 del conss, 0 add conss, 0 chg bounds, 55 chg sides, 0 chg coeffs, 2509 upgd conss, 0 impls, 143 clqs
0.00/0.04 c (round 5, exhaustive) 0 del vars, 264 del conss, 0 add conss, 0 chg bounds, 55 chg sides, 0 chg coeffs, 2509 upgd conss, 0 impls, 143 clqs
0.00/0.05 c (0.0s) probing: 51/231 (22.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.05 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.05 c (0.1s) symmetry computation finished: 1 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00)
0.00/0.05 c dynamic symmetry handling statistics:
0.00/0.05 c orbitopal reduction: no components
0.00/0.05 c orbital reduction: 1 components of sizes 1
0.00/0.05 c lexicographic reduction: 1 permutations with support sizes 121
0.00/0.05 c handled 1 out of 1 symmetry components
0.00/0.05 c presolving (6 rounds: 6 fast, 6 medium, 6 exhaustive):
0.00/0.05 c 0 deleted vars, 264 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 55 changed sides, 0 changed coefficients
0.00/0.05 c 0 implications, 143 cliques
0.00/0.05 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2443 constraints
0.00/0.05 c 1 constraints of type <knapsack>
0.00/0.05 c 22 constraints of type <setppc>
0.00/0.05 c 2420 constraints of type <logicor>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.04
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 10.0.0
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.05 c limits/time = 3596.997046
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.05 c limits/memory = 27900
0.00/0.05 c
0.00/0.05 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.00/0.05 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.00/0.05 c limits/solutions = 1
0.00/0.05 c
0.00/0.05 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
0.00/0.05 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.00/0.05 c misc/usesymmetry = 3
0.00/0.05 c
0.00/0.05 c # belongs reading time to solving time?
0.00/0.05 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c timing/reading = TRUE
0.00/0.05 c
0.00/0.05 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.00/0.05 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.05 c propagating/symmetry/detectdoublelex = FALSE
0.00/0.05 c
0.00/0.05 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.00/0.05 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.05 c propagating/symmetry/detectsubgroups = FALSE
0.00/0.05 c
0.00/0.05 c # Type of symmetries that shall be computed?
0.00/0.05 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.00/0.05 c propagating/symmetry/symtype = 1
0.00/0.05 c
0.00/0.05 c # Should components consisting of a single full reflection be handled?
0.00/0.05 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.05 c propagating/symmetry/usesimplesgncomp = FALSE
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.05 c
0.00/0.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.00/0.07 c 0.1s| 1 | 0 | 95 | - | 11M | 0 | 231 |2463 |2443 | 0 | 0 | 19 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.20 c 0.2s| 1 | 0 | 1376 | - | 12M | 0 | 231 |2466 |2445 | 2 | 1 | 22 | 0 | 0.000000e+00 | -- | Inf | unknown
0.19/0.26 c 0.3s| 1 | 0 | 1391 | - | 14M | 0 | 231 |2467 |2448 | 5 | 2 | 23 | 0 | 0.000000e+00 | -- | Inf | unknown
0.19/0.30 c 0.3s| 1 | 0 | 1411 | - | 17M | 0 | 231 |2472 |2453 | 10 | 3 | 28 | 0 | 0.000000e+00 | -- | Inf | unknown
0.29/0.34 c 0.3s| 1 | 0 | 1424 | - | 20M | 0 | 231 |2473 |2455 | 12 | 4 | 29 | 0 | 0.000000e+00 | -- | Inf | unknown
0.29/0.40 c 0.4s| 1 | 0 | 1437 | - | 22M | 0 | 231 |2475 |2457 | 14 | 5 | 31 | 0 | 0.000000e+00 | -- | Inf | unknown
0.39/0.46 c 0.5s| 1 | 0 | 1460 | - | 24M | 0 | 231 |2476 |2459 | 16 | 6 | 32 | 0 | 0.000000e+00 | -- | Inf | unknown
0.49/0.51 c 0.5s| 1 | 0 | 1476 | - | 26M | 0 | 231 |2479 |2462 | 19 | 7 | 35 | 0 | 0.000000e+00 | -- | Inf | unknown
0.49/0.57 c 0.6s| 1 | 0 | 1488 | - | 30M | 0 | 231 |2481 |2465 | 22 | 8 | 37 | 0 | 0.000000e+00 | -- | Inf | unknown
0.59/0.62 c 0.6s| 1 | 0 | 1508 | - | 32M | 0 | 231 |2482 |2466 | 23 | 9 | 38 | 0 | 0.000000e+00 | -- | Inf | unknown
0.59/0.68 c 0.7s| 1 | 0 | 1523 | - | 35M | 0 | 231 |2487 |2468 | 25 | 10 | 43 | 0 | 0.000000e+00 | -- | Inf | unknown
0.59/0.69 c 0.7s| 1 | 0 | 1538 | - | 35M | 0 | 231 |2489 |2470 | 27 | 11 | 45 | 0 | 0.000000e+00 | -- | Inf | unknown
0.68/0.78 c 0.8s| 1 | 2 | 1784 | - | 35M | 0 | 231 |2512 |2470 | 27 | 11 | 68 | 19 | 0.000000e+00 | -- | Inf | unknown
1.17/1.22 c 1.2s| 100 | 7 | 3948 | 24.3 | 40M | 20 | 231 |2565 |2453 | 57 | 0 | 123 | 19 | 0.000000e+00 | -- | Inf | 74.21%
1.58/1.62 c 1.6s| 200 | 5 | 5727 | 21.1 | 44M | 20 | 231 |2636 |2452 | 91 | 1 | 194 | 19 | 0.000000e+00 | -- | Inf | 81.19%
1.88/1.94 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.88/1.94 c 1.9s| 300 | 6 | 7114 | 18.6 | 46M | 20 | 231 |2719 |2449 | 116 | 1 | 278 | 19 | 0.000000e+00 | -- | Inf | 83.96%
2.28/2.35 c 2.4s| 400 | 16 | 9025 | 18.8 | 51M | 20 | 231 |2814 |2453 | 145 | 0 | 374 | 19 | 0.000000e+00 | -- | Inf | 89.02%
2.57/2.62 c 2.6s| 500 | 15 | 10624 | 18.2 | 54M | 20 | 231 |2893 |2455 | 181 | 0 | 459 | 19 | 0.000000e+00 | -- | Inf | 90.67%
2.77/2.86 c 2.9s| 600 | 14 | 12131 | 17.7 | 56M | 20 | 231 |2975 |2454 | 194 | 0 | 550 | 19 | 0.000000e+00 | -- | Inf | 91.12%
3.27/3.37 c 3.4s| 700 | 8 | 13813 | 17.6 | 56M | 20 | 231 |3072 |2449 | 200 | 2 | 657 | 19 | 0.000000e+00 | -- | Inf | 91.39%
3.67/3.76 c 3.8s| 800 | 13 | 15710 | 17.7 | 56M | 20 | 231 |3131 |2453 | 245 | 1 | 724 | 19 | 0.000000e+00 | -- | Inf | 94.64%
3.97/4.09 c 4.1s| 900 | 15 | 17785 | 18.1 | 57M | 20 | 231 |3204 |2453 | 283 | 1 | 806 | 19 | 0.000000e+00 | -- | Inf | 95.13%
4.36/4.42 c 4.4s| 1000 | 11 | 19622 | 18.1 | 57M | 20 | 231 |3288 |2453 | 292 | 0 | 893 | 19 | 0.000000e+00 | -- | Inf | 95.30%
4.76/4.86 c 4.9s| 1100 | 13 | 21365 | 18.0 | 57M | 20 | 231 |3363 |2451 | 331 | 1 | 970 | 19 | 0.000000e+00 | -- | Inf | 97.24%
4.97/5.07 c 5.1s| 1200 | 21 | 23059 | 17.9 | 57M | 20 | 231 |3392 |2455 | 352 | 1 |1007 | 19 | 0.000000e+00 | -- | Inf | 97.39%
5.36/5.49 c 5.5s| 1300 | 24 | 25069 | 18.1 | 56M | 29 | 231 |3469 |2453 | 358 | 1 |1087 | 19 | 0.000000e+00 | -- | Inf | 97.43%
5.66/5.77 c 5.8s| 1400 | 20 | 26539 | 17.9 | 56M | 32 | 231 |3534 |2453 | 358 | 1 |1155 | 19 | 0.000000e+00 | -- | Inf | 97.56%
6.26/6.30 c 6.3s| 1500 | 16 | 28394 | 17.9 | 56M | 32 | 231 |3576 |2449 | 376 | 1 |1208 | 19 | 0.000000e+00 | -- | Inf | 98.00%
6.46/6.53 c 6.5s| 1600 | 22 | 29937 | 17.8 | 56M | 32 | 231 |3651 |2452 | 400 | 0 |1284 | 19 | 0.000000e+00 | -- | Inf | 98.22%
6.76/6.89 c 6.9s| 1700 | 26 | 31917 | 17.9 | 56M | 32 | 231 |3729 |2452 | 407 | 0 |1363 | 19 | 0.000000e+00 | -- | Inf | 98.26%
7.25/7.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
7.25/7.35 c 7.3s| 1800 | 22 | 33484 | 17.8 | 56M | 32 | 231 |3824 |2452 | 408 | 1 |1466 | 19 | 0.000000e+00 | -- | Inf | 98.31%
7.85/7.94 c 7.9s| 1900 | 24 | 35442 | 17.9 | 56M | 32 | 231 |3906 |2452 | 409 | 0 |1555 | 19 | 0.000000e+00 | -- | Inf | 98.33%
8.25/8.34 c 8.3s| 2000 | 24 | 37086 | 17.8 | 56M | 32 | 231 |3984 |2452 | 410 | 1 |1639 | 19 | 0.000000e+00 | -- | Inf | 98.39%
8.35/8.46 c 8.5s| 2100 | 26 | 38669 | 17.7 | 56M | 34 | 231 |4091 |2452 | 411 | 1 |1753 | 19 | 0.000000e+00 | -- | Inf | 98.39%
8.45/8.57 c 8.6s| 2200 | 24 | 40153 | 17.6 | 56M | 34 | 231 |4209 |2452 | 411 | 0 |1879 | 19 | 0.000000e+00 | -- | Inf | 98.40%
8.55/8.69 c 8.7s| 2300 | 26 | 41804 | 17.5 | 56M | 34 | 231 |4310 |2452 | 412 | 0 |1985 | 19 | 0.000000e+00 | -- | Inf | 98.40%
8.75/8.87 c 8.9s| 2400 | 26 | 43361 | 17.4 | 56M | 34 | 231 |4421 |2452 | 418 | 0 |2099 | 19 | 0.000000e+00 | -- | Inf | 98.47%
9.05/9.13 c 9.1s| 2500 | 26 | 45077 | 17.4 | 56M | 34 | 231 |4513 |2452 | 450 | 0 |2194 | 19 | 0.000000e+00 | -- | Inf | 98.85%
9.15/9.28 c 9.3s| 2600 | 30 | 46536 | 17.3 | 56M | 35 | 231 |4592 |2454 | 458 | 1 |2279 | 19 | 0.000000e+00 | -- | Inf | 98.95%
9.35/9.43 c 9.4s| 2700 | 26 | 47951 | 17.2 | 56M | 35 | 231 |4673 |2452 | 465 | 0 |2363 | 19 | 0.000000e+00 | -- | Inf | 99.01%
9.45/9.55 c 9.6s| 2800 | 26 | 49378 | 17.1 | 56M | 35 | 231 |4764 |2452 | 466 | 1 |2467 | 19 | 0.000000e+00 | -- | Inf | 99.05%
9.55/9.67 c 9.7s| 2900 | 28 | 51082 | 17.1 | 56M | 35 | 231 |4877 |2452 | 466 | 0 |2584 | 19 | 0.000000e+00 | -- | Inf | 99.05%
9.64/9.79 c 9.8s| 3000 | 26 | 52690 | 17.1 | 56M | 35 | 231 |4968 |2452 | 466 | 1 |2686 | 19 | 0.000000e+00 | -- | Inf | 99.08%
9.84/9.91 c 9.9s| 3100 | 22 | 54408 | 17.1 | 56M | 35 | 231 |5039 |2454 | 466 | 0 |2762 | 19 | 0.000000e+00 | -- | Inf | 99.13%
9.95/10.03 c 10.0s| 3200 | 18 | 56059 | 17.0 | 56M | 36 | 231 |5141 |2452 | 467 | 0 |2872 | 19 | 0.000000e+00 | -- | Inf | 99.13%
10.05/10.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.05/10.18 c 10.2s| 3300 | 18 | 57756 | 17.0 | 56M | 36 | 231 |5228 |2453 | 475 | 0 |2973 | 19 | 0.000000e+00 | -- | Inf | 99.18%
10.24/10.30 c 10.3s| 3400 | 18 | 59271 | 17.0 | 56M | 36 | 231 |5318 |2453 | 476 | 0 |3076 | 19 | 0.000000e+00 | -- | Inf | 99.20%
10.44/10.53 c 10.5s| 3500 | 16 | 60869 | 17.0 | 56M | 36 | 231 |5381 |2452 | 494 | 1 |3161 | 19 | 0.000000e+00 | -- | Inf | 99.60%
10.54/10.64 c 10.6s| 3600 | 14 | 62294 | 16.9 | 56M | 36 | 231 |5474 |2452 | 494 | 0 |3278 | 19 | 0.000000e+00 | -- | Inf | 99.63%
10.64/10.77 c 10.8s| 3700 | 14 | 63974 | 16.9 | 56M | 36 | 231 |5527 |2454 | 496 | 1 |3360 | 19 | 0.000000e+00 | -- | Inf | 99.66%
10.74/10.89 c 10.9s| 3800 | 10 | 65399 | 16.8 | 56M | 36 | 231 |5630 |2453 | 501 | 0 |3475 | 19 | 0.000000e+00 | -- | Inf | 99.68%
10.94/11.02 c 11.0s| 3900 | 12 | 67106 | 16.8 | 56M | 36 | 231 |5721 |2452 | 505 | 0 |3581 | 19 | 0.000000e+00 | -- | Inf | 99.68%
11.05/11.14 c 11.1s| 4000 | 12 | 68774 | 16.8 | 56M | 36 | 231 |5848 |2452 | 506 | 1 |3718 | 19 | 0.000000e+00 | -- | Inf | 99.68%
11.14/11.28 c 11.3s| 4100 | 14 | 70676 | 16.9 | 56M | 36 | 231 |5953 |2453 | 512 | 0 |3838 | 19 | 0.000000e+00 | -- | Inf | 99.68%
11.34/11.41 c 11.4s| 4200 | 16 | 72483 | 16.9 | 56M | 36 | 231 |6077 |2454 | 515 | 1 |3971 | 19 | 0.000000e+00 | -- | Inf | 99.68%
11.44/11.54 c 11.5s| 4300 | 16 | 74338 | 16.9 | 57M | 36 | 231 |6202 |2453 | 518 | 1 |4108 | 19 | 0.000000e+00 | -- | Inf | 99.68%
11.54/11.66 c 11.7s| 4400 | 14 | 76012 | 16.9 | 57M | 38 | 231 |6306 |2453 | 518 | 0 |4227 | 19 | 0.000000e+00 | -- | Inf | 99.68%
11.64/11.79 c 11.8s| 4500 | 14 | 77902 | 17.0 | 57M | 38 | 231 |6425 |2453 | 519 | 1 |4357 | 19 | 0.000000e+00 | -- | Inf | 99.68%
11.84/11.96 c 12.0s| 4600 | 12 | 79957 | 17.1 | 57M | 39 | 231 |6527 |2455 | 527 | 0 |4474 | 19 | 0.000000e+00 | -- | Inf | 99.78%
11.94/12.10 c 12.1s| 4700 | 8 | 81836 | 17.1 | 57M | 39 | 231 |6607 |2455 | 530 | 0 |4570 | 19 | 0.000000e+00 | -- | Inf | 99.85%
12.13/12.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.13/12.22 c 12.2s| 4800 | 8 | 83664 | 17.1 | 57M | 39 | 231 |6725 |2455 | 532 | 0 |4700 | 19 | 0.000000e+00 | -- | Inf | 99.85%
12.23/12.35 c 12.3s| 4900 | 4 | 85300 | 17.1 | 57M | 39 | 231 |6797 |2454 | 535 | 0 |4792 | 19 | 0.000000e+00 | -- | Inf | 99.89%
12.33/12.48 c 12.5s| 5000 | 4 | 87126 | 17.1 | 57M | 39 | 231 |6907 |2452 | 537 | 1 |4919 | 19 | 0.000000e+00 | -- | Inf | 99.90%
12.53/12.61 c
12.53/12.61 c SCIP Status : problem is solved [infeasible]
12.53/12.61 c Solving Time (sec) : 12.61
12.53/12.61 c Solving Nodes : 5052
12.53/12.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
12.53/12.61 c Dual Bound : +1.00000000000000e+20
12.53/12.61 c Gap : 0.00 %
12.53/12.61 s UNSATISFIABLE
12.53/12.61 c SCIP Status : problem is solved [infeasible]
12.53/12.61 c Total Time : 12.61
12.53/12.61 c solving : 12.61
12.53/12.61 c presolving : 0.04 (included in solving)
12.53/12.61 c reading : 0.00 (included in solving)
12.53/12.61 c copying : 0.67 (105 #copies) (minimal 0.00, maximal 0.01, average 0.01)
12.53/12.61 c Original Problem :
12.53/12.61 c Problem name : HOME/instance-4444305-1721301771.opb
12.53/12.61 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
12.53/12.61 c Constraints : 2707 initial, 2707 maximal
12.53/12.61 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
12.53/12.61 c Presolved Problem :
12.53/12.61 c Problem name : t_HOME/instance-4444305-1721301771.opb
12.53/12.61 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
12.53/12.61 c Constraints : 2443 initial, 6947 maximal
12.53/12.61 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
12.53/12.61 c Nonzeros : 7612 constraint, 186 clique table
12.53/12.61 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
12.53/12.61 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
12.53/12.61 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
12.53/12.61 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
12.53/12.61 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
12.53/12.61 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
12.53/12.61 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
12.53/12.61 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
12.53/12.61 c gateextraction : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
12.53/12.61 c implics : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
12.53/12.61 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
12.53/12.61 c milp : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
12.53/12.61 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
12.53/12.61 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
12.53/12.61 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
12.53/12.61 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
12.53/12.61 c trivial : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
12.53/12.61 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
12.53/12.61 c dualfix : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
12.53/12.61 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
12.53/12.61 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
12.53/12.61 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
12.53/12.61 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
12.53/12.61 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
12.53/12.61 c knapsack : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
12.53/12.61 c setppc : 0.00 0.00 6 0 0 0 0 0 66 0 0 0
12.53/12.61 c linear : 0.02 0.00 8 0 0 0 0 0 198 0 55 0
12.53/12.61 c logicor : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
12.53/12.61 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
12.53/12.61 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
12.53/12.61 c root node : - - - 84 - - 84 - - - - -
12.53/12.61 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
12.53/12.61 c benderslp : 0 0 0 0 2531 0 0 216 0 0 0 0 0 0 0
12.53/12.61 c integral : 0 0 0 0 2531 0 0 216 0 0 0 0 0 0 5062
12.53/12.61 c knapsack : 1+ 6 11 19301 0 0 0 213 645 13 4113 2 1 0 0
12.53/12.61 c setppc : 22 22 11 19292 0 0 0 115 31188 58 26566 0 0 0 0
12.53/12.61 c linear : 0+ 20 0 13534 0 0 0 2 0 0 29 0 0 0 0
12.53/12.61 c logicor : 2420+ 6919 11 9013 0 0 0 0 13010 21 27348 3 0 0 0
12.53/12.61 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
12.53/12.61 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
12.53/12.61 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
12.53/12.61 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
12.53/12.61 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
12.53/12.61 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
12.53/12.61 c integral : 0.13 0.00 0.00 0.00 0.13 0.00 0.00 0.00 0.00 0.00
12.53/12.61 c knapsack : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
12.53/12.61 c setppc : 0.06 0.00 0.00 0.05 0.00 0.00 0.00 0.00 0.01 0.00
12.53/12.61 c linear : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
12.53/12.61 c logicor : 0.32 0.00 0.00 0.31 0.00 0.00 0.00 0.00 0.01 0.00
12.53/12.61 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
12.53/12.61 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
12.53/12.61 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
12.53/12.61 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
12.53/12.61 c Propagators : #Propagate #ResProp Cutoffs DomReds
12.53/12.61 c dualfix : 1 0 0 0
12.53/12.61 c genvbounds : 0 0 0 0
12.53/12.61 c nlobbt : 0 0 0 0
12.53/12.61 c obbt : 0 0 0 0
12.53/12.61 c probing : 0 0 0 0
12.53/12.61 c pseudoobj : 0 0 0 0
12.53/12.61 c redcost : 0 0 0 0
12.53/12.61 c rootredcost : 0 0 0 0
12.53/12.61 c symmetry : 18640 0 0 10
12.53/12.61 c vbounds : 13449 0 0 0
12.53/12.61 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
12.53/12.61 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
12.53/12.61 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
12.53/12.61 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
12.53/12.61 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
12.53/12.61 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
12.53/12.61 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
12.53/12.61 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
12.53/12.61 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
12.53/12.61 c symmetry : 0.15 0.00 0.01 0.15 0.00 0.00
12.53/12.61 c vbounds : 0.01 0.00 0.00 0.01 0.00 0.00
12.53/12.61 c Symmetry :
12.53/12.61 c orbitopal red. : 0 reductions applied, 0 cutoffs
12.53/12.61 c orbital reduction: 10 reductions applied, 0 cutoffs
12.53/12.61 c lexicographic red: 0 reductions applied, 0 cutoffs
12.53/12.61 c shadow tree time : 0.01 s
12.53/12.61 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
12.53/12.61 c propagation : 0.00 90 89 - 375 12.7 1 18.0 - - -
12.53/12.61 c infeasible LP : 0.26 2468 2252 - 10885 21.1 8 10.0 18 18.6 0
12.53/12.61 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
12.53/12.61 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
12.53/12.61 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
12.53/12.61 c applied globally : 0.02 - - 0 4955 9.6 - - 18 - -
12.53/12.61 c applied locally : - - - 0 0 0.0 - - 0 - -
12.53/12.61 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
12.53/12.61 c cut pool : 0.26 - 535 21 - - 6433 8448 - - - - - (maximal pool size: 3626)
12.53/12.61 c aggregation : 0.05 0.00 152 11 0 0 8 22 1 6 6 0 0
12.53/12.61 c > cmir : - - - - - - - 17 0 6 6 0 -
12.53/12.61 c > flowcover : - - - - - - - 5 0 0 0 0 -
12.53/12.61 c > knapsackcover : - - - - - - - 0 1 0 0 0 -
12.53/12.61 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
12.53/12.61 c clique : 0.00 0.00 11 11 0 0 0 0 0 0 0 0 0
12.53/12.61 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
12.53/12.61 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
12.53/12.61 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
12.53/12.61 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
12.53/12.61 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
12.53/12.61 c gomory : 2.24 0.00 151 10 0 0 9001 8397 2598 367 293 74 0
12.53/12.61 c > gomorymi : - - - - - - - 4261 1299 128 88 40 -
12.53/12.61 c > strongcg : - - - - - - - 4136 1299 239 205 34 -
12.53/12.61 c impliedbounds : 0.00 0.00 152 11 0 0 0 0 0 0 0 0 0
12.53/12.61 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
12.53/12.61 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
12.53/12.61 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
12.53/12.61 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
12.53/12.61 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
12.53/12.61 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
12.53/12.61 c multilinear : 0.00 0.00 172 11 0 0 0 0 0 0 0 0 0
12.53/12.61 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
12.53/12.61 c rapidlearning : 3.29 0.00 100 1 0 7514 0 0 0 0 0 0 290
12.53/12.61 c rlt : 0.00 0.00 78 10 0 0 0 0 0 0 0 0 0
12.53/12.61 c zerohalf : 0.07 0.00 152 11 0 0 287 29 264 170 9 161 0
12.53/12.61 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
12.53/12.61 c hybrid : 0.02 0.00 195 11 544 0 10707 27 0 2763
12.53/12.61 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
12.53/12.61 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
12.53/12.61 c Pricers : ExecTime SetupTime Calls Vars
12.53/12.61 c problem variables: 0.00 - 0 0
12.53/12.61 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
12.53/12.61 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
12.53/12.61 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
12.53/12.61 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
12.53/12.61 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
12.53/12.61 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
12.53/12.61 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
12.53/12.61 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
12.53/12.61 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
12.53/12.61 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
12.53/12.61 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
12.53/12.61 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
12.53/12.61 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
12.53/12.61 c random : 0.00 0.00 0 0 0 0 0 0 0 0
12.53/12.61 c relpscost : 0.13 0.00 2531 0 0 0 0 0 0 5062
12.53/12.61 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
12.53/12.61 c Primal Heuristics : ExecTime SetupTime Calls Found Best
12.53/12.61 c LP solutions : 0.00 - - 0 0
12.53/12.61 c relax solutions : 0.00 - - 0 0
12.53/12.61 c pseudo solutions : 0.00 - - 0 0
12.53/12.61 c strong branching : 0.00 - - 0 0
12.53/12.61 c actconsdiving : 0.00 0.00 0 0 0
12.53/12.61 c adaptivediving : 0.01 0.00 1 0 0
12.53/12.61 c alns : 0.06 0.00 5 0 0
12.53/12.61 c bound : 0.00 0.00 0 0 0
12.53/12.61 c clique : 0.00 0.00 1 0 0
12.53/12.61 c coefdiving : 0.00 0.00 0 0 0
12.53/12.61 c completesol : 0.00 0.00 0 0 0
12.53/12.61 c conflictdiving : 0.02 0.00 1 0 0
12.53/12.61 c crossover : 0.00 0.00 0 0 0
12.53/12.61 c dins : 0.00 0.00 0 0 0
12.53/12.61 c distributiondivin: 0.03 0.00 0 0 0
12.53/12.61 c dps : 0.00 0.00 0 0 0
12.53/12.61 c dualval : 0.00 0.00 0 0 0
12.53/12.61 c farkasdiving : 0.00 0.00 0 0 0
12.53/12.61 c feasjump : 0.01 0.00 1 0 0
12.53/12.61 c feaspump : 0.06 0.00 1 0 0
12.53/12.61 c fixandinfer : 0.00 0.00 0 0 0
12.53/12.61 c fracdiving : 0.01 0.00 1 0 0
12.53/12.61 c gins : 0.00 0.00 0 0 0
12.53/12.61 c guideddiving : 0.00 0.00 0 0 0
12.53/12.61 c indcoefdiving : 0.00 0.00 0 0 0
12.53/12.61 c indicator : 0.00 0.00 0 0 0
12.53/12.61 c indicatordiving : 0.00 0.00 0 0 0
12.53/12.61 c indoneopt : 0.00 0.00 0 0 0
12.53/12.61 c indrounding : 0.00 0.00 0 0 0
12.53/12.61 c indtwoopt : 0.00 0.00 0 0 0
12.53/12.61 c intdiving : 0.00 0.00 0 0 0
12.53/12.61 c intshifting : 0.00 0.00 0 0 0
12.53/12.61 c linesearchdiving : 0.00 0.00 0 0 0
12.53/12.61 c localbranching : 0.00 0.00 0 0 0
12.53/12.61 c locks : 0.00 0.00 1 0 0
12.53/12.61 c lpface : 0.00 0.00 0 0 0
12.53/12.61 c mpec : 0.00 0.00 0 0 0
12.53/12.61 c multistart : 0.00 0.00 0 0 0
12.53/12.61 c mutation : 0.00 0.00 0 0 0
12.53/12.61 c nlpdiving : 0.00 0.00 0 0 0
12.53/12.61 c objpscostdiving : 0.00 0.00 0 0 0
12.53/12.61 c octane : 0.00 0.00 0 0 0
12.53/12.61 c ofins : 0.00 0.00 0 0 0
12.53/12.61 c oneopt : 0.00 0.00 0 0 0
12.53/12.61 c padm : 0.00 0.00 0 0 0
12.53/12.61 c proximity : 0.00 0.00 0 0 0
12.53/12.61 c pscostdiving : 0.01 0.00 1 0 0
12.53/12.61 c randrounding : 0.01 0.00 223 0 0
12.53/12.61 c rens : 0.01 0.00 1 0 0
12.53/12.61 c reoptsols : 0.00 0.00 0 0 0
12.53/12.61 c repair : 0.00 0.00 0 0 0
12.53/12.61 c rins : 0.00 0.00 0 0 0
12.53/12.61 c rootsoldiving : 0.00 0.00 0 0 0
12.53/12.61 c rounding : 0.03 0.00 682 0 0
12.53/12.61 c scheduler : 0.00 0.00 0 0 0
12.53/12.61 c shiftandpropagate: 0.00 0.00 1 0 0
12.53/12.61 c shifting : 0.05 0.00 256 0 0
12.53/12.61 c simplerounding : 0.00 0.00 0 0 0
12.53/12.61 c smallcard : 0.00 0.00 0 0 0
12.53/12.61 c subnlp : 0.00 0.00 0 0 0
12.53/12.61 c trivial : 0.00 0.00 2 0 0
12.53/12.61 c trivialnegation : 0.00 0.00 0 0 0
12.53/12.61 c trustregion : 0.00 0.00 0 0 0
12.53/12.61 c trysol : 0.00 0.00 0 0 0
12.53/12.61 c twoopt : 0.00 0.00 0 0 0
12.53/12.61 c undercover : 0.00 0.00 0 0 0
12.53/12.61 c vbounds : 0.00 0.00 0 0 0
12.53/12.61 c veclendiving : 0.01 0.00 1 0 0
12.53/12.61 c zeroobj : 0.00 0.00 0 0 0
12.53/12.61 c zirounding : 0.01 0.00 1000 0 0
12.53/12.61 c other solutions : - - - 0 -
12.53/12.61 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
12.53/12.61 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
12.53/12.61 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
12.53/12.61 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
12.53/12.61 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
12.53/12.61 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
12.53/12.61 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
12.53/12.61 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
12.53/12.61 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
12.53/12.61 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
12.53/12.61 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
12.53/12.61 c primal LP : 0.02 98 0 0.00 0.00 0.02 98
12.53/12.61 c dual LP : 4.17 5275 86294 16.42 20690.66 0.00 21
12.53/12.61 c lex dual LP : 0.00 0 0 0.00 -
12.53/12.61 c barrier LP : 0.00 0 0 0.00 - 0.00 0
12.53/12.61 c resolve instable : 0.00 0 0 0.00 -
12.53/12.61 c diving/probing LP: 0.09 37 1918 51.84 21014.11
12.53/12.61 c strong branching : 0.04 19 804 42.32 19602.11 - - 0
12.53/12.61 c (at root node) : - 19 804 42.32 -
12.53/12.61 c conflict analysis: 0.00 0 0 0.00 -
12.53/12.61 c B&B Tree :
12.53/12.61 c number of runs : 1
12.53/12.61 c nodes : 5052 (2531 internal, 2521 leaves)
12.53/12.61 c feasible leaves : 0
12.53/12.61 c infeas. leaves : 2521
12.53/12.61 c objective leaves : 0
12.53/12.61 c nodes (total) : 5052 (2531 internal, 2521 leaves)
12.53/12.61 c nodes left : 0
12.53/12.61 c max depth : 39
12.53/12.61 c max depth (total): 39
12.53/12.61 c backtracks : 576 (11.4%)
12.53/12.61 c early backtracks : 0 (0.0%)
12.53/12.61 c nodes exc. ref. : 0 (0.0%)
12.53/12.61 c delayed cutoffs : 11
12.53/12.61 c repropagations : 8285 (4889 domain reductions, 11 cutoffs)
12.53/12.61 c avg switch length: 4.92
12.53/12.61 c switching time : 0.33
12.53/12.61 c Root Node :
12.53/12.61 c First LP value : +0.00000000000000e+00
12.53/12.61 c First LP Iters : 95 (30894.31 Iter/sec)
12.53/12.61 c First LP Time : 0.00
12.53/12.61 c Final Dual Bound : -
12.53/12.61 c Final Root Iters : 1538
12.53/12.61 c Root LP Estimate : +2.50951345964341e-03
12.53/12.61 c Solution :
12.53/12.61 c Solutions found : 0 (0 improvements)
12.53/12.61 c Primal Bound : infeasible
12.53/12.61 c Dual Bound : -
12.53/12.61 c Gap : 0.00 %
12.53/12.61 c Integrals : Total Avg%
12.53/12.61 c primal-dual : - - (problem infeasible)
12.53/12.61 c primal-ref : - - (problem infeasible)
12.53/12.61 c dual-ref : - - (problem infeasible)
12.53/12.62 c Time complete: 12.5667.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (57562 MiB free)
memory of node 1: 64473 MiB (59493 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444305-1721301771/watcher-4444305-1721301771 -o /tmp/evaluation-result-4444305-1721301771/solver-4444305-1721301771 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721294195-967151 --watchdog 3760 pbscip -f HOME/instance-4444305-1721301771.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=972553, runsolver pid=972550
[startup+0.100685 s]*
/proc/loadavg: 4.06 4.08 4.09 5/256 972554
/proc/meminfo: memFree=119851528/131524600 swapFree=131071216/131071996
[pid=972553] ppid=972550 vsize=67484 memory=29828 CPUtime=0.09 cores=1,3
/proc/972553/stat : 972553 (pbscip) R 972550 972553 967139 0 -1 4194304 3928 0 0 0 9 0 0 0 20 0 1 0 182339537 69103616 7457 134679101440 4194304 18693293 140734651584384 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 21375888 21430392 35954688 140734651593731 140734651593830 140734651593830 140734651600846 0
/proc/972553/statm: 16871 7457 3983 3540 0 5128 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 67484 KiB
Current children cumulated memory: 29828 KiB
[startup+0.206666 s]*
/proc/loadavg: 4.06 4.08 4.09 5/256 972554
/proc/meminfo: memFree=119842452/131524600 swapFree=131071216/131071996
[pid=972553] ppid=972550 vsize=77072 memory=38204 CPUtime=0.19 cores=1,3
/proc/972553/stat : 972553 (pbscip) R 972550 972553 967139 0 -1 4194304 6200 0 0 0 19 0 0 0 20 0 1 0 182339537 78921728 9551 134679101440 4194304 18693293 140734651584384 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35954688 140734651593731 140734651593830 140734651593830 140734651600846 0
/proc/972553/statm: 19268 9551 4015 3540 0 7525 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 77072 KiB
Current children cumulated memory: 38204 KiB
[startup+0.305691 s]*
/proc/loadavg: 4.06 4.08 4.09 5/256 972554
/proc/meminfo: memFree=119842452/131524600 swapFree=131071216/131071996
[pid=972553] ppid=972550 vsize=77072 memory=38204 CPUtime=0.29 cores=1,3
/proc/972553/stat : 972553 (pbscip) R 972550 972553 967139 0 -1 4194304 6221 0 0 0 29 0 0 0 20 0 1 0 182339537 78921728 9551 134679101440 4194304 18693293 140734651584384 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35954688 140734651593731 140734651593830 140734651593830 140734651600846 0
/proc/972553/statm: 19268 9551 4015 3540 0 7525 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 77072 KiB
Current children cumulated memory: 38204 KiB
[startup+0.700229 s]
/proc/loadavg: 4.06 4.08 4.09 5/256 972554
/proc/meminfo: memFree=119836668/131524600 swapFree=131071216/131071996
[pid=972553] ppid=972550 vsize=92172 memory=51928 CPUtime=0.68 cores=1,3
/proc/972553/stat : 972553 (pbscip) R 972550 972553 967139 0 -1 4194304 9695 0 0 0 67 1 0 0 20 0 1 0 182339537 94384128 12982 134679101440 4194304 18693293 140734651584384 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35954688 140734651593731 140734651593830 140734651593830 140734651600846 0
/proc/972553/statm: 23043 12982 4015 3540 0 11300 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 92172 KiB
Current children cumulated memory: 51928 KiB
[startup+1.50023 s]
/proc/loadavg: 4.06 4.08 4.09 5/256 972554
/proc/meminfo: memFree=119819504/131524600 swapFree=131071216/131071996
[pid=972553] ppid=972550 vsize=106636 memory=65920 CPUtime=1.48 cores=1,3
/proc/972553/stat : 972553 (pbscip) R 972550 972553 967139 0 -1 4194304 13131 0 0 0 146 2 0 0 20 0 1 0 182339537 109195264 16480 134679101440 4194304 18693293 140734651584384 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35954688 140734651593731 140734651593830 140734651593830 140734651600846 0
/proc/972553/statm: 26659 16480 4015 3540 0 14916 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 106636 KiB
Current children cumulated memory: 65920 KiB
[startup+3.10562 s]
/proc/loadavg: 4.06 4.08 4.09 5/256 972554
/proc/meminfo: memFree=119801104/131524600 swapFree=131071216/131071996
[pid=972553] ppid=972550 vsize=122012 memory=80712 CPUtime=3.08 cores=1,3
/proc/972553/stat : 972553 (pbscip) R 972550 972553 967139 0 -1 4194304 17277 0 0 0 306 2 0 0 20 0 1 0 182339537 124940288 20178 134679101440 4194304 18693293 140734651584384 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35954688 140734651593731 140734651593830 140734651593830 140734651600846 0
/proc/972553/statm: 30503 20178 4015 3540 0 18760 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 122012 KiB
Current children cumulated memory: 80712 KiB
[startup+6.30021 s]
/proc/loadavg: 4.05 4.08 4.09 5/256 972648
/proc/meminfo: memFree=119817988/131524600 swapFree=131071216/131071996
[pid=972553] ppid=972550 vsize=123748 memory=82724 CPUtime=6.26 cores=1,3
/proc/972553/stat : 972553 (pbscip) R 972550 972553 967139 0 -1 4194304 18453 0 0 0 624 2 0 0 20 0 1 0 182339537 126717952 20681 134679101440 4194304 18693293 140734651584384 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35954688 140734651593731 140734651593830 140734651593830 140734651600846 0
/proc/972553/statm: 30937 20681 4015 3540 0 19194 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 123748 KiB
Current children cumulated memory: 82724 KiB
[startup+12.6284 s]
# the end of solver process 972553 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=12.5405 s, system=0.031879 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40024 s]
/proc/loadavg: 4.05 4.08 4.09 5/256 972648
/proc/meminfo: memFree=119817988/131524600 swapFree=131071216/131071996
[pid=972553] ppid=972550 vsize=123748 memory=82724 CPUtime=6.36 cores=1,3
/proc/972553/stat : 972553 (pbscip) R 972550 972553 967139 0 -1 4194304 18453 0 0 0 634 2 0 0 20 0 1 0 182339537 126717952 20681 134679101440 4194304 18693293 140734651584384 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35954688 140734651593731 140734651593830 140734651593830 140734651600846 0
/proc/972553/statm: 30937 20681 4015 3540 0 19194 0
Current children cumulated CPU time: 6.36 s
Current children cumulated vsize: 123748 KiB
Current children cumulated memory: 82724 KiB
[startup+9.6002 s]
/proc/loadavg: 4.05 4.08 4.09 5/256 972648
/proc/meminfo: memFree=119788000/131524600 swapFree=131071216/131071996
[pid=972553] ppid=972550 vsize=123748 memory=82724 CPUtime=9.55 cores=1,3
/proc/972553/stat : 972553 (pbscip) R 972550 972553 967139 0 -1 4194304 18453 0 0 0 953 2 0 0 20 0 1 0 182339537 126717952 20681 134679101440 4194304 18693293 140734651584384 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35954688 140734651593731 140734651593830 140734651593830 140734651600846 0
/proc/972553/statm: 30937 20681 4015 3540 0 19194 0
Current children cumulated CPU time: 9.55 s
Current children cumulated vsize: 123748 KiB
Current children cumulated memory: 82724 KiB
[startup+11.2002 s]
/proc/loadavg: 4.05 4.08 4.09 5/256 972648
/proc/meminfo: memFree=119787568/131524600 swapFree=131071216/131071996
[pid=972553] ppid=972550 vsize=123748 memory=82724 CPUtime=11.14 cores=1,3
/proc/972553/stat : 972553 (pbscip) R 972550 972553 967139 0 -1 4194304 18453 0 0 0 1112 2 0 0 20 0 1 0 182339537 126717952 20681 134679101440 4194304 18693293 140734651584384 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35954688 140734651593731 140734651593830 140734651593830 140734651600846 0
/proc/972553/statm: 30937 20681 4015 3540 0 19194 0
Current children cumulated CPU time: 11.14 s
Current children cumulated vsize: 123748 KiB
Current children cumulated memory: 82724 KiB
[startup+12.0002 s]*
/proc/loadavg: 4.05 4.08 4.09 5/256 972648
/proc/meminfo: memFree=119787436/131524600 swapFree=131071216/131071996
[pid=972553] ppid=972550 vsize=123748 memory=82724 CPUtime=11.94 cores=1,3
/proc/972553/stat : 972553 (pbscip) R 972550 972553 967139 0 -1 4194304 18453 0 0 0 1192 2 0 0 20 0 1 0 182339537 126717952 20681 134679101440 4194304 18693293 140734651584384 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35954688 140734651593731 140734651593830 140734651593830 140734651600846 0
/proc/972553/statm: 30937 20681 4015 3540 0 19194 0
Current children cumulated CPU time: 11.94 s
Current children cumulated vsize: 123748 KiB
Current children cumulated memory: 82724 KiB
[startup+12.4002 s]
/proc/loadavg: 4.05 4.08 4.09 5/256 972648
/proc/meminfo: memFree=119787436/131524600 swapFree=131071216/131071996
[pid=972553] ppid=972550 vsize=123748 memory=82724 CPUtime=12.33 cores=1,3
/proc/972553/stat : 972553 (pbscip) R 972550 972553 967139 0 -1 4194304 18453 0 0 0 1231 2 0 0 20 0 1 0 182339537 126717952 20681 134679101440 4194304 18693293 140734651584384 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35954688 140734651593731 140734651593830 140734651593830 140734651600846 0
/proc/972553/statm: 30937 20681 4015 3540 0 19194 0
Current children cumulated CPU time: 12.33 s
Current children cumulated vsize: 123748 KiB
Current children cumulated memory: 82724 KiB
[startup+12.6002 s]
/proc/loadavg: 4.05 4.08 4.09 5/256 972648
/proc/meminfo: memFree=119787436/131524600 swapFree=131071216/131071996
[pid=972553] ppid=972550 vsize=123876 memory=83148 CPUtime=12.53 cores=1,3
/proc/972553/stat : 972553 (pbscip) R 972550 972553 967139 0 -1 4194304 18990 0 0 0 1251 2 0 0 20 0 1 0 182339537 126849024 20787 134679101440 4194304 18693293 140734651584384 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35954688 140734651593731 140734651593830 140734651593830 140734651600846 0
/proc/972553/statm: 30969 20787 4015 3540 0 19226 0
Current children cumulated CPU time: 12.53 s
Current children cumulated vsize: 123876 KiB
Current children cumulated memory: 83148 KiB
Child status: 0
Real time (s): 12.6285
CPU time (s): 12.5723
CPU user time (s): 12.5405
CPU system time (s): 0.031879
CPU usage (%): 99.5555
Max. virtual memory (cumulated for all children) (KiB): 123876
Max. memory (cumulated for all children) (KiB): 83148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.5405
system time used= 0.031879
maximum resident set size= 84836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18996
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 23
# summary of solver processes directly reported to runsolver:
# pid: 972553
# total CPU time (s): 12.5723
# total CPU user time (s): 12.5405
# total CPU system time (s): 0.031879
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.038379 second user time and 0.088119 second system time
The end