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