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