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