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