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