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