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