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