(1,16) (2,23) (3,9) (4,26) (5,8) (6,21) (7,15) (10,29) (12,20) (13,14) (17,24) (18,19) (22,30) (25,27) 
nodes: 44222  conflicts: 27  modelTime: 1127  solveTime: 253635  totalTime: 254781  modelSize: 72268  readTime: 19 size: 14