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-2663744-1276652955.opb>
0.00/0.01 c original problem has 668 variables (668 bin, 0 int, 0 impl, 0 cont) and 668 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 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.00/0.02 c presolving:
0.09/0.19 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 50 upgd conss, 17522 impls, 0 clqs
0.19/0.20 c (0.1s) probing: 101/668 (15.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.20 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.20 c presolving (2 rounds):
0.19/0.20 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.20 c 17522 implications, 0 cliques
0.19/0.20 c presolved problem has 668 variables (668 bin, 0 int, 0 impl, 0 cont) and 668 constraints
0.19/0.20 c 618 constraints of type <and>
0.19/0.20 c 50 constraints of type <logicor>
0.19/0.20 c transformed objective value is always integral (scale: 1)
0.19/0.20 c Presolving Time: 0.10
0.19/0.20 c - non default parameters ----------------------------------------------------------------------
0.19/0.20 c # SCIP version 1.2.1.2
0.19/0.20 c
0.19/0.20 c # frequency for displaying node information lines
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.20 c display/freq = 10000
0.19/0.20 c
0.19/0.20 c # maximal time in seconds to run
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/time = 1800
0.19/0.20 c
0.19/0.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/memory = 1620
0.19/0.20 c
0.19/0.20 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.20 c lp/solvefreq = -1
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify inequalities
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/linear/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify knapsacks
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20 c heuristics/undercover/freq = 0
0.19/0.20 c
0.19/0.20 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20 c separating/rapidlearning/freq = 0
0.19/0.20 c
0.19/0.20 c -----------------------------------------------------------------------------------------------
0.19/0.20 c start solving
0.19/0.20 c
0.19/0.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.21 c 0.1s| 1 | 2 | 0 | - |2313k| 0 | - | 668 | 668 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.39/2.49 c 2.2s| 10000 | 9995 | 0 | 0.0 | 12M| 51 | - | 668 | 669 | 0 | 0 | 0 | 3 | 0 | 1.000000e+00 | -- | Inf
4.59/4.67 c 4.1s| 20000 | 19987 | 0 | 0.0 | 22M| 51 | - | 668 | 671 | 0 | 0 | 0 | 7 | 0 | 2.000000e+00 | -- | Inf
6.79/6.83 c 6.0s| 30000 | 29983 | 0 | 0.0 | 32M| 51 | - | 668 | 672 | 0 | 0 | 0 | 8 | 0 | 2.000000e+00 | -- | Inf
8.98/9.05 c 8.0s| 40000 | 39974 | 0 | 0.0 | 43M| 51 | - | 668 | 673 | 0 | 0 | 0 | 12 | 0 | 2.000000e+00 | -- | Inf
10.49/10.57 o 10
10.49/10.57 c * 9.4s| 46344 | 46272 | 0 | 0.0 | 50M| 51 | - | 668 | 678 | 0 | 0 | 0 | 18 | 0 | 2.000000e+00 | 1.000000e+01 | 400.00%
10.49/10.59 o 9
10.49/10.59 c * 9.4s| 46404 | 46240 | 0 | 0.0 | 50M| 51 | - | 668 | 678 | 0 | 0 | 0 | 18 | 0 | 2.000000e+00 | 9.000000e+00 | 350.00%
10.59/10.60 o 8
10.59/10.60 c * 9.4s| 46428 | 46012 | 0 | 0.0 | 50M| 51 | - | 668 | 688 | 0 | 0 | 0 | 28 | 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
10.69/10.76 o 7
10.69/10.76 c * 9.6s| 46864 | 45699 | 0 | 0.0 | 50M| 55 | - | 668 |1333 | 0 | 0 | 0 | 676 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
11.59/11.62 c 10.4s| 50000 | 48765 | 0 | 0.0 | 54M| 55 | - | 668 | 846 | 0 | 0 | 0 | 961 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
14.39/14.43 c 13.0s| 60000 | 58393 | 0 | 0.0 | 65M| 55 | - | 668 | 819 | 0 | 0 | 0 |2449 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
16.29/16.37 o 6
16.29/16.37 c *14.8s| 67234 | 62728 | 0 | 0.0 | 71M| 55 | - | 668 | 885 | 0 | 0 | 0 |2989 | 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
17.19/17.23 c 15.6s| 70000 | 65265 | 0 | 0.0 | 74M| 55 | - | 668 |1040 | 0 | 0 | 0 |3393 | 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
20.98/21.02 c 19.2s| 80000 | 73736 | 0 | 0.0 | 85M| 55 | - | 668 |1679 | 0 | 0 | 0 |5907 | 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
25.39/25.46 c 23.4s| 90000 | 81750 | 0 | 0.0 | 95M| 55 | - | 668 |2122 | 0 | 0 | 0 |9154 | 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
30.28/30.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.28/30.31 c 28.0s|100000 | 89612 | 0 | 0.0 | 106M| 55 | - | 668 |2630 | 0 | 0 | 0 | 12k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
36.29/36.39 c 33.8s|110000 | 96785 | 0 | 0.0 | 117M| 55 | - | 668 |3613 | 0 | 0 | 0 | 17k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
43.58/43.69 c 40.9s|120000 |103521 | 0 | 0.0 | 128M| 55 | - | 668 |4354 | 0 | 0 | 0 | 23k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
53.17/53.26 c 50.2s|130000 |109046 | 0 | 0.0 | 140M| 55 | - | 668 |6063 | 0 | 0 | 0 | 32k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
66.18/66.20 c 62.8s|140000 |113453 | 0 | 0.0 | 152M| 55 | - | 668 |8331 | 0 | 0 | 0 | 44k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
83.17/83.28 c 79.6s|150000 |116499 | 0 | 0.0 | 165M| 55 | - | 668 |9521 | 0 | 0 | 0 | 59k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
104.86/104.97 c 101s|160000 |118483 | 0 | 0.0 | 176M| 55 | - | 668 |6404 | 0 | 0 | 0 | 80k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
110.06/110.10 c 106s|170000 |126482 | 0 | 0.0 | 186M| 55 | - | 668 |2603 | 0 | 0 | 0 | 83k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
115.76/115.81 c 111s|180000 |133998 | 0 | 0.0 | 199M| 55 | - | 668 |3782 | 0 | 0 | 0 | 87k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
123.07/123.12 c 118s|190000 |140804 | 0 | 0.0 | 213M| 55 | - | 668 |5537 | 0 | 0 | 0 | 92k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
132.75/132.84 c 128s|200000 |146691 | 0 | 0.0 | 227M| 55 | - | 668 |7007 | 0 | 0 | 0 | 99k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
143.96/144.08 c 139s|210000 |151960 | 0 | 0.0 | 240M| 55 | - | 668 |6264 | 0 | 0 | 0 | 107k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
156.06/156.15 c 151s|220000 |156356 | 0 | 0.0 | 253M| 55 | - | 668 |5849 | 0 | 0 | 0 | 116k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
170.74/170.89 c 165s|230000 |159356 | 0 | 0.0 | 269M| 55 | - | 668 |7201 | 0 | 0 | 0 | 128k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
185.94/186.01 c 180s|240000 |162477 | 0 | 0.0 | 281M| 55 | - | 668 |3697 | 0 | 0 | 0 | 143k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
190.64/190.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
190.64/190.77 c 184s|250000 |170576 | 0 | 0.0 | 292M| 55 | - | 668 |1689 | 0 | 0 | 0 | 146k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
195.83/195.95 c 189s|260000 |178325 | 0 | 0.0 | 305M| 55 | - | 668 |2212 | 0 | 0 | 0 | 150k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
201.33/201.41 c 194s|270000 |185897 | 0 | 0.0 | 318M| 56 | - | 668 |2783 | 0 | 0 | 0 | 154k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
207.53/207.60 c 200s|280000 |193143 | 0 | 0.0 | 331M| 56 | - | 668 |3185 | 0 | 0 | 0 | 158k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
214.24/214.36 c 207s|290000 |200144 | 0 | 0.0 | 344M| 56 | - | 668 |4054 | 0 | 0 | 0 | 163k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
221.93/222.06 c 214s|300000 |206715 | 0 | 0.0 | 357M| 56 | - | 668 |4789 | 0 | 0 | 0 | 169k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
231.83/231.93 c 224s|310000 |212329 | 0 | 0.0 | 371M| 56 | - | 668 |6115 | 0 | 0 | 0 | 176k| 0 | 4.000000e+00 | 6.000000e+00 | 50.00%
243.43/243.52 c 235s|320000 |217409 | 0 | 0.0 | 384M| 56 | - | 668 |7571 | 0 | 0 | 0 | 184k| 0 | 4.000000e+00 | 6.000000e+00 | 50.00%
259.32/259.44 c 251s|330000 |221078 | 0 | 0.0 | 398M| 56 | - | 668 |9378 | 0 | 0 | 0 | 194k| 0 | 4.000000e+00 | 6.000000e+00 | 50.00%
277.82/277.95 c 269s|340000 |224291 | 0 | 0.0 | 411M| 56 | - | 668 | 11k| 0 | 0 | 0 | 205k| 0 | 4.000000e+00 | 6.000000e+00 | 50.00%
303.61/303.71 c 295s|350000 |225398 | 0 | 0.0 | 424M| 56 | - | 668 | 14k| 0 | 0 | 0 | 220k| 0 | 4.000000e+00 | 6.000000e+00 | 50.00%
336.10/336.29 c 327s|360000 |225403 | 0 | 0.0 | 435M| 56 | - | 668 | 16k| 0 | 0 | 0 | 239k| 0 | 4.000000e+00 | 6.000000e+00 | 50.00%
366.39/366.56 c 357s|370000 |225533 | 0 | 0.0 | 443M| 56 | - | 668 |9945 | 0 | 0 | 0 | 259k| 0 | 4.000000e+00 | 6.000000e+00 | 50.00%
394.39/394.50 c 384s|380000 |224083 | 0 | 0.0 | 448M| 56 | - | 668 |4048 | 0 | 0 | 0 | 273k| 0 | 4.000000e+00 | 6.000000e+00 | 50.00%
422.98/423.17 c 413s|390000 |222445 | 0 | 0.0 | 455M| 56 | - | 668 |4876 | 0 | 0 | 0 | 285k| 0 | 4.000000e+00 | 6.000000e+00 | 50.00%
451.67/451.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
451.67/451.86 c 441s|400000 |221305 | 0 | 0.0 | 460M| 56 | - | 668 |4729 | 0 | 0 | 0 | 297k| 0 | 4.000000e+00 | 6.000000e+00 | 50.00%
481.27/481.41 c 470s|410000 |219478 | 0 | 0.0 | 465M| 56 | - | 668 |5848 | 0 | 0 | 0 | 308k| 0 | 4.000000e+00 | 6.000000e+00 | 50.00%
514.25/514.40 c 503s|420000 |216802 | 0 | 0.0 | 469M| 56 | - | 668 |6563 | 0 | 0 | 0 | 321k| 0 | 4.000000e+00 | 6.000000e+00 | 50.00%
551.34/551.51 c 540s|430000 |213149 | 0 | 0.0 | 471M| 58 | - | 668 |6505 | 0 | 0 | 0 | 334k| 0 | 4.000000e+00 | 6.000000e+00 | 50.00%
586.43/586.69 c 575s|440000 |210359 | 0 | 0.0 | 472M| 58 | - | 668 |6950 | 0 | 0 | 0 | 347k| 0 | 4.000000e+00 | 6.000000e+00 | 50.00%
625.82/626.06 c 614s|450000 |206118 | 0 | 0.0 | 472M| 58 | - | 668 |8339 | 0 | 0 | 0 | 361k| 0 | 4.000000e+00 | 6.000000e+00 | 50.00%
668.81/669.06 c 657s|460000 |201431 | 0 | 0.0 | 471M| 59 | - | 668 |9540 | 0 | 0 | 0 | 375k| 0 | 4.000000e+00 | 6.000000e+00 | 50.00%
715.48/715.76 c 703s|470000 |196205 | 0 | 0.0 | 466M| 59 | - | 668 | 10k| 0 | 0 | 0 | 390k| 0 | 4.000000e+00 | 6.000000e+00 | 50.00%
759.57/759.86 c 747s|480000 |192271 | 0 | 0.0 | 464M| 59 | - | 668 | 11k| 0 | 0 | 0 | 402k| 0 | 4.000000e+00 | 6.000000e+00 | 50.00%
805.19/805.61 c 792s|490000 |188528 | 0 | 0.0 | 459M| 59 | - | 668 | 10k| 0 | 0 | 0 | 414k| 0 | 4.000000e+00 | 6.000000e+00 | 50.00%
844.98/845.40 c 831s|500000 |185220 | 0 | 0.0 | 452M| 59 | - | 668 |8058 | 0 | 0 | 0 | 427k| 0 | 4.000000e+00 | 6.000000e+00 | 50.00%
882.07/882.57 c 868s|510000 |181476 | 0 | 0.0 | 445M| 59 | - | 668 |9957 | 0 | 0 | 0 | 439k| 0 | 4.000000e+00 | 6.000000e+00 | 50.00%
940.66/941.19 c 927s|520000 |170251 | 0 | 0.0 | 419M| 59 | - | 668 | 11k| 0 | 0 | 0 | 455k| 0 | 5.000000e+00 | 6.000000e+00 | 20.00%
1005.84/1006.38 c 991s|530000 |158529 | 0 | 0.0 | 391M| 59 | - | 668 | 13k| 0 | 0 | 0 | 473k| 0 | 5.000000e+00 | 6.000000e+00 | 20.00%
1067.72/1068.23 c 1053s|540000 |145860 | 0 | 0.0 | 347M| 59 | - | 668 | 12k| 0 | 0 | 0 | 494k| 0 | 5.000000e+00 | 6.000000e+00 | 20.00%
1129.12/1129.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1129.12/1129.69 c 1114s|550000 |133981 | 0 | 0.0 | 315M| 59 | - | 668 |5332 | 0 | 0 | 0 | 520k| 0 | 5.000000e+00 | 6.000000e+00 | 20.00%
1195.20/1195.71 c 1180s|560000 |123701 | 0 | 0.0 | 316M| 59 | - | 668 | 10k| 0 | 0 | 0 | 542k| 0 | 5.000000e+00 | 6.000000e+00 | 20.00%
1277.37/1277.92 c 1261s|570000 |113225 | 0 | 0.0 | 315M| 59 | - | 668 | 14k| 0 | 0 | 0 | 565k| 0 | 5.000000e+00 | 6.000000e+00 | 20.00%
1370.84/1371.46 c 1354s|580000 |102464 | 0 | 0.0 | 305M| 59 | - | 668 | 17k| 0 | 0 | 0 | 588k| 0 | 5.000000e+00 | 6.000000e+00 | 20.00%
1476.91/1477.51 c 1460s|590000 | 91323 | 0 | 0.0 | 289M| 59 | - | 668 | 19k| 0 | 0 | 0 | 611k| 0 | 5.000000e+00 | 6.000000e+00 | 20.00%
1589.68/1590.33 c 1572s|600000 | 79743 | 0 | 0.0 | 266M| 59 | - | 668 | 22k| 0 | 0 | 0 | 634k| 0 | 5.000000e+00 | 6.000000e+00 | 20.00%
1710.75/1711.44 c 1693s|610000 | 67596 | 0 | 0.0 | 232M| 59 | - | 668 | 24k| 0 | 0 | 0 | 659k| 0 | 5.000000e+00 | 6.000000e+00 | 20.00%
1800.04/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.71 c
1800.04/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.71 c Solving Time (sec) : 1781.93
1800.04/1800.71 c Solving Nodes : 616867
1800.04/1800.71 c Primal Bound : +6.00000000000000e+00 (5 solutions)
1800.04/1800.71 c Dual Bound : +5.00000000000000e+00
1800.04/1800.71 c Gap : 20.00 %
1800.04/1800.71 s SATISFIABLE
1800.04/1800.71 v -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 x25
1800.04/1800.71 v -x24 x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 -x14 x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.04/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.71 c Solving Time : 1781.93
1800.04/1800.71 c Original Problem :
1800.04/1800.71 c Problem name : HOME/instance-2663744-1276652955.opb
1800.04/1800.71 c Variables : 668 (668 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.71 c Constraints : 668 initial, 668 maximal
1800.04/1800.71 c Presolved Problem :
1800.04/1800.71 c Problem name : t_HOME/instance-2663744-1276652955.opb
1800.04/1800.71 c Variables : 668 (668 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.71 c Constraints : 668 initial, 27077 maximal
1800.04/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c probing : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.71 c and : 0.08 0 0 0 0 0 0 0 0
1800.04/1800.71 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.71 c root node : - 0 - - 0 - - - -
1800.04/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.71 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.71 c and : 618 0 1913950 0 370886 10243 69749068 0 0 0
1800.04/1800.71 c logicor : 50+ 0 1140957 0 370890 272751 195764 0 0 0
1800.04/1800.71 c countsols : 0 0 0 0 370891 0 0 0 0 0
1800.04/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.71 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.71 c and : 223.66 0.00 222.52 0.00 1.14
1800.04/1800.71 c logicor : 608.61 0.00 603.56 0.00 5.05
1800.04/1800.71 c countsols : 0.14 0.00 0.00 0.00 0.14
1800.04/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.71 c vbounds : 1.26 2 0 0
1800.04/1800.71 c rootredcost : 1.07 0 0 0
1800.04/1800.71 c pseudoobj : 49.19 1920382 6627 5366743
1800.04/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.71 c propagation : 16.82 289621 289618 789544 20.1 1285 20.4 -
1800.04/1800.71 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.71 c pseudo solution : 0.00 1 1 22 38.5 0 0.0 -
1800.04/1800.71 c applied globally : - - - 677708 18.3 - - -
1800.04/1800.71 c applied locally : - - - 0 0.0 - - -
1800.04/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.71 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.71 c redcost : 0.00 0 0 0 0 0
1800.04/1800.71 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.71 c intobj : 0.00 0 0 0 0 0
1800.04/1800.71 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.71 c gomory : 0.00 0 0 0 0 0
1800.04/1800.71 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.71 c cmir : 0.00 0 0 0 0 0
1800.04/1800.71 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.71 c clique : 0.00 0 0 0 0 0
1800.04/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.71 c mcf : 0.00 0 0 0 0 0
1800.04/1800.71 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.71 c Pricers : Time Calls Vars
1800.04/1800.71 c problem variables: 0.00 0 0
1800.04/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.71 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.71 c inference : 22.49 370886 0 0 0 0 741772
1800.04/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.71 c random : 0.00 0 0 0 0 0 0
1800.04/1800.71 c Primal Heuristics : Time Calls Found
1800.04/1800.71 c LP solutions : 0.00 - 0
1800.04/1800.71 c pseudo solutions : 0.02 - 5
1800.04/1800.71 c oneopt : 0.71 0 0
1800.04/1800.71 c trivial : 0.00 2 0
1800.04/1800.71 c simplerounding : 0.00 0 0
1800.04/1800.71 c zirounding : 0.00 0 0
1800.04/1800.71 c rounding : 0.00 0 0
1800.04/1800.71 c shifting : 0.00 0 0
1800.04/1800.71 c intshifting : 0.00 0 0
1800.04/1800.71 c twoopt : 0.00 0 0
1800.04/1800.71 c fixandinfer : 0.00 0 0
1800.04/1800.71 c feaspump : 0.00 0 0
1800.04/1800.71 c coefdiving : 0.00 0 0
1800.04/1800.71 c pscostdiving : 0.00 0 0
1800.04/1800.71 c fracdiving : 0.00 0 0
1800.04/1800.71 c veclendiving : 0.00 0 0
1800.04/1800.71 c intdiving : 0.00 0 0
1800.04/1800.71 c actconsdiving : 0.00 0 0
1800.04/1800.71 c objpscostdiving : 0.00 0 0
1800.04/1800.71 c rootsoldiving : 0.00 0 0
1800.04/1800.71 c linesearchdiving : 0.00 0 0
1800.04/1800.71 c guideddiving : 0.00 0 0
1800.04/1800.71 c octane : 0.00 0 0
1800.04/1800.71 c rens : 0.00 0 0
1800.04/1800.71 c rins : 0.00 0 0
1800.04/1800.71 c localbranching : 0.00 0 0
1800.04/1800.71 c mutation : 0.00 0 0
1800.04/1800.71 c crossover : 0.00 0 0
1800.04/1800.71 c dins : 0.00 0 0
1800.04/1800.71 c undercover : 0.00 0 0
1800.04/1800.71 c nlp : 0.28 0 0
1800.04/1800.71 c trysol : 0.45 0 0
1800.04/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.71 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.71 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.71 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.71 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.71 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.71 c (at root node) : - 0 0 0.00 -
1800.04/1800.71 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.71 c B&B Tree :
1800.04/1800.71 c number of runs : 1
1800.04/1800.71 c nodes : 616867
1800.04/1800.71 c nodes (total) : 616867
1800.04/1800.71 c nodes left : 58554
1800.04/1800.71 c max depth : 59
1800.04/1800.71 c max depth (total): 59
1800.04/1800.71 c backtracks : 269915 (43.8%)
1800.04/1800.71 c delayed cutoffs : 62626
1800.04/1800.71 c repropagations : 554146 (9238384 domain reductions, 43646 cutoffs)
1800.04/1800.71 c avg switch length: 24.20
1800.04/1800.71 c switching time : 699.99
1800.04/1800.71 c Solution :
1800.04/1800.71 c Solutions found : 5 (5 improvements)
1800.04/1800.71 c First Solution : +1.00000000000000e+01 (in run 1, after 46344 nodes, 9.39 seconds, depth 44, found by <relaxation>)
1800.04/1800.71 c Primal Bound : +6.00000000000000e+00 (in run 1, after 67234 nodes, 14.77 seconds, depth 45, found by <relaxation>)
1800.04/1800.71 c Dual Bound : +5.00000000000000e+00
1800.04/1800.71 c Gap : 20.00 %
1800.04/1800.71 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.71 c Root Iterations : 0
1800.62/1801.35 c Time complete: 1800.69.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663744-1276652955/watcher-2663744-1276652955 -o /tmp/evaluation-result-2663744-1276652955/solver-2663744-1276652955 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663744-1276652955.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.00 1.00 1.00 3/105 13831
/proc/meminfo: memFree=1792848/2059040 swapFree=4192956/4192956
[pid=13831] ppid=13829 vsize=6584 CPUtime=0
/proc/13831/stat : 13831 (pbscip.linux.x8) R 13829 13831 11928 0 -1 4202496 1038 0 0 0 0 0 0 0 25 0 1 0 6589095 6742016 960 1992294400 4194304 7136930 140735229462656 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13831/statm: 1646 969 254 719 0 925 0
[startup+0.092786 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 13831
/proc/meminfo: memFree=1792848/2059040 swapFree=4192956/4192956
[pid=13831] ppid=13829 vsize=12880 CPUtime=0.09
/proc/13831/stat : 13831 (pbscip.linux.x8) R 13829 13831 11928 0 -1 4202496 3115 0 0 0 4 5 0 0 25 0 1 0 6589095 13189120 2427 1992294400 4194304 7136930 140735229462656 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13831/statm: 3220 2427 328 719 0 2499 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12880
[startup+0.100786 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 13831
/proc/meminfo: memFree=1792848/2059040 swapFree=4192956/4192956
[pid=13831] ppid=13829 vsize=12880 CPUtime=0.09
/proc/13831/stat : 13831 (pbscip.linux.x8) R 13829 13831 11928 0 -1 4202496 3115 0 0 0 4 5 0 0 25 0 1 0 6589095 13189120 2427 1992294400 4194304 7136930 140735229462656 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13831/statm: 3220 2427 328 719 0 2499 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12880
[startup+0.300809 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 13831
/proc/meminfo: memFree=1792848/2059040 swapFree=4192956/4192956
[pid=13831] ppid=13829 vsize=14888 CPUtime=0.29
/proc/13831/stat : 13831 (pbscip.linux.x8) R 13829 13831 11928 0 -1 4202496 4178 0 0 0 19 10 0 0 25 0 1 0 6589095 15245312 2976 1992294400 4194304 7136930 140735229462656 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13831/statm: 3722 2976 381 719 0 3001 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14888
[startup+0.700854 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 13831
/proc/meminfo: memFree=1792848/2059040 swapFree=4192956/4192956
[pid=13831] ppid=13829 vsize=17396 CPUtime=0.69
/proc/13831/stat : 13831 (pbscip.linux.x8) R 13829 13831 11928 0 -1 4202496 4829 0 0 0 55 14 0 0 25 0 1 0 6589095 17813504 3627 1992294400 4194304 7136930 140735229462656 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13831/statm: 4349 3627 381 719 0 3628 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17396
[startup+1.50095 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13832
/proc/meminfo: memFree=1778208/2059040 swapFree=4192956/4192956
[pid=13831] ppid=13829 vsize=23040 CPUtime=1.49
/proc/13831/stat : 13831 (pbscip.linux.x8) R 13829 13831 11928 0 -1 4202496 6247 0 0 0 126 23 0 0 25 0 1 0 6589095 23592960 5045 1992294400 4194304 7136930 140735229462656 18446744073709551615 4677433 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13831/statm: 5760 5045 387 719 0 5039 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23040
[startup+3.10113 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13832
/proc/meminfo: memFree=1770272/2059040 swapFree=4192956/4192956
[pid=13831] ppid=13829 vsize=31628 CPUtime=3.09
/proc/13831/stat : 13831 (pbscip.linux.x8) R 13829 13831 11928 0 -1 4202496 8406 0 0 0 271 38 0 0 25 0 1 0 6589095 32387072 7204 1992294400 4194304 7136930 140735229462656 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13831/statm: 7907 7204 387 719 0 7186 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31628
[startup+6.30149 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13832
/proc/meminfo: memFree=1753656/2059040 swapFree=4192956/4192956
[pid=13831] ppid=13829 vsize=49608 CPUtime=6.29
/proc/13831/stat : 13831 (pbscip.linux.x8) R 13829 13831 11928 0 -1 4202496 12988 0 0 0 557 72 0 0 25 0 1 0 6589095 50798592 11786 1992294400 4194304 7136930 140735229462656 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13831/statm: 12402 11786 387 719 0 11681 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49608
[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13832
/proc/meminfo: memFree=1719060/2059040 swapFree=4192956/4192956
[pid=13831] ppid=13829 vsize=80684 CPUtime=12.69
/proc/13831/stat : 13831 (pbscip.linux.x8) R 13829 13831 11928 0 -1 4202496 20813 0 0 0 1138 131 0 0 25 0 1 0 6589095 82620416 19611 1992294400 4194304 7136930 140735229462656 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13831/statm: 20171 19611 387 719 0 19450 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 80684
[startup+25.5007 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13832
/proc/meminfo: memFree=1675660/2059040 swapFree=4192956/4192956
[pid=13831] ppid=13829 vsize=122612 CPUtime=25.48
/proc/13831/stat : 13831 (pbscip.linux.x8) R 13829 13831 11928 0 -1 4202496 30791 0 0 0 2342 206 0 0 25 0 1 0 6589095 125554688 29589 1992294400 4194304 7136930 140735229462656 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13831/statm: 30653 29589 387 719 0 29932 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 122612
[startup+51.1006 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13834
/proc/meminfo: memFree=1629160/2059040 swapFree=4192956/4192956
[pid=13831] ppid=13829 vsize=170860 CPUtime=51.08
/proc/13831/stat : 13831 (pbscip.linux.x8) R 13829 13831 11928 0 -1 4202496 42372 0 0 0 4809 299 0 0 25 0 1 0 6589095 174960640 41170 1992294400 4194304 7136930 140735229462656 18446744073709551615 4221373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13831/statm: 42715 41170 387 719 0 41994 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 170860
[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13834
/proc/meminfo: memFree=1584644/2059040 swapFree=4192956/4192956
[pid=13831] ppid=13829 vsize=218368 CPUtime=102.27
/proc/13831/stat : 13831 (pbscip.linux.x8) R 13829 13831 11928 0 -1 4202496 53335 0 0 0 9831 396 0 0 25 0 1 0 6589095 223608832 52133 1992294400 4194304 7136930 140735229462656 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13831/statm: 54592 52133 387 719 0 53871 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 218368
[startup+162.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13836
/proc/meminfo: memFree=1494620/2059040 swapFree=4192956/4192956
[pid=13831] ppid=13829 vsize=317520 CPUtime=162.25
/proc/13831/stat : 13831 (pbscip.linux.x8) R 13829 13831 11928 0 -1 4202496 76148 0 0 0 15653 572 0 0 25 0 1 0 6589095 325140480 74946 1992294400 4194304 7136930 140735229462656 18446744073709551615 4677406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13831/statm: 79380 74946 387 719 0 78659 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 317520
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13838
/proc/meminfo: memFree=1389592/2059040 swapFree=4192956/4192956
[pid=13831] ppid=13829 vsize=434996 CPUtime=222.23
/proc/13831/stat : 13831 (pbscip.linux.x8) R 13829 13831 11928 0 -1 4202496 101995 0 0 0 21459 764 0 0 25 0 1 0 6589095 445435904 100793 1992294400 4194304 7136930 140735229462656 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13831/statm: 108749 100793 387 719 0 108028 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 434996
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13840
/proc/meminfo: memFree=1332180/2059040 swapFree=4192956/4192956
[pid=13831] ppid=13829 vsize=495744 CPUtime=282.21
/proc/13831/stat : 13831 (pbscip.linux.x8) R 13829 13831 11928 0 -1 4202496 116310 0 0 0 27338 883 0 0 25 0 1 0 6589095 507641856 115108 1992294400 4194304 7136930 140735229462656 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13831/statm: 123936 115108 387 719 0 123215 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 495744
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13840
/proc/meminfo: memFree=1303040/2059040 swapFree=4192956/4192956
[pid=13831] ppid=13829 vsize=528768 CPUtime=342.2
/proc/13831/stat : 13831 (pbscip.linux.x8) R 13829 13831 11928 0 -1 4202496 123605 0 0 0 33270 950 0 0 25 0 1 0 6589095 541458432 122403 1992294400 4194304 7136930 140735229462656 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13831/statm: 132192 122403 387 719 0 131471 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 528768
[startup+402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13842
/proc/meminfo: memFree=1283944/2059040 swapFree=4192956/4192956
[pid=13831] ppid=13829 vsize=548308 CPUtime=402.19
/proc/13831/stat : 13831 (pbscip.linux.x8) R 13829 13831 11928 0 -1 4202496 128305 0 0 0 39202 1017 0 0 25 0 1 0 6589095 561467392 127103 1992294400 4194304 7136930 140735229462656 18446744073709551615 4999678 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13831/statm: 137077 127103 387 719 0 136356 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 548308
[startup+462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13844
/proc/meminfo: memFree=1271916/2059040 swapFree=4192956/4192956
[pid=13831] ppid=13829 vsize=560308 CPUtime=462.16
/proc/13831/stat : 13831 (pbscip.linux.x8) R 13829 13831 11928 0 -1 4202496 131275 0 0 0 45140 1076 0 0 25 0 1 0 6589095 573755392 130073 1992294400 4194304 7136930 140735229462656 18446744073709551615 4660923 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13831/statm: 140077 130073 387 719 0 139356 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 560308
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13846
/proc/meminfo: memFree=1266088/2059040 swapFree=4192956/4192956
[pid=13831] ppid=13829 vsize=566052 CPUtime=522.15
/proc/13831/stat : 13831 (pbscip.linux.x8) R 13829 13831 11928 0 -1 4202496 132757 0 0 0 51089 1126 0 0 25 0 1 0 6589095 579637248 131555 1992294400 4194304 7136930 140735229462656 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13831/statm: 141513 131555 387 719 0 140792 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 566052
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13848
/proc/meminfo: memFree=1259888/2059040 swapFree=4192956/4192956
[pid=13831] ppid=13829 vsize=573752 CPUtime=582.13
/proc/13831/stat : 13831 (pbscip.linux.x8) R 13829 13831 11928 0 -1 4202496 134296 0 0 0 57038 1175 0 0 25 0 1 0 6589095 587522048 133094 1992294400 4194304 7136930 140735229462656 18446744073709551615 4431486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13831/statm: 143438 133094 387 719 0 142717 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 573752
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13848
/proc/meminfo: memFree=1252820/2059040 swapFree=4192956/4192956
[pid=13831] ppid=13829 vsize=581516 CPUtime=642.13
/proc/13831/stat : 13831 (pbscip.linux.x8) R 13829 13831 11928 0 -1 4202496 136025 0 0 0 62996 1217 0 0 25 0 1 0 6589095 595472384 134823 1992294400 4194304 7136930 140735229462656 18446744073709551615 4465797 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13831/statm: 145379 134823 387 719 0 144658 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 581516
[startup+702.3 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/106 14391
/proc/meminfo: memFree=1192604/2059040 swapFree=4192956/4192956
[pid=13831] ppid=13829 vsize=593440 CPUtime=1001.84
/proc/13831/stat : 13831 (pbscip.linux.x8) R 13829 13831 11928 0 -1 4202496 138357 0 0 0 98739 1445 0 0 25 0 1 0 6589095 607682560 137155 1992294400 4194304 7136930 140735229462656 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13831/statm: 148360 137155 387 719 0 147639 0
Current children cumulated CPU time (s) 1001.84
Current children cumulated vsize (KiB) 593440
[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 14393
/proc/meminfo: memFree=1192232/2059040 swapFree=4192956/4192956
[pid=13831] ppid=13829 vsize=593880 CPUtime=1061.82
/proc/13831/stat : 13831 (pbscip.linux.x8) R 13829 13831 11928 0 -1 4202496 138459 0 0 0 104699 1483 0 0 25 0 1 0 6589095 608133120 137257 1992294400 4194304 7136930 140735229462656 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13831/statm: 148470 137257 388 719 0 147749 0
Current children cumulated CPU time (s) 1061.82
Current children cumulated vsize (KiB) 593880
[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 14395
/proc/meminfo: memFree=1191116/2059040 swapFree=4192956/4192956
[pid=13831] ppid=13829 vsize=595032 CPUtime=1121.8
/proc/13831/stat : 13831 (pbscip.linux.x8) R 13829 13831 11928 0 -1 4202496 138740 0 0 0 110660 1520 0 0 25 0 1 0 6589095 609312768 137538 1992294400 4194304 7136930 140735229462656 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13831/statm: 148758 137538 388 719 0 148037 0
Current children cumulated CPU time (s) 1121.8
Current children cumulated vsize (KiB) 595032
[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 14397
/proc/meminfo: memFree=1189752/2059040 swapFree=4192956/4192956
[pid=13831] ppid=13829 vsize=596356 CPUtime=1181.79
/proc/13831/stat : 13831 (pbscip.linux.x8) R 13829 13831 11928 0 -1 4202496 139066 0 0 0 116619 1560 0 0 25 0 1 0 6589095 610668544 137864 1992294400 4194304 7136930 140735229462656 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13831/statm: 149089 137864 388 719 0 148368 0
Current children cumulated CPU time (s) 1181.79
Current children cumulated vsize (KiB) 596356
[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 14397
/proc/meminfo: memFree=1188388/2059040 swapFree=4192956/4192956
[pid=13831] ppid=13829 vsize=597968 CPUtime=1241.78
/proc/13831/stat : 13831 (pbscip.linux.x8) R 13829 13831 11928 0 -1 4202496 139409 0 0 0 122587 1591 0 0 25 0 1 0 6589095 612319232 138207 1992294400 4194304 7136930 140735229462656 18446744073709551615 4665896 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13831/statm: 149492 138207 388 719 0 148771 0
Current children cumulated CPU time (s) 1241.78
Current children cumulated vsize (KiB) 597968
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14399
/proc/meminfo: memFree=1187272/2059040 swapFree=4192956/4192956
[pid=13831] ppid=13829 vsize=598992 CPUtime=1301.77
/proc/13831/stat : 13831 (pbscip.linux.x8) R 13829 13831 11928 0 -1 4202496 139652 0 0 0 128555 1622 0 0 25 0 1 0 6589095 613367808 138450 1992294400 4194304 7136930 140735229462656 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13831/statm: 149748 138450 388 719 0 149027 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 598992
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14401
/proc/meminfo: memFree=1186280/2059040 swapFree=4192956/4192956
[pid=13831] ppid=13829 vsize=600396 CPUtime=1361.74
/proc/13831/stat : 13831 (pbscip.linux.x8) R 13829 13831 11928 0 -1 4202496 139972 0 0 0 134526 1648 0 0 25 0 1 0 6589095 614805504 138770 1992294400 4194304 7136930 140735229462656 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13831/statm: 150099 138770 388 719 0 149378 0
Current children cumulated CPU time (s) 1361.74
Current children cumulated vsize (KiB) 600396
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14403
/proc/meminfo: memFree=1185660/2059040 swapFree=4192956/4192956
[pid=13831] ppid=13829 vsize=600660 CPUtime=1421.74
/proc/13831/stat : 13831 (pbscip.linux.x8) R 13829 13831 11928 0 -1 4202496 140046 0 0 0 140501 1673 0 0 25 0 1 0 6589095 615075840 138844 1992294400 4194304 7136930 140735229462656 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13831/statm: 150165 138844 388 719 0 149444 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 600660
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14405
/proc/meminfo: memFree=1185536/2059040 swapFree=4192956/4192956
[pid=13831] ppid=13829 vsize=600888 CPUtime=1481.71
/proc/13831/stat : 13831 (pbscip.linux.x8) R 13829 13831 11928 0 -1 4202496 140090 0 0 0 146476 1695 0 0 25 0 1 0 6589095 615309312 138888 1992294400 4194304 7136930 140735229462656 18446744073709551615 5000322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13831/statm: 150222 138888 388 719 0 149501 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 600888
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14405
/proc/meminfo: memFree=1185288/2059040 swapFree=4192956/4192956
[pid=13831] ppid=13829 vsize=601080 CPUtime=1541.69
/proc/13831/stat : 13831 (pbscip.linux.x8) R 13829 13831 11928 0 -1 4202496 140136 0 0 0 152450 1719 0 0 25 0 1 0 6589095 615505920 138934 1992294400 4194304 7136930 140735229462656 18446744073709551615 4409092 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13831/statm: 150270 138934 388 719 0 149549 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 601080
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14407
/proc/meminfo: memFree=1184420/2059040 swapFree=4192956/4192956
[pid=13831] ppid=13829 vsize=602252 CPUtime=1601.68
/proc/13831/stat : 13831 (pbscip.linux.x8) R 13829 13831 11928 0 -1 4202496 140335 0 0 0 158426 1742 0 0 25 0 1 0 6589095 616706048 139133 1992294400 4194304 7136930 140735229462656 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13831/statm: 150563 139133 388 719 0 149842 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 602252
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14409
/proc/meminfo: memFree=1184420/2059040 swapFree=4192956/4192956
[pid=13831] ppid=13829 vsize=602360 CPUtime=1661.67
/proc/13831/stat : 13831 (pbscip.linux.x8) R 13829 13831 11928 0 -1 4202496 140348 0 0 0 164402 1765 0 0 25 0 1 0 6589095 616816640 139146 1992294400 4194304 7136930 140735229462656 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13831/statm: 150590 139146 388 719 0 149869 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 602360
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14411
/proc/meminfo: memFree=1184172/2059040 swapFree=4192956/4192956
[pid=13831] ppid=13829 vsize=602360 CPUtime=1721.65
/proc/13831/stat : 13831 (pbscip.linux.x8) R 13829 13831 11928 0 -1 4202496 140354 0 0 0 170381 1784 0 0 25 0 1 0 6589095 616816640 139152 1992294400 4194304 7136930 140735229462656 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13831/statm: 150590 139152 388 719 0 149869 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 602360
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14413
/proc/meminfo: memFree=1184048/2059040 swapFree=4192956/4192956
[pid=13831] ppid=13829 vsize=602400 CPUtime=1781.63
/proc/13831/stat : 13831 (pbscip.linux.x8) R 13829 13831 11928 0 -1 4202496 140367 0 0 0 176358 1805 0 0 25 0 1 0 6589095 616857600 139165 1992294400 4194304 7136930 140735229462656 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13831/statm: 150600 139165 388 719 0 149879 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 602400
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14413
/proc/meminfo: memFree=1184048/2059040 swapFree=4192956/4192956
[pid=13831] ppid=13829 vsize=602400 CPUtime=1800.04
/proc/13831/stat : 13831 (pbscip.linux.x8) R 13829 13831 11928 0 -1 4202496 140374 0 0 0 178193 1811 0 0 25 0 1 0 6589095 616857600 139172 1992294400 4194304 7136930 140735229462656 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13831/statm: 150600 139172 388 719 0 149879 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 602400
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14413
/proc/meminfo: memFree=1184048/2059040 swapFree=4192956/4192956
[pid=13831] ppid=13829 vsize=602480 CPUtime=1800.33
/proc/13831/stat : 13831 (pbscip.linux.x8) R 13829 13831 11928 0 -1 4202496 140384 0 0 0 178222 1811 0 0 25 0 1 0 6589095 616939520 139182 1992294400 4194304 7136930 140735229462656 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13831/statm: 150620 139182 394 719 0 149899 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 602480
[startup+1801.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14413
/proc/meminfo: memFree=1184048/2059040 swapFree=4192956/4192956
[pid=13831] ppid=13829 vsize=599236 CPUtime=1800.53
/proc/13831/stat : 13831 (pbscip.linux.x8) R 13829 13831 11928 0 -1 4202496 140384 0 0 0 178242 1811 0 0 25 0 1 0 6589095 613617664 138371 1992294400 4194304 7136930 140735229462656 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13831/statm: 149809 138115 394 719 0 149088 0
Current children cumulated CPU time (s) 1800.53
Current children cumulated vsize (KiB) 599236
[startup+1801.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14413
/proc/meminfo: memFree=1184048/2059040 swapFree=4192956/4192956
[pid=13831] ppid=13829 vsize=482848 CPUtime=1800.62
/proc/13831/stat : 13831 (pbscip.linux.x8) R 13829 13831 11928 0 -1 4202496 140384 0 0 0 178250 1812 0 0 25 0 1 0 6589095 494436352 109252 1992294400 4194304 7136930 140735229462656 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13831/statm: 120613 109186 394 719 0 119892 0
Current children cumulated CPU time (s) 1800.62
Current children cumulated vsize (KiB) 482848
Child status: 0
Real time (s): 1801.36
CPU time (s): 1800.69
CPU user time (s): 1782.51
CPU system time (s): 18.1812
CPU usage (%): 99.9631
Max. virtual memory (cumulated for all children) (KiB): 602480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.51
system time used= 18.1812
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140390
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= 1
involuntary context switches= 7421
runsolver used 2.91156 second user time and 8.59869 second system time
The end