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