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