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