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