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