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