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