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