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