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