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