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