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