(1,28) (3,22) (4,26) (5,18) (6,24) (7,20) (8,25) (9,19) (10,17) (12,30) (13,16) (14,21) (15,23) 
nodes: 3283  conflicts: 27  modelTime: 1191  solveTime: 10081  totalTime: 11283  modelSize: 41292  readTime: 11 size: 13