(1,4) (2,19) (3,5) (6,24) (7,30) (8,20) (9,15) (10,16) (11,22) (12,28) (13,29) (14,23) (17,25) (18,27) (21,26) 
nodes: 192494  conflicts: 57  modelTime: 950  solveTime: 1004163  totalTime: 1005124  modelSize: 72266  readTime: 11 size: 15