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