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