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