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