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