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