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