0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2663402-1276688781.opb>
0.01/0.03 c original problem has 774 variables (774 bin, 0 int, 0 impl, 0 cont) and 994 constraints
0.01/0.03 c problem read
0.01/0.04 c presolving settings loaded
0.01/0.04 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.01/0.05 c presolving:
0.01/0.06 c (round 1) 3 del vars, 1 del conss, 3 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1542 impls, 30 clqs
0.01/0.06 c (round 2) 3 del vars, 772 del conss, 3 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1542 impls, 30 clqs
0.01/0.07 c (round 3) 3 del vars, 772 del conss, 3 chg bounds, 0 chg sides, 0 chg coeffs, 222 upgd conss, 1542 impls, 30 clqs
0.09/0.14 c (0.1s) probing: 101/771 (13.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.14 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.14 c presolving (4 rounds):
0.09/0.14 c 3 deleted vars, 772 deleted constraints, 3 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.14 c 1542 implications, 114 cliques
0.09/0.14 c presolved problem has 771 variables (771 bin, 0 int, 0 impl, 0 cont) and 222 constraints
0.09/0.14 c 192 constraints of type <knapsack>
0.09/0.14 c 30 constraints of type <setppc>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.09
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.14 c # SCIP version 1.2.1.2
0.09/0.14 c
0.09/0.14 c # frequency for displaying node information lines
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14 c display/freq = 10000
0.09/0.14 c
0.09/0.14 c # maximal time in seconds to run
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/time = 1799.97
0.09/0.14 c
0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/memory = 1620
0.09/0.14 c
0.09/0.14 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.14 c lp/solvefreq = -1
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify inequalities
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/linear/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify knapsacks
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c separating/rapidlearning/freq = 0
0.09/0.14 c
0.09/0.14 c -----------------------------------------------------------------------------------------------
0.09/0.14 c start solving
0.09/0.14 c
0.09/0.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.14 c 0.1s| 1 | 2 | 0 | - |3138k| 0 | - | 771 | 222 | 0 | 0 | 0 | 0 | 0 | 3.000000e+00 | -- | Inf
5.89/5.92 c 5.6s| 10000 | 7652 | 0 | 0.0 | 13M| 677 | - | 771 |3849 | 0 | 0 | 0 |4186 | 0 | 3.000000e+00 | -- | Inf
15.99/16.05 c 15.4s| 20000 | 13906 | 0 | 0.0 | 22M| 677 | - | 771 |3776 | 0 | 0 | 0 | 12k| 0 | 3.000000e+00 | -- | Inf
22.18/22.26 c 21.4s| 30000 | 21932 | 0 | 0.0 | 31M| 677 | - | 771 |2033 | 0 | 0 | 0 | 17k| 0 | 3.000000e+00 | -- | Inf
28.38/28.47 c 27.4s| 40000 | 29839 | 0 | 0.0 | 39M| 677 | - | 771 |2931 | 0 | 0 | 0 | 23k| 0 | 3.000000e+00 | -- | Inf
35.39/35.41 c 34.1s| 50000 | 37460 | 0 | 0.0 | 48M| 677 | - | 771 |3666 | 0 | 0 | 0 | 30k| 0 | 3.000000e+00 | -- | Inf
43.08/43.18 c 41.6s| 60000 | 44684 | 0 | 0.0 | 57M| 677 | - | 771 |4541 | 0 | 0 | 0 | 38k| 0 | 3.000000e+00 | -- | Inf
52.18/52.22 c 50.4s| 70000 | 51410 | 0 | 0.0 | 66M| 677 | - | 771 |5632 | 0 | 0 | 0 | 46k| 0 | 3.000000e+00 | -- | Inf
62.17/62.24 c 60.1s| 80000 | 57865 | 0 | 0.0 | 75M| 677 | - | 771 |5783 | 0 | 0 | 0 | 56k| 0 | 3.000000e+00 | -- | Inf
73.17/73.28 c 70.9s| 90000 | 63861 | 0 | 0.0 | 85M| 677 | - | 771 |6948 | 0 | 0 | 0 | 66k| 0 | 3.000000e+00 | -- | Inf
85.57/85.61 c 82.9s|100000 | 69592 | 0 | 0.0 | 94M| 677 | - | 771 |7269 | 0 | 0 | 0 | 77k| 0 | 3.000000e+00 | -- | Inf
99.56/99.65 c 96.7s|110000 | 74569 | 0 | 0.0 | 102M| 677 | - | 771 |7918 | 0 | 0 | 0 | 90k| 0 | 3.000000e+00 | -- | Inf
114.37/114.47 c 111s|120000 | 79125 | 0 | 0.0 | 111M| 677 | - | 771 |7736 | 0 | 0 | 0 | 103k| 0 | 3.000000e+00 | -- | Inf
129.45/129.53 c 126s|130000 | 83779 | 0 | 0.0 | 118M| 677 | - | 771 |6512 | 0 | 0 | 0 | 116k| 0 | 3.000000e+00 | -- | Inf
142.96/143.08 c 139s|140000 | 88712 | 0 | 0.0 | 126M| 677 | - | 771 |5879 | 0 | 0 | 0 | 129k| 0 | 3.000000e+00 | -- | Inf
155.35/155.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
155.35/155.43 c 151s|150000 | 94050 | 0 | 0.0 | 136M| 677 | - | 771 |6116 | 0 | 0 | 0 | 138k| 0 | 3.000000e+00 | -- | Inf
162.55/162.62 c 158s|160000 |102017 | 0 | 0.0 | 143M| 677 | - | 771 |2818 | 0 | 0 | 0 | 144k| 0 | 3.000000e+00 | -- | Inf
169.54/169.66 c 165s|170000 |109844 | 0 | 0.0 | 152M| 677 | - | 771 |3605 | 0 | 0 | 0 | 150k| 0 | 3.000000e+00 | -- | Inf
177.05/177.12 c 172s|180000 |117514 | 0 | 0.0 | 161M| 677 | - | 771 |4519 | 0 | 0 | 0 | 157k| 0 | 3.000000e+00 | -- | Inf
184.75/184.89 c 180s|190000 |125114 | 0 | 0.0 | 169M| 677 | - | 771 |5102 | 0 | 0 | 0 | 163k| 0 | 3.000000e+00 | -- | Inf
192.94/193.06 c 187s|200000 |132675 | 0 | 0.0 | 178M| 677 | - | 771 |5902 | 0 | 0 | 0 | 170k| 0 | 3.000000e+00 | -- | Inf
201.74/201.81 c 196s|210000 |140068 | 0 | 0.0 | 186M| 677 | - | 771 |6728 | 0 | 0 | 0 | 178k| 0 | 3.000000e+00 | -- | Inf
210.64/210.73 c 205s|220000 |147453 | 0 | 0.0 | 195M| 677 | - | 771 |7147 | 0 | 0 | 0 | 186k| 0 | 3.000000e+00 | -- | Inf
220.03/220.13 c 214s|230000 |154808 | 0 | 0.0 | 203M| 677 | - | 771 |6900 | 0 | 0 | 0 | 193k| 0 | 3.000000e+00 | -- | Inf
230.13/230.23 c 224s|240000 |161870 | 0 | 0.0 | 212M| 677 | - | 771 |8440 | 0 | 0 | 0 | 201k| 0 | 3.000000e+00 | -- | Inf
240.23/240.31 c 233s|250000 |169109 | 0 | 0.0 | 220M| 677 | - | 771 |8089 | 0 | 0 | 0 | 209k| 0 | 3.000000e+00 | -- | Inf
251.12/251.23 c 244s|260000 |176092 | 0 | 0.0 | 229M| 677 | - | 771 |9195 | 0 | 0 | 0 | 218k| 0 | 3.000000e+00 | -- | Inf
262.12/262.27 c 255s|270000 |183164 | 0 | 0.0 | 237M| 677 | - | 771 |9458 | 0 | 0 | 0 | 226k| 0 | 3.000000e+00 | -- | Inf
274.01/274.10 c 266s|280000 |189952 | 0 | 0.0 | 246M| 677 | - | 771 | 10k| 0 | 0 | 0 | 235k| 0 | 3.000000e+00 | -- | Inf
286.21/286.32 c 278s|290000 |196790 | 0 | 0.0 | 255M| 677 | - | 771 | 10k| 0 | 0 | 0 | 244k| 0 | 3.000000e+00 | -- | Inf
299.01/299.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
299.01/299.14 c 291s|300000 |203448 | 0 | 0.0 | 263M| 677 | - | 771 | 11k| 0 | 0 | 0 | 253k| 0 | 3.000000e+00 | -- | Inf
312.10/312.28 c 304s|310000 |210206 | 0 | 0.0 | 272M| 677 | - | 771 | 12k| 0 | 0 | 0 | 262k| 0 | 3.000000e+00 | -- | Inf
325.80/325.90 c 317s|320000 |216805 | 0 | 0.0 | 281M| 677 | - | 771 | 12k| 0 | 0 | 0 | 272k| 0 | 3.000000e+00 | -- | Inf
340.09/340.26 c 331s|330000 |223299 | 0 | 0.0 | 289M| 677 | - | 771 | 13k| 0 | 0 | 0 | 282k| 0 | 3.000000e+00 | -- | Inf
355.48/355.63 c 346s|340000 |229635 | 0 | 0.0 | 298M| 677 | - | 771 | 13k| 0 | 0 | 0 | 292k| 0 | 3.000000e+00 | -- | Inf
371.49/371.69 c 362s|350000 |235776 | 0 | 0.0 | 307M| 677 | - | 771 | 15k| 0 | 0 | 0 | 303k| 0 | 3.000000e+00 | -- | Inf
387.78/387.94 c 378s|360000 |242103 | 0 | 0.0 | 315M| 677 | - | 771 | 14k| 0 | 0 | 0 | 313k| 0 | 3.000000e+00 | -- | Inf
404.59/404.71 c 394s|370000 |248164 | 0 | 0.0 | 324M| 677 | - | 771 | 16k| 0 | 0 | 0 | 324k| 0 | 3.000000e+00 | -- | Inf
422.18/422.39 c 412s|380000 |254303 | 0 | 0.0 | 333M| 677 | - | 771 | 16k| 0 | 0 | 0 | 334k| 0 | 3.000000e+00 | -- | Inf
440.07/440.22 c 429s|390000 |260315 | 0 | 0.0 | 342M| 677 | - | 771 | 16k| 0 | 0 | 0 | 345k| 0 | 3.000000e+00 | -- | Inf
458.66/458.83 c 448s|400000 |266277 | 0 | 0.0 | 350M| 677 | - | 771 | 17k| 0 | 0 | 0 | 356k| 0 | 3.000000e+00 | -- | Inf
478.05/478.23 c 467s|410000 |272164 | 0 | 0.0 | 359M| 677 | - | 771 | 16k| 0 | 0 | 0 | 367k| 0 | 3.000000e+00 | -- | Inf
497.85/498.02 c 486s|420000 |277888 | 0 | 0.0 | 368M| 677 | - | 771 | 18k| 0 | 0 | 0 | 379k| 0 | 3.000000e+00 | -- | Inf
519.05/519.22 c 507s|430000 |283495 | 0 | 0.0 | 377M| 677 | - | 771 | 18k| 0 | 0 | 0 | 390k| 0 | 3.000000e+00 | -- | Inf
540.23/540.41 c 528s|440000 |289040 | 0 | 0.0 | 386M| 677 | - | 771 | 19k| 0 | 0 | 0 | 402k| 0 | 3.000000e+00 | -- | Inf
562.73/562.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
562.73/562.99 c 550s|450000 |294482 | 0 | 0.0 | 394M| 677 | - | 771 | 20k| 0 | 0 | 0 | 414k| 0 | 3.000000e+00 | -- | Inf
585.92/586.14 c 573s|460000 |299890 | 0 | 0.0 | 402M| 677 | - | 771 | 19k| 0 | 0 | 0 | 426k| 0 | 3.000000e+00 | -- | Inf
609.23/609.41 c 596s|470000 |305202 | 0 | 0.0 | 411M| 677 | - | 771 | 20k| 0 | 0 | 0 | 439k| 0 | 3.000000e+00 | -- | Inf
633.71/633.94 c 620s|480000 |310464 | 0 | 0.0 | 419M| 677 | - | 771 | 19k| 0 | 0 | 0 | 452k| 0 | 3.000000e+00 | -- | Inf
656.60/656.89 c 643s|490000 |315740 | 0 | 0.0 | 428M| 677 | - | 771 | 20k| 0 | 0 | 0 | 464k| 0 | 3.000000e+00 | -- | Inf
682.69/682.92 c 669s|500000 |320680 | 0 | 0.0 | 436M| 677 | - | 771 | 21k| 0 | 0 | 0 | 478k| 0 | 3.000000e+00 | -- | Inf
707.29/707.57 c 693s|510000 |325823 | 0 | 0.0 | 444M| 677 | - | 771 | 21k| 0 | 0 | 0 | 491k| 0 | 3.000000e+00 | -- | Inf
734.99/735.28 c 720s|520000 |330540 | 0 | 0.0 | 452M| 677 | - | 771 | 22k| 0 | 0 | 0 | 504k| 0 | 3.000000e+00 | -- | Inf
761.58/761.83 c 747s|530000 |335551 | 0 | 0.0 | 460M| 677 | - | 771 | 21k| 0 | 0 | 0 | 517k| 0 | 3.000000e+00 | -- | Inf
791.27/791.60 c 776s|540000 |339919 | 0 | 0.0 | 468M| 677 | - | 771 | 23k| 0 | 0 | 0 | 532k| 0 | 3.000000e+00 | -- | Inf
820.46/820.70 c 805s|550000 |344735 | 0 | 0.0 | 475M| 677 | - | 771 | 23k| 0 | 0 | 0 | 545k| 0 | 3.000000e+00 | -- | Inf
848.96/849.28 c 833s|560000 |349217 | 0 | 0.0 | 483M| 677 | - | 771 | 23k| 0 | 0 | 0 | 560k| 0 | 3.000000e+00 | -- | Inf
879.73/880.02 c 863s|570000 |353645 | 0 | 0.0 | 491M| 677 | - | 771 | 23k| 0 | 0 | 0 | 574k| 0 | 3.000000e+00 | -- | Inf
908.81/909.15 c 892s|580000 |358005 | 0 | 0.0 | 498M| 677 | - | 771 | 23k| 0 | 0 | 0 | 588k| 0 | 3.000000e+00 | -- | Inf
939.60/939.96 c 923s|590000 |362353 | 0 | 0.0 | 505M| 677 | - | 771 | 23k| 0 | 0 | 0 | 603k| 0 | 3.000000e+00 | -- | Inf
969.90/970.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
969.90/970.25 c 953s|600000 |366527 | 0 | 0.0 | 512M| 677 | - | 771 | 23k| 0 | 0 | 0 | 618k| 0 | 3.000000e+00 | -- | Inf
1002.79/1003.11 c 985s|610000 |370398 | 0 | 0.0 | 519M| 677 | - | 771 | 23k| 0 | 0 | 0 | 633k| 0 | 3.000000e+00 | -- | Inf
1035.17/1035.51 c 1017s|620000 |374168 | 0 | 0.0 | 526M| 677 | - | 771 | 23k| 0 | 0 | 0 | 649k| 0 | 3.000000e+00 | -- | Inf
1067.96/1068.39 c 1050s|630000 |378092 | 0 | 0.0 | 533M| 677 | - | 771 | 23k| 0 | 0 | 0 | 664k| 0 | 3.000000e+00 | -- | Inf
1101.46/1101.86 c 1083s|640000 |381674 | 0 | 0.0 | 540M| 677 | - | 771 | 25k| 0 | 0 | 0 | 680k| 0 | 3.000000e+00 | -- | Inf
1134.25/1134.64 c 1115s|650000 |385503 | 0 | 0.0 | 546M| 677 | - | 771 | 23k| 0 | 0 | 0 | 696k| 0 | 3.000000e+00 | -- | Inf
1168.73/1169.19 c 1150s|660000 |389066 | 0 | 0.0 | 553M| 677 | - | 771 | 23k| 0 | 0 | 0 | 713k| 0 | 3.000000e+00 | -- | Inf
1202.72/1203.19 c 1183s|670000 |392313 | 0 | 0.0 | 559M| 677 | - | 771 | 23k| 0 | 0 | 0 | 729k| 0 | 3.000000e+00 | -- | Inf
1235.41/1235.81 c 1215s|680000 |395653 | 0 | 0.0 | 566M| 677 | - | 771 | 22k| 0 | 0 | 0 | 746k| 0 | 3.000000e+00 | -- | Inf
1267.60/1268.06 c 1247s|690000 |398984 | 0 | 0.0 | 572M| 677 | - | 771 | 21k| 0 | 0 | 0 | 762k| 0 | 3.000000e+00 | -- | Inf
1299.10/1299.53 c 1278s|700000 |402195 | 0 | 0.0 | 579M| 677 | - | 771 | 20k| 0 | 0 | 0 | 779k| 0 | 3.000000e+00 | -- | Inf
1329.19/1329.65 c 1308s|710000 |405748 | 0 | 0.0 | 586M| 677 | - | 771 | 20k| 0 | 0 | 0 | 795k| 0 | 3.000000e+00 | -- | Inf
1358.58/1359.05 c 1337s|720000 |409322 | 0 | 0.0 | 592M| 677 | - | 771 | 18k| 0 | 0 | 0 | 810k| 0 | 3.000000e+00 | -- | Inf
1388.27/1388.70 c 1366s|730000 |412644 | 0 | 0.0 | 599M| 677 | - | 771 | 19k| 0 | 0 | 0 | 826k| 0 | 3.000000e+00 | -- | Inf
1413.76/1414.27 c 1392s|740000 |416730 | 0 | 0.0 | 606M| 677 | - | 771 | 17k| 0 | 0 | 0 | 841k| 0 | 3.000000e+00 | -- | Inf
1436.85/1437.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1436.85/1437.33 c 1414s|750000 |421279 | 0 | 0.0 | 612M| 677 | - | 771 | 15k| 0 | 0 | 0 | 855k| 0 | 3.000000e+00 | -- | Inf
1459.55/1460.02 c 1437s|760000 |425501 | 0 | 0.0 | 619M| 677 | - | 771 | 15k| 0 | 0 | 0 | 870k| 0 | 3.000000e+00 | -- | Inf
1482.85/1483.37 c 1460s|770000 |429675 | 0 | 0.0 | 626M| 677 | - | 771 | 16k| 0 | 0 | 0 | 885k| 0 | 3.000000e+00 | -- | Inf
1505.93/1506.44 c 1483s|780000 |433978 | 0 | 0.0 | 633M| 677 | - | 771 | 16k| 0 | 0 | 0 | 899k| 0 | 3.000000e+00 | -- | Inf
1526.63/1527.11 c 1503s|790000 |438651 | 0 | 0.0 | 639M| 677 | - | 771 | 16k| 0 | 0 | 0 | 912k| 0 | 3.000000e+00 | -- | Inf
1546.13/1546.64 c 1522s|800000 |443487 | 0 | 0.0 | 645M| 677 | - | 771 | 16k| 0 | 0 | 0 | 923k| 0 | 3.000000e+00 | -- | Inf
1566.82/1567.30 c 1542s|810000 |447999 | 0 | 0.0 | 652M| 677 | - | 771 | 17k| 0 | 0 | 0 | 936k| 0 | 3.000000e+00 | -- | Inf
1590.20/1590.76 c 1566s|820000 |451929 | 0 | 0.0 | 661M| 677 | - | 771 | 19k| 0 | 0 | 0 | 950k| 0 | 3.000000e+00 | -- | Inf
1615.90/1616.49 c 1591s|830000 |455377 | 0 | 0.0 | 671M| 677 | - | 771 | 21k| 0 | 0 | 0 | 965k| 0 | 3.000000e+00 | -- | Inf
1639.39/1639.96 c 1614s|840000 |460052 | 0 | 0.0 | 674M| 677 | - | 771 |9150 | 0 | 0 | 0 | 975k| 0 | 3.000000e+00 | -- | Inf
1649.59/1650.18 c 1624s|850000 |467809 | 0 | 0.0 | 682M| 677 | - | 771 |7341 | 0 | 0 | 0 | 981k| 0 | 3.000000e+00 | -- | Inf
1659.59/1660.19 c 1634s|860000 |475444 | 0 | 0.0 | 690M| 677 | - | 771 |6733 | 0 | 0 | 0 | 988k| 0 | 3.000000e+00 | -- | Inf
1669.38/1669.96 c 1643s|870000 |483028 | 0 | 0.0 | 699M| 677 | - | 771 |6473 | 0 | 0 | 0 | 995k| 0 | 3.000000e+00 | -- | Inf
1679.38/1679.90 c 1653s|880000 |490450 | 0 | 0.0 | 707M| 677 | - | 771 |7034 | 0 | 0 | 0 |1002k| 0 | 3.000000e+00 | -- | Inf
1688.99/1689.52 c 1662s|890000 |498020 | 0 | 0.0 | 716M| 677 | - | 771 |6959 | 0 | 0 | 0 |1009k| 0 | 3.000000e+00 | -- | Inf
1699.78/1700.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1699.78/1700.32 c 1673s|900000 |505225 | 0 | 0.0 | 725M| 677 | - | 771 |8354 | 0 | 0 | 0 |1017k| 0 | 3.000000e+00 | -- | Inf
1710.17/1710.77 c 1683s|910000 |512760 | 0 | 0.0 | 733M| 677 | - | 771 |8045 | 0 | 0 | 0 |1024k| 0 | 3.000000e+00 | -- | Inf
1721.98/1722.54 c 1695s|920000 |519796 | 0 | 0.0 | 742M| 677 | - | 771 |9499 | 0 | 0 | 0 |1032k| 0 | 3.000000e+00 | -- | Inf
1733.46/1734.07 c 1706s|930000 |527125 | 0 | 0.0 | 750M| 677 | - | 771 |9944 | 0 | 0 | 0 |1040k| 0 | 3.000000e+00 | -- | Inf
1745.55/1746.12 c 1718s|940000 |534258 | 0 | 0.0 | 758M| 677 | - | 771 | 10k| 0 | 0 | 0 |1048k| 0 | 3.000000e+00 | -- | Inf
1758.46/1759.05 c 1730s|950000 |541257 | 0 | 0.0 | 767M| 677 | - | 771 | 11k| 0 | 0 | 0 |1057k| 0 | 3.000000e+00 | -- | Inf
1771.25/1771.86 c 1743s|960000 |548495 | 0 | 0.0 | 775M| 677 | - | 771 | 11k| 0 | 0 | 0 |1065k| 0 | 3.000000e+00 | -- | Inf
1783.95/1784.56 c 1755s|970000 |555741 | 0 | 0.0 | 784M| 677 | - | 771 | 11k| 0 | 0 | 0 |1073k| 0 | 3.000000e+00 | -- | Inf
1797.65/1798.24 c 1769s|980000 |562643 | 0 | 0.0 | 793M| 677 | - | 771 | 12k| 0 | 0 | 0 |1082k| 0 | 3.000000e+00 | -- | Inf
1800.06/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.61 c
1800.06/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.61 c Solving Time (sec) : 1771.03
1800.06/1800.61 c Solving Nodes : 981675
1800.06/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.06/1800.61 c Dual Bound : +3.00000000000000e+00
1800.06/1800.61 c Gap : infinite
1800.06/1800.61 s UNKNOWN
1800.06/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.61 c Solving Time : 1771.03
1800.06/1800.61 c Original Problem :
1800.06/1800.61 c Problem name : HOME/instance-2663402-1276688781.opb
1800.06/1800.61 c Variables : 774 (774 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.61 c Constraints : 994 initial, 994 maximal
1800.06/1800.61 c Presolved Problem :
1800.06/1800.61 c Problem name : t_HOME/instance-2663402-1276688781.opb
1800.06/1800.61 c Variables : 771 (771 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.61 c Constraints : 222 initial, 25544 maximal
1800.06/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.62 c probing : 0.03 0 0 0 0 0 0 0 0
1800.06/1800.62 c knapsack : 0.04 0 0 0 0 0 0 0 0
1800.06/1800.62 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.62 c linear : 0.01 3 0 0 3 0 772 0 0
1800.06/1800.62 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.62 c root node : - 0 - - 0 - - - -
1800.06/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.62 c integral : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.62 c knapsack : 192 0 2805511 0 830272 155444 26165508 0 0 0
1800.06/1800.62 c setppc : 30 0 2650067 0 830272 94147 1619963 0 0 0
1800.06/1800.62 c logicor : 0+ 0 1393299 0 0 11577 311544 0 0 0
1800.06/1800.62 c countsols : 0 0 0 0 830271 0 0 0 0 0
1800.06/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.62 c knapsack : 397.51 0.00 298.62 0.00 98.89
1800.06/1800.62 c setppc : 67.16 0.00 40.87 0.00 26.29
1800.06/1800.62 c logicor : 593.21 0.00 593.21 0.00 0.00
1800.06/1800.62 c countsols : 0.40 0.00 0.00 0.00 0.40
1800.06/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.62 c vbounds : 1.63 2 0 0
1800.06/1800.62 c rootredcost : 1.43 0 0 0
1800.06/1800.62 c pseudoobj : 1.31 0 0 0
1800.06/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.62 c propagation : 47.72 254509 254507 2376985 40.5 13058 26.2 -
1800.06/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.62 c applied globally : - - - 1083834 33.2 - - -
1800.06/1800.62 c applied locally : - - - 0 0.0 - - -
1800.06/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.06/1800.62 c redcost : 0.00 0 0 0 0 0
1800.06/1800.62 c impliedbounds : 0.00 0 0 0 0 0
1800.06/1800.62 c intobj : 0.00 0 0 0 0 0
1800.06/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.62 c gomory : 0.00 0 0 0 0 0
1800.06/1800.62 c strongcg : 0.00 0 0 0 0 0
1800.06/1800.62 c cmir : 0.00 0 0 0 0 0
1800.06/1800.62 c flowcover : 0.00 0 0 0 0 0
1800.06/1800.62 c clique : 0.00 0 0 0 0 0
1800.06/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.62 c mcf : 0.00 0 0 0 0 0
1800.06/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.62 c Pricers : Time Calls Vars
1800.06/1800.62 c problem variables: 0.00 0 0
1800.06/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.62 c relpscost : 0.00 0 0 0 0 0 0
1800.06/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.62 c inference : 79.17 830271 0 0 0 0 1660542
1800.06/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.62 c random : 0.00 0 0 0 0 0 0
1800.06/1800.62 c Primal Heuristics : Time Calls Found
1800.06/1800.62 c LP solutions : 0.00 - 0
1800.06/1800.62 c pseudo solutions : 0.00 - 0
1800.06/1800.62 c oneopt : 0.70 0 0
1800.06/1800.62 c trivial : 0.01 2 0
1800.06/1800.62 c simplerounding : 0.00 0 0
1800.06/1800.62 c zirounding : 0.00 0 0
1800.06/1800.62 c rounding : 0.00 0 0
1800.06/1800.62 c shifting : 0.00 0 0
1800.06/1800.62 c intshifting : 0.00 0 0
1800.06/1800.62 c twoopt : 0.00 0 0
1800.06/1800.62 c fixandinfer : 0.00 0 0
1800.06/1800.62 c feaspump : 0.00 0 0
1800.06/1800.62 c coefdiving : 0.00 0 0
1800.06/1800.62 c pscostdiving : 0.00 0 0
1800.06/1800.62 c fracdiving : 0.00 0 0
1800.06/1800.62 c veclendiving : 0.00 0 0
1800.06/1800.62 c intdiving : 0.00 0 0
1800.06/1800.62 c actconsdiving : 0.00 0 0
1800.06/1800.62 c objpscostdiving : 0.00 0 0
1800.06/1800.62 c rootsoldiving : 0.00 0 0
1800.06/1800.62 c linesearchdiving : 0.00 0 0
1800.06/1800.62 c guideddiving : 0.00 0 0
1800.06/1800.62 c octane : 0.00 0 0
1800.06/1800.62 c rens : 0.00 0 0
1800.06/1800.62 c rins : 0.00 0 0
1800.06/1800.62 c localbranching : 0.00 0 0
1800.06/1800.62 c mutation : 0.00 0 0
1800.06/1800.62 c crossover : 0.00 0 0
1800.06/1800.62 c dins : 0.00 0 0
1800.06/1800.62 c undercover : 0.00 0 0
1800.06/1800.62 c nlp : 0.73 0 0
1800.06/1800.62 c trysol : 0.48 0 0
1800.06/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.06/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.06/1800.62 c (at root node) : - 0 0 0.00 -
1800.06/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.62 c B&B Tree :
1800.06/1800.62 c number of runs : 1
1800.06/1800.62 c nodes : 981675
1800.06/1800.62 c nodes (total) : 981675
1800.06/1800.62 c nodes left : 563768
1800.06/1800.62 c max depth : 677
1800.06/1800.62 c max depth (total): 677
1800.06/1800.62 c backtracks : 125767 (12.8%)
1800.06/1800.62 c delayed cutoffs : 115100
1800.06/1800.62 c repropagations : 321942 (6931202 domain reductions, 109764 cutoffs)
1800.06/1800.62 c avg switch length: 8.65
1800.06/1800.62 c switching time : 446.17
1800.06/1800.62 c Solution :
1800.06/1800.62 c Solutions found : 0 (0 improvements)
1800.06/1800.62 c Primal Bound : -
1800.06/1800.62 c Dual Bound : +3.00000000000000e+00
1800.06/1800.62 c Gap : infinite
1800.06/1800.62 c Root Dual Bound : +3.00000000000000e+00
1800.06/1800.62 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663402-1276688781/watcher-2663402-1276688781 -o /tmp/evaluation-result-2663402-1276688781/solver-2663402-1276688781 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663402-1276688781.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.05 1.01 1.00 3/106 10510
/proc/meminfo: memFree=1746380/2059040 swapFree=4135932/4192956
[pid=10510] ppid=10508 vsize=6584 CPUtime=0
/proc/10510/stat : 10510 (pbscip.linux.x8) R 10508 10510 10241 0 -1 4202496 955 0 0 0 0 0 0 0 18 0 1 0 44479472 6742016 878 1992294400 4194304 7136930 140735204355280 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10510/statm: 1646 889 254 719 0 925 0
[startup+0.0142569 s]
/proc/loadavg: 1.05 1.01 1.00 3/106 10510
/proc/meminfo: memFree=1746380/2059040 swapFree=4135932/4192956
[pid=10510] ppid=10508 vsize=8124 CPUtime=0.01
/proc/10510/stat : 10510 (pbscip.linux.x8) R 10508 10510 10241 0 -1 4202496 1503 0 0 0 1 0 0 0 18 0 1 0 44479472 8318976 1426 1992294400 4194304 7136930 140735204355280 18446744073709551615 5650674 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10510/statm: 2031 1426 271 719 0 1310 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8124
[startup+0.101264 s]
/proc/loadavg: 1.05 1.01 1.00 3/106 10510
/proc/meminfo: memFree=1746380/2059040 swapFree=4135932/4192956
[pid=10510] ppid=10508 vsize=14864 CPUtime=0.09
/proc/10510/stat : 10510 (pbscip.linux.x8) R 10508 10510 10241 0 -1 4202496 3918 0 0 0 8 1 0 0 20 0 1 0 44479472 15220736 2973 1992294400 4194304 7136930 140735204355280 18446744073709551615 4856566 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10510/statm: 3716 2973 360 719 0 2995 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14864
[startup+0.301283 s]
/proc/loadavg: 1.05 1.01 1.00 3/106 10510
/proc/meminfo: memFree=1746380/2059040 swapFree=4135932/4192956
[pid=10510] ppid=10508 vsize=16424 CPUtime=0.29
/proc/10510/stat : 10510 (pbscip.linux.x8) R 10508 10510 10241 0 -1 4202496 5098 0 0 0 27 2 0 0 20 0 1 0 44479472 16818176 3382 1992294400 4194304 7136930 140735204355280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10510/statm: 4106 3382 391 719 0 3385 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16424
[startup+0.70132 s]
/proc/loadavg: 1.05 1.01 1.00 3/106 10510
/proc/meminfo: memFree=1746380/2059040 swapFree=4135932/4192956
[pid=10510] ppid=10508 vsize=17448 CPUtime=0.69
/proc/10510/stat : 10510 (pbscip.linux.x8) R 10508 10510 10241 0 -1 4202496 5350 0 0 0 65 4 0 0 20 0 1 0 44479472 17866752 3634 1992294400 4194304 7136930 140735204355280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10510/statm: 4362 3634 397 719 0 3641 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17448
[startup+1.50139 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 10511
/proc/meminfo: memFree=1732484/2059040 swapFree=4135932/4192956
[pid=10510] ppid=10508 vsize=19220 CPUtime=1.49
/proc/10510/stat : 10510 (pbscip.linux.x8) R 10508 10510 10241 0 -1 4202496 5804 0 0 0 140 9 0 0 23 0 1 0 44479472 19681280 4088 1992294400 4194304 7136930 140735204355280 18446744073709551615 4858913 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10510/statm: 4805 4088 397 719 0 4084 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19220
[startup+3.10154 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 10511
/proc/meminfo: memFree=1729880/2059040 swapFree=4135932/4192956
[pid=10510] ppid=10508 vsize=23716 CPUtime=3.1
/proc/10510/stat : 10510 (pbscip.linux.x8) R 10508 10510 10241 0 -1 4202496 6887 0 0 0 295 15 0 0 25 0 1 0 44479472 24285184 5171 1992294400 4194304 7136930 140735204355280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10510/statm: 5929 5171 397 719 0 5208 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 23716
[startup+6.30084 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 10511
/proc/meminfo: memFree=1721572/2059040 swapFree=4135932/4192956
[pid=10510] ppid=10508 vsize=30968 CPUtime=6.29
/proc/10510/stat : 10510 (pbscip.linux.x8) R 10508 10510 10241 0 -1 4202496 8699 0 0 0 600 29 0 0 25 0 1 0 44479472 31711232 6983 1992294400 4194304 7136930 140735204355280 18446744073709551615 4854299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10510/statm: 7742 6983 397 719 0 7021 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30968
[startup+12.7004 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 10511
/proc/meminfo: memFree=1710040/2059040 swapFree=4135932/4192956
[pid=10510] ppid=10508 vsize=41112 CPUtime=12.69
/proc/10510/stat : 10510 (pbscip.linux.x8) R 10508 10510 10241 0 -1 4202496 11194 0 0 0 1222 47 0 0 25 0 1 0 44479472 42098688 9478 1992294400 4194304 7136930 140735204355280 18446744073709551615 4643224 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10510/statm: 10278 9478 397 719 0 9557 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41112
[startup+25.5016 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 10513
/proc/meminfo: memFree=1689580/2059040 swapFree=4135932/4192956
[pid=10510] ppid=10508 vsize=61620 CPUtime=25.49
/proc/10510/stat : 10510 (pbscip.linux.x8) R 10508 10510 10241 0 -1 4202496 16197 0 0 0 2455 94 0 0 25 0 1 0 44479472 63098880 14481 1992294400 4194304 7136930 140735204355280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10510/statm: 15405 14481 397 719 0 14684 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 61620
[startup+51.101 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 10513
/proc/meminfo: memFree=1649528/2059040 swapFree=4135932/4192956
[pid=10510] ppid=10508 vsize=102268 CPUtime=51.07
/proc/10510/stat : 10510 (pbscip.linux.x8) R 10508 10510 10241 0 -1 4202496 26263 0 0 0 4929 178 0 0 25 0 1 0 44479472 104722432 24547 1992294400 4194304 7136930 140735204355280 18446744073709551615 4660948 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10510/statm: 25567 24547 397 719 0 24846 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 102268
[startup+102.309 s]
/proc/loadavg: 1.04 1.02 1.00 2/107 10515
/proc/meminfo: memFree=1607368/2059040 swapFree=4135932/4192956
[pid=10510] ppid=10508 vsize=145872 CPUtime=102.27
/proc/10510/stat : 10510 (pbscip.linux.x8) R 10508 10510 10241 0 -1 4202496 36643 0 0 0 9927 300 0 0 25 0 1 0 44479472 149372928 34927 1992294400 4194304 7136930 140735204355280 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10510/statm: 36468 34927 397 719 0 35747 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 145872
[startup+162.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 10515
/proc/meminfo: memFree=1557272/2059040 swapFree=4135932/4192956
[pid=10510] ppid=10508 vsize=198116 CPUtime=162.25
/proc/10510/stat : 10510 (pbscip.linux.x8) R 10508 10510 10241 0 -1 4202496 49259 0 0 0 15772 453 0 0 25 0 1 0 44479472 202870784 47543 1992294400 4194304 7136930 140735204355280 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10510/statm: 49529 47543 397 719 0 48808 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 198116
[startup+222.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 10517
/proc/meminfo: memFree=1487956/2059040 swapFree=4135932/4192956
[pid=10510] ppid=10508 vsize=267464 CPUtime=222.23
/proc/10510/stat : 10510 (pbscip.linux.x8) R 10508 10510 10241 0 -1 4202496 66415 0 0 0 21589 634 0 0 25 0 1 0 44479472 273883136 64699 1992294400 4194304 7136930 140735204355280 18446744073709551615 5001200 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10510/statm: 66866 64699 397 719 0 66145 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 267464
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10519
/proc/meminfo: memFree=1433892/2059040 swapFree=4135932/4192956
[pid=10510] ppid=10508 vsize=321568 CPUtime=282.21
/proc/10510/stat : 10510 (pbscip.linux.x8) R 10508 10510 10241 0 -1 4202496 79889 0 0 0 27442 779 0 0 25 0 1 0 44479472 329285632 78173 1992294400 4194304 7136930 140735204355280 18446744073709551615 4697568 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10510/statm: 80392 78173 397 719 0 79671 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 321568
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10521
/proc/meminfo: memFree=1394956/2059040 swapFree=4135932/4192956
[pid=10510] ppid=10508 vsize=364112 CPUtime=342.2
/proc/10510/stat : 10510 (pbscip.linux.x8) R 10508 10510 10241 0 -1 4202496 89606 0 0 0 33317 903 0 0 25 0 1 0 44479472 372850688 87890 1992294400 4194304 7136930 140735204355280 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10510/statm: 91028 87890 397 719 0 90307 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 364112
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10523
/proc/meminfo: memFree=1364948/2059040 swapFree=4135932/4192956
[pid=10510] ppid=10508 vsize=393632 CPUtime=402.17
/proc/10510/stat : 10510 (pbscip.linux.x8) R 10508 10510 10241 0 -1 4202496 97056 0 0 0 39208 1009 0 0 25 0 1 0 44479472 403079168 95340 1992294400 4194304 7136930 140735204355280 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10510/statm: 98408 95340 397 719 0 97687 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 393632
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10523
/proc/meminfo: memFree=1324400/2059040 swapFree=4135932/4192956
[pid=10510] ppid=10508 vsize=435032 CPUtime=462.16
/proc/10510/stat : 10510 (pbscip.linux.x8) R 10508 10510 10241 0 -1 4202496 107254 0 0 0 45105 1111 0 0 25 0 1 0 44479472 445472768 105538 1992294400 4194304 7136930 140735204355280 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10510/statm: 108758 105538 397 719 0 108037 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 435032
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10525
/proc/meminfo: memFree=1297244/2059040 swapFree=4135932/4192956
[pid=10510] ppid=10508 vsize=462052 CPUtime=522.14
/proc/10510/stat : 10510 (pbscip.linux.x8) R 10508 10510 10241 0 -1 4202496 113934 0 0 0 51019 1195 0 0 25 0 1 0 44479472 473141248 112218 1992294400 4194304 7136930 140735204355280 18446744073709551615 5953155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10510/statm: 115513 112218 397 719 0 114792 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 462052
[startup+582.302 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 10527
/proc/meminfo: memFree=1276660/2059040 swapFree=4135932/4192956
[pid=10510] ppid=10508 vsize=481892 CPUtime=582.13
/proc/10510/stat : 10510 (pbscip.linux.x8) R 10508 10510 10241 0 -1 4202496 119078 0 0 0 56937 1276 0 0 25 0 1 0 44479472 493457408 117362 1992294400 4194304 7136930 140735204355280 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10510/statm: 120473 117362 397 719 0 119752 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 481892
[startup+642.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 10529
/proc/meminfo: memFree=1257564/2059040 swapFree=4135932/4192956
[pid=10510] ppid=10508 vsize=500868 CPUtime=642.12
/proc/10510/stat : 10510 (pbscip.linux.x8) R 10508 10510 10241 0 -1 4202496 123808 0 0 0 62858 1354 0 0 25 0 1 0 44479472 512888832 122092 1992294400 4194304 7136930 140735204355280 18446744073709551615 4862054 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10510/statm: 125217 122092 397 719 0 124496 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 500868
[startup+702.301 s]
################
# More data... #
################
/proc/10510/stat : 10510 (pbscip.linux.x8) R 10508 10510 10241 0 -1 4202496 154121 0 0 0 104384 1813 0 0 25 0 1 0 44479472 637558784 152405 1992294400 4194304 7136930 140735204355280 18446744073709551615 4854270 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10510/statm: 155654 152405 397 719 0 154933 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 622616
[startup+1122.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 10550
/proc/meminfo: memFree=1119056/2059040 swapFree=4135932/4192956
[pid=10510] ppid=10508 vsize=639416 CPUtime=1121.95
/proc/10510/stat : 10510 (pbscip.linux.x8) R 10508 10510 10241 0 -1 4202496 158286 0 0 0 110317 1878 0 0 25 0 1 0 44479472 654761984 156570 1992294400 4194304 7136930 140735204355280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10510/statm: 159854 156570 397 719 0 159133 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 639416
[startup+1182.3 s]
/proc/loadavg: 1.10 1.03 1.01 2/107 10552
/proc/meminfo: memFree=1109880/2059040 swapFree=4135932/4192956
[pid=10510] ppid=10508 vsize=649304 CPUtime=1181.93
/proc/10510/stat : 10510 (pbscip.linux.x8) R 10508 10510 10241 0 -1 4202496 160558 0 0 0 116253 1940 0 0 25 0 1 0 44479472 664887296 158842 1992294400 4194304 7136930 140735204355280 18446744073709551615 4221398 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10510/statm: 162326 158842 397 719 0 161605 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 649304
[startup+1242.3 s]
/proc/loadavg: 1.03 1.02 1.00 2/107 10554
/proc/meminfo: memFree=1102192/2059040 swapFree=4135932/4192956
[pid=10510] ppid=10508 vsize=656708 CPUtime=1241.92
/proc/10510/stat : 10510 (pbscip.linux.x8) R 10508 10510 10241 0 -1 4202496 162425 0 0 0 122188 2004 0 0 25 0 1 0 44479472 672468992 160709 1992294400 4194304 7136930 140735204355280 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10510/statm: 164177 160709 397 719 0 163456 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 656708
[startup+1302.3 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 10556
/proc/meminfo: memFree=1086072/2059040 swapFree=4135932/4192956
[pid=10510] ppid=10508 vsize=672532 CPUtime=1301.9
/proc/10510/stat : 10510 (pbscip.linux.x8) R 10508 10510 10241 0 -1 4202496 166450 0 0 0 128118 2072 0 0 25 0 1 0 44479472 688672768 164734 1992294400 4194304 7136930 140735204355280 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10510/statm: 168133 164734 397 719 0 167412 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 672532
[startup+1362.3 s]
/proc/loadavg: 1.06 1.04 1.00 2/107 10556
/proc/meminfo: memFree=1073052/2059040 swapFree=4135932/4192956
[pid=10510] ppid=10508 vsize=686720 CPUtime=1361.88
/proc/10510/stat : 10510 (pbscip.linux.x8) R 10508 10510 10241 0 -1 4202496 169704 0 0 0 134044 2144 0 0 25 0 1 0 44479472 703201280 167988 1992294400 4194304 7136930 140735204355280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10510/statm: 171680 167988 397 719 0 170959 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 686720
[startup+1422.31 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 10558
/proc/meminfo: memFree=1050236/2059040 swapFree=4135932/4192956
[pid=10510] ppid=10508 vsize=710588 CPUtime=1421.87
/proc/10510/stat : 10510 (pbscip.linux.x8) R 10508 10510 10241 0 -1 4202496 175659 0 0 0 139966 2221 0 0 25 0 1 0 44479472 727642112 173943 1992294400 4194304 7136930 140735204355280 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10510/statm: 177647 173943 397 719 0 176926 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 710588
[startup+1482.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 10560
/proc/meminfo: memFree=1039200/2059040 swapFree=4135932/4192956
[pid=10510] ppid=10508 vsize=720708 CPUtime=1481.84
/proc/10510/stat : 10510 (pbscip.linux.x8) R 10508 10510 10241 0 -1 4202496 178155 0 0 0 145879 2305 0 0 25 0 1 0 44479472 738004992 176439 1992294400 4194304 7136930 140735204355280 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10510/statm: 180177 176439 397 719 0 179456 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 720708
[startup+1542.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 10562
/proc/meminfo: memFree=1021344/2059040 swapFree=4135932/4192956
[pid=10510] ppid=10508 vsize=739420 CPUtime=1541.82
/proc/10510/stat : 10510 (pbscip.linux.x8) R 10508 10510 10241 0 -1 4202496 182764 0 0 0 151790 2392 0 0 25 0 1 0 44479472 757166080 181048 1992294400 4194304 7136930 140735204355280 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10510/statm: 184855 181048 397 719 0 184134 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 739420
[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 10564
/proc/meminfo: memFree=990468/2059040 swapFree=4135932/4192956
[pid=10510] ppid=10508 vsize=769992 CPUtime=1601.8
/proc/10510/stat : 10510 (pbscip.linux.x8) R 10508 10510 10241 0 -1 4202496 190304 0 0 0 157697 2483 0 0 25 0 1 0 44479472 788471808 188588 1992294400 4194304 7136930 140735204355280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10510/statm: 192498 188588 397 719 0 191777 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 769992
[startup+1662.3 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 10567
/proc/meminfo: memFree=956244/2059040 swapFree=4135932/4192956
[pid=10510] ppid=10508 vsize=812152 CPUtime=1661.78
/proc/10510/stat : 10510 (pbscip.linux.x8) R 10508 10510 10241 0 -1 4202496 198660 0 0 0 163589 2589 0 0 25 0 1 0 44479472 831643648 196944 1992294400 4194304 7136930 140735204355280 18446744073709551615 4210611 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10510/statm: 203038 196944 397 719 0 202317 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 812152
[startup+1722.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 10569
/proc/meminfo: memFree=915944/2059040 swapFree=4135932/4192956
[pid=10510] ppid=10508 vsize=851756 CPUtime=1721.76
/proc/10510/stat : 10510 (pbscip.linux.x8) R 10508 10510 10241 0 -1 4202496 208763 0 0 0 169444 2732 0 0 25 0 1 0 44479472 872198144 207047 1992294400 4194304 7136930 140735204355280 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10510/statm: 212939 207047 397 719 0 212218 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 851756
[startup+1782.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 10571
/proc/meminfo: memFree=868204/2059040 swapFree=4135932/4192956
[pid=10510] ppid=10508 vsize=899676 CPUtime=1781.75
/proc/10510/stat : 10510 (pbscip.linux.x8) R 10508 10510 10241 0 -1 4202496 220683 0 0 0 175311 2864 0 0 25 0 1 0 44479472 921268224 218967 1992294400 4194304 7136930 140735204355280 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10510/statm: 224919 218967 397 719 0 224198 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 899676
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 10571
/proc/meminfo: memFree=857168/2059040 swapFree=4135932/4192956
[pid=10510] ppid=10508 vsize=911096 CPUtime=1800.06
/proc/10510/stat : 10510 (pbscip.linux.x8) R 10508 10510 10241 0 -1 4202496 223427 0 0 0 177106 2900 0 0 25 0 1 0 44479472 932962304 221711 1992294400 4194304 7136930 140735204355280 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10510/statm: 227774 221711 397 719 0 227053 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 911096
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -10510
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 10571
/proc/meminfo: memFree=857168/2059040 swapFree=4135932/4192956
[pid=10510] ppid=10508 vsize=911096 CPUtime=1800.84
/proc/10510/stat : 10510 (pbscip.linux.x8) R 10508 10510 10241 0 -1 4202496 223432 0 0 0 177184 2900 0 0 18 0 1 0 44479472 932962304 221716 1992294400 4194304 7136930 140735204355280 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10510/statm: 227774 221716 402 719 0 227053 0
Current children cumulated CPU time (s) 1800.84
Current children cumulated vsize (KiB) 911096
[startup+1802.2 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 10572
/proc/meminfo: memFree=857036/2059040 swapFree=4135932/4192956
[pid=10510] ppid=10508 vsize=911096 CPUtime=1801.64
/proc/10510/stat : 10510 (pbscip.linux.x8) R 10508 10510 10241 0 -1 4202496 223432 0 0 0 177264 2900 0 0 20 0 1 0 44479472 932962304 221716 1992294400 4194304 7136930 140735204355280 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10510/statm: 227774 221716 402 719 0 227053 0
Current children cumulated CPU time (s) 1801.64
Current children cumulated vsize (KiB) 911096
[startup+1802.6 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 10572
/proc/meminfo: memFree=857036/2059040 swapFree=4135932/4192956
[pid=10510] ppid=10508 vsize=894644 CPUtime=1802.05
/proc/10510/stat : 10510 (pbscip.linux.x8) R 10508 10510 10241 0 -1 4202496 223432 0 0 0 177304 2901 0 0 20 0 1 0 44479472 916115456 217603 1992294400 4194304 7136930 140735204355280 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10510/statm: 223661 217603 402 719 0 222940 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 894644
[startup+1802.7 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 10572
/proc/meminfo: memFree=857036/2059040 swapFree=4135932/4192956
[pid=10510] ppid=10508 vsize=0 CPUtime=1802.14
/proc/10510/stat : 10510 (pbscip.linux.x8) R 10508 10510 10241 0 -1 4203524 223432 0 0 0 177305 2909 0 0 21 0 1 0 44479472 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/10510/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.14
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.7
CPU time (s): 1802.16
CPU user time (s): 1773.06
CPU system time (s): 29.0986
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (KiB): 911096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1773.06
system time used= 29.0986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 223432
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= 3
involuntary context switches= 3882
runsolver used 2.90656 second user time and 8.60069 second system time
The end