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