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