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