(1,14) (2,22) (3,4) (6,13) (7,21) (8,17) (12,29) (15,19) (16,30) (18,26) (20,25) (23,24) (27,28) 
nodes: 1883  conflicts: 56  modelTime: 994  solveTime: 7230  totalTime: 8235  modelSize: 72265  readTime: 11 size: 13