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