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