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