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