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