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