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