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