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