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