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