(1,15) (2,17) (3,10) (4,26) (5,16) (6,24) (7,11) (9,25) (12,22) (13,19) (14,21) (18,20) (27,30) (28,29) 
nodes: 21094  conflicts: 60  modelTime: 1738  solveTime: 97915  totalTime: 99673  modelSize: 72276  readTime: 20 size: 14