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