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