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