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