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