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