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