(1,26) (2,5) (3,27) (4,23) (6,18) (7,28) (8,10) (9,30) (11,20) (12,22) (13,17) (14,25) (15,24) (16,19) (21,29) 
nodes: 51496  conflicts: 7  modelTime: 959  solveTime: 273322  totalTime: 274319  modelSize: 72265  readTime: 38 size: 15