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