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