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