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