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