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