(1,28) (3,18) (4,24) (5,19) (6,20) (7,26) (8,22) (9,21) (10,30) (11,17) (12,23) (13,27) (14,29) (15,16) 
nodes: 5663  conflicts: 7  modelTime: 1198  solveTime: 16004  totalTime: 17210  modelSize: 41293  readTime: 8 size: 14