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