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