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