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