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