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