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