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