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