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