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