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