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-4432578-1721063445.opb>
0.00/0.06 c original problem has 20611 variables (20611 bin, 0 int, 0 impl, 0 cont) and 3921 constraints
0.00/0.06 c problem read in 0.06
0.10/0.12 c presolving:
0.10/0.17 c (round 1, fast) 30 del vars, 1 del conss, 0 add conss, 30 chg bounds, 2520 chg sides, 2520 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.20/0.22 c (0.2s) running MILP presolver
0.20/0.26 c (0.3s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.20/0.26 c (round 2, exhaustive) 30 del vars, 209 del conss, 0 add conss, 30 chg bounds, 2520 chg sides, 2520 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.20/0.29 c (round 3, fast) 3234 del vars, 254 del conss, 163 add conss, 30 chg bounds, 2520 chg sides, 2520 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.20/0.30 c (round 4, fast) 3234 del vars, 254 del conss, 248 add conss, 30 chg bounds, 2520 chg sides, 2520 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.30/0.35 c (0.3s) running MILP presolver
0.30/0.39 c (0.4s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.30/0.39 c (round 5, exhaustive) 3234 del vars, 384 del conss, 248 add conss, 30 chg bounds, 2520 chg sides, 2520 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.39/0.43 c (round 6, exhaustive) 3234 del vars, 384 del conss, 248 add conss, 30 chg bounds, 2520 chg sides, 2520 chg coeffs, 2742 upgd conss, 0 impls, 0 clqs
0.39/0.48 c (round 7, medium) 3234 del vars, 384 del conss, 668 add conss, 30 chg bounds, 2940 chg sides, 3360 chg coeffs, 2742 upgd conss, 0 impls, 630 clqs
0.39/0.50 c (round 8, exhaustive) 3234 del vars, 384 del conss, 668 add conss, 30 chg bounds, 2940 chg sides, 3360 chg coeffs, 3622 upgd conss, 0 impls, 630 clqs
0.88/0.98 c (1.0s) probing: 216/17377 (1.2%) - 0 fixings, 0 aggregations, 23845 implications, 0 bound changes
0.88/0.98 c (1.0s) probing aborted: 50/50 successive totally useless probings
0.99/1.03 c (1.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.09/1.11 c (1.1s) symmetry computation finished: 1 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.04)
1.09/1.14 c dynamic symmetry handling statistics:
1.09/1.14 c orbitopal reduction: no components
1.09/1.14 c orbital reduction: no components
1.09/1.14 c lexicographic reduction: 1 permutations with support sizes 278
1.09/1.14 c handled 1 out of 1 symmetry components
1.09/1.16 c presolving (9 rounds: 9 fast, 6 medium, 5 exhaustive):
1.09/1.16 c 3234 deleted vars, 384 deleted constraints, 668 added constraints, 30 tightened bounds, 0 added holes, 2940 changed sides, 3360 changed coefficients
1.09/1.16 c 0 implications, 24475 cliques
1.09/1.16 c presolved problem has 17377 variables (17377 bin, 0 int, 0 impl, 0 cont) and 4205 constraints
1.09/1.16 c 2896 constraints of type <knapsack>
1.09/1.16 c 420 constraints of type <setppc>
1.09/1.16 c 163 constraints of type <linear>
1.09/1.16 c 726 constraints of type <logicor>
1.09/1.16 c transformed objective value is always integral (scale: 1024)
1.09/1.16 c Presolving Time: 1.05
1.09/1.16 c - non default parameters ----------------------------------------------------------------------
1.09/1.16 c # SCIP version 10.0.0
1.09/1.16 c
1.09/1.16 c # maximal time in seconds to run
1.09/1.16 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.09/1.16 c limits/time = 3596.997044
1.09/1.16 c
1.09/1.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.09/1.16 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.09/1.16 c limits/memory = 27900
1.09/1.16 c
1.09/1.16 c # belongs reading time to solving time?
1.09/1.16 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.09/1.16 c timing/reading = TRUE
1.09/1.16 c
1.09/1.16 c -----------------------------------------------------------------------------------------------
1.09/1.16 c start solving
1.09/1.17 c
1.38/1.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.38/1.43 c 1.4s| 1 | 0 | 2500 | - | 311M | 0 | 17k|4205 |4205 | 0 | 0 | 0 | 0 | 9.728000e+04 | -- | Inf | unknown
2.68/2.76 c 2.8s| 1 | 0 | 6982 | - | 320M | 0 | 17k|4205 |4365 | 160 | 1 | 0 | 0 | 9.728000e+04 | -- | Inf | unknown
2.98/3.09 c 3.1s| 1 | 0 | 8523 | - | 321M | 0 | 17k|4208 |4463 | 258 | 2 | 3 | 0 | 9.728000e+04 | -- | Inf | unknown
3.47/3.55 c 3.6s| 1 | 0 | 9344 | - | 326M | 0 | 17k|4210 |6463 |2258 | 3 | 5 | 0 | 9.728000e+04 | -- | Inf | unknown
3.77/3.80 c 3.8s| 1 | 0 | 9841 | - | 328M | 0 | 17k|4210 |6609 |2404 | 4 | 5 | 0 | 9.728000e+04 | -- | Inf | unknown
3.77/3.88 c 3.9s| 1 | 0 | 10170 | - | 328M | 0 | 17k|4210 |6712 |2507 | 5 | 5 | 0 | 9.728000e+04 | -- | Inf | unknown
4.28/4.37 c 4.4s| 1 | 0 | 12626 | - | 331M | 0 | 17k|4210 |6868 |2663 | 6 | 5 | 0 | 9.728000e+04 | -- | Inf | unknown
4.58/4.66 c 4.7s| 1 | 0 | 13186 | - | 332M | 0 | 17k|4211 |7004 |2799 | 7 | 6 | 0 | 9.728000e+04 | -- | Inf | unknown
5.18/5.26 c 5.3s| 1 | 0 | 16835 | - | 335M | 0 | 17k|4211 |7148 |2943 | 8 | 6 | 0 | 9.728000e+04 | -- | Inf | unknown
5.57/5.65 c 5.6s| 1 | 0 | 18022 | - | 336M | 0 | 17k|4212 |7269 |3064 | 9 | 7 | 0 | 9.728000e+04 | -- | Inf | unknown
5.87/5.95 c 5.9s| 1 | 0 | 19044 | - | 337M | 0 | 17k|4213 |7559 |3354 | 10 | 8 | 0 | 9.728000e+04 | -- | Inf | unknown
6.67/6.74 c 6.7s| 1 | 0 | 21512 | - | 339M | 0 | 17k|4213 |7740 |3535 | 11 | 8 | 0 | 9.728000e+04 | -- | Inf | unknown
7.87/7.92 c 7.9s| 1 | 2 | 30719 | - | 341M | 0 | 17k|4225 |7740 |3535 | 11 | 20 | 0 | 9.728000e+04 | -- | Inf | unknown
46.27/46.43 c 46.4s| 100 | 83 |270091 |2510.9 | 352M | 39 | 17k|4542 | 0 |4038 | 0 | 337 | 0 | 9.728000e+04 | -- | Inf | 3.13%
74.59/74.82 o 178176
74.59/74.82 c d74.8s| 171 | 126 |392984 |2185.1 |veclendi| 44 | 17k|4817 |7878 | 0 | 1 | 613 | 0 | 9.728000e+04 | 1.781760e+05 | 83.16%| 7.81%
74.89/75.13 o 173056
74.89/75.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
74.89/75.13 c i75.1s| 172 | 125 |396395 |2192.3 | oneopt| 44 | 17k|4817 |7818 |4671 | 0 | 613 | 0 | 9.728000e+04 | 1.730560e+05 | 77.89%| 7.81%
79.07/79.39 o 172032
79.07/79.39 c d79.4s| 181 | 136 |433854 |2290.8 |guideddi| 44 | 17k|4821 |7810 | 0 | 1 | 617 | 0 | 9.728000e+04 | 1.720320e+05 | 76.84%| 2.87%
84.66/84.98 c 85.0s| 200 | 153 |487134 |2339.8 | 375M | 48 | 17k|4934 |7865 |4745 | 1 | 746 | 0 | 9.728000e+04 | 1.720320e+05 | 76.84%| 2.88%
142.31/142.73 c 143s| 300 | 223 |824446 |2685.4 | 385M | 48 | 17k|5714 |7744 |5881 | 1 |1715 | 0 | 9.728000e+04 | 1.720320e+05 | 76.84%| 11.05%
163.15/163.67 c 164s| 400 | 304 | 1007k|2472.1 | 387M | 48 | 17k|6024 | 0 |6509 | 0 |2444 | 0 | 9.728000e+04 | 1.720320e+05 | 76.84%| 12.50%
173.12/173.68 o 171008
173.12/173.68 c L 174s| 428 | 327 | 1096k|2517.4 | rins| 48 | 17k|6050 |7802 |6611 | 1 |2731 | 0 | 9.728000e+04 | 1.710080e+05 | 75.79%| 12.97%
188.78/189.38 c 189s| 500 | 393 | 1199k|2361.7 | 394M | 48 | 17k|6029 |7809 |7131 | 1 |3606 | 0 | 9.728000e+04 | 1.710080e+05 | 75.79%| 13.08%
245.43/246.18 c 246s| 600 | 476 | 1512k|2488.6 | 403M | 48 | 17k|6168 |7838 |9333 | 1 |4382 | 0 | 9.728000e+04 | 1.710080e+05 | 75.79%| 13.67%
269.66/270.49 o 169984
269.66/270.49 c L 270s| 628 | 496 | 1634k|2572.4 | rins| 48 | 17k|6263 |7802 |9432 | 1 |4634 | 0 | 9.728000e+04 | 1.699840e+05 | 74.74%| 14.33%
302.19/303.05 c 303s| 700 | 560 | 1860k|2630.9 | 409M | 49 | 17k|6547 |7867 |9766 | 1 |5453 | 0 | 9.728000e+04 | 1.699840e+05 | 74.74%| 14.33%
320.33/321.22 c 321s| 800 | 644 | 2007k|2486.0 | 415M | 51 | 17k|7096 |7860 | 10k| 1 |6649 | 0 | 9.728000e+04 | 1.699840e+05 | 74.74%| 14.75%
367.50/368.58 c 369s| 900 | 740 | 2302k|2536.9 | 435M | 51 | 17k|7271 |7895 | 11k| 1 |7799 | 0 | 9.728000e+04 | 1.699840e+05 | 74.74%| 14.97%
401.51/402.69 c 403s| 1000 | 823 | 2535k|2516.6 | 447M | 51 | 17k|7315 |7874 | 12k| 1 |8479 | 0 | 9.728000e+04 | 1.699840e+05 | 74.74%| 15.07%
408.80/409.95 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
408.80/409.95 c (run 1, node 1020) performing user restart
408.80/409.95 c
408.80/409.96 c (restart) converted 3223 cuts from the global cut pool into linear constraints
408.80/409.96 c
408.90/410.04 c presolving:
408.90/410.07 c (round 1, fast) 0 del vars, 47 del conss, 167 add conss, 0 chg bounds, 366 chg sides, 636 chg coeffs, 0 upgd conss, 0 impls, 24708 clqs
409.00/410.11 c (round 2, exhaustive) 0 del vars, 58 del conss, 169 add conss, 0 chg bounds, 368 chg sides, 640 chg coeffs, 0 upgd conss, 0 impls, 24712 clqs
409.00/410.13 c (round 3, exhaustive) 0 del vars, 58 del conss, 169 add conss, 0 chg bounds, 368 chg sides, 640 chg coeffs, 3052 upgd conss, 0 impls, 24712 clqs
409.00/410.13 c (round 4, fast) 0 del vars, 240 del conss, 180 add conss, 0 chg bounds, 383 chg sides, 697 chg coeffs, 3052 upgd conss, 0 impls, 24712 clqs
409.00/410.14 c (round 5, medium) 0 del vars, 245 del conss, 189 add conss, 0 chg bounds, 400 chg sides, 723 chg coeffs, 3052 upgd conss, 0 impls, 24712 clqs
409.30/410.43 c (round 6, exhaustive) 0 del vars, 558 del conss, 190 add conss, 0 chg bounds, 400 chg sides, 1580 chg coeffs, 3052 upgd conss, 0 impls, 24712 clqs
409.59/410.78 c presolving (7 rounds: 7 fast, 5 medium, 4 exhaustive):
409.59/410.78 c 0 deleted vars, 558 deleted constraints, 190 added constraints, 0 tightened bounds, 0 added holes, 400 changed sides, 1595 changed coefficients
409.59/410.78 c 0 implications, 24712 cliques
409.59/410.78 c presolved problem has 17377 variables (17377 bin, 0 int, 0 impl, 0 cont) and 10450 constraints
409.59/410.78 c 3048 constraints of type <knapsack>
409.59/410.78 c 3138 constraints of type <setppc>
409.59/410.78 c 515 constraints of type <linear>
409.59/410.78 c 3749 constraints of type <logicor>
409.59/410.78 c transformed objective value is always integral (scale: 1024)
409.59/410.78 c Presolving Time: 1.82
409.69/410.83 c transformed 5/5 original solutions to the transformed problem space
409.69/410.83 c
410.09/411.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
410.09/411.23 c 411s| 1 | 0 | 2607k| - | 466M | 0 | 17k| 10k|7419 | 0 | 0 |8863 | 0 | 9.728000e+04 | 1.699840e+05 | 74.74%| unknown
410.49/411.68 c 412s| 1 | 0 | 2607k| - | 467M | 0 | 17k| 10k|7570 | 151 | 1 |8863 | 0 | 9.728000e+04 | 1.699840e+05 | 74.74%| unknown
411.19/412.35 c 412s| 1 | 0 | 2609k| - | 468M | 0 | 17k| 10k|7666 | 247 | 2 |8863 | 0 | 9.728000e+04 | 1.699840e+05 | 74.74%| unknown
411.69/412.85 c 413s| 1 | 0 | 2609k| - | 468M | 0 | 17k| 10k|7844 | 425 | 3 |8863 | 0 | 9.728000e+04 | 1.699840e+05 | 74.74%| unknown
412.09/413.27 c 413s| 1 | 0 | 2610k| - | 469M | 0 | 17k| 10k|7948 | 529 | 4 |8864 | 0 | 9.728000e+04 | 1.699840e+05 | 74.74%| unknown
413.09/414.21 c 414s| 1 | 0 | 2610k| - | 470M | 0 | 17k| 10k|8057 | 638 | 5 |8872 | 0 | 9.728000e+04 | 1.699840e+05 | 74.74%| unknown
414.08/415.22 c 415s| 1 | 0 | 2611k| - | 471M | 0 | 17k| 10k|8165 | 746 | 6 |8875 | 0 | 9.728000e+04 | 1.699840e+05 | 74.74%| unknown
415.28/416.49 c 416s| 1 | 0 | 2612k| - | 471M | 0 | 17k| 10k|8308 | 889 | 7 |8878 | 0 | 9.728000e+04 | 1.699840e+05 | 74.74%| unknown
415.78/417.00 c 417s| 1 | 0 | 2612k| - | 472M | 0 | 17k| 10k|8459 |1040 | 8 |8878 | 0 | 9.728000e+04 | 1.699840e+05 | 74.74%| unknown
416.77/417.99 c 418s| 1 | 0 | 2613k| - | 475M | 0 | 17k| 10k|8607 |1188 | 9 |8881 | 0 | 9.728000e+04 | 1.699840e+05 | 74.74%| unknown
417.47/418.61 c 419s| 1 | 0 | 2614k| - | 477M | 0 | 17k| 10k|8755 |1336 | 10 |8881 | 0 | 9.728000e+04 | 1.699840e+05 | 74.74%| unknown
417.67/418.83 c 419s| 1 | 0 | 2615k| - | 478M | 0 | 17k| 10k|8901 |1482 | 11 |8883 | 0 | 9.728000e+04 | 1.699840e+05 | 74.74%| unknown
420.16/421.36 c 421s| 1 | 2 | 2631k| - | 478M | 0 | 17k| 10k|8901 |1482 | 11 |8885 | 0 | 9.728000e+04 | 1.699840e+05 | 74.74%| unknown
438.72/439.98 c 440s| 100 | 101 | 2753k|2430.8 | 491M | 12 | 17k| 10k|8901 |4002 | 1 |9000 | 0 | 9.728000e+04 | 1.699840e+05 | 74.74%| unknown
485.28/486.66 c 487s| 200 | 199 | 3072k|2493.0 | 502M | 13 | 17k| 10k|9030 |8371 | 2 |9240 | 0 | 9.728000e+04 | 1.699840e+05 | 74.74%| unknown
516.40/517.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
516.40/517.81 c 518s| 300 | 295 | 3322k|2493.5 | 507M | 25 | 17k| 10k|8984 |9634 | 1 |9935 | 0 | 9.728000e+04 | 1.699840e+05 | 74.74%| unknown
542.34/543.88 c 544s| 400 | 389 | 3497k|2440.8 | 513M | 26 | 17k| 11k|8965 | 11k| 2 | 10k| 0 | 9.728000e+04 | 1.699840e+05 | 74.74%| 0.26%
555.70/557.22 c 557s| 500 | 489 | 3609k|2354.4 | 518M | 28 | 17k| 10k|8985 | 12k| 1 | 10k| 0 | 9.728000e+04 | 1.699840e+05 | 74.74%| 0.26%
560.89/562.45 c 562s| 600 | 579 | 3658k|2239.0 | 523M | 33 | 17k| 10k|8987 | 12k| 2 | 10k| 0 | 9.728000e+04 | 1.699840e+05 | 74.74%| 0.26%
566.58/568.13 c 568s| 700 | 675 | 3715k|2142.2 | 529M | 36 | 17k| 11k| 0 | 12k| 0 | 11k| 0 | 9.728000e+04 | 1.699840e+05 | 74.74%| 0.26%
572.65/574.27 c 574s| 800 | 775 | 3769k|2053.9 | 532M | 36 | 17k| 11k|8990 | 12k| 1 | 11k| 0 | 9.728000e+04 | 1.699840e+05 | 74.74%| 0.26%
578.83/580.46 c 580s| 900 | 875 | 3825k|1976.1 | 535M | 37 | 17k| 11k|8989 | 12k| 2 | 11k| 0 | 9.728000e+04 | 1.699840e+05 | 74.74%| 0.26%
581.62/583.28 c 583s| 1000 | 975 | 3845k|1888.0 | 539M | 37 | 17k| 11k|8989 | 12k| 1 | 11k| 0 | 9.728000e+04 | 1.699840e+05 | 74.74%| 0.26%
601.57/603.28 c 603s| 1100 | 1057 | 3955k|1851.0 | 549M | 38 | 17k| 11k|8989 | 13k| 1 | 11k| 0 | 9.728000e+04 | 1.699840e+05 | 74.74%| 0.26%
612.45/614.13 c 614s| 1200 | 1143 | 4018k|1795.7 | 563M | 43 | 17k| 11k|8991 | 14k| 1 | 11k| 0 | 9.728000e+04 | 1.699840e+05 | 74.74%| 0.26%
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 (61861 MiB free)
memory of node 1: 64473 MiB (62922 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432578-1721063445/watcher-4432578-1721063445 -o /tmp/evaluation-result-4432578-1721063445/solver-4432578-1721063445 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721061647-814087 --watchdog 3760 pbscip -f HOME/instance-4432578-1721063445.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=815141, runsolver pid=815138
[startup+0.100555 s]*
/proc/loadavg: 5.13 5.15 4.92 5/257 815142
/proc/meminfo: memFree=127722460/131524600 swapFree=131071996/131071996
[pid=815141] ppid=815138 vsize=112756 memory=73296 CPUtime=0.1 cores=1,3
/proc/815141/stat : 815141 (pbscip) R 815138 815141 814075 0 -1 4194304 15161 0 0 0 8 2 0 0 20 0 1 0 158510730 115462144 18324 134679101440 4194304 18693293 140724557708128 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50597888 140724557710340 140724557710439 140724557710439 140724557717454 0
/proc/815141/statm: 28189 18324 3516 3540 0 16446 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 112756 KiB
Current children cumulated memory: 73296 KiB
[startup+0.205631 s]*
/proc/loadavg: 5.13 5.15 4.92 5/257 815142
/proc/meminfo: memFree=127692324/131524600 swapFree=131071996/131071996
[pid=815141] ppid=815138 vsize=145920 memory=101564 CPUtime=0.2 cores=1,3
/proc/815141/stat : 815141 (pbscip) R 815138 815141 814075 0 -1 4194304 21184 0 0 0 17 3 0 0 20 0 1 0 158510730 149422080 25391 134679101440 4194304 18693293 140724557708128 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50597888 140724557710340 140724557710439 140724557710439 140724557717454 0
/proc/815141/statm: 36480 25391 3596 3540 0 24737 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 145920 KiB
Current children cumulated memory: 101564 KiB
[startup+0.305512 s]*
/proc/loadavg: 5.13 5.15 4.92 5/257 815142
/proc/meminfo: memFree=127684048/131524600 swapFree=131071996/131071996
[pid=815141] ppid=815138 vsize=150100 memory=108288 CPUtime=0.3 cores=1,3
/proc/815141/stat : 815141 (pbscip) R 815138 815141 814075 0 -1 4194304 26906 0 0 0 26 4 0 0 20 0 1 0 158510730 153702400 27072 134679101440 4194304 18693293 140724557708128 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50597888 140724557710340 140724557710439 140724557710439 140724557717454 0
/proc/815141/statm: 37525 27072 3723 3540 0 25782 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 150100 KiB
Current children cumulated memory: 108288 KiB
[startup+0.700232 s]
/proc/loadavg: 5.13 5.15 4.92 5/257 815142
/proc/meminfo: memFree=127661948/131524600 swapFree=131071996/131071996
[pid=815141] ppid=815138 vsize=183020 memory=138860 CPUtime=0.68 cores=1,3
/proc/815141/stat : 815141 (pbscip) R 815138 815141 814075 0 -1 4194304 32961 0 0 0 63 5 0 0 20 0 1 0 158510730 187412480 34715 134679101440 4194304 18693293 140724557708128 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50597888 140724557710340 140724557710439 140724557710439 140724557717454 0
/proc/815141/statm: 45755 34715 3771 3540 0 34012 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 183020 KiB
Current children cumulated memory: 138860 KiB
[startup+1.50023 s]
/proc/loadavg: 5.13 5.15 4.92 5/257 815142
/proc/meminfo: memFree=127651840/131524600 swapFree=131071996/131071996
[pid=815141] ppid=815138 vsize=380344 memory=278388 CPUtime=1.48 cores=1,3
/proc/815141/stat : 815141 (pbscip) R 815138 815141 814075 0 -1 4194304 74787 0 0 0 137 11 0 0 20 0 1 0 158510730 389472256 69597 134679101440 4194304 18693293 140724557708128 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50597888 140724557710340 140724557710439 140724557710439 140724557717454 0
/proc/815141/statm: 95086 69597 3931 3540 0 83343 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 380344 KiB
Current children cumulated memory: 278388 KiB
[startup+3.10545 s]
/proc/loadavg: 5.13 5.15 4.92 5/257 815142
/proc/meminfo: memFree=127503120/131524600 swapFree=131071996/131071996
[pid=815141] ppid=815138 vsize=395348 memory=289612 CPUtime=3.08 cores=1,3
/proc/815141/stat : 815141 (pbscip) R 815138 815141 814075 0 -1 4194304 76920 0 0 0 297 11 0 0 20 0 1 0 158510730 404836352 72403 134679101440 4194304 18693293 140724557708128 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50597888 140724557710340 140724557710439 140724557710439 140724557717454 0
/proc/815141/statm: 98837 72403 4063 3540 0 87094 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 395348 KiB
Current children cumulated memory: 289612 KiB
[startup+6.3002 s]
/proc/loadavg: 5.04 5.13 4.91 5/257 815142
/proc/meminfo: memFree=127487016/131524600 swapFree=131071996/131071996
[pid=815141] ppid=815138 vsize=413224 memory=305652 CPUtime=6.27 cores=1,3
/proc/815141/stat : 815141 (pbscip) R 815138 815141 814075 0 -1 4194304 81186 0 0 0 615 12 0 0 20 0 1 0 158510730 423141376 76413 134679101440 4194304 18693293 140724557708128 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50597888 140724557710340 140724557710439 140724557710439 140724557717454 0
/proc/815141/statm: 103306 76413 4127 3540 0 91563 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 413224 KiB
Current children cumulated memory: 305652 KiB
[startup+12.7002 s]
/proc/loadavg: 4.96 5.11 4.91 5/257 815144
/proc/meminfo: memFree=127483144/131524600 swapFree=131071996/131071996
[pid=815141] ppid=815138 vsize=415976 memory=308288 CPUtime=12.65 cores=1,3
/proc/815141/stat : 815141 (pbscip) R 815138 815141 814075 0 -1 4194304 81785 0 0 0 1253 12 0 0 20 0 1 0 158510730 425959424 77072 134679101440 4194304 18693293 140724557708128 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50597888 140724557710340 140724557710439 140724557710439 140724557717454 0
/proc/815141/statm: 103994 77072 4146 3540 0 92251 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 415976 KiB
Current children cumulated memory: 308288 KiB
[startup+25.5002 s]
/proc/loadavg: 4.88 5.09 4.90 5/257 815145
/proc/meminfo: memFree=127474828/131524600 swapFree=131071996/131071996
[pid=815141] ppid=815138 vsize=422708 memory=314928 CPUtime=25.42 cores=1,3
/proc/815141/stat : 815141 (pbscip) R 815138 815141 814075 0 -1 4194304 83017 0 0 0 2529 13 0 0 20 0 1 0 158510730 432852992 78732 134679101440 4194304 18693293 140724557708128 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50597888 140724557710340 140724557710439 140724557710439 140724557717454 0
/proc/815141/statm: 105677 78732 4162 3540 0 93934 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 422708 KiB
Current children cumulated memory: 314928 KiB
[startup+51.1056 s]
/proc/loadavg: 4.58 5.00 4.88 5/257 815150
/proc/meminfo: memFree=127398152/131524600 swapFree=131071996/131071996
[pid=815141] ppid=815138 vsize=483432 memory=376252 CPUtime=50.96 cores=1,3
/proc/815141/stat : 815141 (pbscip) R 815138 815141 814075 0 -1 4194304 107848 0 0 0 5079 17 0 0 20 0 1 0 158510730 495034368 94063 134679101440 4194304 18693293 140724557708128 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50597888 140724557710340 140724557710439 140724557710439 140724557717454 0
/proc/815141/statm: 120858 94063 4194 3540 0 109115 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 483432 KiB
Current children cumulated memory: 376252 KiB
[startup+102.3 s]
/proc/loadavg: 4.29 4.86 4.84 5/257 815159
/proc/meminfo: memFree=127396032/131524600 swapFree=131071996/131071996
[pid=815141] ppid=815138 vsize=483432 memory=376252 CPUtime=102.01 cores=1,3
/proc/815141/stat : 815141 (pbscip) R 815138 815141 814075 0 -1 4194304 107892 0 0 0 10184 17 0 0 20 0 1 0 158510730 495034368 94063 134679101440 4194304 18693293 140724557708128 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50597888 140724557710340 140724557710439 140724557710439 140724557717454 0
/proc/815141/statm: 120858 94063 4194 3540 0 109115 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 483432 KiB
Current children cumulated memory: 376252 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.71 4.79 5/257 815170
/proc/meminfo: memFree=127330280/131524600 swapFree=131071996/131071996
[pid=815141] ppid=815138 vsize=540152 memory=432404 CPUtime=161.85 cores=1,3
/proc/815141/stat : 815141 (pbscip) R 815138 815141 814075 0 -1 4194304 120958 0 0 0 16166 19 0 0 20 0 1 0 158510730 553115648 108101 134679101440 4194304 18693293 140724557708128 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50597888 140724557710340 140724557710439 140724557710439 140724557717454 0
/proc/815141/statm: 135038 108101 4194 3540 0 123295 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 540152 KiB
Current children cumulated memory: 432404 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.61 4.75 5/256 815182
/proc/meminfo: memFree=127325844/131524600 swapFree=131071996/131071996
[pid=815141] ppid=815138 vsize=543352 memory=436344 CPUtime=221.69 cores=1,3
/proc/815141/stat : 815141 (pbscip) R 815138 815141 814075 0 -1 4194304 121915 0 0 0 22150 19 0 0 20 0 1 0 158510730 556392448 109086 134679101440 4194304 18693293 140724557708128 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50597888 140724557710340 140724557710439 140724557710439 140724557717454 0
/proc/815141/statm: 135838 109086 4194 3540 0 124095 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 543352 KiB
Current children cumulated memory: 436344 KiB
[startup+282.3 s]
/proc/loadavg: 4.22 4.55 4.71 5/254 815193
/proc/meminfo: memFree=127301708/131524600 swapFree=131071996/131071996
[pid=815141] ppid=815138 vsize=560480 memory=449712 CPUtime=281.54 cores=1,3
/proc/815141/stat : 815141 (pbscip) R 815138 815141 814075 0 -1 4194304 125289 0 0 0 28134 20 0 0 20 0 1 0 158510730 573931520 112428 134679101440 4194304 18693293 140724557708128 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50597888 140724557710340 140724557710439 140724557710439 140724557717454 0
/proc/815141/statm: 140120 112428 4194 3540 0 128377 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 560480 KiB
Current children cumulated memory: 449712 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.44 4.67 5/254 815203
/proc/meminfo: memFree=127293128/131524600 swapFree=131071996/131071996
[pid=815141] ppid=815138 vsize=559684 memory=452864 CPUtime=341.37 cores=1,3
/proc/815141/stat : 815141 (pbscip) R 815138 815141 814075 0 -1 4194304 128285 0 0 0 34117 20 0 0 20 0 1 0 158510730 573116416 113216 134679101440 4194304 18693293 140724557708128 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50597888 140724557710340 140724557710439 140724557710439 140724557717454 0
/proc/815141/statm: 139921 113216 4194 3540 0 128178 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 559684 KiB
Current children cumulated memory: 452864 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.39 4.63 5/254 815215
/proc/meminfo: memFree=127283992/131524600 swapFree=131071996/131071996
[pid=815141] ppid=815138 vsize=559684 memory=452864 CPUtime=401.21 cores=1,3
/proc/815141/stat : 815141 (pbscip) R 815138 815141 814075 0 -1 4194304 128298 0 0 0 40101 20 0 0 20 0 1 0 158510730 573116416 113216 134679101440 4194304 18693293 140724557708128 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50597888 140724557710340 140724557710439 140724557710439 140724557717454 0
/proc/815141/statm: 139921 113216 4194 3540 0 128178 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 559684 KiB
Current children cumulated memory: 452864 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.33 4.60 5/254 815225
/proc/meminfo: memFree=127252596/131524600 swapFree=131071996/131071996
[pid=815141] ppid=815138 vsize=591600 memory=483600 CPUtime=461.05 cores=1,3
/proc/815141/stat : 815141 (pbscip) R 815138 815141 814075 0 -1 4194304 136061 0 0 0 46083 22 0 0 20 0 1 0 158510730 605798400 120900 134679101440 4194304 18693293 140724557708128 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50597888 140724557710340 140724557710439 140724557710439 140724557717454 0
/proc/815141/statm: 147900 120900 4194 3540 0 136157 0
Current children cumulated CPU time: 461.05 s
Current children cumulated vsize: 591600 KiB
Current children cumulated memory: 483600 KiB
[startup+522.3 s]
/proc/loadavg: 4.13 4.30 4.57 5/254 815235
/proc/meminfo: memFree=127224332/131524600 swapFree=131071996/131071996
[pid=815141] ppid=815138 vsize=606900 memory=498244 CPUtime=520.9 cores=1,3
/proc/815141/stat : 815141 (pbscip) R 815138 815141 814075 0 -1 4194304 141588 0 0 0 52066 24 0 0 20 0 1 0 158510730 621465600 124561 134679101440 4194304 18693293 140724557708128 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50597888 140724557710340 140724557710439 140724557710439 140724557717454 0
/proc/815141/statm: 151725 124561 4194 3540 0 139982 0
Current children cumulated CPU time: 520.9 s
Current children cumulated vsize: 606900 KiB
Current children cumulated memory: 498244 KiB
[startup+582.3 s]
/proc/loadavg: 4.11 4.26 4.54 5/256 815252
/proc/meminfo: memFree=127199136/131524600 swapFree=131071996/131071996
[pid=815141] ppid=815138 vsize=628060 memory=518800 CPUtime=580.73 cores=1,3
/proc/815141/stat : 815141 (pbscip) R 815138 815141 814075 0 -1 4194304 147424 0 0 0 58048 25 0 0 20 0 1 0 158510730 643133440 129700 134679101440 4194304 18693293 140724557708128 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50597888 140724557710340 140724557710439 140724557710439 140724557717454 0
/proc/815141/statm: 157015 129700 4194 3540 0 145272 0
Current children cumulated CPU time: 580.73 s
Current children cumulated vsize: 628060 KiB
Current children cumulated memory: 518800 KiB
[startup+615.986 s]
# the end of solver process 815141 was just reported to runsolver
# Child ended because it received signal 11 (SIGSEGV)
Child dumped core
# cumulated CPU time of all completed processes: user=613.301 s, system=0.920735 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+588.8 s]
/proc/loadavg: 4.10 4.26 4.53 5/256 815253
/proc/meminfo: memFree=127190368/131524600 swapFree=131071996/131071996
[pid=815141] ppid=815138 vsize=637388 memory=527580 CPUtime=587.21 cores=1,3
/proc/815141/stat : 815141 (pbscip) R 815138 815141 814075 0 -1 4194304 149659 0 0 0 58695 26 0 0 20 0 1 0 158510730 652685312 131895 134679101440 4194304 18693293 140724557708128 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50597888 140724557710340 140724557710439 140724557710439 140724557717454 0
/proc/815141/statm: 159347 131895 4194 3540 0 147604 0
Current children cumulated CPU time: 587.21 s
Current children cumulated vsize: 637388 KiB
Current children cumulated memory: 527580 KiB
[startup+601.6 s]
/proc/loadavg: 4.08 4.24 4.52 5/256 815257
/proc/meminfo: memFree=127188644/131524600 swapFree=131071996/131071996
[pid=815141] ppid=815138 vsize=640520 memory=529928 CPUtime=599.98 cores=1,3
/proc/815141/stat : 815141 (pbscip) R 815138 815141 814075 0 -1 4194304 150231 0 0 0 59972 26 0 0 20 0 1 0 158510730 655892480 132482 134679101440 4194304 18693293 140724557708128 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50597888 140724557710340 140724557710439 140724557710439 140724557717454 0
/proc/815141/statm: 160130 132482 4194 3540 0 148387 0
Current children cumulated CPU time: 599.98 s
Current children cumulated vsize: 640520 KiB
Current children cumulated memory: 529928 KiB
[startup+608 s]*
/proc/loadavg: 4.07 4.24 4.52 5/256 815257
/proc/meminfo: memFree=127174508/131524600 swapFree=131071996/131071996
[pid=815141] ppid=815138 vsize=654448 memory=543108 CPUtime=606.37 cores=1,3
/proc/815141/stat : 815141 (pbscip) R 815138 815141 814075 0 -1 4194304 154649 0 0 0 60610 27 0 0 20 0 1 0 158510730 670154752 135777 134679101440 4194304 18693293 140724557708128 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50597888 140724557710340 140724557710439 140724557710439 140724557717454 0
/proc/815141/statm: 163612 135777 4194 3540 0 151869 0
Current children cumulated CPU time: 606.37 s
Current children cumulated vsize: 654448 KiB
Current children cumulated memory: 543108 KiB
[startup+611.2 s]
/proc/loadavg: 4.07 4.23 4.52 5/256 815258
/proc/meminfo: memFree=127174416/131524600 swapFree=131071996/131071996
[pid=815141] ppid=815138 vsize=654448 memory=543108 CPUtime=609.55 cores=1,3
/proc/815141/stat : 815141 (pbscip) R 815138 815141 814075 0 -1 4194304 154650 0 0 0 60928 27 0 0 20 0 1 0 158510730 670154752 135777 134679101440 4194304 18693293 140724557708128 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50597888 140724557710340 140724557710439 140724557710439 140724557717454 0
/proc/815141/statm: 163612 135777 4194 3540 0 151869 0
Current children cumulated CPU time: 609.55 s
Current children cumulated vsize: 654448 KiB
Current children cumulated memory: 543108 KiB
[startup+614.4 s]
/proc/loadavg: 4.07 4.23 4.52 5/256 815258
/proc/meminfo: memFree=127174440/131524600 swapFree=131071996/131071996
[pid=815141] ppid=815138 vsize=655580 memory=543108 CPUtime=612.74 cores=1,3
/proc/815141/stat : 815141 (pbscip) R 815138 815141 814075 0 -1 4194304 154655 0 0 0 61247 27 0 0 20 0 1 0 158510730 671313920 135777 134679101440 4194304 18693293 140724557708128 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50597888 140724557710340 140724557710439 140724557710439 140724557717454 0
/proc/815141/statm: 163895 135777 4194 3540 0 152152 0
Current children cumulated CPU time: 612.74 s
Current children cumulated vsize: 655580 KiB
Current children cumulated memory: 543108 KiB
[startup+615.2 s]
/proc/loadavg: 4.14 4.25 4.52 5/256 815258
/proc/meminfo: memFree=127174444/131524600 swapFree=131071996/131071996
[pid=815141] ppid=815138 vsize=725132 memory=607784 CPUtime=613.54 cores=1,3
/proc/815141/stat : 815141 (pbscip) R 815138 815141 814075 0 -1 4194304 170826 0 0 0 61325 29 0 0 20 0 1 0 158510730 742535168 151946 134679101440 4194304 18693293 140724557708128 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50597888 140724557710340 140724557710439 140724557710439 140724557717454 0
/proc/815141/statm: 181283 151946 4194 3540 0 169540 0
Current children cumulated CPU time: 613.54 s
Current children cumulated vsize: 725132 KiB
Current children cumulated memory: 607784 KiB
[startup+615.601 s]
/proc/loadavg: 4.14 4.25 4.52 5/256 815258
/proc/meminfo: memFree=127174444/131524600 swapFree=131071996/131071996
[pid=815141] ppid=815138 vsize=726332 memory=609056 CPUtime=613.83 cores=1,3
/proc/815141/stat : 815141 (pbscip) R 815138 815141 814075 0 -1 4195840 171206 0 0 0 61330 53 0 0 20 0 1 0 158510730 743763968 152264 134679101440 4194304 18693293 140724557708128 140724557704768 7308797 0 0 0 2 0 0 0 17 3 0 0 0 0 0 21375888 21430392 50597888 140724557710340 140724557710439 140724557710439 140724557717454 0
/proc/815141/statm: 181583 152264 4185 3540 0 169840 0
Current children cumulated CPU time: 613.83 s
Current children cumulated vsize: 726332 KiB
Current children cumulated memory: 609056 KiB
[startup+615.801 s]
/proc/loadavg: 4.14 4.25 4.52 5/256 815258
/proc/meminfo: memFree=127174444/131524600 swapFree=131071996/131071996
[pid=815141] ppid=815138 vsize=726332 memory=609056 CPUtime=614.03 cores=1,3
/proc/815141/stat : 815141 (pbscip) R 815138 815141 814075 0 -1 4195840 171206 0 0 0 61330 73 0 0 20 0 1 0 158510730 743763968 152264 134679101440 4194304 18693293 140724557708128 140724557704768 7308797 0 0 0 2 0 0 0 17 3 0 0 0 0 0 21375888 21430392 50597888 140724557710340 140724557710439 140724557710439 140724557717454 0
/proc/815141/statm: 181583 152264 4185 3540 0 169840 0
Current children cumulated CPU time: 614.03 s
Current children cumulated vsize: 726332 KiB
Current children cumulated memory: 609056 KiB
[startup+615.901 s]
/proc/loadavg: 4.14 4.25 4.52 5/256 815258
/proc/meminfo: memFree=127174444/131524600 swapFree=131071996/131071996
[pid=815141] ppid=815138 vsize=726332 memory=609056 CPUtime=614.13 cores=1,3
/proc/815141/stat : 815141 (pbscip) R 815138 815141 814075 0 -1 4195840 171206 0 0 0 61330 83 0 0 20 0 1 0 158510730 743763968 152264 134679101440 4194304 18693293 140724557708128 140724557704768 7308797 0 0 0 2 0 0 0 17 3 0 0 0 0 0 21375888 21430392 50597888 140724557710340 140724557710439 140724557710439 140724557717454 0
/proc/815141/statm: 181583 152264 4185 3540 0 169840 0
Current children cumulated CPU time: 614.13 s
Current children cumulated vsize: 726332 KiB
Current children cumulated memory: 609056 KiB
Child ended because it received signal 11 (SIGSEGV)
Child dumped core
Real time (s): 615.986
CPU time (s): 614.222
CPU user time (s): 613.301
CPU system time (s): 0.920735
CPU usage (%): 99.7137
Max. virtual memory (cumulated for all children) (KiB): 726332
Max. memory (cumulated for all children) (KiB): 609056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 613.301
system time used= 0.920735
maximum resident set size= 609292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171244
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= 407
# summary of solver processes directly reported to runsolver:
# pid: 815141
# total CPU time (s): 614.222
# total CPU user time (s): 613.301
# total CPU system time (s): 0.920735
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.02802 second user time and 2.923 second system time
The end