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