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