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