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