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