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