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