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