(1,16) (3,23) (4,24) (5,20) (6,30) (7,18) (8,21) (9,28) (10,22) (12,19) (13,25) (14,29) (15,27) 
nodes: 17788  conflicts: 23  modelTime: 683  solveTime: 34087  totalTime: 34775  modelSize: 41292  readTime: 5 size: 13