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