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