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