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