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