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