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