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