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