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