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