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