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