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