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