Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | MSAT (TO) | 1802.13 | 1802.08 |
| Name | /SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-44s.smv--soft-0-100-0.wbo |
| MD5SUM | 4d1622885c2ebb9b79c07237f88a35bc |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 0.024996 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 495 |
| Total number of constraints | 940 |
| Number of soft constraints | 940 |
| Number of constraints which are clauses | 800 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 140 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 13 |
| Top cost | 46815 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 46814 |
| Biggest number in a constraint | 68 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 257 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2693123-1277931570.wbo>
0.00/0.01 c original problem has 2375 variables (1435 bin, 0 int, 0 impl, 940 cont) and 1881 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.03 o 46814
0.00/0.03 c feasible solution found by trivial heuristic, objective value 4.681400e+04
0.00/0.03 c presolving:
0.00/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 70 chg sides, 140 chg coeffs, 0 upgd conss, 940 impls, 0 clqs
0.00/0.04 c (round 2) 0 del vars, 1 del conss, 940 chg bounds, 70 chg sides, 140 chg coeffs, 0 upgd conss, 940 impls, 0 clqs
0.04/0.05 c (round 3) 0 del vars, 1 del conss, 940 chg bounds, 70 chg sides, 140 chg coeffs, 1 upgd conss, 940 impls, 0 clqs
0.04/0.07 c (0.1s) probing: 101/1435 (7.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.04/0.07 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.04/0.07 c presolving (4 rounds):
0.04/0.07 c 0 deleted vars, 1 deleted constraints, 940 tightened bounds, 0 added holes, 70 changed sides, 140 changed coefficients
0.04/0.07 c 941 implications, 0 cliques
0.04/0.07 c presolved problem has 2375 variables (1435 bin, 0 int, 0 impl, 940 cont) and 1880 constraints
0.04/0.07 c 940 constraints of type <indicator>
0.04/0.07 c 1 constraints of type <varbound>
0.04/0.07 c 939 constraints of type <linear>
0.04/0.07 c transformed objective value is always integral (scale: 1)
0.04/0.07 c Presolving Time: 0.05
0.04/0.07 c - non default parameters ----------------------------------------------------------------------
0.04/0.07 c # SCIP version 1.2.1.2
0.04/0.07 c
0.04/0.07 c # frequency for displaying node information lines
0.04/0.07 c # [type: int, range: [-1,2147483647], default: 100]
0.04/0.07 c display/freq = 10000
0.04/0.07 c
0.04/0.07 c # maximal time in seconds to run
0.04/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.07 c limits/time = 1799.99
0.04/0.07 c
0.04/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.04/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.07 c limits/memory = 3420
0.04/0.07 c
0.04/0.07 c # should presolving try to simplify inequalities
0.04/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.07 c constraints/linear/simplifyinequalities = TRUE
0.04/0.07 c
0.04/0.07 c # should presolving try to simplify knapsacks
0.04/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.07 c constraints/knapsack/simplifyinequalities = TRUE
0.04/0.07 c
0.04/0.07 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.04/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.04/0.07 c separating/rapidlearning/freq = 0
0.04/0.07 c
0.04/0.07 c -----------------------------------------------------------------------------------------------
0.04/0.07 c start solving
0.04/0.07 c
0.04/0.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.04/0.08 c t 0.1s| 1 | 0 | 0 | - |7480k| 0 | 0 |2375 |1880 |2375 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.681400e+04 | Inf
0.04/0.08 c 0.1s| 1 | 0 | 122 | - |7591k| 0 | 66 |2375 |1880 |2375 | 123 | 123 | 0 | 0 | 0.000000e+00 | 4.681400e+04 | Inf
0.04/0.08 o 46717
0.04/0.08 c y 0.1s| 1 | 0 | 122 | - |7633k| 0 | 66 |2375 |1880 |2375 | 123 | 123 | 0 | 0 | 0.000000e+00 | 4.671700e+04 | Inf
0.09/0.10 c 0.1s| 1 | 0 | 293 | - |7799k| 0 | 62 |2375 |1880 |2375 | 290 | 290 | 0 | 0 | 0.000000e+00 | 4.671700e+04 | Inf
0.09/0.14 c 0.1s| 1 | 0 | 437 | - |7920k| 0 | 61 |2375 |1880 |2375 | 338 | 338 | 0 | 0 | 0.000000e+00 | 4.671700e+04 | Inf
0.09/0.17 c 0.1s| 1 | 0 | 470 | - |8023k| 0 | 59 |2375 |1880 |2375 | 372 | 372 | 0 | 0 | 0.000000e+00 | 4.671700e+04 | Inf
0.19/0.20 c 0.2s| 1 | 0 | 537 | - |8101k| 0 | 87 |2375 |1880 |2375 | 392 | 392 | 0 | 0 | 0.000000e+00 | 4.671700e+04 | Inf
0.19/0.25 c 0.2s| 1 | 0 | 637 | - |8249k| 0 | 134 |2375 |1880 |2375 | 449 | 449 | 0 | 0 | 0.000000e+00 | 4.671700e+04 | Inf
0.49/0.58 c 0.6s| 1 | 2 | 788 | - |8317k| 0 | 134 |2375 |1880 |2375 | 449 | 449 | 0 | 33 | 0.000000e+00 | 4.671700e+04 | Inf
12.99/13.06 c 12.7s| 10000 | 9997 | 6364 | 0.6 | 23M| 431 | 0 |2375 |1888 |2375 | 387 |1236 | 8 |1444 | 0.000000e+00 | 4.671700e+04 | Inf
22.78/22.82 c 22.3s| 20000 | 19993 | 8591 | 0.4 | 34M| 431 | 1 |2375 |1892 |2375 | 398 |1917 | 12 |1493 | 0.000000e+00 | 4.671700e+04 | Inf
32.39/32.40 c 31.7s| 30000 | 29989 | 10115 | 0.3 | 46M| 431 | 0 |2375 |1894 |2375 | 375 |2438 | 14 |1498 | 0.000000e+00 | 4.671700e+04 | Inf
42.09/42.15 c 41.2s| 40000 | 39985 | 12273 | 0.3 | 57M| 431 | 13 |2375 |1907 |2375 | 373 |3098 | 27 |1535 | 0.000000e+00 | 4.671700e+04 | Inf
51.79/51.89 c 50.8s| 50000 | 49979 | 14425 | 0.3 | 69M| 431 | 0 |2375 |1914 |2375 | 385 |3819 | 34 |1539 | 0.000000e+00 | 4.671700e+04 | Inf
61.39/61.48 c 60.2s| 60000 | 59977 | 16255 | 0.3 | 80M| 431 | 0 |2375 |1916 |2375 | 389 |4385 | 36 |1539 | 0.000000e+00 | 4.671700e+04 | Inf
70.99/71.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.99/71.08 c 69.7s| 70000 | 69973 | 17930 | 0.2 | 92M| 431 | 0 |2375 |1919 |2375 | 383 |4936 | 39 |1542 | 0.000000e+00 | 4.671700e+04 | Inf
80.39/80.48 c 78.9s| 80000 | 79969 | 19153 | 0.2 | 103M| 431 | 0 |2375 |1922 |2375 | 380 |5282 | 42 |1542 | 0.000000e+00 | 4.671700e+04 | Inf
89.99/90.02 c 88.3s| 90000 | 89969 | 20805 | 0.2 | 115M| 431 | 0 |2375 |1922 |2375 | 377 |5813 | 42 |1548 | 0.000000e+00 | 4.671700e+04 | Inf
99.29/99.31 c 97.4s|100000 | 99969 | 21946 | 0.2 | 126M| 431 | 0 |2375 |1922 |2375 | 382 |6136 | 42 |1548 | 0.000000e+00 | 4.671700e+04 | Inf
108.69/108.78 c 107s|110000 |109969 | 23241 | 0.2 | 137M| 431 | 0 |2375 |1922 |2375 | 379 |6490 | 42 |1548 | 0.000000e+00 | 4.671700e+04 | Inf
118.29/118.35 c 116s|120000 |119969 | 24753 | 0.2 | 149M| 431 | 0 |2375 |1922 |2375 | 376 |6986 | 42 |1549 | 0.000000e+00 | 4.671700e+04 | Inf
127.89/127.98 c 126s|130000 |129969 | 26345 | 0.2 | 160M| 431 | 0 |2375 |1922 |2375 | 388 |7551 | 42 |1549 | 0.000000e+00 | 4.671700e+04 | Inf
136.59/136.68 c 134s|140000 |139969 | 27680 | 0.2 | 172M| 431 | 0 |2375 |1921 |2375 | 373 |7983 | 42 |1549 | 0.000000e+00 | 4.671700e+04 | Inf
145.09/145.14 c 142s|150000 |149969 | 28671 | 0.2 | 183M| 431 | 0 |2375 |1921 |2375 | 378 |8309 | 42 |1549 | 0.000000e+00 | 4.671700e+04 | Inf
153.49/153.57 c 151s|160000 |159969 | 29711 | 0.2 | 195M| 431 | 0 |2375 |1921 |2375 | 375 |8615 | 42 |1549 | 0.000000e+00 | 4.671700e+04 | Inf
161.89/161.97 c 159s|170000 |169969 | 30726 | 0.2 | 206M| 431 | 0 |2375 |1921 |2375 | 381 |8891 | 42 |1549 | 0.000000e+00 | 4.671700e+04 | Inf
170.29/170.36 c 167s|180000 |179969 | 31743 | 0.2 | 218M| 431 | 0 |2375 |1921 |2375 | 374 |9201 | 42 |1549 | 0.000000e+00 | 4.671700e+04 | Inf
178.69/178.70 c 175s|190000 |189969 | 32569 | 0.2 | 229M| 431 | 0 |2375 |1919 |2375 | 378 |9468 | 42 |1549 | 0.000000e+00 | 4.671700e+04 | Inf
187.09/187.14 c 184s|200000 |199969 | 33590 | 0.2 | 241M| 431 | 0 |2375 |1917 |2375 | 373 |9817 | 42 |1549 | 0.000000e+00 | 4.671700e+04 | Inf
195.39/195.49 c 192s|210000 |209969 | 34459 | 0.2 | 252M| 431 | 0 |2375 |1915 |2375 | 377 | 10k| 42 |1549 | 0.000000e+00 | 4.671700e+04 | Inf
203.99/204.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
203.99/204.01 c 200s|220000 |219969 | 35611 | 0.2 | 264M| 431 | 0 |2375 |1914 |2375 | 376 | 10k| 42 |1549 | 0.000000e+00 | 4.671700e+04 | Inf
212.29/212.39 c 208s|230000 |229969 | 36609 | 0.2 | 275M| 431 | 0 |2375 |1913 |2375 | 387 | 10k| 42 |1549 | 0.000000e+00 | 4.671700e+04 | Inf
220.79/220.82 c 217s|240000 |239969 | 37659 | 0.2 | 287M| 431 | 0 |2375 |1913 |2375 | 376 | 11k| 42 |1549 | 0.000000e+00 | 4.671700e+04 | Inf
229.29/229.31 c 225s|250000 |249969 | 38798 | 0.2 | 298M| 431 | 0 |2375 |1913 |2375 | 379 | 11k| 42 |1549 | 0.000000e+00 | 4.671700e+04 | Inf
237.69/237.71 c 233s|260000 |259967 | 39801 | 0.2 | 310M| 431 | 0 |2375 |1914 |2375 | 376 | 11k| 43 |1549 | 0.000000e+00 | 4.671700e+04 | Inf
245.99/246.04 c 242s|270000 |269967 | 40756 | 0.1 | 321M| 431 | 0 |2375 |1914 |2375 | 379 | 12k| 43 |1549 | 0.000000e+00 | 4.671700e+04 | Inf
254.39/254.43 c 250s|280000 |279967 | 41695 | 0.1 | 333M| 431 | 0 |2375 |1914 |2375 | 374 | 12k| 43 |1549 | 0.000000e+00 | 4.671700e+04 | Inf
262.80/262.86 c 258s|290000 |289967 | 42782 | 0.1 | 344M| 431 | 0 |2375 |1912 |2375 | 379 | 12k| 43 |1549 | 0.000000e+00 | 4.671700e+04 | Inf
271.19/271.20 c 266s|300000 |299967 | 43683 | 0.1 | 355M| 431 | 0 |2375 |1911 |2375 | 375 | 12k| 43 |1549 | 0.000000e+00 | 4.671700e+04 | Inf
279.50/279.59 c 274s|310000 |309967 | 44735 | 0.1 | 367M| 431 | 0 |2375 |1911 |2375 | 381 | 13k| 43 |1549 | 0.000000e+00 | 4.671700e+04 | Inf
288.00/288.09 c 283s|320000 |319967 | 45841 | 0.1 | 378M| 431 | 0 |2375 |1911 |2375 | 383 | 13k| 43 |1549 | 0.000000e+00 | 4.671700e+04 | Inf
296.69/296.79 c 291s|330000 |329967 | 47231 | 0.1 | 390M| 431 | 0 |2375 |1911 |2375 | 377 | 13k| 43 |1553 | 0.000000e+00 | 4.671700e+04 | Inf
305.60/305.62 c 300s|340000 |339967 | 48722 | 0.1 | 401M| 431 | 0 |2375 |1911 |2375 | 381 | 14k| 43 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
314.29/314.36 c 309s|350000 |349967 | 50124 | 0.1 | 413M| 431 | 0 |2375 |1911 |2375 | 380 | 14k| 43 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
322.70/322.78 c 317s|360000 |359967 | 51321 | 0.1 | 424M| 431 | 0 |2375 |1909 |2375 | 375 | 15k| 43 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
331.19/331.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
331.19/331.23 c 325s|370000 |369967 | 52618 | 0.1 | 436M| 431 | 0 |2375 |1908 |2375 | 388 | 15k| 43 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
339.80/339.88 c 334s|380000 |379967 | 54382 | 0.1 | 448M| 431 | 0 |2375 |1908 |2375 | 374 | 16k| 43 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
348.50/348.57 c 342s|390000 |389967 | 55775 | 0.1 | 459M| 431 | 0 |2375 |1908 |2375 | 386 | 16k| 43 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
357.30/357.31 c 351s|400000 |399967 | 57289 | 0.1 | 471M| 431 | 0 |2375 |1908 |2375 | 386 | 17k| 43 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
365.79/365.80 c 359s|410000 |409967 | 58327 | 0.1 | 482M| 431 | 0 |2375 |1907 |2375 | 379 | 17k| 43 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
374.09/374.16 c 367s|420000 |419967 | 59155 | 0.1 | 494M| 431 | 0 |2375 |1907 |2375 | 378 | 17k| 43 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
382.49/382.59 c 376s|430000 |429967 | 60145 | 0.1 | 505M| 431 | 0 |2375 |1905 |2375 | 379 | 18k| 43 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
390.90/390.95 c 384s|440000 |439967 | 60928 | 0.1 | 517M| 431 | 0 |2375 |1903 |2375 | 378 | 18k| 43 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
399.30/399.38 c 392s|450000 |449967 | 61850 | 0.1 | 528M| 431 | 0 |2375 |1903 |2375 | 375 | 18k| 43 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
407.80/407.81 c 400s|460000 |459965 | 62729 | 0.1 | 540M| 431 | 0 |2375 |1904 |2375 | 378 | 18k| 45 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
416.10/416.18 c 409s|470000 |469965 | 63665 | 0.1 | 551M| 431 | 0 |2375 |1904 |2375 | 384 | 19k| 45 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
424.50/424.58 c 417s|480000 |479965 | 64662 | 0.1 | 563M| 431 | 0 |2375 |1902 |2375 | 379 | 19k| 45 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
432.80/432.87 c 425s|490000 |489965 | 65519 | 0.1 | 574M| 431 | 0 |2375 |1902 |2375 | 374 | 19k| 45 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
441.20/441.28 c 433s|500000 |499965 | 66453 | 0.1 | 586M| 431 | 0 |2375 |1900 |2375 | 374 | 20k| 45 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
449.59/449.66 c 442s|510000 |509965 | 67391 | 0.1 | 597M| 431 | 0 |2375 |1899 |2375 | 379 | 20k| 45 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
458.09/458.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
458.09/458.11 c 450s|520000 |519965 | 68310 | 0.1 | 609M| 431 | 0 |2375 |1899 |2375 | 377 | 20k| 45 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
466.50/466.57 c 458s|530000 |529963 | 69438 | 0.1 | 620M| 431 | 0 |2375 |1900 |2375 | 383 | 20k| 47 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
474.90/474.92 c 466s|540000 |539963 | 70419 | 0.1 | 632M| 431 | 0 |2375 |1900 |2375 | 375 | 21k| 47 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
483.20/483.23 c 475s|550000 |549963 | 71351 | 0.1 | 643M| 431 | 0 |2375 |1900 |2375 | 382 | 21k| 47 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
491.49/491.57 c 483s|560000 |559963 | 72313 | 0.1 | 655M| 431 | 0 |2375 |1900 |2375 | 376 | 21k| 47 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
499.80/499.85 c 491s|570000 |569963 | 73206 | 0.1 | 666M| 431 | 0 |2375 |1900 |2375 | 378 | 21k| 47 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
508.10/508.16 c 499s|580000 |579963 | 74146 | 0.1 | 678M| 431 | 0 |2375 |1900 |2375 | 378 | 22k| 47 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
516.40/516.46 c 507s|590000 |589963 | 75124 | 0.1 | 689M| 431 | 0 |2375 |1899 |2375 | 379 | 22k| 47 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
524.71/524.72 c 515s|600000 |599963 | 75965 | 0.1 | 701M| 431 | 0 |2375 |1899 |2375 | 375 | 22k| 47 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
533.00/533.03 c 524s|610000 |609963 | 76939 | 0.1 | 712M| 431 | 0 |2375 |1899 |2375 | 380 | 22k| 47 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
541.30/541.32 c 532s|620000 |619963 | 77920 | 0.1 | 724M| 431 | 0 |2375 |1899 |2375 | 379 | 23k| 47 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
549.60/549.60 c 540s|630000 |629963 | 78854 | 0.1 | 735M| 431 | 0 |2375 |1899 |2375 | 380 | 23k| 47 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
557.80/557.89 c 548s|640000 |639963 | 79779 | 0.1 | 747M| 431 | 0 |2375 |1899 |2375 | 379 | 23k| 47 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
566.10/566.19 c 556s|650000 |649961 | 80727 | 0.1 | 758M| 431 | 0 |2375 |1900 |2375 | 381 | 23k| 48 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
574.40/574.49 c 564s|660000 |659961 | 81617 | 0.1 | 770M| 431 | 0 |2375 |1900 |2375 | 375 | 24k| 48 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
582.80/582.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
582.80/582.82 c 572s|670000 |669961 | 82474 | 0.1 | 781M| 431 | 0 |2375 |1900 |2375 | 375 | 24k| 48 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
591.10/591.14 c 581s|680000 |679961 | 83333 | 0.1 | 793M| 431 | 0 |2375 |1900 |2375 | 378 | 24k| 48 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
599.41/599.42 c 589s|690000 |689961 | 84184 | 0.1 | 804M| 431 | 0 |2375 |1900 |2375 | 378 | 24k| 48 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
607.70/607.71 c 597s|700000 |699959 | 85055 | 0.1 | 816M| 431 | 0 |2375 |1899 |2375 | 374 | 25k| 49 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
615.91/615.99 c 605s|710000 |709955 | 85944 | 0.1 | 827M| 431 | 0 |2375 |1902 |2375 | 377 | 25k| 52 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
624.20/624.26 c 613s|720000 |719955 | 86968 | 0.1 | 839M| 431 | 0 |2375 |1901 |2375 | 378 | 25k| 52 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
632.51/632.53 c 621s|730000 |729955 | 87969 | 0.1 | 850M| 431 | 0 |2375 |1901 |2375 | 377 | 25k| 52 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
640.70/640.79 c 629s|740000 |739955 | 88951 | 0.1 | 862M| 431 | 0 |2375 |1900 |2375 | 383 | 25k| 52 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
649.01/649.07 c 637s|750000 |749955 | 89937 | 0.1 | 873M| 431 | 0 |2375 |1900 |2375 | 378 | 26k| 52 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
657.30/657.35 c 646s|760000 |759955 | 90838 | 0.1 | 885M| 431 | 0 |2375 |1900 |2375 | 379 | 26k| 52 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
665.61/665.61 c 654s|770000 |769955 | 91720 | 0.1 | 896M| 431 | 0 |2375 |1900 |2375 | 377 | 26k| 52 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
673.80/673.89 c 662s|780000 |779955 | 92623 | 0.1 | 908M| 431 | 0 |2375 |1900 |2375 | 379 | 26k| 52 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
682.11/682.15 c 670s|790000 |789955 | 93457 | 0.1 | 919M| 431 | 0 |2375 |1900 |2375 | 377 | 27k| 52 |1557 | 0.000000e+00 | 4.671700e+04 | Inf
690.40/690.43 c 678s|800000 |799953 | 94329 | 0.1 | 931M| 431 | 0 |2375 |1901 |2375 | 373 | 27k| 53 |1558 | 0.000000e+00 | 4.671700e+04 | Inf
698.70/698.70 c 686s|810000 |809953 | 95196 | 0.1 | 942M| 431 | 0 |2375 |1901 |2375 | 376 | 27k| 53 |1558 | 0.000000e+00 | 4.671700e+04 | Inf
707.00/707.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
707.00/707.00 c 694s|820000 |819953 | 96028 | 0.1 | 954M| 431 | 0 |2375 |1900 |2375 | 380 | 27k| 53 |1558 | 0.000000e+00 | 4.671700e+04 | Inf
715.30/715.30 c 703s|830000 |829953 | 96831 | 0.1 | 965M| 431 | 0 |2375 |1899 |2375 | 374 | 28k| 53 |1558 | 0.000000e+00 | 4.671700e+04 | Inf
723.51/723.59 c 711s|840000 |839953 | 97684 | 0.1 | 976M| 431 | 0 |2375 |1899 |2375 | 376 | 28k| 53 |1558 | 0.000000e+00 | 4.671700e+04 | Inf
731.80/731.85 c 719s|850000 |849953 | 98555 | 0.1 | 988M| 431 | 0 |2375 |1897 |2375 | 377 | 28k| 53 |1558 | 0.000000e+00 | 4.671700e+04 | Inf
740.10/740.14 c 727s|860000 |859953 | 99422 | 0.1 | 999M| 431 | 0 |2375 |1897 |2375 | 373 | 28k| 53 |1558 | 0.000000e+00 | 4.671700e+04 | Inf
748.40/748.41 c 735s|870000 |869953 |100269 | 0.1 |1011M| 431 | 0 |2375 |1897 |2375 | 376 | 29k| 53 |1558 | 0.000000e+00 | 4.671700e+04 | Inf
756.60/756.68 c 743s|880000 |879953 |101169 | 0.1 |1022M| 431 | 0 |2375 |1897 |2375 | 383 | 29k| 53 |1572 | 0.000000e+00 | 4.671700e+04 | Inf
765.01/765.02 c 751s|890000 |889953 |102157 | 0.1 |1034M| 431 | 0 |2375 |1897 |2375 | 373 | 29k| 53 |1576 | 0.000000e+00 | 4.671700e+04 | Inf
773.22/773.30 c 760s|900000 |899953 |103099 | 0.1 |1045M| 431 | 0 |2375 |1897 |2375 | 376 | 29k| 53 |1576 | 0.000000e+00 | 4.671700e+04 | Inf
781.51/781.59 c 768s|910000 |909953 |104040 | 0.1 |1057M| 431 | 0 |2375 |1897 |2375 | 377 | 29k| 53 |1576 | 0.000000e+00 | 4.671700e+04 | Inf
789.81/789.89 c 776s|920000 |919953 |105001 | 0.1 |1068M| 431 | 0 |2375 |1894 |2375 | 378 | 30k| 53 |1582 | 0.000000e+00 | 4.671700e+04 | Inf
798.11/798.14 c 784s|930000 |929953 |105869 | 0.1 |1080M| 431 | 0 |2375 |1894 |2375 | 382 | 30k| 53 |1582 | 0.000000e+00 | 4.671700e+04 | Inf
806.41/806.42 c 792s|940000 |939953 |106688 | 0.1 |1091M| 431 | 0 |2375 |1894 |2375 | 379 | 30k| 53 |1582 | 0.000000e+00 | 4.671700e+04 | Inf
814.70/814.70 c 800s|950000 |949953 |107567 | 0.1 |1103M| 431 | 0 |2375 |1894 |2375 | 375 | 30k| 53 |1583 | 0.000000e+00 | 4.671700e+04 | Inf
823.01/823.00 c 808s|960000 |959953 |108363 | 0.1 |1114M| 431 | 0 |2375 |1894 |2375 | 374 | 31k| 53 |1583 | 0.000000e+00 | 4.671700e+04 | Inf
831.31/831.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
831.31/831.32 c 817s|970000 |969953 |109232 | 0.1 |1126M| 431 | 0 |2375 |1894 |2375 | 379 | 31k| 53 |1583 | 0.000000e+00 | 4.671700e+04 | Inf
839.51/839.58 c 825s|980000 |979953 |110091 | 0.1 |1137M| 431 | 0 |2375 |1894 |2375 | 378 | 31k| 53 |1583 | 0.000000e+00 | 4.671700e+04 | Inf
847.81/847.84 c 833s|990000 |989953 |110959 | 0.1 |1149M| 431 | 0 |2375 |1894 |2375 | 373 | 31k| 53 |1583 | 0.000000e+00 | 4.671700e+04 | Inf
856.11/856.10 c 841s| 1000k|999953 |111846 | 0.1 |1160M| 431 | 0 |2375 |1894 |2375 | 379 | 32k| 53 |1583 | 0.000000e+00 | 4.671700e+04 | Inf
864.31/864.35 c 849s| 1010k| 1009k|112692 | 0.1 |1172M| 431 | 0 |2375 |1894 |2375 | 379 | 32k| 53 |1583 | 0.000000e+00 | 4.671700e+04 | Inf
872.61/872.66 c 857s| 1020k| 1019k|113570 | 0.1 |1183M| 431 | 0 |2375 |1894 |2375 | 373 | 32k| 53 |1583 | 0.000000e+00 | 4.671700e+04 | Inf
880.91/880.92 c 865s| 1030k| 1029k|114454 | 0.1 |1195M| 431 | 0 |2375 |1894 |2375 | 377 | 32k| 53 |1584 | 0.000000e+00 | 4.671700e+04 | Inf
889.11/889.15 c 873s| 1040k| 1039k|115380 | 0.1 |1206M| 431 | 0 |2375 |1894 |2375 | 380 | 33k| 53 |1584 | 0.000000e+00 | 4.671700e+04 | Inf
897.41/897.44 c 882s| 1050k| 1049k|116226 | 0.1 |1218M| 431 | 0 |2375 |1894 |2375 | 373 | 33k| 53 |1584 | 0.000000e+00 | 4.671700e+04 | Inf
905.71/905.70 c 890s| 1060k| 1059k|117090 | 0.1 |1229M| 431 | 0 |2375 |1894 |2375 | 373 | 33k| 53 |1584 | 0.000000e+00 | 4.671700e+04 | Inf
913.91/913.94 c 898s| 1070k| 1069k|117919 | 0.1 |1241M| 431 | 0 |2375 |1894 |2375 | 378 | 33k| 53 |1584 | 0.000000e+00 | 4.671700e+04 | Inf
922.11/922.18 c 906s| 1080k| 1079k|118740 | 0.1 |1252M| 431 | 0 |2375 |1894 |2375 | 379 | 33k| 53 |1584 | 0.000000e+00 | 4.671700e+04 | Inf
930.42/930.45 c 914s| 1090k| 1089k|119504 | 0.1 |1264M| 431 | 0 |2375 |1894 |2375 | 374 | 34k| 53 |1584 | 0.000000e+00 | 4.671700e+04 | Inf
938.91/938.96 c 922s| 1100k| 1099k|120536 | 0.1 |1275M| 431 | 0 |2375 |1894 |2375 | 378 | 34k| 53 |1601 | 0.000000e+00 | 4.671700e+04 | Inf
947.51/947.54 c 931s| 1110k| 1109k|121635 | 0.1 |1287M| 431 | 0 |2375 |1894 |2375 | 379 | 34k| 53 |1608 | 0.000000e+00 | 4.671700e+04 | Inf
956.11/956.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
956.11/956.14 c 939s| 1120k| 1119k|122824 | 0.1 |1298M| 431 | 0 |2375 |1893 |2375 | 378 | 35k| 53 |1611 | 0.000000e+00 | 4.671700e+04 | Inf
964.71/964.72 c 948s| 1130k| 1129k|123953 | 0.1 |1310M| 431 | 0 |2375 |1893 |2375 | 385 | 35k| 53 |1613 | 0.000000e+00 | 4.671700e+04 | Inf
973.31/973.32 c 956s| 1140k| 1139k|125095 | 0.1 |1321M| 431 | 0 |2375 |1893 |2375 | 377 | 35k| 53 |1613 | 0.000000e+00 | 4.671700e+04 | Inf
981.92/981.99 c 965s| 1150k| 1149k|126417 | 0.1 |1333M| 431 | 0 |2375 |1892 |2375 | 376 | 36k| 53 |1623 | 0.000000e+00 | 4.671700e+04 | Inf
990.52/990.59 c 973s| 1160k| 1159k|127627 | 0.1 |1344M| 431 | 0 |2375 |1892 |2375 | 379 | 36k| 53 |1625 | 0.000000e+00 | 4.671700e+04 | Inf
998.91/998.92 c 981s| 1170k| 1169k|128440 | 0.1 |1356M| 431 | 0 |2375 |1895 |2375 | 379 | 37k| 57 |1625 | 0.000000e+00 | 4.671700e+04 | Inf
1007.21/1007.24 c 989s| 1180k| 1179k|129279 | 0.1 |1367M| 431 | 0 |2375 |1895 |2375 | 373 | 37k| 57 |1627 | 0.000000e+00 | 4.671700e+04 | Inf
1015.51/1015.57 c 998s| 1190k| 1189k|130141 | 0.1 |1379M| 431 | 0 |2375 |1895 |2375 | 385 | 37k| 57 |1636 | 0.000000e+00 | 4.671700e+04 | Inf
1023.91/1023.98 c 1006s| 1200k| 1199k|131321 | 0.1 |1390M| 431 | 0 |2375 |1894 |2375 | 394 | 37k| 57 |1636 | 0.000000e+00 | 4.671700e+04 | Inf
1032.42/1032.41 c 1014s| 1210k| 1209k|132508 | 0.1 |1402M| 431 | 0 |2375 |1894 |2375 | 379 | 38k| 57 |1636 | 0.000000e+00 | 4.671700e+04 | Inf
1040.72/1040.71 c 1022s| 1220k| 1219k|133228 | 0.1 |1414M| 431 | 0 |2375 |1898 |2375 | 375 | 38k| 61 |1636 | 0.000000e+00 | 4.671700e+04 | Inf
1049.01/1049.01 c 1030s| 1230k| 1229k|134039 | 0.1 |1425M| 431 | 0 |2375 |1898 |2375 | 379 | 38k| 61 |1637 | 0.000000e+00 | 4.671700e+04 | Inf
1057.21/1057.26 c 1039s| 1240k| 1239k|134874 | 0.1 |1437M| 431 | 0 |2375 |1898 |2375 | 379 | 39k| 61 |1637 | 0.000000e+00 | 4.671700e+04 | Inf
1065.51/1065.53 c 1047s| 1250k| 1249k|135737 | 0.1 |1448M| 431 | 0 |2375 |1896 |2375 | 373 | 39k| 61 |1639 | 0.000000e+00 | 4.671700e+04 | Inf
1073.81/1073.84 c 1055s| 1260k| 1259k|136563 | 0.1 |1460M| 431 | 0 |2375 |1896 |2375 | 378 | 39k| 61 |1644 | 0.000000e+00 | 4.671700e+04 | Inf
1082.11/1082.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1082.11/1082.15 c 1063s| 1270k| 1269k|137408 | 0.1 |1471M| 431 | 0 |2375 |1896 |2375 | 380 | 39k| 61 |1646 | 0.000000e+00 | 4.671700e+04 | Inf
1090.42/1090.42 c 1071s| 1280k| 1279k|138311 | 0.1 |1482M| 431 | 0 |2375 |1896 |2375 | 380 | 40k| 61 |1646 | 0.000000e+00 | 4.671700e+04 | Inf
1098.72/1098.74 c 1079s| 1290k| 1289k|139247 | 0.1 |1494M| 431 | 0 |2375 |1896 |2375 | 377 | 40k| 61 |1646 | 0.000000e+00 | 4.671700e+04 | Inf
1107.01/1107.02 c 1088s| 1300k| 1299k|140138 | 0.1 |1505M| 431 | 0 |2375 |1896 |2375 | 378 | 40k| 61 |1646 | 0.000000e+00 | 4.671700e+04 | Inf
1115.32/1115.36 c 1096s| 1310k| 1309k|141084 | 0.1 |1517M| 431 | 0 |2375 |1896 |2375 | 379 | 40k| 61 |1663 | 0.000000e+00 | 4.671700e+04 | Inf
1123.62/1123.63 c 1104s| 1320k| 1319k|141864 | 0.1 |1528M| 431 | 0 |2375 |1896 |2375 | 375 | 41k| 61 |1663 | 0.000000e+00 | 4.671700e+04 | Inf
1131.92/1131.94 c 1112s| 1330k| 1329k|142702 | 0.1 |1540M| 431 | 0 |2375 |1896 |2375 | 378 | 41k| 61 |1664 | 0.000000e+00 | 4.671700e+04 | Inf
1140.21/1140.28 c 1120s| 1340k| 1339k|143535 | 0.1 |1551M| 431 | 0 |2375 |1896 |2375 | 378 | 41k| 61 |1664 | 0.000000e+00 | 4.671700e+04 | Inf
1148.61/1148.60 c 1128s| 1350k| 1349k|144547 | 0.1 |1563M| 431 | 0 |2375 |1896 |2375 | 377 | 41k| 61 |1693 | 0.000000e+00 | 4.671700e+04 | Inf
1156.82/1156.89 c 1137s| 1360k| 1359k|145622 | 0.1 |1574M| 431 | 0 |2375 |1896 |2375 | 373 | 41k| 61 |1696 | 0.000000e+00 | 4.671700e+04 | Inf
1165.12/1165.14 c 1145s| 1370k| 1369k|146657 | 0.1 |1586M| 431 | 0 |2375 |1896 |2375 | 377 | 42k| 61 |1696 | 0.000000e+00 | 4.671700e+04 | Inf
1173.42/1173.42 c 1153s| 1380k| 1379k|147726 | 0.1 |1597M| 431 | 0 |2375 |1896 |2375 | 377 | 42k| 61 |1696 | 0.000000e+00 | 4.671700e+04 | Inf
1181.62/1181.69 c 1161s| 1390k| 1389k|148661 | 0.1 |1609M| 431 | 0 |2375 |1896 |2375 | 373 | 42k| 61 |1699 | 0.000000e+00 | 4.671700e+04 | Inf
1189.92/1189.96 c 1169s| 1400k| 1399k|149576 | 0.1 |1620M| 431 | 0 |2375 |1896 |2375 | 378 | 42k| 61 |1700 | 0.000000e+00 | 4.671700e+04 | Inf
1198.22/1198.22 c 1177s| 1410k| 1409k|150434 | 0.1 |1632M| 431 | 0 |2375 |1896 |2375 | 374 | 43k| 61 |1703 | 0.000000e+00 | 4.671700e+04 | Inf
1206.42/1206.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1206.42/1206.46 c 1185s| 1420k| 1419k|151320 | 0.1 |1643M| 431 | 0 |2375 |1896 |2375 | 376 | 43k| 61 |1703 | 0.000000e+00 | 4.671700e+04 | Inf
1214.72/1214.70 c 1193s| 1430k| 1429k|152096 | 0.1 |1655M| 431 | 0 |2375 |1896 |2375 | 378 | 43k| 61 |1703 | 0.000000e+00 | 4.671700e+04 | Inf
1222.92/1222.97 c 1202s| 1440k| 1439k|153017 | 0.1 |1666M| 431 | 0 |2375 |1896 |2375 | 376 | 43k| 61 |1705 | 0.000000e+00 | 4.671700e+04 | Inf
1231.22/1231.24 c 1210s| 1450k| 1449k|153915 | 0.1 |1678M| 431 | 0 |2375 |1896 |2375 | 377 | 44k| 61 |1705 | 0.000000e+00 | 4.671700e+04 | Inf
1239.52/1239.53 c 1218s| 1460k| 1459k|154771 | 0.1 |1689M| 431 | 0 |2375 |1896 |2375 | 375 | 44k| 61 |1705 | 0.000000e+00 | 4.671700e+04 | Inf
1247.82/1247.82 c 1226s| 1470k| 1469k|155605 | 0.1 |1701M| 431 | 0 |2375 |1896 |2375 | 379 | 44k| 61 |1705 | 0.000000e+00 | 4.671700e+04 | Inf
1256.13/1256.13 c 1234s| 1480k| 1479k|156437 | 0.1 |1712M| 431 | 0 |2375 |1896 |2375 | 377 | 44k| 61 |1717 | 0.000000e+00 | 4.671700e+04 | Inf
1264.42/1264.44 c 1242s| 1490k| 1489k|157328 | 0.1 |1724M| 431 | 0 |2375 |1896 |2375 | 379 | 44k| 61 |1719 | 0.000000e+00 | 4.671700e+04 | Inf
1272.82/1272.89 c 1251s| 1500k| 1499k|158335 | 0.1 |1735M| 431 | 0 |2375 |1896 |2375 | 381 | 45k| 61 |1743 | 0.000000e+00 | 4.671700e+04 | Inf
1281.22/1281.29 c 1259s| 1510k| 1509k|159352 | 0.1 |1747M| 431 | 0 |2375 |1896 |2375 | 380 | 45k| 61 |1743 | 0.000000e+00 | 4.671700e+04 | Inf
1289.82/1289.87 c 1267s| 1520k| 1519k|160705 | 0.1 |1758M| 431 | 0 |2375 |1896 |2375 | 373 | 46k| 61 |1744 | 0.000000e+00 | 4.671700e+04 | Inf
1298.42/1298.46 c 1276s| 1530k| 1529k|162058 | 0.1 |1770M| 431 | 0 |2375 |1896 |2375 | 373 | 46k| 61 |1744 | 0.000000e+00 | 4.671700e+04 | Inf
1307.02/1307.07 c 1284s| 1540k| 1539k|163458 | 0.1 |1781M| 431 | 0 |2375 |1896 |2375 | 376 | 47k| 61 |1761 | 0.000000e+00 | 4.671700e+04 | Inf
1315.63/1315.64 c 1293s| 1550k| 1549k|164751 | 0.1 |1793M| 431 | 0 |2375 |1894 |2375 | 375 | 47k| 61 |1761 | 0.000000e+00 | 4.671700e+04 | Inf
1324.12/1324.17 c 1301s| 1560k| 1559k|166003 | 0.1 |1804M| 431 | 0 |2375 |1894 |2375 | 381 | 47k| 61 |1784 | 0.000000e+00 | 4.671700e+04 | Inf
1332.63/1332.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1332.63/1332.65 c 1309s| 1570k| 1569k|167236 | 0.1 |1816M| 431 | 0 |2375 |1893 |2375 | 381 | 48k| 61 |1808 | 0.000000e+00 | 4.671700e+04 | Inf
1341.12/1341.18 c 1318s| 1580k| 1579k|168454 | 0.1 |1827M| 431 | 0 |2375 |1892 |2375 | 383 | 48k| 61 |1808 | 0.000000e+00 | 4.671700e+04 | Inf
1349.63/1349.66 c 1326s| 1590k| 1589k|169689 | 0.1 |1839M| 431 | 0 |2375 |1892 |2375 | 373 | 48k| 61 |1809 | 0.000000e+00 | 4.671700e+04 | Inf
1358.02/1358.04 c 1334s| 1600k| 1599k|170766 | 0.1 |1850M| 431 | 3 |2375 |1894 |2375 | 381 | 49k| 63 |1813 | 0.000000e+00 | 4.671700e+04 | Inf
1366.43/1366.42 c 1342s| 1610k| 1609k|171892 | 0.1 |1862M| 431 | 0 |2375 |1896 |2375 | 377 | 49k| 65 |1814 | 0.000000e+00 | 4.671700e+04 | Inf
1374.82/1374.90 c 1351s| 1620k| 1619k|173222 | 0.1 |1873M| 431 | 0 |2375 |1900 |2375 | 384 | 49k| 69 |1825 | 0.000000e+00 | 4.671700e+04 | Inf
1383.23/1383.27 c 1359s| 1630k| 1629k|174244 | 0.1 |1885M| 431 | 0 |2375 |1900 |2375 | 373 | 50k| 69 |1828 | 0.000000e+00 | 4.671700e+04 | Inf
1391.82/1391.87 c 1367s| 1640k| 1639k|175570 | 0.1 |1896M| 431 | 0 |2375 |1899 |2375 | 374 | 50k| 69 |1828 | 0.000000e+00 | 4.671700e+04 | Inf
1400.42/1400.44 c 1376s| 1650k| 1649k|176904 | 0.1 |1908M| 431 | 0 |2375 |1898 |2375 | 376 | 51k| 69 |1834 | 0.000000e+00 | 4.671700e+04 | Inf
1408.92/1408.91 c 1384s| 1660k| 1659k|177906 | 0.1 |1919M| 431 | 0 |2375 |1897 |2375 | 373 | 51k| 69 |1834 | 0.000000e+00 | 4.671700e+04 | Inf
1417.43/1417.48 c 1393s| 1670k| 1669k|178980 | 0.1 |1931M| 431 | 0 |2375 |1895 |2375 | 383 | 51k| 69 |1834 | 0.000000e+00 | 4.671700e+04 | Inf
1425.93/1425.98 c 1401s| 1680k| 1679k|180089 | 0.1 |1942M| 431 | 0 |2375 |1895 |2375 | 379 | 52k| 69 |1843 | 0.000000e+00 | 4.671700e+04 | Inf
1434.33/1434.38 c 1409s| 1690k| 1689k|181320 | 0.1 |1954M| 431 | 0 |2375 |1895 |2375 | 383 | 52k| 69 |1849 | 0.000000e+00 | 4.671700e+04 | Inf
1442.93/1442.97 c 1418s| 1700k| 1699k|182619 | 0.1 |1965M| 431 | 0 |2375 |1897 |2375 | 386 | 52k| 71 |1855 | 0.000000e+00 | 4.671700e+04 | Inf
1451.63/1451.66 c 1426s| 1710k| 1709k|184027 | 0.1 |1977M| 431 | 0 |2375 |1901 |2375 | 381 | 53k| 75 |1856 | 0.000000e+00 | 4.671700e+04 | Inf
1459.93/1459.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1459.93/1459.97 c 1434s| 1720k| 1719k|184914 | 0.1 |1988M| 431 | 0 |2375 |1902 |2375 | 380 | 53k| 77 |1857 | 0.000000e+00 | 4.671700e+04 | Inf
1468.23/1468.24 c 1442s| 1730k| 1729k|185853 | 0.1 |2000M| 431 | 0 |2375 |1902 |2375 | 379 | 53k| 77 |1858 | 0.000000e+00 | 4.671700e+04 | Inf
1476.53/1476.50 c 1451s| 1740k| 1739k|186764 | 0.1 |2011M| 431 | 0 |2375 |1900 |2375 | 373 | 54k| 77 |1858 | 0.000000e+00 | 4.671700e+04 | Inf
1484.73/1484.74 c 1459s| 1750k| 1749k|187663 | 0.1 |2023M| 431 | 0 |2375 |1899 |2375 | 377 | 54k| 77 |1859 | 0.000000e+00 | 4.671700e+04 | Inf
1493.12/1493.15 c 1467s| 1760k| 1759k|188804 | 0.1 |2034M| 431 | 0 |2375 |1898 |2375 | 373 | 54k| 77 |1889 | 0.000000e+00 | 4.671700e+04 | Inf
1501.73/1501.79 c 1475s| 1770k| 1769k|190350 | 0.1 |2046M| 431 | 0 |2375 |1898 |2375 | 378 | 55k| 77 |1900 | 0.000000e+00 | 4.671700e+04 | Inf
1510.03/1510.03 c 1483s| 1780k| 1779k|191299 | 0.1 |2057M| 431 | 0 |2375 |1898 |2375 | 383 | 55k| 77 |1900 | 0.000000e+00 | 4.671700e+04 | Inf
1518.33/1518.31 c 1492s| 1790k| 1789k|192324 | 0.1 |2069M| 431 | 0 |2375 |1898 |2375 | 378 | 55k| 77 |1900 | 0.000000e+00 | 4.671700e+04 | Inf
1526.63/1526.61 c 1500s| 1800k| 1799k|193242 | 0.1 |2080M| 431 | 0 |2375 |1898 |2375 | 378 | 55k| 77 |1900 | 0.000000e+00 | 4.671700e+04 | Inf
1534.83/1534.87 c 1508s| 1810k| 1809k|194154 | 0.1 |2092M| 431 | 0 |2375 |1898 |2375 | 378 | 56k| 77 |1900 | 0.000000e+00 | 4.671700e+04 | Inf
1543.13/1543.19 c 1516s| 1820k| 1819k|195106 | 0.1 |2103M| 431 | 0 |2375 |1897 |2375 | 381 | 56k| 77 |1909 | 0.000000e+00 | 4.671700e+04 | Inf
1551.53/1551.56 c 1524s| 1830k| 1829k|196202 | 0.1 |2115M| 431 | 0 |2375 |1897 |2375 | 378 | 56k| 77 |1909 | 0.000000e+00 | 4.671700e+04 | Inf
1559.74/1559.79 c 1532s| 1840k| 1839k|197037 | 0.1 |2126M| 431 | 0 |2375 |1897 |2375 | 377 | 56k| 77 |1910 | 0.000000e+00 | 4.671700e+04 | Inf
1568.03/1568.03 c 1540s| 1850k| 1849k|197905 | 0.1 |2138M| 431 | 0 |2375 |1897 |2375 | 373 | 57k| 77 |1911 | 0.000000e+00 | 4.671700e+04 | Inf
1576.23/1576.27 c 1549s| 1860k| 1859k|198795 | 0.1 |2149M| 431 | 0 |2375 |1896 |2375 | 373 | 57k| 77 |1914 | 0.000000e+00 | 4.671700e+04 | Inf
1584.53/1584.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1584.53/1584.51 c 1557s| 1870k| 1869k|199671 | 0.1 |2161M| 431 | 0 |2375 |1896 |2375 | 377 | 57k| 77 |1914 | 0.000000e+00 | 4.671700e+04 | Inf
1592.73/1592.74 c 1565s| 1880k| 1879k|200538 | 0.1 |2172M| 431 | 0 |2375 |1896 |2375 | 377 | 57k| 77 |1914 | 0.000000e+00 | 4.671700e+04 | Inf
1600.93/1600.98 c 1573s| 1890k| 1889k|201394 | 0.1 |2184M| 431 | 0 |2375 |1896 |2375 | 378 | 58k| 77 |1914 | 0.000000e+00 | 4.671700e+04 | Inf
1609.24/1609.20 c 1581s| 1900k| 1899k|202243 | 0.1 |2195M| 431 | 0 |2375 |1896 |2375 | 373 | 58k| 77 |1914 | 0.000000e+00 | 4.671700e+04 | Inf
1617.43/1617.44 c 1589s| 1910k| 1909k|203086 | 0.1 |2207M| 431 | 0 |2375 |1896 |2375 | 376 | 58k| 77 |1918 | 0.000000e+00 | 4.671700e+04 | Inf
1625.63/1625.67 c 1597s| 1920k| 1919k|203922 | 0.1 |2218M| 431 | 0 |2375 |1896 |2375 | 377 | 58k| 77 |1920 | 0.000000e+00 | 4.671700e+04 | Inf
1633.83/1633.88 c 1605s| 1930k| 1929k|204776 | 0.1 |2230M| 431 | 0 |2375 |1896 |2375 | 377 | 58k| 77 |1920 | 0.000000e+00 | 4.671700e+04 | Inf
1642.13/1642.12 c 1613s| 1940k| 1939k|205569 | 0.1 |2241M| 431 | 0 |2375 |1896 |2375 | 374 | 59k| 77 |1920 | 0.000000e+00 | 4.671700e+04 | Inf
1650.33/1650.33 c 1621s| 1950k| 1949k|206355 | 0.1 |2253M| 431 | 0 |2375 |1896 |2375 | 374 | 59k| 77 |1920 | 0.000000e+00 | 4.671700e+04 | Inf
1658.53/1658.59 c 1629s| 1960k| 1959k|207174 | 0.1 |2264M| 431 | 0 |2375 |1896 |2375 | 379 | 59k| 77 |1920 | 0.000000e+00 | 4.671700e+04 | Inf
1666.83/1666.86 c 1637s| 1970k| 1969k|208060 | 0.1 |2276M| 431 | 0 |2375 |1896 |2375 | 381 | 59k| 77 |1920 | 0.000000e+00 | 4.671700e+04 | Inf
1675.23/1675.25 c 1646s| 1980k| 1979k|209139 | 0.1 |2287M| 431 | 0 |2375 |1896 |2375 | 373 | 60k| 77 |1957 | 0.000000e+00 | 4.671700e+04 | Inf
1683.53/1683.51 c 1654s| 1990k| 1989k|210191 | 0.1 |2299M| 431 | 0 |2375 |1896 |2375 | 373 | 60k| 77 |1957 | 0.000000e+00 | 4.671700e+04 | Inf
1691.74/1691.74 c 1662s| 2000k| 1999k|211206 | 0.1 |2310M| 431 | 0 |2375 |1896 |2375 | 373 | 60k| 77 |1957 | 0.000000e+00 | 4.671700e+04 | Inf
1700.13/1700.12 c 1670s| 2010k| 2009k|212265 | 0.1 |2322M| 431 | 0 |2375 |1896 |2375 | 382 | 61k| 77 |1967 | 0.000000e+00 | 4.671700e+04 | Inf
1708.63/1708.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1708.63/1708.66 c 1678s| 2020k| 2019k|213631 | 0.1 |2333M| 431 | 0 |2375 |1896 |2375 | 383 | 61k| 77 |1968 | 0.000000e+00 | 4.671700e+04 | Inf
1717.14/1717.19 c 1687s| 2030k| 2029k|214961 | 0.1 |2344M| 431 | 0 |2375 |1896 |2375 | 373 | 61k| 77 |1968 | 0.000000e+00 | 4.671700e+04 | Inf
1725.53/1725.57 c 1695s| 2040k| 2039k|216000 | 0.1 |2356M| 431 | 0 |2375 |1896 |2375 | 384 | 62k| 77 |1977 | 0.000000e+00 | 4.671700e+04 | Inf
1734.04/1734.02 c 1703s| 2050k| 2049k|217145 | 0.1 |2367M| 431 | 0 |2375 |1896 |2375 | 384 | 62k| 77 |1990 | 0.000000e+00 | 4.671700e+04 | Inf
1742.44/1742.44 c 1712s| 2060k| 2059k|218264 | 0.1 |2379M| 431 | 0 |2375 |1896 |2375 | 373 | 62k| 77 |1996 | 0.000000e+00 | 4.671700e+04 | Inf
1750.93/1750.96 c 1720s| 2070k| 2069k|219442 | 0.1 |2390M| 431 | 0 |2375 |1896 |2375 | 387 | 63k| 77 |2009 | 0.000000e+00 | 4.671700e+04 | Inf
1759.63/1759.61 c 1729s| 2080k| 2079k|220923 | 0.1 |2402M| 431 | 0 |2375 |1896 |2375 | 376 | 63k| 77 |2013 | 0.000000e+00 | 4.671700e+04 | Inf
1768.13/1768.12 c 1737s| 2090k| 2089k|222019 | 0.1 |2413M| 431 | 0 |2375 |1896 |2375 | 375 | 63k| 77 |2015 | 0.000000e+00 | 4.671700e+04 | Inf
1776.73/1776.74 c 1745s| 2100k| 2099k|223175 | 0.1 |2425M| 431 | 0 |2375 |1896 |2375 | 380 | 64k| 77 |2015 | 0.000000e+00 | 4.671700e+04 | Inf
1785.34/1785.38 c 1754s| 2110k| 2109k|224399 | 0.1 |2436M| 431 | 0 |2375 |1896 |2375 | 385 | 64k| 77 |2015 | 0.000000e+00 | 4.671700e+04 | Inf
1793.73/1793.76 c 1762s| 2120k| 2119k|225400 | 0.1 |2448M| 431 | 0 |2375 |1896 |2375 | 378 | 65k| 77 |2029 | 0.000000e+00 | 4.671700e+04 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1768.20
1800.04/1800.00 c Solving Nodes : 2127415
1800.04/1800.00 c Primal Bound : +4.67170000000000e+04 (102 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.02 s SATISFIABLE
1800.04/1800.02 v -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474
1800.04/1800.02 v -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454
1800.04/1800.02 v -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433
1800.04/1800.02 v -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412
1800.04/1800.02 v -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391
1800.04/1800.02 v -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370
1800.04/1800.02 v x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 x353 -x352 -x351 -x350 -x349
1800.04/1800.02 v -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 x330 -x329 -x328
1800.04/1800.02 v -x327 -x326 -x325 -x324 x323 -x322 x321 -x320 -x319 -x318 -x317 -x316 -x315 x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307
1800.04/1800.02 v -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 x286
1800.04/1800.02 v -x285 -x284 -x283 -x282 x281 -x280 -x279 -x278 -x277 -x276 x275 -x274 -x273 -x272 -x271 x270 -x269 -x268 -x267 -x266 x265 -x264
1800.04/1800.02 v -x263 -x262 -x261 -x260 x259 -x258 -x257 -x256 -x255 x254 -x253 -x252 -x251 -x250 x249 -x248 -x247 -x246 -x245 x244 -x243
1800.04/1800.02 v -x242 x241 -x240 -x239 -x238 -x237 -x236 -x235 x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222
1800.04/1800.02 v -x221 -x220 -x219 x218 -x217 -x216 -x215 x214 -x213 x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200
1800.04/1800.02 v -x199 x198 -x197 -x196 -x195 -x194 -x193 x192 x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 x179
1800.04/1800.02 v -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168 -x167 x166 -x165 x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157
1800.04/1800.02 v -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 x146 x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136
1800.04/1800.02 v x135 -x134 -x133 x132 -x131 x130 x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114
1800.04/1800.02 v -x113 -x112 -x111 -x110 x109 -x108 -x107 -x106 x105 x104 -x103 -x102 -x101 -x100 x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91
1800.04/1800.02 v -x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 x79 -x78 x77 -x76 x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 x65
1800.04/1800.02 v -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 x40
1800.04/1800.02 v -x39 -x38 -x37 -x36 -x35 -x34 -x33 x32 -x31 -x30 -x29 -x28 x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 x15 -x14
1800.04/1800.02 v -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 x5 -x4 -x3 -x2 x1
1800.04/1800.02 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.02 c Solving Time : 1768.20
1800.04/1800.02 c Original Problem :
1800.04/1800.02 c Problem name : HOME/instance-2693123-1277931570.wbo
1800.04/1800.02 c Variables : 2375 (1435 binary, 0 integer, 0 implicit integer, 940 continuous)
1800.04/1800.02 c Constraints : 1881 initial, 1881 maximal
1800.04/1800.02 c Presolved Problem :
1800.04/1800.02 c Problem name : t_HOME/instance-2693123-1277931570.wbo
1800.04/1800.02 c Variables : 2375 (1435 binary, 0 integer, 0 implicit integer, 940 continuous)
1800.04/1800.02 c Constraints : 1880 initial, 1922 maximal
1800.04/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.02 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c probing : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.02 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c varbound : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c linear : 0.02 0 0 0 940 0 1 70 140
1800.04/1800.02 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c root node : - 0 - - 0 - - - -
1800.04/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.02 c integral : 0 0 0 2178278 0 0 0 0 0 40042
1800.04/1800.02 c indicator : 940 0 3694023 2158257 0 0 2054129 0 0 0
1800.04/1800.02 c varbound : 1 6 390745 204417 0 0 9634 1 0 0
1800.04/1800.02 c linear : 939 6 3694023 2158257 0 40 1020138 65038 0 0
1800.04/1800.02 c logicor : 0+ 0 42490 0 0 6 17275 0 0 0
1800.04/1800.02 c countsols : 0 0 0 2107358 0 0 0 0 0 0
1800.04/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.02 c integral : 3.55 0.00 0.00 3.55 0.00
1800.04/1800.02 c indicator : 159.38 0.05 38.40 120.93 0.00
1800.04/1800.02 c varbound : 0.24 0.00 0.14 0.10 0.00
1800.04/1800.02 c linear : 178.95 0.00 25.85 153.10 0.00
1800.04/1800.02 c logicor : 0.07 0.00 0.07 0.00 0.00
1800.04/1800.02 c countsols : 0.51 0.00 0.00 0.51 0.00
1800.04/1800.02 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.02 c vbounds : 0.92 19305 0 0
1800.04/1800.02 c rootredcost : 0.79 1 0 0
1800.04/1800.02 c pseudoobj : 74.38 3693823 0 0
1800.04/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.02 c propagation : 0.00 46 42 74 12.2 29 4.4 -
1800.04/1800.02 c infeasible LP : 0.00 3 3 3 4.7 0 0.0 0
1800.04/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.02 c applied globally : - - - 77 8.9 - - -
1800.04/1800.02 c applied locally : - - - 0 0.0 - - -
1800.04/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.02 c cut pool : 0.00 4 - - 290 - (maximal pool size: 660)
1800.04/1800.02 c redcost : 103.86 2178283 0 0 0 0
1800.04/1800.02 c impliedbounds : 0.00 5 0 0 0 0
1800.04/1800.02 c intobj : 0.00 0 0 0 0 0
1800.04/1800.02 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.02 c gomory : 0.00 5 0 0 79 0
1800.04/1800.02 c strongcg : 0.00 5 0 0 0 0
1800.04/1800.02 c cmir : 0.06 5 0 0 324 0
1800.04/1800.02 c flowcover : 0.09 5 0 0 601 0
1800.04/1800.02 c clique : 0.00 1 0 0 0 0
1800.04/1800.02 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.02 c mcf : 0.00 1 0 0 0 0
1800.04/1800.02 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.02 c Pricers : Time Calls Vars
1800.04/1800.02 c problem variables: 0.00 0 0
1800.04/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.02 c relpscost : 2.77 20021 0 0 0 0 40042
1800.04/1800.02 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.02 c inference : 192.37 2107358 0 0 0 0 4214716
1800.04/1800.02 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.02 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.02 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.02 c random : 0.00 0 0 0 0 0 0
1800.04/1800.02 c Primal Heuristics : Time Calls Found
1800.04/1800.02 c LP solutions : 0.00 - 0
1800.04/1800.02 c pseudo solutions : 0.00 - 0
1800.04/1800.02 c feaspump : 0.00 0 0
1800.04/1800.02 c oneopt : 1.50 1 0
1800.04/1800.02 c intshifting : 0.01 4 0
1800.04/1800.02 c crossover : 1.04 13 0
1800.04/1800.02 c guideddiving : 5.87 9649 0
1800.04/1800.02 c veclendiving : 5.51 9650 0
1800.04/1800.02 c linesearchdiving : 5.87 9650 0
1800.04/1800.02 c coefdiving : 6.16 9650 0
1800.04/1800.02 c pscostdiving : 5.40 9650 0
1800.04/1800.02 c fracdiving : 6.49 9650 0
1800.04/1800.02 c rootsoldiving : 6.53 9649 0
1800.04/1800.02 c objpscostdiving : 5.99 9650 0
1800.04/1800.02 c trivial : 0.02 2 2
1800.04/1800.02 c simplerounding : 0.62 19975 0
1800.04/1800.02 c zirounding : 0.81 1000 0
1800.04/1800.02 c rounding : 0.53 1979 0
1800.04/1800.02 c shifting : 0.46 600 0
1800.04/1800.02 c twoopt : 0.00 0 0
1800.04/1800.02 c fixandinfer : 0.00 0 0
1800.04/1800.02 c intdiving : 0.00 0 0
1800.04/1800.02 c actconsdiving : 0.00 0 0
1800.04/1800.02 c octane : 0.00 0 0
1800.04/1800.02 c rens : 0.02 1 0
1800.04/1800.02 c rins : 0.00 0 0
1800.04/1800.02 c localbranching : 0.00 0 0
1800.04/1800.02 c mutation : 0.00 0 0
1800.04/1800.02 c dins : 0.00 0 0
1800.04/1800.02 c undercover : 0.00 0 0
1800.04/1800.02 c nlp : 0.52 0 0
1800.04/1800.02 c trysol : 0.91 10557 100
1800.04/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.02 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.02 c dual LP : 632.82 169343 224170 1.32 354.24
1800.04/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.02 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.02 c diving/probing LP: 0.23 445 1922 4.32 8356.52
1800.04/1800.02 c strong branching : 2.62 2029 24564 12.11 9375.57
1800.04/1800.02 c (at root node) : - 33 4749 143.91 -
1800.04/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.02 c B&B Tree :
1800.04/1800.02 c number of runs : 1
1800.04/1800.02 c nodes : 2127415
1800.04/1800.02 c nodes (total) : 2127415
1800.04/1800.02 c nodes left : 2127344
1800.04/1800.02 c max depth : 431
1800.04/1800.02 c max depth (total): 431
1800.04/1800.02 c backtracks : 9656 (0.5%)
1800.04/1800.02 c delayed cutoffs : 0
1800.04/1800.02 c repropagations : 1115 (71 domain reductions, 0 cutoffs)
1800.04/1800.02 c avg switch length: 2.09
1800.04/1800.02 c switching time : 50.59
1800.04/1800.02 c Solution :
1800.04/1800.02 c Solutions found : 102 (2 improvements)
1800.04/1800.02 c First Solution : +4.68140000000000e+04 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.04/1800.02 c Primal Bound : +4.67170000000000e+04 (in run 1, after 1 nodes, 0.06 seconds, depth 0, found by <trysol>)
1800.04/1800.02 c Dual Bound : +0.00000000000000e+00
1800.04/1800.02 c Gap : infinite
1800.04/1800.02 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.02 c Root Iterations : 637
OK 8472
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693123-1277931570/watcher-2693123-1277931570 -o /tmp/evaluation-result-2693123-1277931570/solver-2693123-1277931570 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693123-1277931570.wbo -t 1800 -m 3800 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 4/178 17275 /proc/meminfo: memFree=30896992/32951124 swapFree=67111528/67111528 [pid=17275] ppid=17273 vsize=10972 CPUtime=0 /proc/17275/stat : 17275 (pbscip.linux.x8) R 17273 17275 16793 0 -1 4202496 1669 0 0 0 0 0 0 0 25 0 1 0 134452192 11235328 1589 4089446400 4194304 9819077 140737418903616 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/17275/statm: 2743 1589 392 1374 0 1364 0 [startup+0.0517671 s] /proc/loadavg: 2.00 2.00 2.00 4/178 17275 /proc/meminfo: memFree=30896992/32951124 swapFree=67111528/67111528 [pid=17275] ppid=17273 vsize=21516 CPUtime=0.04 /proc/17275/stat : 17275 (pbscip.linux.x8) R 17273 17275 16793 0 -1 4202496 4987 0 0 0 4 0 0 0 25 0 1 0 134452192 22032384 4039 4089446400 4194304 9819077 140737418903616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17275/statm: 5379 4039 501 1374 0 4000 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 21516 [startup+0.100759 s] /proc/loadavg: 2.00 2.00 2.00 4/178 17275 /proc/meminfo: memFree=30896992/32951124 swapFree=67111528/67111528 [pid=17275] ppid=17273 vsize=26472 CPUtime=0.09 /proc/17275/stat : 17275 (pbscip.linux.x8) R 17273 17275 16793 0 -1 4202496 6388 0 0 0 9 0 0 0 25 0 1 0 134452192 27107328 5171 4089446400 4194304 9819077 140737418903616 18446744073709551615 5734155 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17275/statm: 6618 5171 662 1374 0 5239 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 26472 [startup+0.300724 s] /proc/loadavg: 2.00 2.00 2.00 4/178 17275 /proc/meminfo: memFree=30896992/32951124 swapFree=67111528/67111528 [pid=17275] ppid=17273 vsize=30168 CPUtime=0.29 /proc/17275/stat : 17275 (pbscip.linux.x8) R 17273 17275 16793 0 -1 4202496 11147 0 0 0 28 1 0 0 25 0 1 0 134452192 30892032 5617 4089446400 4194304 9819077 140737418903616 18446744073709551615 7291592 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17275/statm: 7542 5617 695 1374 0 6163 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30168 [startup+0.700652 s] /proc/loadavg: 2.00 2.00 2.00 4/178 17275 /proc/meminfo: memFree=30896992/32951124 swapFree=67111528/67111528 [pid=17275] ppid=17273 vsize=29844 CPUtime=0.69 /proc/17275/stat : 17275 (pbscip.linux.x8) R 17273 17275 16793 0 -1 4202496 17725 0 0 0 67 2 0 0 25 0 1 0 134452192 30560256 5590 4089446400 4194304 9819077 140737418903616 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17275/statm: 7461 5590 700 1374 0 6082 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29844 [startup+1.50052 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17276 /proc/meminfo: memFree=30876896/32951124 swapFree=67111528/67111528 [pid=17275] ppid=17273 vsize=28196 CPUtime=1.49 /proc/17275/stat : 17275 (pbscip.linux.x8) R 17273 17275 16793 0 -1 4202496 45748 0 0 0 140 9 0 0 25 0 1 0 134452192 28872704 5564 4089446400 4194304 9819077 140737418903616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17275/statm: 7049 5564 700 1374 0 5670 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28196 [startup+3.10022 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17276 /proc/meminfo: memFree=30876896/32951124 swapFree=67111528/67111528 [pid=17275] ppid=17273 vsize=29816 CPUtime=3.09 /proc/17275/stat : 17275 (pbscip.linux.x8) R 17273 17275 16793 0 -1 4202496 83657 0 0 0 290 19 0 0 25 0 1 0 134452192 30531584 5921 4089446400 4194304 9819077 140737418903616 18446744073709551615 6702968 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17275/statm: 7454 5921 702 1374 0 6075 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 29816 [startup+6.30065 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17276 /proc/meminfo: memFree=30869332/32951124 swapFree=67111528/67111528 [pid=17275] ppid=17273 vsize=36024 CPUtime=6.29 /proc/17275/stat : 17275 (pbscip.linux.x8) R 17273 17275 16793 0 -1 4202496 102629 0 0 0 603 26 0 0 25 0 1 0 134452192 36888576 7825 4089446400 4194304 9819077 140737418903616 18446744073709551615 4414507 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17275/statm: 9006 7825 706 1374 0 7627 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 36024 [startup+12.7005 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17276 /proc/meminfo: memFree=30863500/32951124 swapFree=67111528/67111528 [pid=17275] ppid=17273 vsize=45296 CPUtime=12.69 /proc/17275/stat : 17275 (pbscip.linux.x8) R 17273 17275 16793 0 -1 4202496 113847 0 0 0 1232 37 0 0 25 0 1 0 134452192 46383104 10102 4089446400 4194304 9819077 140737418903616 18446744073709551615 6361147 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17275/statm: 11324 10102 706 1374 0 9945 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 45296 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17276 /proc/meminfo: memFree=30849656/32951124 swapFree=67111528/67111528 [pid=17275] ppid=17273 vsize=59780 CPUtime=25.49 /proc/17275/stat : 17275 (pbscip.linux.x8) R 17273 17275 16793 0 -1 4202496 130503 0 0 0 2489 60 0 0 25 0 1 0 134452192 61214720 13679 4089446400 4194304 9819077 140737418903616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17275/statm: 14945 13679 706 1374 0 13566 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 59780 [startup+51.1006 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17276 /proc/meminfo: memFree=30818864/32951124 swapFree=67111528/67111528 [pid=17275] ppid=17273 vsize=89224 CPUtime=51.09 /proc/17275/stat : 17275 (pbscip.linux.x8) R 17273 17275 16793 0 -1 4202496 160590 0 0 0 5003 106 0 0 25 0 1 0 134452192 91365376 21117 4089446400 4194304 9819077 140737418903616 18446744073709551615 6003263 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17275/statm: 22306 21117 721 1374 0 20927 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 89224 [startup+102.306 s] /proc/loadavg: 2.07 2.02 2.00 3/179 17315 /proc/meminfo: memFree=31085516/32951124 swapFree=67111528/67111528 [pid=17275] ppid=17273 vsize=152808 CPUtime=102.29 /proc/17275/stat : 17275 (pbscip.linux.x8) R 17273 17275 16793 0 -1 4202496 224220 0 0 0 10038 191 0 0 25 0 1 0 134452192 156475392 36605 4089446400 4194304 9819077 140737418903616 18446744073709551615 7815945 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17275/statm: 38202 36605 721 1374 0 36823 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 152808 [startup+162.301 s] /proc/loadavg: 2.02 2.01 2.00 3/179 17317 /proc/meminfo: memFree=30939248/32951124 swapFree=67111528/67111528 [pid=17275] ppid=17273 vsize=228044 CPUtime=162.29 /proc/17275/stat : 17275 (pbscip.linux.x8) R 17273 17275 16793 0 -1 4202496 297513 0 0 0 15927 302 0 0 25 0 1 0 134452192 233517056 55677 4089446400 4194304 9819077 140737418903616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17275/statm: 57011 55677 721 1374 0 55632 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 228044 [startup+222.301 s] /proc/loadavg: 2.01 2.00 2.00 3/179 17318 /proc/meminfo: memFree=30780848/32951124 swapFree=67111528/67111528 [pid=17275] ppid=17273 vsize=313072 CPUtime=222.29 /proc/17275/stat : 17275 (pbscip.linux.x8) R 17273 17275 16793 0 -1 4202496 368774 0 0 0 21823 406 0 0 25 0 1 0 134452192 320585728 76175 4089446400 4194304 9819077 140737418903616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17275/statm: 78268 76175 721 1374 0 76889 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 313072 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17320 /proc/meminfo: memFree=30619488/32951124 swapFree=67111528/67111528 [pid=17275] ppid=17273 vsize=395020 CPUtime=282.3 /proc/17275/stat : 17275 (pbscip.linux.x8) R 17273 17275 16793 0 -1 4202496 435600 0 0 0 27715 515 0 0 25 0 1 0 134452192 404500480 96932 4089446400 4194304 9819077 140737418903616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17275/statm: 98755 96932 721 1374 0 97376 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 395020 [startup+342.3 s] /proc/loadavg: 2.05 2.01 2.00 3/179 17321 /proc/meminfo: memFree=30459604/32951124 swapFree=67111528/67111528 [pid=17275] ppid=17273 vsize=472576 CPUtime=342.3 /proc/17275/stat : 17275 (pbscip.linux.x8) R 17273 17275 16793 0 -1 4202496 516963 0 0 0 33607 623 0 0 25 0 1 0 134452192 483917824 116574 4089446400 4194304 9819077 140737418903616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17275/statm: 118144 116574 721 1374 0 116765 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 472576 [startup+402.301 s] /proc/loadavg: 2.02 2.01 2.00 3/179 17323 /proc/meminfo: memFree=30299600/32951124 swapFree=67111528/67111528 [pid=17275] ppid=17273 vsize=552588 CPUtime=402.3 /proc/17275/stat : 17275 (pbscip.linux.x8) R 17273 17275 16793 0 -1 4202496 592865 0 0 0 39506 724 0 0 25 0 1 0 134452192 565850112 136875 4089446400 4194304 9819077 140737418903616 18446744073709551615 7815949 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17275/statm: 138147 136875 721 1374 0 136768 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 552588 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17325 /proc/meminfo: memFree=30134256/32951124 swapFree=67111528/67111528 [pid=17275] ppid=17273 vsize=642540 CPUtime=462.3 /proc/17275/stat : 17275 (pbscip.linux.x8) R 17273 17275 16793 0 -1 4202496 659616 0 0 0 45401 829 0 0 25 0 1 0 134452192 657960960 157591 4089446400 4194304 9819077 140737418903616 18446744073709551615 6628290 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17275/statm: 160635 157591 721 1374 0 159256 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 642540 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17326 /proc/meminfo: memFree=29979088/32951124 swapFree=67111528/67111528 [pid=17275] ppid=17273 vsize=723624 CPUtime=522.3 /proc/17275/stat : 17275 (pbscip.linux.x8) R 17273 17275 16793 0 -1 4202496 724419 0 0 0 51298 932 0 0 25 0 1 0 134452192 740990976 178148 4089446400 4194304 9819077 140737418903616 18446744073709551615 4414774 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17275/statm: 180906 178148 721 1374 0 179527 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 723624 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17328 /proc/meminfo: memFree=29816592/32951124 swapFree=67111528/67111528 [pid=17275] ppid=17273 vsize=803884 CPUtime=582.3 /proc/17275/stat : 17275 (pbscip.linux.x8) R 17273 17275 16793 0 -1 4202496 787565 0 0 0 57192 1038 0 0 25 0 1 0 134452192 823177216 198483 4089446400 4194304 9819077 140737418903616 18446744073709551615 7815933 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17275/statm: 200971 198483 721 1374 0 199592 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 803884 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17329 /proc/meminfo: memFree=29650384/32951124 swapFree=67111528/67111528 [pid=17275] ppid=17273 vsize=887736 CPUtime=642.31 /proc/17275/stat : 17275 (pbscip.linux.x8) R 17273 17275 16793 0 -1 4202496 851440 0 0 0 63082 1149 0 0 25 0 1 0 134452192 909041664 219744 4089446400 4194304 9819077 140737418903616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17275/statm: 221934 219744 721 1374 0 220555 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 887736 [startup+702.301 s] ################ # More data... # ################ /proc/17275/stat : 17275 (pbscip.linux.x8) R 17273 17275 16793 0 -1 4202496 1243726 0 0 0 98459 1773 0 0 25 0 1 0 134452192 1423945728 343027 4089446400 4194304 9819077 140737418903616 18446744073709551615 7815988 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17275/statm: 347643 343027 721 1374 0 346264 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1390572 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17341 /proc/meminfo: memFree=28518536/32951124 swapFree=67111528/67111528 [pid=17275] ppid=17273 vsize=1471392 CPUtime=1062.32 /proc/17275/stat : 17275 (pbscip.linux.x8) R 17273 17275 16793 0 -1 4202496 1307927 0 0 0 104354 1878 0 0 25 0 1 0 134452192 1506705408 363543 4089446400 4194304 9819077 140737418903616 18446744073709551615 4965430 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17275/statm: 367848 363543 721 1374 0 366469 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1471392 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17342 /proc/meminfo: memFree=28356916/32951124 swapFree=67111528/67111528 [pid=17275] ppid=17273 vsize=1553900 CPUtime=1122.31 /proc/17275/stat : 17275 (pbscip.linux.x8) R 17273 17275 16793 0 -1 4202496 1370904 0 0 0 110256 1975 0 0 25 0 1 0 134452192 1591193600 384429 4089446400 4194304 9819077 140737418903616 18446744073709551615 7816434 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17275/statm: 388475 384429 721 1374 0 387096 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1553900 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17344 /proc/meminfo: memFree=28194160/32951124 swapFree=67111528/67111528 [pid=17275] ppid=17273 vsize=1635844 CPUtime=1182.32 /proc/17275/stat : 17275 (pbscip.linux.x8) R 17273 17275 16793 0 -1 4202496 1437954 0 0 0 116156 2076 0 0 25 0 1 0 134452192 1675104256 405202 4089446400 4194304 9819077 140737418903616 18446744073709551615 4965345 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17275/statm: 408961 405202 721 1374 0 407582 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1635844 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17345 /proc/meminfo: memFree=28029088/32951124 swapFree=67111528/67111528 [pid=17275] ppid=17273 vsize=1718372 CPUtime=1242.32 /proc/17275/stat : 17275 (pbscip.linux.x8) R 17273 17275 16793 0 -1 4202496 1500695 0 0 0 122055 2177 0 0 25 0 1 0 134452192 1759612928 426116 4089446400 4194304 9819077 140737418903616 18446744073709551615 6003890 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17275/statm: 429593 426116 721 1374 0 428214 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1718372 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17347 /proc/meminfo: memFree=27868560/32951124 swapFree=67111528/67111528 [pid=17275] ppid=17273 vsize=1797940 CPUtime=1302.33 /proc/17275/stat : 17275 (pbscip.linux.x8) R 17273 17275 16793 0 -1 4202496 1574846 0 0 0 127948 2285 0 0 25 0 1 0 134452192 1841090560 446257 4089446400 4194304 9819077 140737418903616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17275/statm: 449485 446257 721 1374 0 448106 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1797940 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17349 /proc/meminfo: memFree=27712032/32951124 swapFree=67111528/67111528 [pid=17275] ppid=17273 vsize=1878716 CPUtime=1362.32 /proc/17275/stat : 17275 (pbscip.linux.x8) R 17273 17275 16793 0 -1 4202496 1655499 0 0 0 133844 2388 0 0 25 0 1 0 134452192 1923805184 466755 4089446400 4194304 9819077 140737418903616 18446744073709551615 5813702 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17275/statm: 469679 466755 721 1374 0 468300 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1878716 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17350 /proc/meminfo: memFree=27547432/32951124 swapFree=67111528/67111528 [pid=17275] ppid=17273 vsize=1957208 CPUtime=1422.33 /proc/17275/stat : 17275 (pbscip.linux.x8) R 17273 17275 16793 0 -1 4202496 1733993 0 0 0 139732 2501 0 0 25 0 1 0 134452192 2004180992 486676 4089446400 4194304 9819077 140737418903616 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17275/statm: 489302 486676 721 1374 0 487923 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1957208 [startup+1482.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 17352 /proc/meminfo: memFree=27388804/32951124 swapFree=67111528/67111528 [pid=17275] ppid=17273 vsize=2036984 CPUtime=1482.32 /proc/17275/stat : 17275 (pbscip.linux.x8) R 17273 17275 16793 0 -1 4202496 1806041 0 0 0 145623 2609 0 0 25 0 1 0 134452192 2085871616 506882 4089446400 4194304 9819077 140737418903616 18446744073709551615 6566703 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17275/statm: 509246 506882 721 1374 0 507867 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 2036984 [startup+1542.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 17353 /proc/meminfo: memFree=27225444/32951124 swapFree=67111528/67111528 [pid=17275] ppid=17273 vsize=2118892 CPUtime=1542.33 /proc/17275/stat : 17275 (pbscip.linux.x8) R 17273 17275 16793 0 -1 4202496 1876125 0 0 0 151514 2719 0 0 25 0 1 0 134452192 2169745408 527641 4089446400 4194304 9819077 140737418903616 18446744073709551615 6003239 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17275/statm: 529723 527641 721 1374 0 528344 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 2118892 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17355 /proc/meminfo: memFree=27064208/32951124 swapFree=67111528/67111528 [pid=17275] ppid=17273 vsize=2201508 CPUtime=1602.32 /proc/17275/stat : 17275 (pbscip.linux.x8) R 17273 17275 16793 0 -1 4202496 1941839 0 0 0 157406 2826 0 0 25 0 1 0 134452192 2254344192 548595 4089446400 4194304 9819077 140737418903616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17275/statm: 550377 548595 721 1374 0 548998 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 2201508 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17357 /proc/meminfo: memFree=26901972/32951124 swapFree=67111528/67111528 [pid=17275] ppid=17273 vsize=2282968 CPUtime=1662.33 /proc/17275/stat : 17275 (pbscip.linux.x8) R 17273 17275 16793 0 -1 4202496 2002981 0 0 0 163299 2934 0 0 25 0 1 0 134452192 2337759232 569222 4089446400 4194304 9819077 140737418903616 18446744073709551615 7816363 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17275/statm: 570742 569222 721 1374 0 569363 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 2282968 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17358 /proc/meminfo: memFree=26740476/32951124 swapFree=67111528/67111528 [pid=17275] ppid=17273 vsize=2394716 CPUtime=1722.33 /proc/17275/stat : 17275 (pbscip.linux.x8) R 17273 17275 16793 0 -1 4202496 2078419 0 0 0 169188 3045 0 0 25 0 1 0 134452192 2452189184 589254 4089446400 4194304 9819077 140737418903616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17275/statm: 598679 589254 721 1374 0 597300 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 2394716 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17360 /proc/meminfo: memFree=26579460/32951124 swapFree=67111528/67111528 [pid=17275] ppid=17273 vsize=2476708 CPUtime=1782.34 /proc/17275/stat : 17275 (pbscip.linux.x8) R 17273 17275 16793 0 -1 4202496 2153669 0 0 0 175082 3152 0 0 25 0 1 0 134452192 2536148992 610039 4089446400 4194304 9819077 140737418903616 18446744073709551615 6389797 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17275/statm: 619177 610039 721 1374 0 617798 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 2476708 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17361 /proc/meminfo: memFree=26532704/32951124 swapFree=67111528/67111528 [pid=17275] ppid=17273 vsize=2500028 CPUtime=1800.04 /proc/17275/stat : 17275 (pbscip.linux.x8) R 17273 17275 16793 0 -1 4202496 2174160 0 0 0 176821 3183 0 0 25 0 1 0 134452192 2560028672 615949 4089446400 4194304 9819077 140737418903616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17275/statm: 625007 615949 721 1374 0 623628 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 2500028 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -17275 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.00 2.00 3/180 17362 /proc/meminfo: memFree=26530464/32951124 swapFree=67111528/67111528 [pid=17275] ppid=17273 vsize=2500028 CPUtime=1801.44 /proc/17275/stat : 17275 (pbscip.linux.x8) R 17273 17275 16793 0 -1 4202496 2174163 0 0 0 176961 3183 0 0 25 0 1 0 134452192 2560028672 615952 4089446400 4194304 9819077 140737418903616 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/17275/statm: 625007 615952 724 1374 0 623628 0 Current children cumulated CPU time (s) 1801.44 Current children cumulated vsize (KiB) 2500028 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 2.00 3/180 17362 /proc/meminfo: memFree=26529224/32951124 swapFree=67111528/67111528 [pid=17275] ppid=17273 vsize=2500028 CPUtime=1801.84 /proc/17275/stat : 17275 (pbscip.linux.x8) R 17273 17275 16793 0 -1 4202496 2174163 0 0 0 177001 3183 0 0 25 0 1 0 134452192 2560028672 615952 4089446400 4194304 9819077 140737418903616 18446744073709551615 6162881 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/17275/statm: 625007 615952 724 1374 0 623628 0 Current children cumulated CPU time (s) 1801.84 Current children cumulated vsize (KiB) 2500028 [startup+1802 s] /proc/loadavg: 2.00 2.00 2.00 3/180 17362 /proc/meminfo: memFree=26529224/32951124 swapFree=67111528/67111528 [pid=17275] ppid=17273 vsize=2461152 CPUtime=1802.04 /proc/17275/stat : 17275 (pbscip.linux.x8) R 17273 17275 16793 0 -1 4202496 2174163 0 0 0 177021 3183 0 0 25 0 1 0 134452192 2520219648 606233 4089446400 4194304 9819077 140737418903616 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/17275/statm: 615288 606233 724 1374 0 613909 0 Current children cumulated CPU time (s) 1802.04 Current children cumulated vsize (KiB) 2461152 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.08 CPU time (s): 1802.13 CPU user time (s): 1770.22 CPU system time (s): 31.9101 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 2500028 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1770.22 system time used= 31.9101 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2174163 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 18380 runsolver used 2.49262 second user time and 5.82711 second system time The end
Begin job on node145 at 2010-06-30 22:59:30 IDJOB=2693123 IDBENCH=79317 IDSOLVER=1205 FILE ID=node145/2693123-1277931570 PBS_JOBID= 11197404 Free space on /tmp= 74204 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-44s.smv--soft-0-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693123-1277931570/watcher-2693123-1277931570 -o /tmp/evaluation-result-2693123-1277931570/solver-2693123-1277931570 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693123-1277931570.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4d1622885c2ebb9b79c07237f88a35bc RANDOM SEED=469162924 node145.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30897520 kB Buffers: 214552 kB Cached: 1275448 kB SwapCached: 0 kB Active: 907596 kB Inactive: 997532 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30897520 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 6312 kB Writeback: 0 kB AnonPages: 415928 kB Mapped: 17664 kB Slab: 81688 kB PageTables: 5996 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 577244 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74200 MiB End job on node145 at 2010-06-30 23:29:32