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