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