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