(1,28) (2,25) (3,20) (4,16) (5,30) (7,18) (8,23) (9,26) (10,19) (12,27) (13,22) (14,24) (15,17) 
nodes: 5136  conflicts: 36  modelTime: 657  solveTime: 6971  totalTime: 7634  modelSize: 41292  readTime: 6 size: 13