(1,22) (3,25) (4,28) (5,16) (6,26) (7,18) (8,20) (9,24) (10,30) (11,19) (12,23) (13,17) (14,27) (15,29) 
nodes: 6024  conflicts: 39  modelTime: 665  solveTime: 9769  totalTime: 10440  modelSize: 41292  readTime: 6 size: 14