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