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