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