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