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