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