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