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