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