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