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