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