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