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