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