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