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