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