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