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