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