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