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