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