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