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