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