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