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