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