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