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