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