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