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