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