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