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