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