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