(1,21) (2,13) (3,20) (4,27) (5,12) (6,22) (7,26) (8,14) (9,11) (10,15) (16,29) (17,18) (19,25) (23,24) (28,30) 
nodes: 68189  conflicts: 10  modelTime: 1696  solveTime: 366712  totalTime: 368425  modelSize: 72264  readTime: 17 size: 15