(1,27) (2,6) (3,4) (5,9) (7,15) (10,26) (11,13) (12,30) (14,21) (16,22) (17,25) (18,20) (19,29) (23,28) 
nodes: 17305  conflicts: 71  modelTime: 1455  solveTime: 58596  totalTime: 60072  modelSize: 72263  readTime: 21 size: 14