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