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