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