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