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