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