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