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