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