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