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