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