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