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