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