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