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