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