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