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