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