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