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