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