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