(1,19) (2,15) (3,29) (4,8) (5,14) (6,30) (7,26) (9,24) (10,16) (11,12) (13,18) (17,20) (21,28) (22,25) (23,27) 
nodes: 6927  conflicts: 43  modelTime: 1722  solveTime: 33303  totalTime: 35044  modelSize: 72276  readTime: 19 size: 15