(1,18) (2,23) (3,29) (4,27) (6,19) (7,24) (8,16) (9,20) (10,28) (11,26) (12,22) (14,17) (15,30) 
nodes: 17371  conflicts: 36  modelTime: 666  solveTime: 28429  totalTime: 29101  modelSize: 41292  readTime: 6 size: 13