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