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