(1,18) (3,24) (4,29) (5,20) (6,16) (7,26) (8,19) (9,25) (10,21) (11,30) (12,28) (13,23) (14,22) (15,17) 
nodes: 3186  conflicts: 22  modelTime: 655  solveTime: 6434  totalTime: 7096  modelSize: 41293  readTime: 6 size: 14