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