(1,15) (2,29) (3,16) (4,25) (5,12) (6,7) (8,14) (9,10) (13,21) (17,18) (19,28) (20,24) (22,26) (23,30) 
nodes: 8346  conflicts: 67  modelTime: 1728  solveTime: 31158  totalTime: 32911  modelSize: 72264  readTime: 25 size: 14