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