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