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-2663879-1276670541.opb>
0.02/0.04 c original problem has 3274 variables (3274 bin, 0 int, 0 impl, 0 cont) and 3375 constraints
0.02/0.04 c problem read
0.02/0.04 c presolving settings loaded
0.02/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.02/0.08 o 0
0.02/0.08 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.02/0.08 c presolving:
0.29/0.31 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 300 upgd conss, 24792 impls, 200 clqs
0.50/0.57 c (0.3s) probing: 101/3274 (3.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.50/0.57 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.50/0.58 c presolving (2 rounds):
0.50/0.58 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.50/0.58 c 24792 implications, 200 cliques
0.50/0.58 c presolved problem has 3274 variables (3274 bin, 0 int, 0 impl, 0 cont) and 3375 constraints
0.50/0.58 c 200 constraints of type <setppc>
0.50/0.58 c 3074 constraints of type <and>
0.50/0.58 c 1 constraints of type <linear>
0.50/0.58 c 100 constraints of type <logicor>
0.50/0.58 c transformed objective value is always integral (scale: 1)
0.50/0.58 c Presolving Time: 0.32
0.50/0.58 c - non default parameters ----------------------------------------------------------------------
0.50/0.58 c # SCIP version 1.2.1.2
0.50/0.58 c
0.50/0.58 c # frequency for displaying node information lines
0.50/0.58 c # [type: int, range: [-1,2147483647], default: 100]
0.50/0.58 c display/freq = 10000
0.50/0.58 c
0.50/0.58 c # maximal time in seconds to run
0.50/0.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.50/0.58 c limits/time = 1799.96
0.50/0.58 c
0.50/0.58 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.50/0.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.50/0.58 c limits/memory = 1620
0.50/0.58 c
0.50/0.58 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.50/0.58 c # [type: int, range: [-1,2147483647], default: 1]
0.50/0.58 c lp/solvefreq = -1
0.50/0.58 c
0.50/0.58 c # should presolving try to simplify inequalities
0.50/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.50/0.58 c constraints/linear/simplifyinequalities = TRUE
0.50/0.58 c
0.50/0.58 c # should presolving try to simplify knapsacks
0.50/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.50/0.58 c constraints/knapsack/simplifyinequalities = TRUE
0.50/0.58 c
0.50/0.58 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.50/0.58 c # [type: int, range: [-1,2147483647], default: -1]
0.50/0.58 c heuristics/undercover/freq = 0
0.50/0.58 c
0.50/0.58 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.50/0.58 c # [type: int, range: [-1,2147483647], default: -1]
0.50/0.58 c separating/rapidlearning/freq = 0
0.50/0.58 c
0.50/0.58 c -----------------------------------------------------------------------------------------------
0.50/0.58 c start solving
0.50/0.58 c
0.50/0.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.50/0.59 c t 0.3s| 1 | 2 | 0 | - |9466k| 0 | - |3274 |3375 | 0 | 0 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
13.19/13.25 o -4
13.19/13.25 c *12.8s| 5537 | 4431 | 0 | 0.0 | 27M| 103 | - |3274 |3595 | 0 | 0 | 0 | 280 | 0 |-9.900000e+01 |-4.000000e+00 | 95.96%
16.98/17.07 o -5
16.98/17.07 c *16.5s| 7946 | 6271 | 0 | 0.0 | 32M| 113 | - |3274 |3791 | 0 | 0 | 0 | 536 | 0 |-9.900000e+01 |-5.000000e+00 | 94.95%
16.98/17.08 o -6
16.98/17.08 c *16.5s| 7952 | 6271 | 0 | 0.0 | 32M| 113 | - |3274 |3793 | 0 | 0 | 0 | 540 | 0 |-9.900000e+01 |-6.000000e+00 | 93.94%
17.38/17.40 o -7
17.38/17.40 c *16.8s| 8163 | 6406 | 0 | 0.0 | 32M| 113 | - |3274 |3825 | 0 | 0 | 0 | 585 | 0 |-9.900000e+01 |-7.000000e+00 | 92.93%
21.58/21.69 c 21.0s| 10000 | 8087 | 0 | 0.0 | 42M| 113 | - |3274 |3815 | 0 | 0 | 0 | 679 | 0 |-9.800000e+01 |-7.000000e+00 | 92.86%
43.77/43.80 c 42.7s| 20000 | 17480 | 0 | 0.0 | 106M| 113 | - |3274 |3752 | 0 | 0 | 0 | 976 | 0 |-9.800000e+01 |-7.000000e+00 | 92.86%
63.46/63.56 c 62.0s| 30000 | 26725 | 0 | 0.0 | 169M| 113 | - |3274 |3831 | 0 | 0 | 0 |1445 | 0 |-9.800000e+01 |-7.000000e+00 | 92.86%
81.45/81.59 c 79.7s| 40000 | 35623 | 0 | 0.0 | 224M| 113 | - |3274 |3942 | 0 | 0 | 0 |2179 | 0 |-9.800000e+01 |-7.000000e+00 | 92.86%
86.55/86.66 o -9
86.55/86.66 c *84.6s| 42806 | 37894 | 0 | 0.0 | 238M| 113 | - |3274 |4013 | 0 | 0 | 0 |2527 | 0 |-9.800000e+01 |-9.000000e+00 | 90.82%
99.04/99.12 c 96.8s| 50000 | 43541 | 0 | 0.0 | 269M| 113 | - |3274 |4223 | 0 | 0 | 0 |3593 | 0 |-9.800000e+01 |-9.000000e+00 | 90.82%
116.14/116.23 c 114s| 60000 | 50732 | 0 | 0.0 | 309M| 113 | - |3274 |4465 | 0 | 0 | 0 |5705 | 0 |-9.800000e+01 |-9.000000e+00 | 90.82%
132.23/132.30 c 129s| 70000 | 57166 | 0 | 0.0 | 341M| 113 | - |3274 |4982 | 0 | 0 | 0 |8549 | 0 |-9.800000e+01 |-9.000000e+00 | 90.82%
154.12/154.22 c 151s| 80000 | 64855 | 0 | 0.0 | 397M| 116 | - |3274 |4154 | 0 | 0 | 0 | 10k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
177.81/177.98 c 174s| 90000 | 74431 | 0 | 0.0 | 468M| 116 | - |3274 |4155 | 0 | 0 | 0 | 10k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
201.41/201.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
201.41/201.55 c 197s|100000 | 83928 | 0 | 0.0 | 541M| 116 | - |3274 |4099 | 0 | 0 | 0 | 10k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
223.80/223.91 c 219s|110000 | 93416 | 0 | 0.0 | 604M| 116 | - |3274 |4074 | 0 | 0 | 0 | 11k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
246.30/246.45 c 241s|120000 |102906 | 0 | 0.0 | 669M| 116 | - |3274 |4037 | 0 | 0 | 0 | 11k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
268.19/268.33 c 263s|130000 |112342 | 0 | 0.0 | 730M| 116 | - |3274 |4055 | 0 | 0 | 0 | 11k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
289.28/289.40 c 283s|140000 |121711 | 0 | 0.0 | 788M| 116 | - |3274 |4011 | 0 | 0 | 0 | 11k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
310.47/310.62 c 304s|150000 |130994 | 0 | 0.0 | 850M| 116 | - |3274 |3983 | 0 | 0 | 0 | 12k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
330.87/331.02 c 324s|160000 |140421 | 0 | 0.0 | 913M| 116 | - |3274 |4040 | 0 | 0 | 0 | 12k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
351.15/351.34 c 344s|170000 |149760 | 0 | 0.0 | 972M| 116 | - |3274 |4117 | 0 | 0 | 0 | 13k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
371.35/371.54 c 364s|180000 |159097 | 0 | 0.0 |1036M| 116 | - |3274 |4146 | 0 | 0 | 0 | 13k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
391.74/391.98 c 384s|190000 |168314 | 0 | 0.0 |1098M| 116 | - |3274 |4166 | 0 | 0 | 0 | 13k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
411.63/411.85 c 403s|200000 |177651 | 0 | 0.0 |1163M| 116 | - |3274 |4225 | 0 | 0 | 0 | 14k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
431.03/431.26 c 422s|210000 |186962 | 0 | 0.0 |1228M| 116 | - |3274 |4288 | 0 | 0 | 0 | 14k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
449.62/449.90 c 440s|220000 |196080 | 0 | 0.0 |1289M| 116 | - |3274 |4434 | 0 | 0 | 0 | 15k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
468.11/468.31 c 458s|230000 |205094 | 0 | 0.0 |1346M| 116 | - |3274 |4493 | 0 | 0 | 0 | 16k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
472.01/472.23 c (node 232232) switching to memory saving mode (mem: 1296.1M/1620.0M)
481.20/481.44 c 471s|240000 |207018 | 0 | 0.0 |1361M| 181 | - |3274 |6403 | 0 | 0 | 0 | 24k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
491.20/491.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
491.20/491.41 c 480s|250000 |207015 | 0 | 0.0 |1364M| 181 | - |3274 |8410 | 0 | 0 | 0 | 34k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
501.50/501.79 c 490s|260000 |207015 | 0 | 0.0 |1365M| 181 | - |3274 |9184 | 0 | 0 | 0 | 45k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
512.89/513.10 c 501s|270000 |207015 | 0 | 0.0 |1364M| 181 | - |3274 |8414 | 0 | 0 | 0 | 55k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
524.39/524.63 c 512s|280000 |206991 | 0 | 0.0 |1362M| 181 | - |3274 |6621 | 0 | 0 | 0 | 65k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
534.68/534.92 c 521s|290000 |206992 | 0 | 0.0 |1365M| 181 | - |3274 |9217 | 0 | 0 | 0 | 75k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
545.48/545.78 c 532s|300000 |206992 | 0 | 0.0 |1368M| 181 | - |3274 | 11k| 0 | 0 | 0 | 85k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
557.27/557.53 c 543s|310000 |206988 | 0 | 0.0 |1362M| 181 | - |3274 |6700 | 0 | 0 | 0 | 96k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
567.47/567.72 c 553s|320000 |206989 | 0 | 0.0 |1365M| 181 | - |3274 |8658 | 0 | 0 | 0 | 106k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
579.67/579.91 c 564s|330000 |206988 | 0 | 0.0 |1370M| 181 | - |3274 | 12k| 0 | 0 | 0 | 116k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
592.87/593.14 c 577s|340000 |206989 | 0 | 0.0 |1367M| 181 | - |3274 | 10k| 0 | 0 | 0 | 127k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
607.55/607.90 c 591s|350000 |206988 | 0 | 0.0 |1370M| 181 | - |3274 | 12k| 0 | 0 | 0 | 137k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
623.65/623.99 c 607s|360000 |206989 | 0 | 0.0 |1375M| 181 | - |3274 | 16k| 0 | 0 | 0 | 147k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
639.95/640.24 c 623s|370000 |206988 | 0 | 0.0 |1376M| 181 | - |3274 | 17k| 0 | 0 | 0 | 158k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
657.13/657.49 c 639s|380000 |206983 | 0 | 0.0 |1363M| 181 | - |3274 |6885 | 0 | 0 | 0 | 168k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
667.83/668.19 c 650s|390000 |206986 | 0 | 0.0 |1368M| 181 | - |3274 | 10k| 0 | 0 | 0 | 179k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
679.33/679.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
679.33/679.68 c 661s|400000 |206985 | 0 | 0.0 |1370M| 181 | - |3274 | 12k| 0 | 0 | 0 | 189k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
693.32/693.63 c 674s|410000 |206986 | 0 | 0.0 |1372M| 181 | - |3274 | 13k| 0 | 0 | 0 | 199k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
708.62/708.98 c 689s|420000 |206986 | 0 | 0.0 |1371M| 181 | - |3274 | 13k| 0 | 0 | 0 | 209k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
722.91/723.26 c 703s|430000 |206983 | 0 | 0.0 |1370M| 181 | - |3274 | 12k| 0 | 0 | 0 | 220k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
736.61/736.92 c 716s|440000 |206984 | 0 | 0.0 |1371M| 181 | - |3274 | 12k| 0 | 0 | 0 | 230k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
751.90/752.27 c 731s|450000 |206982 | 0 | 0.0 |1373M| 181 | - |3274 | 14k| 0 | 0 | 0 | 241k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
767.41/767.79 c 746s|460000 |206984 | 0 | 0.0 |1375M| 181 | - |3274 | 16k| 0 | 0 | 0 | 251k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
782.39/782.72 c 760s|470000 |206985 | 0 | 0.0 |1370M| 181 | - |3274 | 12k| 0 | 0 | 0 | 261k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
794.59/794.98 c 772s|480000 |206984 | 0 | 0.0 |1371M| 181 | - |3274 | 12k| 0 | 0 | 0 | 272k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
808.20/808.51 c 785s|490000 |206986 | 0 | 0.0 |1371M| 181 | - |3274 | 12k| 0 | 0 | 0 | 282k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
823.58/823.97 c 800s|500000 |206985 | 0 | 0.0 |1375M| 181 | - |3274 | 15k| 0 | 0 | 0 | 292k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
840.97/841.37 c 817s|510000 |206984 | 0 | 0.0 |1377M| 181 | - |3274 | 17k| 0 | 0 | 0 | 302k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
857.47/857.82 c 833s|520000 |206986 | 0 | 0.0 |1374M| 181 | - |3274 | 14k| 0 | 0 | 0 | 312k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
873.36/873.70 c 848s|530000 |206985 | 0 | 0.0 |1376M| 181 | - |3274 | 16k| 0 | 0 | 0 | 322k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
891.25/891.62 c 866s|540000 |206985 | 0 | 0.0 |1379M| 181 | - |3274 | 18k| 0 | 0 | 0 | 333k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
908.05/908.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
908.05/908.42 c 882s|550000 |206984 | 0 | 0.0 |1379M| 181 | - |3274 | 18k| 0 | 0 | 0 | 343k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
927.04/927.46 c 901s|560000 |206984 | 0 | 0.0 |1382M| 181 | - |3274 | 21k| 0 | 0 | 0 | 353k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
945.83/946.20 c 919s|570000 |206986 | 0 | 0.0 |1381M| 181 | - |3274 | 20k| 0 | 0 | 0 | 364k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
966.03/966.41 c 939s|580000 |206984 | 0 | 0.0 |1384M| 181 | - |3274 | 23k| 0 | 0 | 0 | 374k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
989.52/989.94 c 962s|590000 |206985 | 0 | 0.0 |1386M| 181 | - |3274 | 24k| 0 | 0 | 0 | 385k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
1012.01/1012.46 c 984s|600000 |206985 | 0 | 0.0 |1381M| 181 | - |3274 | 20k| 0 | 0 | 0 | 396k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
1031.10/1031.54 c 1003s|610000 |206985 | 0 | 0.0 |1384M| 181 | - |3274 | 23k| 0 | 0 | 0 | 406k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
1050.59/1051.02 c 1022s|620000 |206984 | 0 | 0.0 |1386M| 181 | - |3274 | 24k| 0 | 0 | 0 | 416k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
1070.59/1071.01 c 1041s|630000 |206985 | 0 | 0.0 |1374M| 181 | - |3274 | 15k| 0 | 0 | 0 | 427k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
1087.18/1087.67 c 1057s|640000 |206987 | 0 | 0.0 |1376M| 181 | - |3274 | 16k| 0 | 0 | 0 | 437k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
1108.87/1109.33 c 1078s|650000 |206986 | 0 | 0.0 |1381M| 181 | - |3274 | 20k| 0 | 0 | 0 | 447k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
1130.85/1131.32 c 1100s|660000 |206985 | 0 | 0.0 |1382M| 181 | - |3274 | 21k| 0 | 0 | 0 | 458k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
1152.64/1153.15 c 1121s|670000 |206983 | 0 | 0.0 |1376M| 181 | - |3274 | 16k| 0 | 0 | 0 | 468k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
1172.83/1173.39 c 1141s|680000 |206985 | 0 | 0.0 |1380M| 181 | - |3274 | 19k| 0 | 0 | 0 | 478k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
1196.93/1197.41 c 1165s|690000 |206985 | 0 | 0.0 |1384M| 181 | - |3274 | 22k| 0 | 0 | 0 | 489k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
1217.91/1218.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1217.91/1218.49 c 1185s|700000 |206985 | 0 | 0.0 |1381M| 181 | - |3274 | 20k| 0 | 0 | 0 | 499k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
1241.81/1242.31 c 1208s|710000 |206984 | 0 | 0.0 |1385M| 181 | - |3274 | 23k| 0 | 0 | 0 | 509k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
1265.30/1265.90 c 1232s|720000 |206986 | 0 | 0.0 |1384M| 181 | - |3274 | 23k| 0 | 0 | 0 | 520k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
1289.80/1290.32 c 1255s|730000 |206984 | 0 | 0.0 |1386M| 181 | - |3274 | 25k| 0 | 0 | 0 | 530k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
1317.29/1317.83 c 1282s|740000 |206985 | 0 | 0.0 |1387M| 181 | - |3274 | 25k| 0 | 0 | 0 | 540k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
1342.78/1343.39 c 1308s|750000 |206985 | 0 | 0.0 |1389M| 181 | - |3274 | 26k| 0 | 0 | 0 | 551k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
1370.96/1371.56 c 1335s|760000 |206985 | 0 | 0.0 |1389M| 181 | - |3274 | 27k| 0 | 0 | 0 | 561k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
1402.05/1402.62 c 1366s|770000 |206985 | 0 | 0.0 |1393M| 181 | - |3274 | 29k| 0 | 0 | 0 | 572k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
1432.64/1433.29 c 1396s|780000 |206986 | 0 | 0.0 |1390M| 181 | - |3274 | 28k| 0 | 0 | 0 | 582k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
1462.93/1463.53 c 1426s|790000 |206984 | 0 | 0.0 |1394M| 181 | - |3274 | 30k| 0 | 0 | 0 | 592k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
1495.82/1496.41 c 1458s|800000 |206986 | 0 | 0.0 |1395M| 181 | - |3274 | 31k| 0 | 0 | 0 | 603k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
1528.80/1529.44 c 1491s|810000 |206986 | 0 | 0.0 |1396M| 181 | - |3274 | 33k| 0 | 0 | 0 | 613k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
1550.60/1551.26 c 1512s|820000 |206984 | 0 | 0.0 |1381M| 181 | - |3274 | 20k| 0 | 0 | 0 | 623k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
1573.99/1574.66 c 1535s|830000 |206984 | 0 | 0.0 |1386M| 181 | - |3274 | 24k| 0 | 0 | 0 | 634k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
1597.98/1598.69 c 1559s|840000 |206984 | 0 | 0.0 |1386M| 181 | - |3274 | 24k| 0 | 0 | 0 | 644k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
1624.47/1625.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1624.47/1625.19 c 1585s|850000 |206984 | 0 | 0.0 |1389M| 181 | - |3274 | 27k| 0 | 0 | 0 | 655k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
1652.06/1652.76 c 1612s|860000 |206985 | 0 | 0.0 |1390M| 181 | - |3274 | 28k| 0 | 0 | 0 | 665k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
1678.96/1679.70 c 1638s|870000 |206985 | 0 | 0.0 |1384M| 181 | - |3274 | 23k| 0 | 0 | 0 | 675k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
1704.44/1705.11 c 1663s|880000 |206985 | 0 | 0.0 |1388M| 181 | - |3274 | 26k| 0 | 0 | 0 | 686k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
1730.83/1731.57 c 1689s|890000 |206985 | 0 | 0.0 |1391M| 181 | - |3274 | 28k| 0 | 0 | 0 | 696k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
1757.13/1757.84 c 1715s|900000 |206984 | 0 | 0.0 |1388M| 181 | - |3274 | 26k| 0 | 0 | 0 | 707k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
1785.21/1785.99 c 1742s|910000 |206985 | 0 | 0.0 |1388M| 181 | - |3274 | 26k| 0 | 0 | 0 | 717k| 0 |-9.700000e+01 |-9.000000e+00 | 90.72%
1800.02/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.71 c
1800.02/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.71 c Solving Time (sec) : 1756.89
1800.02/1800.71 c Solving Nodes : 915216
1800.02/1800.71 c Primal Bound : -9.00000000000000e+00 (8 solutions)
1800.02/1800.71 c Dual Bound : -9.70000000000000e+01
1800.02/1800.71 c Gap : 90.72 %
1800.02/1800.72 s SATISFIABLE
1800.02/1800.72 v x196 -x137 -x130 -x172 x140 x179 x127 -x159 -x181 -x123 -x121 -x133 -x175 -x112 -x188 -x113 -x147 -x119 -x156 x152 -x185 -x154
1800.02/1800.72 v -x142 -x136 -x126 -x186 -x105 -x171 -x117 -x144 -x163 -x106 -x149 -x124 -x110 -x102 -x193 -x177 -x169 -x167 -x160 -x151 -x148
1800.02/1800.72 v -x141 -x139 -x135 -x134 -x109 -x104 -x200 -x145 -x115 -x166 -x161 -x107 -x129 -x158 -x153 -x183 -x187 -x114 x164 -x197 -x101
1800.02/1800.72 v -x198 -x195 -x190 -x184 x182 -x157 -x132 x125 -x122 -x118 -x108 -x111 -x192 -x116 -x170 -x173 -x103 -x131 -x168 -x174 -x155
1800.02/1800.72 v -x138 x194 -x150 -x180 -x143 -x128 -x146 -x178 -x165 -x199 -x162 -x176 -x189 -x120 -x191 -x100 -x99 -x98 -x97 -x96 -x95 -x94
1800.02/1800.72 v -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 x69 x68
1800.02/1800.72 v -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 x44 -x43
1800.02/1800.72 v -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18
1800.02/1800.72 v -x17 -x16 -x15 -x14 x13 -x12 -x11 -x10 x9 -x8 -x7 x6 x5 -x4 -x3 x2 -x1
1800.02/1800.72 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.72 c Solving Time : 1756.89
1800.02/1800.72 c Original Problem :
1800.02/1800.72 c Problem name : HOME/instance-2663879-1276670541.opb
1800.02/1800.72 c Variables : 3274 (3274 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.72 c Constraints : 3375 initial, 3375 maximal
1800.02/1800.72 c Presolved Problem :
1800.02/1800.72 c Problem name : t_HOME/instance-2663879-1276670541.opb
1800.02/1800.72 c Variables : 3274 (3274 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.72 c Constraints : 3375 initial, 33990 maximal
1800.02/1800.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.72 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.72 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.72 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.72 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.72 c probing : 0.08 0 0 0 0 0 0 0 0
1800.02/1800.72 c setppc : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.72 c and : 0.19 0 0 0 0 0 0 0 0
1800.02/1800.72 c linear : 0.02 0 0 0 0 0 0 0 0
1800.02/1800.72 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.72 c root node : - 0 - - 0 - - - -
1800.02/1800.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.72 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.72 c setppc : 200 0 4148386 0 580637 7114 1419759 0 0 0
1800.02/1800.72 c and : 3074 0 4206587 0 587850 232 23147705 0 0 0
1800.02/1800.72 c linear : 1 0 4206620 0 587972 61935 3758016 0 0 0
1800.02/1800.72 c logicor : 100+ 0 645522 0 587861 8797 518846 0 0 0
1800.02/1800.72 c countsols : 0 0 0 0 587977 0 0 0 0 0
1800.02/1800.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.72 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.72 c setppc : 83.23 0.00 9.52 0.00 73.71
1800.02/1800.72 c and : 115.22 0.00 108.71 0.00 6.51
1800.02/1800.72 c linear : 131.93 0.00 131.13 0.00 0.80
1800.02/1800.72 c logicor : 431.29 0.00 422.00 0.00 9.29
1800.02/1800.72 c countsols : 0.21 0.00 0.00 0.00 0.21
1800.02/1800.72 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.72 c vbounds : 2.39 2 0 0
1800.02/1800.72 c rootredcost : 2.06 0 0 0
1800.02/1800.72 c pseudoobj : 363.06 4515066 300368 281687
1800.02/1800.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.72 c propagation : 370.40 378446 378236 4310155 141.0 64 98.5 -
1800.02/1800.72 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.72 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.72 c applied globally : - - - 723164 139.0 - - -
1800.02/1800.72 c applied locally : - - - 0 0.0 - - -
1800.02/1800.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.72 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.72 c redcost : 0.00 0 0 0 0 0
1800.02/1800.72 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.72 c intobj : 0.00 0 0 0 0 0
1800.02/1800.72 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.72 c gomory : 0.00 0 0 0 0 0
1800.02/1800.72 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.72 c cmir : 0.00 0 0 0 0 0
1800.02/1800.72 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.72 c clique : 0.00 0 0 0 0 0
1800.02/1800.72 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.72 c mcf : 0.00 0 0 0 0 0
1800.02/1800.72 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.72 c Pricers : Time Calls Vars
1800.02/1800.72 c problem variables: 0.00 0 0
1800.02/1800.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.72 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.72 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.72 c inference : 137.29 587972 0 0 0 0 1175944
1800.02/1800.72 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.72 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.72 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.72 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.72 c random : 0.00 0 0 0 0 0 0
1800.02/1800.72 c Primal Heuristics : Time Calls Found
1800.02/1800.72 c LP solutions : 0.00 - 0
1800.02/1800.72 c pseudo solutions : 0.00 - 5
1800.02/1800.72 c oneopt : 1.13 0 0
1800.02/1800.72 c trivial : 0.02 2 3
1800.02/1800.72 c simplerounding : 0.00 0 0
1800.02/1800.72 c zirounding : 0.00 0 0
1800.02/1800.72 c rounding : 0.00 0 0
1800.02/1800.72 c shifting : 0.00 0 0
1800.02/1800.72 c intshifting : 0.00 0 0
1800.02/1800.72 c twoopt : 0.00 0 0
1800.02/1800.72 c fixandinfer : 0.00 0 0
1800.02/1800.72 c feaspump : 0.00 0 0
1800.02/1800.72 c coefdiving : 0.00 0 0
1800.02/1800.72 c pscostdiving : 0.00 0 0
1800.02/1800.72 c fracdiving : 0.00 0 0
1800.02/1800.72 c veclendiving : 0.00 0 0
1800.02/1800.72 c intdiving : 0.00 0 0
1800.02/1800.72 c actconsdiving : 0.00 0 0
1800.02/1800.72 c objpscostdiving : 0.00 0 0
1800.02/1800.72 c rootsoldiving : 0.00 0 0
1800.02/1800.72 c linesearchdiving : 0.00 0 0
1800.02/1800.72 c guideddiving : 0.00 0 0
1800.02/1800.72 c octane : 0.00 0 0
1800.02/1800.72 c rens : 0.00 0 0
1800.02/1800.72 c rins : 0.00 0 0
1800.02/1800.72 c localbranching : 0.00 0 0
1800.02/1800.72 c mutation : 0.00 0 0
1800.02/1800.72 c crossover : 0.00 0 0
1800.02/1800.72 c dins : 0.00 0 0
1800.02/1800.72 c undercover : 0.00 0 0
1800.02/1800.72 c nlp : 0.53 0 0
1800.02/1800.72 c trysol : 0.50 0 0
1800.02/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.72 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.72 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.72 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.72 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.72 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.72 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.72 c (at root node) : - 0 0 0.00 -
1800.02/1800.72 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.72 c B&B Tree :
1800.02/1800.72 c number of runs : 1
1800.02/1800.72 c nodes : 915216
1800.02/1800.72 c nodes (total) : 915216
1800.02/1800.72 c nodes left : 206987
1800.02/1800.72 c max depth : 181
1800.02/1800.72 c max depth (total): 181
1800.02/1800.72 c backtracks : 59406 (6.5%)
1800.02/1800.72 c delayed cutoffs : 53742
1800.02/1800.72 c repropagations : 2261665 (1574707 domain reductions, 51207 cutoffs)
1800.02/1800.72 c avg switch length: 6.77
1800.02/1800.72 c switching time : 315.79
1800.02/1800.72 c Solution :
1800.02/1800.72 c Solutions found : 8 (6 improvements)
1800.02/1800.72 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.02/1800.72 c Primal Bound : -9.00000000000000e+00 (in run 1, after 42806 nodes, 84.63 seconds, depth 55, found by <relaxation>)
1800.02/1800.72 c Dual Bound : -9.70000000000000e+01
1800.02/1800.72 c Gap : 90.72 %
1800.02/1800.72 c Root Dual Bound : -1.00000000000000e+02
1800.02/1800.72 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-2663879-1276670541/watcher-2663879-1276670541 -o /tmp/evaluation-result-2663879-1276670541/solver-2663879-1276670541 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663879-1276670541.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: 0.92 0.98 0.99 3/106 8803
/proc/meminfo: memFree=1677248/2059040 swapFree=4140236/4192956
[pid=8803] ppid=8801 vsize=6584 CPUtime=0
/proc/8803/stat : 8803 (pbscip.linux.x8) R 8801 8803 8535 0 -1 4202496 1105 0 0 0 0 0 0 0 25 0 1 0 40705969 6742016 1028 1992294400 4194304 7136930 140735078227520 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8803/statm: 1646 1037 254 719 0 925 0
[startup+0.0311921 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 8803
/proc/meminfo: memFree=1677248/2059040 swapFree=4140236/4192956
[pid=8803] ppid=8801 vsize=11496 CPUtime=0.02
/proc/8803/stat : 8803 (pbscip.linux.x8) R 8801 8803 8535 0 -1 4202496 2354 0 0 0 1 1 0 0 25 0 1 0 40705969 11771904 2277 1992294400 4194304 7136930 140735078227520 18446744073709551615 4240595 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8803/statm: 2874 2277 272 719 0 2153 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11496
[startup+0.101203 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 8803
/proc/meminfo: memFree=1677248/2059040 swapFree=4140236/4192956
[pid=8803] ppid=8801 vsize=19844 CPUtime=0.09
/proc/8803/stat : 8803 (pbscip.linux.x8) R 8801 8803 8535 0 -1 4202496 4618 0 0 0 8 1 0 0 25 0 1 0 40705969 20320256 4187 1992294400 4194304 7136930 140735078227520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8803/statm: 4961 4187 333 719 0 4240 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19844
[startup+0.301239 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 8803
/proc/meminfo: memFree=1677248/2059040 swapFree=4140236/4192956
[pid=8803] ppid=8801 vsize=21832 CPUtime=0.29
/proc/8803/stat : 8803 (pbscip.linux.x8) R 8801 8803 8535 0 -1 4202496 5637 0 0 0 19 10 0 0 25 0 1 0 40705969 22355968 4692 1992294400 4194304 7136930 140735078227520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8803/statm: 5458 4693 356 719 0 4737 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21832
[startup+0.701312 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 8803
/proc/meminfo: memFree=1677248/2059040 swapFree=4140236/4192956
[pid=8803] ppid=8801 vsize=25328 CPUtime=0.69
/proc/8803/stat : 8803 (pbscip.linux.x8) R 8801 8803 8535 0 -1 4202496 7853 0 0 0 49 20 0 0 25 0 1 0 40705969 25935872 5623 1992294400 4194304 7136930 140735078227520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8803/statm: 6332 5623 388 719 0 5611 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25328
[startup+1.50146 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 8804
/proc/meminfo: memFree=1654052/2059040 swapFree=4140236/4192956
[pid=8803] ppid=8801 vsize=27948 CPUtime=1.5
/proc/8803/stat : 8803 (pbscip.linux.x8) R 8801 8803 8535 0 -1 4202496 8493 0 0 0 128 22 0 0 25 0 1 0 40705969 28618752 6263 1992294400 4194304 7136930 140735078227520 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8803/statm: 6987 6263 393 719 0 6266 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 27948
[startup+3.10075 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 8804
/proc/meminfo: memFree=1652316/2059040 swapFree=4140236/4192956
[pid=8803] ppid=8801 vsize=30032 CPUtime=3.09
/proc/8803/stat : 8803 (pbscip.linux.x8) R 8801 8803 8535 0 -1 4202496 9017 0 0 0 285 24 0 0 25 0 1 0 40705969 30752768 6787 1992294400 4194304 7136930 140735078227520 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8803/statm: 7508 6787 393 719 0 6787 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30032
[startup+6.30133 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 8804
/proc/meminfo: memFree=1647480/2059040 swapFree=4140236/4192956
[pid=8803] ppid=8801 vsize=35092 CPUtime=6.29
/proc/8803/stat : 8803 (pbscip.linux.x8) R 8801 8803 8535 0 -1 4202496 10240 0 0 0 601 28 0 0 25 0 1 0 40705969 35934208 8010 1992294400 4194304 7136930 140735078227520 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8803/statm: 8773 8010 393 719 0 8052 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35092
[startup+12.7005 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 8806
/proc/meminfo: memFree=1632724/2059040 swapFree=4140236/4192956
[pid=8803] ppid=8801 vsize=49872 CPUtime=12.68
/proc/8803/stat : 8803 (pbscip.linux.x8) R 8801 8803 8535 0 -1 4202496 13845 0 0 0 1225 43 0 0 25 0 1 0 40705969 51068928 11615 1992294400 4194304 7136930 140735078227520 18446744073709551615 6166192 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8803/statm: 12468 11615 393 719 0 11747 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49872
[startup+25.5008 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 8806
/proc/meminfo: memFree=1602592/2059040 swapFree=4140236/4192956
[pid=8803] ppid=8801 vsize=82120 CPUtime=25.48
/proc/8803/stat : 8803 (pbscip.linux.x8) R 8801 8803 8535 0 -1 4202496 21227 0 0 0 2478 70 0 0 25 0 1 0 40705969 84090880 18997 1992294400 4194304 7136930 140735078227520 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8803/statm: 20530 18997 393 719 0 19809 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 82120
[startup+51.1015 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 8806
/proc/meminfo: memFree=1524224/2059040 swapFree=4140236/4192956
[pid=8803] ppid=8801 vsize=177824 CPUtime=51.07
/proc/8803/stat : 8803 (pbscip.linux.x8) R 8801 8803 8535 0 -1 4202496 41693 0 0 0 4986 121 0 0 25 0 1 0 40705969 182091776 39463 1992294400 4194304 7136930 140735078227520 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8803/statm: 44456 39463 393 719 0 43735 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 177824
[startup+102.31 s]
/proc/loadavg: 1.04 1.00 1.00 2/107 8808
/proc/meminfo: memFree=1361164/2059040 swapFree=4140236/4192956
[pid=8803] ppid=8801 vsize=371568 CPUtime=102.25
/proc/8803/stat : 8803 (pbscip.linux.x8) R 8801 8803 8535 0 -1 4202496 81576 0 0 0 9994 231 0 0 25 0 1 0 40705969 380485632 79346 1992294400 4194304 7136930 140735078227520 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8803/statm: 92892 79346 393 719 0 92171 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 371568
[startup+162.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 8810
/proc/meminfo: memFree=1210628/2059040 swapFree=4140236/4192956
[pid=8803] ppid=8801 vsize=555040 CPUtime=162.22
/proc/8803/stat : 8803 (pbscip.linux.x8) R 8801 8803 8535 0 -1 4202496 119443 0 0 0 15867 355 0 0 25 0 1 0 40705969 568360960 117213 1992294400 4194304 7136930 140735078227520 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8803/statm: 138760 117213 393 719 0 138039 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 555040
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8810
/proc/meminfo: memFree=1026240/2059040 swapFree=4140236/4192956
[pid=8803] ppid=8801 vsize=780224 CPUtime=222.2
/proc/8803/stat : 8803 (pbscip.linux.x8) R 8801 8803 8535 0 -1 4202496 165093 0 0 0 21751 469 0 0 25 0 1 0 40705969 798949376 162863 1992294400 4194304 7136930 140735078227520 18446744073709551615 5892378 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8803/statm: 195056 162863 393 719 0 194335 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 780224
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8812
/proc/meminfo: memFree=856484/2059040 swapFree=4140236/4192956
[pid=8803] ppid=8801 vsize=995756 CPUtime=282.17
/proc/8803/stat : 8803 (pbscip.linux.x8) R 8801 8803 8535 0 -1 4202496 207640 0 0 0 27630 587 0 0 25 0 1 0 40705969 1019654144 205410 1992294400 4194304 7136930 140735078227520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8803/statm: 248939 205410 393 719 0 248218 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 995756
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8814
/proc/meminfo: memFree=672592/2059040 swapFree=4140236/4192956
[pid=8803] ppid=8801 vsize=1219140 CPUtime=342.16
/proc/8803/stat : 8803 (pbscip.linux.x8) R 8801 8803 8535 0 -1 4202496 253122 0 0 0 33500 716 0 0 25 0 1 0 40705969 1248399360 250892 1992294400 4194304 7136930 140735078227520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8803/statm: 304785 250892 393 719 0 304064 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 1219140
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8816
/proc/meminfo: memFree=478656/2059040 swapFree=4140236/4192956
[pid=8803] ppid=8801 vsize=1462120 CPUtime=402.13
/proc/8803/stat : 8803 (pbscip.linux.x8) R 8801 8803 8535 0 -1 4202496 301805 0 0 0 39375 838 0 0 25 0 1 0 40705969 1497210880 299575 1992294400 4194304 7136930 140735078227520 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8803/statm: 365530 299575 393 719 0 364809 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 1462120
[startup+462.301 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 8818
/proc/meminfo: memFree=281000/2059040 swapFree=4140236/4192956
[pid=8803] ppid=8801 vsize=1684944 CPUtime=462.11
/proc/8803/stat : 8803 (pbscip.linux.x8) R 8801 8803 8535 0 -1 4202496 350775 0 0 0 45244 967 0 0 25 0 1 0 40705969 1725382656 348545 1992294400 4194304 7136930 140735078227520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8803/statm: 421236 348545 393 719 0 420515 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 1684944
[startup+522.301 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 8818
/proc/meminfo: memFree=228052/2059040 swapFree=4140236/4192956
[pid=8803] ppid=8801 vsize=1737424 CPUtime=522.09
/proc/8803/stat : 8803 (pbscip.linux.x8) R 8801 8803 8535 0 -1 4202496 364585 0 0 0 50946 1263 0 0 25 0 1 0 40705969 1779122176 361544 1992294400 4194304 7136930 140735078227520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8803/statm: 434356 361544 393 719 0 433635 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 1737424
[startup+582.301 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 8820
/proc/meminfo: memFree=218504/2059040 swapFree=4140236/4192956
[pid=8803] ppid=8801 vsize=1747516 CPUtime=582.07
/proc/8803/stat : 8803 (pbscip.linux.x8) R 8801 8803 8535 0 -1 4202496 366933 0 0 0 56662 1545 0 0 25 0 1 0 40705969 1789456384 363892 1992294400 4194304 7136930 140735078227520 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8803/statm: 436879 363892 393 719 0 436158 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 1747516
[startup+642.3 s]
/proc/loadavg: 1.08 1.04 1.00 2/107 8822
/proc/meminfo: memFree=211808/2059040 swapFree=4140236/4192956
[pid=8803] ppid=8801 vsize=1754040 CPUtime=642.05
/proc/8803/stat : 8803 (pbscip.linux.x8) R 8801 8803 8535 0 -1 4202496 368594 0 0 0 62459 1746 0 0 25 0 1 0 40705969 1796136960 365553 1992294400 4194304 7136930 140735078227520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8803/statm: 438510 365553 393 719 0 437789 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 1754040
[startup+702.301 s]
################
# More data... #
################
/proc/8803/stat : 8803 (pbscip.linux.x8) R 8801 8803 8535 0 -1 4202496 374999 0 0 0 103280 2909 0 0 25 0 1 0 40705969 1822138368 371958 1992294400 4194304 7136930 140735078227520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8803/statm: 444858 371958 393 719 0 444137 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 1779432
[startup+1122.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 8843
/proc/meminfo: memFree=183040/2059040 swapFree=4140236/4192956
[pid=8803] ppid=8801 vsize=1780656 CPUtime=1121.85
/proc/8803/stat : 8803 (pbscip.linux.x8) R 8801 8803 8535 0 -1 4202496 375347 0 0 0 109118 3067 0 0 25 0 1 0 40705969 1823391744 372306 1992294400 4194304 7136930 140735078227520 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8803/statm: 445164 372306 393 719 0 444443 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 1780656
[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 8845
/proc/meminfo: memFree=183040/2059040 swapFree=4140236/4192956
[pid=8803] ppid=8801 vsize=1781668 CPUtime=1181.83
/proc/8803/stat : 8803 (pbscip.linux.x8) R 8801 8803 8535 0 -1 4202496 375430 0 0 0 114978 3205 0 0 25 0 1 0 40705969 1824428032 372389 1992294400 4194304 7136930 140735078227520 18446744073709551615 5955584 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8803/statm: 445417 372389 393 719 0 444696 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 1781668
[startup+1242.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 8847
/proc/meminfo: memFree=183040/2059040 swapFree=4140236/4192956
[pid=8803] ppid=8801 vsize=1781668 CPUtime=1241.81
/proc/8803/stat : 8803 (pbscip.linux.x8) R 8801 8803 8535 0 -1 4202496 375431 0 0 0 120844 3337 0 0 25 0 1 0 40705969 1824428032 372390 1992294400 4194304 7136930 140735078227520 18446744073709551615 4976417 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8803/statm: 445417 372390 393 719 0 444696 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 1781668
[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 8849
/proc/meminfo: memFree=182792/2059040 swapFree=4140236/4192956
[pid=8803] ppid=8801 vsize=1782384 CPUtime=1301.79
/proc/8803/stat : 8803 (pbscip.linux.x8) R 8801 8803 8535 0 -1 4202496 375575 0 0 0 126729 3450 0 0 25 0 1 0 40705969 1825161216 372534 1992294400 4194304 7136930 140735078227520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8803/statm: 445596 372534 393 719 0 444875 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 1782384
[startup+1362.3 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 8851
/proc/meminfo: memFree=181676/2059040 swapFree=4140236/4192956
[pid=8803] ppid=8801 vsize=1783408 CPUtime=1361.76
/proc/8803/stat : 8803 (pbscip.linux.x8) R 8801 8803 8535 0 -1 4202496 375846 0 0 0 132617 3559 0 0 25 0 1 0 40705969 1826209792 372805 1992294400 4194304 7136930 140735078227520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8803/statm: 445852 372805 393 719 0 445131 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 1783408
[startup+1422.31 s]
/proc/loadavg: 1.03 1.02 1.00 2/107 8851
/proc/meminfo: memFree=179444/2059040 swapFree=4140236/4192956
[pid=8803] ppid=8801 vsize=1785496 CPUtime=1421.75
/proc/8803/stat : 8803 (pbscip.linux.x8) R 8801 8803 8535 0 -1 4202496 376391 0 0 0 138519 3656 0 0 25 0 1 0 40705969 1828347904 373350 1992294400 4194304 7136930 140735078227520 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8803/statm: 446374 373350 393 719 0 445653 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 1785496
[startup+1482.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 8853
/proc/meminfo: memFree=179444/2059040 swapFree=4140236/4192956
[pid=8803] ppid=8801 vsize=1785544 CPUtime=1481.73
/proc/8803/stat : 8803 (pbscip.linux.x8) R 8801 8803 8535 0 -1 4202496 376393 0 0 0 144422 3751 0 0 25 0 1 0 40705969 1828397056 373352 1992294400 4194304 7136930 140735078227520 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8803/statm: 446386 373352 393 719 0 445665 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 1785544
[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 8855
/proc/meminfo: memFree=175972/2059040 swapFree=4140236/4192956
[pid=8803] ppid=8801 vsize=1789532 CPUtime=1541.7
/proc/8803/stat : 8803 (pbscip.linux.x8) R 8801 8803 8535 0 -1 4202496 377231 0 0 0 150325 3845 0 0 25 0 1 0 40705969 1832480768 374190 1992294400 4194304 7136930 140735078227520 18446744073709551615 5909152 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8803/statm: 447383 374190 393 719 0 446662 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 1789532
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8857
/proc/meminfo: memFree=175848/2059040 swapFree=4140236/4192956
[pid=8803] ppid=8801 vsize=1789532 CPUtime=1601.67
/proc/8803/stat : 8803 (pbscip.linux.x8) R 8801 8803 8535 0 -1 4202496 377252 0 0 0 156207 3960 0 0 25 0 1 0 40705969 1832480768 374211 1992294400 4194304 7136930 140735078227520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8803/statm: 447383 374211 393 719 0 446662 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 1789532
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8859
/proc/meminfo: memFree=175848/2059040 swapFree=4140236/4192956
[pid=8803] ppid=8801 vsize=1789532 CPUtime=1661.66
/proc/8803/stat : 8803 (pbscip.linux.x8) R 8801 8803 8535 0 -1 4202496 377254 0 0 0 162103 4063 0 0 25 0 1 0 40705969 1832480768 374213 1992294400 4194304 7136930 140735078227520 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8803/statm: 447383 374213 393 719 0 446662 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 1789532
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8859
/proc/meminfo: memFree=175848/2059040 swapFree=4140236/4192956
[pid=8803] ppid=8801 vsize=1789532 CPUtime=1721.63
/proc/8803/stat : 8803 (pbscip.linux.x8) R 8801 8803 8535 0 -1 4202496 377274 0 0 0 167987 4176 0 0 25 0 1 0 40705969 1832480768 374233 1992294400 4194304 7136930 140735078227520 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8803/statm: 447383 374233 393 719 0 446662 0
Current children cumulated CPU time (s) 1721.63
Current children cumulated vsize (KiB) 1789532
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8861
/proc/meminfo: memFree=175352/2059040 swapFree=4140236/4192956
[pid=8803] ppid=8801 vsize=1789768 CPUtime=1781.62
/proc/8803/stat : 8803 (pbscip.linux.x8) R 8801 8803 8535 0 -1 4202496 377332 0 0 0 173882 4280 0 0 25 0 1 0 40705969 1832722432 374291 1992294400 4194304 7136930 140735078227520 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8803/statm: 447442 374291 393 719 0 446721 0
Current children cumulated CPU time (s) 1781.62
Current children cumulated vsize (KiB) 1789768
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8861
/proc/meminfo: memFree=175228/2059040 swapFree=4140236/4192956
[pid=8803] ppid=8801 vsize=1789768 CPUtime=1800.02
/proc/8803/stat : 8803 (pbscip.linux.x8) R 8801 8803 8535 0 -1 4202496 377332 0 0 0 175692 4310 0 0 25 0 1 0 40705969 1832722432 374291 1992294400 4194304 7136930 140735078227520 18446744073709551615 4999842 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8803/statm: 447442 374291 393 719 0 446721 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1789768
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -8803
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 8861
/proc/meminfo: memFree=175228/2059040 swapFree=4140236/4192956
[pid=8803] ppid=8801 vsize=1788748 CPUtime=1800.7
/proc/8803/stat : 8803 (pbscip.linux.x8) R 8801 8803 8535 0 -1 4202496 377337 0 0 0 175760 4310 0 0 25 0 1 0 40705969 1831677952 374041 1992294400 4194304 7136930 140735078227520 18446744073709551615 4212599 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8803/statm: 447187 374041 398 719 0 446466 0
Current children cumulated CPU time (s) 1800.7
Current children cumulated vsize (KiB) 1788748
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 8862
/proc/meminfo: memFree=182784/2059040 swapFree=4140236/4192956
[pid=8803] ppid=8801 vsize=1739988 CPUtime=1801.51
/proc/8803/stat : 8803 (pbscip.linux.x8) R 8801 8803 8535 0 -1 4202496 377337 0 0 0 175840 4311 0 0 25 0 1 0 40705969 1781747712 361854 1992294400 4194304 7136930 140735078227520 18446744073709551615 4670087 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8803/statm: 434997 361854 398 719 0 434276 0
Current children cumulated CPU time (s) 1801.51
Current children cumulated vsize (KiB) 1739988
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 8862
/proc/meminfo: memFree=182784/2059040 swapFree=4140236/4192956
[pid=8803] ppid=8801 vsize=1294348 CPUtime=1801.9
/proc/8803/stat : 8803 (pbscip.linux.x8) R 8801 8803 8535 0 -1 4202496 377337 0 0 0 175875 4315 0 0 25 0 1 0 40705969 1325412352 265312 1992294400 4194304 7136930 140735078227520 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8803/statm: 323587 265312 398 719 0 322866 0
Current children cumulated CPU time (s) 1801.9
Current children cumulated vsize (KiB) 1294348
[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 8862
/proc/meminfo: memFree=182784/2059040 swapFree=4140236/4192956
[pid=8803] ppid=8801 vsize=382544 CPUtime=1802.01
/proc/8803/stat : 8803 (pbscip.linux.x8) R 8801 8803 8535 0 -1 4202496 377337 0 0 0 175876 4325 0 0 25 0 1 0 40705969 391725056 87864 1992294400 4194304 7136930 140735078227520 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8803/statm: 95380 87815 398 719 0 94659 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 382544
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.75
CPU time (s): 1802.06
CPU user time (s): 1758.77
CPU system time (s): 43.2934
CPU usage (%): 99.962
Max. virtual memory (cumulated for all children) (KiB): 1789768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1758.77
system time used= 43.2934
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 377337
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= 20852
runsolver used 3.87041 second user time and 9.1896 second system time
The end