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