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