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