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