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