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