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