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