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