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