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