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