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