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