(1,9) (2,28) (3,23) (4,10) (5,17) (6,29) (7,30) (8,18) (11,25) (12,19) (13,24) (14,15) (16,26) (20,22) (21,27) 
nodes: 81589  conflicts: 32  modelTime: 947  solveTime: 423873  totalTime: 424858  modelSize: 72265  readTime: 38 size: 15