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