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