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