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