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