(1,30) (2,12) (3,28) (4,14) (5,13) (6,8) (7,26) (9,18) (10,11) (16,22) (17,21) (19,29) (23,25) (24,27) 
nodes: 3917  conflicts: 37  modelTime: 943  solveTime: 18823  totalTime: 19777  modelSize: 72263  readTime: 11 size: 14