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