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