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