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