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