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