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