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