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