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