(1,27) (2,21) (3,26) (4,22) (5,29) (6,25) (7,19) (9,16) (10,17) (11,30) (12,23) (13,28) (14,18) (15,20) 
nodes: 10514  conflicts: 36  modelTime: 668  solveTime: 17235  totalTime: 17909  modelSize: 41292  readTime: 6 size: 14