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