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