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