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