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