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