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