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