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