(1,22) (2,18) (4,17) (5,25) (6,24) (7,23) (8,29) (9,20) (10,26) (11,28) (12,19) (13,16) (14,27) (15,30) 
nodes: 15886  conflicts: 32  modelTime: 1194  solveTime: 47337  totalTime: 48541  modelSize: 41293  readTime: 10 size: 14