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-2663893-1276672740.opb>
0.00/0.04 c original problem has 2928 variables (2928 bin, 0 int, 0 impl, 0 cont) and 3129 constraints
0.00/0.04 c problem read
0.00/0.04 c presolving settings loaded
0.00/0.05 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.08 o 0
0.00/0.08 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/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, 600 upgd conss, 20624 impls, 400 clqs
0.49/0.56 c (0.3s) probing: 101/2928 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.56 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.49/0.56 c presolving (2 rounds):
0.49/0.56 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.56 c 20624 implications, 400 cliques
0.49/0.56 c presolved problem has 2928 variables (2928 bin, 0 int, 0 impl, 0 cont) and 3129 constraints
0.49/0.56 c 400 constraints of type <setppc>
0.49/0.56 c 2528 constraints of type <and>
0.49/0.56 c 1 constraints of type <linear>
0.49/0.56 c 200 constraints of type <logicor>
0.49/0.56 c transformed objective value is always integral (scale: 1)
0.49/0.56 c Presolving Time: 0.30
0.49/0.56 c - non default parameters ----------------------------------------------------------------------
0.49/0.56 c # SCIP version 1.2.1.2
0.49/0.56 c
0.49/0.56 c # frequency for displaying node information lines
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.56 c display/freq = 10000
0.49/0.56 c
0.49/0.56 c # maximal time in seconds to run
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.56 c limits/time = 1799.96
0.49/0.56 c
0.49/0.56 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.56 c limits/memory = 1620
0.49/0.56 c
0.49/0.56 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.56 c lp/solvefreq = -1
0.49/0.56 c
0.49/0.56 c # should presolving try to simplify inequalities
0.49/0.56 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.56 c constraints/linear/simplifyinequalities = TRUE
0.49/0.56 c
0.49/0.56 c # should presolving try to simplify knapsacks
0.49/0.56 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.56 c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.56 c
0.49/0.56 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.56 c heuristics/undercover/freq = 0
0.49/0.56 c
0.49/0.56 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.56 c separating/rapidlearning/freq = 0
0.49/0.56 c
0.49/0.56 c -----------------------------------------------------------------------------------------------
0.49/0.56 c start solving
0.49/0.57 c
0.49/0.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.57 c t 0.3s| 1 | 2 | 0 | - |8441k| 0 | - |2928 |3129 | 0 | 0 | 0 | 0 | 0 |-2.000000e+02 | 0.000000e+00 | 100.00%
19.38/19.43 c 18.9s| 10000 | 9630 | 0 | 0.0 | 19M| 275 | - |2928 |3260 | 0 | 0 | 0 | 236 | 0 |-1.990000e+02 | 0.000000e+00 | 100.00%
28.29/28.34 o -12
28.29/28.34 c *27.6s| 14619 | 14222 | 0 | 0.0 | 23M| 275 | - |2928 |3266 | 0 | 0 | 0 | 255 | 0 |-1.990000e+02 |-1.200000e+01 | 93.97%
38.18/38.23 c 37.3s| 20000 | 19356 | 0 | 0.0 | 30M| 275 | - |2928 |3339 | 0 | 0 | 0 | 476 | 0 |-1.990000e+02 |-1.200000e+01 | 93.97%
52.79/52.82 o -21
52.79/52.82 c *51.6s| 28296 | 27265 | 0 | 0.0 | 42M| 275 | - |2928 |3405 | 0 | 0 | 0 | 822 | 0 |-1.990000e+02 |-2.100000e+01 | 89.45%
55.58/55.67 c 54.4s| 30000 | 28879 | 0 | 0.0 | 44M| 275 | - |2928 |3411 | 0 | 0 | 0 | 905 | 0 |-1.990000e+02 |-2.100000e+01 | 89.45%
56.87/56.91 o -26
56.87/56.91 c *55.6s| 30741 | 29582 | 0 | 0.0 | 45M| 275 | - |2928 |3419 | 0 | 0 | 0 | 934 | 0 |-1.990000e+02 |-2.600000e+01 | 86.93%
72.77/72.83 c 71.3s| 40000 | 38130 | 0 | 0.0 | 59M| 275 | - |2928 |3539 | 0 | 0 | 0 |1573 | 0 |-1.990000e+02 |-2.600000e+01 | 86.93%
76.57/76.69 o -29
76.57/76.69 c *75.1s| 42164 | 40069 | 0 | 0.0 | 62M| 275 | - |2928 |3562 | 0 | 0 | 0 |1786 | 0 |-1.990000e+02 |-2.900000e+01 | 85.43%
77.47/77.53 o -30
77.47/77.53 c *75.9s| 42611 | 40448 | 0 | 0.0 | 63M| 275 | - |2928 |3580 | 0 | 0 | 0 |1843 | 0 |-1.990000e+02 |-3.000000e+01 | 84.92%
91.67/91.70 c 89.8s| 50000 | 46696 | 0 | 0.0 | 77M| 275 | - |2928 |3733 | 0 | 0 | 0 |2914 | 0 |-1.990000e+02 |-3.000000e+01 | 84.92%
110.16/110.20 c 108s| 60000 | 54468 | 0 | 0.0 | 93M| 275 | - |2928 |3826 | 0 | 0 | 0 |4863 | 0 |-1.990000e+02 |-3.000000e+01 | 84.92%
129.16/129.28 c 127s| 70000 | 61506 | 0 | 0.0 | 109M| 275 | - |2928 |3921 | 0 | 0 | 0 |7354 | 0 |-1.990000e+02 |-3.000000e+01 | 84.92%
149.75/149.84 c 147s| 80000 | 67320 | 0 | 0.0 | 123M| 275 | - |2928 |4113 | 0 | 0 | 0 | 10k| 0 |-1.990000e+02 |-3.000000e+01 | 84.92%
172.15/172.25 c 169s| 90000 | 71925 | 0 | 0.0 | 135M| 275 | - |2928 |4123 | 0 | 0 | 0 | 14k| 0 |-1.990000e+02 |-3.000000e+01 | 84.92%
201.84/201.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
201.84/201.94 c 198s|100000 | 73774 | 0 | 0.0 | 141M| 275 | - |2928 |3627 | 0 | 0 | 0 | 20k| 0 |-1.990000e+02 |-3.000000e+01 | 84.92%
220.43/220.50 c 216s|110000 | 81770 | 0 | 0.0 | 153M| 275 | - |2928 |3796 | 0 | 0 | 0 | 21k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
243.73/243.89 c 239s|120000 | 86843 | 0 | 0.0 | 161M| 275 | - |2928 |3961 | 0 | 0 | 0 | 24k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
262.63/262.74 c 258s|130000 | 96150 | 0 | 0.0 | 176M| 275 | - |2928 |3703 | 0 | 0 | 0 | 25k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
281.82/281.93 c 277s|140000 |105519 | 0 | 0.0 | 192M| 275 | - |2928 |3738 | 0 | 0 | 0 | 26k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
301.02/301.15 c 296s|150000 |114760 | 0 | 0.0 | 209M| 275 | - |2928 |3852 | 0 | 0 | 0 | 27k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
320.62/320.75 c 315s|160000 |123703 | 0 | 0.0 | 228M| 275 | - |2928 |3980 | 0 | 0 | 0 | 29k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
338.91/339.02 o -32
338.91/339.02 c * 333s|169435 |132154 | 0 | 0.0 | 246M| 275 | - |2928 |3949 | 0 | 0 | 0 | 30k| 0 |-1.980000e+02 |-3.200000e+01 | 83.84%
340.21/340.32 c 334s|170000 |132647 | 0 | 0.0 | 247M| 275 | - |2928 |3950 | 0 | 0 | 0 | 30k| 0 |-1.980000e+02 |-3.200000e+01 | 83.84%
360.50/360.66 c 354s|180000 |141189 | 0 | 0.0 | 268M| 275 | - |2928 |4110 | 0 | 0 | 0 | 33k| 0 |-1.980000e+02 |-3.200000e+01 | 83.84%
380.70/380.82 c 374s|190000 |149520 | 0 | 0.0 | 288M| 275 | - |2928 |4258 | 0 | 0 | 0 | 35k| 0 |-1.980000e+02 |-3.200000e+01 | 83.84%
401.49/401.69 c 394s|200000 |157444 | 0 | 0.0 | 308M| 275 | - |2928 |4306 | 0 | 0 | 0 | 39k| 0 |-1.980000e+02 |-3.200000e+01 | 83.84%
422.78/422.93 c 415s|210000 |165058 | 0 | 0.0 | 329M| 275 | - |2928 |4498 | 0 | 0 | 0 | 43k| 0 |-1.980000e+02 |-3.200000e+01 | 83.84%
443.78/443.94 c 436s|220000 |172729 | 0 | 0.0 | 349M| 275 | - |2928 |4374 | 0 | 0 | 0 | 47k| 0 |-1.980000e+02 |-3.200000e+01 | 83.84%
464.38/464.53 c 456s|230000 |180409 | 0 | 0.0 | 369M| 275 | - |2928 |4425 | 0 | 0 | 0 | 51k| 0 |-1.980000e+02 |-3.200000e+01 | 83.84%
484.77/484.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
484.77/484.92 c 476s|240000 |188233 | 0 | 0.0 | 388M| 275 | - |2928 |4521 | 0 | 0 | 0 | 55k| 0 |-1.980000e+02 |-3.200000e+01 | 83.84%
505.47/505.61 c 496s|250000 |195859 | 0 | 0.0 | 408M| 275 | - |2928 |4527 | 0 | 0 | 0 | 59k| 0 |-1.980000e+02 |-3.200000e+01 | 83.84%
526.16/526.37 c 517s|260000 |203616 | 0 | 0.0 | 427M| 275 | - |2928 |4345 | 0 | 0 | 0 | 63k| 0 |-1.980000e+02 |-3.200000e+01 | 83.84%
547.36/547.58 c 538s|270000 |211171 | 0 | 0.0 | 446M| 275 | - |2928 |4508 | 0 | 0 | 0 | 67k| 0 |-1.980000e+02 |-3.200000e+01 | 83.84%
567.75/567.99 c 558s|280000 |219029 | 0 | 0.0 | 465M| 275 | - |2928 |4417 | 0 | 0 | 0 | 71k| 0 |-1.980000e+02 |-3.200000e+01 | 83.84%
588.15/588.33 c 578s|290000 |226627 | 0 | 0.0 | 483M| 275 | - |2928 |4615 | 0 | 0 | 0 | 75k| 0 |-1.980000e+02 |-3.200000e+01 | 83.84%
608.84/609.04 c 598s|300000 |234143 | 0 | 0.0 | 502M| 275 | - |2928 |4525 | 0 | 0 | 0 | 79k| 0 |-1.980000e+02 |-3.200000e+01 | 83.84%
628.94/629.18 c 618s|310000 |241709 | 0 | 0.0 | 520M| 275 | - |2928 |4535 | 0 | 0 | 0 | 84k| 0 |-1.980000e+02 |-3.200000e+01 | 83.84%
649.84/650.02 c 638s|320000 |249064 | 0 | 0.0 | 539M| 275 | - |2928 |4561 | 0 | 0 | 0 | 88k| 0 |-1.980000e+02 |-3.200000e+01 | 83.84%
661.83/662.00 o -33
661.83/662.00 c * 650s|325725 |253241 | 0 | 0.0 | 549M| 275 | - |2928 |4677 | 0 | 0 | 0 | 91k| 0 |-1.980000e+02 |-3.300000e+01 | 83.33%
661.83/662.02 o -34
661.83/662.02 c * 650s|325728 |253242 | 0 | 0.0 | 549M| 275 | - |2928 |4677 | 0 | 0 | 0 | 91k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
670.92/671.10 c 659s|330000 |256418 | 0 | 0.0 | 557M| 275 | - |2928 |4758 | 0 | 0 | 0 | 93k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
692.42/692.65 c 680s|340000 |263378 | 0 | 0.0 | 574M| 275 | - |2928 |4489 | 0 | 0 | 0 | 97k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
713.82/714.03 c 701s|350000 |270480 | 0 | 0.0 | 592M| 275 | - |2928 |4682 | 0 | 0 | 0 | 102k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
735.51/735.78 c 722s|360000 |277438 | 0 | 0.0 | 609M| 275 | - |2928 |4672 | 0 | 0 | 0 | 107k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
757.20/757.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
757.20/757.45 c 744s|370000 |284367 | 0 | 0.0 | 627M| 275 | - |2928 |4783 | 0 | 0 | 0 | 112k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
778.70/778.93 c 765s|380000 |291340 | 0 | 0.0 | 644M| 275 | - |2928 |4645 | 0 | 0 | 0 | 117k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
799.99/800.26 c 786s|390000 |298237 | 0 | 0.0 | 661M| 275 | - |2928 |4644 | 0 | 0 | 0 | 121k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
821.50/821.71 c 807s|400000 |305064 | 0 | 0.0 | 679M| 275 | - |2928 |4755 | 0 | 0 | 0 | 126k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
843.08/843.38 c 828s|410000 |311947 | 0 | 0.0 | 696M| 275 | - |2928 |4604 | 0 | 0 | 0 | 131k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
864.57/864.89 c 849s|420000 |318684 | 0 | 0.0 | 713M| 275 | - |2928 |4944 | 0 | 0 | 0 | 136k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
886.27/886.57 c 871s|430000 |325511 | 0 | 0.0 | 730M| 275 | - |2928 |4874 | 0 | 0 | 0 | 141k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
908.06/908.32 c 892s|440000 |332268 | 0 | 0.0 | 747M| 275 | - |2928 |4754 | 0 | 0 | 0 | 146k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
929.46/929.74 c 913s|450000 |339237 | 0 | 0.0 | 764M| 275 | - |2928 |4660 | 0 | 0 | 0 | 150k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
950.95/951.21 c 934s|460000 |345947 | 0 | 0.0 | 781M| 275 | - |2928 |4793 | 0 | 0 | 0 | 156k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
972.24/972.53 c 955s|470000 |352611 | 0 | 0.0 | 797M| 275 | - |2928 |4780 | 0 | 0 | 0 | 160k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
993.35/993.62 c 976s|480000 |359552 | 0 | 0.0 | 814M| 275 | - |2928 |4810 | 0 | 0 | 0 | 165k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
1014.64/1014.95 c 997s|490000 |366457 | 0 | 0.0 | 830M| 275 | - |2928 |4812 | 0 | 0 | 0 | 169k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
1036.43/1036.74 c 1018s|500000 |373149 | 0 | 0.0 | 847M| 275 | - |2928 |4885 | 0 | 0 | 0 | 174k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
1057.72/1058.05 c 1039s|510000 |379767 | 0 | 0.0 | 863M| 275 | - |2928 |4905 | 0 | 0 | 0 | 178k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
1078.92/1079.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1078.92/1079.26 c 1060s|520000 |386395 | 0 | 0.0 | 879M| 275 | - |2928 |5021 | 0 | 0 | 0 | 183k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
1100.12/1100.45 c 1081s|530000 |393001 | 0 | 0.0 | 894M| 275 | - |2928 |4722 | 0 | 0 | 0 | 188k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
1121.61/1122.00 c 1102s|540000 |399459 | 0 | 0.0 | 910M| 275 | - |2928 |5085 | 0 | 0 | 0 | 193k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
1143.50/1143.89 c 1124s|550000 |405715 | 0 | 0.0 | 925M| 275 | - |2928 |5041 | 0 | 0 | 0 | 198k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
1165.00/1165.31 c 1145s|560000 |412106 | 0 | 0.0 | 940M| 275 | - |2928 |4949 | 0 | 0 | 0 | 203k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
1186.50/1186.85 c 1166s|570000 |418154 | 0 | 0.0 | 955M| 275 | - |2928 |5101 | 0 | 0 | 0 | 209k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
1207.69/1208.09 c 1187s|580000 |424403 | 0 | 0.0 | 970M| 275 | - |2928 |4922 | 0 | 0 | 0 | 214k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
1228.98/1229.30 c 1207s|590000 |430839 | 0 | 0.0 | 985M| 275 | - |2928 |5106 | 0 | 0 | 0 | 220k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
1249.78/1250.13 c 1228s|600000 |437358 | 0 | 0.0 |1000M| 275 | - |2928 |4930 | 0 | 0 | 0 | 224k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
1270.98/1271.31 c 1249s|610000 |443750 | 0 | 0.0 |1015M| 275 | - |2928 |5031 | 0 | 0 | 0 | 230k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
1292.26/1292.68 c 1270s|620000 |450213 | 0 | 0.0 |1030M| 275 | - |2928 |5068 | 0 | 0 | 0 | 236k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
1313.96/1314.31 c 1291s|630000 |456334 | 0 | 0.0 |1044M| 275 | - |2928 |5082 | 0 | 0 | 0 | 241k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
1335.76/1336.16 c 1312s|640000 |462422 | 0 | 0.0 |1058M| 275 | - |2928 |5001 | 0 | 0 | 0 | 246k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
1357.55/1357.94 c 1334s|650000 |468449 | 0 | 0.0 |1073M| 275 | - |2928 |5067 | 0 | 0 | 0 | 252k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
1379.25/1379.68 c 1355s|660000 |474562 | 0 | 0.0 |1087M| 275 | - |2928 |5042 | 0 | 0 | 0 | 257k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
1400.44/1400.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1400.44/1400.88 c 1376s|670000 |480794 | 0 | 0.0 |1101M| 275 | - |2928 |5125 | 0 | 0 | 0 | 262k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
1421.73/1422.18 c 1397s|680000 |487008 | 0 | 0.0 |1115M| 275 | - |2928 |5183 | 0 | 0 | 0 | 268k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
1443.33/1443.71 c 1418s|690000 |493089 | 0 | 0.0 |1128M| 275 | - |2928 |5280 | 0 | 0 | 0 | 273k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
1464.93/1465.30 c 1439s|700000 |499108 | 0 | 0.0 |1142M| 275 | - |2928 |5216 | 0 | 0 | 0 | 279k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
1486.83/1487.27 c 1461s|710000 |504990 | 0 | 0.0 |1155M| 275 | - |2928 |5211 | 0 | 0 | 0 | 284k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
1508.91/1509.33 c 1483s|720000 |510863 | 0 | 0.0 |1168M| 275 | - |2928 |5163 | 0 | 0 | 0 | 290k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
1530.71/1531.18 c 1504s|730000 |516641 | 0 | 0.0 |1181M| 275 | - |2928 |5286 | 0 | 0 | 0 | 296k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
1552.50/1552.92 c 1525s|740000 |522410 | 0 | 0.0 |1194M| 275 | - |2928 |5249 | 0 | 0 | 0 | 302k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
1574.39/1574.89 c 1547s|750000 |528260 | 0 | 0.0 |1206M| 275 | - |2928 |5257 | 0 | 0 | 0 | 307k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
1595.89/1596.36 c 1568s|760000 |534171 | 0 | 0.0 |1219M| 275 | - |2928 |5221 | 0 | 0 | 0 | 313k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
1618.18/1618.63 c 1590s|770000 |539802 | 0 | 0.0 |1231M| 275 | - |2928 |5207 | 0 | 0 | 0 | 319k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
1640.48/1640.97 c 1612s|780000 |545522 | 0 | 0.0 |1244M| 275 | - |2928 |5279 | 0 | 0 | 0 | 324k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
1663.07/1663.56 c 1634s|790000 |551074 | 0 | 0.0 |1255M| 275 | - |2928 |5105 | 0 | 0 | 0 | 330k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
1686.27/1686.72 c 1657s|800000 |556572 | 0 | 0.0 |1267M| 275 | - |2928 |5150 | 0 | 0 | 0 | 335k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
1710.16/1710.62 c 1680s|810000 |561851 | 0 | 0.0 |1279M| 275 | - |2928 |5149 | 0 | 0 | 0 | 341k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
1734.16/1734.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1734.16/1734.69 c 1704s|820000 |566928 | 0 | 0.0 |1290M| 275 | - |2928 |5402 | 0 | 0 | 0 | 347k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
1756.55/1757.04 c 1726s|830000 |572627 | 0 | 0.0 |1301M| 275 | - |2928 |5176 | 0 | 0 | 0 | 352k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
1780.05/1780.55 c 1749s|840000 |577961 | 0 | 0.0 |1311M| 275 | - |2928 |5198 | 0 | 0 | 0 | 358k| 0 |-1.980000e+02 |-3.400000e+01 | 82.83%
1800.05/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.51 c
1800.05/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.51 c Solving Time (sec) : 1768.68
1800.05/1800.51 c Solving Nodes : 848312
1800.05/1800.51 c Primal Bound : -3.40000000000000e+01 (11 solutions)
1800.05/1800.51 c Dual Bound : -1.98000000000000e+02
1800.05/1800.51 c Gap : 82.83 %
1800.05/1800.51 s SATISFIABLE
1800.05/1800.51 v -x385 x378 x363 x375 x262 -x387 -x398 -x331 -x303 -x394 -x240 -x255 -x271 -x360 -x239 x350 -x260 -x283 -x370 -x297 x231 -x306 x334
1800.05/1800.51 v -x292 -x356 -x323 -x393 -x257 x349 -x388 -x305 -x301 -x245 -x357 -x361 -x220 -x241 -x230 -x296 -x338 x314 -x310 -x286 -x348
1800.05/1800.51 v -x312 -x246 -x329 -x307 -x339 -x326 -x311 x376 -x337 -x300 -x218 -x217 -x365 -x244 -x226 -x256 -x358 -x284 -x335 x364 -x319
1800.05/1800.51 v -x293 -x242 -x278 -x396 -x268 -x213 -x380 -x369 x346 -x281 -x395 -x327 -x373 -x330 -x308 -x333 -x397 -x270 -x263 -x325 -x313
1800.05/1800.51 v -x351 -x318 -x259 x371 -x302 -x320 -x315 -x344 -x209 -x383 -x299 x252 x225 x379 -x359 -x392 -x235 -x295 -x219 x264 -x279 -x275
1800.05/1800.51 v -x304 -x207 -x391 -x352 -x336 -x316 -x267 -x210 -x288 -x345 -x291 -x251 -x340 -x289 -x269 -x234 x381 -x342 -x298 -x282 -x317
1800.05/1800.51 v -x243 -x390 x228 -x324 -x354 x389 x386 -x372 -x353 -x223 -x216 -x294 -x208 x224 -x236 -x214 -x204 -x290 -x266 -x238 x254
1800.05/1800.51 v -x341 x362 x400 x309 x285 -x203 x265 -x237 -x328 -x347 x368 -x253 x384 x332 -x374 -x280 -x202 -x377 -x367 -x355 -x343 -x232 -x205
1800.05/1800.51 v -x206 -x215 -x287 x229 -x221 -x399 -x261 -x249 -x227 -x201 -x322 -x272 -x258 -x248 -x247 -x222 -x212 -x382 -x274 -x250 -x321
1800.05/1800.51 v -x233 -x277 x273 -x211 -x366 x276 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186
1800.05/1800.51 v -x185 -x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 x165
1800.05/1800.51 v -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 x147 -x146 -x145 -x144
1800.05/1800.51 v -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 x124 -x123
1800.05/1800.51 v -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 x105 -x104 -x103 -x102
1800.05/1800.51 v -x101 -x100 -x99 -x98 -x97 -x96 x95 -x94 x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77
1800.05/1800.51 v -x76 x75 x74 -x73 -x72 x71 -x70 x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51
1800.05/1800.51 v -x50 -x49 -x48 -x47 -x46 -x45 x44 x43 -x42 x41 x40 -x39 x38 x37 -x36 -x35 x34 -x33 x32 -x31 -x30 -x29 -x28 x27 -x26 -x25 -x24
1800.05/1800.51 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.05/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.51 c Solving Time : 1768.68
1800.05/1800.51 c Original Problem :
1800.05/1800.51 c Problem name : HOME/instance-2663893-1276672740.opb
1800.05/1800.51 c Variables : 2928 (2928 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.51 c Constraints : 3129 initial, 3129 maximal
1800.05/1800.51 c Presolved Problem :
1800.05/1800.51 c Problem name : t_HOME/instance-2663893-1276672740.opb
1800.05/1800.51 c Variables : 2928 (2928 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.51 c Constraints : 3129 initial, 5539 maximal
1800.05/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c probing : 0.07 0 0 0 0 0 0 0 0
1800.05/1800.51 c setppc : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.51 c and : 0.17 0 0 0 0 0 0 0 0
1800.05/1800.51 c linear : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.51 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c root node : - 0 - - 0 - - - -
1800.05/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.51 c setppc : 400 0 2665885 0 724200 15135 591043 0 0 0
1800.05/1800.51 c and : 2528 0 2650742 0 724200 164 22649736 0 0 0
1800.05/1800.51 c linear : 1 0 2638788 0 724200 25159 18563628 0 0 0
1800.05/1800.51 c logicor : 200+ 0 757292 0 724208 53874 1313648 0 0 0
1800.05/1800.51 c countsols : 0 0 0 0 724208 0 0 0 0 0
1800.05/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.51 c setppc : 212.80 0.00 40.17 0.00 172.63
1800.05/1800.51 c and : 232.60 0.00 158.35 0.00 74.25
1800.05/1800.51 c linear : 192.88 0.00 192.17 0.00 0.71
1800.05/1800.51 c logicor : 172.86 0.00 133.82 0.00 39.04
1800.05/1800.51 c countsols : 0.29 0.00 0.00 0.00 0.29
1800.05/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.51 c vbounds : 1.45 2 0 0
1800.05/1800.51 c rootredcost : 1.49 0 0 0
1800.05/1800.51 c pseudoobj : 362.49 2708375 42689 0
1800.05/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.51 c propagation : 460.92 137021 134168 3926929 154.8 797 199.1 -
1800.05/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.51 c applied globally : - - - 363104 141.5 - - -
1800.05/1800.51 c applied locally : - - - 0 0.0 - - -
1800.05/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.51 c redcost : 0.00 0 0 0 0 0
1800.05/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.51 c intobj : 0.00 0 0 0 0 0
1800.05/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.51 c gomory : 0.00 0 0 0 0 0
1800.05/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.51 c cmir : 0.00 0 0 0 0 0
1800.05/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.51 c clique : 0.00 0 0 0 0 0
1800.05/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.51 c mcf : 0.00 0 0 0 0 0
1800.05/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.51 c Pricers : Time Calls Vars
1800.05/1800.51 c problem variables: 0.00 0 0
1800.05/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.51 c inference : 349.75 724200 0 0 0 0 1448400
1800.05/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.51 c random : 0.00 0 0 0 0 0 0
1800.05/1800.51 c Primal Heuristics : Time Calls Found
1800.05/1800.51 c LP solutions : 0.00 - 0
1800.05/1800.51 c pseudo solutions : 0.03 - 8
1800.05/1800.51 c oneopt : 1.44 0 0
1800.05/1800.51 c trivial : 0.02 2 3
1800.05/1800.51 c simplerounding : 0.00 0 0
1800.05/1800.51 c zirounding : 0.00 0 0
1800.05/1800.51 c rounding : 0.00 0 0
1800.05/1800.51 c shifting : 0.00 0 0
1800.05/1800.51 c intshifting : 0.00 0 0
1800.05/1800.51 c twoopt : 0.00 0 0
1800.05/1800.51 c fixandinfer : 0.00 0 0
1800.05/1800.51 c feaspump : 0.00 0 0
1800.05/1800.51 c coefdiving : 0.00 0 0
1800.05/1800.51 c pscostdiving : 0.00 0 0
1800.05/1800.51 c fracdiving : 0.00 0 0
1800.05/1800.51 c veclendiving : 0.00 0 0
1800.05/1800.51 c intdiving : 0.00 0 0
1800.05/1800.51 c actconsdiving : 0.00 0 0
1800.05/1800.51 c objpscostdiving : 0.00 0 0
1800.05/1800.51 c rootsoldiving : 0.00 0 0
1800.05/1800.51 c linesearchdiving : 0.00 0 0
1800.05/1800.51 c guideddiving : 0.00 0 0
1800.05/1800.51 c octane : 0.00 0 0
1800.05/1800.51 c rens : 0.00 0 0
1800.05/1800.51 c rins : 0.00 0 0
1800.05/1800.51 c localbranching : 0.00 0 0
1800.05/1800.51 c mutation : 0.00 0 0
1800.05/1800.51 c crossover : 0.00 0 0
1800.05/1800.51 c dins : 0.00 0 0
1800.05/1800.51 c undercover : 0.00 0 0
1800.05/1800.51 c nlp : 0.36 0 0
1800.05/1800.51 c trysol : 0.44 0 0
1800.05/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.51 c (at root node) : - 0 0 0.00 -
1800.05/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.51 c B&B Tree :
1800.05/1800.51 c number of runs : 1
1800.05/1800.51 c nodes : 848312
1800.05/1800.51 c nodes (total) : 848312
1800.05/1800.51 c nodes left : 582221
1800.05/1800.51 c max depth : 275
1800.05/1800.51 c max depth (total): 275
1800.05/1800.51 c backtracks : 17732 (2.1%)
1800.05/1800.51 c delayed cutoffs : 17868
1800.05/1800.51 c repropagations : 574591 (2844576 domain reductions, 12917 cutoffs)
1800.05/1800.51 c avg switch length: 5.37
1800.05/1800.51 c switching time : 172.78
1800.05/1800.51 c Solution :
1800.05/1800.51 c Solutions found : 11 (9 improvements)
1800.05/1800.51 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.05/1800.51 c Primal Bound : -3.40000000000000e+01 (in run 1, after 325728 nodes, 649.96 seconds, depth 90, found by <relaxation>)
1800.05/1800.51 c Dual Bound : -1.98000000000000e+02
1800.05/1800.51 c Gap : 82.83 %
1800.05/1800.51 c Root Dual Bound : -2.00000000000000e+02
1800.05/1800.51 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-2663893-1276672740/watcher-2663893-1276672740 -o /tmp/evaluation-result-2663893-1276672740/solver-2663893-1276672740 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663893-1276672740.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 9412
/proc/meminfo: memFree=1751444/2059040 swapFree=4140256/4192956
[pid=9412] ppid=9410 vsize=6584 CPUtime=0
/proc/9412/stat : 9412 (pbscip.linux.x8) R 9410 9412 9209 0 -1 4202496 1017 0 0 0 0 0 0 0 18 0 1 0 40930344 6742016 940 1992294400 4194304 7136930 140736852665616 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9412/statm: 1646 950 254 719 0 925 0
[startup+0.0927669 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9412
/proc/meminfo: memFree=1751444/2059040 swapFree=4140256/4192956
[pid=9412] ppid=9410 vsize=19516 CPUtime=0.09
/proc/9412/stat : 9412 (pbscip.linux.x8) R 9410 9412 9209 0 -1 4202496 4528 0 0 0 8 1 0 0 20 0 1 0 40930344 19984384 4097 1992294400 4194304 7136930 140736852665616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9412/statm: 4879 4097 333 719 0 4158 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19516
[startup+0.100767 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9412
/proc/meminfo: memFree=1751444/2059040 swapFree=4140256/4192956
[pid=9412] ppid=9410 vsize=20964 CPUtime=0.09
/proc/9412/stat : 9412 (pbscip.linux.x8) R 9410 9412 9209 0 -1 4202496 4805 0 0 0 8 1 0 0 20 0 1 0 40930344 21467136 4374 1992294400 4194304 7136930 140736852665616 18446744073709551615 6346613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9412/statm: 5241 4383 333 719 0 4520 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20964
[startup+0.300787 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9412
/proc/meminfo: memFree=1751444/2059040 swapFree=4140256/4192956
[pid=9412] ppid=9410 vsize=21732 CPUtime=0.29
/proc/9412/stat : 9412 (pbscip.linux.x8) R 9410 9412 9209 0 -1 4202496 5499 0 0 0 18 11 0 0 20 0 1 0 40930344 22253568 4554 1992294400 4194304 7136930 140736852665616 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9412/statm: 5433 4566 356 719 0 4712 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21732
[startup+0.700825 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9412
/proc/meminfo: memFree=1751444/2059040 swapFree=4140256/4192956
[pid=9412] ppid=9410 vsize=23288 CPUtime=0.69
/proc/9412/stat : 9412 (pbscip.linux.x8) R 9410 9412 9209 0 -1 4202496 7366 0 0 0 48 21 0 0 21 0 1 0 40930344 23846912 5136 1992294400 4194304 7136930 140736852665616 18446744073709551615 4227200 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9412/statm: 5822 5136 388 719 0 5101 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23288
[startup+1.5009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9413
/proc/meminfo: memFree=1731100/2059040 swapFree=4140256/4192956
[pid=9412] ppid=9410 vsize=24904 CPUtime=1.49
/proc/9412/stat : 9412 (pbscip.linux.x8) R 9410 9412 9209 0 -1 4202496 7760 0 0 0 127 22 0 0 23 0 1 0 40930344 25501696 5530 1992294400 4194304 7136930 140736852665616 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9412/statm: 6226 5530 393 719 0 5505 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24904
[startup+3.10105 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9413
/proc/meminfo: memFree=1730108/2059040 swapFree=4140256/4192956
[pid=9412] ppid=9410 vsize=25996 CPUtime=3.09
/proc/9412/stat : 9412 (pbscip.linux.x8) R 9410 9412 9209 0 -1 4202496 8015 0 0 0 284 25 0 0 25 0 1 0 40930344 26619904 5785 1992294400 4194304 7136930 140736852665616 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9412/statm: 6499 5785 393 719 0 5778 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25996
[startup+6.30036 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9413
/proc/meminfo: memFree=1727008/2059040 swapFree=4140256/4192956
[pid=9412] ppid=9410 vsize=29164 CPUtime=6.29
/proc/9412/stat : 9412 (pbscip.linux.x8) R 9410 9412 9209 0 -1 4202496 8789 0 0 0 598 31 0 0 25 0 1 0 40930344 29863936 6559 1992294400 4194304 7136930 140736852665616 18446744073709551615 4643199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9412/statm: 7291 6559 393 719 0 6570 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29164
[startup+12.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9413
/proc/meminfo: memFree=1721428/2059040 swapFree=4140256/4192956
[pid=9412] ppid=9410 vsize=33868 CPUtime=12.69
/proc/9412/stat : 9412 (pbscip.linux.x8) R 9410 9412 9209 0 -1 4202496 9982 0 0 0 1228 41 0 0 25 0 1 0 40930344 34680832 7752 1992294400 4194304 7136930 140736852665616 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9412/statm: 8467 7752 393 719 0 7746 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33868
[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9413
/proc/meminfo: memFree=1714112/2059040 swapFree=4140256/4192956
[pid=9412] ppid=9410 vsize=42896 CPUtime=25.48
/proc/9412/stat : 9412 (pbscip.linux.x8) R 9410 9412 9209 0 -1 4202496 12249 0 0 0 2487 61 0 0 25 0 1 0 40930344 43925504 10019 1992294400 4194304 7136930 140736852665616 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9412/statm: 10724 10019 393 719 0 10003 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 42896
[startup+51.1007 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9413
/proc/meminfo: memFree=1690800/2059040 swapFree=4140256/4192956
[pid=9412] ppid=9410 vsize=64732 CPUtime=51.07
/proc/9412/stat : 9412 (pbscip.linux.x8) R 9410 9412 9209 0 -1 4202496 17656 0 0 0 5000 107 0 0 25 0 1 0 40930344 66285568 15426 1992294400 4194304 7136930 140736852665616 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9412/statm: 16183 15426 393 719 0 15462 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 64732
[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9415
/proc/meminfo: memFree=1627312/2059040 swapFree=4140256/4192956
[pid=9412] ppid=9410 vsize=128992 CPUtime=102.27
/proc/9412/stat : 9412 (pbscip.linux.x8) R 9410 9412 9209 0 -1 4202496 33409 0 0 0 10026 201 0 0 25 0 1 0 40930344 132087808 31179 1992294400 4194304 7136930 140736852665616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9412/statm: 32248 31179 393 719 0 31527 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 128992
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9417
/proc/meminfo: memFree=1570768/2059040 swapFree=4140256/4192956
[pid=9412] ppid=9410 vsize=188504 CPUtime=162.25
/proc/9412/stat : 9412 (pbscip.linux.x8) R 9410 9412 9209 0 -1 4202496 47574 0 0 0 15911 314 0 0 25 0 1 0 40930344 193028096 45344 1992294400 4194304 7136930 140736852665616 18446744073709551615 4665414 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9412/statm: 47126 45344 393 719 0 46405 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 188504
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9419
/proc/meminfo: memFree=1544108/2059040 swapFree=4140256/4192956
[pid=9412] ppid=9410 vsize=215720 CPUtime=222.24
/proc/9412/stat : 9412 (pbscip.linux.x8) R 9410 9412 9209 0 -1 4202496 54173 0 0 0 21804 420 0 0 25 0 1 0 40930344 220897280 51943 1992294400 4194304 7136930 140736852665616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9412/statm: 53930 51943 393 719 0 53209 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 215720
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9421
/proc/meminfo: memFree=1496368/2059040 swapFree=4140256/4192956
[pid=9412] ppid=9410 vsize=264400 CPUtime=282.22
/proc/9412/stat : 9412 (pbscip.linux.x8) R 9410 9412 9209 0 -1 4202496 66095 0 0 0 27699 523 0 0 25 0 1 0 40930344 270745600 63865 1992294400 4194304 7136930 140736852665616 18446744073709551615 4697479 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9412/statm: 66100 63865 393 719 0 65379 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 264400
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9421
/proc/meminfo: memFree=1432384/2059040 swapFree=4140256/4192956
[pid=9412] ppid=9410 vsize=331880 CPUtime=342.2
/proc/9412/stat : 9412 (pbscip.linux.x8) R 9410 9412 9209 0 -1 4202496 82239 0 0 0 33594 626 0 0 25 0 1 0 40930344 339845120 80009 1992294400 4194304 7136930 140736852665616 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9412/statm: 82970 80009 393 719 0 82249 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 331880
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9423
/proc/meminfo: memFree=1368152/2059040 swapFree=4140256/4192956
[pid=9412] ppid=9410 vsize=397920 CPUtime=402.19
/proc/9412/stat : 9412 (pbscip.linux.x8) R 9410 9412 9209 0 -1 4202496 98014 0 0 0 39493 726 0 0 25 0 1 0 40930344 407470080 95784 1992294400 4194304 7136930 140736852665616 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9412/statm: 99480 95784 393 719 0 98759 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 397920
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9425
/proc/meminfo: memFree=1302184/2059040 swapFree=4140256/4192956
[pid=9412] ppid=9410 vsize=466796 CPUtime=462.17
/proc/9412/stat : 9412 (pbscip.linux.x8) R 9410 9412 9209 0 -1 4202496 114446 0 0 0 45381 836 0 0 25 0 1 0 40930344 477999104 112216 1992294400 4194304 7136930 140736852665616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9412/statm: 116699 112216 393 719 0 115978 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 466796
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9427
/proc/meminfo: memFree=1243284/2059040 swapFree=4140256/4192956
[pid=9412] ppid=9410 vsize=531168 CPUtime=522.16
/proc/9412/stat : 9412 (pbscip.linux.x8) R 9410 9412 9209 0 -1 4202496 129150 0 0 0 51276 940 0 0 25 0 1 0 40930344 543916032 126920 1992294400 4194304 7136930 140736852665616 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9412/statm: 132792 126920 393 719 0 132071 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 531168
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9429
/proc/meminfo: memFree=1187980/2059040 swapFree=4140256/4192956
[pid=9412] ppid=9410 vsize=589256 CPUtime=582.14
/proc/9412/stat : 9412 (pbscip.linux.x8) R 9410 9412 9209 0 -1 4202496 143029 0 0 0 57168 1046 0 0 25 0 1 0 40930344 603398144 140799 1992294400 4194304 7136930 140736852665616 18446744073709551615 5909152 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9412/statm: 147314 140799 393 719 0 146593 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 589256
[startup+642.301 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 9429
/proc/meminfo: memFree=1131064/2059040 swapFree=4140256/4192956
[pid=9412] ppid=9410 vsize=649380 CPUtime=642.14
/proc/9412/stat : 9412 (pbscip.linux.x8) R 9410 9412 9209 0 -1 4202496 157061 0 0 0 63065 1149 0 0 25 0 1 0 40930344 664965120 154831 1992294400 4194304 7136930 140736852665616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9412/statm: 162345 154831 393 719 0 161624 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 649380
[startup+702.301 s]
################
# More data... #
################
/proc/9412/stat : 9412 (pbscip.linux.x8) R 9410 9412 9209 0 -1 4202496 232122 0 0 0 98440 1764 0 0 25 0 1 0 40930344 980758528 229892 1992294400 4194304 7136930 140736852665616 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9412/statm: 239443 229892 393 719 0 238722 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 957772
[startup+1062.3 s]
/proc/loadavg: 1.02 1.04 1.00 2/107 9441
/proc/meminfo: memFree=783616/2059040 swapFree=4140256/4192956
[pid=9412] ppid=9410 vsize=1009288 CPUtime=1062.03
/proc/9412/stat : 9412 (pbscip.linux.x8) R 9410 9412 9209 0 -1 4202496 243982 0 0 0 104339 1864 0 0 25 0 1 0 40930344 1033510912 241752 1992294400 4194304 7136930 140736852665616 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9412/statm: 252322 241752 393 719 0 251601 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 1009288
[startup+1122.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 9443
/proc/meminfo: memFree=737240/2059040 swapFree=4140256/4192956
[pid=9412] ppid=9410 vsize=1055860 CPUtime=1122.02
/proc/9412/stat : 9412 (pbscip.linux.x8) R 9410 9412 9209 0 -1 4202496 255178 0 0 0 110233 1969 0 0 25 0 1 0 40930344 1081200640 252948 1992294400 4194304 7136930 140736852665616 18446744073709551615 5918632 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9412/statm: 263965 252948 393 719 0 263244 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 1055860
[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 9448
/proc/meminfo: memFree=695576/2059040 swapFree=4140256/4192956
[pid=9412] ppid=9410 vsize=1098772 CPUtime=1182
/proc/9412/stat : 9412 (pbscip.linux.x8) R 9410 9412 9209 0 -1 4202496 265431 0 0 0 116126 2074 0 0 25 0 1 0 40930344 1125142528 263201 1992294400 4194304 7136930 140736852665616 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9412/statm: 274693 263201 393 719 0 273972 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 1098772
[startup+1242.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 9448
/proc/meminfo: memFree=643868/2059040 swapFree=4140256/4192956
[pid=9412] ppid=9410 vsize=1151324 CPUtime=1241.98
/proc/9412/stat : 9412 (pbscip.linux.x8) R 9410 9412 9209 0 -1 4202496 278339 0 0 0 122020 2178 0 0 25 0 1 0 40930344 1178955776 276109 1992294400 4194304 7136930 140736852665616 18446744073709551615 4455678 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9412/statm: 287831 276109 393 719 0 287110 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 1151324
[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 9450
/proc/meminfo: memFree=607040/2059040 swapFree=4140256/4192956
[pid=9412] ppid=9410 vsize=1189632 CPUtime=1301.97
/proc/9412/stat : 9412 (pbscip.linux.x8) R 9410 9412 9209 0 -1 4202496 287534 0 0 0 127916 2281 0 0 25 0 1 0 40930344 1218183168 285304 1992294400 4194304 7136930 140736852665616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9412/statm: 297408 285304 393 719 0 296687 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1189632
[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 9452
/proc/meminfo: memFree=569220/2059040 swapFree=4140256/4192956
[pid=9412] ppid=9410 vsize=1234572 CPUtime=1361.95
/proc/9412/stat : 9412 (pbscip.linux.x8) R 9410 9412 9209 0 -1 4202496 296962 0 0 0 133803 2392 0 0 25 0 1 0 40930344 1264201728 294732 1992294400 4194304 7136930 140736852665616 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9412/statm: 308643 294732 393 719 0 307922 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1234572
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9454
/proc/meminfo: memFree=528796/2059040 swapFree=4140256/4192956
[pid=9412] ppid=9410 vsize=1272980 CPUtime=1421.94
/proc/9412/stat : 9412 (pbscip.linux.x8) R 9410 9412 9209 0 -1 4202496 307059 0 0 0 139707 2487 0 0 25 0 1 0 40930344 1303531520 304829 1992294400 4194304 7136930 140736852665616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9412/statm: 318245 304829 393 719 0 317524 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1272980
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9456
/proc/meminfo: memFree=491596/2059040 swapFree=4140256/4192956
[pid=9412] ppid=9410 vsize=1309808 CPUtime=1481.92
/proc/9412/stat : 9412 (pbscip.linux.x8) R 9410 9412 9209 0 -1 4202496 316368 0 0 0 145599 2593 0 0 25 0 1 0 40930344 1341243392 314138 1992294400 4194304 7136930 140736852665616 18446744073709551615 4780277 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9412/statm: 327452 314138 393 719 0 326731 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1309808
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9456
/proc/meminfo: memFree=453404/2059040 swapFree=4140256/4192956
[pid=9412] ppid=9410 vsize=1348676 CPUtime=1541.91
/proc/9412/stat : 9412 (pbscip.linux.x8) R 9410 9412 9209 0 -1 4202496 325871 0 0 0 151496 2695 0 0 25 0 1 0 40930344 1381044224 323641 1992294400 4194304 7136930 140736852665616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9412/statm: 337169 323641 393 719 0 336448 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1348676
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9458
/proc/meminfo: memFree=414344/2059040 swapFree=4140256/4192956
[pid=9412] ppid=9410 vsize=1388964 CPUtime=1601.88
/proc/9412/stat : 9412 (pbscip.linux.x8) R 9410 9412 9209 0 -1 4202496 335622 0 0 0 157390 2798 0 0 25 0 1 0 40930344 1422299136 333392 1992294400 4194304 7136930 140736852665616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9412/statm: 347241 333392 393 719 0 346520 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1388964
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9460
/proc/meminfo: memFree=384584/2059040 swapFree=4140256/4192956
[pid=9412] ppid=9410 vsize=1420096 CPUtime=1661.88
/proc/9412/stat : 9412 (pbscip.linux.x8) R 9410 9412 9209 0 -1 4202496 343283 0 0 0 163288 2900 0 0 25 0 1 0 40930344 1454178304 341053 1992294400 4194304 7136930 140736852665616 18446744073709551615 5955595 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9412/statm: 355024 341053 393 719 0 354303 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1420096
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9462
/proc/meminfo: memFree=342920/2059040 swapFree=4140256/4192956
[pid=9412] ppid=9410 vsize=1463984 CPUtime=1721.86
/proc/9412/stat : 9412 (pbscip.linux.x8) R 9410 9412 9209 0 -1 4202496 353411 0 0 0 169185 3001 0 0 25 0 1 0 40930344 1499119616 351181 1992294400 4194304 7136930 140736852665616 18446744073709551615 5921487 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9412/statm: 365996 351181 393 719 0 365275 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1463984
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9464
/proc/meminfo: memFree=310804/2059040 swapFree=4140256/4192956
[pid=9412] ppid=9410 vsize=1498188 CPUtime=1781.85
/proc/9412/stat : 9412 (pbscip.linux.x8) R 9410 9412 9209 0 -1 4202496 361376 0 0 0 175083 3102 0 0 25 0 1 0 40930344 1534144512 359146 1992294400 4194304 7136930 140736852665616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9412/statm: 374547 359146 393 719 0 373826 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1498188
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9464
/proc/meminfo: memFree=300512/2059040 swapFree=4140256/4192956
[pid=9412] ppid=9410 vsize=1509272 CPUtime=1800.05
/proc/9412/stat : 9412 (pbscip.linux.x8) R 9410 9412 9209 0 -1 4202496 363913 0 0 0 176872 3133 0 0 25 0 1 0 40930344 1545494528 361683 1992294400 4194304 7136930 140736852665616 18446744073709551615 4704769 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9412/statm: 377318 361683 393 719 0 376597 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1509272
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -9412
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9465
/proc/meminfo: memFree=300504/2059040 swapFree=4140256/4192956
[pid=9412] ppid=9410 vsize=1509272 CPUtime=1800.94
/proc/9412/stat : 9412 (pbscip.linux.x8) R 9410 9412 9209 0 -1 4202496 363918 0 0 0 176961 3133 0 0 25 0 1 0 40930344 1545494528 361688 1992294400 4194304 7136930 140736852665616 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9412/statm: 377318 361688 398 719 0 376597 0
Current children cumulated CPU time (s) 1800.94
Current children cumulated vsize (KiB) 1509272
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9465
/proc/meminfo: memFree=300380/2059040 swapFree=4140256/4192956
[pid=9412] ppid=9410 vsize=1509272 CPUtime=1801.74
/proc/9412/stat : 9412 (pbscip.linux.x8) R 9410 9412 9209 0 -1 4202496 363918 0 0 0 177041 3133 0 0 25 0 1 0 40930344 1545494528 361688 1992294400 4194304 7136930 140736852665616 18446744073709551615 6166167 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9412/statm: 377318 361688 398 719 0 376597 0
Current children cumulated CPU time (s) 1801.74
Current children cumulated vsize (KiB) 1509272
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9465
/proc/meminfo: memFree=300380/2059040 swapFree=4140256/4192956
[pid=9412] ppid=9410 vsize=0 CPUtime=1802.14
/proc/9412/stat : 9412 (pbscip.linux.x8) R 9410 9412 9209 0 -1 4203524 363918 0 0 0 177072 3142 0 0 25 0 1 0 40930344 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/9412/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.14
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.65
CPU time (s): 1802.2
CPU user time (s): 1770.72
CPU system time (s): 31.4742
CPU usage (%): 99.975
Max. virtual memory (cumulated for all children) (KiB): 1509272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1770.72
system time used= 31.4742
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 363918
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= 4
involuntary context switches= 21689
runsolver used 3.06453 second user time and 8.43272 second system time
The end