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