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