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