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