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