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