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