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-2663859-1276667111.opb>
0.00/0.02 c original problem has 1564 variables (1564 bin, 0 int, 0 impl, 0 cont) and 1615 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 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.04 o 0
0.00/0.04 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.04 c presolving:
0.19/0.23 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 150 upgd conss, 11812 impls, 100 clqs
0.39/0.45 c (0.2s) probing: 101/1564 (6.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.45 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.39/0.45 c presolving (2 rounds):
0.39/0.45 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.45 c 11812 implications, 100 cliques
0.39/0.45 c presolved problem has 1564 variables (1564 bin, 0 int, 0 impl, 0 cont) and 1615 constraints
0.39/0.45 c 100 constraints of type <setppc>
0.39/0.45 c 1464 constraints of type <and>
0.39/0.45 c 1 constraints of type <linear>
0.39/0.45 c 50 constraints of type <logicor>
0.39/0.45 c transformed objective value is always integral (scale: 1)
0.39/0.45 c Presolving Time: 0.24
0.39/0.45 c - non default parameters ----------------------------------------------------------------------
0.39/0.45 c # SCIP version 1.2.1.2
0.39/0.45 c
0.39/0.45 c # frequency for displaying node information lines
0.39/0.45 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.45 c display/freq = 10000
0.39/0.45 c
0.39/0.45 c # maximal time in seconds to run
0.39/0.45 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.45 c limits/time = 1799.98
0.39/0.45 c
0.39/0.45 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.45 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.45 c limits/memory = 1620
0.39/0.45 c
0.39/0.45 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.45 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.45 c lp/solvefreq = -1
0.39/0.45 c
0.39/0.45 c # should presolving try to simplify inequalities
0.39/0.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.45 c constraints/linear/simplifyinequalities = TRUE
0.39/0.45 c
0.39/0.45 c # should presolving try to simplify knapsacks
0.39/0.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.45 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.45 c
0.39/0.45 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.39/0.45 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.45 c heuristics/undercover/freq = 0
0.39/0.45 c
0.39/0.45 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.45 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.45 c separating/rapidlearning/freq = 0
0.39/0.45 c
0.39/0.45 c -----------------------------------------------------------------------------------------------
0.39/0.45 c start solving
0.39/0.45 c
0.39/0.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.46 c t 0.2s| 1 | 2 | 0 | - |4663k| 0 | - |1564 |1615 | 0 | 0 | 0 | 0 | 0 |-5.000000e+01 | 0.000000e+00 | 100.00%
1.89/1.95 o -2
1.89/1.95 c * 1.6s| 1771 | 937 | 0 | 0.0 |8888k| 62 | - |1564 |1952 | 0 | 0 | 0 | 341 | 0 |-4.800000e+01 |-2.000000e+00 | 95.83%
2.59/2.62 o -3
2.59/2.62 c * 2.3s| 2457 | 1513 | 0 | 0.0 | 13M| 62 | - |1564 |1919 | 0 | 0 | 0 | 383 | 0 |-4.800000e+01 |-3.000000e+00 | 93.75%
2.59/2.62 o -4
2.59/2.62 c * 2.3s| 2459 | 1513 | 0 | 0.0 | 13M| 62 | - |1564 |1919 | 0 | 0 | 0 | 383 | 0 |-4.800000e+01 |-4.000000e+00 | 91.67%
7.59/7.62 o -5
7.59/7.62 c * 7.0s| 8081 | 4958 | 0 | 0.0 | 35M| 62 | - |1564 |2214 | 0 | 0 | 0 |1454 | 0 |-4.700000e+01 |-5.000000e+00 | 89.36%
9.09/9.15 c 8.5s| 10000 | 6082 | 0 | 0.0 | 42M| 62 | - |1564 |2400 | 0 | 0 | 0 |1938 | 0 |-4.700000e+01 |-5.000000e+00 | 89.36%
16.89/16.94 c 15.9s| 20000 | 13697 | 0 | 0.0 | 76M| 63 | - |1564 |2350 | 0 | 0 | 0 |3315 | 0 |-4.600000e+01 |-5.000000e+00 | 89.13%
24.19/24.23 c 22.8s| 30000 | 21313 | 0 | 0.0 | 112M| 64 | - |1564 |2866 | 0 | 0 | 0 |4630 | 0 |-4.600000e+01 |-5.000000e+00 | 89.13%
31.38/31.46 c 29.6s| 40000 | 27827 | 0 | 0.0 | 139M| 64 | - |1564 |2646 | 0 | 0 | 0 |6357 | 0 |-4.500000e+01 |-5.000000e+00 | 88.89%
39.98/40.01 c 37.8s| 50000 | 36042 | 0 | 0.0 | 181M| 64 | - |1564 |2862 | 0 | 0 | 0 |7308 | 0 |-4.500000e+01 |-5.000000e+00 | 88.89%
47.29/47.35 c 44.8s| 60000 | 43602 | 0 | 0.0 | 212M| 64 | - |1564 |3236 | 0 | 0 | 0 |8630 | 0 |-4.500000e+01 |-5.000000e+00 | 88.89%
54.58/54.65 c 51.8s| 70000 | 49277 | 0 | 0.0 | 235M| 64 | - |1564 |3005 | 0 | 0 | 0 | 10k| 0 |-4.400000e+01 |-5.000000e+00 | 88.64%
63.37/63.40 c 60.1s| 80000 | 56875 | 0 | 0.0 | 275M| 64 | - |1564 |3103 | 0 | 0 | 0 | 12k| 0 |-4.400000e+01 |-5.000000e+00 | 88.64%
70.68/70.76 c 67.1s| 90000 | 63205 | 0 | 0.0 | 300M| 65 | - |1564 |3878 | 0 | 0 | 0 | 14k| 0 |-4.400000e+01 |-5.000000e+00 | 88.64%
78.77/78.82 c 74.8s|100000 | 68649 | 0 | 0.0 | 324M| 65 | - |1564 |3114 | 0 | 0 | 0 | 15k| 0 |-4.300000e+01 |-5.000000e+00 | 88.37%
86.67/86.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
86.67/86.79 c 82.4s|110000 | 76379 | 0 | 0.0 | 356M| 66 | - |1564 |3139 | 0 | 0 | 0 | 16k| 0 |-4.300000e+01 |-5.000000e+00 | 88.37%
93.57/93.69 c 89.0s|120000 | 83253 | 0 | 0.0 | 378M| 66 | - |1564 |3491 | 0 | 0 | 0 | 18k| 0 |-4.300000e+01 |-5.000000e+00 | 88.37%
101.07/101.17 c 96.1s|130000 | 88285 | 0 | 0.0 | 396M| 66 | - |1564 |3731 | 0 | 0 | 0 | 21k| 0 |-4.300000e+01 |-5.000000e+00 | 88.37%
109.26/109.35 c 104s|140000 | 95382 | 0 | 0.0 | 426M| 66 | - |1564 |3038 | 0 | 0 | 0 | 22k| 0 |-4.200000e+01 |-5.000000e+00 | 88.10%
117.46/117.53 c 112s|150000 |103030 | 0 | 0.0 | 457M| 66 | - |1564 |3240 | 0 | 0 | 0 | 24k| 0 |-4.200000e+01 |-5.000000e+00 | 88.10%
124.95/125.05 c 119s|160000 |110069 | 0 | 0.0 | 481M| 67 | - |1564 |3813 | 0 | 0 | 0 | 25k| 0 |-4.200000e+01 |-5.000000e+00 | 88.10%
132.35/132.45 c 126s|170000 |114946 | 0 | 0.0 | 496M| 67 | - |1564 |4514 | 0 | 0 | 0 | 28k| 0 |-4.200000e+01 |-5.000000e+00 | 88.10%
140.45/140.53 c 134s|180000 |120579 | 0 | 0.0 | 515M| 67 | - |1564 |3401 | 0 | 0 | 0 | 30k| 0 |-4.100000e+01 |-5.000000e+00 | 87.80%
149.65/149.71 c 142s|190000 |128366 | 0 | 0.0 | 547M| 67 | - |1564 |3114 | 0 | 0 | 0 | 32k| 0 |-4.100000e+01 |-5.000000e+00 | 87.80%
158.05/158.18 c 150s|200000 |135861 | 0 | 0.0 | 576M| 67 | - |1564 |3306 | 0 | 0 | 0 | 33k| 0 |-4.100000e+01 |-5.000000e+00 | 87.80%
165.35/165.49 c 157s|210000 |143214 | 0 | 0.0 | 597M| 67 | - |1564 |3730 | 0 | 0 | 0 | 35k| 0 |-4.100000e+01 |-5.000000e+00 | 87.80%
173.25/173.37 c 165s|220000 |148670 | 0 | 0.0 | 612M| 67 | - |1564 |4613 | 0 | 0 | 0 | 38k| 0 |-4.100000e+01 |-5.000000e+00 | 87.80%
181.54/181.66 c 173s|230000 |153286 | 0 | 0.0 | 628M| 67 | - |1564 |4236 | 0 | 0 | 0 | 41k| 0 |-4.100000e+01 |-5.000000e+00 | 87.80%
190.04/190.10 c 181s|240000 |159894 | 0 | 0.0 | 649M| 67 | - |1564 |3079 | 0 | 0 | 0 | 42k| 0 |-4.000000e+01 |-5.000000e+00 | 87.50%
199.14/199.29 c 190s|250000 |167594 | 0 | 0.0 | 679M| 67 | - |1564 |3406 | 0 | 0 | 0 | 44k| 0 |-4.000000e+01 |-5.000000e+00 | 87.50%
207.63/207.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
207.63/207.79 c 198s|260000 |175130 | 0 | 0.0 | 705M| 67 | - |1564 |3488 | 0 | 0 | 0 | 45k| 0 |-4.000000e+01 |-5.000000e+00 | 87.50%
216.24/216.30 c 206s|270000 |182003 | 0 | 0.0 | 727M| 68 | - |1564 |3796 | 0 | 0 | 0 | 47k| 0 |-4.000000e+01 |-5.000000e+00 | 87.50%
224.33/224.48 c 214s|280000 |188302 | 0 | 0.0 | 745M| 68 | - |1564 |4415 | 0 | 0 | 0 | 50k| 0 |-4.000000e+01 |-5.000000e+00 | 87.50%
233.22/233.34 c 222s|290000 |192277 | 0 | 0.0 | 757M| 68 | - |1564 |5024 | 0 | 0 | 0 | 53k| 0 |-4.000000e+01 |-5.000000e+00 | 87.50%
241.62/241.78 c 231s|300000 |197239 | 0 | 0.0 | 772M| 68 | - |1564 |4447 | 0 | 0 | 0 | 56k| 0 |-4.000000e+01 |-5.000000e+00 | 87.50%
250.63/250.70 c 239s|310000 |204799 | 0 | 0.0 | 795M| 68 | - |1564 |3135 | 0 | 0 | 0 | 57k| 0 |-3.900000e+01 |-5.000000e+00 | 87.18%
260.53/260.64 c 249s|320000 |212424 | 0 | 0.0 | 824M| 68 | - |1564 |3378 | 0 | 0 | 0 | 59k| 0 |-3.900000e+01 |-5.000000e+00 | 87.18%
269.51/269.61 c 257s|330000 |220091 | 0 | 0.0 | 849M| 68 | - |1564 |3465 | 0 | 0 | 0 | 61k| 0 |-3.900000e+01 |-5.000000e+00 | 87.18%
278.51/278.68 c 266s|340000 |227226 | 0 | 0.0 | 873M| 68 | - |1564 |3452 | 0 | 0 | 0 | 62k| 0 |-3.900000e+01 |-5.000000e+00 | 87.18%
287.02/287.14 c 274s|350000 |233980 | 0 | 0.0 | 893M| 69 | - |1564 |3815 | 0 | 0 | 0 | 65k| 0 |-3.900000e+01 |-5.000000e+00 | 87.18%
295.51/295.63 c 282s|360000 |240361 | 0 | 0.0 | 912M| 69 | - |1564 |4135 | 0 | 0 | 0 | 67k| 0 |-3.900000e+01 |-5.000000e+00 | 87.18%
304.31/304.48 c 291s|370000 |245859 | 0 | 0.0 | 927M| 69 | - |1564 |4963 | 0 | 0 | 0 | 70k| 0 |-3.900000e+01 |-5.000000e+00 | 87.18%
313.90/314.00 c 300s|380000 |249473 | 0 | 0.0 | 939M| 69 | - |1564 |5689 | 0 | 0 | 0 | 74k| 0 |-3.900000e+01 |-5.000000e+00 | 87.18%
322.41/322.59 c 308s|390000 |255675 | 0 | 0.0 | 954M| 69 | - |1564 |4368 | 0 | 0 | 0 | 76k| 0 |-3.900000e+01 |-5.000000e+00 | 87.18%
331.70/331.88 c 317s|400000 |261022 | 0 | 0.0 | 975M| 69 | - |1564 |3805 | 0 | 0 | 0 | 79k| 0 |-3.800000e+01 |-5.000000e+00 | 86.84%
343.20/343.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
343.20/343.33 c 328s|410000 |267654 | 0 | 0.0 |1007M| 69 | - |1564 |3671 | 0 | 0 | 0 | 81k| 0 |-3.800000e+01 |-5.000000e+00 | 86.84%
353.29/353.45 c 338s|420000 |275138 | 0 | 0.0 |1033M| 69 | - |1564 |3546 | 0 | 0 | 0 | 83k| 0 |-3.800000e+01 |-5.000000e+00 | 86.84%
362.99/363.11 c 347s|430000 |282007 | 0 | 0.0 |1055M| 69 | - |1564 |3703 | 0 | 0 | 0 | 85k| 0 |-3.800000e+01 |-5.000000e+00 | 86.84%
371.99/372.14 c 356s|440000 |289475 | 0 | 0.0 |1074M| 69 | - |1564 |3760 | 0 | 0 | 0 | 87k| 0 |-3.800000e+01 |-5.000000e+00 | 86.84%
380.88/381.02 c 364s|450000 |296495 | 0 | 0.0 |1092M| 69 | - |1564 |3971 | 0 | 0 | 0 | 89k| 0 |-3.800000e+01 |-5.000000e+00 | 86.84%
389.49/389.65 c 372s|460000 |303311 | 0 | 0.0 |1108M| 69 | - |1564 |4496 | 0 | 0 | 0 | 91k| 0 |-3.800000e+01 |-5.000000e+00 | 86.84%
398.39/398.51 c 381s|470000 |308903 | 0 | 0.0 |1123M| 70 | - |1564 |5196 | 0 | 0 | 0 | 94k| 0 |-3.800000e+01 |-5.000000e+00 | 86.84%
407.89/408.07 c 390s|480000 |313204 | 0 | 0.0 |1136M| 70 | - |1564 |5915 | 0 | 0 | 0 | 98k| 0 |-3.800000e+01 |-5.000000e+00 | 86.84%
417.79/417.91 c 400s|490000 |315466 | 0 | 0.0 |1145M| 70 | - |1564 |6923 | 0 | 0 | 0 | 103k| 0 |-3.800000e+01 |-5.000000e+00 | 86.84%
426.58/426.71 c 408s|500000 |322814 | 0 | 0.0 |1161M| 70 | - |1564 |4115 | 0 | 0 | 0 | 104k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
434.47/434.64 c 416s|510000 |326734 | 0 | 0.0 |1171M| 70 | - |1564 |3601 | 0 | 0 | 0 | 107k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
438.87/439.04 o -6
438.87/439.04 c * 420s|515081 |328647 | 0 | 0.0 |1179M| 70 | - |1564 |3534 | 0 | 0 | 0 | 108k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
444.67/444.82 c 426s|520000 |331602 | 0 | 0.0 |1193M| 70 | - |1564 |4016 | 0 | 0 | 0 | 109k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
457.27/457.41 c 438s|530000 |336089 | 0 | 0.0 |1219M| 70 | - |1564 |4269 | 0 | 0 | 0 | 114k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
467.76/467.91 c 448s|540000 |342826 | 0 | 0.0 |1239M| 70 | - |1564 |3897 | 0 | 0 | 0 | 116k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
478.66/478.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
478.66/478.80 c 458s|550000 |348507 | 0 | 0.0 |1259M| 70 | - |1564 |4371 | 0 | 0 | 0 | 119k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
488.86/489.02 c 468s|560000 |354847 | 0 | 0.0 |1277M| 70 | - |1564 |4212 | 0 | 0 | 0 | 122k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
498.86/499.06 c 478s|570000 |360969 | 0 | 0.0 |1295M| 70 | - |1564 |4658 | 0 | 0 | 0 | 125k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
508.96/509.18 c 488s|580000 |366859 | 0 | 0.0 |1312M| 70 | - |1564 |4920 | 0 | 0 | 0 | 129k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
518.76/518.96 c 497s|590000 |372901 | 0 | 0.0 |1326M| 70 | - |1564 |5462 | 0 | 0 | 0 | 132k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
528.75/528.97 c 507s|600000 |378174 | 0 | 0.0 |1339M| 70 | - |1564 |6227 | 0 | 0 | 0 | 136k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
539.35/539.52 c 517s|610000 |382685 | 0 | 0.0 |1351M| 70 | - |1564 |6923 | 0 | 0 | 0 | 140k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
547.14/547.38 c (node 616924) switching to memory saving mode (mem: 1296.0M/1620.0M)
549.76/549.98 c 527s|620000 |384780 | 0 | 0.0 |1359M| 93 | - |1564 |8519 | 0 | 0 | 0 | 146k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
558.94/559.11 c 536s|630000 |384418 | 0 | 0.0 |1359M| 93 | - |1564 |9319 | 0 | 0 | 0 | 153k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
568.33/568.52 c 544s|640000 |384106 | 0 | 0.0 |1358M| 93 | - |1564 |8825 | 0 | 0 | 0 | 162k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
577.14/577.35 c 553s|650000 |383903 | 0 | 0.0 |1358M| 93 | - |1564 |9306 | 0 | 0 | 0 | 170k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
586.93/587.13 c 562s|660000 |383457 | 0 | 0.0 |1357M| 93 | - |1564 |9187 | 0 | 0 | 0 | 178k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
595.83/596.08 c 571s|670000 |383290 | 0 | 0.0 |1357M| 93 | - |1564 |9877 | 0 | 0 | 0 | 187k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
604.43/604.69 c 579s|680000 |383163 | 0 | 0.0 |1357M| 93 | - |1564 |9615 | 0 | 0 | 0 | 197k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
615.23/615.42 c 589s|690000 |382558 | 0 | 0.0 |1355M| 93 | - |1564 |8973 | 0 | 0 | 0 | 205k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
624.53/624.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
624.53/624.72 c 598s|700000 |382378 | 0 | 0.0 |1355M| 93 | - |1564 |9512 | 0 | 0 | 0 | 214k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
632.92/633.13 c 606s|710000 |382272 | 0 | 0.0 |1356M| 93 | - |1564 | 10k| 0 | 0 | 0 | 224k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
642.32/642.52 c 615s|720000 |382047 | 0 | 0.0 |1356M| 93 | - |1564 |9613 | 0 | 0 | 0 | 233k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
653.92/654.18 c 626s|730000 |381323 | 0 | 0.0 |1354M| 93 | - |1564 |9420 | 0 | 0 | 0 | 243k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
663.51/663.72 c 635s|740000 |381136 | 0 | 0.0 |1354M| 93 | - |1564 |9655 | 0 | 0 | 0 | 251k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
672.41/672.65 c 643s|750000 |381019 | 0 | 0.0 |1354M| 93 | - |1564 | 10k| 0 | 0 | 0 | 261k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
681.41/681.65 c 652s|760000 |380913 | 0 | 0.0 |1354M| 93 | - |1564 | 10k| 0 | 0 | 0 | 270k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
690.51/690.72 c 661s|770000 |380809 | 0 | 0.0 |1354M| 93 | - |1564 |9951 | 0 | 0 | 0 | 280k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
701.00/701.20 c 671s|780000 |380287 | 0 | 0.0 |1353M| 93 | - |1564 |9247 | 0 | 0 | 0 | 289k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
712.61/712.90 c 682s|790000 |379543 | 0 | 0.0 |1351M| 93 | - |1564 |9888 | 0 | 0 | 0 | 297k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
722.80/723.05 c 692s|800000 |379449 | 0 | 0.0 |1351M| 93 | - |1564 | 10k| 0 | 0 | 0 | 305k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
732.59/732.80 c 701s|810000 |379311 | 0 | 0.0 |1352M| 93 | - |1564 | 10k| 0 | 0 | 0 | 314k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
742.20/742.40 c 710s|820000 |379193 | 0 | 0.0 |1352M| 93 | - |1564 | 11k| 0 | 0 | 0 | 322k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
752.20/752.42 c 720s|830000 |379079 | 0 | 0.0 |1351M| 93 | - |1564 | 10k| 0 | 0 | 0 | 332k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
761.19/761.40 c 728s|840000 |378950 | 0 | 0.0 |1352M| 93 | - |1564 | 10k| 0 | 0 | 0 | 341k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
769.98/770.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
769.98/770.21 c 736s|850000 |378851 | 0 | 0.0 |1352M| 93 | - |1564 | 10k| 0 | 0 | 0 | 351k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
779.39/779.63 c 745s|860000 |378734 | 0 | 0.0 |1352M| 93 | - |1564 | 10k| 0 | 0 | 0 | 361k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
789.59/789.84 c 755s|870000 |378189 | 0 | 0.0 |1351M| 93 | - |1564 |9568 | 0 | 0 | 0 | 370k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
802.88/803.10 c 768s|880000 |377082 | 0 | 0.0 |1348M| 93 | - |1564 |9873 | 0 | 0 | 0 | 379k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
811.78/812.00 c 777s|890000 |376998 | 0 | 0.0 |1348M| 93 | - |1564 | 11k| 0 | 0 | 0 | 385k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
821.57/821.80 c 786s|900000 |376963 | 0 | 0.0 |1349M| 93 | - |1564 | 11k| 0 | 0 | 0 | 391k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
831.67/831.93 c 796s|910000 |376883 | 0 | 0.0 |1349M| 93 | - |1564 | 11k| 0 | 0 | 0 | 399k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
842.37/842.61 c 806s|920000 |376802 | 0 | 0.0 |1348M| 93 | - |1564 | 11k| 0 | 0 | 0 | 407k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
852.18/852.47 c 815s|930000 |376713 | 0 | 0.0 |1348M| 93 | - |1564 | 11k| 0 | 0 | 0 | 415k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
861.86/862.14 c 825s|940000 |376628 | 0 | 0.0 |1349M| 93 | - |1564 | 12k| 0 | 0 | 0 | 424k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
871.26/871.56 c 834s|950000 |376540 | 0 | 0.0 |1349M| 93 | - |1564 | 11k| 0 | 0 | 0 | 433k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
880.66/880.92 c 843s|960000 |376418 | 0 | 0.0 |1349M| 93 | - |1564 | 12k| 0 | 0 | 0 | 442k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
890.16/890.40 c 852s|970000 |376302 | 0 | 0.0 |1348M| 93 | - |1564 | 10k| 0 | 0 | 0 | 452k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
898.65/898.90 c 860s|980000 |376206 | 0 | 0.0 |1348M| 93 | - |1564 | 10k| 0 | 0 | 0 | 461k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
907.65/907.93 c 868s|990000 |376058 | 0 | 0.0 |1348M| 93 | - |1564 | 10k| 0 | 0 | 0 | 470k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
916.25/916.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
916.25/916.54 c 876s| 1000k|375964 | 0 | 0.0 |1349M| 93 | - |1564 | 11k| 0 | 0 | 0 | 479k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
924.95/925.24 c 885s| 1010k|375858 | 0 | 0.0 |1349M| 93 | - |1564 | 10k| 0 | 0 | 0 | 489k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
934.54/934.83 c 894s| 1020k|375475 | 0 | 0.0 |1348M| 93 | - |1564 | 10k| 0 | 0 | 0 | 499k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
945.54/945.88 c 905s| 1030k|374751 | 0 | 0.0 |1346M| 93 | - |1564 | 10k| 0 | 0 | 0 | 507k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
958.42/958.70 c 917s| 1040k|373730 | 0 | 0.0 |1344M| 93 | - |1564 | 11k| 0 | 0 | 0 | 517k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
967.02/967.34 c 925s| 1050k|373704 | 0 | 0.0 |1344M| 93 | - |1564 | 12k| 0 | 0 | 0 | 523k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
976.11/976.43 c 934s| 1060k|373626 | 0 | 0.0 |1345M| 93 | - |1564 | 13k| 0 | 0 | 0 | 530k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
986.71/987.05 c 944s| 1070k|373583 | 0 | 0.0 |1345M| 93 | - |1564 | 13k| 0 | 0 | 0 | 537k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
997.81/998.17 c 955s| 1080k|373499 | 0 | 0.0 |1345M| 93 | - |1564 | 14k| 0 | 0 | 0 | 545k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1008.31/1008.66 c 965s| 1090k|373452 | 0 | 0.0 |1345M| 93 | - |1564 | 14k| 0 | 0 | 0 | 552k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1018.90/1019.28 c 975s| 1100k|373353 | 0 | 0.0 |1345M| 93 | - |1564 | 14k| 0 | 0 | 0 | 561k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1028.50/1028.81 c 985s| 1110k|373275 | 0 | 0.0 |1345M| 93 | - |1564 | 14k| 0 | 0 | 0 | 568k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1037.80/1038.17 c 994s| 1120k|373193 | 0 | 0.0 |1344M| 93 | - |1564 | 13k| 0 | 0 | 0 | 576k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1046.99/1047.35 c 1002s| 1130k|373141 | 0 | 0.0 |1345M| 93 | - |1564 | 14k| 0 | 0 | 0 | 583k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1057.19/1057.51 c 1012s| 1140k|373031 | 0 | 0.0 |1344M| 93 | - |1564 | 13k| 0 | 0 | 0 | 592k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1066.70/1067.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1066.70/1067.10 c 1021s| 1150k|372911 | 0 | 0.0 |1344M| 93 | - |1564 | 13k| 0 | 0 | 0 | 600k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1076.88/1077.29 c 1031s| 1160k|372779 | 0 | 0.0 |1343M| 93 | - |1564 | 11k| 0 | 0 | 0 | 609k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1085.98/1086.36 c 1040s| 1170k|372672 | 0 | 0.0 |1344M| 93 | - |1564 | 12k| 0 | 0 | 0 | 618k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1095.58/1095.91 c 1049s| 1180k|372546 | 0 | 0.0 |1343M| 93 | - |1564 | 10k| 0 | 0 | 0 | 628k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1104.48/1104.87 c 1057s| 1190k|372367 | 0 | 0.0 |1344M| 93 | - |1564 | 11k| 0 | 0 | 0 | 637k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1113.58/1113.99 c 1066s| 1200k|372270 | 0 | 0.0 |1344M| 93 | - |1564 | 11k| 0 | 0 | 0 | 646k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1122.88/1123.21 c 1075s| 1210k|372164 | 0 | 0.0 |1344M| 93 | - |1564 |9925 | 0 | 0 | 0 | 655k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1131.27/1131.67 c 1083s| 1220k|372031 | 0 | 0.0 |1344M| 93 | - |1564 | 10k| 0 | 0 | 0 | 664k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1140.57/1140.98 c 1092s| 1230k|371679 | 0 | 0.0 |1344M| 93 | - |1564 | 10k| 0 | 0 | 0 | 673k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1150.17/1150.54 c 1101s| 1240k|371184 | 0 | 0.0 |1343M| 93 | - |1564 | 11k| 0 | 0 | 0 | 682k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1162.16/1162.55 c 1112s| 1250k|370360 | 0 | 0.0 |1339M| 93 | - |1564 | 10k| 0 | 0 | 0 | 691k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1175.06/1175.49 c 1125s| 1260k|369359 | 0 | 0.0 |1338M| 93 | - |1564 | 11k| 0 | 0 | 0 | 699k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1183.27/1183.63 c 1133s| 1270k|369304 | 0 | 0.0 |1339M| 93 | - |1564 | 13k| 0 | 0 | 0 | 706k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1192.86/1193.24 c 1142s| 1280k|369246 | 0 | 0.0 |1339M| 93 | - |1564 | 14k| 0 | 0 | 0 | 713k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1204.16/1204.58 c 1153s| 1290k|369235 | 0 | 0.0 |1340M| 93 | - |1564 | 15k| 0 | 0 | 0 | 718k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1214.85/1215.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1214.85/1215.22 c 1163s| 1300k|369210 | 0 | 0.0 |1340M| 93 | - |1564 | 15k| 0 | 0 | 0 | 725k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1225.45/1225.82 c 1174s| 1310k|369175 | 0 | 0.0 |1340M| 93 | - |1564 | 15k| 0 | 0 | 0 | 732k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1235.75/1236.12 c 1184s| 1320k|369077 | 0 | 0.0 |1340M| 93 | - |1564 | 15k| 0 | 0 | 0 | 740k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1245.24/1245.62 c 1193s| 1330k|369041 | 0 | 0.0 |1340M| 93 | - |1564 | 16k| 0 | 0 | 0 | 746k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1255.94/1256.30 c 1203s| 1340k|368952 | 0 | 0.0 |1339M| 93 | - |1564 | 14k| 0 | 0 | 0 | 754k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1265.94/1266.39 c 1213s| 1350k|368890 | 0 | 0.0 |1340M| 93 | - |1564 | 15k| 0 | 0 | 0 | 763k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1276.14/1276.58 c 1223s| 1360k|368839 | 0 | 0.0 |1341M| 93 | - |1564 | 17k| 0 | 0 | 0 | 771k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1287.03/1287.44 c 1233s| 1370k|368782 | 0 | 0.0 |1341M| 93 | - |1564 | 17k| 0 | 0 | 0 | 780k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1297.33/1297.79 c 1243s| 1380k|368699 | 0 | 0.0 |1340M| 93 | - |1564 | 16k| 0 | 0 | 0 | 788k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1307.73/1308.10 c 1253s| 1390k|368607 | 0 | 0.0 |1340M| 93 | - |1564 | 17k| 0 | 0 | 0 | 797k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1318.72/1319.14 c 1264s| 1400k|368515 | 0 | 0.0 |1339M| 93 | - |1564 | 15k| 0 | 0 | 0 | 806k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1328.82/1329.21 c 1273s| 1410k|368425 | 0 | 0.0 |1339M| 93 | - |1564 | 14k| 0 | 0 | 0 | 815k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1338.92/1339.39 c 1283s| 1420k|368319 | 0 | 0.0 |1338M| 93 | - |1564 | 14k| 0 | 0 | 0 | 823k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1349.42/1349.90 c 1293s| 1430k|368187 | 0 | 0.0 |1338M| 93 | - |1564 | 12k| 0 | 0 | 0 | 832k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1359.51/1359.92 c 1303s| 1440k|368084 | 0 | 0.0 |1338M| 93 | - |1564 | 13k| 0 | 0 | 0 | 842k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1369.21/1369.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1369.21/1369.60 c 1312s| 1450k|367990 | 0 | 0.0 |1339M| 93 | - |1564 | 13k| 0 | 0 | 0 | 851k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1379.31/1379.72 c 1322s| 1460k|367844 | 0 | 0.0 |1338M| 93 | - |1564 | 12k| 0 | 0 | 0 | 860k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1389.10/1389.57 c 1331s| 1470k|367676 | 0 | 0.0 |1337M| 93 | - |1564 | 11k| 0 | 0 | 0 | 869k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1398.10/1398.58 c 1340s| 1480k|367599 | 0 | 0.0 |1338M| 93 | - |1564 | 12k| 0 | 0 | 0 | 879k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1407.70/1408.14 c 1349s| 1490k|367511 | 0 | 0.0 |1337M| 93 | - |1564 | 10k| 0 | 0 | 0 | 889k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1416.59/1417.03 c 1357s| 1500k|367391 | 0 | 0.0 |1338M| 93 | - |1564 | 11k| 0 | 0 | 0 | 899k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1424.80/1425.23 c 1365s| 1510k|367239 | 0 | 0.0 |1338M| 93 | - |1564 | 12k| 0 | 0 | 0 | 908k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1434.39/1434.88 c 1374s| 1520k|366868 | 0 | 0.0 |1338M| 93 | - |1564 | 12k| 0 | 0 | 0 | 917k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1445.29/1445.70 c 1385s| 1530k|366283 | 0 | 0.0 |1335M| 93 | - |1564 | 10k| 0 | 0 | 0 | 926k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1456.29/1456.76 c 1395s| 1540k|365630 | 0 | 0.0 |1334M| 93 | - |1564 | 11k| 0 | 0 | 0 | 935k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1473.08/1473.50 c 1412s| 1550k|364028 | 0 | 0.0 |1329M| 93 | - |1564 | 10k| 0 | 0 | 0 | 945k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1482.08/1482.59 c 1420s| 1560k|363991 | 0 | 0.0 |1331M| 93 | - |1564 | 14k| 0 | 0 | 0 | 953k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1492.18/1492.61 c 1430s| 1570k|363954 | 0 | 0.0 |1331M| 93 | - |1564 | 15k| 0 | 0 | 0 | 960k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1501.97/1502.47 c 1440s| 1580k|363836 | 0 | 0.0 |1332M| 93 | - |1564 | 16k| 0 | 0 | 0 | 969k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1513.78/1514.22 c 1451s| 1590k|363832 | 0 | 0.0 |1332M| 93 | - |1564 | 16k| 0 | 0 | 0 | 974k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1526.28/1526.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1526.28/1526.72 c 1463s| 1600k|363812 | 0 | 0.0 |1333M| 93 | - |1564 | 17k| 0 | 0 | 0 | 981k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1539.48/1539.93 c 1476s| 1610k|363796 | 0 | 0.0 |1333M| 93 | - |1564 | 17k| 0 | 0 | 0 | 987k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1551.17/1551.66 c 1487s| 1620k|363723 | 0 | 0.0 |1332M| 93 | - |1564 | 16k| 0 | 0 | 0 | 995k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1562.26/1562.75 c 1498s| 1630k|363670 | 0 | 0.0 |1332M| 93 | - |1564 | 17k| 0 | 0 | 0 |1004k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1572.96/1573.49 c 1508s| 1640k|363587 | 0 | 0.0 |1333M| 93 | - |1564 | 17k| 0 | 0 | 0 |1012k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1583.66/1584.15 c 1519s| 1650k|363541 | 0 | 0.0 |1333M| 93 | - |1564 | 18k| 0 | 0 | 0 |1021k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1594.35/1594.82 c 1529s| 1660k|363441 | 0 | 0.0 |1332M| 93 | - |1564 | 17k| 0 | 0 | 0 |1030k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1604.35/1604.90 c 1539s| 1670k|363354 | 0 | 0.0 |1332M| 93 | - |1564 | 17k| 0 | 0 | 0 |1039k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1614.45/1614.91 c 1548s| 1680k|363275 | 0 | 0.0 |1332M| 93 | - |1564 | 17k| 0 | 0 | 0 |1047k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1624.94/1625.40 c 1558s| 1690k|363185 | 0 | 0.0 |1332M| 93 | - |1564 | 17k| 0 | 0 | 0 |1056k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1635.44/1635.90 c 1569s| 1700k|363105 | 0 | 0.0 |1332M| 93 | - |1564 | 18k| 0 | 0 | 0 |1065k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1645.83/1646.39 c 1579s| 1710k|363049 | 0 | 0.0 |1334M| 93 | - |1564 | 20k| 0 | 0 | 0 |1073k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1657.53/1658.01 c 1590s| 1720k|362958 | 0 | 0.0 |1332M| 93 | - |1564 | 18k| 0 | 0 | 0 |1082k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1668.53/1669.02 c 1601s| 1730k|362865 | 0 | 0.0 |1331M| 93 | - |1564 | 17k| 0 | 0 | 0 |1091k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1679.03/1679.54 c 1611s| 1740k|362764 | 0 | 0.0 |1331M| 93 | - |1564 | 16k| 0 | 0 | 0 |1098k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1690.23/1690.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1690.23/1690.71 c 1622s| 1750k|362703 | 0 | 0.0 |1331M| 93 | - |1564 | 16k| 0 | 0 | 0 |1107k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1701.23/1701.77 c 1632s| 1760k|362562 | 0 | 0.0 |1330M| 93 | - |1564 | 15k| 0 | 0 | 0 |1117k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1712.33/1712.80 c 1643s| 1770k|362460 | 0 | 0.0 |1330M| 93 | - |1564 | 14k| 0 | 0 | 0 |1127k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1722.02/1722.52 c 1652s| 1780k|362346 | 0 | 0.0 |1330M| 93 | - |1564 | 13k| 0 | 0 | 0 |1136k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1732.12/1732.61 c 1662s| 1790k|362214 | 0 | 0.0 |1329M| 93 | - |1564 | 12k| 0 | 0 | 0 |1146k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1741.71/1742.21 c 1671s| 1800k|362045 | 0 | 0.0 |1330M| 93 | - |1564 | 14k| 0 | 0 | 0 |1155k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1751.41/1751.90 c 1680s| 1810k|361867 | 0 | 0.0 |1330M| 93 | - |1564 | 13k| 0 | 0 | 0 |1164k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1761.31/1761.88 c 1690s| 1820k|361774 | 0 | 0.0 |1330M| 93 | - |1564 | 13k| 0 | 0 | 0 |1174k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1771.30/1771.86 c 1699s| 1830k|361700 | 0 | 0.0 |1329M| 93 | - |1564 | 12k| 0 | 0 | 0 |1183k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1781.21/1781.75 c 1709s| 1840k|361560 | 0 | 0.0 |1329M| 93 | - |1564 | 11k| 0 | 0 | 0 |1193k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1790.31/1790.83 c 1717s| 1850k|361396 | 0 | 0.0 |1329M| 93 | - |1564 | 12k| 0 | 0 | 0 |1202k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1800.12/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.12/1800.61 c
1800.12/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.12/1800.61 c Solving Time (sec) : 1726.69
1800.12/1800.61 c Solving Nodes : 1859783
1800.12/1800.61 c Primal Bound : -6.00000000000000e+00 (8 solutions)
1800.12/1800.61 c Dual Bound : -3.70000000000000e+01
1800.12/1800.61 c Gap : 83.78 %
1800.12/1800.62 s SATISFIABLE
1800.12/1800.62 v -x57 -x96 x92 -x81 -x75 -x95 -x69 -x67 -x93 -x90 -x89 -x94 -x86 -x64 -x72 -x51 -x98 -x88 -x70 x63 x60 x58 -x55 -x54 -x52 -x91 -x62
1800.12/1800.62 v -x59 -x85 -x78 -x97 -x68 -x53 -x84 -x80 -x56 -x65 x87 -x79 -x99 -x82 -x74 -x100 -x71 -x83 -x77 x73 -x61 -x66 -x76 -x50 -x49
1800.12/1800.62 v -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 -x23
1800.12/1800.62 v -x22 -x21 -x20 x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.12/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.12/1800.62 c Solving Time : 1726.69
1800.12/1800.62 c Original Problem :
1800.12/1800.62 c Problem name : HOME/instance-2663859-1276667111.opb
1800.12/1800.62 c Variables : 1564 (1564 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.12/1800.62 c Constraints : 1615 initial, 1615 maximal
1800.12/1800.62 c Presolved Problem :
1800.12/1800.62 c Problem name : t_HOME/instance-2663859-1276667111.opb
1800.12/1800.62 c Variables : 1564 (1564 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.12/1800.62 c Constraints : 1615 initial, 20624 maximal
1800.12/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.12/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.12/1800.62 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.12/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.12/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.12/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0
1800.12/1800.62 c probing : 0.03 0 0 0 0 0 0 0 0
1800.12/1800.62 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.12/1800.62 c and : 0.18 0 0 0 0 0 0 0 0
1800.12/1800.62 c linear : 0.01 0 0 0 0 0 0 0 0
1800.12/1800.62 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.12/1800.62 c root node : - 0 - - 0 - - - -
1800.12/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.12/1800.62 c integral : 0 0 0 0 0 0 0 0 0 0
1800.12/1800.62 c setppc : 100 0 7112979 0 1180793 98260 3777377 0 0 0
1800.12/1800.62 c and : 1464 0 7016402 0 1181267 6888 26063910 0 0 0
1800.12/1800.62 c linear : 1 0 7009309 0 1181300 170148 4703721 0 0 0
1800.12/1800.62 c logicor : 50+ 0 1919733 0 944289 29994 1114961 0 0 0
1800.12/1800.62 c countsols : 0 0 0 0 1181305 0 0 0 0 0
1800.12/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.12/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00
1800.12/1800.62 c setppc : 58.55 0.00 18.10 0.00 40.45
1800.12/1800.62 c and : 104.40 0.00 102.24 0.00 2.16
1800.12/1800.62 c linear : 124.67 0.00 123.59 0.00 1.08
1800.12/1800.62 c logicor : 411.57 0.00 408.97 0.00 2.60
1800.12/1800.62 c countsols : 0.53 0.00 0.00 0.00 0.53
1800.12/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.12/1800.62 c vbounds : 3.54 2 0 0
1800.12/1800.62 c rootredcost : 3.97 0 0 0
1800.12/1800.62 c pseudoobj : 175.80 7618805 504194 860434
1800.12/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.12/1800.62 c propagation : 162.74 809484 671487 3366646 69.2 1003 46.3 -
1800.12/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.12/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.12/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.12/1800.62 c pseudo solution : 0.04 46 46 253 30.8 0 0.0 -
1800.12/1800.62 c applied globally : - - - 1212439 63.0 - - -
1800.12/1800.62 c applied locally : - - - 0 0.0 - - -
1800.12/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.12/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.12/1800.62 c redcost : 0.00 0 0 0 0 0
1800.12/1800.62 c impliedbounds : 0.00 0 0 0 0 0
1800.12/1800.62 c intobj : 0.00 0 0 0 0 0
1800.12/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.12/1800.62 c gomory : 0.00 0 0 0 0 0
1800.12/1800.62 c strongcg : 0.00 0 0 0 0 0
1800.12/1800.62 c cmir : 0.00 0 0 0 0 0
1800.12/1800.62 c flowcover : 0.00 0 0 0 0 0
1800.12/1800.62 c clique : 0.00 0 0 0 0 0
1800.12/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.12/1800.62 c mcf : 0.00 0 0 0 0 0
1800.12/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.12/1800.62 c Pricers : Time Calls Vars
1800.12/1800.62 c problem variables: 0.00 0 0
1800.12/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.12/1800.62 c relpscost : 0.00 0 0 0 0 0 0
1800.12/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.12/1800.62 c inference : 49.76 1181300 0 0 0 0 2362600
1800.12/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.12/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.12/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.12/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.12/1800.62 c random : 0.00 0 0 0 0 0 0
1800.12/1800.62 c Primal Heuristics : Time Calls Found
1800.12/1800.62 c LP solutions : 0.00 - 0
1800.12/1800.62 c pseudo solutions : 0.02 - 5
1800.12/1800.62 c oneopt : 1.50 0 0
1800.12/1800.62 c trivial : 0.01 2 3
1800.12/1800.62 c simplerounding : 0.00 0 0
1800.12/1800.62 c zirounding : 0.00 0 0
1800.12/1800.62 c rounding : 0.00 0 0
1800.12/1800.62 c shifting : 0.00 0 0
1800.12/1800.62 c intshifting : 0.00 0 0
1800.12/1800.62 c twoopt : 0.00 0 0
1800.12/1800.62 c fixandinfer : 0.00 0 0
1800.12/1800.62 c feaspump : 0.00 0 0
1800.12/1800.62 c coefdiving : 0.00 0 0
1800.12/1800.62 c pscostdiving : 0.00 0 0
1800.12/1800.62 c fracdiving : 0.00 0 0
1800.12/1800.62 c veclendiving : 0.00 0 0
1800.12/1800.62 c intdiving : 0.00 0 0
1800.12/1800.62 c actconsdiving : 0.00 0 0
1800.12/1800.62 c objpscostdiving : 0.00 0 0
1800.12/1800.62 c rootsoldiving : 0.00 0 0
1800.12/1800.62 c linesearchdiving : 0.00 0 0
1800.12/1800.62 c guideddiving : 0.00 0 0
1800.12/1800.62 c octane : 0.00 0 0
1800.12/1800.62 c rens : 0.00 0 0
1800.12/1800.62 c rins : 0.00 0 0
1800.12/1800.62 c localbranching : 0.00 0 0
1800.12/1800.62 c mutation : 0.00 0 0
1800.12/1800.62 c crossover : 0.00 0 0
1800.12/1800.62 c dins : 0.00 0 0
1800.12/1800.62 c undercover : 0.00 0 0
1800.12/1800.62 c nlp : 0.96 0 0
1800.12/1800.62 c trysol : 0.87 0 0
1800.12/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.12/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.12/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.12/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.12/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.12/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.12/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.12/1800.62 c (at root node) : - 0 0 0.00 -
1800.12/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.12/1800.62 c B&B Tree :
1800.12/1800.62 c number of runs : 1
1800.12/1800.62 c nodes : 1859783
1800.12/1800.62 c nodes (total) : 1859783
1800.12/1800.62 c nodes left : 361065
1800.12/1800.62 c max depth : 93
1800.12/1800.62 c max depth (total): 93
1800.12/1800.62 c backtracks : 211035 (11.3%)
1800.12/1800.62 c delayed cutoffs : 139261
1800.12/1800.62 c repropagations : 2928553 (4492363 domain reductions, 131052 cutoffs)
1800.12/1800.62 c avg switch length: 7.23
1800.12/1800.62 c switching time : 586.30
1800.12/1800.62 c Solution :
1800.12/1800.62 c Solutions found : 8 (6 improvements)
1800.12/1800.62 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1800.12/1800.62 c Primal Bound : -6.00000000000000e+00 (in run 1, after 515081 nodes, 419.95 seconds, depth 24, found by <relaxation>)
1800.12/1800.62 c Dual Bound : -3.70000000000000e+01
1800.12/1800.62 c Gap : 83.78 %
1800.12/1800.62 c Root Dual Bound : -5.00000000000000e+01
1800.12/1800.62 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663859-1276667111/watcher-2663859-1276667111 -o /tmp/evaluation-result-2663859-1276667111/solver-2663859-1276667111 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663859-1276667111.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 14143
/proc/meminfo: memFree=1672436/2059040 swapFree=4192956/4192956
[pid=14143] ppid=14141 vsize=6584 CPUtime=0
/proc/14143/stat : 14143 (pbscip.linux.x8) R 14141 14143 13757 0 -1 4202496 967 0 0 0 0 0 0 0 20 0 1 0 8003943 6742016 890 1992294400 4194304 7136930 140733713291616 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14143/statm: 1646 899 254 719 0 925 0
[startup+0.0759981 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 14143
/proc/meminfo: memFree=1672436/2059040 swapFree=4192956/4192956
[pid=14143] ppid=14141 vsize=15068 CPUtime=0.07
/proc/14143/stat : 14143 (pbscip.linux.x8) R 14141 14143 13757 0 -1 4202496 3662 0 0 0 5 2 0 0 20 0 1 0 8003943 15429632 2973 1992294400 4194304 7136930 140733713291616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14143/statm: 3767 2973 333 719 0 3046 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15068
[startup+0.101 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 14143
/proc/meminfo: memFree=1672436/2059040 swapFree=4192956/4192956
[pid=14143] ppid=14141 vsize=15068 CPUtime=0.09
/proc/14143/stat : 14143 (pbscip.linux.x8) R 14141 14143 13757 0 -1 4202496 3662 0 0 0 6 3 0 0 20 0 1 0 8003943 15429632 2973 1992294400 4194304 7136930 140733713291616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14143/statm: 3767 2973 333 719 0 3046 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15068
[startup+0.301023 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 14143
/proc/meminfo: memFree=1672436/2059040 swapFree=4192956/4192956
[pid=14143] ppid=14141 vsize=16360 CPUtime=0.29
/proc/14143/stat : 14143 (pbscip.linux.x8) R 14141 14143 13757 0 -1 4202496 5296 0 0 0 17 12 0 0 20 0 1 0 8003943 16752640 3322 1992294400 4194304 7136930 140733713291616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14143/statm: 4090 3322 361 719 0 3369 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16360
[startup+0.701066 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 14143
/proc/meminfo: memFree=1672436/2059040 swapFree=4192956/4192956
[pid=14143] ppid=14141 vsize=19456 CPUtime=0.69
/proc/14143/stat : 14143 (pbscip.linux.x8) R 14141 14143 13757 0 -1 4202496 6371 0 0 0 49 20 0 0 21 0 1 0 8003943 19922944 4140 1992294400 4194304 7136930 140733713291616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14143/statm: 4864 4140 393 719 0 4143 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19456
[startup+1.50115 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 14144
/proc/meminfo: memFree=1655440/2059040 swapFree=4192956/4192956
[pid=14143] ppid=14141 vsize=23436 CPUtime=1.49
/proc/14143/stat : 14143 (pbscip.linux.x8) R 14141 14143 13757 0 -1 4202496 7354 0 0 0 125 24 0 0 23 0 1 0 8003943 23998464 5123 1992294400 4194304 7136930 140733713291616 18446744073709551615 5917824 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14143/statm: 5859 5123 393 719 0 5138 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23436
[startup+3.10033 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 14144
/proc/meminfo: memFree=1650852/2059040 swapFree=4192956/4192956
[pid=14143] ppid=14141 vsize=34508 CPUtime=3.09
/proc/14143/stat : 14143 (pbscip.linux.x8) R 14141 14143 13757 0 -1 4202496 9923 0 0 0 276 33 0 0 25 0 1 0 8003943 35336192 7692 1992294400 4194304 7136930 140733713291616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14143/statm: 8627 7692 393 719 0 7906 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34508
[startup+6.30068 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 14144
/proc/meminfo: memFree=1633864/2059040 swapFree=4192956/4192956
[pid=14143] ppid=14141 vsize=49732 CPUtime=6.29
/proc/14143/stat : 14143 (pbscip.linux.x8) R 14141 14143 13757 0 -1 4202496 13385 0 0 0 580 49 0 0 25 0 1 0 8003943 50925568 11154 1992294400 4194304 7136930 140733713291616 18446744073709551615 4225804 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14143/statm: 12433 11154 393 719 0 11712 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49732
[startup+12.7004 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 14144
/proc/meminfo: memFree=1600632/2059040 swapFree=4192956/4192956
[pid=14143] ppid=14141 vsize=86096 CPUtime=12.69
/proc/14143/stat : 14143 (pbscip.linux.x8) R 14141 14143 13757 0 -1 4202496 21358 0 0 0 1186 83 0 0 25 0 1 0 8003943 88162304 19127 1992294400 4194304 7136930 140733713291616 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14143/statm: 21524 19127 393 719 0 20803 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 86096
[startup+25.5008 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 14144
/proc/meminfo: memFree=1529084/2059040 swapFree=4192956/4192956
[pid=14143] ppid=14141 vsize=166820 CPUtime=25.49
/proc/14143/stat : 14143 (pbscip.linux.x8) R 14141 14143 13757 0 -1 4202496 38648 0 0 0 2398 151 0 0 25 0 1 0 8003943 170823680 36417 1992294400 4194304 7136930 140733713291616 18446744073709551615 5121841 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14143/statm: 41705 36417 393 719 0 40984 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 166820
[startup+51.1016 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 14144
/proc/meminfo: memFree=1411904/2059040 swapFree=4192956/4192956
[pid=14143] ppid=14141 vsize=301524 CPUtime=51.07
/proc/14143/stat : 14143 (pbscip.linux.x8) R 14141 14143 13757 0 -1 4202496 67643 0 0 0 4837 270 0 0 25 0 1 0 8003943 308760576 65412 1992294400 4194304 7136930 140733713291616 18446744073709551615 4660831 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14143/statm: 75381 65412 393 719 0 74660 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 301524
[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 14146
/proc/meminfo: memFree=1218216/2059040 swapFree=4192956/4192956
[pid=14143] ppid=14141 vsize=527844 CPUtime=102.27
/proc/14143/stat : 14143 (pbscip.linux.x8) R 14141 14143 13757 0 -1 4202496 115824 0 0 0 9718 509 0 0 25 0 1 0 8003943 540512256 113593 1992294400 4194304 7136930 140733713291616 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14143/statm: 131961 113593 393 719 0 131240 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 527844
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14148
/proc/meminfo: memFree=1013368/2059040 swapFree=4192956/4192956
[pid=14143] ppid=14141 vsize=770452 CPUtime=162.25
/proc/14143/stat : 14143 (pbscip.linux.x8) R 14141 14143 13757 0 -1 4202496 167207 0 0 0 15443 782 0 0 25 0 1 0 8003943 788942848 164976 1992294400 4194304 7136930 140733713291616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14143/statm: 192613 164976 393 719 0 191892 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 770452
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14150
/proc/meminfo: memFree=844728/2059040 swapFree=4192956/4192956
[pid=14143] ppid=14141 vsize=955528 CPUtime=222.23
/proc/14143/stat : 14143 (pbscip.linux.x8) R 14141 14143 13757 0 -1 4202496 208990 0 0 0 21184 1039 0 0 25 0 1 0 8003943 978460672 206759 1992294400 4194304 7136930 140733713291616 18446744073709551615 4924289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14143/statm: 238882 206759 393 719 0 238161 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 955528
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14152
/proc/meminfo: memFree=695308/2059040 swapFree=4192956/4192956
[pid=14143] ppid=14141 vsize=1124828 CPUtime=282.21
/proc/14143/stat : 14143 (pbscip.linux.x8) R 14141 14143 13757 0 -1 4202496 246523 0 0 0 26942 1279 0 0 25 0 1 0 8003943 1151823872 244292 1992294400 4194304 7136930 140733713291616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14143/statm: 281207 244292 393 719 0 280486 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1124828
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14152
/proc/meminfo: memFree=554816/2059040 swapFree=4192956/4192956
[pid=14143] ppid=14141 vsize=1280760 CPUtime=342.2
/proc/14143/stat : 14143 (pbscip.linux.x8) R 14141 14143 13757 0 -1 4202496 281549 0 0 0 32709 1511 0 0 25 0 1 0 8003943 1311498240 279318 1992294400 4194304 7136930 140733713291616 18446744073709551615 5954133 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14143/statm: 320190 279318 393 719 0 319469 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1280760
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14154
/proc/meminfo: memFree=420276/2059040 swapFree=4192956/4192956
[pid=14143] ppid=14141 vsize=1426048 CPUtime=402.18
/proc/14143/stat : 14143 (pbscip.linux.x8) R 14141 14143 13757 0 -1 4202496 315190 0 0 0 38460 1758 0 0 25 0 1 0 8003943 1460273152 312959 1992294400 4194304 7136930 140733713291616 18446744073709551615 5956715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14143/statm: 356512 312959 393 719 0 355791 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1426048
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14156
/proc/meminfo: memFree=313264/2059040 swapFree=4192956/4192956
[pid=14143] ppid=14141 vsize=1540880 CPUtime=462.16
/proc/14143/stat : 14143 (pbscip.linux.x8) R 14141 14143 13757 0 -1 4202496 341380 0 0 0 44246 1970 0 0 25 0 1 0 8003943 1577861120 339149 1992294400 4194304 7136930 140733713291616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14143/statm: 385220 339149 393 719 0 384499 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1540880
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14158
/proc/meminfo: memFree=206500/2059040 swapFree=4192956/4192956
[pid=14143] ppid=14141 vsize=1653588 CPUtime=522.15
/proc/14143/stat : 14143 (pbscip.linux.x8) R 14141 14143 13757 0 -1 4202496 368597 0 0 0 50015 2200 0 0 25 0 1 0 8003943 1693274112 366366 1992294400 4194304 7136930 140733713291616 18446744073709551615 6000505 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14143/statm: 413397 366366 393 719 0 412676 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1653588
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14160
/proc/meminfo: memFree=178104/2059040 swapFree=4192956/4192956
[pid=14143] ppid=14141 vsize=1679612 CPUtime=582.13
/proc/14143/stat : 14143 (pbscip.linux.x8) R 14141 14143 13757 0 -1 4202496 376521 0 0 0 55750 2463 0 0 25 0 1 0 8003943 1719922688 372786 1992294400 4194304 7136930 140733713291616 18446744073709551615 4223905 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14143/statm: 419903 372786 393 719 0 419182 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 1679612
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14160
/proc/meminfo: memFree=174384/2059040 swapFree=4192956/4192956
[pid=14143] ppid=14141 vsize=1683020 CPUtime=642.13
/proc/14143/stat : 14143 (pbscip.linux.x8) R 14141 14143 13757 0 -1 4202496 377451 0 0 0 61453 2760 0 0 25 0 1 0 8003943 1723412480 373716 1992294400 4194304 7136930 140733713291616 18446744073709551615 4210473 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14143/statm: 420755 373716 393 719 0 420034 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 1683020
[startup+702.302 s]
################
# More data... #
################
/proc/14143/stat : 14143 (pbscip.linux.x8) R 14141 14143 13757 0 -1 4202496 379430 0 0 0 101668 4531 0 0 25 0 1 0 8003943 1732358144 375695 1992294400 4194304 7136930 140733713291616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14143/statm: 422939 375695 394 719 0 422218 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 1691756
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14183
/proc/meminfo: memFree=164836/2059040 swapFree=4192956/4192956
[pid=14143] ppid=14141 vsize=1691960 CPUtime=1121.98
/proc/14143/stat : 14143 (pbscip.linux.x8) R 14141 14143 13757 0 -1 4202496 379587 0 0 0 107388 4810 0 0 25 0 1 0 8003943 1732567040 375852 1992294400 4194304 7136930 140733713291616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14143/statm: 422990 375852 394 719 0 422269 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 1691960
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14185
/proc/meminfo: memFree=163720/2059040 swapFree=4192956/4192956
[pid=14143] ppid=14141 vsize=1692796 CPUtime=1181.96
/proc/14143/stat : 14143 (pbscip.linux.x8) R 14141 14143 13757 0 -1 4202496 379856 0 0 0 113162 5034 0 0 25 0 1 0 8003943 1733423104 376121 1992294400 4194304 7136930 140733713291616 18446744073709551615 6166805 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14143/statm: 423199 376121 394 719 0 422478 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 1692796
[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14185
/proc/meminfo: memFree=162976/2059040 swapFree=4192956/4192956
[pid=14143] ppid=14141 vsize=1694176 CPUtime=1241.94
/proc/14143/stat : 14143 (pbscip.linux.x8) R 14141 14143 13757 0 -1 4202496 380029 0 0 0 118961 5233 0 0 25 0 1 0 8003943 1734836224 376294 1992294400 4194304 7136930 140733713291616 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14143/statm: 423544 376294 394 719 0 422823 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 1694176
[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14187
/proc/meminfo: memFree=162108/2059040 swapFree=4192956/4192956
[pid=14143] ppid=14141 vsize=1694704 CPUtime=1301.93
/proc/14143/stat : 14143 (pbscip.linux.x8) R 14141 14143 13757 0 -1 4202496 380222 0 0 0 124742 5451 0 0 25 0 1 0 8003943 1735376896 376487 1992294400 4194304 7136930 140733713291616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14143/statm: 423676 376487 394 719 0 422955 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1694704
[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14189
/proc/meminfo: memFree=160744/2059040 swapFree=4192956/4192956
[pid=14143] ppid=14141 vsize=1696344 CPUtime=1361.91
/proc/14143/stat : 14143 (pbscip.linux.x8) R 14141 14143 13757 0 -1 4202496 380548 0 0 0 130504 5687 0 0 25 0 1 0 8003943 1737056256 376813 1992294400 4194304 7136930 140733713291616 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14143/statm: 424086 376813 394 719 0 423365 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1696344
[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14191
/proc/meminfo: memFree=160372/2059040 swapFree=4192956/4192956
[pid=14143] ppid=14141 vsize=1696344 CPUtime=1421.9
/proc/14143/stat : 14143 (pbscip.linux.x8) R 14141 14143 13757 0 -1 4202496 380659 0 0 0 136217 5973 0 0 25 0 1 0 8003943 1737056256 376924 1992294400 4194304 7136930 140733713291616 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14143/statm: 424086 376924 394 719 0 423365 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1696344
[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14193
/proc/meminfo: memFree=160000/2059040 swapFree=4192956/4192956
[pid=14143] ppid=14141 vsize=1696344 CPUtime=1481.88
/proc/14143/stat : 14143 (pbscip.linux.x8) R 14141 14143 13757 0 -1 4202496 380711 0 0 0 142019 6169 0 0 25 0 1 0 8003943 1737056256 376976 1992294400 4194304 7136930 140733713291616 18446744073709551615 6349927 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14143/statm: 424086 376976 394 719 0 423365 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1696344
[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14193
/proc/meminfo: memFree=158636/2059040 swapFree=4192956/4192956
[pid=14143] ppid=14141 vsize=1697740 CPUtime=1541.87
/proc/14143/stat : 14143 (pbscip.linux.x8) R 14141 14143 13757 0 -1 4202496 381041 0 0 0 147826 6361 0 0 25 0 1 0 8003943 1738485760 377306 1992294400 4194304 7136930 140733713291616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14143/statm: 424435 377306 394 719 0 423714 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1697740
[startup+1602.3 s]
/proc/loadavg: 1.07 1.00 1.00 2/107 14195
/proc/meminfo: memFree=158016/2059040 swapFree=4192956/4192956
[pid=14143] ppid=14141 vsize=1698760 CPUtime=1601.85
/proc/14143/stat : 14143 (pbscip.linux.x8) R 14141 14143 13757 0 -1 4202496 381193 0 0 0 153619 6566 0 0 25 0 1 0 8003943 1739530240 377458 1992294400 4194304 7136930 140733713291616 18446744073709551615 4209117 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14143/statm: 424690 377458 394 719 0 423969 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1698760
[startup+1662.3 s]
/proc/loadavg: 1.07 1.01 1.00 2/107 14197
/proc/meminfo: memFree=157272/2059040 swapFree=4192956/4192956
[pid=14143] ppid=14141 vsize=1699784 CPUtime=1661.84
/proc/14143/stat : 14143 (pbscip.linux.x8) R 14141 14143 13757 0 -1 4202496 381339 0 0 0 159409 6775 0 0 25 0 1 0 8003943 1740578816 377604 1992294400 4194304 7136930 140733713291616 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14143/statm: 424946 377604 394 719 0 424225 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1699784
[startup+1722.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 14199
/proc/meminfo: memFree=157024/2059040 swapFree=4192956/4192956
[pid=14143] ppid=14141 vsize=1699784 CPUtime=1721.82
/proc/14143/stat : 14143 (pbscip.linux.x8) R 14141 14143 13757 0 -1 4202496 381388 0 0 0 165184 6998 0 0 25 0 1 0 8003943 1740578816 377653 1992294400 4194304 7136930 140733713291616 18446744073709551615 4659981 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14143/statm: 424946 377653 394 719 0 424225 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1699784
[startup+1782.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 14201
/proc/meminfo: memFree=156032/2059040 swapFree=4192956/4192956
[pid=14143] ppid=14141 vsize=1700804 CPUtime=1781.8
/proc/14143/stat : 14143 (pbscip.linux.x8) R 14141 14143 13757 0 -1 4202496 381578 0 0 0 170921 7259 0 0 25 0 1 0 8003943 1741623296 377843 1992294400 4194304 7136930 140733713291616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14143/statm: 425201 377843 394 719 0 424480 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1700804
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14201
/proc/meminfo: memFree=155908/2059040 swapFree=4192956/4192956
[pid=14143] ppid=14141 vsize=1700804 CPUtime=1800.12
/proc/14143/stat : 14143 (pbscip.linux.x8) R 14141 14143 13757 0 -1 4202496 381593 0 0 0 172671 7341 0 0 25 0 1 0 8003943 1741623296 377858 1992294400 4194304 7136930 140733713291616 18446744073709551615 5957371 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14143/statm: 425201 377858 394 719 0 424480 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 1700804
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -14143
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 14201
/proc/meminfo: memFree=155908/2059040 swapFree=4192956/4192956
[pid=14143] ppid=14141 vsize=1700804 CPUtime=1800.9
/proc/14143/stat : 14143 (pbscip.linux.x8) R 14141 14143 13757 0 -1 4202496 381598 0 0 0 172749 7341 0 0 25 0 1 0 8003943 1741623296 377863 1992294400 4194304 7136930 140733713291616 18446744073709551615 6165646 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14143/statm: 425201 377863 399 719 0 424480 0
Current children cumulated CPU time (s) 1800.9
Current children cumulated vsize (KiB) 1700804
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14202
/proc/meminfo: memFree=155776/2059040 swapFree=4192956/4192956
[pid=14143] ppid=14141 vsize=1700804 CPUtime=1801.7
/proc/14143/stat : 14143 (pbscip.linux.x8) R 14141 14143 13757 0 -1 4202496 381598 0 0 0 172829 7341 0 0 25 0 1 0 8003943 1741623296 377863 1992294400 4194304 7136930 140733713291616 18446744073709551615 4616629 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14143/statm: 425201 377863 399 719 0 424480 0
Current children cumulated CPU time (s) 1801.7
Current children cumulated vsize (KiB) 1700804
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14202
/proc/meminfo: memFree=155776/2059040 swapFree=4192956/4192956
[pid=14143] ppid=14141 vsize=1698756 CPUtime=1802.1
/proc/14143/stat : 14143 (pbscip.linux.x8) R 14141 14143 13757 0 -1 4202496 381598 0 0 0 172869 7341 0 0 25 0 1 0 8003943 1739526144 377351 1992294400 4194304 7136930 140733713291616 18446744073709551615 4212290 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14143/statm: 424689 377351 399 719 0 423968 0
Current children cumulated CPU time (s) 1802.1
Current children cumulated vsize (KiB) 1698756
[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14202
/proc/meminfo: memFree=155776/2059040 swapFree=4192956/4192956
[pid=14143] ppid=14141 vsize=0 CPUtime=1802.2
/proc/14143/stat : 14143 (pbscip.linux.x8) R 14141 14143 13757 0 -1 4203524 381598 0 0 0 172871 7349 0 0 25 0 1 0 8003943 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/14143/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.2
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.77
CPU time (s): 1802.28
CPU user time (s): 1728.71
CPU system time (s): 73.5658
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 1700804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1728.71
system time used= 73.5658
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 381598
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 4555
runsolver used 3.00454 second user time and 8.50471 second system time
The end