(1,23) (2,28) (3,30) (5,20) (6,21) (7,19) (8,26) (9,17) (10,27) (11,18) (12,25) (13,29) (14,24) (15,22) 
nodes: 13240  conflicts: 35  modelTime: 657  solveTime: 23324  totalTime: 23986  modelSize: 41292  readTime: 5 size: 14