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