(1,21) (2,23) (3,22) (4,28) (5,11) (6,10) (7,17) (8,18) (9,13) (12,16) (14,26) (15,24) (19,25) (20,29) (27,30) 
nodes: 60756  conflicts: 45  modelTime: 929  solveTime: 128586  totalTime: 129526  modelSize: 72269  readTime: 11 size: 15