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