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