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