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