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