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