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-4425277-1720881378.wbo>
0.20/0.23 c original problem has 57676 variables (57676 bin, 0 int, 0 impl, 0 cont) and 112884 constraints
0.20/0.23 c problem read in 0.23
0.88/0.93 c presolving:
1.09/1.18 c (round 1, fast) 0 del vars, 0 del conss, 0 add conss, 56401 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 63676 clqs
38.18/38.38 c (38.4s) probing: 1000/114077 (0.9%) - 0 fixings, 0 aggregations, 1303597 implications, 0 bound changes
38.28/38.41 c (38.4s) probing: 1001/114077 (0.9%) - 0 fixings, 0 aggregations, 1303615 implications, 0 bound changes
38.28/38.41 c (38.4s) probing aborted: 1000/1000 successive useless probings
38.28/38.41 c (38.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
38.68/38.85 c (38.8s) symmetry computation finished: 1 generators found (max: 561, log10 of symmetry group size: 0.0) (symcode time: 0.25)
38.68/38.86 c dynamic symmetry handling statistics:
38.68/38.86 c orbitopal reduction: no components
38.68/38.86 c orbital reduction: no components
38.68/38.86 c lexicographic reduction: 1 permutations with support sizes 5400
38.68/38.86 c handled 1 out of 1 symmetry components
38.78/38.96 c presolving (2 rounds: 2 fast, 1 medium, 1 exhaustive):
38.78/38.96 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 56401 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
38.78/38.96 c 0 implications, 122801 cliques
38.78/38.96 c presolved problem has 114077 variables (57676 bin, 0 int, 56401 impl, 0 cont) and 112884 constraints
38.78/38.96 c 1 constraints of type <knapsack>
38.78/38.96 c 81 constraints of type <setppc>
38.78/38.96 c 56401 constraints of type <linear>
38.78/38.96 c 56401 constraints of type <indicator>
38.78/38.96 c transformed objective value is always integral (scale: 1)
38.78/38.96 c Presolving Time: 38.55
38.78/38.96 c - non default parameters ----------------------------------------------------------------------
38.78/38.96 c # SCIP version 10.0.0
38.78/38.96 c
38.78/38.96 c # maximal time in seconds to run
38.78/38.96 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
38.78/38.96 c limits/time = 3596.998048
38.78/38.96 c
38.78/38.96 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
38.78/38.96 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
38.78/38.96 c limits/memory = 27900
38.78/38.96 c
38.78/38.96 c # belongs reading time to solving time?
38.78/38.96 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
38.78/38.96 c timing/reading = TRUE
38.78/38.96 c
38.78/38.96 c -----------------------------------------------------------------------------------------------
38.78/38.96 c start solving
38.88/39.02 c
412.19/413.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
412.19/413.89 c 414s| 1 | 0 | 495 | - | 794M | 0 | 114k| 112k| 112k| 0 | 0 | 83 | 0 | 0.000000e+00 | -- | Inf | unknown
431.56/433.26 c 433s| 1 | 0 | 5774 | - | 853M | 0 | 114k| 112k| 112k| 38 | 1 | 87 | 0 | 0.000000e+00 | -- | Inf | unknown
448.63/450.30 c 450s| 1 | 0 | 6037 | - | 864M | 0 | 114k| 112k| 112k| 72 | 2 | 91 | 0 | 0.000000e+00 | -- | Inf | unknown
465.59/467.31 c 467s| 1 | 0 | 6227 | - | 875M | 0 | 114k| 112k| 112k| 101 | 3 | 92 | 0 | 0.000000e+00 | -- | Inf | unknown
482.76/484.53 c 485s| 1 | 0 | 6426 | - | 887M | 0 | 114k| 112k| 113k| 130 | 4 | 95 | 0 | 0.000000e+00 | -- | Inf | unknown
499.72/501.53 c 502s| 1 | 0 | 6750 | - | 899M | 0 | 114k| 112k| 113k| 157 | 5 | 96 | 0 | 0.000000e+00 | -- | Inf | unknown
516.49/518.33 c 518s| 1 | 0 | 6916 | - | 911M | 0 | 114k| 112k| 113k| 181 | 6 | 98 | 0 | 0.000000e+00 | -- | Inf | unknown
533.35/535.24 c 535s| 1 | 0 | 7138 | - | 923M | 0 | 114k| 112k| 113k| 210 | 7 | 102 | 0 | 0.000000e+00 | -- | Inf | unknown
549.93/551.81 c 552s| 1 | 0 | 7316 | - | 937M | 0 | 114k| 112k| 113k| 230 | 8 | 103 | 0 | 0.000000e+00 | -- | Inf | unknown
566.69/568.66 c 569s| 1 | 0 | 7473 | - | 953M | 0 | 114k| 112k| 113k| 254 | 9 | 108 | 0 | 0.000000e+00 | -- | Inf | unknown
583.46/585.43 c 585s| 1 | 0 | 7657 | - | 967M | 0 | 114k| 112k| 113k| 272 | 10 | 114 | 0 | 0.000000e+00 | -- | Inf | unknown
599.62/601.64 c 602s| 1 | 0 | 7801 | - | 977M | 0 | 114k| 113k| 113k| 285 | 11 | 119 | 0 | 0.000000e+00 | -- | Inf | unknown
624.84/626.97 c 627s| 1 | 2 | 13964 | - | 1005M | 0 | 114k| 113k| 113k| 285 | 11 | 494 | 22 | 0.000000e+00 | -- | Inf | unknown
838.52/841.40 c 841s| 100 | 52 | 45672 | 384.4 | 1358M | 24 | 114k| 113k| 113k|1701 | 1 | 770 | 775 | 0.000000e+00 | -- | Inf | 0.56%
894.12/897.28 c 897s| 200 | 137 | 69954 | 313.2 | 1480M | 25 | 114k| 114k| 113k|2609 | 1 |1266 | 827 | 0.000000e+00 | -- | Inf | 0.71%
958.28/961.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
958.28/961.60 c 962s| 300 | 211 | 92184 | 282.8 | 1637M | 47 | 114k| 114k| 113k|3383 | 1 |1735 | 907 | 0.000000e+00 | -- | Inf | 0.71%
1038.30/1041.93 c 1042s| 400 | 288 |124109 | 292.0 | 1687M | 47 | 114k| 115k| 112k|3748 | 1 |3113 | 994 | 0.000000e+00 | -- | Inf | 0.71%
1151.50/1155.55 c 1156s| 500 | 382 |187092 | 359.7 | 1921M | 47 | 114k| 115k| 113k|5842 | 1 |4545 |1072 | 0.000000e+00 | -- | Inf | 0.81%
1258.23/1262.61 c 1263s| 600 | 482 |254604 | 412.3 | 2048M | 47 | 114k| 115k| 113k|7142 | 1 |6157 |1176 | 0.000000e+00 | -- | Inf | 0.81%
1403.32/1408.26 c 1408s| 700 | 564 |313089 | 437.0 | 2448M | 47 | 114k| 115k| 113k|8737 | 2 |8346 |1363 | 0.000000e+00 | -- | Inf | 0.91%
1555.25/1560.72 c 1561s| 800 | 648 |380204 | 466.3 | 2792M | 47 | 114k| 116k| 113k| 10k| 9 | 10k|1559 | 0.000000e+00 | -- | Inf | 0.91%
1688.07/1694.02 c 1694s| 900 | 734 |450413 | 492.5 | 3018M | 47 | 114k| 116k| 113k| 12k| 2 | 12k|1784 | 0.000000e+00 | -- | Inf | 1.01%
1780.32/1786.61 c 1787s| 1000 | 802 |500871 | 493.7 | 3076M | 62 | 114k| 116k| 113k| 13k| 1 | 13k|1968 | 0.000000e+00 | -- | Inf | 1.01%
1835.90/1842.42 c 1842s| 1100 | 858 |534437 | 479.4 | 3113M | 75 | 114k| 116k| 113k| 13k| 1 | 13k|2075 | 0.000000e+00 | -- | Inf | 1.01%
1882.12/1888.81 c 1889s| 1200 | 904 |560519 | 461.1 | 3157M | 81 | 114k| 116k| 113k| 13k| 0 | 13k|2151 | 0.000000e+00 | -- | Inf | 1.02%
1884.11/1890.88 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1895.78/1902.57 c (run 1, node 1211) performing user restart
1895.78/1902.57 c
1895.78/1902.58 c (restart) converted 141 cuts from the global cut pool into linear constraints
1895.78/1902.58 c
1896.18/1902.92 c presolving:
1896.38/1903.19 c (round 1, exhaustive) 0 del vars, 38 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 141 upgd conss, 0 impls, 122808 clqs
1908.05/1914.89 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
1908.05/1914.89 c 0 deleted vars, 120 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 1 changed sides, 98 changed coefficients
1908.05/1914.89 c 0 implications, 122808 cliques
1908.05/1914.89 c presolved problem has 114077 variables (57676 bin, 0 int, 56401 impl, 0 cont) and 116586 constraints
1908.05/1914.89 c 112 constraints of type <knapsack>
1908.05/1914.89 c 88 constraints of type <setppc>
1908.05/1914.89 c 56401 constraints of type <linear>
1908.05/1914.89 c 3584 constraints of type <logicor>
1908.05/1914.89 c 56401 constraints of type <indicator>
1908.05/1914.89 c transformed objective value is always integral (scale: 1)
1908.05/1914.89 c Presolving Time: 50.57
1908.15/1914.94 c
1910.05/1916.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1910.05/1916.86 c 1917s| 1 | 0 |563044 | - | 3142M | 0 | 114k| 116k| 113k| 0 | 0 | 14k|2151 | 0.000000e+00 | -- | Inf | unknown
1927.31/1934.18 c 1934s| 1 | 0 |563381 | - | 3145M | 0 | 114k| 116k| 113k| 42 | 1 | 14k|2151 | 0.000000e+00 | -- | Inf | unknown
1944.67/1951.53 c 1952s| 1 | 0 |563571 | - | 3156M | 0 | 114k| 116k| 113k| 74 | 2 | 14k|2151 | 0.000000e+00 | -- | Inf | unknown
1962.24/1969.11 c 1969s| 1 | 0 |563762 | - | 3156M | 0 | 114k| 116k| 113k| 102 | 3 | 14k|2151 | 0.000000e+00 | -- | Inf | unknown
1979.21/1986.19 c 1986s| 1 | 0 |563999 | - | 3156M | 0 | 114k| 116k| 113k| 132 | 4 | 14k|2151 | 0.000000e+00 | -- | Inf | unknown
1995.78/2002.73 c 2003s| 1 | 0 |564236 | - | 3167M | 0 | 114k| 116k| 113k| 152 | 5 | 14k|2151 | 0.000000e+00 | -- | Inf | unknown
2012.15/2019.19 c 2019s| 1 | 0 |564478 | - | 3178M | 0 | 114k| 116k| 113k| 175 | 6 | 14k|2151 | 0.000000e+00 | -- | Inf | unknown
2028.81/2035.85 c 2036s| 1 | 0 |564741 | - | 3190M | 0 | 114k| 116k| 113k| 198 | 7 | 14k|2151 | 0.000000e+00 | -- | Inf | unknown
2045.79/2052.80 c 2053s| 1 | 0 |564972 | - | 3190M | 0 | 114k| 116k| 113k| 224 | 8 | 14k|2151 | 0.000000e+00 | -- | Inf | unknown
2062.35/2069.46 c 2069s| 1 | 0 |565164 | - | 3190M | 0 | 114k| 116k| 113k| 241 | 9 | 14k|2151 | 0.000000e+00 | -- | Inf | unknown
2079.12/2086.26 c 2086s| 1 | 0 |565337 | - | 3201M | 0 | 114k| 116k| 113k| 258 | 10 | 14k|2151 | 0.000000e+00 | -- | Inf | unknown
2095.49/2102.61 c 2103s| 1 | 0 |565461 | - | 3201M | 0 | 114k| 116k| 113k| 273 | 11 | 14k|2151 | 0.000000e+00 | -- | Inf | unknown
2119.01/2126.20 c 2126s| 1 | 2 |573235 | - | 3203M | 0 | 114k| 116k| 113k| 273 | 11 | 14k|2169 | 0.000000e+00 | -- | Inf | unknown
2261.15/2268.89 c 2269s| 100 | 97 |619520 | 464.8 | 3453M | 42 | 114k| 117k| 113k|1252 | 1 | 18k|2258 | 0.000000e+00 | -- | Inf | unknown
2360.60/2368.68 c 2369s| 200 | 187 |662991 | 462.7 | 3533M | 44 | 114k| 116k| 113k|1887 | 1 | 19k|2442 | 0.000000e+00 | -- | Inf | 3.13%
2485.24/2493.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2485.24/2493.79 c 2494s| 300 | 271 |727370 | 474.7 | 3661M | 45 | 114k| 115k| 113k|3185 | 2 | 20k|2607 | 0.000000e+00 | -- | Inf | 4.41%
2589.37/2598.28 c 2598s| 400 | 353 |773561 | 473.9 | 3706M | 47 | 114k| 114k| 113k|3909 | 1 | 21k|2793 | 0.000000e+00 | -- | Inf | 4.41%
2684.15/2693.38 c 2693s| 500 | 447 |817125 | 471.7 | 3729M | 47 | 114k| 116k| 113k|4605 | 1 | 24k|2891 | 0.000000e+00 | -- | Inf | 5.19%
2801.46/2811.07 c 2811s| 600 | 529 |868046 | 473.7 | 3846M | 47 | 114k| 116k| 113k|5562 | 2 | 26k|3047 | 0.000000e+00 | -- | Inf | 5.19%
2933.31/2943.31 c 2943s| 700 | 615 |922091 | 477.2 | 4036M | 53 | 114k| 116k| 113k|7483 | 1 | 28k|3220 | 0.000000e+00 | -- | Inf | 5.59%
2989.99/3000.20 c 3000s| 800 | 682 |954891 | 469.8 | 4073M | 70 | 114k| 116k| 113k|7647 | 2 | 28k|3353 | 0.000000e+00 | -- | Inf | 5.59%
3039.61/3050.04 c 3050s| 900 | 742 |977648 | 458.3 | 4096M | 82 | 114k| 116k| 113k|7773 | 1 | 28k|3445 | 0.000000e+00 | -- | Inf | 5.61%
3091.72/3102.34 c 3102s| 1000 | 803 |995489 | 445.7 | 4134M | 96 | 114k| 116k| 113k|7821 | 1 | 28k|3570 | 0.000000e+00 | -- | Inf | 5.61%
3139.15/3149.91 c 3150s| 1100 | 856 | 1017k| 435.8 | 4195M | 115 | 114k| 116k| 113k|7990 | 1 | 28k|3655 | 0.000000e+00 | -- | Inf | 7.03%
3187.98/3198.97 c 3199s| 1200 | 916 | 1037k| 426.3 | 4212M | 119 | 114k| 116k| 113k|8008 | 1 | 29k|3776 | 0.000000e+00 | -- | Inf | 7.03%
3226.34/3237.45 c 3237s| 1300 | 944 | 1053k| 415.5 | 4240M | 126 | 114k| 115k| 113k|8034 | 1 | 29k|3852 | 0.000000e+00 | -- | Inf | 7.03%
3275.05/3286.35 c 3286s| 1400 | 984 | 1075k| 408.1 | 4286M | 126 | 114k| 115k| 0 |8103 | 0 | 29k|3976 | 0.000000e+00 | -- | Inf | 7.03%
3320.49/3331.91 c 3332s| 1500 | 1029 | 1094k| 400.1 | 4322M | 126 | 114k| 115k| 0 |8153 | 0 | 29k|4103 | 0.000000e+00 | -- | Inf | 7.03%
3370.20/3381.85 c 3382s| 1600 | 1070 | 1116k| 393.6 | 4364M | 126 | 114k| 114k| 113k|8226 | 1 | 29k|4229 | 0.000000e+00 | -- | Inf | 7.62%
3429.29/3441.18 c 3441s| 1700 | 1117 | 1140k| 388.3 | 4406M | 126 | 114k| 114k| 113k|8752 | 3 | 29k|4358 | 0.000000e+00 | -- | Inf | 10.84%
3466.34/3478.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3466.34/3478.35 c 3478s| 1800 | 1184 | 1158k| 381.4 | 4422M | 126 | 114k| 114k| 113k|8838 | 2 | 29k|4437 | 0.000000e+00 | -- | Inf | 11.68%
3509.98/3522.16 c 3522s| 1900 | 1223 | 1178k| 375.4 | 4449M | 126 | 114k| 114k| 113k|8997 | 1 | 29k|4521 | 0.000000e+00 | -- | Inf | 12.26%
3574.36/3586.79 c 3587s| 2000 | 1263 | 1198k| 370.1 | 4468M | 126 | 114k| 115k| 113k|9018 | 1 | 30k|4621 | 0.000000e+00 | -- | Inf | 12.26%
3584.52/3597.00 c
3584.52/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3584.52/3597.00 c Solving Time (sec) : 3597.00
3584.52/3597.00 c Solving Nodes : 2023 (total of 3234 nodes in 2 runs)
3584.52/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3584.52/3597.00 c Dual Bound : +0.00000000000000e+00
3584.52/3597.00 c Gap : infinite
3584.52/3597.00 s UNKNOWN
3584.52/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3584.52/3597.00 c Total Time : 3597.00
3584.52/3597.00 c solving : 3597.00
3584.52/3597.00 c presolving : 50.57 (included in solving)
3584.52/3597.00 c reading : 0.23 (included in solving)
3584.52/3597.00 c copying : 2.10 (6 #copies) (minimal 0.34, maximal 0.37, average 0.35)
3584.52/3597.00 c Original Problem :
3584.52/3597.00 c Problem name : HOME/instance-4425277-1720881378.wbo
3584.52/3597.00 c Variables : 57676 (57676 binary, 0 integer, 0 implicit integer, 0 continuous)
3584.52/3597.00 c Constraints : 112884 initial, 112884 maximal
3584.62/3597.00 c Objective : minimize, 56401 non-zeros (abs.min = 1, abs.max = 2434)
3584.62/3597.00 c Presolved Problem :
3584.62/3597.00 c Problem name : t_HOME/instance-4425277-1720881378.wbo
3584.62/3597.00 c Variables : 114077 (57676 binary, 0 integer, 56401 implicit integer, 0 continuous)
3584.62/3597.00 c Constraints : 116586 initial, 117399 maximal
3584.62/3597.00 c Objective : minimize, 56401 non-zeros (abs.min = 1, abs.max = 2434)
3584.62/3597.00 c Nonzeros : 631697 constraint, 565061 clique table
3584.62/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3584.62/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c gateextraction : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c implics : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c trivial : 0.01 0.00 4 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c dualfix : 0.02 0.00 4 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c probing : 37.07 0.00 1 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c pseudoobj : 0.01 0.02 2 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c symmetry : 0.45 0.00 1 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c vbounds : 0.12 0.01 2 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c knapsack : 0.11 0.01 6 0 0 0 0 0 0 0 1 34
3584.62/3597.00 c setppc : 0.01 0.00 6 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c linear : 0.33 0.02 7 0 0 0 56401 0 0 0 0 0
3584.62/3597.00 c logicor : 11.57 0.03 5 0 0 0 0 0 120 0 0 64
3584.62/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c indicator : 0.06 0.01 2 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c components : 0.17 0.00 2 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c root node : - - - 0 - - 0 - - - - -
3584.62/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3584.62/3597.00 c benderslp : 0 0 0 0 2854 0 0 832 0 0 0 0 0 0 0
3584.62/3597.00 c integral : 0 0 0 0 2854 0 0 832 0 0 343 0 0 375 5438
3584.62/3597.00 c knapsack : 112+ 113 11 204202 0 0 0 827 58564 575 429 6 1 0 0
3584.62/3597.00 c setppc : 88 88 22 203640 0 0 0 740 4695 1654 26754 0 0 0 0
3584.62/3597.00 c linear : 56401+ 56402 22 201986 0 0 0 3 147411 274 91740 0 0 0 0
3584.62/3597.00 c logicor : 3584+ 4396 22 29622 0 0 0 0 4652 3139 7543 45 28 0 0
3584.62/3597.00 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c indicator : 56401 56401 1073 198573 0 0 0 0 174593 32 5825873 0 0 0 0
3584.62/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3584.62/3597.00 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.62/3597.00 c integral : 953.67 0.00 0.00 0.00 953.66 0.00 0.00 0.01 0.00 0.00
3584.62/3597.00 c knapsack : 73.11 0.01 0.01 43.35 0.00 0.00 0.00 3.04 26.58 0.12
3584.62/3597.00 c setppc : 9.46 0.00 0.00 8.84 0.00 0.00 0.00 0.00 0.01 0.61
3584.62/3597.00 c linear : 19.09 0.02 0.17 17.90 0.00 0.00 0.00 0.00 0.12 0.89
3584.62/3597.00 c logicor : 19.90 0.03 0.02 19.77 0.00 0.00 0.00 0.00 0.03 0.05
3584.62/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.62/3597.00 c indicator : 642.36 0.01 9.78 577.33 0.00 0.00 0.00 0.00 0.10 55.15
3584.62/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.62/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.62/3597.00 c components : 0.04 0.00 0.00 0.04 0.00 0.00 0.00 0.00 0.00 0.00
3584.62/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3584.62/3597.00 c dualfix : 2 0 0 0
3584.62/3597.00 c genvbounds : 0 0 0 0
3584.62/3597.00 c nlobbt : 0 0 0 0
3584.62/3597.00 c obbt : 0 0 0 0
3584.62/3597.00 c probing : 0 0 0 0
3584.62/3597.00 c pseudoobj : 14084 321 1 8710
3584.62/3597.00 c redcost : 10594 0 0 6411736
3584.62/3597.00 c rootredcost : 2 0 0 0
3584.62/3597.00 c symmetry : 9131 0 0 4
3584.62/3597.00 c vbounds : 100299 0 0 0
3584.62/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3584.62/3597.00 c dualfix : 0.02 0.00 0.02 0.01 0.00 0.00
3584.62/3597.00 c genvbounds : 0.06 0.00 0.00 0.05 0.00 0.01
3584.62/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3584.62/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3584.62/3597.00 c probing : 37.08 0.00 37.07 0.00 0.00 0.00
3584.62/3597.00 c pseudoobj : 0.49 0.02 0.01 0.16 0.30 0.00
3584.62/3597.00 c redcost : 64.52 0.00 0.00 64.51 0.00 0.00
3584.62/3597.00 c rootredcost : 0.15 0.00 0.00 0.14 0.00 0.01
3584.62/3597.00 c symmetry : 1.08 0.00 0.45 0.54 0.00 0.09
3584.62/3597.00 c vbounds : 7.28 0.01 0.12 7.14 0.00 0.01
3584.62/3597.00 c Symmetry :
3584.62/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3584.62/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3584.62/3597.00 c lexicographic red: 4 reductions applied, 0 cutoffs
3584.62/3597.00 c shadow tree time : 0.06 s
3584.62/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3584.62/3597.00 c propagation : 27.42 5671 5633 - 40095 42.2 327 17.3 - - -
3584.62/3597.00 c infeasible LP : 0.13 2 2 - 7 65.1 0 0.0 2 70.0 0
3584.62/3597.00 c bound exceed. LP : 15.08 394 26 - 146 151.6 0 0.0 0 0.0 3704
3584.62/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3584.62/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3584.62/3597.00 c applied globally : 90.15 - - 0 30539 40.4 - - 2 - -
3584.62/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3584.62/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3584.62/3597.00 c cut pool : 2.30 - 1703 42 - - 25265 225875 - - - - - (maximal pool size: 4630)
3584.62/3597.00 c aggregation : 33.66 0.00 597 22 0 0 5 126 0 3 3 0 0
3584.62/3597.00 c > cmir : - - - - - - - 125 0 2 2 0 -
3584.62/3597.00 c > flowcover : - - - - - - - 1 0 1 1 0 -
3584.62/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3584.62/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c clique : 346.31 0.00 22 22 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c gomory : 117.03 0.00 358 20 0 0 20880 184611 16 9298 9298 0 0
3584.62/3597.00 c > gomorymi : - - - - - - - 59673 8 877 877 0 -
3584.62/3597.00 c > strongcg : - - - - - - - 124938 8 8421 8421 0 -
3584.62/3597.00 c impliedbounds : 6.92 0.00 597 22 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c mcf : 0.18 0.00 2 2 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c mixing : 0.00 0.00 597 22 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c multilinear : 0.00 0.00 130 22 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c rlt : 0.00 0.00 96 20 0 0 0 0 0 0 0 0 0
3584.62/3597.00 c zerohalf : 14.98 0.00 360 22 0 0 4402 41138 6 13499 13493 6 0
3584.62/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3584.62/3597.00 c hybrid : 0.40 0.00 1208 22 22829 0 203119 558 0 4954
3584.62/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3584.62/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3584.62/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3584.62/3597.00 c problem variables: 0.00 - 0 0
3584.62/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3584.62/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3584.62/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3584.62/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3584.62/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3584.62/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3584.62/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3584.62/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3584.62/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3584.62/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3584.62/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3584.62/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3584.62/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3584.62/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3584.62/3597.00 c relpscost : 953.66 0.00 2854 0 0 0 343 0 427 5438
3584.62/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3584.62/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3584.62/3597.00 c LP solutions : 0.00 - - 0 0
3584.62/3597.00 c relax solutions : 0.00 - - 0 0
3584.62/3597.00 c pseudo solutions : 0.00 - - 0 0
3584.62/3597.00 c strong branching : 0.03 - - 0 0
3584.62/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3584.62/3597.00 c adaptivediving : 11.96 0.00 11 0 0
3584.62/3597.00 c alns : 5.01 0.00 3 0 0
3584.62/3597.00 c bound : 0.00 0.00 0 0 0
3584.62/3597.00 c clique : 0.53 0.00 1 0 0
3584.62/3597.00 c coefdiving : 0.00 0.00 0 0 0
3584.62/3597.00 c completesol : 0.00 0.00 0 0 0
3584.62/3597.00 c conflictdiving : 121.37 0.00 65 0 0
3584.62/3597.00 c crossover : 0.00 0.00 0 0 0
3584.62/3597.00 c dins : 0.00 0.00 0 0 0
3584.62/3597.00 c distributiondivin: 36.91 0.00 64 0 0
3584.62/3597.00 c dps : 0.00 0.00 0 0 0
3584.62/3597.00 c dualval : 0.00 0.00 0 0 0
3584.62/3597.00 c farkasdiving : 23.53 0.00 2 0 0
3584.62/3597.00 c feasjump : 0.17 0.00 2 0 0
3584.62/3597.00 c feaspump : 17.40 0.00 7 0 0
3584.62/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3584.62/3597.00 c fracdiving : 86.86 0.00 65 0 0
3584.62/3597.00 c gins : 0.00 0.00 0 0 0
3584.62/3597.00 c guideddiving : 0.00 0.00 0 0 0
3584.62/3597.00 c indcoefdiving : 0.00 0.00 0 0 0
3584.62/3597.00 c indicator : 0.00 0.00 0 0 0
3584.62/3597.00 c indicatordiving : 0.01 0.00 0 0 0
3584.62/3597.00 c indoneopt : 0.53 0.03 2 0 0
3584.62/3597.00 c indrounding : 0.00 0.00 0 0 0
3584.62/3597.00 c indtwoopt : 0.00 0.04 0 0 0
3584.62/3597.00 c intdiving : 0.00 0.00 0 0 0
3584.62/3597.00 c intshifting : 0.00 0.00 0 0 0
3584.62/3597.00 c linesearchdiving : 157.61 0.00 65 0 0
3584.62/3597.00 c localbranching : 0.00 0.00 0 0 0
3584.62/3597.00 c locks : 0.11 0.00 1 0 0
3584.62/3597.00 c lpface : 2.02 0.00 2 0 0
3584.62/3597.00 c mpec : 0.00 0.00 0 0 0
3584.62/3597.00 c multistart : 0.00 0.00 0 0 0
3584.62/3597.00 c mutation : 0.00 0.00 0 0 0
3584.62/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3584.62/3597.00 c objpscostdiving : 29.72 0.00 5 0 0
3584.62/3597.00 c octane : 0.00 0.00 0 0 0
3584.62/3597.00 c ofins : 0.00 0.00 0 0 0
3584.62/3597.00 c oneopt : 0.00 0.00 0 0 0
3584.62/3597.00 c padm : 0.00 0.00 0 0 0
3584.62/3597.00 c proximity : 0.00 0.00 0 0 0
3584.62/3597.00 c pscostdiving : 30.71 0.00 43 0 0
3584.62/3597.00 c randrounding : 10.07 0.00 832 0 0
3584.62/3597.00 c rens : 2.32 0.00 2 0 0
3584.62/3597.00 c reoptsols : 0.00 0.00 0 0 0
3584.62/3597.00 c repair : 0.00 0.00 0 0 0
3584.62/3597.00 c rins : 0.00 0.00 0 0 0
3584.62/3597.00 c rootsoldiving : 18.49 0.00 7 0 0
3584.62/3597.00 c rounding : 3.64 0.00 856 0 0
3584.62/3597.00 c scheduler : 0.00 0.00 0 0 0
3584.62/3597.00 c shiftandpropagate: 1.40 0.00 2 0 0
3584.62/3597.00 c shifting : 4.42 0.00 525 0 0
3584.62/3597.00 c simplerounding : 0.01 0.00 0 0 0
3584.62/3597.00 c smallcard : 0.00 0.00 0 0 0
3584.62/3597.00 c subnlp : 0.00 0.00 0 0 0
3584.62/3597.00 c trivial : 0.17 0.00 4 0 0
3584.62/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3584.62/3597.00 c trustregion : 0.00 0.00 0 0 0
3584.62/3597.00 c trysol : 0.00 0.00 0 0 0
3584.62/3597.00 c twoopt : 0.00 0.00 0 0 0
3584.62/3597.00 c undercover : 0.00 0.00 0 0 0
3584.62/3597.00 c vbounds : 373.27 0.00 2 0 0
3584.62/3597.00 c veclendiving : 101.07 0.00 64 0 0
3584.62/3597.00 c zeroobj : 0.00 0.00 0 0 0
3584.62/3597.00 c zirounding : 0.95 0.00 1000 0 0
3584.62/3597.00 c other solutions : - - - 0 -
3584.62/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3584.62/3597.00 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.62/3597.00 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.62/3597.00 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.62/3597.00 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.62/3597.00 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.62/3597.00 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.62/3597.00 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.62/3597.00 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.62/3597.00 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
3584.62/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3584.62/3597.00 c primal LP : 12.34 411 0 0.00 0.00 12.34 411
3584.62/3597.00 c dual LP : 708.68 7513 774238 162.62 1092.50 65.46 2752
3584.62/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3584.62/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3584.62/3597.00 c resolve instable : 0.00 0 0 0.00 -
3584.62/3597.00 c diving/probing LP: 155.04 1762 429127 243.55 2767.85
3584.62/3597.00 c strong branching : 665.63 4642 500500 107.82 751.91 - - 609
3584.62/3597.00 c (at root node) : - 40 10905 272.62 -
3584.62/3597.00 c conflict analysis: 5.89 371 3704 9.98 629.17
3584.62/3597.00 c B&B Tree :
3584.62/3597.00 c number of runs : 2
3584.62/3597.00 c nodes : 2023 (1656 internal, 367 leaves)
3584.62/3597.00 c feasible leaves : 0
3584.62/3597.00 c infeas. leaves : 169
3584.62/3597.00 c objective leaves : 197
3584.62/3597.00 c nodes (total) : 3234 (2719 internal, 515 leaves)
3584.62/3597.00 c nodes left : 1277
3584.62/3597.00 c max depth : 126
3584.62/3597.00 c max depth (total): 126
3584.62/3597.00 c backtracks : 236 (11.7%)
3584.62/3597.00 c early backtracks : 0 (0.0%)
3584.62/3597.00 c nodes exc. ref. : 0 (0.0%)
3584.62/3597.00 c delayed cutoffs : 14
3584.62/3597.00 c repropagations : 159 (643 domain reductions, 14 cutoffs)
3584.62/3597.00 c avg switch length: 3.72
3584.62/3597.00 c switching time : 30.59
3584.62/3597.00 c Root Node :
3584.62/3597.00 c First LP value : +0.00000000000000e+00
3584.62/3597.00 c First LP Iters : 312 (1535.03 Iter/sec)
3584.62/3597.00 c First LP Time : 0.20
3584.62/3597.00 c Final Dual Bound : +0.00000000000000e+00
3584.62/3597.00 c Final Root Iters : 10573
3584.62/3597.00 c Root LP Estimate : +1.09052235425571e+03
3584.62/3597.00 c Solution :
3584.62/3597.00 c Solutions found : 0 (0 improvements)
3584.62/3597.00 c Primal Bound : -
3584.62/3597.00 c Dual Bound : +0.00000000000000e+00
3584.62/3597.00 c Gap : infinite
3584.62/3597.00 c Integrals : Total Avg%
3584.62/3597.00 c primal-dual : 359699.83 100.00
3584.62/3597.00 c primal-ref : - - (not evaluated)
3584.62/3597.00 c dual-ref : - - (not evaluated)
3585.31/3597.70 c Time complete: 3585.33.
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 (62420 MiB free)
memory of node 1: 64473 MiB (61701 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425277-1720881378/watcher-4425277-1720881378 -o /tmp/evaluation-result-4425277-1720881378/solver-4425277-1720881378 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1720877779-706261 --watchdog 3760 pbscip -f HOME/instance-4425277-1720881378.wbo -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
solver pid=708897, runsolver pid=708894
Current StackSize limit: 8192 KiB
[startup+0.100096 s]*
/proc/loadavg: 4.03 4.12 4.13 5/255 708898
/proc/meminfo: memFree=127002964/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=98436 memory=58216 CPUtime=0.1 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 11600 0 0 0 8 2 0 0 20 0 1 0 140302779 100798464 14554 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 24609 14554 3257 3540 0 12866 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 98436 KiB
Current children cumulated memory: 58216 KiB
[startup+0.205567 s]*
/proc/loadavg: 4.03 4.12 4.13 5/255 708898
/proc/meminfo: memFree=126857980/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=136920 memory=96628 CPUtime=0.2 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 21237 0 0 0 17 3 0 0 20 0 1 0 140302779 140206080 24157 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 34230 24157 3257 3540 0 22487 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 136920 KiB
Current children cumulated memory: 96628 KiB
[startup+0.305465 s]*
/proc/loadavg: 4.03 4.12 4.13 5/255 708898
/proc/meminfo: memFree=126728788/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=217408 memory=176684 CPUtime=0.3 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 41435 0 0 0 24 6 0 0 20 0 1 0 140302779 222625792 44171 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 54352 44171 3576 3540 0 42609 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 217408 KiB
Current children cumulated memory: 176684 KiB
[startup+0.700235 s]
/proc/loadavg: 4.03 4.12 4.13 5/255 708898
/proc/meminfo: memFree=126561676/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=374556 memory=332352 CPUtime=0.69 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 80327 0 0 0 58 11 0 0 20 0 1 0 140302779 383545344 83088 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 93639 83088 3608 3540 0 81896 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 374556 KiB
Current children cumulated memory: 332352 KiB
[startup+1.50024 s]
/proc/loadavg: 4.03 4.12 4.13 5/255 708898
/proc/meminfo: memFree=126144704/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=512040 memory=459712 CPUtime=1.48 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 114766 0 0 0 134 14 0 0 20 0 1 0 140302779 524328960 114928 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 128010 114928 3656 3540 0 116267 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 512040 KiB
Current children cumulated memory: 459712 KiB
[startup+3.10575 s]
/proc/loadavg: 4.11 4.13 4.14 5/255 708898
/proc/meminfo: memFree=125845964/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=523828 memory=471492 CPUtime=3.09 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 117699 0 0 0 294 15 0 0 20 0 1 0 140302779 536399872 117873 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 130957 117873 3656 3540 0 119214 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 523828 KiB
Current children cumulated memory: 471492 KiB
[startup+6.30023 s]
/proc/loadavg: 4.11 4.13 4.14 5/255 708900
/proc/meminfo: memFree=125822332/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=523828 memory=471492 CPUtime=6.27 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 117707 0 0 0 611 16 0 0 20 0 1 0 140302779 536399872 117873 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 130957 117873 3656 3540 0 119214 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 523828 KiB
Current children cumulated memory: 471492 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.13 4.14 5/255 708900
/proc/meminfo: memFree=124868996/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=523828 memory=471492 CPUtime=12.66 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 117707 0 0 0 1249 17 0 0 20 0 1 0 140302779 536399872 117873 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 130957 117873 3656 3540 0 119214 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 523828 KiB
Current children cumulated memory: 471492 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.14 4.14 5/255 708903
/proc/meminfo: memFree=123985428/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=531812 memory=479204 CPUtime=25.41 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 119725 0 0 0 2522 19 0 0 20 0 1 0 140302779 544575488 119801 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 132953 119801 3656 3540 0 121210 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 531812 KiB
Current children cumulated memory: 479204 KiB
[startup+51.1057 s]
/proc/loadavg: 4.10 4.13 4.13 5/255 708954
/proc/meminfo: memFree=121950784/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=842372 memory=736908 CPUtime=50.94 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 192040 0 0 0 5057 37 0 0 20 0 1 0 140302779 862588928 184227 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 210593 184227 3752 3540 0 198850 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 842372 KiB
Current children cumulated memory: 736908 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.14 4.14 5/255 708962
/proc/meminfo: memFree=120343296/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=859396 memory=751736 CPUtime=101.95 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 195331 0 0 0 10156 39 0 0 20 0 1 0 140302779 880021504 187934 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 214849 187934 3752 3540 0 203106 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 859396 KiB
Current children cumulated memory: 751736 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.13 4.13 5/255 708972
/proc/meminfo: memFree=120318984/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=862916 memory=755412 CPUtime=161.73 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 196216 0 0 0 16133 40 0 0 20 0 1 0 140302779 883625984 188853 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 215729 188853 3752 3540 0 203986 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 862916 KiB
Current children cumulated memory: 755412 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/258 708987
/proc/meminfo: memFree=120307728/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=867268 memory=759628 CPUtime=221.49 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 197293 0 0 0 22109 40 0 0 20 0 1 0 140302779 888082432 189907 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 216817 189907 3752 3540 0 205074 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 867268 KiB
Current children cumulated memory: 759628 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.11 4.12 5/257 708998
/proc/meminfo: memFree=120298764/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=872896 memory=764888 CPUtime=281.26 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 198633 0 0 0 28085 41 0 0 20 0 1 0 140302779 893845504 191222 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 218224 191222 3752 3540 0 206481 0
Current children cumulated CPU time: 281.26 s
Current children cumulated vsize: 872896 KiB
Current children cumulated memory: 764888 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.12 4.12 5/257 709009
/proc/meminfo: memFree=120226072/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=877440 memory=769612 CPUtime=341 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 199803 0 0 0 34059 41 0 0 20 0 1 0 140302779 898498560 192403 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 219360 192403 3752 3540 0 207617 0
Current children cumulated CPU time: 341 s
Current children cumulated vsize: 877440 KiB
Current children cumulated memory: 769612 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.11 4.11 5/257 709020
/proc/meminfo: memFree=120185028/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=882560 memory=774876 CPUtime=400.74 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 201117 0 0 0 40032 42 0 0 20 0 1 0 140302779 903741440 193719 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 220640 193719 3752 3540 0 208897 0
Current children cumulated CPU time: 400.74 s
Current children cumulated vsize: 882560 KiB
Current children cumulated memory: 774876 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.12 4.11 5/257 709076
/proc/meminfo: memFree=117507236/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=1418156 memory=1297368 CPUtime=460.6 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 329294 0 0 0 46001 59 0 0 20 0 1 0 140302779 1452191744 324342 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 354539 324342 4007 3540 0 342796 0
Current children cumulated CPU time: 460.6 s
################
# More data... #
################
/proc/loadavg: 4.13 4.17 4.13 5/256 710697
/proc/meminfo: memFree=106437488/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=4387560 memory=3537456 CPUtime=3211.29 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 865282 0 1 0 320952 177 0 0 20 0 1 0 140302779 4492861440 884364 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 1096890 884364 4165 3540 0 1085147 0
Current children cumulated CPU time: 3211.29 s
Current children cumulated vsize: 4387560 KiB
Current children cumulated memory: 3537456 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.16 4.12 5/259 710767
/proc/meminfo: memFree=106372916/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=4436816 memory=3586968 CPUtime=3271.07 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 876772 0 1 0 326928 179 0 0 20 0 1 0 140302779 4543299584 896742 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 1109204 896742 4165 3540 0 1097461 0
Current children cumulated CPU time: 3271.07 s
Current children cumulated vsize: 4436816 KiB
Current children cumulated memory: 3586968 KiB
[startup+3342.3 s]
/proc/loadavg: 4.49 4.25 4.16 5/260 710778
/proc/meminfo: memFree=106302200/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=4484336 memory=3656748 CPUtime=3330.84 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 887708 0 1 0 332903 181 0 0 20 0 1 0 140302779 4591960064 914187 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 1121084 914187 4165 3540 0 1109341 0
Current children cumulated CPU time: 3330.84 s
Current children cumulated vsize: 4484336 KiB
Current children cumulated memory: 3656748 KiB
[startup+3402.3 s]
/proc/loadavg: 4.23 4.22 4.15 5/260 710789
/proc/meminfo: memFree=106202520/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=4534936 memory=3756072 CPUtime=3390.63 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 897406 0 1 0 338879 184 0 0 20 0 1 0 140302779 4643774464 939018 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 1133734 939018 4165 3540 0 1121991 0
Current children cumulated CPU time: 3390.63 s
Current children cumulated vsize: 4534936 KiB
Current children cumulated memory: 3756072 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.21 4.15 5/259 710800
/proc/meminfo: memFree=106120096/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=4563296 memory=3821424 CPUtime=3450.4 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 903165 0 1 0 344855 185 0 0 20 0 1 0 140302779 4672815104 955356 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 1140824 955356 4165 3540 0 1129081 0
Current children cumulated CPU time: 3450.4 s
Current children cumulated vsize: 4563296 KiB
Current children cumulated memory: 3821424 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.18 4.15 5/259 710810
/proc/meminfo: memFree=106041384/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=4605184 memory=3899168 CPUtime=3510.17 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 912165 0 1 0 350830 187 0 0 20 0 1 0 140302779 4715708416 974792 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 1151296 974792 4165 3540 0 1139553 0
Current children cumulated CPU time: 3510.17 s
Current children cumulated vsize: 4605184 KiB
Current children cumulated memory: 3899168 KiB
[startup+3582.3 s]
/proc/loadavg: 4.05 4.15 4.14 5/255 710820
/proc/meminfo: memFree=105979908/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=4621592 memory=3960420 CPUtime=3569.97 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 916396 0 1 0 356809 188 0 0 20 0 1 0 140302779 4732510208 990105 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 1155398 990105 4165 3540 0 1143655 0
Current children cumulated CPU time: 3569.97 s
Current children cumulated vsize: 4621592 KiB
Current children cumulated memory: 3960420 KiB
[startup+3597.74 s]
# the end of solver process 708897 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.43 s, system=1.93758 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.12 4.16 4.14 5/255 710820
/proc/meminfo: memFree=105979936/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=4621592 memory=3960420 CPUtime=3571.67 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 916397 0 1 0 356979 188 0 0 20 0 1 0 140302779 4732510208 990105 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 1155398 990105 4165 3540 0 1143655 0
Current children cumulated CPU time: 3571.67 s
Current children cumulated vsize: 4621592 KiB
Current children cumulated memory: 3960420 KiB
[startup+3590.4 s]
/proc/loadavg: 4.11 4.16 4.14 5/255 710822
/proc/meminfo: memFree=105978648/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=4622668 memory=3961548 CPUtime=3578.04 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 916747 0 1 0 357616 188 0 0 20 0 1 0 140302779 4733612032 990387 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 1155667 990387 4165 3540 0 1143924 0
Current children cumulated CPU time: 3578.04 s
Current children cumulated vsize: 4622668 KiB
Current children cumulated memory: 3961548 KiB
[startup+3593.6 s]
/proc/loadavg: 4.11 4.16 4.14 5/255 710822
/proc/meminfo: memFree=105971156/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=4622668 memory=3969076 CPUtime=3581.23 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 916816 0 1 0 357935 188 0 0 20 0 1 0 140302779 4733612032 992269 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 1155667 992269 4165 3540 0 1143924 0
Current children cumulated CPU time: 3581.23 s
Current children cumulated vsize: 4622668 KiB
Current children cumulated memory: 3969076 KiB
[startup+3595.2 s]
/proc/loadavg: 4.10 4.16 4.14 5/255 710823
/proc/meminfo: memFree=105971044/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=4622668 memory=3969308 CPUtime=3582.82 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 916833 0 1 0 358094 188 0 0 20 0 1 0 140302779 4733612032 992327 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 1155667 992327 4165 3540 0 1143924 0
Current children cumulated CPU time: 3582.82 s
Current children cumulated vsize: 4622668 KiB
Current children cumulated memory: 3969308 KiB
[startup+3596.8 s]
/proc/loadavg: 4.10 4.16 4.14 5/255 710823
/proc/meminfo: memFree=105971036/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=4622668 memory=3969308 CPUtime=3584.42 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 916860 0 1 0 358254 188 0 0 20 0 1 0 140302779 4733612032 992327 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 1155667 992327 4165 3540 0 1143924 0
Current children cumulated CPU time: 3584.42 s
Current children cumulated vsize: 4622668 KiB
Current children cumulated memory: 3969308 KiB
[startup+3597.2 s]
/proc/loadavg: 4.10 4.16 4.14 5/255 710823
/proc/meminfo: memFree=105970932/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=4622668 memory=3969496 CPUtime=3584.81 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 916932 0 1 0 358293 188 0 0 20 0 1 0 140302779 4733612032 992374 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 1155667 992374 4165 3540 0 1143924 0
Current children cumulated CPU time: 3584.81 s
Current children cumulated vsize: 4622668 KiB
Current children cumulated memory: 3969496 KiB
[startup+3597.6 s]
/proc/loadavg: 4.10 4.16 4.14 5/255 710823
/proc/meminfo: memFree=105970932/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=4493684 memory=3839628 CPUtime=3585.22 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 917410 0 1 0 358333 189 0 0 20 0 1 0 140302779 4601532416 960164 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 1123421 960164 4165 3540 0 1111678 0
Current children cumulated CPU time: 3585.22 s
Current children cumulated vsize: 4493684 KiB
Current children cumulated memory: 3839628 KiB
[startup+3597.7 s]
/proc/loadavg: 4.10 4.16 4.14 5/255 710823
/proc/meminfo: memFree=105970932/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=4209604 memory=3587588 CPUtime=3585.31 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 917945 0 1 0 358342 189 0 0 20 0 1 0 140302779 4310634496 897278 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 1052401 897278 4165 3540 0 1040658 0
Current children cumulated CPU time: 3585.31 s
Current children cumulated vsize: 4209604 KiB
Current children cumulated memory: 3587588 KiB
Child status: 0
Real time (s): 3597.74
CPU time (s): 3585.37
CPU user time (s): 3583.43
CPU system time (s): 1.93758
CPU usage (%): 99.6561
Max. virtual memory (cumulated for all children) (KiB): 4622668
Max. memory (cumulated for all children) (KiB): 3969496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.43
system time used= 1.93758
maximum resident set size= 3969496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 917975
page faults= 1
swaps= 0
block input operations= 224
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 52
involuntary context switches= 3802
# summary of solver processes directly reported to runsolver:
# pid: 708897
# total CPU time (s): 3585.37
# total CPU user time (s): 3583.43
# total CPU system time (s): 1.93758
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.21647 second user time and 16.4131 second system time
The end