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