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