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-2663783-1276657697.opb>
0.00/0.03 c original problem has 3174 variables (3174 bin, 0 int, 0 impl, 0 cont) and 3174 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 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.02/0.07 c presolving:
0.29/0.38 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 100 upgd conss, 201906 impls, 0 clqs
0.59/0.65 c (0.4s) probing: 101/3174 (3.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.59/0.65 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.59/0.65 c presolving (2 rounds):
0.59/0.65 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.59/0.65 c 201906 implications, 0 cliques
0.59/0.65 c presolved problem has 3174 variables (3174 bin, 0 int, 0 impl, 0 cont) and 3174 constraints
0.59/0.65 c 3074 constraints of type <and>
0.59/0.65 c 100 constraints of type <logicor>
0.59/0.65 c transformed objective value is always integral (scale: 1)
0.59/0.65 c Presolving Time: 0.40
0.59/0.65 c - non default parameters ----------------------------------------------------------------------
0.59/0.65 c # SCIP version 1.2.1.2
0.59/0.65 c
0.59/0.65 c # frequency for displaying node information lines
0.59/0.65 c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.65 c display/freq = 10000
0.59/0.65 c
0.59/0.65 c # maximal time in seconds to run
0.59/0.65 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.65 c limits/time = 1799.98
0.59/0.65 c
0.59/0.65 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.65 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.65 c limits/memory = 1620
0.59/0.65 c
0.59/0.65 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.59/0.65 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.65 c lp/solvefreq = -1
0.59/0.65 c
0.59/0.65 c # should presolving try to simplify inequalities
0.59/0.65 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.65 c constraints/linear/simplifyinequalities = TRUE
0.59/0.65 c
0.59/0.65 c # should presolving try to simplify knapsacks
0.59/0.65 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.65 c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.65 c
0.59/0.65 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.59/0.65 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.65 c heuristics/undercover/freq = 0
0.59/0.65 c
0.59/0.65 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.59/0.65 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.65 c separating/rapidlearning/freq = 0
0.59/0.65 c
0.59/0.65 c -----------------------------------------------------------------------------------------------
0.59/0.65 c start solving
0.59/0.65 c
0.59/0.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.66 c 0.4s| 1 | 2 | 0 | - | 13M| 0 | - |3174 |3174 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
4.69/4.80 o 10
4.69/4.80 c * 4.5s| 3097 | 3039 | 0 | 0.0 | 20M| 101 | - |3174 |3174 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | 1.000000e+01 | 900.00%
4.89/4.90 o 9
4.89/4.90 c * 4.6s| 3182 | 3110 | 0 | 0.0 | 20M| 101 | - |3174 |3185 | 0 | 0 | 0 | 11 | 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
5.29/5.30 o 8
5.29/5.30 c * 5.0s| 3484 | 3353 | 0 | 0.0 | 21M| 102 | - |3174 |3338 | 0 | 0 | 0 | 164 | 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
15.88/15.98 c 15.5s| 10000 | 9867 | 0 | 0.0 | 34M| 102 | - |3174 |3175 | 0 | 0 | 0 | 174 | 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
29.48/29.55 c 28.8s| 20000 | 19867 | 0 | 0.0 | 53M| 102 | - |3174 |3175 | 0 | 0 | 0 | 174 | 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
41.28/41.32 c 40.4s| 30000 | 29867 | 0 | 0.0 | 73M| 102 | - |3174 |3175 | 0 | 0 | 0 | 174 | 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
51.97/52.08 c 50.9s| 40000 | 39867 | 0 | 0.0 | 92M| 102 | - |3174 |3175 | 0 | 0 | 0 | 174 | 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
55.58/55.62 o 7
55.58/55.62 c *54.3s| 43419 | 43247 | 0 | 0.0 | 99M| 102 | - |3174 |3175 | 0 | 0 | 0 | 174 | 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
61.97/62.08 c 60.6s| 50000 | 49815 | 0 | 0.0 | 112M| 102 | - |3174 |3241 | 0 | 0 | 0 | 241 | 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
71.27/71.33 c 69.7s| 60000 | 59802 | 0 | 0.0 | 131M| 102 | - |3174 |3284 | 0 | 0 | 0 | 302 | 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
80.46/80.54 c 78.6s| 70000 | 69794 | 0 | 0.0 | 150M| 102 | - |3174 |3331 | 0 | 0 | 0 | 352 | 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
90.46/90.53 c 88.3s| 80000 | 79200 | 0 | 0.0 | 173M| 102 | - |3174 |5996 | 0 | 0 | 0 |3612 | 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
90.86/90.97 o 6
90.86/90.97 c *88.7s| 80421 | 79034 | 0 | 0.0 | 173M| 102 | - |3174 |6170 | 0 | 0 | 0 |3890 | 0 | 2.000000e+00 | 6.000000e+00 | 200.00%
103.95/104.01 c 102s| 90000 | 87420 | 0 | 0.0 | 193M| 102 | - |3174 |5664 | 0 | 0 | 0 | 10k| 0 | 2.000000e+00 | 6.000000e+00 | 200.00%
117.16/117.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
117.16/117.21 c 115s|100000 | 96976 | 0 | 0.0 | 216M| 102 | - |3174 |6510 | 0 | 0 | 0 | 12k| 0 | 2.000000e+00 | 6.000000e+00 | 200.00%
130.35/130.44 c 128s|110000 |106584 | 0 | 0.0 | 239M| 102 | - |3174 |7452 | 0 | 0 | 0 | 15k| 0 | 2.000000e+00 | 6.000000e+00 | 200.00%
143.65/143.71 c 141s|120000 |116126 | 0 | 0.0 | 261M| 102 | - |3174 |8344 | 0 | 0 | 0 | 17k| 0 | 2.000000e+00 | 6.000000e+00 | 200.00%
157.54/157.68 c 154s|130000 |125423 | 0 | 0.0 | 284M| 102 | - |3174 | 10k| 0 | 0 | 0 | 20k| 0 | 2.000000e+00 | 6.000000e+00 | 200.00%
171.63/171.77 c 168s|140000 |134619 | 0 | 0.0 | 308M| 102 | - |3174 | 11k| 0 | 0 | 0 | 24k| 0 | 2.000000e+00 | 6.000000e+00 | 200.00%
186.64/186.74 c 183s|150000 |143583 | 0 | 0.0 | 332M| 102 | - |3174 | 14k| 0 | 0 | 0 | 29k| 0 | 2.000000e+00 | 6.000000e+00 | 200.00%
203.93/204.01 c 200s|160000 |151959 | 0 | 0.0 | 358M| 102 | - |3174 | 19k| 0 | 0 | 0 | 36k| 0 | 2.000000e+00 | 6.000000e+00 | 200.00%
225.72/225.83 c 221s|170000 |159112 | 0 | 0.0 | 387M| 103 | - |3174 | 26k| 0 | 0 | 0 | 50k| 0 | 2.000000e+00 | 6.000000e+00 | 200.00%
252.82/252.91 c 248s|180000 |165749 | 0 | 0.0 | 394M| 103 | - |3174 |4674 | 0 | 0 | 0 | 67k| 0 | 2.000000e+00 | 6.000000e+00 | 200.00%
267.41/267.55 c 263s|190000 |175432 | 0 | 0.0 | 415M| 103 | - |3174 |4145 | 0 | 0 | 0 | 68k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
281.71/281.85 c 277s|200000 |185016 | 0 | 0.0 | 437M| 103 | - |3174 |4667 | 0 | 0 | 0 | 70k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
296.09/296.25 c 291s|210000 |194595 | 0 | 0.0 | 460M| 103 | - |3174 |5147 | 0 | 0 | 0 | 72k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
310.39/310.59 c 305s|220000 |204197 | 0 | 0.0 | 482M| 103 | - |3174 |5013 | 0 | 0 | 0 | 74k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
324.49/324.61 c 319s|230000 |213771 | 0 | 0.0 | 504M| 103 | - |3174 |5459 | 0 | 0 | 0 | 76k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
338.29/338.40 c 332s|240000 |223312 | 0 | 0.0 | 526M| 103 | - |3174 |5776 | 0 | 0 | 0 | 78k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
352.28/352.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
352.28/352.48 c 346s|250000 |232910 | 0 | 0.0 | 548M| 103 | - |3174 |5767 | 0 | 0 | 0 | 79k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
365.97/366.16 c 359s|260000 |242507 | 0 | 0.0 | 569M| 103 | - |3174 |6031 | 0 | 0 | 0 | 81k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
379.67/379.86 c 373s|270000 |252121 | 0 | 0.0 | 591M| 103 | - |3174 |6246 | 0 | 0 | 0 | 83k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
393.06/393.30 c 386s|280000 |261722 | 0 | 0.0 | 613M| 103 | - |3174 |6577 | 0 | 0 | 0 | 85k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
406.46/406.68 c 399s|290000 |271281 | 0 | 0.0 | 635M| 103 | - |3174 |6937 | 0 | 0 | 0 | 87k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
419.97/420.18 c 412s|300000 |280836 | 0 | 0.0 | 657M| 103 | - |3174 |7155 | 0 | 0 | 0 | 89k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
433.56/433.71 c 426s|310000 |290376 | 0 | 0.0 | 679M| 103 | - |3174 |7254 | 0 | 0 | 0 | 91k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
446.95/447.16 c 439s|320000 |299873 | 0 | 0.0 | 701M| 103 | - |3174 |7150 | 0 | 0 | 0 | 93k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
460.24/460.41 c 452s|330000 |309361 | 0 | 0.0 | 723M| 103 | - |3174 |7535 | 0 | 0 | 0 | 95k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
473.74/473.92 c 465s|340000 |318891 | 0 | 0.0 | 745M| 103 | - |3174 |7537 | 0 | 0 | 0 | 98k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
487.04/487.21 c 478s|350000 |328466 | 0 | 0.0 | 767M| 103 | - |3174 |7493 | 0 | 0 | 0 | 99k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
500.43/500.60 c 491s|360000 |338042 | 0 | 0.0 | 789M| 103 | - |3174 |7692 | 0 | 0 | 0 | 101k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
513.73/513.92 c 504s|370000 |347587 | 0 | 0.0 | 811M| 103 | - |3174 |7772 | 0 | 0 | 0 | 103k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
526.93/527.16 c 517s|380000 |357156 | 0 | 0.0 | 833M| 103 | - |3174 |8192 | 0 | 0 | 0 | 105k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
540.32/540.56 c 531s|390000 |366584 | 0 | 0.0 | 856M| 103 | - |3174 |8648 | 0 | 0 | 0 | 108k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
553.71/553.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
553.71/553.94 c 544s|400000 |376060 | 0 | 0.0 | 878M| 103 | - |3174 |8945 | 0 | 0 | 0 | 110k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
567.11/567.38 c 557s|410000 |385442 | 0 | 0.0 | 900M| 103 | - |3174 |9479 | 0 | 0 | 0 | 113k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
580.62/580.84 c 570s|420000 |394834 | 0 | 0.0 | 923M| 103 | - |3174 |9613 | 0 | 0 | 0 | 115k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
593.71/593.97 c 583s|430000 |404320 | 0 | 0.0 | 945M| 103 | - |3174 |9832 | 0 | 0 | 0 | 118k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
606.70/606.93 c 596s|440000 |413784 | 0 | 0.0 | 968M| 103 | - |3174 | 10k| 0 | 0 | 0 | 120k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
619.99/620.27 c 609s|450000 |423207 | 0 | 0.0 | 990M| 103 | - |3174 | 10k| 0 | 0 | 0 | 123k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
633.09/633.33 c 622s|460000 |432672 | 0 | 0.0 |1012M| 103 | - |3174 | 10k| 0 | 0 | 0 | 125k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
646.28/646.51 c 635s|470000 |442158 | 0 | 0.0 |1034M| 103 | - |3174 | 10k| 0 | 0 | 0 | 127k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
659.49/659.77 c 648s|480000 |451630 | 0 | 0.0 |1057M| 103 | - |3174 | 11k| 0 | 0 | 0 | 130k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
672.68/672.98 c 661s|490000 |461093 | 0 | 0.0 |1079M| 103 | - |3174 | 11k| 0 | 0 | 0 | 132k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
685.67/685.97 c 673s|500000 |470497 | 0 | 0.0 |1102M| 103 | - |3174 | 11k| 0 | 0 | 0 | 135k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
698.66/698.92 c 686s|510000 |479946 | 0 | 0.0 |1124M| 103 | - |3174 | 11k| 0 | 0 | 0 | 137k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
712.26/712.50 c 699s|520000 |489357 | 0 | 0.0 |1146M| 103 | - |3174 | 11k| 0 | 0 | 0 | 139k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
725.46/725.72 c 712s|530000 |498784 | 0 | 0.0 |1169M| 103 | - |3174 | 12k| 0 | 0 | 0 | 142k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
738.96/739.26 c 726s|540000 |508162 | 0 | 0.0 |1191M| 103 | - |3174 | 12k| 0 | 0 | 0 | 145k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
752.35/752.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
752.35/752.67 c 739s|550000 |517561 | 0 | 0.0 |1215M| 103 | - |3174 | 13k| 0 | 0 | 0 | 147k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
765.65/765.95 c 752s|560000 |526967 | 0 | 0.0 |1238M| 103 | - |3174 | 13k| 0 | 0 | 0 | 150k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
779.35/779.61 c 765s|570000 |536350 | 0 | 0.0 |1260M| 103 | - |3174 | 13k| 0 | 0 | 0 | 152k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
792.44/792.75 c 778s|580000 |545800 | 0 | 0.0 |1282M| 103 | - |3174 | 13k| 0 | 0 | 0 | 155k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
805.64/805.97 c 791s|590000 |555130 | 0 | 0.0 |1305M| 103 | - |3174 | 13k| 0 | 0 | 0 | 158k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
818.93/819.25 c 804s|600000 |564538 | 0 | 0.0 |1327M| 103 | - |3174 | 13k| 0 | 0 | 0 | 160k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
832.13/832.44 c 817s|610000 |573925 | 0 | 0.0 |1350M| 103 | - |3174 | 14k| 0 | 0 | 0 | 163k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
837.53/837.85 c (node 614012) switching to memory saving mode (mem: 1296.0M/1620.0M)
891.01/891.38 c 876s|620000 |574094 | 0 | 0.0 |1374M| 104 | - |3174 | 39k| 0 | 0 | 0 | 204k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
1009.27/1009.62 c 993s|630000 |568928 | 0 | 0.0 |1369M| 104 | - |3174 | 53k| 0 | 0 | 0 | 264k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
1107.04/1107.43 c 1091s|640000 |566732 | 0 | 0.0 |1380M| 104 | - |3174 | 68k| 0 | 0 | 0 | 315k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
1221.10/1221.54 c 1204s|650000 |563599 | 0 | 0.0 |1379M| 104 | - |3174 | 77k| 0 | 0 | 0 | 366k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
1351.16/1351.61 c 1334s|660000 |561018 | 0 | 0.0 |1373M| 104 | - |3174 | 76k| 0 | 0 | 0 | 416k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
1476.63/1477.12 c 1459s|670000 |557994 | 0 | 0.0 |1372M| 104 | - |3174 | 87k| 0 | 0 | 0 | 465k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
1597.79/1598.38 c 1580s|680000 |556253 | 0 | 0.0 |1370M| 104 | - |3174 | 85k| 0 | 0 | 0 | 510k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
1772.13/1772.71 c 1753s|690000 |552125 | 0 | 0.0 |1348M| 104 | - |3174 | 78k| 0 | 0 | 0 | 561k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
1800.03/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.62 c
1800.03/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.62 c Solving Time (sec) : 1781.03
1800.03/1800.62 c Solving Nodes : 693389
1800.03/1800.62 c Primal Bound : +6.00000000000000e+00 (5 solutions)
1800.03/1800.62 c Dual Bound : +3.00000000000000e+00
1800.03/1800.62 c Gap : 100.00 %
1800.03/1800.62 s SATISFIABLE
1800.03/1800.62 v -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75
1800.03/1800.62 v -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50
1800.03/1800.62 v -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 -x24
1800.03/1800.62 v -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.03/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.62 c Solving Time : 1781.03
1800.03/1800.62 c Original Problem :
1800.03/1800.62 c Problem name : HOME/instance-2663783-1276657697.opb
1800.03/1800.62 c Variables : 3174 (3174 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.62 c Constraints : 3174 initial, 3174 maximal
1800.03/1800.62 c Presolved Problem :
1800.03/1800.62 c Problem name : t_HOME/instance-2663783-1276657697.opb
1800.03/1800.62 c Variables : 3174 (3174 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.62 c Constraints : 3174 initial, 93938 maximal
1800.03/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.62 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.62 c probing : 0.08 0 0 0 0 0 0 0 0
1800.03/1800.62 c and : 0.29 0 0 0 0 0 0 0 0
1800.03/1800.62 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.62 c root node : - 0 - - 0 - - - -
1800.03/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.62 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.62 c and : 3074 0 1671891 0 655179 4492 55424574 0 0 0
1800.03/1800.62 c logicor : 100+ 0 668604 0 655184 74806 169604 0 0 0
1800.03/1800.62 c countsols : 0 0 0 0 655184 0 0 0 0 0
1800.03/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.62 c and : 287.83 0.00 275.65 0.00 12.18
1800.03/1800.62 c logicor : 483.13 0.00 395.13 0.00 88.00
1800.03/1800.62 c countsols : 0.23 0.00 0.00 0.00 0.23
1800.03/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.62 c vbounds : 1.16 2 0 0
1800.03/1800.62 c rootredcost : 1.08 0 0 0
1800.03/1800.62 c pseudoobj : 54.05 1680607 8911 1081143
1800.03/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.62 c propagation : 52.87 88209 88209 1527213 98.7 901 85.3 -
1800.03/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.62 c applied globally : - - - 576423 72.2 - - -
1800.03/1800.62 c applied locally : - - - 0 0.0 - - -
1800.03/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.62 c redcost : 0.00 0 0 0 0 0
1800.03/1800.62 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.62 c intobj : 0.00 0 0 0 0 0
1800.03/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.62 c gomory : 0.00 0 0 0 0 0
1800.03/1800.62 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.62 c cmir : 0.00 0 0 0 0 0
1800.03/1800.62 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.62 c clique : 0.00 0 0 0 0 0
1800.03/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.62 c mcf : 0.00 0 0 0 0 0
1800.03/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.62 c Pricers : Time Calls Vars
1800.03/1800.62 c problem variables: 0.00 0 0
1800.03/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.62 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.62 c inference : 292.38 655179 0 0 0 0 1310358
1800.03/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.62 c random : 0.00 0 0 0 0 0 0
1800.03/1800.62 c Primal Heuristics : Time Calls Found
1800.03/1800.62 c LP solutions : 0.00 - 0
1800.03/1800.62 c pseudo solutions : 0.01 - 5
1800.03/1800.62 c oneopt : 1.10 0 0
1800.03/1800.62 c trivial : 0.02 2 0
1800.03/1800.62 c simplerounding : 0.00 0 0
1800.03/1800.62 c zirounding : 0.00 0 0
1800.03/1800.62 c rounding : 0.00 0 0
1800.03/1800.62 c shifting : 0.00 0 0
1800.03/1800.62 c intshifting : 0.00 0 0
1800.03/1800.62 c twoopt : 0.00 0 0
1800.03/1800.62 c fixandinfer : 0.00 0 0
1800.03/1800.62 c feaspump : 0.00 0 0
1800.03/1800.62 c coefdiving : 0.00 0 0
1800.03/1800.62 c pscostdiving : 0.00 0 0
1800.03/1800.62 c fracdiving : 0.00 0 0
1800.03/1800.62 c veclendiving : 0.00 0 0
1800.03/1800.62 c intdiving : 0.00 0 0
1800.03/1800.62 c actconsdiving : 0.00 0 0
1800.03/1800.62 c objpscostdiving : 0.00 0 0
1800.03/1800.62 c rootsoldiving : 0.00 0 0
1800.03/1800.62 c linesearchdiving : 0.00 0 0
1800.03/1800.62 c guideddiving : 0.00 0 0
1800.03/1800.62 c octane : 0.00 0 0
1800.03/1800.62 c rens : 0.00 0 0
1800.03/1800.62 c rins : 0.00 0 0
1800.03/1800.62 c localbranching : 0.00 0 0
1800.03/1800.62 c mutation : 0.00 0 0
1800.03/1800.62 c crossover : 0.00 0 0
1800.03/1800.62 c dins : 0.00 0 0
1800.03/1800.62 c undercover : 0.00 0 0
1800.03/1800.62 c nlp : 0.49 0 0
1800.03/1800.62 c trysol : 0.47 0 0
1800.03/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.62 c (at root node) : - 0 0 0.00 -
1800.03/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.62 c B&B Tree :
1800.03/1800.62 c number of runs : 1
1800.03/1800.62 c nodes : 693389
1800.03/1800.62 c nodes (total) : 693389
1800.03/1800.62 c nodes left : 551773
1800.03/1800.62 c max depth : 104
1800.03/1800.62 c max depth (total): 104
1800.03/1800.62 c backtracks : 66614 (9.6%)
1800.03/1800.62 c delayed cutoffs : 64528
1800.03/1800.62 c repropagations : 86755 (21283088 domain reductions, 50004 cutoffs)
1800.03/1800.62 c avg switch length: 8.97
1800.03/1800.62 c switching time : 524.68
1800.03/1800.62 c Solution :
1800.03/1800.62 c Solutions found : 5 (5 improvements)
1800.03/1800.62 c First Solution : +1.00000000000000e+01 (in run 1, after 3097 nodes, 4.48 seconds, depth 101, found by <relaxation>)
1800.03/1800.62 c Primal Bound : +6.00000000000000e+00 (in run 1, after 80421 nodes, 88.73 seconds, depth 97, found by <relaxation>)
1800.03/1800.62 c Dual Bound : +3.00000000000000e+00
1800.03/1800.62 c Gap : 100.00 %
1800.03/1800.62 c Root Dual Bound : +0.00000000000000e+00
1800.03/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-2663783-1276657697/watcher-2663783-1276657697 -o /tmp/evaluation-result-2663783-1276657697/solver-2663783-1276657697 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663783-1276657697.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/106 14130
/proc/meminfo: memFree=1815760/2059040 swapFree=4168596/4192956
[pid=14130] ppid=14128 vsize=6584 CPUtime=0
/proc/14130/stat : 14130 (pbscip.linux.x8) R 14128 14130 11880 0 -1 4202496 1008 0 0 0 0 0 0 0 20 0 1 0 7060693 6742016 930 1992294400 4194304 7136930 140734292750560 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14130/statm: 1646 940 254 719 0 925 0
[startup+0.037878 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 14130
/proc/meminfo: memFree=1815760/2059040 swapFree=4168596/4192956
[pid=14130] ppid=14128 vsize=11364 CPUtime=0.02
/proc/14130/stat : 14130 (pbscip.linux.x8) R 14128 14130 11880 0 -1 4202496 2535 0 0 0 2 0 0 0 20 0 1 0 7060693 11636736 2103 1992294400 4194304 7136930 140734292750560 18446744073709551615 6346613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14130/statm: 2841 2114 279 719 0 2120 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11364
[startup+0.100888 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 14130
/proc/meminfo: memFree=1815760/2059040 swapFree=4168596/4192956
[pid=14130] ppid=14128 vsize=21768 CPUtime=0.09
/proc/14130/stat : 14130 (pbscip.linux.x8) R 14128 14130 11880 0 -1 4202496 5033 0 0 0 8 1 0 0 20 0 1 0 7060693 22290432 4601 1992294400 4194304 7136930 140734292750560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14130/statm: 5442 4601 328 719 0 4721 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21768
[startup+0.30092 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 14130
/proc/meminfo: memFree=1815760/2059040 swapFree=4168596/4192956
[pid=14130] ppid=14128 vsize=30400 CPUtime=0.29
/proc/14130/stat : 14130 (pbscip.linux.x8) R 14128 14130 11880 0 -1 4202496 7478 0 0 0 21 8 0 0 20 0 1 0 7060693 31129600 6789 1992294400 4194304 7136930 140734292750560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14130/statm: 7600 6789 328 719 0 6879 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30400
[startup+0.700987 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 14130
/proc/meminfo: memFree=1815760/2059040 swapFree=4168596/4192956
[pid=14130] ppid=14128 vsize=32612 CPUtime=0.69
/proc/14130/stat : 14130 (pbscip.linux.x8) R 14128 14130 11880 0 -1 4202496 8881 0 0 0 48 21 0 0 21 0 1 0 7060693 33394688 7421 1992294400 4194304 7136930 140734292750560 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14130/statm: 8153 7421 381 719 0 7432 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32612
[startup+1.50112 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14131
/proc/meminfo: memFree=1786984/2059040 swapFree=4168596/4192956
[pid=14130] ppid=14128 vsize=33880 CPUtime=1.49
/proc/14130/stat : 14130 (pbscip.linux.x8) R 14128 14130 11880 0 -1 4202496 9195 0 0 0 127 22 0 0 23 0 1 0 7060693 34693120 7735 1992294400 4194304 7136930 140734292750560 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14130/statm: 8470 7735 381 719 0 7749 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33880
[startup+3.10139 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14131
/proc/meminfo: memFree=1784876/2059040 swapFree=4168596/4192956
[pid=14130] ppid=14128 vsize=37956 CPUtime=3.09
/proc/14130/stat : 14130 (pbscip.linux.x8) R 14128 14130 11880 0 -1 4202496 10193 0 0 0 285 24 0 0 25 0 1 0 7060693 38866944 8733 1992294400 4194304 7136930 140734292750560 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14130/statm: 9489 8733 381 719 0 8768 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37956
[startup+6.30092 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14131
/proc/meminfo: memFree=1775700/2059040 swapFree=4168596/4192956
[pid=14130] ppid=14128 vsize=44676 CPUtime=6.29
/proc/14130/stat : 14130 (pbscip.linux.x8) R 14128 14130 11880 0 -1 4202496 11910 0 0 0 598 31 0 0 25 0 1 0 7060693 45748224 10450 1992294400 4194304 7136930 140734292750560 18446744073709551615 5892263 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14130/statm: 11169 10450 387 719 0 10448 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 44676
[startup+12.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14131
/proc/meminfo: memFree=1765532/2059040 swapFree=4168596/4192956
[pid=14130] ppid=14128 vsize=55488 CPUtime=12.68
/proc/14130/stat : 14130 (pbscip.linux.x8) R 14128 14130 11880 0 -1 4202496 14611 0 0 0 1229 39 0 0 25 0 1 0 7060693 56819712 13151 1992294400 4194304 7136930 140734292750560 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14130/statm: 13872 13151 387 719 0 13151 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 55488
[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14131
/proc/meminfo: memFree=1744948/2059040 swapFree=4168596/4192956
[pid=14130] ppid=14128 vsize=74404 CPUtime=25.48
/proc/14130/stat : 14130 (pbscip.linux.x8) R 14128 14130 11880 0 -1 4202496 19376 0 0 0 2489 59 0 0 25 0 1 0 7060693 76189696 17916 1992294400 4194304 7136930 140734292750560 18446744073709551615 5892288 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14130/statm: 18601 17916 387 719 0 17880 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 74404
[startup+51.1004 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14131
/proc/meminfo: memFree=1700804/2059040 swapFree=4168596/4192956
[pid=14130] ppid=14128 vsize=118536 CPUtime=51.07
/proc/14130/stat : 14130 (pbscip.linux.x8) R 14128 14130 11880 0 -1 4202496 30472 0 0 0 4992 115 0 0 25 0 1 0 7060693 121380864 29012 1992294400 4194304 7136930 140734292750560 18446744073709551615 4740375 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14130/statm: 29634 29012 387 719 0 28913 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 118536
[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14133
/proc/meminfo: memFree=1589576/2059040 swapFree=4168596/4192956
[pid=14130] ppid=14128 vsize=232160 CPUtime=102.27
/proc/14130/stat : 14130 (pbscip.linux.x8) R 14128 14130 11880 0 -1 4202496 58375 0 0 0 9988 239 0 0 25 0 1 0 7060693 237731840 56915 1992294400 4194304 7136930 140734292750560 18446744073709551615 4643199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14130/statm: 58040 56915 387 719 0 57319 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 232160
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14135
/proc/meminfo: memFree=1481820/2059040 swapFree=4168596/4192956
[pid=14130] ppid=14128 vsize=340228 CPUtime=162.24
/proc/14130/stat : 14130 (pbscip.linux.x8) R 14128 14130 11880 0 -1 4202496 85139 0 0 0 15880 344 0 0 25 0 1 0 7060693 348393472 83679 1992294400 4194304 7136930 140734292750560 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14130/statm: 85057 83679 387 719 0 84336 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 340228
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14137
/proc/meminfo: memFree=1385720/2059040 swapFree=4168596/4192956
[pid=14130] ppid=14128 vsize=439176 CPUtime=222.22
/proc/14130/stat : 14130 (pbscip.linux.x8) R 14128 14130 11880 0 -1 4202496 108963 0 0 0 21786 436 0 0 25 0 1 0 7060693 449716224 107503 1992294400 4194304 7136930 140734292750560 18446744073709551615 4209104 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14130/statm: 109794 107503 387 719 0 109073 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 439176
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14137
/proc/meminfo: memFree=1306856/2059040 swapFree=4168596/4192956
[pid=14130] ppid=14128 vsize=522844 CPUtime=282.2
/proc/14130/stat : 14130 (pbscip.linux.x8) R 14128 14130 11880 0 -1 4202496 129217 0 0 0 27706 514 0 0 25 0 1 0 7060693 535392256 127729 1992294400 4194304 7136930 140734292750560 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14130/statm: 130711 127729 387 719 0 129990 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 522844
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14139
/proc/meminfo: memFree=1210012/2059040 swapFree=4168596/4192956
[pid=14130] ppid=14128 vsize=624956 CPUtime=342.18
/proc/14130/stat : 14130 (pbscip.linux.x8) R 14128 14130 11880 0 -1 4202496 153322 0 0 0 33603 615 0 0 25 0 1 0 7060693 639954944 151834 1992294400 4194304 7136930 140734292750560 18446744073709551615 4642170 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14130/statm: 156239 151834 387 719 0 155518 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 624956
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14141
/proc/meminfo: memFree=1114408/2059040 swapFree=4168596/4192956
[pid=14130] ppid=14128 vsize=721984 CPUtime=402.17
/proc/14130/stat : 14130 (pbscip.linux.x8) R 14128 14130 11880 0 -1 4202496 177218 0 0 0 39492 725 0 0 25 0 1 0 7060693 739311616 175730 1992294400 4194304 7136930 140734292750560 18446744073709551615 4221902 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14130/statm: 180496 175730 387 719 0 179775 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 721984
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14143
/proc/meminfo: memFree=1016448/2059040 swapFree=4168596/4192956
[pid=14130] ppid=14128 vsize=819792 CPUtime=462.14
/proc/14130/stat : 14130 (pbscip.linux.x8) R 14128 14130 11880 0 -1 4202496 201072 0 0 0 45384 830 0 0 25 0 1 0 7060693 839467008 199584 1992294400 4194304 7136930 140734292750560 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14130/statm: 204948 199584 387 719 0 204227 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 819792
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14145
/proc/meminfo: memFree=914892/2059040 swapFree=4168596/4192956
[pid=14130] ppid=14128 vsize=927508 CPUtime=522.13
/proc/14130/stat : 14130 (pbscip.linux.x8) R 14128 14130 11880 0 -1 4202496 227173 0 0 0 51272 941 0 0 25 0 1 0 7060693 949768192 225685 1992294400 4194304 7136930 140734292750560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14130/statm: 231877 225685 387 719 0 231156 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 927508
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14145
/proc/meminfo: memFree=813708/2059040 swapFree=4168596/4192956
[pid=14130] ppid=14128 vsize=1028768 CPUtime=582.11
/proc/14130/stat : 14130 (pbscip.linux.x8) R 14128 14130 11880 0 -1 4202496 251855 0 0 0 57163 1048 0 0 25 0 1 0 7060693 1053458432 250367 1992294400 4194304 7136930 140734292750560 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14130/statm: 257192 250367 387 719 0 256471 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 1028768
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14147
/proc/meminfo: memFree=715252/2059040 swapFree=4168596/4192956
[pid=14130] ppid=14128 vsize=1129384 CPUtime=642.09
/proc/14130/stat : 14130 (pbscip.linux.x8) R 14128 14130 11880 0 -1 4202496 276139 0 0 0 63054 1155 0 0 25 0 1 0 7060693 1156489216 274651 1992294400 4194304 7136930 140734292750560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14130/statm: 282346 274651 387 719 0 281625 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 1129384
[startup+702.3 s]
################
# More data... #
################
/proc/14130/stat : 14130 (pbscip.linux.x8) R 14128 14130 11880 0 -1 4202496 373294 0 0 0 104564 1631 0 0 25 0 1 0 7060693 1571446784 369547 1992294400 4194304 7136930 140734292750560 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14130/statm: 383654 369547 387 719 0 382933 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 1534616
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14161
/proc/meminfo: memFree=328000/2059040 swapFree=4168596/4192956
[pid=14130] ppid=14128 vsize=1540812 CPUtime=1121.94
/proc/14130/stat : 14130 (pbscip.linux.x8) R 14128 14130 11880 0 -1 4202496 374914 0 0 0 110538 1656 0 0 25 0 1 0 7060693 1577791488 371167 1992294400 4194304 7136930 140734292750560 18446744073709551615 5000156 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14130/statm: 385203 371167 387 719 0 384482 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 1540812
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14161
/proc/meminfo: memFree=322172/2059040 swapFree=4168596/4192956
[pid=14130] ppid=14128 vsize=1548036 CPUtime=1181.91
/proc/14130/stat : 14130 (pbscip.linux.x8) R 14128 14130 11880 0 -1 4202496 376390 0 0 0 116516 1675 0 0 25 0 1 0 7060693 1585188864 372643 1992294400 4194304 7136930 140734292750560 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14130/statm: 387009 372643 387 719 0 386288 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 1548036
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14163
/proc/meminfo: memFree=310888/2059040 swapFree=4168596/4192956
[pid=14130] ppid=14128 vsize=1560280 CPUtime=1241.9
/proc/14130/stat : 14130 (pbscip.linux.x8) R 14128 14130 11880 0 -1 4202496 379123 0 0 0 122487 1703 0 0 25 0 1 0 7060693 1597726720 375376 1992294400 4194304 7136930 140734292750560 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14130/statm: 390070 375376 387 719 0 389349 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 1560280
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14165
/proc/meminfo: memFree=308160/2059040 swapFree=4168596/4192956
[pid=14130] ppid=14128 vsize=1562960 CPUtime=1301.89
/proc/14130/stat : 14130 (pbscip.linux.x8) R 14128 14130 11880 0 -1 4202496 379779 0 0 0 128464 1725 0 0 25 0 1 0 7060693 1600471040 376032 1992294400 4194304 7136930 140734292750560 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14130/statm: 390740 376032 387 719 0 390019 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1562960
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14167
/proc/meminfo: memFree=307292/2059040 swapFree=4168596/4192956
[pid=14130] ppid=14128 vsize=1563480 CPUtime=1361.86
/proc/14130/stat : 14130 (pbscip.linux.x8) R 14128 14130 11880 0 -1 4202496 380012 0 0 0 134440 1746 0 0 25 0 1 0 7060693 1601003520 376265 1992294400 4194304 7136930 140734292750560 18446744073709551615 4661054 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14130/statm: 390870 376265 387 719 0 390149 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1563480
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14169
/proc/meminfo: memFree=305184/2059040 swapFree=4168596/4192956
[pid=14130] ppid=14128 vsize=1565944 CPUtime=1421.84
/proc/14130/stat : 14130 (pbscip.linux.x8) R 14128 14130 11880 0 -1 4202496 380528 0 0 0 140424 1760 0 0 25 0 1 0 7060693 1603526656 376781 1992294400 4194304 7136930 140734292750560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14130/statm: 391486 376781 387 719 0 390765 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1565944
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14172
/proc/meminfo: memFree=298860/2059040 swapFree=4168596/4192956
[pid=14130] ppid=14128 vsize=1573052 CPUtime=1481.82
/proc/14130/stat : 14130 (pbscip.linux.x8) R 14128 14130 11880 0 -1 4202496 381992 0 0 0 146393 1789 0 0 25 0 1 0 7060693 1610805248 378245 1992294400 4194304 7136930 140734292750560 18446744073709551615 6166784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14130/statm: 393263 378245 387 719 0 392542 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1573052
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14174
/proc/meminfo: memFree=294644/2059040 swapFree=4168596/4192956
[pid=14130] ppid=14128 vsize=1576624 CPUtime=1541.8
/proc/14130/stat : 14130 (pbscip.linux.x8) R 14128 14130 11880 0 -1 4202496 382991 0 0 0 152367 1813 0 0 25 0 1 0 7060693 1614462976 379244 1992294400 4194304 7136930 140734292750560 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14130/statm: 394156 379244 387 719 0 393435 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1576624
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14176
/proc/meminfo: memFree=293528/2059040 swapFree=4168596/4192956
[pid=14130] ppid=14128 vsize=1577652 CPUtime=1601.78
/proc/14130/stat : 14130 (pbscip.linux.x8) R 14128 14130 11880 0 -1 4202496 383293 0 0 0 158345 1833 0 0 25 0 1 0 7060693 1615515648 379546 1992294400 4194304 7136930 140734292750560 18446744073709551615 6166364 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14130/statm: 394413 379546 387 719 0 393692 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1577652
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14178
/proc/meminfo: memFree=292908/2059040 swapFree=4168596/4192956
[pid=14130] ppid=14128 vsize=1578080 CPUtime=1661.76
/proc/14130/stat : 14130 (pbscip.linux.x8) R 14128 14130 11880 0 -1 4202496 383439 0 0 0 164321 1855 0 0 25 0 1 0 7060693 1615953920 379692 1992294400 4194304 7136930 140734292750560 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14130/statm: 394520 379692 387 719 0 393799 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1578080
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14180
/proc/meminfo: memFree=292288/2059040 swapFree=4168596/4192956
[pid=14130] ppid=14128 vsize=1579156 CPUtime=1721.74
/proc/14130/stat : 14130 (pbscip.linux.x8) R 14128 14130 11880 0 -1 4202496 383602 0 0 0 170299 1875 0 0 25 0 1 0 7060693 1617055744 379855 1992294400 4194304 7136930 140734292750560 18446744073709551615 4643031 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14130/statm: 394789 379855 387 719 0 394068 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1579156
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14180
/proc/meminfo: memFree=291544/2059040 swapFree=4168596/4192956
[pid=14130] ppid=14128 vsize=1580064 CPUtime=1781.73
/proc/14130/stat : 14130 (pbscip.linux.x8) R 14128 14130 11880 0 -1 4202496 383782 0 0 0 176285 1888 0 0 25 0 1 0 7060693 1617985536 380035 1992294400 4194304 7136930 140734292750560 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14130/statm: 395016 380035 387 719 0 394295 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1580064
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14182
/proc/meminfo: memFree=291420/2059040 swapFree=4168596/4192956
[pid=14130] ppid=14128 vsize=1580064 CPUtime=1800.03
/proc/14130/stat : 14130 (pbscip.linux.x8) R 14128 14130 11880 0 -1 4202496 383815 0 0 0 178104 1899 0 0 25 0 1 0 7060693 1617985536 380068 1992294400 4194304 7136930 140734292750560 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14130/statm: 395016 380068 387 719 0 394295 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1580064
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -14130
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14182
/proc/meminfo: memFree=291420/2059040 swapFree=4168596/4192956
[pid=14130] ppid=14128 vsize=1580824 CPUtime=1800.82
/proc/14130/stat : 14130 (pbscip.linux.x8) R 14128 14130 11880 0 -1 4202496 383975 0 0 0 178183 1899 0 0 25 0 1 0 7060693 1618763776 380228 1992294400 4194304 7136930 140734292750560 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14130/statm: 395206 380228 393 719 0 394485 0
Current children cumulated CPU time (s) 1800.82
Current children cumulated vsize (KiB) 1580824
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14183
/proc/meminfo: memFree=290792/2059040 swapFree=4168596/4192956
[pid=14130] ppid=14128 vsize=1570884 CPUtime=1801.61
/proc/14130/stat : 14130 (pbscip.linux.x8) R 14128 14130 11880 0 -1 4202496 383975 0 0 0 178262 1899 0 0 25 0 1 0 7060693 1608585216 377743 1992294400 4194304 7136930 140734292750560 18446744073709551615 6165634 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14130/statm: 392721 377743 393 719 0 392000 0
Current children cumulated CPU time (s) 1801.61
Current children cumulated vsize (KiB) 1570884
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14183
/proc/meminfo: memFree=290792/2059040 swapFree=4168596/4192956
[pid=14130] ppid=14128 vsize=1555620 CPUtime=1802.01
/proc/14130/stat : 14130 (pbscip.linux.x8) R 14128 14130 11880 0 -1 4202496 383975 0 0 0 178302 1899 0 0 25 0 1 0 7060693 1592954880 373927 1992294400 4194304 7136930 140734292750560 18446744073709551615 6165652 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14130/statm: 388905 373927 393 719 0 388184 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 1555620
[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14183
/proc/meminfo: memFree=290792/2059040 swapFree=4168596/4192956
[pid=14130] ppid=14128 vsize=0 CPUtime=1802.12
/proc/14130/stat : 14130 (pbscip.linux.x8) R 14128 14130 11880 0 -1 4203524 383975 0 0 0 178304 1908 0 0 25 0 1 0 7060693 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/14130/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.12
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.76
CPU time (s): 1802.18
CPU user time (s): 1783.04
CPU system time (s): 19.1411
CPU usage (%): 99.9682
Max. virtual memory (cumulated for all children) (KiB): 1580824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.04
system time used= 19.1411
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 383975
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= 8512
runsolver used 3.07553 second user time and 8.42572 second system time
The end